runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-367320-1176945973 -o ROOT/results/node48/solver-367320-1176945973 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367320-1176945973/cmusat /tmp/evaluation/367320-1176945973/instance-367320-1176945973.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.72 0.93 0.98 3/64 31531
/proc/meminfo: memFree=1549536/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=2184 CPUtime=0
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 49442612 2236416 359 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134517243 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 546 359 88 243 0 300 0
[startup+0.0199291 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 31531
/proc/meminfo: memFree=1549536/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=3364 CPUtime=0.01
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 677 0 0 0 1 0 0 0 18 0 1 0 49442612 3444736 660 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134514211 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 841 660 96 243 0 595 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3364
[startup+0.102927 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 31531
/proc/meminfo: memFree=1549536/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=8648 CPUtime=0.09
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 1961 0 0 0 9 0 0 0 18 0 1 0 49442612 8855552 1944 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135090819 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 2162 1945 96 243 0 1916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8648
[startup+0.301945 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 31531
/proc/meminfo: memFree=1549536/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=16844 CPUtime=0.29
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 3746 0 0 0 28 1 0 0 19 0 1 0 49442612 17248256 3729 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134551149 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 4211 3729 109 243 0 3965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16844
[startup+0.701982 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 31531
/proc/meminfo: memFree=1549536/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=23280 CPUtime=0.69
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 5219 0 0 0 67 2 0 0 22 0 1 0 49442612 23838720 5202 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134530467 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 5820 5202 109 243 0 5574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23280
[startup+1.50106 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 31532
/proc/meminfo: memFree=1532824/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=18272 CPUtime=1.48
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 7494 0 0 0 145 3 0 0 25 0 1 0 49442612 18710528 3966 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 4568 3966 119 243 0 4322 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18272
[startup+3.1012 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 31532
/proc/meminfo: memFree=1533912/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=19476 CPUtime=3.09
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 7797 0 0 0 305 4 0 0 25 0 1 0 49442612 19943424 4269 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135107896 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 4869 4269 119 243 0 4623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19476
[startup+6.3015 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 31532
/proc/meminfo: memFree=1530072/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=23308 CPUtime=6.29
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 8815 0 0 0 623 6 0 0 25 0 1 0 49442612 23867392 5287 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 5827 5287 119 243 0 5581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23308
[startup+12.7011 s]
/proc/loadavg: 0.78 0.94 0.98 2/65 31532
/proc/meminfo: memFree=1519640/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=32892 CPUtime=12.68
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 11286 0 0 0 1261 7 0 0 25 0 1 0 49442612 33681408 7758 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589578 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 8223 7758 119 243 0 7977 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32892
[startup+25.5023 s]
/proc/loadavg: 0.81 0.94 0.98 2/65 31532
/proc/meminfo: memFree=1504992/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=46260 CPUtime=25.49
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 15330 0 0 0 2538 11 0 0 25 0 1 0 49442612 47370240 11182 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134591993 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 11565 11182 119 243 0 11319 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46260
[startup+51.1026 s]
/proc/loadavg: 0.87 0.94 0.98 2/65 31532
/proc/meminfo: memFree=1496160/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=54992 CPUtime=51.08
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 17862 0 0 0 5095 13 0 0 25 0 1 0 49442612 56311808 13382 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 13748 13382 119 243 0 13502 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54992
[startup+102.305 s]
/proc/loadavg: 0.95 0.95 0.98 2/65 31532
/proc/meminfo: memFree=1479648/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=71068 CPUtime=102.27
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 22630 0 0 0 10211 16 0 0 25 0 1 0 49442612 72773632 17466 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589435 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 17767 17466 119 243 0 17521 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71068
[startup+162.303 s]
/proc/loadavg: 0.98 0.95 0.98 2/65 31532
/proc/meminfo: memFree=1478240/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=72592 CPUtime=162.24
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 23023 0 0 0 16208 16 0 0 25 0 1 0 49442612 74334208 17859 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134592065 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 18148 17859 119 243 0 17902 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72592
[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/65 31532
/proc/meminfo: memFree=1449568/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=101052 CPUtime=222.23
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 30569 0 0 0 22199 24 0 0 25 0 1 0 49442612 103477248 25024 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 25263 25024 119 243 0 25017 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101052
[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1430048/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=120712 CPUtime=282.22
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 35885 0 0 0 28193 29 0 0 25 0 1 0 49442612 123609088 29902 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134580140 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 30178 29902 119 243 0 29932 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 120712
[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1363552/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=193444 CPUtime=342.21
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 53704 0 0 0 34185 36 0 0 25 0 1 0 49442612 198086656 46436 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 48361 46436 119 243 0 48115 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 193444
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1363552/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=193444 CPUtime=402.19
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 53760 0 0 0 40183 36 0 0 25 0 1 0 49442612 198086656 46492 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 48361 46492 119 243 0 48115 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 193444
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1363488/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=193444 CPUtime=462.17
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 53760 0 0 0 46181 36 0 0 25 0 1 0 49442612 198086656 46492 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 48361 46492 119 243 0 48115 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 193444
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1361248/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=195360 CPUtime=522.16
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 54327 0 0 0 52179 37 0 0 25 0 1 0 49442612 200048640 47059 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 48840 47059 119 243 0 48594 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 195360
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1361248/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=195360 CPUtime=582.14
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 54327 0 0 0 58177 37 0 0 25 0 1 0 49442612 200048640 47059 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 48840 47059 119 243 0 48594 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 195360
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31532
/proc/meminfo: memFree=1362400/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=193444 CPUtime=642.14
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 54451 0 0 0 64176 38 0 0 25 0 1 0 49442612 198086656 46704 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 48361 46704 119 243 0 48115 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 193444
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32408
/proc/meminfo: memFree=317280/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1210476 CPUtime=9099.81
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 324655 0 0 0 909719 262 0 0 25 0 1 0 49442612 1239527424 300181 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 302619 300181 119 243 0 302373 0
Current children cumulated CPU time (s) 9099.81
Current children cumulated vsize (KiB) 1210476
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32408
/proc/meminfo: memFree=294752/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1232952 CPUtime=9159.79
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 330263 0 0 0 915713 266 0 0 25 0 1 0 49442612 1262542848 305789 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589569 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 308238 305789 119 243 0 307992 0
Current children cumulated CPU time (s) 9159.79
Current children cumulated vsize (KiB) 1232952
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32408
/proc/meminfo: memFree=266656/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1260736 CPUtime=9219.78
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 337202 0 0 0 921707 271 0 0 25 0 1 0 49442612 1290993664 312728 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 315184 312728 119 243 0 314938 0
Current children cumulated CPU time (s) 9219.78
Current children cumulated vsize (KiB) 1260736
[startup+9282.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 32408
/proc/meminfo: memFree=239904/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1287832 CPUtime=9279.77
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 343970 0 0 0 927702 275 0 0 25 0 1 0 49442612 1318739968 319496 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 321958 319496 119 243 0 321712 0
Current children cumulated CPU time (s) 9279.77
Current children cumulated vsize (KiB) 1287832
[startup+9342.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 32606
/proc/meminfo: memFree=213392/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1313928 CPUtime=9339.67
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 350459 0 0 0 933687 280 0 0 25 0 1 0 49442612 1345462272 325985 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 328482 325985 119 243 0 328236 0
Current children cumulated CPU time (s) 9339.67
Current children cumulated vsize (KiB) 1313928
[startup+9402.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 32606
/proc/meminfo: memFree=189664/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1337888 CPUtime=9399.65
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 356429 0 0 0 939681 284 0 0 25 0 1 0 49442612 1369997312 331955 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 334472 331955 119 243 0 334226 0
Current children cumulated CPU time (s) 9399.65
Current children cumulated vsize (KiB) 1337888
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32606
/proc/meminfo: memFree=166432/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1360608 CPUtime=9459.64
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 362188 0 0 0 945675 289 0 0 25 0 1 0 49442612 1393262592 337714 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 340152 337714 119 243 0 339906 0
Current children cumulated CPU time (s) 9459.64
Current children cumulated vsize (KiB) 1360608
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32606
/proc/meminfo: memFree=143072/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1383908 CPUtime=9519.63
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 368103 0 0 0 951669 294 0 0 25 0 1 0 49442612 1417121792 343629 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589563 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 345977 343629 119 243 0 345731 0
Current children cumulated CPU time (s) 9519.63
Current children cumulated vsize (KiB) 1383908
[startup+9582.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32606
/proc/meminfo: memFree=118816/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1407604 CPUtime=9579.62
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 374074 0 0 0 957663 299 0 0 25 0 1 0 49442612 1441386496 349600 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 351901 349600 119 243 0 351655 0
Current children cumulated CPU time (s) 9579.62
Current children cumulated vsize (KiB) 1407604
[startup+9642.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 32606
/proc/meminfo: memFree=94688/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1431680 CPUtime=9639.6
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 380146 0 0 0 963656 304 0 0 25 0 1 0 49442612 1466040320 355672 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 357920 355672 119 243 0 357674 0
Current children cumulated CPU time (s) 9639.6
Current children cumulated vsize (KiB) 1431680
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=71328/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1454564 CPUtime=9699.58
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 385923 0 0 0 969649 309 0 0 25 0 1 0 49442612 1489473536 361449 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 363641 361449 119 243 0 363395 0
Current children cumulated CPU time (s) 9699.58
Current children cumulated vsize (KiB) 1454564
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=49376/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1476484 CPUtime=9759.57
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 391452 0 0 0 975643 314 0 0 25 0 1 0 49442612 1511919616 366978 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135092715 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 369121 366978 119 243 0 368875 0
Current children cumulated CPU time (s) 9759.57
Current children cumulated vsize (KiB) 1476484
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=35424/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1489896 CPUtime=9819.55
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 396351 0 0 0 981638 317 0 0 25 0 1 0 49442612 1525653504 370370 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 372474 370370 119 243 0 372228 0
Current children cumulated CPU time (s) 9819.55
Current children cumulated vsize (KiB) 1489896
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=35488/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1489896 CPUtime=9879.54
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 396351 0 0 0 987637 317 0 0 25 0 1 0 49442612 1525653504 370370 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 372474 370370 119 243 0 372228 0
Current children cumulated CPU time (s) 9879.54
Current children cumulated vsize (KiB) 1489896
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=35424/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1489896 CPUtime=9939.53
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 396352 0 0 0 993635 318 0 0 25 0 1 0 49442612 1525653504 370371 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 372474 370371 119 243 0 372228 0
Current children cumulated CPU time (s) 9939.53
Current children cumulated vsize (KiB) 1489896
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=35424/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1489896 CPUtime=9999.52
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 396352 0 0 0 999634 318 0 0 25 0 1 0 49442612 1525653504 370371 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 134589563 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 372474 370371 119 243 0 372228 0
Current children cumulated CPU time (s) 9999.52
Current children cumulated vsize (KiB) 1489896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=35424/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=1489896 CPUtime=10000
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4194304 396352 0 0 0 999684 318 0 0 25 0 1 0 49442612 1525653504 370371 18446744073709551615 134512640 135508737 4294956672 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 372474 370371 119 243 0 372228 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1489896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32608
/proc/meminfo: memFree=35424/2055920 swapFree=4184636/4192956
[pid=31531] ppid=31529 vsize=0 CPUtime=10000.2
/proc/31531/stat : 31531 (cmusat) R 31529 31531 31475 0 -1 4195332 396352 0 0 0 999684 337 0 0 25 0 1 0 49442612 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 35 0 0 0 17 1 0 0
/proc/31531/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003
CPU time (s): 10000.3
CPU user time (s): 9996.84
CPU system time (s): 3.41048
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1489896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.84
system time used= 3.41048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396352
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= 14927
runsolver used 6.80497 second user time and 20.6549 second system time
The end
Begin job on node48 on Thu Apr 19 01:26:13 UTC 2007
IDJOB= 367320
IDBENCH= 20534
IDSOLVER= 173
FILE ID= node48/367320-1176945973
PBS_JOBID= 4605785
Free space on /tmp= 66481 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k25.cnf
COMMAND LINE= /tmp/evaluation/367320-1176945973/cmusat /tmp/evaluation/367320-1176945973/instance-367320-1176945973.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-367320-1176945973 -o ROOT/results/node48/solver-367320-1176945973 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367320-1176945973/cmusat /tmp/evaluation/367320-1176945973/instance-367320-1176945973.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 9bf608481da1a82a38dc09355889f525
RANDOM SEED= 914675649
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node48.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.238
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.238
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: 1550072 kB
Buffers: 23360 kB
Cached: 421628 kB
SwapCached: 2044 kB
Active: 99524 kB
Inactive: 354612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1550072 kB
SwapTotal: 4192956 kB
SwapFree: 4184636 kB
Dirty: 5912 kB
Writeback: 0 kB
Mapped: 16260 kB
Slab: 37812 kB
Committed_AS: 991684 kB
PageTables: 1388 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= 66481 MiB
End job on node48 on Thu Apr 19 04:12:58 UTC 2007