0.04 c # Sugar v0-40 (/tmp/evaluation/234967-1170107067/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/234967-1170107067/unknown.xml [Mon Jan 29 22:44:28 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/234967-1170107067/unknown.xml /tmp/evaluation/234967-1170107067/sugar29710.csp [Mon Jan 29 22:44:28 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/234967-1170107067/sugar-v0-40.jar -convert /tmp/evaluation/234967-1170107067/unknown.xml /tmp/evaluation/234967-1170107067/sugar29710.csp
0.17 c BEGIN convert /tmp/evaluation/234967-1170107067/unknown.xml
0.82 c END convert (0.646462 seconds)
0.86 c # CONVERT_XML END : /tmp/evaluation/234967-1170107067/sugar29710.csp 149867 bytes (0 seconds) [Mon Jan 29 22:44:28 2007]
0.86 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.86
0.86 c # GENERATE_SAT BEGIN : /tmp/evaluation/234967-1170107067/sugar29710.bcnf [Mon Jan 29 22:44:28 2007]
0.86 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/234967-1170107067/sugar-v0-40.jar -bcnf -map /tmp/evaluation/234967-1170107067/sugar29710.map /tmp/evaluation/234967-1170107067/sugar29710.csp /tmp/evaluation/234967-1170107067/sugar29710.bcnf
0.98 c BEGIN parse /tmp/evaluation/234967-1170107067/sugar29710.csp
1.57 c END parse (0.588248 seconds)
1.57 c BEGIN simplify
1.60 c END simplify (0.031401 seconds)
1.60 c BEGIN encode /tmp/evaluation/234967-1170107067/sugar29710.bcnf
9.26 c END encode (7.655111 seconds)
9.33 c # GENERATE_SAT END : 420381 variables 8397693 clauses 131152260 bytes (9 seconds) [Mon Jan 29 22:44:37 2007]
9.33 c # GENERATE_SAT CPU : 8.41 = 0.05 + 0.01 + 7.75 + 0.6
9.33
9.33 c # SOLVE_SAT BEGIN : /tmp/evaluation/234967-1170107067/sugar29710.bcnf [Mon Jan 29 22:44:37 2007]
9.33 c # CMD : /tmp/evaluation/234967-1170107067/minisat /tmp/evaluation/234967-1170107067/sugar29710.bcnf /tmp/evaluation/234967-1170107067/sugar29710.out
17.44 c ==================================[MINISAT]===================================
17.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
17.44 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
17.44 c ==============================================================================
17.44 c | 0 | 4785333 13621275 | 1595111 0 0 nan | 0.000 % |
20.19 c | 100 | 4785333 13621275 | 1754622 100 2261 22.6 | 49.738 % |
22.68 c | 250 | 4785333 13621275 | 1930084 250 5190 20.8 | 49.738 % |
24.65 c | 475 | 4785333 13621275 | 2123092 475 8450 17.8 | 49.738 % |
28.65 c | 812 | 4785334 13621275 | 2335402 811 14778 18.2 | 49.738 % |
35.10 c | 1319 | 4785335 13621275 | 2568942 1317 25511 19.4 | 49.738 % |
45.53 c | 2079 | 4785342 13621275 | 2825836 2070 46132 22.3 | 49.738 % |
62.41 c | 3218 | 4785343 13621275 | 3108420 3208 70822 22.1 | 49.738 % |
85.42 c | 4928 | 4785346 13621275 | 3419262 4915 103485 21.1 | 49.738 % |
118.36 c | 7490 | 4785347 13621275 | 3761188 7476 153392 20.5 | 49.738 % |
163.27 c | 11334 | 4785348 13621275 | 4137307 11319 278110 24.6 | 49.738 % |
230.14 c | 17101 | 4785350 13621275 | 4551037 17084 423042 24.8 | 49.738 % |
348.48 c | 25750 | 4785362 13621275 | 5006141 25721 731709 28.4 | 49.738 % |
515.16 c | 38725 | 4785368 13621275 | 5506755 38690 1038942 26.9 | 49.738 % |
791.28 c | 58187 | 4785375 13621275 | 6057431 58145 1761330 30.3 | 49.738 % |
1106.15 c | 87381 | 4785380 13621275 | 6663174 87334 2923590 33.5 | 49.738 % |
1598.42 c | 131170 | 4785391 13621275 | 7329491 131112 4257630 32.5 | 49.738 % |
1805.17
1805.17 s UNKNOWN
1805.17 c # INTERRUPTED
1805.17 c # MAIN END : (1805 seconds) [Mon Jan 29 23:14:33 2007]
1805.17 c # MAIN CPU : 8.41 = 0.05 + 0.01 + 7.75 + 0.6
1805.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-234967-1170107067 -o ROOT/results/node35/solver-234967-1170107067 -C 1800 -M 900 /tmp/evaluation/234967-1170107067/solver /tmp/evaluation/234967-1170107067 /tmp/evaluation/234967-1170107067/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.10 2.08 2.35 5/74 29711
/proc/meminfo: memFree=1871744/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=12268 CPUtime=0
/proc/29710/stat : 29710 (sugar) R 29708 29710 29034 0 -1 4194304 595 0 0 0 0 0 0 0 18 0 1 0 4470469 12562432 314 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266152527929 0 0 4224 0 0 0 0 17 1 0 0
/proc/29710/statm: 3067 315 241 3 0 167 0
[startup+0.103402 s]
/proc/loadavg: 2.10 2.08 2.35 5/74 29711
/proc/meminfo: memFree=1871744/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=13724 CPUtime=0.03
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 4470469 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511486 s]
/proc/loadavg: 2.10 2.08 2.35 5/74 29711
/proc/meminfo: memFree=1871744/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=13724 CPUtime=0.03
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4470469 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33265 s]
/proc/loadavg: 2.18 2.10 2.35 3/83 29727
/proc/meminfo: memFree=1859640/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=13724 CPUtime=0.03
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 4470469 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 3431 808 370 3 0 531 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29720] ppid=29710 vsize=807332 CPUtime=0.45
/proc/29720/stat : 29720 (java) R 29710 29710 29034 0 -1 0 6632 0 1 0 40 5 0 0 21 0 8 0 4470556 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29720/statm: 201833 6382 1506 14 0 189111 0
[pid=29720/tid=29721] ppid=29710 vsize=807332 CPUtime=0.02
/proc/29720/task/29721/stat : 29721 (java) S 29710 29710 29034 0 -1 64 490 0 0 0 2 0 0 0 16 0 8 0 4470559 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29722] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29722/stat : 29722 (java) S 29710 29710 29034 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4470560 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29723] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29723/stat : 29723 (java) S 29710 29710 29034 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4470560 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29724] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29724/stat : 29724 (java) S 29710 29710 29034 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4470563 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29725] ppid=29710 vsize=807332 CPUtime=0.08
/proc/29720/task/29725/stat : 29725 (java) S 29710 29710 29034 0 -1 64 358 0 0 0 8 0 0 0 16 0 8 0 4470563 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29726] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29726/stat : 29726 (java) S 29710 29710 29034 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4470563 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29727] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29727/stat : 29727 (java) S 29710 29710 29034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4470563 826707968 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 821056
[startup+2.98298 s]
/proc/loadavg: 2.18 2.10 2.35 3/83 29727
/proc/meminfo: memFree=1833464/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=13724 CPUtime=0.03
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 4470469 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 3431 808 370 3 0 531 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29720] ppid=29710 vsize=807332 CPUtime=2.1
/proc/29720/stat : 29720 (java) R 29710 29710 29034 0 -1 0 8241 0 1 0 197 13 0 0 25 0 8 0 4470556 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29720/statm: 201833 7988 1510 14 0 189111 0
[pid=29720/tid=29721] ppid=29710 vsize=807332 CPUtime=0.09
/proc/29720/task/29721/stat : 29721 (java) S 29710 29710 29034 0 -1 64 2010 0 0 0 9 0 0 0 16 0 8 0 4470559 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29722] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29722/stat : 29722 (java) S 29710 29710 29034 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4470560 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29723] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29723/stat : 29723 (java) S 29710 29710 29034 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4470560 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29724] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29724/stat : 29724 (java) S 29710 29710 29034 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4470563 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29725] ppid=29710 vsize=807332 CPUtime=0.15
/proc/29720/task/29725/stat : 29725 (java) S 29710 29710 29034 0 -1 64 419 0 0 0 15 0 0 0 16 0 8 0 4470563 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29726] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29726/stat : 29726 (java) S 29710 29710 29034 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4470563 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29727] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29727/stat : 29727 (java) S 29710 29710 29034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4470563 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821056
[startup+6.27764 s]
/proc/loadavg: 2.16 2.10 2.35 3/83 29727
/proc/meminfo: memFree=1775544/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=13724 CPUtime=0.03
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 4470469 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 3431 808 370 3 0 531 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29720] ppid=29710 vsize=807332 CPUtime=5.39
/proc/29720/stat : 29720 (java) R 29710 29710 29034 0 -1 0 8243 0 1 0 499 40 0 0 25 0 8 0 4470556 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29720/statm: 201833 7990 1510 14 0 189111 0
[pid=29720/tid=29721] ppid=29710 vsize=807332 CPUtime=0.09
/proc/29720/task/29721/stat : 29721 (java) S 29710 29710 29034 0 -1 64 2010 0 0 0 9 0 0 0 16 0 8 0 4470559 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29722] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29722/stat : 29722 (java) S 29710 29710 29034 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4470560 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29723] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29723/stat : 29723 (java) S 29710 29710 29034 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4470560 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29724] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29724/stat : 29724 (java) S 29710 29710 29034 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4470563 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29725] ppid=29710 vsize=807332 CPUtime=0.15
/proc/29720/task/29725/stat : 29725 (java) S 29710 29710 29034 0 -1 64 421 0 0 0 15 0 0 0 16 0 8 0 4470563 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29726] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29726/stat : 29726 (java) S 29710 29710 29034 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4470563 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29720/tid=29727] ppid=29710 vsize=807332 CPUtime=0
/proc/29720/task/29727/stat : 29727 (java) S 29710 29710 29034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4470563 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821056
[startup+12.7619 s]
/proc/loadavg: 2.23 2.11 2.35 3/76 29728
/proc/meminfo: memFree=1529904/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2113 8259 0 1 8 1 775 60 19 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=232528 CPUtime=3.42
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 56745 0 0 0 297 45 0 0 25 0 1 0 4471403 238108672 56541 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 0 0 0 0 17 1 0 0
/proc/29728/statm: 58132 56542 36 112 0 58016 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 249636
[startup+25.6095 s]
/proc/loadavg: 2.19 2.11 2.35 3/76 29728
/proc/meminfo: memFree=1393776/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350400 CPUtime=16.25
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87109 0 0 0 1557 68 0 0 25 0 1 0 4471403 358809600 85879 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87600 85879 51 112 0 87484 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 367508
[startup+51.2976 s]
/proc/loadavg: 2.12 2.09 2.34 3/76 29728
/proc/meminfo: memFree=1392944/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350400 CPUtime=41.93
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87129 0 0 0 4124 69 0 0 25 0 1 0 4471403 358809600 85899 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87600 85899 51 112 0 87484 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 367508
[startup+102.567 s]
/proc/loadavg: 2.05 2.08 2.32 3/76 29728
/proc/meminfo: memFree=1389296/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350400 CPUtime=93.18
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87138 0 0 0 9249 69 0 0 25 0 1 0 4471403 358809600 85908 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87600 85908 51 112 0 87484 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 367508
[startup+162.57 s]
/proc/loadavg: 2.02 2.06 2.29 3/76 29728
/proc/meminfo: memFree=1389232/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350400 CPUtime=153.16
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87138 0 0 0 15247 69 0 0 25 0 1 0 4471403 358809600 85908 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87600 85908 51 112 0 87484 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 367508
[startup+222.573 s]
/proc/loadavg: 2.00 2.05 2.27 3/76 29728
/proc/meminfo: memFree=1389168/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
################
# More data... #
################
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87235 0 0 0 122803 235 0 0 25 0 1 0 4471403 359366656 86005 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86005 51 112 0 87620 0
Current children cumulated CPU time (s) 1239.58
Current children cumulated vsize (KiB) 368052
[startup+1303.27 s]
/proc/loadavg: 3.25 3.16 2.59 3/83 30133
/proc/meminfo: memFree=15640/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1290.33
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87242 0 0 0 128772 261 0 0 25 0 1 0 4471403 359366656 86012 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86012 51 112 0 87620 0
Current children cumulated CPU time (s) 1299.53
Current children cumulated vsize (KiB) 368052
[startup+1363.3 s]
/proc/loadavg: 2.64 3.01 2.57 3/83 30133
/proc/meminfo: memFree=15448/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1350.22
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87248 0 0 0 134742 280 0 0 25 0 1 0 4471403 359366656 86018 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86018 51 112 0 87620 0
Current children cumulated CPU time (s) 1359.42
Current children cumulated vsize (KiB) 368052
[startup+1423.33 s]
/proc/loadavg: 2.48 2.88 2.55 3/83 30133
/proc/meminfo: memFree=15448/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1410.15
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87254 0 0 0 140716 299 0 0 25 0 1 0 4471403 359366656 86024 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86024 51 112 0 87620 0
Current children cumulated CPU time (s) 1419.35
Current children cumulated vsize (KiB) 368052
[startup+1483.39 s]
/proc/loadavg: 2.69 2.86 2.56 3/83 30133
/proc/meminfo: memFree=15064/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1470.08
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87260 0 0 0 146689 319 0 0 25 0 1 0 4471403 359366656 86030 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86030 51 112 0 87620 0
Current children cumulated CPU time (s) 1479.28
Current children cumulated vsize (KiB) 368052
[startup+1543.48 s]
/proc/loadavg: 3.31 2.98 2.62 3/83 30133
/proc/meminfo: memFree=14936/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1530.05
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87265 0 0 0 152668 337 0 0 25 0 1 0 4471403 359366656 86035 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86035 51 112 0 87620 0
Current children cumulated CPU time (s) 1539.25
Current children cumulated vsize (KiB) 368052
[startup+1603.53 s]
/proc/loadavg: 3.41 3.11 2.68 3/83 30133
/proc/meminfo: memFree=14872/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1589.97
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87269 0 0 0 158632 365 0 0 25 0 1 0 4471403 359366656 86039 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87736 86039 51 112 0 87620 0
Current children cumulated CPU time (s) 1599.17
Current children cumulated vsize (KiB) 368052
[startup+1663.6 s]
/proc/loadavg: 2.86 3.01 2.68 3/83 30133
/proc/meminfo: memFree=15512/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=350944 CPUtime=1649.84
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87273 0 0 0 164602 382 0 0 25 0 1 0 4471403 359366656 86043 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525022 0 0 4096 3 0 0 0 17 0 0 0
/proc/29728/statm: 87736 86043 51 112 0 87620 0
Current children cumulated CPU time (s) 1659.04
Current children cumulated vsize (KiB) 368052
[startup+1723.66 s]
/proc/loadavg: 2.76 2.93 2.67 3/83 30133
/proc/meminfo: memFree=15000/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=351212 CPUtime=1709.47
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87277 0 0 0 170538 409 0 0 25 0 1 0 4471403 359641088 86047 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87803 86047 51 112 0 87687 0
Current children cumulated CPU time (s) 1718.67
Current children cumulated vsize (KiB) 368320
[startup+1783.76 s]
/proc/loadavg: 2.41 2.80 2.64 3/83 30133
/proc/meminfo: memFree=15704/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=351212 CPUtime=1769.45
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87281 0 0 0 176513 432 0 0 25 0 1 0 4471403 359641088 86051 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134524987 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87803 86051 51 112 0 87687 0
Current children cumulated CPU time (s) 1778.65
Current children cumulated vsize (KiB) 368320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.16 s]
/proc/loadavg: 2.30 2.75 2.62 3/83 30133
/proc/meminfo: memFree=15448/2055920 swapFree=4192812/4192956
[pid=29710] ppid=29708 vsize=17108 CPUtime=8.44
/proc/29710/stat : 29710 (sugar) S 29708 29710 29034 0 -1 4194304 2122 8259 0 1 8 1 775 60 16 0 1 0 4470469 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29710/statm: 4277 1633 373 3 0 1377 0
[pid=29712] ppid=29710 vsize=0 CPUtime=0.76
/proc/29712/stat : 29712 (java) Z 29710 29710 29034 0 -1 1036 8808 0 1 0 70 6 0 0 16 0 1 0 4470474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29712/statm: 0 0 0 0 0 0 0
[pid=29728] ppid=29710 vsize=351212 CPUtime=1790.8
/proc/29728/stat : 29728 (minisat) R 29710 29710 29034 0 -1 0 87283 0 0 0 178639 441 0 0 25 0 1 0 4471403 359641088 86053 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528284 0 0 4096 3 0 0 0 17 1 0 0
/proc/29728/statm: 87803 86053 51 112 0 87687 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 368320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29710 and gives childrusage.ru_utime.tv_sec=7 childrusage.ru_utime.tv_usec=840808 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=639902
CPU time returned by wait4() is 8.48071
while last known CPU time is 1800.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.5
CPU time (s): 1800.07
CPU user time (s): 1794.93
CPU system time (s): 5.14
CPU usage (%): 99.6443
Max. virtual memory (cumulated for all children) (KiB): 821056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.84081
system time used= 0.639902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10466
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 906
involuntary context switches= 809
runsolver used 1.81672 s user time and 5.2782 s system time
The end
Begin job on node35 on Mon Jan 29 21:44:27 UTC 2007
IDJOB= 234967
IDBENCH= 6730
IDSOLVER= 86
FILE ID= node35/234967-1170107067
PBS_JOBID= 3689792
Free space on /tmp= 66551 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20-15/js-taillard-20-15-100-7.xml
COMMAND LINE= /tmp/evaluation/234967-1170107067/solver /tmp/evaluation/234967-1170107067 /tmp/evaluation/234967-1170107067/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-234967-1170107067 -o ROOT/results/node35/solver-234967-1170107067 -C 1800 -M 900 /tmp/evaluation/234967-1170107067/solver /tmp/evaluation/234967-1170107067 /tmp/evaluation/234967-1170107067/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d049831f37c0733d90520710eabcf256
RANDOM SEED= 882606609
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.263
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.263
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: 1872424 kB
Buffers: 16412 kB
Cached: 55192 kB
SwapCached: 0 kB
Active: 110036 kB
Inactive: 28780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1872424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1184 kB
Writeback: 0 kB
Mapped: 78192 kB
Slab: 30020 kB
Committed_AS: 361832 kB
PageTables: 1884 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= 52629 MiB
End job on node35 on Mon Jan 29 22:14:35 UTC 2007