runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543886-1238593811/watcher-1543886-1238593811 -o /tmp/evaluation-result-1543886-1238593811/solver-1543886-1238593811 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543886-1238593811.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: 0.84 0.95 0.98 3/64 17211
/proc/meminfo: memFree=1625192/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=1296 CPUtime=0
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 173 0 0 0 0 0 0 0 20 0 4 0 1132043651 1327104 158 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 324 158 68 163 0 159 0
[pid=17211/tid=17212] ppid=17209 vsize=1296 CPUtime=0
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 1132043651 1327104 158 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=1296 CPUtime=0
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 51 0 0 0 0 0 0 0 21 0 4 0 1132043651 1327104 158 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=1296 CPUtime=0
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 32 0 0 0 0 0 0 0 21 0 4 0 1132043651 1327104 158 1992294400 134512640 135180984 4294956208 18446744073709551615 134519807 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.058463 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 17211
/proc/meminfo: memFree=1625192/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=2448 CPUtime=0.08
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 224 0 0 0 5 3 0 0 20 0 4 0 1132043651 2506752 209 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 612 209 70 163 0 447 0
[pid=17211/tid=17212] ppid=17209 vsize=2448 CPUtime=0.01
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 21 0 0 0 0 1 0 0 18 0 4 0 1132043651 2506752 209 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=2448 CPUtime=0.02
/proc/17211/task/17213/stat : 17213 (satake) S 17209 17211 17063 0 -1 4194368 65 0 0 0 2 0 0 0 16 0 4 0 1132043651 2506752 209 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=2448 CPUtime=0.02
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 55 0 0 0 2 0 0 0 16 0 4 0 1132043651 2506752 209 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) 2448
[startup+0.102146 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 17211
/proc/meminfo: memFree=1625192/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=2448 CPUtime=0.15
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 251 0 0 0 9 6 0 0 20 0 4 0 1132043651 2506752 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 612 236 70 163 0 447 0
[pid=17211/tid=17212] ppid=17209 vsize=2448 CPUtime=0.04
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 29 0 0 0 1 3 0 0 18 0 4 0 1132043651 2506752 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=2448 CPUtime=0.05
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 74 0 0 0 4 1 0 0 17 0 4 0 1132043651 2506752 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=2448 CPUtime=0.04
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 65 0 0 0 3 1 0 0 16 0 4 0 1132043651 2506752 236 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2448
[startup+0.301186 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 17211
/proc/meminfo: memFree=1625192/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=2580 CPUtime=0.47
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 306 0 0 0 28 19 0 0 20 0 4 0 1132043651 2641920 291 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 645 291 70 163 0 480 0
[pid=17211/tid=17212] ppid=17209 vsize=2580 CPUtime=0.12
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 56 0 0 0 2 10 0 0 18 0 4 0 1132043651 2641920 291 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=2580 CPUtime=0.17
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 95 0 0 0 13 4 0 0 16 0 4 0 1132043651 2641920 291 1992294400 134512640 135180984 4294956208 18446744073709551615 134528104 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=2580 CPUtime=0.16
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 72 0 0 0 12 4 0 0 17 0 4 0 1132043651 2641920 291 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2580
[startup+0.701266 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 17211
/proc/meminfo: memFree=1625192/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=2712 CPUtime=1.11
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 386 0 0 0 70 41 0 0 20 0 4 0 1132043651 2777088 371 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 678 371 70 163 0 513 0
[pid=17211/tid=17212] ppid=17209 vsize=2712 CPUtime=0.27
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 115 0 0 0 5 22 0 0 17 0 4 0 1132043651 2777088 371 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=2712 CPUtime=0.42
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 106 0 0 0 33 9 0 0 17 0 4 0 1132043651 2777088 371 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=2712 CPUtime=0.4
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 82 0 0 0 31 9 0 0 16 0 4 0 1132043651 2777088 371 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2712
[startup+1.50142 s]
/proc/loadavg: 0.84 0.95 0.98 3/68 17215
/proc/meminfo: memFree=1623624/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=2844 CPUtime=2.44
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 537 0 0 0 160 84 0 0 20 0 4 0 1132043651 2912256 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 711 522 70 163 0 546 0
[pid=17211/tid=17212] ppid=17209 vsize=2844 CPUtime=0.56
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 228 0 0 0 13 43 0 0 17 0 4 0 1132043651 2912256 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=2844 CPUtime=0.94
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 126 0 0 0 74 20 0 0 16 0 4 0 1132043651 2912256 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134526427 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=2844 CPUtime=0.92
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 100 0 0 0 72 20 0 0 17 0 4 0 1132043651 2912256 522 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 2844
[startup+3.10174 s]
/proc/loadavg: 0.84 0.95 0.98 3/68 17215
/proc/meminfo: memFree=1622664/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=4000 CPUtime=5.1
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 840 0 0 0 334 176 0 0 20 0 4 0 1132043651 4096000 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 1000 825 70 163 0 835 0
[pid=17211/tid=17212] ppid=17209 vsize=4000 CPUtime=1.17
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 470 0 0 0 27 90 0 0 17 0 4 0 1132043651 4096000 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=4000 CPUtime=1.98
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 159 0 0 0 153 45 0 0 16 0 4 0 1132043651 4096000 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134526496 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=4000 CPUtime=1.93
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 128 0 0 0 152 41 0 0 17 0 4 0 1132043651 4096000 825 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 4000
[startup+6.30237 s]
/proc/loadavg: 0.93 0.97 0.99 4/68 17215
/proc/meminfo: memFree=1620360/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=6344 CPUtime=10.55
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 1338 0 0 0 682 373 0 0 20 0 4 0 1132043651 6496256 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 1586 1323 70 163 0 1421 0
[pid=17211/tid=17212] ppid=17209 vsize=6344 CPUtime=2.35
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 891 0 0 0 53 182 0 0 16 0 4 0 1132043651 6496256 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=6344 CPUtime=4.14
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 203 0 0 0 314 100 0 0 15 0 4 0 1132043651 6496256 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=6344 CPUtime=4.04
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 161 0 0 0 314 90 0 0 16 0 4 0 1132043651 6496256 1323 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 6344
[startup+12.7018 s]
/proc/loadavg: 1.10 1.00 1.00 3/68 17215
/proc/meminfo: memFree=1616264/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=10864 CPUtime=21.52
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 2317 0 0 0 1400 752 0 0 20 0 4 0 1132043651 11124736 2302 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 2716 2302 70 163 0 2551 0
[pid=17211/tid=17212] ppid=17209 vsize=10864 CPUtime=4.66
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 1648 0 0 0 99 367 0 0 16 0 4 0 1132043651 11124736 2302 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=10864 CPUtime=8.44
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 327 0 0 0 650 194 0 0 16 0 4 0 1132043651 11124736 2302 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=10864 CPUtime=8.41
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 259 0 0 0 651 190 0 0 16 0 4 0 1132043651 11124736 2302 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.52
Current children cumulated vsize (KiB) 10864
[startup+25.5012 s]
/proc/loadavg: 1.29 1.05 1.02 3/68 17215
/proc/meminfo: memFree=1608456/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=19536 CPUtime=43.67
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 4225 0 0 0 2781 1586 0 0 20 0 4 0 1132043651 20004864 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 4884 4210 70 163 0 4719 0
[pid=17211/tid=17212] ppid=17209 vsize=19536 CPUtime=9.76
/proc/17211/task/17212/stat : 17212 (satake) S 17209 17211 17063 0 -1 4194368 3200 0 0 0 206 770 0 0 15 0 4 0 1132043651 20004864 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=19536 CPUtime=16.9
/proc/17211/task/17213/stat : 17213 (satake) S 17209 17211 17063 0 -1 4194368 538 0 0 0 1287 403 0 0 16 0 4 0 1132043651 20004864 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=19536 CPUtime=16.99
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 404 0 0 0 1287 412 0 0 16 0 4 0 1132043651 20004864 4210 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 43.67
Current children cumulated vsize (KiB) 19536
[startup+51.1014 s]
/proc/loadavg: 1.81 1.19 1.06 4/68 17215
/proc/meminfo: memFree=1594248/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=37312 CPUtime=88.25
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 7832 0 0 0 5662 3163 0 0 20 0 4 0 1132043651 38207488 7817 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 9328 7817 70 163 0 9163 0
[pid=17211/tid=17212] ppid=17209 vsize=37312 CPUtime=19.42
/proc/17211/task/17212/stat : 17212 (satake) S 17209 17211 17063 0 -1 4194368 6276 0 0 0 406 1536 0 0 16 0 4 0 1132043651 38207488 7817 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=37312 CPUtime=34.33
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 869 0 0 0 2630 803 0 0 15 0 4 0 1132043651 38207488 7817 1992294400 134512640 135180984 4294956208 18446744073709551615 134538136 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=37312 CPUtime=34.47
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 604 0 0 0 2624 823 0 0 16 0 4 0 1132043651 38207488 7817 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.25
Current children cumulated vsize (KiB) 37312
[startup+102.305 s]
/proc/loadavg: 2.20 1.40 1.14 3/68 17215
/proc/meminfo: memFree=1567432/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=68144 CPUtime=178.69
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 14422 0 0 0 11756 6113 0 0 20 0 4 0 1132043651 69779456 14407 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 17036 14407 70 163 0 16871 0
[pid=17211/tid=17212] ppid=17209 vsize=68144 CPUtime=37.73
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 11843 0 0 0 801 2972 0 0 16 0 4 0 1132043651 69779456 14407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=68144 CPUtime=70.45
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 1465 0 0 0 5476 1569 0 0 16 0 4 0 1132043651 69779456 14407 1992294400 134512640 135180984 4294956208 18446744073709551615 134528219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=68144 CPUtime=70.49
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 1031 0 0 0 5478 1571 0 0 15 0 4 0 1132043651 69779456 14407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 178.69
Current children cumulated vsize (KiB) 68144
[startup+162.306 s]
/proc/loadavg: 2.44 1.60 1.22 3/68 17215
/proc/meminfo: memFree=1536200/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=106760 CPUtime=284.65
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 22279 0 0 0 18700 9765 0 0 20 0 4 0 1132043651 109322240 22264 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 26690 22264 70 163 0 26525 0
[pid=17211/tid=17212] ppid=17209 vsize=106760 CPUtime=60.06
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 18136 0 0 0 1279 4727 0 0 16 0 4 0 1132043651 109322240 22264 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=106760 CPUtime=112.36
################
# More data... #
################
Current children cumulated vsize (KiB) 106760
[startup+222.301 s]
/proc/loadavg: 2.32 1.72 1.28 3/68 17215
/proc/meminfo: memFree=1506056/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=142796 CPUtime=391.79
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 29722 0 0 0 25905 13274 0 0 20 0 4 0 1132043651 146223104 29707 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 35699 29707 70 163 0 35534 0
[pid=17211/tid=17212] ppid=17209 vsize=142796 CPUtime=81.85
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 23865 0 0 0 1750 6435 0 0 16 0 4 0 1132043651 146223104 29707 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=142796 CPUtime=155
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 3009 0 0 0 12084 3416 0 0 16 0 4 0 1132043651 146223104 29707 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=142796 CPUtime=154.92
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 2765 0 0 0 12070 3422 0 0 15 0 4 0 1132043651 146223104 29707 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 391.79
Current children cumulated vsize (KiB) 142796
[startup+282.303 s]
/proc/loadavg: 2.30 1.83 1.35 3/68 17215
/proc/meminfo: memFree=1477320/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=176496 CPUtime=499.52
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 36972 0 0 0 33291 16661 0 0 20 0 4 0 1132043651 180731904 36957 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 44124 36957 70 163 0 43959 0
[pid=17211/tid=17212] ppid=17209 vsize=176496 CPUtime=102.91
/proc/17211/task/17212/stat : 17212 (satake) S 17209 17211 17063 0 -1 4194368 29423 0 0 0 2198 8093 0 0 16 0 4 0 1132043651 180731904 36957 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=176496 CPUtime=198.28
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 3810 0 0 0 15546 4282 0 0 16 0 4 0 1132043651 180731904 36957 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=176496 CPUtime=198.3
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 3656 0 0 0 15546 4284 0 0 15 0 4 0 1132043651 180731904 36957 1992294400 134512640 135180984 4294956208 18446744073709551615 134528221 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 499.52
Current children cumulated vsize (KiB) 176496
[startup+342.302 s]
/proc/loadavg: 2.41 1.93 1.41 3/68 17215
/proc/meminfo: memFree=1447176/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=211180 CPUtime=607.07
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 44433 0 0 0 40537 20170 0 0 20 0 4 0 1132043651 216248320 44418 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 52795 44418 70 163 0 52630 0
[pid=17211/tid=17212] ppid=17209 vsize=211180 CPUtime=124.36
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 34754 0 0 0 2657 9779 0 0 16 0 4 0 1132043651 216248320 44418 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=211180 CPUtime=241.46
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 4779 0 0 0 18959 5187 0 0 16 0 4 0 1132043651 216248320 44418 1992294400 134512640 135180984 4294956208 18446744073709551615 134528731 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=211180 CPUtime=241.24
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 4817 0 0 0 18920 5204 0 0 15 0 4 0 1132043651 216248320 44418 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 607.07
Current children cumulated vsize (KiB) 211180
[startup+402.302 s]
/proc/loadavg: 2.18 1.96 1.45 2/68 17215
/proc/meminfo: memFree=1417160/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=253132 CPUtime=714.08
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 51971 0 0 0 47614 23794 0 0 20 0 4 0 1132043651 259207168 51956 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 63283 51956 70 163 0 63118 0
[pid=17211/tid=17212] ppid=17209 vsize=253132 CPUtime=146.75
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 40673 0 0 0 3133 11542 0 0 16 0 4 0 1132043651 259207168 51956 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=253132 CPUtime=283.54
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 5499 0 0 0 22254 6100 0 0 16 0 4 0 1132043651 259207168 51956 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=253132 CPUtime=283.77
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 5716 0 0 0 22226 6151 0 0 15 0 4 0 1132043651 259207168 51956 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 714.08
Current children cumulated vsize (KiB) 253132
[startup+462.302 s]
/proc/loadavg: 2.41 2.07 1.52 3/68 17215
/proc/meminfo: memFree=1386760/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=285304 CPUtime=821.45
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 59483 0 0 0 54835 27310 0 0 20 0 4 0 1132043651 292151296 59468 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 71326 59468 70 163 0 71161 0
[pid=17211/tid=17212] ppid=17209 vsize=285304 CPUtime=168.61
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 46529 0 0 0 3620 13241 0 0 16 0 4 0 1132043651 292151296 59468 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=285304 CPUtime=326.11
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 6161 0 0 0 25607 7004 0 0 16 0 4 0 1132043651 292151296 59468 1992294400 134512640 135180984 4294956208 18446744073709551615 134528511 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=285304 CPUtime=326.71
/proc/17211/task/17214/stat : 17214 (satake) S 17209 17211 17063 0 -1 4194368 6710 0 0 0 25607 7064 0 0 15 0 4 0 1132043651 292151296 59468 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.45
Current children cumulated vsize (KiB) 285304
[startup+522.302 s]
/proc/loadavg: 2.47 2.13 1.57 3/68 17215
/proc/meminfo: memFree=1358280/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=318236 CPUtime=929.59
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 66802 0 0 0 62158 30801 0 0 20 0 4 0 1132043651 325873664 66787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 79559 66787 70 163 0 79394 0
[pid=17211/tid=17212] ppid=17209 vsize=318236 CPUtime=190.09
/proc/17211/task/17212/stat : 17212 (satake) S 17209 17211 17063 0 -1 4194368 51726 0 0 0 4084 14925 0 0 15 0 4 0 1132043651 325873664 66787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=318236 CPUtime=369.51
/proc/17211/task/17213/stat : 17213 (satake) S 17209 17211 17063 0 -1 4194368 7428 0 0 0 29052 7899 0 0 16 0 4 0 1132043651 325873664 66787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=318236 CPUtime=369.98
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 7565 0 0 0 29021 7977 0 0 16 0 4 0 1132043651 325873664 66787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 929.59
Current children cumulated vsize (KiB) 318236
[startup+582.303 s]
/proc/loadavg: 2.30 2.15 1.61 3/68 17215
/proc/meminfo: memFree=1328456/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=352520 CPUtime=1037.93
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 74107 0 0 0 69485 34308 0 0 20 0 4 0 1132043651 360980480 74092 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 88130 74092 70 163 0 87965 0
[pid=17211/tid=17212] ppid=17209 vsize=352520 CPUtime=211.69
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 56816 0 0 0 4546 16623 0 0 16 0 4 0 1132043651 360980480 74092 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=352520 CPUtime=412.73
/proc/17211/task/17213/stat : 17213 (satake) S 17209 17211 17063 0 -1 4194368 8627 0 0 0 32482 8791 0 0 15 0 4 0 1132043651 360980480 74092 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=352520 CPUtime=413.49
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 8581 0 0 0 32456 8893 0 0 16 0 4 0 1132043651 360980480 74092 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1037.93
Current children cumulated vsize (KiB) 352520
[startup+642.302 s]
/proc/loadavg: 2.40 2.21 1.67 4/68 17215
/proc/meminfo: memFree=1298504/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=388432 CPUtime=1146.08
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 81476 0 0 0 76694 37914 0 0 20 0 4 0 1132043651 397754368 81461 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 97108 81461 70 163 0 96943 0
[pid=17211/tid=17212] ppid=17209 vsize=388432 CPUtime=233.92
/proc/17211/task/17212/stat : 17212 (satake) R 17209 17211 17063 0 -1 4194368 61932 0 0 0 5017 18375 0 0 16 0 4 0 1132043651 397754368 81461 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17213] ppid=17209 vsize=388432 CPUtime=455.81
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 9858 0 0 0 35869 9712 0 0 16 0 4 0 1132043651 397754368 81461 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17211/tid=17214] ppid=17209 vsize=388432 CPUtime=456.33
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 9603 0 0 0 35807 9826 0 0 15 0 4 0 1132043651 397754368 81461 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1146.08
Current children cumulated vsize (KiB) 388432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+672.109 s]
/proc/loadavg: 2.47 2.24 1.69 3/68 17221
/proc/meminfo: memFree=1283528/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=405428 CPUtime=1200.03
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 85175 0 0 0 80311 39692 0 0 20 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 101357 85160 70 163 0 101192 0
[pid=17211/tid=17212] ppid=17209 vsize=405428 CPUtime=244.84
/proc/17211/task/17212/stat : 17212 (satake) S 17209 17211 17063 0 -1 4194368 64428 0 0 0 5245 19239 0 0 15 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=405428 CPUtime=477.32
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 10549 0 0 0 37572 10160 0 0 16 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134525458 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=405428 CPUtime=477.85
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 10115 0 0 0 37493 10292 0 0 17 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134522683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 405428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+672.109 s]
/proc/loadavg: 2.47 2.24 1.69 3/68 17221
/proc/meminfo: memFree=1283528/2055920 swapFree=4176304/4192956
[pid=17211] ppid=17209 vsize=405428 CPUtime=1200.03
/proc/17211/stat : 17211 (satake) S 17209 17211 17063 0 -1 4194304 85175 0 0 0 80311 39692 0 0 20 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17211/statm: 101357 85160 70 163 0 101192 0
[pid=17211/tid=17212] ppid=17209 vsize=405428 CPUtime=244.84
/proc/17211/task/17212/stat : 17212 (satake) S 17209 17211 17063 0 -1 4194368 64428 0 0 0 5245 19239 0 0 15 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17211/tid=17213] ppid=17209 vsize=405428 CPUtime=477.32
/proc/17211/task/17213/stat : 17213 (satake) R 17209 17211 17063 0 -1 4194368 10549 0 0 0 37572 10160 0 0 16 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134525458 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17211/tid=17214] ppid=17209 vsize=405428 CPUtime=477.85
/proc/17211/task/17214/stat : 17214 (satake) R 17209 17211 17063 0 -1 4194368 10115 0 0 0 37493 10292 0 0 17 0 4 0 1132043651 415158272 85160 1992294400 134512640 135180984 4294956208 18446744073709551615 134522683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 405428
Child ended because it received signal 15 (SIGTERM)
Real time (s): 672.179
CPU time (s): 1200.11
CPU user time (s): 803.125
CPU system time (s): 396.987
CPU usage (%): 178.54
Max. virtual memory (cumulated for all children) (KiB): 405428
deleting IPC queue 2031616
deleting IPC queue 2064385
deleting IPC queue 2097154
deleting IPC queue 2129923
deleting IPC queue 2162692
deleting IPC queue 2195461
deleting IPC queue 2228230
deleting IPC queue 2260999
deleting IPC queue 2293768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 803.125
system time used= 396.987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85175
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= 18107766
involuntary context switches= 16959372
runsolver used 0.741887 second user time and 2.02369 second system time
The end
Begin job on node53 at 2009-04-01 15:50:11
IDJOB=1543886
IDBENCH=70727
IDSOLVER=553
FILE ID=node53/1543886-1238593811
PBS_JOBID= 9068328
Free space on /tmp= 66040 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/460/unif-k3-r4.25-v460-c1955-S617358728-082.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543886-1238593811/watcher-1543886-1238593811 -o /tmp/evaluation-result-1543886-1238593811/solver-1543886-1238593811 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543886-1238593811.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= f77bf155457eaab086ae39f525f81379
RANDOM SEED=2018035394
node53.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.264
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.264
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: 1625608 kB
Buffers: 87716 kB
Cached: 248476 kB
SwapCached: 10540 kB
Active: 199004 kB
Inactive: 149204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625608 kB
SwapTotal: 4192956 kB
SwapFree: 4176304 kB
Dirty: 908 kB
Writeback: 0 kB
Mapped: 17748 kB
Slab: 68128 kB
Committed_AS: 2665052 kB
PageTables: 1384 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= 66040 MiB
End job on node53 at 2009-04-01 16:01:25