runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543758-1238537726/watcher-1543758-1238537726 -o /tmp/evaluation-result-1543758-1238537726/solver-1543758-1238537726 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543758-1238537726.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.14 1.11 1.04 3/76 4813
/proc/meminfo: memFree=1358280/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=1300 CPUtime=0
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 4 0 1126433567 1331200 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 325 173 68 163 0 160 0
[pid=4813/tid=4814] ppid=4811 vsize=1300 CPUtime=0
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1126433567 1331200 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=1300 CPUtime=0
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 41 0 0 0 0 0 0 0 19 0 4 0 1126433567 1331200 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134535217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=1300 CPUtime=0
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 4 0 1126433567 1331200 173 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0723291 s]
/proc/loadavg: 1.14 1.11 1.04 3/76 4813
/proc/meminfo: memFree=1358280/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=2592 CPUtime=0.1
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 260 0 0 0 6 4 0 0 18 0 4 0 1126433567 2654208 245 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 648 245 70 163 0 483 0
[pid=4813/tid=4814] ppid=4811 vsize=2592 CPUtime=0.02
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 25 0 0 0 0 2 0 0 18 0 4 0 1126433567 2654208 245 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=2592 CPUtime=0.04
/proc/4813/task/4815/stat : 4815 (satake) S 4811 4813 4651 0 -1 4194368 75 0 0 0 3 1 0 0 17 0 4 0 1126433567 2654208 245 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=2592 CPUtime=0.03
/proc/4813/task/4816/stat : 4816 (satake) S 4811 4813 4651 0 -1 4194368 77 0 0 0 3 0 0 0 16 0 4 0 1126433567 2654208 245 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2592
[startup+0.103761 s]
/proc/loadavg: 1.14 1.11 1.04 3/76 4813
/proc/meminfo: memFree=1358280/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=2592 CPUtime=0.15
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 281 0 0 0 9 6 0 0 18 0 4 0 1126433567 2654208 266 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 648 266 70 163 0 483 0
[pid=4813/tid=4814] ppid=4811 vsize=2592 CPUtime=0.03
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 30 0 0 0 0 3 0 0 18 0 4 0 1126433567 2654208 266 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=2592 CPUtime=0.05
/proc/4813/task/4815/stat : 4815 (satake) S 4811 4813 4651 0 -1 4194368 85 0 0 0 4 1 0 0 16 0 4 0 1126433567 2654208 266 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=2592 CPUtime=0.05
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 83 0 0 0 4 1 0 0 16 0 4 0 1126433567 2654208 266 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2592
[startup+0.301373 s]
/proc/loadavg: 1.14 1.11 1.04 3/76 4813
/proc/meminfo: memFree=1358280/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=2856 CPUtime=0.47
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 335 0 0 0 28 19 0 0 18 0 4 0 1126433567 2924544 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 714 320 70 163 0 549 0
[pid=4813/tid=4814] ppid=4811 vsize=2856 CPUtime=0.11
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 52 0 0 0 1 10 0 0 18 0 4 0 1126433567 2924544 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=2856 CPUtime=0.17
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 101 0 0 0 13 4 0 0 17 0 4 0 1126433567 2924544 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=2856 CPUtime=0.17
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 99 0 0 0 13 4 0 0 17 0 4 0 1126433567 2924544 320 1992294400 134512640 135180984 4294956208 18446744073709551615 134524606 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2856
[startup+0.701451 s]
/proc/loadavg: 1.14 1.11 1.04 3/76 4813
/proc/meminfo: memFree=1358280/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=2988 CPUtime=1.13
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 422 0 0 0 71 42 0 0 18 0 4 0 1126433567 3059712 407 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 747 407 70 163 0 582 0
[pid=4813/tid=4814] ppid=4811 vsize=2988 CPUtime=0.28
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 103 0 0 0 5 23 0 0 18 0 4 0 1126433567 3059712 407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=2988 CPUtime=0.42
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 120 0 0 0 33 9 0 0 17 0 4 0 1126433567 3059712 407 1992294400 134512640 135180984 4294956208 18446744073709551615 134520662 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=2988 CPUtime=0.41
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 116 0 0 0 32 9 0 0 17 0 4 0 1126433567 3059712 407 1992294400 134512640 135180984 4294956208 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2988
[startup+1.50161 s]
/proc/loadavg: 1.14 1.11 1.04 3/80 4817
/proc/meminfo: memFree=1356648/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=3252 CPUtime=2.48
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 572 0 0 0 165 83 0 0 18 0 4 0 1126433567 3330048 557 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 813 557 70 163 0 648 0
[pid=4813/tid=4814] ppid=4811 vsize=3252 CPUtime=0.56
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 194 0 0 0 11 45 0 0 18 0 4 0 1126433567 3330048 557 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=3252 CPUtime=0.96
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 155 0 0 0 77 19 0 0 17 0 4 0 1126433567 3330048 557 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=3252 CPUtime=0.94
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 140 0 0 0 76 18 0 0 16 0 4 0 1126433567 3330048 557 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 3252
[startup+3.10192 s]
/proc/loadavg: 1.14 1.11 1.04 4/80 4817
/proc/meminfo: memFree=1355688/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=4724 CPUtime=5.23
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 823 0 0 0 357 166 0 0 18 0 4 0 1126433567 4837376 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 1181 808 70 163 0 1016 0
[pid=4813/tid=4814] ppid=4811 vsize=4724 CPUtime=1.11
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 374 0 0 0 22 89 0 0 18 0 4 0 1126433567 4837376 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=4724 CPUtime=2.05
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 192 0 0 0 166 39 0 0 17 0 4 0 1126433567 4837376 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134520854 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=4724 CPUtime=2.05
/proc/4813/task/4816/stat : 4816 (satake) S 4811 4813 4651 0 -1 4194368 174 0 0 0 168 37 0 0 17 0 4 0 1126433567 4837376 808 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 4724
[startup+6.30168 s]
/proc/loadavg: 1.21 1.13 1.04 4/80 4817
/proc/meminfo: memFree=1353640/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=6440 CPUtime=10.83
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 1287 0 0 0 754 329 0 0 18 0 4 0 1126433567 6594560 1272 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 1610 1272 70 163 0 1445 0
[pid=4813/tid=4814] ppid=4811 vsize=6440 CPUtime=2.13
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 696 0 0 0 44 169 0 0 15 0 4 0 1126433567 6594560 1272 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=6440 CPUtime=4.36
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 269 0 0 0 354 82 0 0 16 0 4 0 1126433567 6594560 1272 1992294400 134512640 135180984 4294956208 18446744073709551615 134532604 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=6440 CPUtime=4.33
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 239 0 0 0 356 77 0 0 16 0 4 0 1126433567 6594560 1272 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 6440
[startup+12.7029 s]
/proc/loadavg: 1.35 1.16 1.05 3/80 4817
/proc/meminfo: memFree=1349800/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=9864 CPUtime=22.13
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 2164 0 0 0 1559 654 0 0 18 0 4 0 1126433567 10100736 2149 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 2466 2149 70 163 0 2301 0
[pid=4813/tid=4814] ppid=4811 vsize=9864 CPUtime=4.16
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 1332 0 0 0 86 330 0 0 16 0 4 0 1126433567 10100736 2149 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=9864 CPUtime=8.97
/proc/4813/task/4815/stat : 4815 (satake) S 4811 4813 4651 0 -1 4194368 386 0 0 0 732 165 0 0 16 0 4 0 1126433567 10100736 2149 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=9864 CPUtime=8.96
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 363 0 0 0 739 157 0 0 16 0 4 0 1126433567 10100736 2149 1992294400 134512640 135180984 4294956208 18446744073709551615 134528084 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.13
Current children cumulated vsize (KiB) 9864
[startup+25.5014 s]
/proc/loadavg: 1.56 1.22 1.07 3/80 4817
/proc/meminfo: memFree=1342824/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=17652 CPUtime=44.92
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 3893 0 0 0 3137 1355 0 0 18 0 4 0 1126433567 18075648 3878 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 4413 3878 70 163 0 4248 0
[pid=4813/tid=4814] ppid=4811 vsize=17652 CPUtime=8.5
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 2629 0 0 0 177 673 0 0 16 0 4 0 1126433567 18075648 3878 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=17652 CPUtime=18.18
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 601 0 0 0 1473 345 0 0 16 0 4 0 1126433567 18075648 3878 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=17652 CPUtime=18.22
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 580 0 0 0 1486 336 0 0 16 0 4 0 1126433567 18075648 3878 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.92
Current children cumulated vsize (KiB) 17652
[startup+51.1013 s]
/proc/loadavg: 1.86 1.31 1.10 3/80 4817
/proc/meminfo: memFree=1330472/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=32020 CPUtime=91.02
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 6990 0 0 0 6508 2594 0 0 18 0 4 0 1126433567 32788480 6975 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 8005 6975 70 163 0 7840 0
[pid=4813/tid=4814] ppid=4811 vsize=32020 CPUtime=16.36
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 4964 0 0 0 358 1278 0 0 16 0 4 0 1126433567 32788480 6975 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=32020 CPUtime=37.29
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 1038 0 0 0 3072 657 0 0 17 0 4 0 1126433567 32788480 6975 1992294400 134512640 135180984 4294956208 18446744073709551615 134520881 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=32020 CPUtime=37.34
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 905 0 0 0 3077 657 0 0 16 0 4 0 1126433567 32788480 6975 1992294400 134512640 135180984 4294956208 18446744073709551615 134523600 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.02
Current children cumulated vsize (KiB) 32020
[startup+102.306 s]
/proc/loadavg: 2.13 1.46 1.16 4/80 4817
/proc/meminfo: memFree=1308136/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=57696 CPUtime=184.68
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 12494 0 0 0 13520 4948 0 0 18 0 4 0 1126433567 59080704 12479 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 14424 12479 70 163 0 14259 0
[pid=4813/tid=4814] ppid=4811 vsize=57696 CPUtime=31.11
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 9190 0 0 0 684 2427 0 0 16 0 4 0 1126433567 59080704 12479 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=57696 CPUtime=76.86
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 1683 0 0 0 6426 1260 0 0 16 0 4 0 1126433567 59080704 12479 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=57696 CPUtime=76.69
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 1538 0 0 0 6409 1260 0 0 15 0 4 0 1126433567 59080704 12479 1992294400 134512640 135180984 4294956208 18446744073709551615 134528436 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.68
Current children cumulated vsize (KiB) 57696
[startup+162.302 s]
/proc/loadavg: 2.35 1.65 1.25 3/80 4817
/proc/meminfo: memFree=1285160/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=83668 CPUtime=296.48
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 18313 0 0 0 22113 7535 0 0 18 0 4 0 1126433567 85676032 18298 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 20917 18298 70 163 0 20752 0
[pid=4813/tid=4814] ppid=4811 vsize=83668 CPUtime=47.18
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 13624 0 0 0 1029 3689 0 0 16 0 4 0 1126433567 85676032 18298 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=83668 CPUtime=124.83
################
# More data... #
################
Current children cumulated vsize (KiB) 83668
[startup+222.302 s]
/proc/loadavg: 2.39 1.80 1.32 3/80 4817
/proc/meminfo: memFree=1260712/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=115020 CPUtime=408.05
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 24331 0 0 0 30532 10273 0 0 18 0 4 0 1126433567 117780480 24316 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 28755 24316 70 163 0 28590 0
[pid=4813/tid=4814] ppid=4811 vsize=115020 CPUtime=64.2
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 18285 0 0 0 1399 5021 0 0 16 0 4 0 1126433567 117780480 24316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=115020 CPUtime=171.93
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 2984 0 0 0 14571 2622 0 0 15 0 4 0 1126433567 117780480 24316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=115020 CPUtime=171.88
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 2979 0 0 0 14560 2628 0 0 16 0 4 0 1126433567 117780480 24316 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 115020
[startup+282.302 s]
/proc/loadavg: 2.37 1.90 1.39 3/80 4817
/proc/meminfo: memFree=1236968/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=142848 CPUtime=519.97
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 30304 0 0 0 38910 13087 0 0 18 0 4 0 1126433567 146276352 30289 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 35712 30289 70 163 0 35547 0
[pid=4813/tid=4814] ppid=4811 vsize=142848 CPUtime=81.63
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 22778 0 0 0 1785 6378 0 0 17 0 4 0 1126433567 146276352 30289 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=142848 CPUtime=219.18
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 3776 0 0 0 18575 3343 0 0 16 0 4 0 1126433567 146276352 30289 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=142848 CPUtime=219.14
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 3667 0 0 0 18549 3365 0 0 16 0 4 0 1126433567 146276352 30289 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.97
Current children cumulated vsize (KiB) 142848
[startup+342.302 s]
/proc/loadavg: 2.42 2.01 1.45 3/80 4817
/proc/meminfo: memFree=1212456/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=171164 CPUtime=632.1
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 36385 0 0 0 47330 15880 0 0 18 0 4 0 1126433567 175271936 36370 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 42791 36370 70 163 0 42626 0
[pid=4813/tid=4814] ppid=4811 vsize=171164 CPUtime=98.99
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 27231 0 0 0 2166 7733 0 0 16 0 4 0 1126433567 175271936 36370 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=171164 CPUtime=266.55
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 4735 0 0 0 22598 4057 0 0 16 0 4 0 1126433567 175271936 36370 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=171164 CPUtime=266.54
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 4336 0 0 0 22565 4089 0 0 15 0 4 0 1126433567 175271936 36370 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 632.1
Current children cumulated vsize (KiB) 171164
[startup+402.301 s]
/proc/loadavg: 2.36 2.07 1.50 4/80 4817
/proc/meminfo: memFree=1187240/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=200948 CPUtime=743.28
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 42746 0 0 0 55489 18839 0 0 18 0 4 0 1126433567 205770752 42731 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 50237 42731 70 163 0 50072 0
[pid=4813/tid=4814] ppid=4811 vsize=200948 CPUtime=117.22
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 31635 0 0 0 2562 9160 0 0 16 0 4 0 1126433567 205770752 42731 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4815] ppid=4811 vsize=200948 CPUtime=312.86
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 5782 0 0 0 26467 4819 0 0 15 0 4 0 1126433567 205770752 42731 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=200948 CPUtime=313.18
/proc/4813/task/4816/stat : 4816 (satake) S 4811 4813 4651 0 -1 4194368 5246 0 0 0 26459 4859 0 0 16 0 4 0 1126433567 205770752 42731 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 743.28
Current children cumulated vsize (KiB) 200948
[startup+462.302 s]
/proc/loadavg: 2.52 2.17 1.57 3/80 4817
/proc/meminfo: memFree=1164008/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=231224 CPUtime=855.74
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 48460 0 0 0 64053 21521 0 0 18 0 4 0 1126433567 236773376 48444 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 57806 48444 70 163 0 57641 0
[pid=4813/tid=4814] ppid=4811 vsize=231224 CPUtime=133.85
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 35318 0 0 0 2925 10460 0 0 15 0 4 0 1126433567 236773376 48444 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=231224 CPUtime=360.88
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 6699 0 0 0 30572 5516 0 0 17 0 4 0 1126433567 236773376 48444 1992294400 134512640 135180984 4294956208 18446744073709551615 134526427 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=231224 CPUtime=361
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 6360 0 0 0 30555 5545 0 0 16 0 4 0 1126433567 236773376 48444 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 855.74
Current children cumulated vsize (KiB) 231224
[startup+522.301 s]
/proc/loadavg: 2.35 2.18 1.61 4/80 4817
/proc/meminfo: memFree=1142184/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=258428 CPUtime=968.98
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 53942 0 0 0 72799 24099 0 0 18 0 4 0 1126433567 264630272 53926 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 64607 53926 70 163 0 64442 0
[pid=4813/tid=4814] ppid=4811 vsize=258428 CPUtime=149.96
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 38935 0 0 0 3281 11715 0 0 16 0 4 0 1126433567 264630272 53926 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=258428 CPUtime=409.37
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 7547 0 0 0 34754 6183 0 0 15 0 4 0 1126433567 264630272 53926 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4816] ppid=4811 vsize=258428 CPUtime=409.64
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 7377 0 0 0 34764 6200 0 0 16 0 4 0 1126433567 264630272 53926 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 968.98
Current children cumulated vsize (KiB) 258428
[startup+582.303 s]
/proc/loadavg: 2.42 2.24 1.66 4/80 4817
/proc/meminfo: memFree=1118952/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=283612 CPUtime=1081.72
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 59705 0 0 0 81438 26734 0 0 18 0 4 0 1126433567 290418688 59689 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 70903 59689 70 163 0 70738 0
[pid=4813/tid=4814] ppid=4811 vsize=283612 CPUtime=166.42
/proc/4813/task/4814/stat : 4814 (satake) R 4811 4813 4651 0 -1 4194368 42603 0 0 0 3645 12997 0 0 16 0 4 0 1126433567 290418688 59689 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=283612 CPUtime=457.66
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 8749 0 0 0 38914 6852 0 0 16 0 4 0 1126433567 290418688 59689 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=283612 CPUtime=457.62
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 8270 0 0 0 38878 6884 0 0 15 0 4 0 1126433567 290418688 59689 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1081.72
Current children cumulated vsize (KiB) 283612
[startup+642.307 s]
/proc/loadavg: 2.33 2.25 1.71 3/80 4817
/proc/meminfo: memFree=1096296/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=311216 CPUtime=1194.43
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 65304 0 0 0 90032 29411 0 0 18 0 4 0 1126433567 318685184 65288 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 77804 65288 70 163 0 77639 0
[pid=4813/tid=4814] ppid=4811 vsize=311216 CPUtime=183.06
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 46245 0 0 0 4003 14303 0 0 16 0 4 0 1126433567 318685184 65288 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=311216 CPUtime=505.76
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 9567 0 0 0 43046 7530 0 0 16 0 4 0 1126433567 318685184 65288 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=311216 CPUtime=505.6
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 9409 0 0 0 42983 7577 0 0 16 0 4 0 1126433567 318685184 65288 1992294400 134512640 135180984 4294956208 18446744073709551615 134518246 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.43
Current children cumulated vsize (KiB) 311216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+645.301 s]
/proc/loadavg: 2.33 2.25 1.71 3/80 4817
/proc/meminfo: memFree=1095016/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=312664 CPUtime=1200.09
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 65611 0 0 0 90460 29549 0 0 18 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 78166 65595 70 163 0 78001 0
[pid=4813/tid=4814] ppid=4811 vsize=312664 CPUtime=183.89
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 46372 0 0 0 4017 14372 0 0 15 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=312664 CPUtime=508.19
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 9635 0 0 0 43255 7564 0 0 16 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=312664 CPUtime=507.98
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 9521 0 0 0 43187 7611 0 0 16 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134526438 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 312664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+645.301 s]
/proc/loadavg: 2.33 2.25 1.71 3/80 4817
/proc/meminfo: memFree=1095016/2055920 swapFree=4127460/4192956
[pid=4813] ppid=4811 vsize=312664 CPUtime=1200.09
/proc/4813/stat : 4813 (satake) S 4811 4813 4651 0 -1 4194304 65611 0 0 0 90460 29549 0 0 18 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4813/statm: 78166 65595 70 163 0 78001 0
[pid=4813/tid=4814] ppid=4811 vsize=312664 CPUtime=183.89
/proc/4813/task/4814/stat : 4814 (satake) S 4811 4813 4651 0 -1 4194368 46372 0 0 0 4017 14372 0 0 15 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=4813/tid=4815] ppid=4811 vsize=312664 CPUtime=508.19
/proc/4813/task/4815/stat : 4815 (satake) R 4811 4813 4651 0 -1 4194368 9635 0 0 0 43255 7564 0 0 16 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4813/tid=4816] ppid=4811 vsize=312664 CPUtime=507.98
/proc/4813/task/4816/stat : 4816 (satake) R 4811 4813 4651 0 -1 4194368 9521 0 0 0 43187 7611 0 0 16 0 4 0 1126433567 320167936 65595 1992294400 134512640 135180984 4294956208 18446744073709551615 134526438 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 312664
Child ended because it received signal 15 (SIGTERM)
Real time (s): 645.357
CPU time (s): 1200.15
CPU user time (s): 904.615
CPU system time (s): 295.538
CPU usage (%): 185.967
Max. virtual memory (cumulated for all children) (KiB): 312664
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= 904.615
system time used= 295.538
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65611
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= 11115701
involuntary context switches= 10249715
runsolver used 0.92086 second user time and 2.25966 second system time
The end
Begin job on node63 at 2009-04-01 00:15:26
IDJOB=1543758
IDBENCH=70599
IDSOLVER=553
FILE ID=node63/1543758-1238537726
PBS_JOBID= 9062074
Free space on /tmp= 66484 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/540/unif-k3-r4.25-v540-c2295-S638051453-097.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543758-1238537726/watcher-1543758-1238537726 -o /tmp/evaluation-result-1543758-1238537726/solver-1543758-1238537726 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543758-1238537726.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= f703653b42bdd3cc2ad2ea17949e8d3f
RANDOM SEED=227833448
node63.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.285
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.285
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: 1358760 kB
Buffers: 94852 kB
Cached: 462672 kB
SwapCached: 55360 kB
Active: 200676 kB
Inactive: 413708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1358760 kB
SwapTotal: 4192956 kB
SwapFree: 4127460 kB
Dirty: 780 kB
Writeback: 0 kB
Mapped: 14608 kB
Slab: 67364 kB
Committed_AS: 3389708 kB
PageTables: 2312 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= 66484 MiB
End job on node63 at 2009-04-01 00:26:13