runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-424659-1177767073 -o ROOT/results/node20/solver-424659-1177767073 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424659-1177767073/mxc /tmp/evaluation/424659-1177767073/instance-424659-1177767073.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11850
/proc/meminfo: memFree=1615072/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=1816 CPUtime=0
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 224624656 1859584 270 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 454 270 46 122 0 328 0
[startup+0.0171181 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11850
/proc/meminfo: memFree=1615072/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=2184 CPUtime=0.01
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 441 0 0 0 1 0 0 0 18 0 1 0 224624656 2236416 353 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134694946 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 546 353 57 122 0 420 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2184
[startup+0.101135 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11850
/proc/meminfo: memFree=1615072/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=2448 CPUtime=0.09
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 511 0 0 0 9 0 0 0 18 0 1 0 224624656 2506752 423 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530055 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 612 423 59 122 0 486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2448
[startup+0.301175 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11850
/proc/meminfo: memFree=1615072/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=2976 CPUtime=0.29
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 641 0 0 0 29 0 0 0 19 0 1 0 224624656 3047424 553 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528104 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 744 553 59 122 0 618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2976
[startup+0.701256 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11850
/proc/meminfo: memFree=1615072/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=3900 CPUtime=0.69
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 903 0 0 0 69 0 0 0 23 0 1 0 224624656 3993600 815 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519096 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 975 815 59 122 0 849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3900
[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1611288/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=5748 CPUtime=1.49
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 1358 0 0 0 149 0 0 0 25 0 1 0 224624656 5885952 1270 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 1437 1270 59 122 0 1311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5748
[startup+3.10174 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1608792/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=8792 CPUtime=3.08
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 2131 0 0 0 308 0 0 0 25 0 1 0 224624656 9003008 2041 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530884 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 2198 2041 67 122 0 2072 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8792
[startup+6.30138 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1605592/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=10112 CPUtime=6.29
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 2461 0 0 0 628 1 0 0 25 0 1 0 224624656 10354688 2371 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 2528 2371 67 122 0 2402 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10112
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1603160/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=12560 CPUtime=12.68
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 3051 0 0 0 1267 1 0 0 25 0 1 0 224624656 12861440 2961 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 3140 2961 67 122 0 3014 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12560
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1601816/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=13844 CPUtime=25.49
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 3377 0 0 0 2547 2 0 0 25 0 1 0 224624656 14176256 3287 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 3461 3287 67 122 0 3335 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13844
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1598616/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=17028 CPUtime=51.07
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 4182 0 0 0 5105 2 0 0 25 0 1 0 224624656 17436672 4092 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 4257 4092 67 122 0 4131 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17028
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1593944/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=21616 CPUtime=102.26
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 5333 0 0 0 10222 4 0 0 25 0 1 0 224624656 22134784 5243 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 5404 5243 67 122 0 5278 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21616
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1593880/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=21596 CPUtime=162.23
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 5336 0 0 0 16219 4 0 0 25 0 1 0 224624656 22114304 5245 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519924 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 5399 5245 67 122 0 5273 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21596
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1592472/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=23012 CPUtime=222.21
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 5689 0 0 0 22216 5 0 0 25 0 1 0 224624656 23564288 5562 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 5753 5562 67 122 0 5627 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 23012
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1590808/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=24728 CPUtime=282.19
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 6270 0 0 0 28213 6 0 0 25 0 1 0 224624656 25321472 5973 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 6182 5973 67 122 0 6056 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 24728
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1590424/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=25124 CPUtime=342.17
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 6570 0 0 0 34210 7 0 0 25 0 1 0 224624656 25726976 6069 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 6281 6069 67 122 0 6155 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 25124
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1586584/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=28952 CPUtime=402.15
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 7739 0 0 0 40207 8 0 0 25 0 1 0 224624656 29646848 7056 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 7238 7056 67 122 0 7112 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 28952
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1585624/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=29876 CPUtime=462.13
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 8097 0 0 0 46204 9 0 0 25 0 1 0 224624656 30593024 7266 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 7469 7266 67 122 0 7343 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 29876
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11851
/proc/meminfo: memFree=1585688/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=29804 CPUtime=522.1
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 8171 0 0 0 52201 9 0 0 25 0 1 0 224624656 30519296 7266 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 7451 7266 67 122 0 7325 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 29804
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11853
/proc/meminfo: memFree=1585752/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=29804 CPUtime=582.09
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 8171 0 0 0 58199 10 0 0 25 0 1 0 224624656 30519296 7266 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519311 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 7451 7266 67 122 0 7325 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 29804
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11853
/proc/meminfo: memFree=1583768/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=31784 CPUtime=642.07
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 8773 0 0 0 64196 11 0 0 25 0 1 0 224624656 32546816 7745 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519243 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 7946 7745 67 122 0 7820 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 31784
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 12051
/proc/meminfo: memFree=1567832/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=47540 CPUtime=4060.76
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 16905 0 0 0 406029 47 0 0 25 0 1 0 224624656 48680960 11684 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 11885 11684 67 122 0 11759 0
Current children cumulated CPU time (s) 4060.76
Current children cumulated vsize (KiB) 47540
[startup+4122.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 12051
/proc/meminfo: memFree=1567896/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=47496 CPUtime=4120.74
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 16905 0 0 0 412026 48 0 0 25 0 1 0 224624656 48635904 11684 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 11874 11684 67 122 0 11748 0
Current children cumulated CPU time (s) 4120.74
Current children cumulated vsize (KiB) 47496
[startup+4182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1567960/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=47496 CPUtime=4180.71
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 16905 0 0 0 418023 48 0 0 25 0 1 0 224624656 48635904 11684 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 11874 11684 67 122 0 11748 0
Current children cumulated CPU time (s) 4180.71
Current children cumulated vsize (KiB) 47496
[startup+4242.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 12053
/proc/meminfo: memFree=1568024/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=47496 CPUtime=4240.7
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 16905 0 0 0 424021 49 0 0 25 0 1 0 224624656 48635904 11684 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 11874 11684 67 122 0 11748 0
Current children cumulated CPU time (s) 4240.7
Current children cumulated vsize (KiB) 47496
[startup+4302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 12053
/proc/meminfo: memFree=1566232/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=48948 CPUtime=4300.67
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 17406 0 0 0 430017 50 0 0 25 0 1 0 224624656 50122752 12065 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12237 12065 67 122 0 12111 0
Current children cumulated CPU time (s) 4300.67
Current children cumulated vsize (KiB) 48948
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564760/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50400 CPUtime=4360.65
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 17890 0 0 0 436014 51 0 0 25 0 1 0 224624656 51609600 12429 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12600 12429 67 122 0 12474 0
Current children cumulated CPU time (s) 4360.65
Current children cumulated vsize (KiB) 50400
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564824/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50400 CPUtime=4420.63
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 17950 0 0 0 442011 52 0 0 25 0 1 0 224624656 51609600 12429 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12600 12429 67 122 0 12474 0
Current children cumulated CPU time (s) 4420.63
Current children cumulated vsize (KiB) 50400
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564376/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50840 CPUtime=4480.6
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18183 0 0 0 448008 52 0 0 25 0 1 0 224624656 52060160 12540 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519587 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12710 12540 67 122 0 12584 0
Current children cumulated CPU time (s) 4480.6
Current children cumulated vsize (KiB) 50840
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564376/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50840 CPUtime=4540.59
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18303 0 0 0 454006 53 0 0 25 0 1 0 224624656 52060160 12540 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12710 12540 67 122 0 12584 0
Current children cumulated CPU time (s) 4540.59
Current children cumulated vsize (KiB) 50840
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564376/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50812 CPUtime=4600.57
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18423 0 0 0 460003 54 0 0 25 0 1 0 224624656 52031488 12533 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12703 12533 67 122 0 12577 0
Current children cumulated CPU time (s) 4600.57
Current children cumulated vsize (KiB) 50812
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564504/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50696 CPUtime=4660.54
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18543 0 0 0 466000 54 0 0 25 0 1 0 224624656 51912704 12504 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12674 12504 67 122 0 12548 0
Current children cumulated CPU time (s) 4660.54
Current children cumulated vsize (KiB) 50696
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564504/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50696 CPUtime=4720.53
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18663 0 0 0 471998 55 0 0 25 0 1 0 224624656 51912704 12504 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12674 12504 67 122 0 12548 0
Current children cumulated CPU time (s) 4720.53
Current children cumulated vsize (KiB) 50696
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564504/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=50696 CPUtime=4780.5
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18723 0 0 0 477995 55 0 0 25 0 1 0 224624656 51912704 12504 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12674 12504 67 122 0 12548 0
Current children cumulated CPU time (s) 4780.5
Current children cumulated vsize (KiB) 50696
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564120/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=51092 CPUtime=4840.48
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 18935 0 0 0 483992 56 0 0 25 0 1 0 224624656 52318208 12596 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12773 12596 67 122 0 12647 0
Current children cumulated CPU time (s) 4840.48
Current children cumulated vsize (KiB) 51092
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12053
/proc/meminfo: memFree=1564120/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=51092 CPUtime=4900.46
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 19055 0 0 0 489990 56 0 0 25 0 1 0 224624656 52318208 12596 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519602 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12773 12596 67 122 0 12647 0
Current children cumulated CPU time (s) 4900.46
Current children cumulated vsize (KiB) 51092
[startup+4962.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 12053
/proc/meminfo: memFree=1563608/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=51620 CPUtime=4960.44
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 19308 0 0 0 495987 57 0 0 25 0 1 0 224624656 52858880 12729 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12905 12729 67 122 0 12779 0
Current children cumulated CPU time (s) 4960.44
Current children cumulated vsize (KiB) 51620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.9 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 12053
/proc/meminfo: memFree=1563672/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=51528 CPUtime=5000.03
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 19368 0 0 0 499945 58 0 0 25 0 1 0 224624656 52764672 12712 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12882 12712 67 122 0 12756 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 51528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.9 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 12053
/proc/meminfo: memFree=1563672/2055920 swapFree=4154160/4192956
[pid=11850] ppid=11848 vsize=51528 CPUtime=5000.03
/proc/11850/stat : 11850 (mxc) R 11848 11850 11319 0 -1 4194304 19368 0 0 0 499945 58 0 0 25 0 1 0 224624656 52764672 12712 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/11850/statm: 12882 12712 67 122 0 12756 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 51528
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.91
CPU time (s): 5000.05
CPU user time (s): 4999.46
CPU system time (s): 0.58891
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 51860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.46
system time used= 0.58891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19368
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= 6
involuntary context switches= 6701
runsolver used 3.84042 second user time and 10.8723 second system time
The end
Begin job on node20 on Sat Apr 28 13:31:13 UTC 2007
IDJOB= 424659
IDBENCH= 20161
IDSOLVER= 174
FILE ID= node20/424659-1177767073
PBS_JOBID= 4715596
Free space on /tmp= 66529 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
COMMAND LINE= /tmp/evaluation/424659-1177767073/mxc /tmp/evaluation/424659-1177767073/instance-424659-1177767073.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-424659-1177767073 -o ROOT/results/node20/solver-424659-1177767073 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/424659-1177767073/mxc /tmp/evaluation/424659-1177767073/instance-424659-1177767073.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 4d44215f03cf662ccd89594e005a5672
RANDOM SEED= 4158932
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1615480 kB
Buffers: 50588 kB
Cached: 299204 kB
SwapCached: 18428 kB
Active: 201048 kB
Inactive: 174040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1615480 kB
SwapTotal: 4192956 kB
SwapFree: 4154160 kB
Dirty: 968 kB
Writeback: 0 kB
Mapped: 30408 kB
Slab: 50952 kB
Committed_AS: 2130832 kB
PageTables: 1744 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66529 MiB
End job on node20 on Sat Apr 28 14:54:37 UTC 2007