runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543586-1238493479/watcher-1543586-1238493479 -o /tmp/evaluation-result-1543586-1238493479/solver-1543586-1238493479 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543586-1238493479.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.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 287 123 68 163 0 122 0
[pid=24494/tid=24495] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 48 0 0 0 0 0 0 0 19 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528746 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=1148 CPUtime=0
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122013470 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0501239 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3196 CPUtime=0.07
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 208 0 0 0 4 3 0 0 18 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 799 193 70 163 0 634 0
[pid=24494/tid=24495] ppid=24492 vsize=3196 CPUtime=0.01
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 14 0 0 0 0 1 0 0 17 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3196 CPUtime=0.02
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 62 0 0 0 1 1 0 0 16 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3196 CPUtime=0.01
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 49 0 0 0 1 0 0 0 16 0 4 0 1122013470 3272704 193 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3196
[startup+0.101076 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3328 CPUtime=0.15
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 237 0 0 0 7 8 0 0 18 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 832 222 70 163 0 667 0
[pid=24494/tid=24495] ppid=24492 vsize=3328 CPUtime=0.05
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 24 0 0 0 1 4 0 0 17 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3328 CPUtime=0.05
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 72 0 0 0 3 2 0 0 16 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3328 CPUtime=0.04
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 58 0 0 0 2 2 0 0 17 0 4 0 1122013470 3407872 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 3328
[startup+0.302858 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3460 CPUtime=0.46
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 286 0 0 0 22 24 0 0 18 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 865 271 70 163 0 700 0
[pid=24494/tid=24495] ppid=24492 vsize=3460 CPUtime=0.16
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 47 0 0 0 3 13 0 0 17 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3460 CPUtime=0.14
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 87 0 0 0 9 5 0 0 16 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3460 CPUtime=0.15
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 69 0 0 0 9 6 0 0 16 0 4 0 1122013470 3543040 271 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3460
[startup+0.702896 s]
/proc/loadavg: 1.83 1.95 1.90 2/64 24494
/proc/meminfo: memFree=1091456/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=3728 CPUtime=1.1
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 372 0 0 0 53 57 0 0 18 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 932 357 70 163 0 767 0
[pid=24494/tid=24495] ppid=24492 vsize=3728 CPUtime=0.38
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 104 0 0 0 7 31 0 0 17 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=3728 CPUtime=0.35
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 107 0 0 0 22 13 0 0 17 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=3728 CPUtime=0.34
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 78 0 0 0 22 12 0 0 16 0 4 0 1122013470 3817472 357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 3728
[startup+1.50196 s]
/proc/loadavg: 1.83 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1089888/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=4392 CPUtime=2.37
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 544 0 0 0 113 124 0 0 18 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 1098 529 70 163 0 933 0
[pid=24494/tid=24495] ppid=24492 vsize=4392 CPUtime=0.78
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 226 0 0 0 14 64 0 0 15 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=4392 CPUtime=0.79
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 144 0 0 0 50 29 0 0 15 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=4392 CPUtime=0.78
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 91 0 0 0 48 30 0 0 16 0 4 0 1122013470 4497408 529 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 4392
[startup+3.10129 s]
/proc/loadavg: 1.83 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1088864/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=5696 CPUtime=4.96
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 852 0 0 0 241 255 0 0 18 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 1424 837 70 163 0 1259 0
[pid=24494/tid=24495] ppid=24492 vsize=5696 CPUtime=1.61
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 465 0 0 0 31 130 0 0 16 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=5696 CPUtime=1.67
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 197 0 0 0 106 61 0 0 16 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=5696 CPUtime=1.65
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 107 0 0 0 103 62 0 0 16 0 4 0 1122013470 5832704 837 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 5696
[startup+6.30237 s]
/proc/loadavg: 1.92 1.97 1.90 3/68 24498
/proc/meminfo: memFree=1086368/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=8220 CPUtime=10.17
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 1450 0 0 0 501 516 0 0 18 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 2055 1435 70 163 0 1890 0
[pid=24494/tid=24495] ppid=24492 vsize=8220 CPUtime=3.22
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 963 0 0 0 63 259 0 0 15 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=8220 CPUtime=3.5
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 277 0 0 0 224 126 0 0 16 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=8220 CPUtime=3.43
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 127 0 0 0 213 130 0 0 16 0 4 0 1122013470 8417280 1435 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 8220
[startup+12.7019 s]
/proc/loadavg: 1.85 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1081760/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=13048 CPUtime=20.66
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 2516 0 0 0 1024 1042 0 0 18 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 3262 2501 70 163 0 3097 0
[pid=24494/tid=24495] ppid=24492 vsize=13048 CPUtime=6.41
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 1882 0 0 0 124 517 0 0 15 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=13048 CPUtime=7.14
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 398 0 0 0 455 259 0 0 16 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=13048 CPUtime=7.09
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 153 0 0 0 444 265 0 0 16 0 4 0 1122013470 13361152 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.66
Current children cumulated vsize (KiB) 13048
[startup+25.5025 s]
/proc/loadavg: 1.88 1.95 1.90 3/68 24498
/proc/meminfo: memFree=1073184/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=22020 CPUtime=41.76
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 4586 0 0 0 2082 2094 0 0 18 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 5505 4571 70 163 0 5340 0
[pid=24494/tid=24495] ppid=24492 vsize=22020 CPUtime=12.87
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 3560 0 0 0 256 1031 0 0 15 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=22020 CPUtime=14.47
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 757 0 0 0 917 530 0 0 15 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=22020 CPUtime=14.39
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 186 0 0 0 907 532 0 0 15 0 4 0 1122013470 22548480 4571 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.76
Current children cumulated vsize (KiB) 22020
[startup+51.1022 s]
/proc/loadavg: 1.79 1.92 1.89 3/68 24498
/proc/meminfo: memFree=1057376/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=42612 CPUtime=84.43
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 8611 0 0 0 4282 4161 0 0 18 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 10653 8596 70 163 0 10488 0
[pid=24494/tid=24495] ppid=24492 vsize=42612 CPUtime=25.45
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 6751 0 0 0 514 2031 0 0 15 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=42612 CPUtime=29.53
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 1486 0 0 0 1890 1063 0 0 16 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=42612 CPUtime=29.42
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 291 0 0 0 1876 1066 0 0 16 0 4 0 1122013470 43634688 8596 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 84.43
Current children cumulated vsize (KiB) 42612
[startup+102.307 s]
/proc/loadavg: 2.10 1.98 1.91 2/68 24498
/proc/meminfo: memFree=1025632/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=79788 CPUtime=170.27
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 16448 0 0 0 8767 8260 0 0 18 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 19947 16433 70 163 0 19782 0
[pid=24494/tid=24495] ppid=24492 vsize=79788 CPUtime=50.42
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 12948 0 0 0 1009 4033 0 0 16 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=79788 CPUtime=59.61
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 2874 0 0 0 3863 2098 0 0 16 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=79788 CPUtime=60.21
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 543 0 0 0 3894 2127 0 0 16 0 4 0 1122013470 81702912 16433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.27
Current children cumulated vsize (KiB) 79788
[startup+162.304 s]
/proc/loadavg: 1.98 1.97 1.91 2/68 24498
/proc/meminfo: memFree=990048/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=124092 CPUtime=271.64
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 25369 0 0 0 14174 12990 0 0 18 0 4 0 1122013470 127070208 25354 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 31023 25354 70 163 0 30858 0
[pid=24494/tid=24495] ppid=24492 vsize=124092 CPUtime=79.48
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 20290 0 0 0 1607 6341 0 0 16 0 4 0 1122013470 127070208 25354 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=124092 CPUtime=95.69
################
# More data... #
################
Current children cumulated vsize (KiB) 124092
[startup+222.301 s]
/proc/loadavg: 1.98 1.98 1.91 3/68 24504
/proc/meminfo: memFree=953888/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=165420 CPUtime=373.19
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 34289 0 0 0 19663 17656 0 0 18 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 41355 34274 70 163 0 41190 0
[pid=24494/tid=24495] ppid=24492 vsize=165420 CPUtime=108.07
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 27701 0 0 0 2196 8611 0 0 15 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=165420 CPUtime=132.33
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 5102 0 0 0 8732 4501 0 0 16 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=165420 CPUtime=132.76
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 1403 0 0 0 8734 4542 0 0 16 0 4 0 1122013470 169390080 34274 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 373.19
Current children cumulated vsize (KiB) 165420
[startup+282.301 s]
/proc/loadavg: 2.18 2.04 1.94 3/68 24504
/proc/meminfo: memFree=918496/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=208976 CPUtime=475.01
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 43200 0 0 0 25169 22332 0 0 18 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 52244 43185 70 163 0 52079 0
[pid=24494/tid=24495] ppid=24492 vsize=208976 CPUtime=136.69
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 34964 0 0 0 2777 10892 0 0 15 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=208976 CPUtime=168.9
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6372 0 0 0 11189 5701 0 0 15 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=208976 CPUtime=169.4
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 1781 0 0 0 11201 5739 0 0 16 0 4 0 1122013470 213991424 43185 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 475.01
Current children cumulated vsize (KiB) 208976
[startup+342.302 s]
/proc/loadavg: 2.14 2.06 1.95 2/68 24504
/proc/meminfo: memFree=882464/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=252532 CPUtime=577.12
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 52118 0 0 0 30724 26988 0 0 18 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 63133 52103 70 163 0 62968 0
[pid=24494/tid=24495] ppid=24492 vsize=252532 CPUtime=165.12
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 42641 0 0 0 3367 13145 0 0 16 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=252532 CPUtime=205.76
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6926 0 0 0 13683 6893 0 0 16 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=252532 CPUtime=206.21
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2468 0 0 0 13673 6948 0 0 16 0 4 0 1122013470 258592768 52103 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.12
Current children cumulated vsize (KiB) 252532
[startup+402.303 s]
/proc/loadavg: 2.38 2.13 1.97 4/68 24504
/proc/meminfo: memFree=847648/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=294700 CPUtime=679.9
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 60871 0 0 0 36418 31572 0 0 18 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 73675 60856 70 163 0 73510 0
[pid=24494/tid=24495] ppid=24492 vsize=294700 CPUtime=193
/proc/24494/task/24495/stat : 24495 (satake) S 24492 24494 24426 0 -1 4194368 51354 0 0 0 3940 15360 0 0 15 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=294700 CPUtime=243.16
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6939 0 0 0 16248 8068 0 0 16 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=294700 CPUtime=243.73
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2495 0 0 0 16230 8143 0 0 16 0 4 0 1122013470 301772800 60856 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 679.9
Current children cumulated vsize (KiB) 294700
[startup+462.303 s]
/proc/loadavg: 2.20 2.13 1.98 2/68 24504
/proc/meminfo: memFree=812448/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=340492 CPUtime=782.8
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 69587 0 0 0 42166 36114 0 0 18 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 85123 69572 70 163 0 84958 0
[pid=24494/tid=24495] ppid=24492 vsize=340492 CPUtime=220.86
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 60049 0 0 0 4529 17557 0 0 16 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24496] ppid=24492 vsize=340492 CPUtime=280.79
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 6944 0 0 0 18855 9224 0 0 15 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=340492 CPUtime=281.13
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2511 0 0 0 18781 9332 0 0 16 0 4 0 1122013470 348663808 69572 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 782.8
Current children cumulated vsize (KiB) 340492
[startup+522.302 s]
/proc/loadavg: 2.27 2.15 2.00 3/68 24504
/proc/meminfo: memFree=777696/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=370408 CPUtime=885.96
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 78333 0 0 0 47902 40694 0 0 18 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 92602 78318 70 163 0 92437 0
[pid=24494/tid=24495] ppid=24492 vsize=370408 CPUtime=248.82
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 68501 0 0 0 5105 19777 0 0 16 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=370408 CPUtime=318.31
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7224 0 0 0 21432 10399 0 0 17 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=370408 CPUtime=318.81
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2525 0 0 0 21364 10517 0 0 16 0 4 0 1122013470 379297792 78318 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 885.96
Current children cumulated vsize (KiB) 370408
[startup+582.301 s]
/proc/loadavg: 2.58 2.25 2.04 3/68 24504
/proc/meminfo: memFree=742432/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=417320 CPUtime=989.13
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 87058 0 0 0 53688 45225 0 0 18 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 104330 87043 70 163 0 104165 0
[pid=24494/tid=24495] ppid=24492 vsize=417320 CPUtime=276.58
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 77219 0 0 0 5692 21966 0 0 15 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=417320 CPUtime=356.02
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7228 0 0 0 24026 11576 0 0 16 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24494/tid=24497] ppid=24492 vsize=417320 CPUtime=356.51
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2528 0 0 0 23969 11682 0 0 15 0 4 0 1122013470 427335680 87043 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 989.13
Current children cumulated vsize (KiB) 417320
[startup+642.302 s]
/proc/loadavg: 2.36 2.23 2.04 3/68 24504
/proc/meminfo: memFree=707360/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=467788 CPUtime=1092.03
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 95737 0 0 0 59419 49784 0 0 18 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 116947 95722 70 163 0 116782 0
[pid=24494/tid=24495] ppid=24492 vsize=467788 CPUtime=304.41
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 85885 0 0 0 6270 24171 0 0 16 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=467788 CPUtime=392.91
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7236 0 0 0 26548 12743 0 0 15 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=467788 CPUtime=394.69
/proc/24494/task/24497/stat : 24497 (satake) S 24492 24494 24426 0 -1 4194368 2533 0 0 0 26600 12869 0 0 16 0 4 0 1122013470 479014912 95722 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1092.03
Current children cumulated vsize (KiB) 467788
[startup+702.301 s]
/proc/loadavg: 2.35 2.25 2.06 4/68 24504
/proc/meminfo: memFree=673056/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=502220 CPUtime=1195.15
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 104383 0 0 0 65252 54263 0 0 18 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 125555 104368 70 163 0 125390 0
[pid=24494/tid=24495] ppid=24492 vsize=502220 CPUtime=331.89
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 94521 0 0 0 6836 26353 0 0 16 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=502220 CPUtime=430.56
/proc/24494/task/24496/stat : 24496 (satake) R 24492 24494 24426 0 -1 4194368 7246 0 0 0 29174 13882 0 0 15 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=502220 CPUtime=432.67
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2533 0 0 0 29241 14026 0 0 16 0 4 0 1122013470 514273280 104368 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1195.15
Current children cumulated vsize (KiB) 502220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+705.205 s]
/proc/loadavg: 2.32 2.24 2.06 4/68 24504
/proc/meminfo: memFree=671008/2055920 swapFree=4167280/4192956
[pid=24494] ppid=24492 vsize=505964 CPUtime=1200.12
/proc/24494/stat : 24494 (satake) S 24492 24494 24426 0 -1 4194304 104807 0 0 0 65531 54481 0 0 18 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24494/statm: 126491 104792 70 163 0 126326 0
[pid=24494/tid=24495] ppid=24492 vsize=505964 CPUtime=333.24
/proc/24494/task/24495/stat : 24495 (satake) R 24492 24494 24426 0 -1 4194368 94945 0 0 0 6862 26462 0 0 16 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24494/tid=24496] ppid=24492 vsize=505964 CPUtime=432.44
/proc/24494/task/24496/stat : 24496 (satake) S 24492 24494 24426 0 -1 4194368 7246 0 0 0 29306 13938 0 0 15 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=505964 CPUtime=434.41
/proc/24494/task/24497/stat : 24497 (satake) R 24492 24494 24426 0 -1 4194368 2533 0 0 0 29362 14079 0 0 15 0 4 0 1122013470 518107136 104792 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 505964
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): 705.297
CPU time (s): 1200.22
CPU user time (s): 655.326
CPU system time (s): 544.895
CPU usage (%): 170.173
Max. virtual memory (cumulated for all children) (KiB): 505964
deleting IPC queue 1048576
deleting IPC queue 1081345
deleting IPC queue 1114114
deleting IPC queue 1146883
deleting IPC queue 1179652
deleting IPC queue 1212421
deleting IPC queue 1245190
deleting IPC queue 1277959
deleting IPC queue 1310728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 655.326
system time used= 544.895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104808
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= 21700991
involuntary context switches= 19828512
runsolver used 0.800878 second user time and 2.22166 second system time
The end
Begin job on node31 at 2009-03-31 11:57:59
IDJOB=1543586
IDBENCH=70427
IDSOLVER=553
FILE ID=node31/1543586-1238493479
PBS_JOBID= 9061918
Free space on /tmp= 66424 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/90/unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543586-1238493479/watcher-1543586-1238493479 -o /tmp/evaluation-result-1543586-1238493479/solver-1543586-1238493479 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543586-1238493479.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= 58887e5330b5ce04c1b9dbb757401af0
RANDOM SEED=665325959
node31.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.214
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.214
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: 1091872 kB
Buffers: 117656 kB
Cached: 731096 kB
SwapCached: 18724 kB
Active: 162260 kB
Inactive: 706664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1091872 kB
SwapTotal: 4192956 kB
SwapFree: 4167280 kB
Dirty: 792 kB
Writeback: 0 kB
Mapped: 17412 kB
Slab: 80888 kB
Committed_AS: 3100772 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66424 MiB
End job on node31 at 2009-03-31 12:09:46