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/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//58a4a468-38a5-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian-dudf.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.12 1.03 1.01 3/35 12006 /proc/meminfo: memFree=742524/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) R 12004 12005 3447 769 3447 4194304 346 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 259 1283457024 134512640 135191968 4293484896 18446744073709551615 4158890400 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/12005/statm: 597 259 220 166 0 29 0 [pid=12006] ppid=12005 vsize=2388 CPUtime=0 /proc/12006/stat : 12006 (uns-trendy-0.00) R 12005 12005 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 39 1283457024 134512640 135191968 4293484896 18446744073709551615 4158890400 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/12006/statm: 597 39 0 166 0 29 0 [startup+0.114684 s] /proc/loadavg: 1.12 1.03 1.01 3/35 12006 /proc/meminfo: memFree=742524/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=12208 CPUtime=0.12 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 1615 0 0 0 12 0 0 0 25 0 1 0 527880423 12500992 1532 1283457024 134512640 140938604 4288771248 18446744073709551615 134570874 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 3052 1532 132 1569 0 1460 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 14596 [startup+0.214702 s] /proc/loadavg: 1.12 1.03 1.01 3/35 12006 /proc/meminfo: memFree=742524/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=16512 CPUtime=0.21 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 2726 0 0 0 21 0 0 0 25 0 1 0 527880423 16908288 2639 1283457024 134512640 140938604 4288771248 18446744073709551615 139848320 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 4128 2639 132 1569 0 2536 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 18900 [startup+0.314735 s] /proc/loadavg: 1.12 1.03 1.01 3/35 12006 /proc/meminfo: memFree=742524/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=20948 CPUtime=0.31 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 3843 0 0 0 31 0 0 0 25 0 1 0 527880423 21450752 3724 1283457024 134512640 140938604 4288771248 18446744073709551615 140190654 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 5237 3724 132 1569 0 3645 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 23336 [startup+0.714815 s] /proc/loadavg: 1.12 1.03 1.01 3/35 12006 /proc/meminfo: memFree=742524/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=36764 CPUtime=0.72 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 7868 0 0 0 70 2 0 0 25 0 1 0 527880423 37646336 7651 1283457024 134512640 140938604 4288771248 18446744073709551615 140187804 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 9191 7651 132 1569 0 7599 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 39152 [startup+1.515 s] /proc/loadavg: 1.11 1.03 1.01 2/36 12007 /proc/meminfo: memFree=697660/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=65928 CPUtime=1.51 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 15285 0 0 0 145 6 0 0 25 0 1 0 527880423 67510272 14936 1283457024 134512640 140938604 4288771248 18446744073709551615 134604696 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 16482 14936 132 1569 0 14890 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 68316 [startup+3.11544 s] /proc/loadavg: 1.11 1.03 1.01 2/36 12007 /proc/meminfo: memFree=630080/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=134220 CPUtime=3.11 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 42667 0 0 0 296 15 0 0 25 0 1 0 527880423 137441280 30502 1283457024 134512640 140938604 4288771248 18446744073709551615 134876691 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 33555 30502 432 1569 0 31609 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 136608 [startup+6.30633 s] /proc/loadavg: 1.11 1.03 1.01 2/36 12007 /proc/meminfo: memFree=622392/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=133836 CPUtime=6.3 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 94539 0 0 0 592 38 0 0 25 0 1 0 527880423 137048064 30263 1283457024 134512640 140938604 4288771248 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 33459 30263 444 1569 0 31513 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 136224 [startup+12.7079 s] /proc/loadavg: 1.09 1.03 1.00 2/35 12007 /proc/meminfo: memFree=542124/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=294580 CPUtime=12.63 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 273729 0 6 0 1149 114 0 0 25 0 1 0 527880423 301649920 38818 1283457024 134512640 140938604 4288771248 18446744073709551615 134907145 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 73645 38818 733 1569 0 71699 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 296968 [startup+25.5022 s] /proc/loadavg: 1.08 1.03 1.00 2/35 12007 /proc/meminfo: memFree=535056/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=344968 CPUtime=25.41 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 452638 0 7 0 2353 188 0 0 25 0 1 0 527880423 353247232 52509 1283457024 134512640 140938604 4288771248 18446744073709551615 136646598 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 86242 52509 744 1569 0 84296 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 347356 Solver just ended. Dumping a history of the last processes samples [startup+25.6122 s] /proc/loadavg: 1.08 1.03 1.00 2/35 12007 /proc/meminfo: memFree=535056/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=344504 CPUtime=25.52 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 452933 0 7 0 2364 188 0 0 25 0 1 0 527880423 352772096 52801 1283457024 134512640 140938604 4288771248 18446744073709551615 136643838 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 86126 52801 744 1569 0 84180 0 Current children cumulated CPU time (s) 25.52 Current children cumulated vsize (KiB) 346892 [startup+26.4125 s] /proc/loadavg: 1.07 1.03 1.00 2/35 12007 /proc/meminfo: memFree=529972/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=328704 CPUtime=26.32 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 458951 0 7 0 2440 192 0 0 25 0 1 0 527880423 336592896 53653 1283457024 134512640 140938604 4288771248 18446744073709551615 135058433 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 82176 53653 744 1569 0 80230 0 Current children cumulated CPU time (s) 26.32 Current children cumulated vsize (KiB) 331092 [startup+26.8126 s] /proc/loadavg: 1.07 1.03 1.00 2/35 12007 /proc/meminfo: memFree=529972/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=356204 CPUtime=26.72 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 467456 0 7 0 2478 194 0 0 25 0 1 0 527880423 364752896 55070 1283457024 134512640 140938604 4288771248 18446744073709551615 134907131 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 89051 55070 744 1569 0 87105 0 Current children cumulated CPU time (s) 26.72 Current children cumulated vsize (KiB) 358592 [startup+27.2128 s] /proc/loadavg: 1.07 1.03 1.00 2/35 12007 /proc/meminfo: memFree=529972/1048576 swapFree=2094592/2097144 [pid=12005] ppid=12004 vsize=2388 CPUtime=0 /proc/12005/stat : 12005 (uns-trendy-0.00) S 12004 12005 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 527880423 2445312 260 1283457024 134512640 135191968 4293484896 18446744073709551615 4158888350 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12005/statm: 597 260 221 166 0 29 0 [pid=12006] ppid=12005 vsize=306244 CPUtime=27.12 /proc/12006/stat : 12006 (cudfsolver-stat) R 12005 12005 3447 769 3447 4202496 493691 0 7 0 2508 204 0 0 25 0 1 0 527880423 313593856 47426 1283457024 134512640 140938604 4288771248 18446744073709551615 136547984 0 0 0 0 0 0 0 17 0 0 0 0 /proc/12006/statm: 76561 47426 744 1569 0 74615 0 Current children cumulated CPU time (s) 27.12 Current children cumulated vsize (KiB) 308632 Child status: 0 Real time (s): 27.3036 CPU time (s): 27.2217 CPU user time (s): 25.1136 CPU system time (s): 2.10813 CPU usage (%): 99.6999 Max. virtual memory (cumulated for all children) (KiB): 358592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.1136 system time used= 2.10813 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 494576 page faults= 7 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 342 runsolver used 0 second user time and 0 second system time The end