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/rand7141b1.cudf.impossible.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/impossible//rand7141b1.cudf /home/misc2010/tmp/201007051419/uns-trendy-0.0002/rand7141b1.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.28 1.19 1.11 2/95 12787 /proc/meminfo: memFree=1008176/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=6808 CPUtime=0 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 241 0 0 0 0 0 0 0 25 0 1 0 416357328 6971392 183 1283457024 134512640 140938604 4286941344 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 1702 183 132 1569 0 110 0 [startup+0.161272 s] /proc/loadavg: 1.28 1.19 1.11 2/95 12787 /proc/meminfo: memFree=1008176/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=14916 CPUtime=0.15 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 2326 0 0 0 15 0 0 0 25 0 1 0 416357328 15273984 2239 1283457024 134512640 140938604 4286941344 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 3729 2240 132 1569 0 2137 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 17300 [startup+0.205277 s] /proc/loadavg: 1.28 1.19 1.11 2/95 12787 /proc/meminfo: memFree=1008176/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=17216 CPUtime=0.19 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 2885 0 0 0 19 0 0 0 25 0 1 0 416357328 17629184 2766 1283457024 134512640 140938604 4286941344 18446744073709551615 139662398 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 4304 2766 132 1569 0 2712 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19600 [startup+0.305263 s] /proc/loadavg: 1.28 1.19 1.11 2/95 12787 /proc/meminfo: memFree=1008176/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=21704 CPUtime=0.29 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 4020 0 0 0 29 0 0 0 25 0 1 0 416357328 22224896 3901 1283457024 134512640 140938604 4286941344 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 5426 3901 132 1569 0 3834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24088 [startup+0.705272 s] /proc/loadavg: 1.28 1.19 1.11 2/95 12787 /proc/meminfo: memFree=1008176/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=38444 CPUtime=0.7 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 8306 0 0 0 68 2 0 0 25 0 1 0 416357328 39366656 8090 1283457024 134512640 140938604 4286941344 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 9611 8091 132 1569 0 8019 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 40828 [startup+1.50531 s] /proc/loadavg: 1.28 1.19 1.11 2/97 12789 /proc/meminfo: memFree=960816/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=69836 CPUtime=1.5 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 16405 0 0 0 144 6 0 0 25 0 1 0 416357328 71512064 15801 1283457024 134512640 140938604 4286941344 18446744073709551615 140173774 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 17459 15802 132 1569 0 15867 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 72220 [startup+3.10539 s] /proc/loadavg: 1.28 1.19 1.11 2/97 12789 /proc/meminfo: memFree=919896/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=164224 CPUtime=3.08 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 49126 0 0 0 290 18 0 0 25 0 1 0 416357328 168165376 37321 1283457024 134512640 140938604 4286941344 18446744073709551615 137924054 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 41056 37321 442 1569 0 39070 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 166608 [startup+6.30554 s] /proc/loadavg: 1.26 1.19 1.11 2/97 12790 /proc/meminfo: memFree=860128/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=161404 CPUtime=6.29 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 82430 0 0 0 594 35 0 0 25 0 1 0 416357328 165277696 37339 1283457024 134512640 140938604 4286941344 18446744073709551615 135820394 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 40351 37339 464 1569 0 38365 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 163788 [startup+12.7058 s] /proc/loadavg: 1.24 1.18 1.11 2/97 12790 /proc/meminfo: memFree=801740/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=353976 CPUtime=12.69 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 236642 0 0 0 1170 99 0 0 25 0 1 0 416357328 362471424 56241 1283457024 134512640 140938604 4286941344 18446744073709551615 136591052 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 88494 56244 713 1569 0 86508 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 356360 [startup+25.5064 s] /proc/loadavg: 1.18 1.17 1.11 2/97 12791 /proc/meminfo: memFree=785520/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=336632 CPUtime=25.48 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 493473 0 0 0 2334 214 0 0 25 0 1 0 416357328 344711168 56406 1283457024 134512640 140938604 4286941344 18446744073709551615 138324603 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 84158 56406 763 1569 0 82172 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 339016 Solver just ended. Dumping a history of the last processes samples [startup+25.6064 s] /proc/loadavg: 1.18 1.17 1.11 2/97 12791 /proc/meminfo: memFree=785520/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=336632 CPUtime=25.58 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 493474 0 0 0 2344 214 0 0 25 0 1 0 416357328 344711168 56407 1283457024 134512640 140938604 4286941344 18446744073709551615 135333093 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 84158 56407 763 1569 0 82172 0 Current children cumulated CPU time (s) 25.58 Current children cumulated vsize (KiB) 339016 [startup+32.0107 s] /proc/loadavg: 1.17 1.17 1.11 2/97 12792 /proc/meminfo: memFree=780684/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=339140 CPUtime=31.97 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 497756 0 0 0 2981 216 0 0 25 0 1 0 416357328 347279360 57432 1283457024 134512640 140938604 4286941344 18446744073709551615 135333100 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 84785 57432 763 1569 0 82799 0 Current children cumulated CPU time (s) 31.97 Current children cumulated vsize (KiB) 341524 [startup+38.407 s] /proc/loadavg: 1.16 1.17 1.10 2/97 12792 /proc/meminfo: memFree=790464/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=335596 CPUtime=38.37 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 642202 0 0 0 3563 274 0 0 25 0 1 0 416357328 343650304 55298 1283457024 134512640 140938604 4286941344 18446744073709551615 135395330 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 83899 55298 764 1569 0 81913 0 Current children cumulated CPU time (s) 38.37 Current children cumulated vsize (KiB) 337980 [startup+41.6071 s] /proc/loadavg: 1.14 1.16 1.10 2/97 12792 /proc/meminfo: memFree=789968/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=344664 CPUtime=41.57 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 763444 0 0 0 3834 323 0 0 25 0 1 0 416357328 352935936 55215 1283457024 134512640 140938604 4286941344 18446744073709551615 136316842 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 86166 55215 765 1569 0 84180 0 Current children cumulated CPU time (s) 41.57 Current children cumulated vsize (KiB) 347048 [startup+43.2072 s] /proc/loadavg: 1.14 1.16 1.10 2/96 12792 /proc/meminfo: memFree=770648/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=321752 CPUtime=43.17 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 830938 0 0 0 3961 356 0 0 25 0 1 0 416357328 329474048 48188 1283457024 134512640 140938604 4286941344 18446744073709551615 137529021 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 80438 48188 765 1569 0 78452 0 Current children cumulated CPU time (s) 43.17 Current children cumulated vsize (KiB) 324136 [startup+44.0072 s] /proc/loadavg: 1.13 1.16 1.10 2/96 12792 /proc/meminfo: memFree=826820/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=0 /proc/12787/stat : 12787 (uns-trendy-0.00) S 12786 12787 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416357327 2441216 258 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12787/statm: 596 258 220 166 0 28 0 [pid=12788] ppid=12787 vsize=274196 CPUtime=43.97 /proc/12788/stat : 12788 (cudfsolver-stat) R 12787 12787 13759 34823 13904 4202496 838613 0 0 0 4039 358 0 0 25 0 1 0 416357328 280776704 45936 1283457024 134512640 140938604 4286941344 18446744073709551615 134697078 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12788/statm: 68549 45936 765 1569 0 66563 0 Current children cumulated CPU time (s) 43.97 Current children cumulated vsize (KiB) 276580 [startup+44.4072 s] /proc/loadavg: 1.13 1.16 1.10 2/96 12792 /proc/meminfo: memFree=826820/2097152 swapFree=2055676/2097144 [pid=12787] ppid=12786 vsize=2384 CPUtime=44.38 /proc/12787/stat : 12787 (uns-trendy-0.00) R 12786 12787 13759 34823 13904 4202496 363 838711 0 0 0 0 4076 362 18 0 1 0 416357327 2441216 259 1283457024 134512640 135191968 4288834208 18446744073709551615 4159359630 0 0 4 65538 0 0 0 17 0 0 0 0 /proc/12787/statm: 596 260 222 166 0 28 0 Current children cumulated CPU time (s) 44.38 Current children cumulated vsize (KiB) 2384 Child status: 0 Real time (s): 44.4075 CPU time (s): 44.3828 CPU user time (s): 40.7625 CPU system time (s): 3.62023 CPU usage (%): 99.9442 Max. virtual memory (cumulated for all children) (KiB): 397476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.7625 system time used= 3.62023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 839081 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= 22 involuntary context switches= 603 runsolver used 0 second user time and 0.012 second system time The end