runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543771-1238548624/watcher-1543771-1238548624 -o /tmp/evaluation-result-1543771-1238548624/solver-1543771-1238548624 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543771-1238548624.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 2/73 19176
/proc/meminfo: memFree=1657832/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=1148 CPUtime=0
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 4 0 1127526962 1175552 125 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 287 125 67 163 0 122 0
[pid=19176/tid=19177] ppid=19174 vsize=1148 CPUtime=0
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 5 0 0 0 0 0 0 0 19 0 4 0 1127526962 1175552 125 1992294400 134512640 135180984 4294956208 18446744073709551615 134693905 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=1148 CPUtime=0
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 4 0 1127526962 1175552 125 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=1148 CPUtime=0
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1127526962 1175552 125 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.05694 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 19176
/proc/meminfo: memFree=1657832/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=2408 CPUtime=0.08
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 222 0 0 0 4 4 0 0 18 0 4 0 1127526962 2465792 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 602 207 70 163 0 437 0
[pid=19176/tid=19177] ppid=19174 vsize=2408 CPUtime=0.02
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 19 0 0 0 0 2 0 0 17 0 4 0 1127526962 2465792 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=2408 CPUtime=0.02
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 63 0 0 0 1 1 0 0 16 0 4 0 1127526962 2465792 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2408 CPUtime=0.02
/proc/19176/task/19179/stat : 19179 (satake) S 19174 19176 19015 0 -1 4194368 57 0 0 0 1 1 0 0 17 0 4 0 1127526962 2465792 207 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2408
[startup+0.103798 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 19176
/proc/meminfo: memFree=1657832/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=2408 CPUtime=0.15
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 251 0 0 0 8 7 0 0 18 0 4 0 1127526962 2465792 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 602 236 70 163 0 437 0
[pid=19176/tid=19177] ppid=19174 vsize=2408 CPUtime=0.04
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 25 0 0 0 0 4 0 0 17 0 4 0 1127526962 2465792 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=2408 CPUtime=0.05
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 76 0 0 0 4 1 0 0 16 0 4 0 1127526962 2465792 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2408 CPUtime=0.04
/proc/19176/task/19179/stat : 19179 (satake) S 19174 19176 19015 0 -1 4194368 67 0 0 0 3 1 0 0 16 0 4 0 1127526962 2465792 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2408
[startup+0.301819 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 19176
/proc/meminfo: memFree=1657832/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=2540 CPUtime=0.46
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 301 0 0 0 25 21 0 0 18 0 4 0 1127526962 2600960 286 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 635 286 70 163 0 470 0
[pid=19176/tid=19177] ppid=19174 vsize=2540 CPUtime=0.13
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 46 0 0 0 2 11 0 0 18 0 4 0 1127526962 2600960 286 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=2540 CPUtime=0.14
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 87 0 0 0 11 3 0 0 16 0 4 0 1127526962 2600960 286 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2540 CPUtime=0.16
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 85 0 0 0 11 5 0 0 16 0 4 0 1127526962 2600960 286 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2540
[startup+0.701866 s]
/proc/loadavg: 1.00 1.00 1.00 2/73 19176
/proc/meminfo: memFree=1657832/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=2672 CPUtime=1.1
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 388 0 0 0 65 45 0 0 18 0 4 0 1127526962 2736128 373 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 668 373 70 163 0 503 0
[pid=19176/tid=19177] ppid=19174 vsize=2672 CPUtime=0.3
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 88 0 0 0 6 24 0 0 18 0 4 0 1127526962 2736128 373 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=2672 CPUtime=0.39
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 99 0 0 0 29 10 0 0 16 0 4 0 1127526962 2736128 373 1992294400 134512640 135180984 4294956208 18446744073709551615 134526456 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2672 CPUtime=0.4
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 118 0 0 0 29 11 0 0 17 0 4 0 1127526962 2736128 373 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 2672
[startup+1.5021 s]
/proc/loadavg: 1.16 1.03 1.01 4/77 19180
/proc/meminfo: memFree=1656264/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=2820 CPUtime=2.42
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 548 0 0 0 146 96 0 0 18 0 4 0 1127526962 2887680 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 705 533 70 163 0 540 0
[pid=19176/tid=19177] ppid=19174 vsize=2820 CPUtime=0.64
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 179 0 0 0 13 51 0 0 18 0 4 0 1127526962 2887680 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=2820 CPUtime=0.87
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 113 0 0 0 66 21 0 0 17 0 4 0 1127526962 2887680 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=2820 CPUtime=0.89
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 173 0 0 0 66 23 0 0 16 0 4 0 1127526962 2887680 533 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 2820
[startup+3.1023 s]
/proc/loadavg: 1.16 1.03 1.01 4/77 19180
/proc/meminfo: memFree=1655240/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=4136 CPUtime=5.04
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 824 0 0 0 309 195 0 0 18 0 4 0 1127526962 4235264 809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 1034 809 70 163 0 869 0
[pid=19176/tid=19177] ppid=19174 vsize=4136 CPUtime=1.34
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 379 0 0 0 28 106 0 0 18 0 4 0 1127526962 4235264 809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=4136 CPUtime=1.83
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 133 0 0 0 139 44 0 0 17 0 4 0 1127526962 4235264 809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=4136 CPUtime=1.84
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 229 0 0 0 140 44 0 0 17 0 4 0 1127526962 4235264 809 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 4136
[startup+6.30166 s]
/proc/loadavg: 1.15 1.03 1.01 4/77 19180
/proc/meminfo: memFree=1653000/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=6612 CPUtime=10.39
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 1322 0 0 0 658 381 0 0 18 0 4 0 1127526962 6770688 1307 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 1653 1307 70 163 0 1488 0
[pid=19176/tid=19177] ppid=19174 vsize=6612 CPUtime=2.62
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 736 0 0 0 56 206 0 0 17 0 4 0 1127526962 6770688 1307 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=6612 CPUtime=3.82
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 175 0 0 0 297 85 0 0 15 0 4 0 1127526962 6770688 1307 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=6612 CPUtime=3.92
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 328 0 0 0 304 88 0 0 16 0 4 0 1127526962 6770688 1307 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 6612
[startup+12.7023 s]
/proc/loadavg: 1.29 1.06 1.02 3/77 19180
/proc/meminfo: memFree=1649032/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=10684 CPUtime=21.2
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 2276 0 0 0 1361 759 0 0 18 0 4 0 1127526962 10940416 2261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 2671 2261 70 163 0 2506 0
[pid=19176/tid=19177] ppid=19174 vsize=10684 CPUtime=5.19
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 1460 0 0 0 109 410 0 0 18 0 4 0 1127526962 10940416 2261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=10684 CPUtime=7.89
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 254 0 0 0 619 170 0 0 15 0 4 0 1127526962 10940416 2261 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=10684 CPUtime=8.09
/proc/19176/task/19179/stat : 19179 (satake) S 19174 19176 19015 0 -1 4194368 479 0 0 0 631 178 0 0 15 0 4 0 1127526962 10940416 2261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.2
Current children cumulated vsize (KiB) 10684
[startup+25.5017 s]
/proc/loadavg: 1.40 1.09 1.03 3/77 19180
/proc/meminfo: memFree=1641480/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=19200 CPUtime=42.98
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 4117 0 0 0 2754 1544 0 0 18 0 4 0 1127526962 19660800 4102 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 4800 4102 70 163 0 4635 0
[pid=19176/tid=19177] ppid=19174 vsize=19200 CPUtime=10.4
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 2906 0 0 0 215 825 0 0 16 0 4 0 1127526962 19660800 4102 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=19200 CPUtime=16.15
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 424 0 0 0 1259 356 0 0 15 0 4 0 1127526962 19660800 4102 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=19200 CPUtime=16.42
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 704 0 0 0 1280 362 0 0 16 0 4 0 1127526962 19660800 4102 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.98
Current children cumulated vsize (KiB) 19200
[startup+51.1017 s]
/proc/loadavg: 1.75 1.21 1.07 4/77 19180
/proc/meminfo: memFree=1627912/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=35540 CPUtime=88.02
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 7544 0 0 0 5829 2973 0 0 18 0 4 0 1127526962 36392960 7529 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 8885 7529 70 163 0 8720 0
[pid=19176/tid=19177] ppid=19174 vsize=35540 CPUtime=19.29
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 5688 0 0 0 410 1519 0 0 16 0 4 0 1127526962 36392960 7529 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=35540 CPUtime=34.26
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 668 0 0 0 2706 720 0 0 15 0 4 0 1127526962 36392960 7529 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=35540 CPUtime=34.43
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 1105 0 0 0 2711 732 0 0 15 0 4 0 1127526962 36392960 7529 1992294400 134512640 135180984 4294956208 18446744073709551615 134520907 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.02
Current children cumulated vsize (KiB) 35540
[startup+102.307 s]
/proc/loadavg: 2.14 1.41 1.14 3/77 19180
/proc/meminfo: memFree=1601800/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=65300 CPUtime=179.14
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 13944 0 0 0 12083 5831 0 0 18 0 4 0 1127526962 66867200 13929 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 16325 13929 70 163 0 16160 0
[pid=19176/tid=19177] ppid=19174 vsize=65300 CPUtime=36.99
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 10636 0 0 0 794 2905 0 0 16 0 4 0 1127526962 66867200 13929 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=65300 CPUtime=70.7
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 1281 0 0 0 5616 1454 0 0 15 0 4 0 1127526962 66867200 13929 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=65300 CPUtime=71.43
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 1944 0 0 0 5672 1471 0 0 16 0 4 0 1127526962 66867200 13929 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 65300
[startup+162.302 s]
/proc/loadavg: 2.45 1.61 1.22 3/77 19180
/proc/meminfo: memFree=1571656/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=99484 CPUtime=285.86
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 21525 0 0 0 19324 9262 0 0 18 0 4 0 1127526962 101871616 21510 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 24871 21510 70 163 0 24706 0
[pid=19176/tid=19177] ppid=19174 vsize=99484 CPUtime=58.19
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 16461 0 0 0 1248 4571 0 0 16 0 4 0 1127526962 101871616 21510 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=99484 CPUtime=112.78
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 2061 0 0 0 8943 2335 0 0 15 0 4 0 1127526962 101871616 21510 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=99484 CPUtime=114.89
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 2920 0 0 0 9133 2356 0 0 16 0 4 0 1127526962 101871616 21510 1992294400 134512640 135180984 4294956208 18446744073709551615 134532498 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 285.86
Current children cumulated vsize (KiB) 99484
[startup+222.306 s]
/proc/loadavg: 2.30 1.73 1.29 4/77 19180
/proc/meminfo: memFree=1540872/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=137620 CPUtime=392.99
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 29163 0 0 0 26557 12742 0 0 18 0 4 0 1127526962 140922880 29148 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 34405 29148 70 163 0 34240 0
[pid=19176/tid=19177] ppid=19174 vsize=137620 CPUtime=79.83
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 22282 0 0 0 1727 6256 0 0 16 0 4 0 1127526962 140922880 29148 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=137620 CPUtime=154.83
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 3043 0 0 0 12257 3226 0 0 16 0 4 0 1127526962 140922880 29148 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=137620 CPUtime=158.31
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 3755 0 0 0 12572 3259 0 0 15 0 4 0 1127526962 140922880 29148 1992294400 134512640 135180984 4294956208 18446744073709551615 134532417 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 392.99
Current children cumulated vsize (KiB) 137620
[startup+282.301 s]
/proc/loadavg: 2.34 1.84 1.35 3/77 19180
/proc/meminfo: memFree=1509576/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=174600 CPUtime=499.29
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 37014 0 0 0 33525 16404 0 0 18 0 4 0 1127526962 178790400 36999 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 43650 36999 70 163 0 43485 0
[pid=19176/tid=19177] ppid=19174 vsize=174600 CPUtime=102.43
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 27998 0 0 0 2213 8030 0 0 16 0 4 0 1127526962 178790400 36999 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=174600 CPUtime=196.05
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 4209 0 0 0 15444 4161 0 0 16 0 4 0 1127526962 178790400 36999 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=174600 CPUtime=200.79
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 4724 0 0 0 15867 4212 0 0 15 0 4 0 1127526962 178790400 36999 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 499.29
Current children cumulated vsize (KiB) 174600
[startup+342.302 s]
/proc/loadavg: 2.32 1.93 1.41 4/77 19180
/proc/meminfo: memFree=1478216/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=218676 CPUtime=605.75
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 44802 0 0 0 40528 20047 0 0 18 0 4 0 1127526962 223924224 44787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 54669 44787 70 163 0 54504 0
[pid=19176/tid=19177] ppid=19174 vsize=218676 CPUtime=124.85
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 33739 0 0 0 2681 9804 0 0 16 0 4 0 1127526962 223924224 44787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=218676 CPUtime=237.74
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 4860 0 0 0 18684 5090 0 0 15 0 4 0 1127526962 223924224 44787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=218676 CPUtime=243.15
/proc/19176/task/19179/stat : 19179 (satake) S 19174 19176 19015 0 -1 4194368 6120 0 0 0 19163 5152 0 0 16 0 4 0 1127526962 223924224 44787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 605.75
Current children cumulated vsize (KiB) 218676
[startup+402.302 s]
/proc/loadavg: 2.32 2.00 1.47 3/77 19180
/proc/meminfo: memFree=1447880/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=251672 CPUtime=712.62
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 52404 0 0 0 47690 23572 0 0 18 0 4 0 1127526962 257712128 52389 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 62918 52389 70 163 0 62753 0
[pid=19176/tid=19177] ppid=19174 vsize=251672 CPUtime=146.66
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 39046 0 0 0 3165 11501 0 0 15 0 4 0 1127526962 257712128 52389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=251672 CPUtime=279.83
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 5889 0 0 0 21990 5993 0 0 15 0 4 0 1127526962 257712128 52389 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=251672 CPUtime=286.11
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 7386 0 0 0 22534 6077 0 0 16 0 4 0 1127526962 257712128 52389 1992294400 134512640 135180984 4294956208 18446744073709551615 134519907 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 712.62
Current children cumulated vsize (KiB) 251672
[startup+462.301 s]
/proc/loadavg: 2.42 2.09 1.53 4/77 19180
/proc/meminfo: memFree=1417416/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=283664 CPUtime=819.95
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 59936 0 0 0 54920 27075 0 0 18 0 4 0 1127526962 290471936 59921 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 70916 59921 70 163 0 70751 0
[pid=19176/tid=19177] ppid=19174 vsize=283664 CPUtime=168.44
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 44334 0 0 0 3638 13206 0 0 15 0 4 0 1127526962 290471936 59921 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=283664 CPUtime=322.56
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 6777 0 0 0 25366 6890 0 0 16 0 4 0 1127526962 290471936 59921 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=283664 CPUtime=328.93
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 8742 0 0 0 25915 6978 0 0 15 0 4 0 1127526962 290471936 59921 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 819.95
Current children cumulated vsize (KiB) 283664
[startup+522.301 s]
/proc/loadavg: 2.76 2.24 1.61 3/77 19180
/proc/meminfo: memFree=1387144/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=322356 CPUtime=927.27
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 67569 0 0 0 62103 30624 0 0 18 0 4 0 1127526962 330092544 67554 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 80589 67554 70 163 0 80424 0
[pid=19176/tid=19177] ppid=19174 vsize=322356 CPUtime=190.28
/proc/19176/task/19177/stat : 19177 (satake) S 19174 19176 19015 0 -1 4194368 49400 0 0 0 4109 14919 0 0 15 0 4 0 1127526962 330092544 67554 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=322356 CPUtime=365.12
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 8054 0 0 0 28703 7809 0 0 16 0 4 0 1127526962 330092544 67554 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19179] ppid=19174 vsize=322356 CPUtime=371.85
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 10032 0 0 0 29289 7896 0 0 17 0 4 0 1127526962 330092544 67554 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 927.27
Current children cumulated vsize (KiB) 322356
[startup+582.302 s]
/proc/loadavg: 2.60 2.28 1.66 3/77 19180
/proc/meminfo: memFree=1356488/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=357988 CPUtime=1034.42
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 75190 0 0 0 69252 34190 0 0 18 0 4 0 1127526962 366579712 75175 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 89497 75175 70 163 0 89332 0
[pid=19176/tid=19177] ppid=19174 vsize=357988 CPUtime=212.34
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 54426 0 0 0 4600 16634 0 0 16 0 4 0 1127526962 366579712 75175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19178] ppid=19174 vsize=357988 CPUtime=407.45
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 9205 0 0 0 32009 8736 0 0 15 0 4 0 1127526962 366579712 75175 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=357988 CPUtime=414.62
/proc/19176/task/19179/stat : 19179 (satake) S 19174 19176 19015 0 -1 4194368 11476 0 0 0 32643 8819 0 0 16 0 4 0 1127526962 366579712 75175 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1034.42
Current children cumulated vsize (KiB) 357988
[startup+642.31 s]
/proc/loadavg: 2.56 2.32 1.71 3/77 19180
/proc/meminfo: memFree=1325256/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=394860 CPUtime=1141.47
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 82875 0 0 0 76288 37859 0 0 18 0 4 0 1127526962 404336640 82860 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 98715 82860 70 163 0 98550 0
[pid=19176/tid=19177] ppid=19174 vsize=394860 CPUtime=235.05
/proc/19176/task/19177/stat : 19177 (satake) S 19174 19176 19015 0 -1 4194368 59728 0 0 0 5099 18406 0 0 15 0 4 0 1127526962 404336640 82860 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=394860 CPUtime=449.39
/proc/19176/task/19178/stat : 19178 (satake) R 19174 19176 19015 0 -1 4194368 10429 0 0 0 35257 9682 0 0 16 0 4 0 1127526962 404336640 82860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=394860 CPUtime=457.01
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 12635 0 0 0 35931 9770 0 0 16 0 4 0 1127526962 404336640 82860 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1141.47
Current children cumulated vsize (KiB) 394860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+674.601 s]
/proc/loadavg: 2.61 2.35 1.74 3/77 19180
/proc/meminfo: memFree=1309896/2055920 swapFree=4175504/4192956
[pid=19176] ppid=19174 vsize=423500 CPUtime=1200.12
/proc/19176/stat : 19176 (satake) S 19174 19176 19015 0 -1 4194304 86688 0 0 0 80349 39663 0 0 18 0 4 0 1127526962 433664000 86673 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19176/statm: 105875 86673 70 163 0 105710 0
[pid=19176/tid=19177] ppid=19174 vsize=423500 CPUtime=246.18
/proc/19176/task/19177/stat : 19177 (satake) R 19174 19176 19015 0 -1 4194368 62157 0 0 0 5339 19279 0 0 16 0 4 0 1127526962 433664000 86673 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19176/tid=19178] ppid=19174 vsize=423500 CPUtime=472.95
/proc/19176/task/19178/stat : 19178 (satake) S 19174 19176 19015 0 -1 4194368 11156 0 0 0 37153 10142 0 0 15 0 4 0 1127526962 433664000 86673 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=423500 CPUtime=480.98
/proc/19176/task/19179/stat : 19179 (satake) R 19174 19176 19015 0 -1 4194368 13292 0 0 0 37856 10242 0 0 16 0 4 0 1127526962 433664000 86673 1992294400 134512640 135180984 4294956208 18446744073709551615 134523644 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 423500
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): 674.673
CPU time (s): 1200.21
CPU user time (s): 803.511
CPU system time (s): 396.699
CPU usage (%): 177.895
Max. virtual memory (cumulated for all children) (KiB): 423500
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= 803.511
system time used= 396.699
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86688
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= 17705604
involuntary context switches= 16813038
runsolver used 1.02784 second user time and 2.30565 second system time
The end
Begin job on node77 at 2009-04-01 03:17:04
IDJOB=1543771
IDBENCH=70612
IDSOLVER=553
FILE ID=node77/1543771-1238548624
PBS_JOBID= 9062104
Free space on /tmp= 66552 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/480/unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543771-1238548624/watcher-1543771-1238548624 -o /tmp/evaluation-result-1543771-1238548624/solver-1543771-1238548624 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543771-1238548624.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= ce31bd93f3110b9fcfa2521eb95c9c79
RANDOM SEED=462759060
node77.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.230
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.230
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1658248 kB
Buffers: 78676 kB
Cached: 229656 kB
SwapCached: 9160 kB
Active: 187036 kB
Inactive: 134516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658248 kB
SwapTotal: 4192956 kB
SwapFree: 4175504 kB
Dirty: 780 kB
Writeback: 0 kB
Mapped: 17544 kB
Slab: 61228 kB
Committed_AS: 2788060 kB
PageTables: 1984 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= 66552 MiB
End job on node77 at 2009-04-01 03:28:21