0.05 c # Sugar v0-40 (/tmp/evaluation/208456-1170097065/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/208456-1170097065/unknown.xml [Mon Jan 29 19:57:45 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/208456-1170097065/unknown.xml /tmp/evaluation/208456-1170097065/sugar26145.csp [Mon Jan 29 19:57:45 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208456-1170097065/sugar-v0-40.jar -convert /tmp/evaluation/208456-1170097065/unknown.xml /tmp/evaluation/208456-1170097065/sugar26145.csp
0.17 c BEGIN convert /tmp/evaluation/208456-1170097065/unknown.xml
0.68 c END convert (0.51091 seconds)
0.70 c # CONVERT_XML END : /tmp/evaluation/208456-1170097065/sugar26145.csp 1105473 bytes (1 seconds) [Mon Jan 29 19:57:46 2007]
0.70 c # CONVERT_XML CPU : 0.62 = 0 + 0 + 0.57 + 0.05
0.70
0.70 c # GENERATE_SAT BEGIN : /tmp/evaluation/208456-1170097065/sugar26145.bcnf [Mon Jan 29 19:57:46 2007]
0.70 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208456-1170097065/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208456-1170097065/sugar26145.map /tmp/evaluation/208456-1170097065/sugar26145.csp /tmp/evaluation/208456-1170097065/sugar26145.bcnf
0.82 c BEGIN parse /tmp/evaluation/208456-1170097065/sugar26145.csp
12.54 c END parse (11.711327 seconds)
12.54 c BEGIN simplify
12.60 c END simplify (0.066777 seconds)
12.60 c BEGIN encode /tmp/evaluation/208456-1170097065/sugar26145.bcnf
13.15 c END encode (0.541635 seconds)
13.26 c # GENERATE_SAT END : 5220 variables 43392 clauses 4251772 bytes (12 seconds) [Mon Jan 29 19:57:58 2007]
13.26 c # GENERATE_SAT CPU : 12.5 = 0.04 + 0.01 + 12.09 + 0.36
13.26
13.26 c # SOLVE_SAT BEGIN : /tmp/evaluation/208456-1170097065/sugar26145.bcnf [Mon Jan 29 19:57:58 2007]
13.26 c # CMD : /tmp/evaluation/208456-1170097065/minisat /tmp/evaluation/208456-1170097065/sugar26145.bcnf /tmp/evaluation/208456-1170097065/sugar26145.out
13.37 c ==================================[MINISAT]===================================
13.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
13.37 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
13.37 c ==============================================================================
13.37 c | 0 | 43392 1019543 | 14464 0 0 nan | 0.000 % |
13.39 c | 100 | 43392 1019543 | 15910 100 1851 18.5 | 0.000 % |
13.41 c | 250 | 43392 1019543 | 17501 250 3462 13.8 | 0.000 % |
13.45 c | 476 | 43392 1019543 | 19251 476 5476 11.5 | 0.000 % |
13.50 c | 813 | 43392 1019543 | 21176 813 8675 10.7 | 0.000 % |
13.59 c | 1319 | 43392 1019543 | 23294 1319 13605 10.3 | 0.000 % |
13.74 c | 2081 | 43392 1019543 | 25623 2081 22303 10.7 | 0.000 % |
13.96 c | 3222 | 43394 1019543 | 28186 3220 35750 11.1 | 0.000 % |
14.32 c | 4931 | 43394 1019543 | 31004 4929 57807 11.7 | 0.000 % |
14.88 c | 7494 | 43394 1019543 | 34105 7492 93154 12.4 | 0.000 % |
15.82 c | 11338 | 43394 1019543 | 37515 11336 144962 12.8 | 0.000 % |
17.42 c | 17105 | 43401 1019543 | 41267 17096 238216 13.9 | 0.000 % |
20.53 c | 25755 | 43402 1019543 | 45394 25745 373517 14.5 | 0.000 % |
26.61 c | 38729 | 43402 1019543 | 49933 38719 592193 15.3 | 0.000 % |
36.33 c | 58190 | 43412 1019543 | 54927 22417 433895 19.4 | 0.000 % |
52.53 c | 87382 | 43419 1019543 | 60419 51602 1052484 20.4 | 0.000 % |
76.18 c | 131171 | 43424 1019543 | 66461 50099 976043 19.5 | 0.000 % |
117.62 c | 196855 | 43431 1019543 | 73107 63544 1222716 19.2 | 0.001 % |
186.30 c | 295382 | 43440 1019543 | 80418 50510 953227 18.9 | 0.001 % |
293.29 c | 443171 | 43456 1019543 | 88460 69134 2398210 34.7 | 0.000 % |
465.80 c | 664854 | 43488 1019543 | 97306 75719 2667683 35.2 | 0.000 % |
743.98 c | 997380 | 43519 1019543 | 107037 90718 3504606 38.6 | 0.000 % |
1190.86 c | 1496169 | 43447 1017506 | 117740 76594 2789196 36.4 | 0.019 % |
1801.05
1801.05 s UNKNOWN
1801.05 c # INTERRUPTED
1801.05 c # MAIN END : (1801 seconds) [Mon Jan 29 20:27:46 2007]
1801.05 c # MAIN CPU : 13.12 = 0.04 + 0.01 + 12.66 + 0.41
1801.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-208456-1170097065 -o ROOT/results/node24/solver-208456-1170097065 -C 1800 -M 900 /tmp/evaluation/208456-1170097065/solver /tmp/evaluation/208456-1170097065 /tmp/evaluation/208456-1170097065/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: 1.74 1.86 2.18 5/87 26146
/proc/meminfo: memFree=1854112/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=12128 CPUtime=0
/proc/26145/stat : 26145 (sugar) R 26143 26145 25924 0 -1 4194304 498 0 0 0 0 0 0 0 20 0 1 0 29660800 12419072 217 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237788107489 0 0 4224 0 0 0 0 17 1 0 0
/proc/26145/statm: 3032 217 163 3 0 132 0
[startup+0.106195 s]
/proc/loadavg: 1.74 1.86 2.18 5/87 26146
/proc/meminfo: memFree=1854112/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=13724 CPUtime=0.03
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29660800 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51424 s]
/proc/loadavg: 1.74 1.86 2.18 5/87 26146
/proc/meminfo: memFree=1854112/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=13724 CPUtime=0.03
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29660800 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33633 s]
/proc/loadavg: 1.74 1.86 2.18 4/95 26162
/proc/meminfo: memFree=1831136/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=13724 CPUtime=0.65
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1190 7510 0 1 3 0 57 5 15 0 1 0 29660800 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 3431 809 371 3 0 531 0
[pid=26155] ppid=26145 vsize=807064 CPUtime=0.6
/proc/26155/stat : 26155 (java) R 26145 26145 25924 0 -1 0 7747 0 1 0 55 5 0 0 22 0 8 0 29660871 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073549162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26155/statm: 201766 7495 1494 14 0 189044 0
[pid=26155/tid=26156] ppid=26145 vsize=807064 CPUtime=0.09
/proc/26155/task/26156/stat : 26156 (java) S 26145 26145 25924 0 -1 64 1693 0 0 0 9 0 0 0 16 0 8 0 29660874 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26157] ppid=26145 vsize=807064 CPUtime=0
/proc/26155/task/26157/stat : 26157 (java) S 26145 26145 25924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29660874 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26158] ppid=26145 vsize=807064 CPUtime=0
/proc/26155/task/26158/stat : 26158 (java) S 26145 26145 25924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29660875 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26159] ppid=26145 vsize=807064 CPUtime=0
/proc/26155/task/26159/stat : 26159 (java) S 26145 26145 25924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29660878 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26160] ppid=26145 vsize=807064 CPUtime=0.05
/proc/26155/task/26160/stat : 26160 (java) S 26145 26145 25924 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29660878 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26161] ppid=26145 vsize=807064 CPUtime=0
/proc/26155/task/26161/stat : 26161 (java) S 26145 26145 25924 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29660878 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26162] ppid=26145 vsize=807064 CPUtime=0
/proc/26155/task/26162/stat : 26162 (java) S 26145 26145 25924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29660878 826433536 7495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.98951 s]
/proc/loadavg: 1.74 1.86 2.18 4/95 26162
/proc/meminfo: memFree=1812640/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=13724 CPUtime=0.65
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1190 7510 0 1 3 0 57 5 15 0 1 0 29660800 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 3431 809 371 3 0 531 0
[pid=26155] ppid=26145 vsize=807336 CPUtime=2.26
/proc/26155/stat : 26155 (java) R 26145 26145 25924 0 -1 0 15248 0 1 0 216 10 0 0 25 0 8 0 29660871 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26155/statm: 201834 14971 1506 14 0 189112 0
[pid=26155/tid=26156] ppid=26145 vsize=807336 CPUtime=0.55
/proc/26155/task/26156/stat : 26156 (java) S 26145 26145 25924 0 -1 64 9025 0 0 0 51 4 0 0 16 0 8 0 29660874 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26157] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26157/stat : 26157 (java) S 26145 26145 25924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29660874 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26158] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26158/stat : 26158 (java) S 26145 26145 25924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29660875 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26159] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26159/stat : 26159 (java) S 26145 26145 25924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29660878 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26160] ppid=26145 vsize=807336 CPUtime=0.14
/proc/26155/task/26160/stat : 26160 (java) S 26145 26145 25924 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 29660878 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26161] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26161/stat : 26161 (java) S 26145 26145 25924 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29660878 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26162] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26162/stat : 26162 (java) S 26145 26145 25924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29660878 826712064 14971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821060
[startup+6.20467 s]
/proc/loadavg: 1.76 1.86 2.18 4/95 26162
/proc/meminfo: memFree=1727904/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=13724 CPUtime=0.65
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1190 7510 0 1 3 0 57 5 15 0 1 0 29660800 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 3431 809 371 3 0 531 0
[pid=26155] ppid=26145 vsize=807336 CPUtime=5.47
/proc/26155/stat : 26155 (java) R 26145 26145 25924 0 -1 0 35828 0 1 0 526 21 0 0 25 0 8 0 29660871 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26155/statm: 201834 35459 1506 14 0 189112 0
[pid=26155/tid=26156] ppid=26145 vsize=807336 CPUtime=1.48
/proc/26155/task/26156/stat : 26156 (java) R 26145 26145 25924 0 -1 64 29510 0 0 0 134 14 0 0 15 0 8 0 29660874 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827388 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26157] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26157/stat : 26157 (java) S 26145 26145 25924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29660874 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26158] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26158/stat : 26158 (java) S 26145 26145 25924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29660875 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26159] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26159/stat : 26159 (java) S 26145 26145 25924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29660878 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26160] ppid=26145 vsize=807336 CPUtime=0.15
/proc/26155/task/26160/stat : 26160 (java) S 26145 26145 25924 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 29660878 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26161] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26161/stat : 26161 (java) S 26145 26145 25924 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29660878 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26162] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26162/stat : 26162 (java) S 26145 26145 25924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29660878 826712064 35459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 821060
[startup+12.6874 s]
/proc/loadavg: 1.78 1.86 2.18 3/95 26162
/proc/meminfo: memFree=1639784/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=13724 CPUtime=0.65
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1190 7510 0 1 3 0 57 5 16 0 1 0 29660800 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 3431 809 371 3 0 531 0
[pid=26155] ppid=26145 vsize=807336 CPUtime=11.94
/proc/26155/stat : 26155 (java) R 26145 26145 25924 0 -1 0 54816 0 1 0 1164 30 0 0 25 0 8 0 29660871 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072945001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26155/statm: 201834 54124 1511 14 0 189112 0
[pid=26155/tid=26156] ppid=26145 vsize=807336 CPUtime=3.46
/proc/26155/task/26156/stat : 26156 (java) S 26145 26145 25924 0 -1 64 48297 0 0 0 324 22 0 0 16 0 8 0 29660874 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26157] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26157/stat : 26157 (java) S 26145 26145 25924 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29660874 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26158] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26158/stat : 26158 (java) S 26145 26145 25924 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29660875 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26159] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26159/stat : 26159 (java) S 26145 26145 25924 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29660878 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26160] ppid=26145 vsize=807336 CPUtime=0.16
/proc/26155/task/26160/stat : 26160 (java) S 26145 26145 25924 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 29660878 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26161] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26161/stat : 26161 (java) S 26145 26145 25924 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29660878 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26155/tid=26162] ppid=26145 vsize=807336 CPUtime=0
/proc/26155/task/26162/stat : 26162 (java) S 26145 26145 25924 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29660878 826712064 54124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 821060
[startup+25.5318 s]
/proc/loadavg: 1.83 1.87 2.18 3/88 26163
/proc/meminfo: memFree=1835040/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=10612 CPUtime=12.25
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 3331 0 0 0 1222 3 0 0 25 0 1 0 29662127 10866688 2292 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 2653 2292 52 112 0 2537 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 26924
[startup+51.1985 s]
/proc/loadavg: 1.89 1.88 2.17 3/88 26163
/proc/meminfo: memFree=1831072/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=13416 CPUtime=37.9
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 4019 0 0 0 3785 5 0 0 25 0 1 0 29662127 13737984 2980 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 3354 2980 52 112 0 3238 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 29728
[startup+102.424 s]
/proc/loadavg: 1.95 1.90 2.16 3/88 26163
/proc/meminfo: memFree=1825824/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=15484 CPUtime=89.11
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 4510 0 0 0 8906 5 0 0 25 0 1 0 29662127 15855616 3471 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528551 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 3871 3471 52 112 0 3755 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31796
[startup+162.485 s]
/proc/loadavg: 1.98 1.91 2.15 3/88 26163
/proc/meminfo: memFree=1823648/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=17240 CPUtime=149.16
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 4936 0 0 0 14910 6 0 0 25 0 1 0 29662127 17653760 3897 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 4310 3897 52 112 0 4194 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 33552
[startup+222.553 s]
/proc/loadavg: 1.99 1.92 2.14 3/94 26263
/proc/meminfo: memFree=1818832/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=19484 CPUtime=209.12
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 5501 0 0 0 20906 6 0 0 25 0 1 0 29662127 19951616 4462 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525640 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 4871 4462 52 112 0 4755 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 35796
[startup+282.64 s]
/proc/loadavg: 1.99 1.94 2.13 3/94 26337
################
# More data... #
################
/proc/loadavg: 2.00 1.99 2.03 3/88 26361
/proc/meminfo: memFree=1796584/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=34240 CPUtime=1109.68
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9113 0 0 0 110957 11 0 0 25 0 1 0 29662127 35061760 8074 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 8560 8074 52 112 0 8444 0
Current children cumulated CPU time (s) 1122.83
Current children cumulated vsize (KiB) 50552
[startup+1183.52 s]
/proc/loadavg: 2.00 1.99 2.03 3/88 26361
/proc/meminfo: memFree=1795880/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=34240 CPUtime=1169.72
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9138 0 0 0 116961 11 0 0 25 0 1 0 29662127 35061760 8099 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 8560 8099 52 112 0 8444 0
Current children cumulated CPU time (s) 1182.87
Current children cumulated vsize (KiB) 50552
[startup+1243.59 s]
/proc/loadavg: 2.00 1.99 2.02 3/88 26361
/proc/meminfo: memFree=1794728/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=35148 CPUtime=1229.78
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9361 0 0 0 122966 12 0 0 25 0 1 0 29662127 35991552 8322 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 8787 8322 52 112 0 8671 0
Current children cumulated CPU time (s) 1242.93
Current children cumulated vsize (KiB) 51460
[startup+1303.65 s]
/proc/loadavg: 2.00 1.99 2.02 3/88 26361
/proc/meminfo: memFree=1793960/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=35756 CPUtime=1289.82
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9487 0 0 0 128970 12 0 0 25 0 1 0 29662127 36614144 8448 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 8939 8448 52 112 0 8823 0
Current children cumulated CPU time (s) 1302.97
Current children cumulated vsize (KiB) 52068
[startup+1363.7 s]
/proc/loadavg: 2.08 2.00 2.01 3/88 26361
/proc/meminfo: memFree=1793704/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=35924 CPUtime=1349.86
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9519 0 0 0 134974 12 0 0 25 0 1 0 29662127 36786176 8480 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 8981 8480 52 112 0 8865 0
Current children cumulated CPU time (s) 1363.01
Current children cumulated vsize (KiB) 52236
[startup+1423.76 s]
/proc/loadavg: 2.03 2.00 2.01 3/88 26361
/proc/meminfo: memFree=1793384/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=35924 CPUtime=1409.91
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9541 0 0 0 140979 12 0 0 25 0 1 0 29662127 36786176 8502 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 8981 8502 52 112 0 8865 0
Current children cumulated CPU time (s) 1423.06
Current children cumulated vsize (KiB) 52236
[startup+1483.83 s]
/proc/loadavg: 2.01 2.00 2.00 3/88 26361
/proc/meminfo: memFree=1792680/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=36504 CPUtime=1469.95
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9684 0 0 0 146983 12 0 0 25 0 1 0 29662127 37380096 8645 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 9126 8645 52 112 0 9010 0
Current children cumulated CPU time (s) 1483.1
Current children cumulated vsize (KiB) 52816
[startup+1543.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 26361
/proc/meminfo: memFree=1792168/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=36848 CPUtime=1530
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 9746 0 0 0 152988 12 0 0 25 0 1 0 29662127 37732352 8707 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 9212 8707 52 112 0 9096 0
Current children cumulated CPU time (s) 1543.15
Current children cumulated vsize (KiB) 53160
[startup+1603.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 26361
/proc/meminfo: memFree=1789800/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=39192 CPUtime=1590.05
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 10321 0 0 0 158992 13 0 0 25 0 1 0 29662127 40132608 9282 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 9798 9282 52 112 0 9682 0
Current children cumulated CPU time (s) 1603.2
Current children cumulated vsize (KiB) 55504
[startup+1664.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 26361
/proc/meminfo: memFree=1788264/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=40232 CPUtime=1650.1
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 10588 0 0 0 164996 14 0 0 25 0 1 0 29662127 41197568 9549 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 10058 9549 52 112 0 9942 0
Current children cumulated CPU time (s) 1663.25
Current children cumulated vsize (KiB) 56544
[startup+1724.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 26361
/proc/meminfo: memFree=1787816/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=40404 CPUtime=1710.14
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 10615 0 0 0 171000 14 0 0 25 0 1 0 29662127 41373696 9576 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 10101 9576 52 112 0 9985 0
Current children cumulated CPU time (s) 1723.29
Current children cumulated vsize (KiB) 56716
[startup+1784.17 s]
/proc/loadavg: 1.94 1.98 1.99 3/95 26425
/proc/meminfo: memFree=1737456/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=40404 CPUtime=1770.09
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 10629 0 0 0 176994 15 0 0 25 0 1 0 29662127 41373696 9590 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 10101 9590 52 112 0 9985 0
Current children cumulated CPU time (s) 1783.24
Current children cumulated vsize (KiB) 56716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.05 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 26425
/proc/meminfo: memFree=1709424/2055920 swapFree=4145204/4192956
[pid=26145] ppid=26143 vsize=16312 CPUtime=13.15
/proc/26145/stat : 26145 (sugar) S 26143 26145 25924 0 -1 4194304 1936 62349 0 2 7 1 1266 41 16 0 1 0 29660800 16703488 1447 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26145/statm: 4078 1447 373 3 0 1178 0
[pid=26163] ppid=26145 vsize=40404 CPUtime=1786.88
/proc/26163/stat : 26163 (minisat) R 26145 26145 25924 0 -1 0 10638 0 0 0 178673 15 0 0 25 0 1 0 29662127 41373696 9599 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527084 0 0 4096 3 0 0 0 17 1 0 0
/proc/26163/statm: 10101 9599 52 112 0 9985 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 56716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26145 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=745062 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=437933
CPU time returned by wait4() is 13.183
while last known CPU time is 1800.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1802.06
CPU time (s): 1800.05
CPU user time (s): 1799.47
CPU system time (s): 0.58
CPU usage (%): 99.8882
Max. virtual memory (cumulated for all children) (KiB): 821312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7451
system time used= 0.437933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64370
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3610
involuntary context switches= 3529
runsolver used 1.82972 s user time and 5.00524 s system time
The end
Begin job on node24 on Mon Jan 29 18:57:45 UTC 2007
IDJOB= 208456
IDBENCH= 4395
IDSOLVER= 86
FILE ID= node24/208456-1170097065
PBS_JOBID= 3689694
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-45_ext.xml
COMMAND LINE= /tmp/evaluation/208456-1170097065/solver /tmp/evaluation/208456-1170097065 /tmp/evaluation/208456-1170097065/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-208456-1170097065 -o ROOT/results/node24/solver-208456-1170097065 -C 1800 -M 900 /tmp/evaluation/208456-1170097065/solver /tmp/evaluation/208456-1170097065 /tmp/evaluation/208456-1170097065/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 932b032f7a5131688f3c761b2e71179f
RANDOM SEED= 239035187
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.232
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.232
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: 1854592 kB
Buffers: 30780 kB
Cached: 88264 kB
SwapCached: 4580 kB
Active: 71384 kB
Inactive: 81232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854592 kB
SwapTotal: 4192956 kB
SwapFree: 4145204 kB
Dirty: 1012 kB
Writeback: 0 kB
Mapped: 41100 kB
Slab: 33664 kB
Committed_AS: 374540 kB
PageTables: 2152 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= 66560 MiB
End job on node24 on Mon Jan 29 19:27:47 UTC 2007