runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543608-1238493583/watcher-1543608-1238493583 -o /tmp/evaluation-result-1543608-1238493583/solver-1543608-1238493583 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543608-1238493583.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.82 1.53 3/64 15216
/proc/meminfo: memFree=1490960/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=1148 CPUtime=0
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 4 0 1122024663 1175552 134 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 287 134 68 163 0 122 0
[pid=15216/tid=15217] ppid=15214 vsize=1148 CPUtime=0
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122024663 1175552 134 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=1148 CPUtime=0
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 59 0 0 0 0 0 0 0 19 0 4 0 1122024663 1175552 134 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=1148 CPUtime=0
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122024663 1175552 134 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.038072 s]
/proc/loadavg: 1.83 1.82 1.53 3/64 15216
/proc/meminfo: memFree=1490960/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=3196 CPUtime=0.04
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 218 0 0 0 3 1 0 0 18 0 4 0 1122024663 3272704 203 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 799 204 70 163 0 634 0
[pid=15216/tid=15217] ppid=15214 vsize=3196 CPUtime=0
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 15 0 0 0 0 0 0 0 16 0 4 0 1122024663 3272704 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=3196 CPUtime=0.02
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 68 0 0 0 2 0 0 0 17 0 4 0 1122024663 3272704 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=3196 CPUtime=0.01
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 53 0 0 0 1 0 0 0 17 0 4 0 1122024663 3272704 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3196
[startup+0.10494 s]
/proc/loadavg: 1.83 1.82 1.53 3/64 15216
/proc/meminfo: memFree=1490960/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=3328 CPUtime=0.15
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 271 0 0 0 9 6 0 0 18 0 4 0 1122024663 3407872 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 832 256 70 163 0 667 0
[pid=15216/tid=15217] ppid=15214 vsize=3328 CPUtime=0.02
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 24 0 0 0 0 2 0 0 17 0 4 0 1122024663 3407872 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=3328 CPUtime=0.06
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 89 0 0 0 5 1 0 0 16 0 4 0 1122024663 3407872 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=3328 CPUtime=0.04
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 75 0 0 0 3 1 0 0 17 0 4 0 1122024663 3407872 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 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.301104 s]
/proc/loadavg: 1.83 1.82 1.53 3/64 15216
/proc/meminfo: memFree=1490960/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=3460 CPUtime=0.46
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 337 0 0 0 30 16 0 0 18 0 4 0 1122024663 3543040 322 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 865 322 70 163 0 700 0
[pid=15216/tid=15217] ppid=15214 vsize=3460 CPUtime=0.08
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 49 0 0 0 1 7 0 0 17 0 4 0 1122024663 3543040 322 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=3460 CPUtime=0.18
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 107 0 0 0 14 4 0 0 16 0 4 0 1122024663 3543040 322 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=3460 CPUtime=0.18
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 98 0 0 0 14 4 0 0 17 0 4 0 1122024663 3543040 322 1992294400 134512640 135180984 4294956208 18446744073709551615 134528648 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.701182 s]
/proc/loadavg: 1.83 1.82 1.53 3/64 15216
/proc/meminfo: memFree=1490960/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=3460 CPUtime=1.11
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 423 0 0 0 75 36 0 0 18 0 4 0 1122024663 3543040 408 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 865 408 70 163 0 700 0
[pid=15216/tid=15217] ppid=15214 vsize=3460 CPUtime=0.2
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 105 0 0 0 3 17 0 0 17 0 4 0 1122024663 3543040 408 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=3460 CPUtime=0.44
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 122 0 0 0 35 9 0 0 16 0 4 0 1122024663 3543040 408 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=3460 CPUtime=0.45
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 113 0 0 0 36 9 0 0 16 0 4 0 1122024663 3543040 408 1992294400 134512640 135180984 4294956208 18446744073709551615 134528711 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 3460
[startup+1.50234 s]
/proc/loadavg: 1.83 1.82 1.53 2/68 15220
/proc/meminfo: memFree=1489200/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=3592 CPUtime=2.42
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 568 0 0 0 169 73 0 0 18 0 4 0 1122024663 3678208 553 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 898 553 70 163 0 733 0
[pid=15216/tid=15217] ppid=15214 vsize=3592 CPUtime=0.44
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 206 0 0 0 8 36 0 0 17 0 4 0 1122024663 3678208 553 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=3592 CPUtime=0.97
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 143 0 0 0 80 17 0 0 16 0 4 0 1122024663 3678208 553 1992294400 134512640 135180984 4294956208 18446744073709551615 134528878 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=3592 CPUtime=0.98
/proc/15216/task/15219/stat : 15219 (satake) S 15214 15216 15148 0 -1 4194368 136 0 0 0 80 18 0 0 15 0 4 0 1122024663 3678208 553 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3592
[startup+3.10298 s]
/proc/loadavg: 1.83 1.82 1.53 3/68 15220
/proc/meminfo: memFree=1488424/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=4748 CPUtime=5.04
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 807 0 0 0 343 161 0 0 18 0 4 0 1122024663 4861952 792 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 1187 792 70 163 0 1022 0
[pid=15216/tid=15217] ppid=15214 vsize=4748 CPUtime=1.02
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 409 0 0 0 18 84 0 0 18 0 4 0 1122024663 4861952 792 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=4748 CPUtime=1.98
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 159 0 0 0 162 36 0 0 15 0 4 0 1122024663 4861952 792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=4748 CPUtime=2.02
/proc/15216/task/15219/stat : 15219 (satake) S 15214 15216 15148 0 -1 4194368 156 0 0 0 162 40 0 0 15 0 4 0 1122024663 4861952 792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 4748
[startup+6.30145 s]
/proc/loadavg: 1.77 1.80 1.53 2/68 15220
/proc/meminfo: memFree=1486376/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=6928 CPUtime=10.34
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 1266 0 0 0 713 321 0 0 18 0 4 0 1122024663 7094272 1251 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 1732 1251 70 163 0 1567 0
[pid=15216/tid=15217] ppid=15214 vsize=6928 CPUtime=2.08
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 783 0 0 0 38 170 0 0 17 0 4 0 1122024663 7094272 1251 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=6928 CPUtime=4.1
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 204 0 0 0 335 75 0 0 16 0 4 0 1122024663 7094272 1251 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=6928 CPUtime=4.14
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 196 0 0 0 339 75 0 0 15 0 4 0 1122024663 7094272 1251 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 6928
[startup+12.7017 s]
/proc/loadavg: 1.79 1.81 1.53 3/68 15220
/proc/meminfo: memFree=1483056/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=9272 CPUtime=21.12
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 2029 0 0 0 1480 632 0 0 18 0 4 0 1122024663 9494528 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 2318 2014 70 163 0 2153 0
[pid=15216/tid=15217] ppid=15214 vsize=9272 CPUtime=4.26
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 1464 0 0 0 84 342 0 0 18 0 4 0 1122024663 9494528 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=9272 CPUtime=8.43
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 243 0 0 0 697 146 0 0 16 0 4 0 1122024663 9494528 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=9272 CPUtime=8.41
/proc/15216/task/15219/stat : 15219 (satake) S 15214 15216 15148 0 -1 4194368 239 0 0 0 698 143 0 0 15 0 4 0 1122024663 9494528 2014 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.12
Current children cumulated vsize (KiB) 9272
[startup+25.5021 s]
/proc/loadavg: 2.05 1.86 1.55 3/68 15220
/proc/meminfo: memFree=1477296/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=17224 CPUtime=43.23
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 3453 0 0 0 3104 1219 0 0 18 0 4 0 1122024663 17637376 3438 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 4306 3438 70 163 0 4141 0
[pid=15216/tid=15217] ppid=15214 vsize=17224 CPUtime=7.9
/proc/15216/task/15217/stat : 15217 (satake) S 15214 15216 15148 0 -1 4194368 2802 0 0 0 163 627 0 0 15 0 4 0 1122024663 17637376 3438 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=17224 CPUtime=17.72
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 276 0 0 0 1475 297 0 0 15 0 4 0 1122024663 17637376 3438 1992294400 134512640 135180984 4294956208 18446744073709551615 134528704 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=17224 CPUtime=17.59
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 292 0 0 0 1465 294 0 0 16 0 4 0 1122024663 17637376 3438 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 43.23
Current children cumulated vsize (KiB) 17224
[startup+51.103 s]
/proc/loadavg: 2.23 1.92 1.58 4/68 15220
/proc/meminfo: memFree=1466416/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=29400 CPUtime=88.21
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 6189 0 0 0 6409 2412 0 0 18 0 4 0 1122024663 30105600 6174 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 7350 6174 70 163 0 7185 0
[pid=15216/tid=15217] ppid=15214 vsize=29400 CPUtime=15.28
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 5408 0 0 0 319 1209 0 0 16 0 4 0 1122024663 30105600 6174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=29400 CPUtime=36.55
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 339 0 0 0 3047 608 0 0 15 0 4 0 1122024663 30105600 6174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=29400 CPUtime=36.35
/proc/15216/task/15219/stat : 15219 (satake) S 15214 15216 15148 0 -1 4194368 359 0 0 0 3041 594 0 0 15 0 4 0 1122024663 30105600 6174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.21
Current children cumulated vsize (KiB) 29400
[startup+102.307 s]
/proc/loadavg: 2.37 2.01 1.62 3/68 15225
/proc/meminfo: memFree=1445296/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=56240 CPUtime=179.11
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 11376 0 0 0 13193 4718 0 0 18 0 4 0 1122024663 57589760 11361 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 14060 11361 70 163 0 13895 0
[pid=15216/tid=15217] ppid=15214 vsize=56240 CPUtime=29.87
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 10427 0 0 0 639 2348 0 0 16 0 4 0 1122024663 57589760 11361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=56240 CPUtime=74.85
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 423 0 0 0 6288 1197 0 0 16 0 4 0 1122024663 57589760 11361 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=56240 CPUtime=74.37
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 443 0 0 0 6265 1172 0 0 15 0 4 0 1122024663 57589760 11361 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 179.11
Current children cumulated vsize (KiB) 56240
[startup+162.306 s]
/proc/loadavg: 2.56 2.11 1.68 4/68 15225
/proc/meminfo: memFree=1420336/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=86188 CPUtime=286.36
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 17667 0 0 0 21009 7627 0 0 18 0 4 0 1122024663 88256512 17652 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 21547 17652 70 163 0 21382 0
[pid=15216/tid=15217] ppid=15214 vsize=86188 CPUtime=48.13
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 16574 0 0 0 1036 3777 0 0 16 0 4 0 1122024663 88256512 17652 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=86188 CPUtime=119.25
################
# More data... #
################
Current children cumulated vsize (KiB) 86188
[startup+222.302 s]
/proc/loadavg: 2.50 2.19 1.73 3/68 15225
/proc/meminfo: memFree=1397424/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=110840 CPUtime=394.95
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 23341 0 0 0 29264 10231 0 0 18 0 4 0 1122024663 113500160 23326 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 27710 23326 70 163 0 27545 0
[pid=15216/tid=15217] ppid=15214 vsize=110840 CPUtime=64.5
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 22161 0 0 0 1389 5061 0 0 16 0 4 0 1122024663 113500160 23326 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=110840 CPUtime=165.31
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 546 0 0 0 13921 2610 0 0 16 0 4 0 1122024663 113500160 23326 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=110840 CPUtime=165.11
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 551 0 0 0 13952 2559 0 0 17 0 4 0 1122024663 113500160 23326 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 394.95
Current children cumulated vsize (KiB) 110840
[startup+282.304 s]
/proc/loadavg: 2.77 2.33 1.81 3/68 15225
/proc/meminfo: memFree=1374832/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=142328 CPUtime=504.41
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 29038 0 0 0 37548 12893 0 0 18 0 4 0 1122024663 145743872 29023 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 35582 29023 70 163 0 35417 0
[pid=15216/tid=15217] ppid=15214 vsize=142328 CPUtime=81.27
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 27792 0 0 0 1759 6368 0 0 16 0 4 0 1122024663 145743872 29023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=142328 CPUtime=211.93
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 576 0 0 0 17898 3295 0 0 15 0 4 0 1122024663 145743872 29023 1992294400 134512640 135180984 4294956208 18446744073709551615 134526279 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=142328 CPUtime=211.19
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 587 0 0 0 17890 3229 0 0 15 0 4 0 1122024663 145743872 29023 1992294400 134512640 135180984 4294956208 18446744073709551615 134532464 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 504.41
Current children cumulated vsize (KiB) 142328
[startup+342.308 s]
/proc/loadavg: 2.67 2.37 1.85 4/68 15225
/proc/meminfo: memFree=1349040/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=175972 CPUtime=612.9
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 35410 0 0 0 45362 15928 0 0 18 0 4 0 1122024663 180195328 35395 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 43993 35395 70 163 0 43828 0
[pid=15216/tid=15217] ppid=15214 vsize=175972 CPUtime=100.39
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 34138 0 0 0 2176 7863 0 0 16 0 4 0 1122024663 180195328 35395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=175972 CPUtime=256.71
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 591 0 0 0 21599 4072 0 0 15 0 4 0 1122024663 180195328 35395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=175972 CPUtime=255.78
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 598 0 0 0 21586 3992 0 0 16 0 4 0 1122024663 180195328 35395 1992294400 134512640 135180984 4294956208 18446744073709551615 134526441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 612.9
Current children cumulated vsize (KiB) 175972
[startup+402.302 s]
/proc/loadavg: 2.47 2.36 1.88 3/68 15225
/proc/meminfo: memFree=1327280/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=197440 CPUtime=723.53
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 40869 0 0 0 53855 18498 0 0 18 0 4 0 1122024663 202178560 40854 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 49360 40854 70 163 0 49195 0
[pid=15216/tid=15217] ppid=15214 vsize=197440 CPUtime=116.37
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 39513 0 0 0 2521 9116 0 0 15 0 4 0 1122024663 202178560 40854 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15218] ppid=15214 vsize=197440 CPUtime=304.05
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 628 0 0 0 25674 4731 0 0 15 0 4 0 1122024663 202178560 40854 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=197440 CPUtime=303.1
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 645 0 0 0 25660 4650 0 0 16 0 4 0 1122024663 202178560 40854 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 723.53
Current children cumulated vsize (KiB) 197440
[startup+462.302 s]
/proc/loadavg: 2.34 2.34 1.90 4/68 15225
/proc/meminfo: memFree=1305392/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=227076 CPUtime=834.08
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 46301 0 0 0 62352 21056 0 0 18 0 4 0 1122024663 232525824 46286 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 56769 46286 70 163 0 56604 0
[pid=15216/tid=15217] ppid=15214 vsize=227076 CPUtime=132.39
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 44938 0 0 0 2882 10357 0 0 16 0 4 0 1122024663 232525824 46286 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=227076 CPUtime=351.31
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 635 0 0 0 29731 5400 0 0 16 0 4 0 1122024663 232525824 46286 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=227076 CPUtime=350.36
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 645 0 0 0 29738 5298 0 0 16 0 4 0 1122024663 232525824 46286 1992294400 134512640 135180984 4294956208 18446744073709551615 134528546 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 834.08
Current children cumulated vsize (KiB) 227076
[startup+522.301 s]
/proc/loadavg: 2.29 2.32 1.92 4/68 15225
/proc/meminfo: memFree=1283248/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=255060 CPUtime=944.07
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 51890 0 0 0 70675 23732 0 0 18 0 4 0 1122024663 261181440 51875 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 63765 51875 70 163 0 63600 0
[pid=15216/tid=15217] ppid=15214 vsize=255060 CPUtime=149.1
/proc/15216/task/15217/stat : 15217 (satake) S 15214 15216 15148 0 -1 4194368 50517 0 0 0 3231 11679 0 0 16 0 4 0 1122024663 261181440 51875 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=255060 CPUtime=397.87
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 638 0 0 0 33707 6080 0 0 16 0 4 0 1122024663 261181440 51875 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=255060 CPUtime=397.07
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 652 0 0 0 33735 5972 0 0 16 0 4 0 1122024663 261181440 51875 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 944.07
Current children cumulated vsize (KiB) 255060
[startup+582.302 s]
/proc/loadavg: 2.37 2.33 1.95 3/68 15225
/proc/meminfo: memFree=1262576/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=275812 CPUtime=1055.34
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 56992 0 0 0 79422 26112 0 0 18 0 4 0 1122024663 282431488 56977 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 68953 56977 70 163 0 68788 0
[pid=15216/tid=15217] ppid=15214 vsize=275812 CPUtime=163.87
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 55550 0 0 0 3559 12828 0 0 16 0 4 0 1122024663 282431488 56977 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=275812 CPUtime=446.6
/proc/15216/task/15218/stat : 15218 (satake) R 15214 15216 15148 0 -1 4194368 680 0 0 0 37962 6698 0 0 16 0 4 0 1122024663 282431488 56977 1992294400 134512640 135180984 4294956208 18446744073709551615 134527266 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15216/tid=15219] ppid=15214 vsize=275812 CPUtime=444.85
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 679 0 0 0 37900 6585 0 0 15 0 4 0 1122024663 282431488 56977 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1055.34
Current children cumulated vsize (KiB) 275812
[startup+642.301 s]
/proc/loadavg: 2.65 2.42 2.00 3/68 15225
/proc/meminfo: memFree=1242672/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=297104 CPUtime=1167.36
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 61904 0 0 0 88276 28460 0 0 18 0 4 0 1122024663 304234496 61889 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 74276 61889 70 163 0 74111 0
[pid=15216/tid=15217] ppid=15214 vsize=297104 CPUtime=178.33
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 60437 0 0 0 3867 13966 0 0 16 0 4 0 1122024663 304234496 61889 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=297104 CPUtime=495.7
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 693 0 0 0 42263 7307 0 0 16 0 4 0 1122024663 304234496 61889 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=297104 CPUtime=493.31
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 691 0 0 0 42145 7186 0 0 16 0 4 0 1122024663 304234496 61889 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1167.36
Current children cumulated vsize (KiB) 297104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+659.902 s]
/proc/loadavg: 2.68 2.44 2.01 4/68 15225
/proc/meminfo: memFree=1236592/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=305136 CPUtime=1200.19
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 63396 0 0 0 90850 29169 0 0 18 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 76284 63381 70 163 0 76119 0
[pid=15216/tid=15217] ppid=15214 vsize=305136 CPUtime=182.73
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 61925 0 0 0 3961 14312 0 0 16 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=305136 CPUtime=509.96
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 693 0 0 0 43508 7488 0 0 16 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=305136 CPUtime=507.48
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 695 0 0 0 43380 7368 0 0 15 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 305136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+659.902 s]
/proc/loadavg: 2.68 2.44 2.01 4/68 15225
/proc/meminfo: memFree=1236592/2055920 swapFree=4178400/4192956
[pid=15216] ppid=15214 vsize=305136 CPUtime=1200.19
/proc/15216/stat : 15216 (satake) S 15214 15216 15148 0 -1 4194304 63396 0 0 0 90850 29169 0 0 18 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15216/statm: 76284 63381 70 163 0 76119 0
[pid=15216/tid=15217] ppid=15214 vsize=305136 CPUtime=182.73
/proc/15216/task/15217/stat : 15217 (satake) R 15214 15216 15148 0 -1 4194368 61925 0 0 0 3961 14312 0 0 16 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15216/tid=15218] ppid=15214 vsize=305136 CPUtime=509.96
/proc/15216/task/15218/stat : 15218 (satake) S 15214 15216 15148 0 -1 4194368 693 0 0 0 43508 7488 0 0 16 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15216/tid=15219] ppid=15214 vsize=305136 CPUtime=507.48
/proc/15216/task/15219/stat : 15219 (satake) R 15214 15216 15148 0 -1 4194368 695 0 0 0 43380 7368 0 0 15 0 4 0 1122024663 312459264 63381 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 305136
Child ended because it received signal 15 (SIGTERM)
Real time (s): 659.965
CPU time (s): 1200.27
CPU user time (s): 908.52
CPU system time (s): 291.747
CPU usage (%): 181.868
Max. virtual memory (cumulated for all children) (KiB): 305136
deleting IPC queue 753664
deleting IPC queue 786433
deleting IPC queue 819202
deleting IPC queue 851971
deleting IPC queue 884740
deleting IPC queue 917509
deleting IPC queue 950278
deleting IPC queue 983047
deleting IPC queue 1015816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 908.52
system time used= 291.747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63396
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= 12633980
involuntary context switches= 12064723
runsolver used 0.686895 second user time and 2.03469 second system time
The end
Begin job on node9 at 2009-03-31 11:59:43
IDJOB=1543608
IDBENCH=70449
IDSOLVER=553
FILE ID=node9/1543608-1238493583
PBS_JOBID= 9061924
Free space on /tmp= 66420 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/120/unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543608-1238493583/watcher-1543608-1238493583 -o /tmp/evaluation-result-1543608-1238493583/solver-1543608-1238493583 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543608-1238493583.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= 0fb27214473ddc5f7ac63d69b0565022
RANDOM SEED=587598681
node9.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.268
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.268
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: 1491376 kB
Buffers: 102584 kB
Cached: 360788 kB
SwapCached: 8344 kB
Active: 191460 kB
Inactive: 281824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1491376 kB
SwapTotal: 4192956 kB
SwapFree: 4178400 kB
Dirty: 804 kB
Writeback: 0 kB
Mapped: 15624 kB
Slab: 77240 kB
Committed_AS: 2971412 kB
PageTables: 1392 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= 66420 MiB
End job on node9 at 2009-03-31 12:10:45