runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543719-1238506928/watcher-1543719-1238506928 -o /tmp/evaluation-result-1543719-1238506928/solver-1543719-1238506928 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543719-1238506928.cnf 3 1200
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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: 1.00 1.00 1.00 4/67 15097
/proc/meminfo: memFree=1499016/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 4 0 1123357783 2224128 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 543 129 68 163 0 378 0
[pid=15094/tid=15095] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/task/15095/stat : 15095 (satake) S 15092 15094 14965 0 -1 4194368 4 0 0 0 0 0 0 0 17 0 4 0 1123357783 2224128 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 57 0 0 0 0 0 0 0 18 0 4 0 1123357783 2224128 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1123357783 2224128 129 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0262979 s]
/proc/loadavg: 1.00 1.00 1.00 4/67 15097
/proc/meminfo: memFree=1499016/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=2172 CPUtime=0.03
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 196 0 0 0 1 2 0 0 18 0 4 0 1123357783 2224128 181 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 543 181 70 163 0 378 0
[pid=15094/tid=15095] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 9 0 0 0 0 0 0 0 17 0 4 0 1123357783 2224128 181 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 62 0 0 0 0 0 0 0 17 0 4 0 1123357783 2224128 181 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=2172 CPUtime=0
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 4 0 1123357783 2224128 181 1992294400 134512640 135180984 4294956208 18446744073709551615 134532489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2172
[startup+0.11011 s]
/proc/loadavg: 1.00 1.00 1.00 4/67 15097
/proc/meminfo: memFree=1499016/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=2304 CPUtime=0.16
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 244 0 0 0 7 9 0 0 18 0 4 0 1123357783 2359296 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 576 229 70 163 0 411 0
[pid=15094/tid=15095] ppid=15092 vsize=2304 CPUtime=0.04
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 20 0 0 0 0 4 0 0 17 0 4 0 1123357783 2359296 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=2304 CPUtime=0.05
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 79 0 0 0 3 2 0 0 16 0 4 0 1123357783 2359296 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134522712 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=2304 CPUtime=0.05
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 62 0 0 0 3 2 0 0 16 0 4 0 1123357783 2359296 229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2304
[startup+0.301146 s]
/proc/loadavg: 1.00 1.00 1.00 4/67 15097
/proc/meminfo: memFree=1499016/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=2436 CPUtime=0.47
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 289 0 0 0 26 21 0 0 18 0 4 0 1123357783 2494464 274 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 609 274 70 163 0 444 0
[pid=15094/tid=15095] ppid=15092 vsize=2436 CPUtime=0.12
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 42 0 0 0 2 10 0 0 17 0 4 0 1123357783 2494464 274 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=2436 CPUtime=0.16
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 92 0 0 0 12 4 0 0 17 0 4 0 1123357783 2494464 274 1992294400 134512640 135180984 4294956208 18446744073709551615 134521136 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=2436 CPUtime=0.16
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 72 0 0 0 11 5 0 0 17 0 4 0 1123357783 2494464 274 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2436
[startup+0.701225 s]
/proc/loadavg: 1.00 1.00 1.00 4/67 15097
/proc/meminfo: memFree=1499016/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=2700 CPUtime=1.11
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 369 0 0 0 63 48 0 0 18 0 4 0 1123357783 2764800 354 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 675 354 70 163 0 510 0
[pid=15094/tid=15095] ppid=15092 vsize=2700 CPUtime=0.3
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 92 0 0 0 6 24 0 0 18 0 4 0 1123357783 2764800 354 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=2700 CPUtime=0.38
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 111 0 0 0 28 10 0 0 16 0 4 0 1123357783 2764800 354 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=2700 CPUtime=0.41
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 83 0 0 0 29 12 0 0 17 0 4 0 1123357783 2764800 354 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2700
[startup+1.50139 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 15098
/proc/meminfo: memFree=1497536/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=3360 CPUtime=2.42
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 519 0 0 0 136 106 0 0 18 0 4 0 1123357783 3440640 504 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 840 504 70 163 0 675 0
[pid=15094/tid=15095] ppid=15092 vsize=3360 CPUtime=0.68
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 190 0 0 0 14 54 0 0 17 0 4 0 1123357783 3440640 504 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=3360 CPUtime=0.84
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 147 0 0 0 60 24 0 0 16 0 4 0 1123357783 3440640 504 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=3360 CPUtime=0.88
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 99 0 0 0 61 27 0 0 17 0 4 0 1123357783 3440640 504 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3360
[startup+3.10422 s]
/proc/loadavg: 1.16 1.03 1.01 3/68 15098
/proc/meminfo: memFree=1496576/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=4452 CPUtime=5.07
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 803 0 0 0 286 221 0 0 18 0 4 0 1123357783 4558848 788 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 1113 788 70 163 0 948 0
[pid=15094/tid=15095] ppid=15092 vsize=4452 CPUtime=1.44
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 402 0 0 0 29 115 0 0 18 0 4 0 1123357783 4558848 788 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=4452 CPUtime=1.81
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 194 0 0 0 130 51 0 0 15 0 4 0 1123357783 4558848 788 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=4452 CPUtime=1.78
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 124 0 0 0 125 53 0 0 15 0 4 0 1123357783 4558848 788 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 4452
[startup+6.30135 s]
/proc/loadavg: 1.16 1.03 1.01 4/68 15098
/proc/meminfo: memFree=1494400/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=6528 CPUtime=10.45
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 1315 0 0 0 586 459 0 0 18 0 4 0 1123357783 6684672 1300 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 1632 1300 70 163 0 1467 0
[pid=15094/tid=15095] ppid=15092 vsize=6528 CPUtime=2.91
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 785 0 0 0 59 232 0 0 16 0 4 0 1123357783 6684672 1300 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=6528 CPUtime=3.8
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 277 0 0 0 267 113 0 0 16 0 4 0 1123357783 6684672 1300 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=6528 CPUtime=3.72
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 170 0 0 0 259 113 0 0 16 0 4 0 1123357783 6684672 1300 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 6528
[startup+12.7026 s]
/proc/loadavg: 1.28 1.06 1.02 3/68 15098
/proc/meminfo: memFree=1490112/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=10700 CPUtime=21.3
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 2318 0 0 0 1226 904 0 0 18 0 4 0 1123357783 10956800 2303 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 2675 2303 70 163 0 2510 0
[pid=15094/tid=15095] ppid=15092 vsize=10700 CPUtime=5.61
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 1585 0 0 0 117 444 0 0 15 0 4 0 1123357783 10956800 2303 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=10700 CPUtime=7.9
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 410 0 0 0 561 229 0 0 16 0 4 0 1123357783 10956800 2303 1992294400 134512640 135180984 4294956208 18446744073709551615 134523600 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=10700 CPUtime=7.76
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 240 0 0 0 547 229 0 0 15 0 4 0 1123357783 10956800 2303 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.3
Current children cumulated vsize (KiB) 10700
[startup+25.5012 s]
/proc/loadavg: 1.54 1.13 1.04 3/68 15098
/proc/meminfo: memFree=1482048/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=20076 CPUtime=43.04
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 4277 0 0 0 2486 1818 0 0 18 0 4 0 1123357783 20557824 4262 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 5019 4262 70 163 0 4854 0
[pid=15094/tid=15095] ppid=15092 vsize=20076 CPUtime=11.17
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 3222 0 0 0 233 884 0 0 15 0 4 0 1123357783 20557824 4262 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=20076 CPUtime=15.96
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 632 0 0 0 1137 459 0 0 15 0 4 0 1123357783 20557824 4262 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=20076 CPUtime=15.9
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 340 0 0 0 1115 475 0 0 15 0 4 0 1123357783 20557824 4262 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.04
Current children cumulated vsize (KiB) 20076
[startup+51.103 s]
/proc/loadavg: 1.89 1.24 1.08 3/68 15098
/proc/meminfo: memFree=1467328/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=36260 CPUtime=87.13
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 8007 0 0 0 5101 3612 0 0 18 0 4 0 1123357783 37130240 7992 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 9065 7992 70 163 0 8900 0
[pid=15094/tid=15095] ppid=15092 vsize=36260 CPUtime=22.17
/proc/15094/task/15095/stat : 15095 (satake) S 15092 15094 14965 0 -1 4194368 6166 0 0 0 465 1752 0 0 16 0 4 0 1123357783 37130240 7992 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=36260 CPUtime=32.55
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 1141 0 0 0 2338 917 0 0 16 0 4 0 1123357783 37130240 7992 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=36260 CPUtime=32.4
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 617 0 0 0 2298 942 0 0 15 0 4 0 1123357783 37130240 7992 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 87.13
Current children cumulated vsize (KiB) 36260
[startup+102.307 s]
/proc/loadavg: 2.26 1.45 1.16 3/68 15098
/proc/meminfo: memFree=1438656/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=70212 CPUtime=176.28
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 15090 0 0 0 10572 7056 0 0 18 0 4 0 1123357783 71897088 15075 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 17553 15075 70 163 0 17388 0
[pid=15094/tid=15095] ppid=15092 vsize=70212 CPUtime=43.34
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 11686 0 0 0 914 3420 0 0 16 0 4 0 1123357783 71897088 15075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=70212 CPUtime=66.64
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 2059 0 0 0 4875 1789 0 0 16 0 4 0 1123357783 71897088 15075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=70212 CPUtime=66.29
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 1262 0 0 0 4782 1847 0 0 15 0 4 0 1123357783 71897088 15075 1992294400 134512640 135180984 4294956208 18446744073709551615 134519096 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 176.28
Current children cumulated vsize (KiB) 70212
[startup+162.302 s]
/proc/loadavg: 2.20 1.57 1.21 3/68 15098
/proc/meminfo: memFree=1406656/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=110520 CPUtime=281.94
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 23122 0 0 0 17257 10937 0 0 18 0 4 0 1123357783 113172480 23107 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 27630 23107 70 163 0 27465 0
[pid=15094/tid=15095] ppid=15092 vsize=110520 CPUtime=67.19
/proc/15094/task/15095/stat : 15095 (satake) S 15092 15094 14965 0 -1 4194368 17685 0 0 0 1427 5292 0 0 15 0 4 0 1123357783 113172480 23107 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=110520 CPUtime=107.56
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 3332 0 0 0 7983 2773 0 0 15 0 4 0 1123357783 113172480 23107 1992294400 134512640 135180984 4294956208 18446744073709551615 134523821 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=110520 CPUtime=107.18
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 2022 0 0 0 7847 2871 0 0 16 0 4 0 1123357783 113172480 23107 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.94
Current children cumulated vsize (KiB) 110520
[startup+222.302 s]
/proc/loadavg: 2.40 1.74 1.30 2/68 15099
/proc/meminfo: memFree=1374720/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=145476 CPUtime=388.14
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 30959 0 0 0 23990 14824 0 0 18 0 4 0 1123357783 148967424 30944 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 36369 30944 70 163 0 36204 0
[pid=15094/tid=15095] ppid=15092 vsize=145476 CPUtime=91.06
/proc/15094/task/15095/stat : 15095 (satake) S 15092 15094 14965 0 -1 4194368 23372 0 0 0 1933 7173 0 0 15 0 4 0 1123357783 148967424 30944 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=145476 CPUtime=148.7
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 4560 0 0 0 11101 3769 0 0 15 0 4 0 1123357783 148967424 30944 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=145476 CPUtime=148.34
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 2944 0 0 0 10954 3880 0 0 16 0 4 0 1123357783 148967424 30944 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 388.14
Current children cumulated vsize (KiB) 145476
[startup+282.307 s]
/proc/loadavg: 2.30 1.84 1.35 3/68 15100
/proc/meminfo: memFree=1344000/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=184348 CPUtime=494.66
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 38763 0 0 0 30767 18699 0 0 18 0 4 0 1123357783 188772352 38748 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 46087 38748 70 163 0 45922 0
[pid=15094/tid=15095] ppid=15092 vsize=184348 CPUtime=114.95
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 29003 0 0 0 2447 9048 0 0 16 0 4 0 1123357783 188772352 38748 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=184348 CPUtime=190.05
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 5744 0 0 0 14247 4758 0 0 15 0 4 0 1123357783 188772352 38748 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=184348 CPUtime=189.64
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 3933 0 0 0 14072 4892 0 0 16 0 4 0 1123357783 188772352 38748 1992294400 134512640 135180984 4294956208 18446744073709551615 134523716 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.66
Current children cumulated vsize (KiB) 184348
[startup+342.302 s]
/proc/loadavg: 2.43 1.97 1.43 3/68 15100
/proc/meminfo: memFree=1312768/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=227248 CPUtime=601.58
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 46481 0 0 0 37717 22441 0 0 18 0 4 0 1123357783 232701952 46466 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 56812 46466 70 163 0 56647 0
[pid=15094/tid=15095] ppid=15092 vsize=227248 CPUtime=138.24
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 34579 0 0 0 2953 10871 0 0 16 0 4 0 1123357783 232701952 46466 1992294400 134512640 135180984 4294956208 18446744073709551615 134579390 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=227248 CPUtime=232.11
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 6848 0 0 0 17497 5714 0 0 16 0 4 0 1123357783 232701952 46466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=227248 CPUtime=231.21
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 4971 0 0 0 17266 5855 0 0 15 0 4 0 1123357783 232701952 46466 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 601.58
Current children cumulated vsize (KiB) 227248
[startup+402.304 s]
/proc/loadavg: 2.34 2.02 1.48 3/68 15100
/proc/meminfo: memFree=1282624/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=258548 CPUtime=708.49
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 54081 0 0 0 44656 26193 0 0 18 0 4 0 1123357783 264753152 54066 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 64637 54066 70 163 0 64472 0
[pid=15094/tid=15095] ppid=15092 vsize=258548 CPUtime=161.55
/proc/15094/task/15095/stat : 15095 (satake) S 15092 15094 14965 0 -1 4194368 39674 0 0 0 3460 12695 0 0 15 0 4 0 1123357783 264753152 54066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=258548 CPUtime=274.14
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 8249 0 0 0 20744 6670 0 0 16 0 4 0 1123357783 264753152 54066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=258548 CPUtime=272.78
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 6075 0 0 0 20450 6828 0 0 15 0 4 0 1123357783 264753152 54066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 708.49
Current children cumulated vsize (KiB) 258548
[startup+462.302 s]
/proc/loadavg: 2.57 2.15 1.56 3/68 15100
/proc/meminfo: memFree=1251648/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=294308 CPUtime=815.54
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 61740 0 0 0 51634 29920 0 0 18 0 4 0 1123357783 301371392 61725 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 73577 61725 70 163 0 73412 0
[pid=15094/tid=15095] ppid=15092 vsize=294308 CPUtime=184.74
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 44834 0 0 0 3962 14512 0 0 16 0 4 0 1123357783 301371392 61725 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=294308 CPUtime=316.26
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 9671 0 0 0 24020 7606 0 0 16 0 4 0 1123357783 301371392 61725 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=294308 CPUtime=314.52
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 7152 0 0 0 23651 7801 0 0 15 0 4 0 1123357783 301371392 61725 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.54
Current children cumulated vsize (KiB) 294308
[startup+522.302 s]
/proc/loadavg: 2.66 2.24 1.62 4/68 15100
/proc/meminfo: memFree=1221184/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=328228 CPUtime=922.41
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 69411 0 0 0 58457 33784 0 0 18 0 4 0 1123357783 336105472 69396 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 82057 69396 70 163 0 81892 0
[pid=15094/tid=15095] ppid=15092 vsize=328228 CPUtime=208.53
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 49950 0 0 0 4465 16388 0 0 16 0 4 0 1123357783 336105472 69396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=328228 CPUtime=358.2
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 11029 0 0 0 27230 8590 0 0 15 0 4 0 1123357783 336105472 69396 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15094/tid=15097] ppid=15092 vsize=328228 CPUtime=355.66
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 8349 0 0 0 26761 8805 0 0 16 0 4 0 1123357783 336105472 69396 1992294400 134512640 135180984 4294956208 18446744073709551615 134526950 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.41
Current children cumulated vsize (KiB) 328228
[startup+582.302 s]
/proc/loadavg: 2.49 2.28 1.67 4/68 15100
/proc/meminfo: memFree=1189888/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=370540 CPUtime=1029.22
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 77139 0 0 0 65225 37697 0 0 18 0 4 0 1123357783 379432960 77124 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 92635 77124 70 163 0 92470 0
[pid=15094/tid=15095] ppid=15092 vsize=370540 CPUtime=232.66
/proc/15094/task/15095/stat : 15095 (satake) S 15092 15094 14965 0 -1 4194368 55130 0 0 0 4968 18298 0 0 15 0 4 0 1123357783 379432960 77124 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=370540 CPUtime=399.83
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 12397 0 0 0 30401 9582 0 0 16 0 4 0 1123357783 379432960 77124 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=370540 CPUtime=396.73
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 9529 0 0 0 29856 9817 0 0 15 0 4 0 1123357783 379432960 77124 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1029.22
Current children cumulated vsize (KiB) 370540
[startup+642.302 s]
/proc/loadavg: 2.51 2.32 1.72 4/68 15100
/proc/meminfo: memFree=1158528/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=407484 CPUtime=1136.01
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 84900 0 0 0 72018 41583 0 0 18 0 4 0 1123357783 417263616 84885 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 101871 84885 70 163 0 101706 0
[pid=15094/tid=15095] ppid=15092 vsize=407484 CPUtime=256.74
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 60213 0 0 0 5492 20182 0 0 16 0 4 0 1123357783 417263616 84885 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15094/tid=15096] ppid=15092 vsize=407484 CPUtime=441.53
/proc/15094/task/15096/stat : 15096 (satake) R 15092 15094 14965 0 -1 4194368 13905 0 0 0 33583 10570 0 0 16 0 4 0 1123357783 417263616 84885 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=407484 CPUtime=437.72
/proc/15094/task/15097/stat : 15097 (satake) S 15092 15094 14965 0 -1 4194368 10699 0 0 0 32942 10830 0 0 16 0 4 0 1123357783 417263616 84885 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1136.01
Current children cumulated vsize (KiB) 407484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+678.405 s]
/proc/loadavg: 2.46 2.33 1.75 3/68 15100
/proc/meminfo: memFree=1139776/2055920 swapFree=4175828/4192956
[pid=15094] ppid=15092 vsize=438948 CPUtime=1200.06
/proc/15094/stat : 15094 (satake) S 15092 15094 14965 0 -1 4194304 89573 0 0 0 76108 43898 0 0 18 0 4 0 1123357783 449482752 89558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 109737 89558 70 163 0 109572 0
[pid=15094/tid=15095] ppid=15092 vsize=438948 CPUtime=271.13
/proc/15094/task/15095/stat : 15095 (satake) R 15092 15094 14965 0 -1 4194368 63307 0 0 0 5808 21305 0 0 16 0 4 0 1123357783 449482752 89558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15094/tid=15096] ppid=15092 vsize=438948 CPUtime=466.5
/proc/15094/task/15096/stat : 15096 (satake) S 15092 15094 14965 0 -1 4194368 14825 0 0 0 35488 11162 0 0 15 0 4 0 1123357783 449482752 89558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=438948 CPUtime=462.42
/proc/15094/task/15097/stat : 15097 (satake) R 15092 15094 14965 0 -1 4194368 11358 0 0 0 34811 11431 0 0 16 0 4 0 1123357783 449482752 89558 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 438948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 678.479
CPU time (s): 1200.15
CPU user time (s): 761.093
CPU system time (s): 439.056
CPU usage (%): 176.888
Max. virtual memory (cumulated for all children) (KiB): 438948
deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 761.093
system time used= 439.056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89574
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= 17987889
involuntary context switches= 16535493
runsolver used 0.750885 second user time and 2.09868 second system time
The end
Begin job on node33 at 2009-03-31 15:42:08
IDJOB=1543719
IDBENCH=70560
IDSOLVER=553
FILE ID=node33/1543719-1238506928
PBS_JOBID= 9061969
Free space on /tmp= 66132 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/420/unif-k3-r4.25-v420-c1785-S565564805-059.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543719-1238506928/watcher-1543719-1238506928 -o /tmp/evaluation-result-1543719-1238506928/solver-1543719-1238506928 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543719-1238506928.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= cec2f389a8f4289974cef5cb69e9af70
RANDOM SEED=1109838668
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.266
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.266
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: 1499456 kB
Buffers: 85664 kB
Cached: 378192 kB
SwapCached: 10920 kB
Active: 266560 kB
Inactive: 209732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1499456 kB
SwapTotal: 4192956 kB
SwapFree: 4175828 kB
Dirty: 776 kB
Writeback: 0 kB
Mapped: 18168 kB
Slab: 66152 kB
Committed_AS: 3149128 kB
PageTables: 1400 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= 66132 MiB
End job on node33 at 2009-03-31 15:53:28