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/201108300820/aspuncud-user-1.0/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.dudf-real.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-real//27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf /home/misc2010/tmp/201108300820/aspuncud-user-1.0/27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.dudf-real.result +sum(installedsize) 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.01 1.00 3/33 4997 /proc/meminfo: memFree=940440/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=3020 CPUtime=0 /proc/4997/stat : 4997 (runsolver) D 4996 4997 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 23 0 1 0 52398599 3092480 93 1283457024 134512640 134586868 4287166864 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/4997/statm: 755 93 62 19 0 54 0 [startup+0.158816 s] /proc/loadavg: 1.00 1.01 1.00 3/33 4997 /proc/meminfo: memFree=940440/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=0 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 1515 0 3 0 0 0 0 25 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.206785 s] /proc/loadavg: 1.00 1.01 1.00 3/33 4997 /proc/meminfo: memFree=940440/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=0 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 1515 0 3 0 0 0 0 25 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.310622 s] /proc/loadavg: 1.00 1.01 1.00 3/33 4997 /proc/meminfo: memFree=940440/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=0 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 1515 0 3 0 0 0 0 25 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.710731 s] /proc/loadavg: 1.00 1.01 1.00 3/33 4997 /proc/meminfo: memFree=940440/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=0 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 1515 0 3 0 0 0 0 25 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+1.51093 s] /proc/loadavg: 1.00 1.01 1.00 2/37 5008 /proc/meminfo: memFree=911784/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=0 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 1515 0 3 0 0 0 0 25 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=3440 CPUtime=0 /proc/5006/stat : 5006 (unclasp) S 4997 4997 2160 34817 2160 4202496 402 0 5 0 0 0 0 0 25 0 1 0 52398604 3522560 271 1283457024 134512640 135121179 4291975808 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5006/statm: 860 271 240 149 0 51 0 [pid=5007] ppid=4997 vsize=2692 CPUtime=0 /proc/5007/stat : 5007 (gringo) S 4997 4997 2160 34817 2160 4202496 386 0 23 0 0 0 0 0 24 0 1 0 52398604 2756608 281 1283457024 134512640 137056543 4291974928 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5007/statm: 673 281 252 622 0 48 0 [pid=5008] ppid=4997 vsize=28008 CPUtime=1.3 /proc/5008/stat : 5008 (cudf2lp) R 4997 4997 2160 34817 2160 4202496 8145 0 15 0 125 5 0 0 25 0 1 0 52398604 28680192 6421 1283457024 134512640 135786343 4286632896 18446744073709551615 135208520 0 0 6 0 0 0 0 17 0 0 0 0 /proc/5008/statm: 7002 6421 128 311 0 6689 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 36732 [startup+3.11135 s] /proc/loadavg: 1.00 1.01 1.00 3/37 5008 /proc/meminfo: memFree=888412/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=0 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 1515 0 3 0 0 0 0 25 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=19508 CPUtime=0.07 /proc/5006/stat : 5006 (unclasp) S 4997 4997 2160 34817 2160 4202496 5064 0 6 0 6 1 0 0 18 0 1 0 52398604 19976192 4276 1283457024 134512640 135121179 4291975808 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5006/statm: 4877 4276 275 149 0 4068 0 [pid=5007] ppid=4997 vsize=28816 CPUtime=0.8 /proc/5007/stat : 5007 (gringo) R 4997 4997 2160 34817 2160 4202496 8463 0 23 0 76 4 0 0 18 0 1 0 52398604 29507584 5015 1283457024 134512640 137056543 4291974928 18446744073709551615 134904717 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5007/statm: 7204 5015 253 622 0 6579 0 [pid=5008] ppid=4997 vsize=40580 CPUtime=2.02 /proc/5008/stat : 5008 (cudf2lp) R 4997 4997 2160 34817 2160 4202496 12852 0 15 0 193 9 0 0 25 0 1 0 52398604 41553920 9957 1283457024 134512640 135786343 4286632896 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/5008/statm: 10145 9957 139 311 0 9832 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 91496 [startup+6.31217 s] /proc/loadavg: 1.00 1.01 1.00 3/36 5008 /proc/meminfo: memFree=833124/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=2.48 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 14370 0 18 0 0 238 10 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=66456 CPUtime=0.37 /proc/5006/stat : 5006 (unclasp) S 4997 4997 2160 34817 2160 4202496 18677 0 6 0 31 6 0 0 18 0 1 0 52398604 68050944 15718 1283457024 134512640 135121179 4291975808 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/5006/statm: 16614 15718 277 149 0 15805 0 [pid=5007] ppid=4997 vsize=93560 CPUtime=3.23 /proc/5007/stat : 5007 (gringo) R 4997 4997 2160 34817 2160 4202496 31233 0 23 0 308 15 0 0 19 0 1 0 52398604 95805440 20147 1283457024 134512640 137056543 4291974928 18446744073709551615 134890093 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5007/statm: 23390 20147 268 622 0 22765 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 162608 [startup+12.7038 s] /proc/loadavg: 1.00 1.00 1.00 2/35 5008 /proc/meminfo: memFree=825088/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=120808 CPUtime=5.55 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 113045 0 7 0 514 41 0 0 25 0 1 0 52398604 123707392 27888 1283457024 134512640 135121179 4291975808 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30202 27888 319 149 0 29393 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 123400 [startup+25.51 s] /proc/loadavg: 1.00 1.00 1.00 2/35 5008 /proc/meminfo: memFree=825088/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=123664 CPUtime=18.34 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 366432 0 7 0 1684 150 0 0 25 0 1 0 52398604 126631936 28397 1283457024 134512640 135121179 4291975808 18446744073709551615 134990512 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30916 28397 321 149 0 30107 0 Current children cumulated CPU time (s) 25.25 Current children cumulated vsize (KiB) 126256 [startup+51.1089 s] /proc/loadavg: 1.00 1.00 1.00 2/37 5010 /proc/meminfo: memFree=824816/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=120808 CPUtime=43.92 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 867607 0 7 0 4038 354 0 0 25 0 1 0 52398604 123707392 27907 1283457024 134512640 135121179 4291975808 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30202 27907 321 149 0 29393 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 123400 [startup+102.307 s] /proc/loadavg: 1.00 1.00 1.00 2/37 5015 /proc/meminfo: memFree=824568/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=120824 CPUtime=95.06 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 1842576 0 7 0 8761 745 0 0 25 0 1 0 52398604 123723776 27927 1283457024 134512640 135121179 4291975808 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30206 27927 321 149 0 29397 0 Current children cumulated CPU time (s) 101.97 Current children cumulated vsize (KiB) 123416 [startup+162.308 s] /proc/loadavg: 1.00 1.00 1.00 2/36 5019 /proc/meminfo: memFree=824460/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=123692 CPUtime=155.03 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 2969623 0 7 0 14280 1223 0 0 25 0 1 0 52398604 126660608 28668 1283457024 134512640 135121179 4291975808 18446744073709551615 134981273 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30923 28668 321 149 0 30114 0 Current children cumulated CPU time (s) 161.94 Current children cumulated vsize (KiB) 126284 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/35 5019 /proc/meminfo: memFree=824220/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=120840 CPUtime=214.99 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 4081733 0 7 0 19790 1709 0 0 25 0 1 0 52398604 123740160 27972 1283457024 134512640 135121179 4291975808 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30210 27972 321 149 0 29401 0 Current children cumulated CPU time (s) 221.9 Current children cumulated vsize (KiB) 123432 [startup+282.31 s] /proc/loadavg: 1.00 1.00 1.00 2/35 5019 /proc/meminfo: memFree=824096/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=123712 CPUtime=274.94 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 5180293 0 7 0 25321 2173 0 0 25 0 1 0 52398604 126681088 28709 1283457024 134512640 135121179 4291975808 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30928 28709 321 149 0 30119 0 Current children cumulated CPU time (s) 281.85 Current children cumulated vsize (KiB) 126304 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.513 s] /proc/loadavg: 1.00 1.00 1.00 2/35 5019 /proc/meminfo: memFree=824096/1048576 swapFree=0/0 [pid=4997] ppid=4996 vsize=2592 CPUtime=6.91 /proc/4997/stat : 4997 (aspuncud-user-1) S 4996 4997 2160 34817 2160 4202496 573 57930 0 41 0 0 656 35 18 0 1 0 52398599 2654208 298 1283457024 134512640 135304128 4290704832 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4997/statm: 648 298 251 194 0 35 0 [pid=5006] ppid=4997 vsize=120844 CPUtime=283.14 /proc/5006/stat : 5006 (unclasp) R 4997 4997 2160 34817 2160 4202496 5330577 0 7 0 26080 2234 0 0 25 0 1 0 52398604 123744256 27973 1283457024 134512640 135121179 4291975808 18446744073709551615 134891769 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/5006/statm: 30211 27973 321 149 0 29402 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (KiB) 123436 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 290.552 CPU time (s): 290.086 CPU user time (s): 267.373 CPU system time (s): 22.7134 CPU usage (%): 99.8397 Max. virtual memory (cumulated for all children) (KiB): 231304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 267.373 system time used= 22.7134 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5391475 page faults= 50 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8527 involuntary context switches= 10383 runsolver used 0 second user time and 0 second system time The end