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/huge2.cudf.cudf_set.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/cudf_set/huge2.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/huge2.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.16 1.05 0.97 5/38 4904 /proc/meminfo: memFree=867904/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=6808 CPUtime=0 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 256 0 0 0 0 0 0 0 25 0 1 0 526384008 6971392 198 1283457024 134512640 140938604 4288445600 18446744073709551615 140190600 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 1702 198 127 1569 0 110 0 [startup+0.149391 s] /proc/loadavg: 1.16 1.05 0.97 5/38 4904 /proc/meminfo: memFree=867904/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=10696 CPUtime=0.14 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 844 0 0 0 14 0 0 0 25 0 1 0 526384008 10952704 735 1283457024 134512640 140938604 4288445600 18446744073709551615 134524976 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 2674 735 310 1569 0 728 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13084 [startup+0.209397 s] /proc/loadavg: 1.16 1.05 0.97 5/38 4904 /proc/meminfo: memFree=867904/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=10836 CPUtime=0.2 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 891 0 0 0 20 0 0 0 25 0 1 0 526384008 11096064 782 1283457024 134512640 140938604 4288445600 18446744073709551615 139688567 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 2709 782 313 1569 0 763 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 13224 [startup+0.309415 s] /proc/loadavg: 1.16 1.05 0.97 5/38 4904 /proc/meminfo: memFree=867904/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=10884 CPUtime=0.3 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 907 0 0 0 30 0 0 0 25 0 1 0 526384008 11145216 798 1283457024 134512640 140938604 4288445600 18446744073709551615 139688549 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 2721 798 313 1569 0 775 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 13272 [startup+0.709494 s] /proc/loadavg: 1.16 1.05 0.97 5/38 4904 /proc/meminfo: memFree=867904/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=20184 CPUtime=0.7 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 3297 0 0 0 70 0 0 0 25 0 1 0 526384008 20668416 2345 1283457024 134512640 140938604 4288445600 18446744073709551615 135084914 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5046 2345 555 1569 0 3100 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 22572 [startup+1.50963 s] /proc/loadavg: 1.16 1.05 0.97 2/39 4905 /proc/meminfo: memFree=860596/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=23100 CPUtime=1.5 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 3989 0 0 0 150 0 0 0 25 0 1 0 526384008 23654400 2962 1283457024 134512640 140938604 4288445600 18446744073709551615 136595276 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5775 2962 623 1569 0 3829 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 25488 [startup+3.10991 s] /proc/loadavg: 1.16 1.05 0.97 2/39 4905 /proc/meminfo: memFree=855512/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=27720 CPUtime=3.1 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 5417 0 0 0 310 0 0 0 25 0 1 0 526384008 28385280 3814 1283457024 134512640 140938604 4288445600 18446744073709551615 134950301 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 6930 3814 646 1569 0 4984 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 30108 [startup+6.31047 s] /proc/loadavg: 1.15 1.05 0.97 2/39 4905 /proc/meminfo: memFree=857628/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=23480 CPUtime=6.3 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 7213 0 0 0 630 0 0 0 25 0 1 0 526384008 24043520 3327 1283457024 134512640 140938604 4288445600 18446744073709551615 135307327 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5870 3327 663 1569 0 3924 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 25868 [startup+12.7115 s] /proc/loadavg: 1.13 1.05 0.97 2/39 4905 /proc/meminfo: memFree=857008/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=23668 CPUtime=12.71 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 14072 0 0 0 1267 4 0 0 25 0 1 0 526384008 24236032 3376 1283457024 134512640 140938604 4288445600 18446744073709551615 135076232 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5917 3376 664 1569 0 3971 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 26056 [startup+25.5032 s] /proc/loadavg: 1.10 1.04 0.97 2/39 4905 /proc/meminfo: memFree=856636/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=23900 CPUtime=25.5 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 32390 0 0 0 2537 13 0 0 25 0 1 0 526384008 24473600 3418 1283457024 134512640 140938604 4288445600 18446744073709551615 135091268 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5975 3418 664 1569 0 4029 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 26288 [startup+51.1086 s] /proc/loadavg: 1.07 1.04 0.97 2/39 4905 /proc/meminfo: memFree=856636/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22424 CPUtime=51.1 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 64571 0 0 0 5086 24 0 0 25 0 1 0 526384008 22962176 3266 1283457024 134512640 140938604 4288445600 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5606 3266 706 1569 0 3660 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 24812 [startup+102.307 s] /proc/loadavg: 1.03 1.03 0.97 2/39 4905 /proc/meminfo: memFree=857256/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22568 CPUtime=102.27 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 133374 0 0 0 10182 45 0 0 25 0 1 0 526384008 23109632 3303 1283457024 134512640 140938604 4288445600 18446744073709551615 135083850 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5642 3303 707 1569 0 3696 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24956 [startup+162.31 s] /proc/loadavg: 1.01 1.02 0.97 2/39 4905 /proc/meminfo: memFree=857504/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22564 CPUtime=162.22 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 210232 0 0 0 16149 73 0 0 25 0 1 0 526384008 23105536 3279 1283457024 134512640 140938604 4288445600 18446744073709551615 134950259 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5641 3279 709 1569 0 3695 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 24952 [startup+222.312 s] /proc/loadavg: 1.00 1.02 0.97 2/39 4905 /proc/meminfo: memFree=857380/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22768 CPUtime=222.2 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 252669 0 0 0 22134 86 0 0 25 0 1 0 526384008 23314432 3352 1283457024 134512640 140938604 4288445600 18446744073709551615 135084043 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5692 3352 710 1569 0 3746 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 25156 [startup+282.305 s] /proc/loadavg: 1.00 1.01 0.97 2/39 4905 /proc/meminfo: memFree=857256/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22788 CPUtime=282.14 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 300642 0 0 0 28111 103 0 0 25 0 1 0 526384008 23334912 3364 1283457024 134512640 140938604 4288445600 18446744073709551615 135083989 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5697 3364 710 1569 0 3751 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 25176 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.206 s] /proc/loadavg: 1.00 1.01 0.97 2/39 4905 /proc/meminfo: memFree=857256/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22796 CPUtime=290.04 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 300644 0 0 0 28900 104 0 0 25 0 1 0 526384008 23343104 3366 1283457024 134512640 140938604 4288445600 18446744073709551615 134950263 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5699 3366 710 1569 0 3753 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 25184 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.206 s] /proc/loadavg: 1.00 1.01 0.97 2/39 4905 /proc/meminfo: memFree=857256/1048576 swapFree=2091896/2097144 [pid=4903] ppid=4902 vsize=2388 CPUtime=0 /proc/4903/stat : 4903 (uns-trendy-0.00) S 4902 4903 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 526384008 2445312 260 1283457024 134512640 135191968 4288326848 18446744073709551615 4159355294 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4903/statm: 597 260 221 166 0 29 0 [pid=4904] ppid=4903 vsize=22796 CPUtime=290.04 /proc/4904/stat : 4904 (cudfsolver-stat) R 4903 4903 3447 769 3447 4202496 300644 0 0 0 28900 104 0 0 25 0 1 0 526384008 23343104 3366 1283457024 134512640 140938604 4288445600 18446744073709551615 134950263 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4904/statm: 5699 3366 710 1569 0 3753 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 25184 Child status: 138 Real time (s): 290.211 CPU time (s): 290.054 CPU user time (s): 289.006 CPU system time (s): 1.04806 CPU usage (%): 99.9459 Max. virtual memory (cumulated for all children) (KiB): 32048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.006 system time used= 1.04807 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 301020 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= 3 involuntary context switches= 3498 runsolver used 0.012 second user time and 0 second system time The end