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/201007051419/uns-trendy-0.0002/rand3dec28.cudf.impossible.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/impossible//rand3dec28.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/rand3dec28.cudf.impossible.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.02 1.03 1.02 2/95 30619 /proc/meminfo: memFree=1012272/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) R 30618 30619 13759 34823 13904 4194304 342 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 256 1283457024 134512640 135191968 4290780272 18446744073709551615 4158804624 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30619/statm: 595 256 219 166 0 27 0 [pid=30620] ppid=30619 vsize=6676 CPUtime=0 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 226 0 0 0 0 0 0 0 19 0 1 0 415741741 6836224 168 1283457024 134512640 140938604 4294461392 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 1669 168 132 1569 0 77 0 [startup+0.129298 s] /proc/loadavg: 1.02 1.03 1.02 2/95 30619 /proc/meminfo: memFree=1012272/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=13596 CPUtime=0.12 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 1965 0 0 0 12 0 0 0 21 0 1 0 415741741 13922304 1878 1283457024 134512640 140938604 4294461392 18446744073709551615 139662398 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 3399 1878 132 1569 0 1807 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 15976 [startup+0.205301 s] /proc/loadavg: 1.02 1.03 1.02 2/95 30619 /proc/meminfo: memFree=1012272/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=17216 CPUtime=0.2 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 2887 0 0 0 20 0 0 0 21 0 1 0 415741741 17629184 2768 1283457024 134512640 140938604 4294461392 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 4304 2768 132 1569 0 2712 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 19596 [startup+0.305305 s] /proc/loadavg: 1.02 1.03 1.02 2/95 30619 /proc/meminfo: memFree=1012272/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=21836 CPUtime=0.3 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 4053 0 0 0 28 2 0 0 21 0 1 0 415741741 22360064 3934 1283457024 134512640 140938604 4294461392 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 5459 3934 132 1569 0 3867 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24216 [startup+0.705317 s] /proc/loadavg: 1.02 1.03 1.02 2/95 30619 /proc/meminfo: memFree=1012272/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=38836 CPUtime=0.7 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 8411 0 0 0 68 2 0 0 22 0 1 0 415741741 39768064 8130 1283457024 134512640 140938604 4294461392 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 9709 8130 132 1569 0 8117 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 41216 [startup+1.50535 s] /proc/loadavg: 1.02 1.03 1.02 2/97 30621 /proc/meminfo: memFree=964664/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=70100 CPUtime=1.49 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 16474 0 0 0 141 8 0 0 25 0 1 0 415741741 71782400 15870 1283457024 134512640 140938604 4294461392 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 17525 15870 132 1569 0 15933 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72480 [startup+3.10542 s] /proc/loadavg: 1.02 1.03 1.02 2/97 30621 /proc/meminfo: memFree=923248/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=164916 CPUtime=3.08 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 49528 0 0 0 292 16 0 0 25 0 1 0 415741741 168873984 37548 1283457024 134512640 140938604 4294461392 18446744073709551615 137923665 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 41229 37548 437 1569 0 39243 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 167296 [startup+6.30557 s] /proc/loadavg: 1.02 1.02 1.02 2/97 30621 /proc/meminfo: memFree=862000/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=165336 CPUtime=6.28 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 80607 0 0 0 596 32 0 0 25 0 1 0 415741741 169304064 37833 1283457024 134512640 140938604 4294461392 18446744073709551615 137932882 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 41334 37833 459 1569 0 39348 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 167716 [startup+12.7059 s] /proc/loadavg: 1.01 1.02 1.02 2/97 30622 /proc/meminfo: memFree=819732/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=357512 CPUtime=12.64 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 205857 0 0 0 1191 73 0 0 25 0 1 0 415741741 366092288 55942 1283457024 134512640 140938604 4294461392 18446744073709551615 134945440 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 89378 55942 635 1569 0 87392 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 359892 [startup+25.5044 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31103 /proc/meminfo: memFree=859676/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=165112 CPUtime=25.06 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 440844 0 0 0 2332 174 0 0 25 0 1 0 415741741 169074688 38835 1283457024 134512640 140938604 4294461392 18446744073709551615 137884295 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 41278 38835 747 1569 0 39292 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 167492 Solver just ended. Dumping a history of the last processes samples [startup+25.6044 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31103 /proc/meminfo: memFree=859676/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=164408 CPUtime=25.16 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 441149 0 0 0 2342 174 0 0 25 0 1 0 415741741 168353792 38664 1283457024 134512640 140938604 4294461392 18446744073709551615 137942302 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 41102 38664 747 1569 0 39116 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 166788 [startup+38.4095 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31104 /proc/meminfo: memFree=801396/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=360876 CPUtime=37.93 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 731695 0 0 0 3489 304 0 0 25 0 1 0 415741741 369537024 57805 1283457024 134512640 140938604 4294461392 18446744073709551615 136251584 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 90219 57805 757 1569 0 88233 0 Current children cumulated CPU time (s) 37.93 Current children cumulated vsize (KiB) 363256 [startup+41.6104 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31104 /proc/meminfo: memFree=834752/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=278760 CPUtime=41.13 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 776599 0 0 0 3793 320 0 0 25 0 1 0 415741741 285450240 44901 1283457024 134512640 140938604 4294461392 18446744073709551615 134697000 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30620/statm: 69690 44901 757 1569 0 67704 0 Current children cumulated CPU time (s) 41.13 Current children cumulated vsize (KiB) 281140 [startup+43.2072 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31104 /proc/meminfo: memFree=788252/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=362280 CPUtime=42.71 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 817756 0 0 0 3937 334 0 0 25 0 1 0 415741741 370974720 57271 1283457024 134512640 140938604 4294461392 18446744073709551615 136316509 0 0 0 0 0 0 0 17 1 0 0 0 /proc/30620/statm: 90570 57271 757 1569 0 88584 0 Current children cumulated CPU time (s) 42.71 Current children cumulated vsize (KiB) 364660 [startup+44.8072 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31104 /proc/meminfo: memFree=787756/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=289924 CPUtime=44.32 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 861816 0 0 0 4071 361 0 0 25 0 1 0 415741741 296882176 47804 1283457024 134512640 140938604 4294461392 18446744073709551615 134697051 0 0 0 0 0 0 0 17 1 0 0 0 /proc/30620/statm: 72481 47804 759 1569 0 70495 0 Current children cumulated CPU time (s) 44.32 Current children cumulated vsize (KiB) 292304 [startup+45.6073 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31104 /proc/meminfo: memFree=823104/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=289924 CPUtime=45.12 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 861816 0 0 0 4151 361 0 0 25 0 1 0 415741741 296882176 47804 1283457024 134512640 140938604 4294461392 18446744073709551615 134697057 0 0 0 0 0 0 0 17 1 0 0 0 /proc/30620/statm: 72481 47804 759 1569 0 70495 0 Current children cumulated CPU time (s) 45.12 Current children cumulated vsize (KiB) 292304 [startup+45.8073 s] /proc/loadavg: 1.01 1.02 1.02 2/97 31104 /proc/meminfo: memFree=823104/2097152 swapFree=2055676/2097144 [pid=30619] ppid=30618 vsize=2380 CPUtime=0 /proc/30619/stat : 30619 (uns-trendy-0.00) S 30618 30619 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415741741 2437120 257 1283457024 134512640 135191968 4290780272 18446744073709551615 4158802574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/30619/statm: 595 257 220 166 0 27 0 [pid=30620] ppid=30619 vsize=353796 CPUtime=45.32 /proc/30620/stat : 30620 (cudfsolver-stat) R 30619 30619 13759 34823 13904 4202496 872450 0 0 0 4169 363 0 0 25 0 1 0 415741741 362287104 56301 1283457024 134512640 140938604 4294461392 18446744073709551615 140247153 0 0 0 0 0 0 0 17 1 0 0 0 /proc/30620/statm: 88449 56301 759 1569 0 86463 0 Current children cumulated CPU time (s) 45.32 Current children cumulated vsize (KiB) 356176 Child status: 0 Real time (s): 45.8844 CPU time (s): 45.4068 CPU user time (s): 41.7146 CPU system time (s): 3.69223 CPU usage (%): 98.9592 Max. virtual memory (cumulated for all children) (KiB): 413244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.7146 system time used= 3.69223 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 872887 page faults= 0 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= 1313 runsolver used 0 second user time and 0.024001 second system time The end