runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/uns-trendy-0.0002/large3.cudf.cudf_set.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/cudf_set/large3.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/large3.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 4/34 8837 /proc/meminfo: memFree=861832/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=9944 CPUtime=0.04 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 633 0 0 0 4 0 0 0 25 0 1 0 527299927 10182656 549 1283457024 134512640 140938604 4290631344 18446744073709551615 134525018 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 2486 549 310 1569 0 540 0 [startup+0.224332 s] /proc/loadavg: 1.00 1.00 0.99 4/34 8837 /proc/meminfo: memFree=861832/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=10732 CPUtime=0.16 /proc/8837/stat : 8837 (cudfsolver-stat) D 8836 8836 3447 769 3447 4202496 1012 0 8 0 16 0 0 0 25 0 1 0 527299927 10989568 901 1283457024 134512640 140938604 4290631344 18446744073709551615 135867152 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0 /proc/8837/statm: 2683 901 434 1569 0 737 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 13116 [startup+0.304278 s] /proc/loadavg: 1.00 1.00 0.99 4/34 8837 /proc/meminfo: memFree=861832/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=15216 CPUtime=0.19 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 2067 0 16 0 19 0 0 0 25 0 1 0 527299927 15581184 1655 1283457024 134512640 140938604 4290631344 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 3804 1655 555 1569 0 1858 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17600 [startup+0.411833 s] /proc/loadavg: 1.00 1.00 0.99 4/34 8837 /proc/meminfo: memFree=861832/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=15248 CPUtime=0.3 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 2089 0 16 0 30 0 0 0 25 0 1 0 527299927 15613952 1676 1283457024 134512640 140938604 4290631344 18446744073709551615 135083783 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 3812 1676 555 1569 0 1866 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 17632 [startup+0.71198 s] /proc/loadavg: 1.00 1.00 0.99 4/34 8837 /proc/meminfo: memFree=861832/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=19136 CPUtime=0.58 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 3377 0 18 0 57 1 0 0 25 0 1 0 527299927 19595264 2608 1283457024 134512640 140938604 4290631344 18446744073709551615 135409259 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4784 2608 641 1569 0 2838 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 21520 [startup+1.5121 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=854984/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=16828 CPUtime=1.38 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 4089 0 18 0 137 1 0 0 25 0 1 0 527299927 17231872 2203 1283457024 134512640 140938604 4290631344 18446744073709551615 135301728 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4207 2203 657 1569 0 2261 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 19212 [startup+3.11237 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=854736/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=19940 CPUtime=2.98 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 5633 0 18 0 297 1 0 0 25 0 1 0 527299927 20418560 2793 1283457024 134512640 140938604 4290631344 18446744073709551615 137597547 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4985 2793 669 1569 0 3039 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 22324 [startup+6.3129 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=854364/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=17208 CPUtime=6.18 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 6384 0 18 0 617 1 0 0 25 0 1 0 527299927 17620992 2315 1283457024 134512640 140938604 4290631344 18446744073709551615 135304416 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4302 2315 679 1569 0 2356 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 19592 [startup+12.7139 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=854612/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=16652 CPUtime=12.58 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 6916 0 18 0 1257 1 0 0 25 0 1 0 527299927 17051648 2270 1283457024 134512640 140938604 4290631344 18446744073709551615 135083822 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4163 2270 706 1569 0 2217 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 19036 [startup+25.5059 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=854860/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=16392 CPUtime=25.37 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 7185 0 18 0 2535 2 0 0 25 0 1 0 527299927 16785408 2214 1283457024 134512640 140938604 4290631344 18446744073709551615 135083960 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4098 2214 708 1569 0 2152 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 18776 [startup+51.1093 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=854860/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=16476 CPUtime=50.97 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 8318 0 18 0 5092 5 0 0 25 0 1 0 527299927 16871424 2228 1283457024 134512640 140938604 4290631344 18446744073709551615 135395096 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 4119 2228 708 1569 0 2173 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 18860 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=842460/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=31744 CPUtime=102.17 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 19862 0 18 0 10208 9 0 0 25 0 1 0 527299927 32505856 5304 1283457024 134512640 140938604 4290631344 18446744073709551615 135076278 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 7936 5304 712 1569 0 5990 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 34128 [startup+162.309 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=844320/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=29516 CPUtime=162.15 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 39630 0 18 0 16199 16 0 0 25 0 1 0 527299927 30224384 4874 1283457024 134512640 140938604 4290631344 18446744073709551615 135094813 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 7379 4874 722 1569 0 5433 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 31900 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=844320/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=29260 CPUtime=222.05 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 60632 0 18 0 22185 20 0 0 25 0 1 0 527299927 29962240 4813 1283457024 134512640 140938604 4290631344 18446744073709551615 134950301 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 7315 4813 722 1569 0 5369 0 Current children cumulated CPU time (s) 222.05 Current children cumulated vsize (KiB) 31644 [startup+282.306 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=844072/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=29520 CPUtime=282.02 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 88231 0 18 0 28168 34 0 0 25 0 1 0 527299927 30228480 4878 1283457024 134512640 140938604 4290631344 18446744073709551615 135304089 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 7380 4878 722 1569 0 5434 0 Current children cumulated CPU time (s) 282.02 Current children cumulated vsize (KiB) 31904 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.308 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=843948/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=29520 CPUtime=290.01 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 89423 0 18 0 28967 34 0 0 25 0 1 0 527299927 30228480 4878 1283457024 134512640 140938604 4290631344 18446744073709551615 135306909 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 7380 4878 722 1569 0 5434 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 31904 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+290.308 s] /proc/loadavg: 1.00 1.00 0.99 2/35 8838 /proc/meminfo: memFree=843948/1048576 swapFree=2094644/2097144 [pid=8836] ppid=8835 vsize=2384 CPUtime=0 /proc/8836/stat : 8836 (uns-trendy-0.00) S 8835 8836 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 527299927 2441216 259 1283457024 134512640 135191968 4293251440 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8836/statm: 596 259 221 166 0 28 0 [pid=8837] ppid=8836 vsize=29520 CPUtime=290.01 /proc/8837/stat : 8837 (cudfsolver-stat) R 8836 8836 3447 769 3447 4202496 89423 0 18 0 28967 34 0 0 25 0 1 0 527299927 30228480 4878 1283457024 134512640 140938604 4290631344 18446744073709551615 135306909 0 0 0 0 0 0 0 17 0 0 0 0 /proc/8837/statm: 7380 4878 722 1569 0 5434 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 31904 Child status: 138 Real time (s): 290.313 CPU time (s): 290.018 CPU user time (s): 289.678 CPU system time (s): 0.340021 CPU usage (%): 99.8984 Max. virtual memory (cumulated for all children) (KiB): 37576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.678 system time used= 0.340021 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89797 page faults= 18 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 3492 runsolver used 0 second user time and 0 second system time The end