runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543722-1238508764/watcher-1543722-1238508764 -o /tmp/evaluation-result-1543722-1238508764/solver-1543722-1238508764 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543722-1238508764.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.99 0.98 1.00 3/64 21870
/proc/meminfo: memFree=1121280/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=1148 CPUtime=0
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 4 0 1123541340 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 287 123 68 163 0 122 0
[pid=21870/tid=21871] ppid=21868 vsize=1148 CPUtime=0
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1123541340 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=1148 CPUtime=0
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 48 0 0 0 0 0 0 0 19 0 4 0 1123541340 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134532475 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=1148 CPUtime=0
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1123541340 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.073088 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 21870
/proc/meminfo: memFree=1121280/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=2436 CPUtime=0.09
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 219 0 0 0 4 5 0 0 18 0 4 0 1123541340 2494464 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 609 204 70 163 0 444 0
[pid=21870/tid=21871] ppid=21868 vsize=2436 CPUtime=0.02
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 22 0 0 0 0 2 0 0 17 0 4 0 1123541340 2494464 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=2436 CPUtime=0.03
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 61 0 0 0 1 2 0 0 16 0 4 0 1123541340 2494464 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=2436 CPUtime=0.03
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 53 0 0 0 2 1 0 0 16 0 4 0 1123541340 2494464 204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2436
[startup+0.10109 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 21870
/proc/meminfo: memFree=1121280/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=2436 CPUtime=0.15
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 236 0 0 0 7 8 0 0 18 0 4 0 1123541340 2494464 221 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 609 221 70 163 0 444 0
[pid=21870/tid=21871] ppid=21868 vsize=2436 CPUtime=0.04
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 27 0 0 0 1 3 0 0 17 0 4 0 1123541340 2494464 221 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=2436 CPUtime=0.04
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 67 0 0 0 2 2 0 0 16 0 4 0 1123541340 2494464 221 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=2436 CPUtime=0.04
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 59 0 0 0 3 1 0 0 16 0 4 0 1123541340 2494464 221 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2436
[startup+0.301111 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 21870
/proc/meminfo: memFree=1121280/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=2568 CPUtime=0.46
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 287 0 0 0 26 20 0 0 18 0 4 0 1123541340 2629632 272 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 642 272 70 163 0 477 0
[pid=21870/tid=21871] ppid=21868 vsize=2568 CPUtime=0.12
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 56 0 0 0 3 9 0 0 16 0 4 0 1123541340 2629632 272 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=2568 CPUtime=0.16
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 74 0 0 0 11 5 0 0 16 0 4 0 1123541340 2629632 272 1992294400 134512640 135180984 4294956208 18446744073709551615 134528746 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=2568 CPUtime=0.17
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 74 0 0 0 12 5 0 0 17 0 4 0 1123541340 2629632 272 1992294400 134512640 135180984 4294956208 18446744073709551615 134523985 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2568
[startup+0.701157 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 21870
/proc/meminfo: memFree=1121280/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=2712 CPUtime=1.12
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 375 0 0 0 63 49 0 0 18 0 4 0 1123541340 2777088 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 678 360 70 163 0 513 0
[pid=21870/tid=21871] ppid=21868 vsize=2712 CPUtime=0.3
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 120 0 0 0 6 24 0 0 17 0 4 0 1123541340 2777088 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=2712 CPUtime=0.4
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 86 0 0 0 28 12 0 0 16 0 4 0 1123541340 2777088 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=2712 CPUtime=0.39
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 86 0 0 0 28 11 0 0 16 0 4 0 1123541340 2777088 360 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2712
[startup+1.50124 s]
/proc/loadavg: 1.07 1.00 1.01 4/68 21874
/proc/meminfo: memFree=1119776/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=2712 CPUtime=2.42
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 530 0 0 0 138 104 0 0 18 0 4 0 1123541340 2777088 515 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 678 515 70 163 0 513 0
[pid=21870/tid=21871] ppid=21868 vsize=2712 CPUtime=0.66
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 250 0 0 0 14 52 0 0 17 0 4 0 1123541340 2777088 515 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=2712 CPUtime=0.88
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 102 0 0 0 62 26 0 0 16 0 4 0 1123541340 2777088 515 1992294400 134512640 135180984 4294956208 18446744073709551615 134523667 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=2712 CPUtime=0.87
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 95 0 0 0 62 25 0 0 16 0 4 0 1123541340 2777088 515 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 2712
[startup+3.10162 s]
/proc/loadavg: 1.07 1.00 1.01 3/68 21874
/proc/meminfo: memFree=1118816/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=3868 CPUtime=5.07
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 811 0 0 0 284 223 0 0 18 0 4 0 1123541340 3960832 796 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 967 796 70 163 0 802 0
[pid=21870/tid=21871] ppid=21868 vsize=3868 CPUtime=1.42
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 486 0 0 0 29 113 0 0 16 0 4 0 1123541340 3960832 796 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=3868 CPUtime=1.79
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 117 0 0 0 126 53 0 0 16 0 4 0 1123541340 3960832 796 1992294400 134512640 135180984 4294956208 18446744073709551615 134523851 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=3868 CPUtime=1.83
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 125 0 0 0 127 56 0 0 16 0 4 0 1123541340 3960832 796 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 3868
[startup+6.30267 s]
/proc/loadavg: 1.15 1.02 1.01 4/68 21874
/proc/meminfo: memFree=1116512/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=6212 CPUtime=10.47
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 1342 0 0 0 586 461 0 0 18 0 4 0 1123541340 6361088 1327 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 1553 1327 70 163 0 1388 0
[pid=21870/tid=21871] ppid=21868 vsize=6212 CPUtime=2.85
/proc/21870/task/21871/stat : 21871 (satake) S 21868 21870 21610 0 -1 4194368 942 0 0 0 55 230 0 0 15 0 4 0 1123541340 6361088 1327 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=6212 CPUtime=3.76
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 143 0 0 0 262 114 0 0 15 0 4 0 1123541340 6361088 1327 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=6212 CPUtime=3.83
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 174 0 0 0 267 116 0 0 16 0 4 0 1123541340 6361088 1327 1992294400 134512640 135180984 4294956208 18446744073709551615 134532417 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.47
Current children cumulated vsize (KiB) 6212
[startup+12.7017 s]
/proc/loadavg: 1.22 1.03 1.02 4/68 21874
/proc/meminfo: memFree=1112096/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=10732 CPUtime=21.27
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 2375 0 0 0 1202 925 0 0 18 0 4 0 1123541340 10989568 2360 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 2683 2360 70 163 0 2518 0
[pid=21870/tid=21871] ppid=21868 vsize=10732 CPUtime=5.65
/proc/21870/task/21871/stat : 21871 (satake) S 21868 21870 21610 0 -1 4194368 1807 0 0 0 111 454 0 0 15 0 4 0 1123541340 10989568 2360 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=10732 CPUtime=7.76
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 229 0 0 0 543 233 0 0 16 0 4 0 1123541340 10989568 2360 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=10732 CPUtime=7.84
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 256 0 0 0 548 236 0 0 15 0 4 0 1123541340 10989568 2360 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.27
Current children cumulated vsize (KiB) 10732
[startup+25.5011 s]
/proc/loadavg: 1.47 1.10 1.04 2/68 21874
/proc/meminfo: memFree=1104224/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=20048 CPUtime=42.97
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 4308 0 0 0 2438 1859 0 0 18 0 4 0 1123541340 20529152 4293 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 5012 4293 70 163 0 4847 0
[pid=21870/tid=21871] ppid=21868 vsize=20048 CPUtime=11.31
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 3447 0 0 0 229 902 0 0 16 0 4 0 1123541340 20529152 4293 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=20048 CPUtime=15.79
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 336 0 0 0 1102 477 0 0 16 0 4 0 1123541340 20529152 4293 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=20048 CPUtime=15.87
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 442 0 0 0 1107 480 0 0 16 0 4 0 1123541340 20529152 4293 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.97
Current children cumulated vsize (KiB) 20048
[startup+51.1028 s]
/proc/loadavg: 1.78 1.20 1.07 3/68 21874
/proc/meminfo: memFree=1089184/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=37124 CPUtime=86.76
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 8059 0 0 0 4969 3707 0 0 18 0 4 0 1123541340 38014976 8044 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 9281 8044 70 163 0 9116 0
[pid=21870/tid=21871] ppid=21868 vsize=37124 CPUtime=22.54
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 6536 0 0 0 457 1797 0 0 15 0 4 0 1123541340 38014976 8044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=37124 CPUtime=32.06
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 620 0 0 0 2254 952 0 0 16 0 4 0 1123541340 38014976 8044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=37124 CPUtime=32.13
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 820 0 0 0 2257 956 0 0 16 0 4 0 1123541340 38014976 8044 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.76
Current children cumulated vsize (KiB) 37124
[startup+102.306 s]
/proc/loadavg: 2.19 1.39 1.14 3/68 21874
/proc/meminfo: memFree=1059680/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=72720 CPUtime=175.38
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 15354 0 0 0 10176 7362 0 0 18 0 4 0 1123541340 74465280 15339 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 18180 15339 70 163 0 18015 0
[pid=21870/tid=21871] ppid=21868 vsize=72720 CPUtime=44.77
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 12223 0 0 0 922 3555 0 0 16 0 4 0 1123541340 74465280 15339 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=72720 CPUtime=64.98
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 1457 0 0 0 4604 1894 0 0 16 0 4 0 1123541340 74465280 15339 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=72720 CPUtime=65.61
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 1591 0 0 0 4649 1912 0 0 15 0 4 0 1123541340 74465280 15339 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 175.38
Current children cumulated vsize (KiB) 72720
[startup+162.301 s]
/proc/loadavg: 2.31 1.56 1.21 4/68 21874
/proc/meminfo: memFree=1026400/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=112880 CPUtime=279.27
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 23731 0 0 0 16345 11582 0 0 18 0 4 0 1123541340 115589120 23716 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 28220 23716 70 163 0 28055 0
[pid=21870/tid=21871] ppid=21868 vsize=112880 CPUtime=70.76
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 18652 0 0 0 1466 5610 0 0 16 0 4 0 1123541340 115589120 23716 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=112880 CPUtime=103.71
################
# More data... #
################
Current children cumulated vsize (KiB) 112880
[startup+222.302 s]
/proc/loadavg: 2.22 1.65 1.27 3/68 21874
/proc/meminfo: memFree=992800/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=152432 CPUtime=383.52
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 32037 0 0 0 22551 15801 0 0 18 0 4 0 1123541340 156090368 32022 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 38108 32022 70 163 0 37943 0
[pid=21870/tid=21871] ppid=21868 vsize=152432 CPUtime=96.49
/proc/21870/task/21871/stat : 21871 (satake) S 21868 21870 21610 0 -1 4194368 24735 0 0 0 1999 7650 0 0 16 0 4 0 1123541340 156090368 32022 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=152432 CPUtime=142.82
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 3707 0 0 0 10227 4055 0 0 16 0 4 0 1123541340 156090368 32022 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=152432 CPUtime=144.18
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 3512 0 0 0 10323 4095 0 0 16 0 4 0 1123541340 156090368 32022 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 383.52
Current children cumulated vsize (KiB) 152432
[startup+282.301 s]
/proc/loadavg: 2.29 1.77 1.33 4/68 21874
/proc/meminfo: memFree=960608/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=189644 CPUtime=489.08
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 40137 0 0 0 29015 19893 0 0 18 0 4 0 1123541340 194195456 40122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 47411 40122 70 163 0 47246 0
[pid=21870/tid=21871] ppid=21868 vsize=189644 CPUtime=121.65
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 30491 0 0 0 2516 9649 0 0 16 0 4 0 1123541340 194195456 40122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=189644 CPUtime=182.94
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 5002 0 0 0 13202 5092 0 0 16 0 4 0 1123541340 194195456 40122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=189644 CPUtime=184.47
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 4561 0 0 0 13296 5151 0 0 15 0 4 0 1123541340 194195456 40122 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 489.08
Current children cumulated vsize (KiB) 189644
[startup+342.303 s]
/proc/loadavg: 2.47 1.92 1.41 3/68 21874
/proc/meminfo: memFree=927968/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=233908 CPUtime=594.69
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 48176 0 0 0 35478 23991 0 0 18 0 4 0 1123541340 239521792 48161 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 58477 48161 70 163 0 58312 0
[pid=21870/tid=21871] ppid=21868 vsize=233908 CPUtime=146.85
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 36050 0 0 0 3044 11641 0 0 16 0 4 0 1123541340 239521792 48161 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=233908 CPUtime=222.84
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 6413 0 0 0 16146 6138 0 0 16 0 4 0 1123541340 239521792 48161 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=233908 CPUtime=224.98
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 5630 0 0 0 16287 6211 0 0 15 0 4 0 1123541340 239521792 48161 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 594.69
Current children cumulated vsize (KiB) 233908
[startup+402.302 s]
/proc/loadavg: 2.46 2.02 1.47 3/68 21874
/proc/meminfo: memFree=896608/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=268576 CPUtime=700.35
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 56090 0 0 0 41997 28038 0 0 18 0 4 0 1123541340 275021824 56075 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 67144 56075 70 163 0 66979 0
[pid=21870/tid=21871] ppid=21868 vsize=268576 CPUtime=171.73
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 41481 0 0 0 3572 13601 0 0 16 0 4 0 1123541340 275021824 56075 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=268576 CPUtime=263.27
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 7763 0 0 0 19145 7182 0 0 16 0 4 0 1123541340 275021824 56075 1992294400 134512640 135180984 4294956208 18446744073709551615 134527103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=268576 CPUtime=265.34
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 6763 0 0 0 19279 7255 0 0 15 0 4 0 1123541340 275021824 56075 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 700.35
Current children cumulated vsize (KiB) 268576
[startup+462.301 s]
/proc/loadavg: 2.37 2.07 1.52 2/68 21874
/proc/meminfo: memFree=864288/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=307012 CPUtime=805.88
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 64068 0 0 0 48436 32152 0 0 18 0 4 0 1123541340 314380288 64053 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 76753 64053 70 163 0 76588 0
[pid=21870/tid=21871] ppid=21868 vsize=307012 CPUtime=196.91
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 46912 0 0 0 4102 15589 0 0 16 0 4 0 1123541340 314380288 64053 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=307012 CPUtime=303.71
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 9037 0 0 0 22124 8247 0 0 16 0 4 0 1123541340 314380288 64053 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=307012 CPUtime=305.23
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 8036 0 0 0 22208 8315 0 0 15 0 4 0 1123541340 314380288 64053 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 805.88
Current children cumulated vsize (KiB) 307012
[startup+522.301 s]
/proc/loadavg: 2.28 2.10 1.56 3/68 21874
/proc/meminfo: memFree=833056/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=345520 CPUtime=912.25
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 71986 0 0 0 55068 36157 0 0 18 0 4 0 1123541340 353812480 71971 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 86380 71971 70 163 0 86215 0
[pid=21870/tid=21871] ppid=21868 vsize=345520 CPUtime=221.58
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 52246 0 0 0 4619 17539 0 0 16 0 4 0 1123541340 353812480 71971 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=345520 CPUtime=344.38
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 10388 0 0 0 25173 9265 0 0 16 0 4 0 1123541340 353812480 71971 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=345520 CPUtime=346.27
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 9269 0 0 0 25275 9352 0 0 16 0 4 0 1123541340 353812480 71971 1992294400 134512640 135180984 4294956208 18446744073709551615 134518791 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 912.25
Current children cumulated vsize (KiB) 345520
[startup+582.302 s]
/proc/loadavg: 2.43 2.17 1.62 2/68 21874
/proc/meminfo: memFree=800928/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=381864 CPUtime=1018.29
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 79913 0 0 0 61679 40150 0 0 18 0 4 0 1123541340 391028736 79898 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 95466 79898 70 163 0 95301 0
[pid=21870/tid=21871] ppid=21868 vsize=381864 CPUtime=246.28
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 57559 0 0 0 5135 19493 0 0 16 0 4 0 1123541340 391028736 79898 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=381864 CPUtime=384.8
/proc/21870/task/21872/stat : 21872 (satake) S 21868 21870 21610 0 -1 4194368 11779 0 0 0 28208 10272 0 0 16 0 4 0 1123541340 391028736 79898 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=381864 CPUtime=387.19
/proc/21870/task/21873/stat : 21873 (satake) S 21868 21870 21610 0 -1 4194368 10492 0 0 0 28334 10385 0 0 15 0 4 0 1123541340 391028736 79898 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1018.29
Current children cumulated vsize (KiB) 381864
[startup+642.301 s]
/proc/loadavg: 2.64 2.26 1.68 3/68 21874
/proc/meminfo: memFree=769056/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=424908 CPUtime=1123.82
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 87802 0 0 0 68227 44155 0 0 18 0 4 0 1123541340 435105792 87787 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 106227 87787 70 163 0 106062 0
[pid=21870/tid=21871] ppid=21868 vsize=424908 CPUtime=270.86
/proc/21870/task/21871/stat : 21871 (satake) S 21868 21870 21610 0 -1 4194368 62627 0 0 0 5649 21437 0 0 16 0 4 0 1123541340 435105792 87787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21870/tid=21872] ppid=21868 vsize=424908 CPUtime=425.11
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 13346 0 0 0 31217 11294 0 0 16 0 4 0 1123541340 435105792 87787 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=424908 CPUtime=427.82
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 11746 0 0 0 31360 11422 0 0 16 0 4 0 1123541340 435105792 87787 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1123.82
Current children cumulated vsize (KiB) 424908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+685.502 s]
/proc/loadavg: 2.58 2.30 1.72 2/68 21874
/proc/meminfo: memFree=746208/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=450676 CPUtime=1200.05
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 93492 0 0 0 72907 47098 0 0 18 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 112669 93477 70 163 0 112504 0
[pid=21870/tid=21871] ppid=21868 vsize=450676 CPUtime=288.94
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 66414 0 0 0 6021 22873 0 0 16 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=450676 CPUtime=454.09
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 14381 0 0 0 33362 12047 0 0 16 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=450676 CPUtime=457
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 12614 0 0 0 33523 12177 0 0 15 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 450676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+685.502 s]
/proc/loadavg: 2.58 2.30 1.72 2/68 21874
/proc/meminfo: memFree=746208/2055920 swapFree=4176920/4192956
[pid=21870] ppid=21868 vsize=450676 CPUtime=1200.05
/proc/21870/stat : 21870 (satake) S 21868 21870 21610 0 -1 4194304 93492 0 0 0 72907 47098 0 0 18 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 112669 93477 70 163 0 112504 0
[pid=21870/tid=21871] ppid=21868 vsize=450676 CPUtime=288.94
/proc/21870/task/21871/stat : 21871 (satake) R 21868 21870 21610 0 -1 4194368 66414 0 0 0 6021 22873 0 0 16 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21872] ppid=21868 vsize=450676 CPUtime=454.09
/proc/21870/task/21872/stat : 21872 (satake) R 21868 21870 21610 0 -1 4194368 14381 0 0 0 33362 12047 0 0 16 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21870/tid=21873] ppid=21868 vsize=450676 CPUtime=457
/proc/21870/task/21873/stat : 21873 (satake) R 21868 21870 21610 0 -1 4194368 12614 0 0 0 33523 12177 0 0 15 0 4 0 1123541340 461492224 93477 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 450676
Child ended because it received signal 15 (SIGTERM)
Real time (s): 685.581
CPU time (s): 1200.14
CPU user time (s): 729.078
CPU system time (s): 471.061
CPU usage (%): 175.054
Max. virtual memory (cumulated for all children) (KiB): 450676
deleting IPC queue 1933312
deleting IPC queue 1966081
deleting IPC queue 1998850
deleting IPC queue 2031619
deleting IPC queue 2064388
deleting IPC queue 2097157
deleting IPC queue 2129926
deleting IPC queue 2162695
deleting IPC queue 2195464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 729.078
system time used= 471.061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93492
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= 19092565
involuntary context switches= 17350607
runsolver used 0.756884 second user time and 2.14367 second system time
The end
Begin job on node35 at 2009-03-31 16:12:44
IDJOB=1543722
IDBENCH=70563
IDSOLVER=553
FILE ID=node35/1543722-1238508764
PBS_JOBID= 9061963
Free space on /tmp= 66504 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/420/unif-k3-r4.25-v420-c1785-S531507935-068.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543722-1238508764/watcher-1543722-1238508764 -o /tmp/evaluation-result-1543722-1238508764/solver-1543722-1238508764 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543722-1238508764.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= 2d23364f7226a1447867652ed6067cac
RANDOM SEED=2067146247
node35.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.229
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.229
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: 1121696 kB
Buffers: 108324 kB
Cached: 721400 kB
SwapCached: 10144 kB
Active: 303048 kB
Inactive: 538364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1121696 kB
SwapTotal: 4192956 kB
SwapFree: 4176920 kB
Dirty: 772 kB
Writeback: 0 kB
Mapped: 17524 kB
Slab: 78776 kB
Committed_AS: 2794960 kB
PageTables: 1404 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= 66504 MiB
End job on node35 at 2009-03-31 16:24:12