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/201108311143/aspcud-1.5/8222799a-9af8-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-real//8222799a-9af8-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108311143/aspcud-1.5/8222799a-9af8-11df-8b50-00163e46d37a.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.02 1.04 1.00 5/37 31425 /proc/meminfo: memFree=637840/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2588 CPUtime=0 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 18 0 1 0 66525984 2650112 279 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/31423/statm: 647 279 234 194 0 34 0 [pid=31424] ppid=31423 vsize=2588 CPUtime=0.01 /proc/31424/stat : 31424 (aspcud-1.5) R 31423 31423 19908 34817 19908 4202560 110 0 0 0 0 1 0 0 25 0 1 0 66525984 2650112 132 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/31424/statm: 647 132 86 194 0 34 0 [pid=31425] ppid=31424 vsize=2588 CPUtime=0 /proc/31425/stat : 31425 (aspcud-1.5) R 31424 31423 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 1 0 66525984 2650112 46 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/31425/statm: 647 46 0 194 0 34 0 [startup+0.122225 s] /proc/loadavg: 1.02 1.04 1.00 5/37 31425 /proc/meminfo: memFree=637840/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=0.01 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 1520 0 0 0 0 0 1 25 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.206276 s] /proc/loadavg: 1.02 1.04 1.00 5/37 31425 /proc/meminfo: memFree=637840/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=0.01 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 1520 0 0 0 0 0 1 25 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.306265 s] /proc/loadavg: 1.02 1.04 1.00 5/37 31425 /proc/meminfo: memFree=637840/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=0.01 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 1520 0 0 0 0 0 1 25 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.712279 s] /proc/loadavg: 1.02 1.04 1.00 5/37 31425 /proc/meminfo: memFree=637840/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=0.01 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 1520 0 0 0 0 0 1 25 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+1.50671 s] /proc/loadavg: 1.02 1.04 1.00 2/39 31434 /proc/meminfo: memFree=600340/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=0.01 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 1520 0 0 0 0 0 1 25 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=1924 CPUtime=0 /proc/31432/stat : 31432 (clasp) S 31423 31423 19908 34817 19908 4202496 292 0 0 0 0 0 0 0 25 0 1 0 66525985 1970176 159 1283457024 134512640 136285277 4294898160 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/31432/statm: 481 159 144 433 0 46 0 [pid=31433] ppid=31423 vsize=2584 CPUtime=0 /proc/31433/stat : 31433 (gringo) S 31423 31423 19908 34817 19908 4202496 405 0 0 0 0 0 0 0 25 0 1 0 66525985 2646016 272 1283457024 134512640 136933539 4291598144 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/31433/statm: 646 272 242 592 0 51 0 [pid=31434] ppid=31423 vsize=35288 CPUtime=1.24 /proc/31434/stat : 31434 (cudf2lp) R 31423 31423 19908 34817 19908 4202496 9951 0 0 0 119 5 0 0 25 0 1 0 66525985 36134912 8198 1283457024 134512640 135786343 4292589632 18446744073709551615 134553343 0 0 6 0 0 0 0 17 0 0 0 0 /proc/31434/statm: 8822 8198 135 311 0 8509 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 42392 [startup+3.10702 s] /proc/loadavg: 1.02 1.04 1.00 3/38 31434 /proc/meminfo: memFree=597608/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=12980 CPUtime=0.93 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 3648 0 0 0 93 0 0 0 19 0 1 0 66525985 13291520 3008 1283457024 134512640 136285277 4294898160 18446744073709551615 134963464 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 3245 3008 234 433 0 2810 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 15576 [startup+6.30756 s] /proc/loadavg: 1.02 1.04 1.00 2/37 31435 /proc/meminfo: memFree=594904/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=25972 CPUtime=4.12 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 6868 0 0 0 410 2 0 0 25 0 1 0 66525985 26595328 6228 1283457024 134512640 136285277 4294898160 18446744073709551615 134959529 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 6493 6228 234 433 0 6058 0 Current children cumulated CPU time (s) 6.03 Current children cumulated vsize (KiB) 28568 [startup+12.7089 s] /proc/loadavg: 1.02 1.04 1.00 2/37 31435 /proc/meminfo: memFree=589696/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=30868 CPUtime=10.51 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 8144 0 0 0 1049 2 0 0 25 0 1 0 66525985 31608832 7504 1283457024 134512640 136285277 4294898160 18446744073709551615 134723304 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 7717 7504 234 433 0 7282 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 33464 [startup+25.5117 s] /proc/loadavg: 1.01 1.03 1.00 2/37 31437 /proc/meminfo: memFree=584240/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=35656 CPUtime=23.3 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 9507 0 0 0 2328 2 0 0 25 0 1 0 66525985 36511744 8704 1283457024 134512640 136285277 4294898160 18446744073709551615 134669919 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 8914 8704 234 433 0 8479 0 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (KiB) 38252 [startup+51.1073 s] /proc/loadavg: 1.01 1.03 1.00 2/37 31439 /proc/meminfo: memFree=584364/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=35656 CPUtime=48.86 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 9507 0 0 0 4883 3 0 0 25 0 1 0 66525985 36511744 8704 1283457024 134512640 136285277 4294898160 18446744073709551615 134733809 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 8914 8704 234 433 0 8479 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 38252 [startup+102.313 s] /proc/loadavg: 1.00 1.02 1.00 2/36 31442 /proc/meminfo: memFree=579420/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=40532 CPUtime=99.96 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 11787 0 0 0 9992 4 0 0 25 0 1 0 66525985 41504768 9922 1283457024 134512640 136285277 4294898160 18446744073709551615 134615133 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 10133 9922 234 433 0 9698 0 Current children cumulated CPU time (s) 101.87 Current children cumulated vsize (KiB) 43128 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.00 2/35 31442 /proc/meminfo: memFree=577320/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=43312 CPUtime=159.79 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 12835 0 0 0 15973 6 0 0 25 0 1 0 66525985 44351488 10585 1283457024 134512640 136285277 4294898160 18446744073709551615 134955207 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 10828 10585 234 433 0 10393 0 Current children cumulated CPU time (s) 161.7 Current children cumulated vsize (KiB) 45908 [startup+222.311 s] /proc/loadavg: 1.00 1.01 1.00 2/35 31442 /proc/meminfo: memFree=576700/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=43972 CPUtime=219.67 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 12990 0 0 0 21961 6 0 0 25 0 1 0 66525985 45027328 10740 1283457024 134512640 136285277 4294898160 18446744073709551615 134733711 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 10993 10740 234 433 0 10558 0 Current children cumulated CPU time (s) 221.58 Current children cumulated vsize (KiB) 46568 [startup+282.312 s] /proc/loadavg: 1.00 1.01 1.00 2/35 31442 /proc/meminfo: memFree=574592/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=45396 CPUtime=279.56 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 13718 0 0 0 27950 6 0 0 25 0 1 0 66525985 46485504 11110 1283457024 134512640 136285277 4294898160 18446744073709551615 134734279 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 11349 11110 234 433 0 10914 0 Current children cumulated CPU time (s) 281.47 Current children cumulated vsize (KiB) 47992 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.906 s] /proc/loadavg: 1.00 1.01 1.00 2/35 31442 /proc/meminfo: memFree=574592/1048576 swapFree=0/0 [pid=31423] ppid=31422 vsize=2596 CPUtime=1.91 /proc/31423/stat : 31423 (aspcud-1.5) S 31422 31423 19908 34817 19908 4202496 581 17400 0 0 0 0 181 10 17 0 1 0 66525984 2658304 298 1283457024 134512640 135304128 4294383968 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/31423/statm: 649 298 251 194 0 36 0 [pid=31432] ppid=31423 vsize=45396 CPUtime=288.15 /proc/31432/stat : 31432 (clasp) R 31423 31423 19908 34817 19908 4202496 13718 0 0 0 28809 6 0 0 25 0 1 0 66525985 46485504 11110 1283457024 134512640 136285277 4294898160 18446744073709551615 134733809 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/31432/statm: 11349 11110 234 433 0 10914 0 Current children cumulated CPU time (s) 290.06 Current children cumulated vsize (KiB) 47992 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.932 CPU time (s): 290.098 CPU user time (s): 289.914 CPU system time (s): 0.184011 CPU usage (%): 99.7133 Max. virtual memory (cumulated for all children) (KiB): 50184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.914 system time used= 0.184011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35382 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= 551 involuntary context switches= 3934 runsolver used 0 second user time and 0 second system time The end