0.04 c # Sugar v0-40 (/tmp/evaluation/197714-1170093105/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/197714-1170093105/unknown.xml [Mon Jan 29 18:51:45 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/197714-1170093105/unknown.xml /tmp/evaluation/197714-1170093105/sugar27344.csp [Mon Jan 29 18:51:45 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/197714-1170093105/sugar-v0-40.jar -convert /tmp/evaluation/197714-1170093105/unknown.xml /tmp/evaluation/197714-1170093105/sugar27344.csp
0.16 c BEGIN convert /tmp/evaluation/197714-1170093105/unknown.xml
0.39 c END convert (0.229311 seconds)
0.43 c # CONVERT_XML END : /tmp/evaluation/197714-1170093105/sugar27344.csp 190988 bytes (1 seconds) [Mon Jan 29 18:51:46 2007]
0.43 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.43
0.43 c # GENERATE_SAT BEGIN : /tmp/evaluation/197714-1170093105/sugar27344.bcnf [Mon Jan 29 18:51:46 2007]
0.43 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/197714-1170093105/sugar-v0-40.jar -bcnf -map /tmp/evaluation/197714-1170093105/sugar27344.map /tmp/evaluation/197714-1170093105/sugar27344.csp /tmp/evaluation/197714-1170093105/sugar27344.bcnf
0.55 c BEGIN parse /tmp/evaluation/197714-1170093105/sugar27344.csp
72.79 c END parse (72.236458 seconds)
72.79 c BEGIN simplify
73.03 c END simplify (0.246228 seconds)
73.04 c BEGIN encode /tmp/evaluation/197714-1170093105/sugar27344.bcnf
74.42 c END encode (1.379874 seconds)
74.50 c # GENERATE_SAT END : 5538 variables 22159 clauses 14318052 bytes (74 seconds) [Mon Jan 29 18:53:00 2007]
74.50 c # GENERATE_SAT CPU : 73.1 = 0.04 + 0 + 71.91 + 1.15
74.50
74.50 c # SOLVE_SAT BEGIN : /tmp/evaluation/197714-1170093105/sugar27344.bcnf [Mon Jan 29 18:53:00 2007]
74.50 c # CMD : /tmp/evaluation/197714-1170093105/minisat /tmp/evaluation/197714-1170093105/sugar27344.bcnf /tmp/evaluation/197714-1170093105/sugar27344.out
74.82 c ==================================[MINISAT]===================================
74.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
74.82 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
74.82 c ==============================================================================
74.82 c | 0 | 22159 3557342 | 7386 0 0 nan | 0.000 % |
74.86 c | 101 | 22159 3557342 | 8124 101 8173 80.9 | 0.000 % |
74.95 c | 251 | 22159 3557342 | 8937 251 27142 108.1 | 0.004 % |
75.22 c | 476 | 22159 3557342 | 9830 476 81367 170.9 | 0.000 % |
75.43 c | 814 | 22159 3557342 | 10813 814 131598 161.7 | 0.004 % |
76.29 c | 1322 | 22159 3557342 | 11895 1322 244229 184.7 | 0.000 % |
76.60 c | 2081 | 22093 3552587 | 13084 2063 336585 163.2 | 0.054 % |
78.15 c | 3220 | 22093 3552587 | 14393 3202 601409 187.8 | 0.054 % |
79.00 c | 4928 | 22095 3552587 | 15832 4908 761383 155.1 | 0.055 % |
82.49 c | 7490 | 22101 3552587 | 17415 7464 1243472 166.6 | 0.054 % |
87.35 c | 11336 | 22101 3552587 | 19157 11310 1997912 176.7 | 0.054 % |
90.57 c | 17105 | 22112 3552587 | 21073 17067 2796129 163.8 | 0.072 % |
102.44 c | 25754 | 22117 3552587 | 23180 14691 2281989 155.3 | 0.073 % |
119.43 c | 38729 | 22099 3552562 | 25498 14337 2997352 209.1 | 0.090 % |
151.27 c | 58190 | 22099 3552562 | 28048 20339 3428797 168.6 | 0.090 % |
179.95 c | 87385 | 22098 3552559 | 30853 21085 1670225 79.2 | 0.108 % |
226.36 c | 131174 | 22104 3552538 | 33938 17088 1994529 116.7 | 0.108 % |
297.77 c | 196860 | 21933 3510993 | 37332 25738 2133430 82.9 | 0.361 % |
411.46 c | 295386 | 21606 3454947 | 41065 23763 2122572 89.3 | 0.578 % |
428.34 c ==============================================================================
428.42 c restarts : 19
428.42 c conflicts : 310581 (888 /sec)
428.42 c decisions : 3926762 (11222 /sec)
428.42 c propagations : 109312740 (312404 /sec)
428.42 c conflict literals : 33190324 (56.93 % deleted)
428.42 c Memory used : 38.12 MB
428.42 c CPU time : 349.909 s
428.42 c
428.42 c UNSATISFIABLE
428.80 c # SOLVE_SAT END : UNSATISFIABLE (354 seconds) [Mon Jan 29 18:58:54 2007]
428.80 c # SOLVE_SAT CPU : 351.32 = 0 + 0 + 349.91 + 1.41
428.80
428.80 c # RESULT : UNSATISFIABLE
428.80
428.80 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 18:58:54 2007]
428.80 s UNSATISFIABLE
428.80 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 18:58:54 2007]
428.80 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
428.80
428.80 c # MAIN END : (429 seconds) [Mon Jan 29 18:58:54 2007]
428.80 c # MAIN CPU : 424.42 = 0.04 + 0 + 421.82 + 2.56
428.80
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-197714-1170093105 -o ROOT/results/node10/solver-197714-1170093105 -C 1800 -M 900 /tmp/evaluation/197714-1170093105/solver /tmp/evaluation/197714-1170093105 /tmp/evaluation/197714-1170093105/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.12 2.71 2.49 5/95 27345
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=12268 CPUtime=0
/proc/27344/stat : 27344 (sugar) R 27342 27344 27135 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 29265514 12562432 316 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214920034917 0 0 4224 0 0 0 0 17 1 0 0
/proc/27344/statm: 3067 316 241 3 0 167 0
[startup+0.10387 s]
/proc/loadavg: 2.12 2.71 2.49 5/95 27345
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29265514 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.511928 s]
/proc/loadavg: 2.12 2.71 2.49 5/95 27345
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1178 0 0 0 3 1 0 0 16 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33504 s]
/proc/loadavg: 2.19 2.72 2.49 4/104 27361
/proc/meminfo: memFree=15392/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27354] ppid=27344 vsize=807340 CPUtime=0.87
/proc/27354/stat : 27354 (java) R 27344 27344 27135 0 -1 0 9448 0 1 0 82 5 0 0 18 0 8 0 29265558 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073723150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27354/statm: 201835 9187 1506 14 0 189113 0
[pid=27354/tid=27355] ppid=27344 vsize=807340 CPUtime=0.14
/proc/27354/task/27355/stat : 27355 (java) S 27344 27344 27135 0 -1 64 3240 0 0 0 13 1 0 0 16 0 8 0 29265561 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27356] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27356/stat : 27356 (java) S 27344 27344 27135 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29265561 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27357] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27357/stat : 27357 (java) S 27344 27344 27135 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29265561 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27358] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27358/stat : 27358 (java) S 27344 27344 27135 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29265565 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27359] ppid=27344 vsize=807340 CPUtime=0.11
/proc/27354/task/27359/stat : 27359 (java) R 27344 27344 27135 0 -1 64 390 0 0 0 11 0 0 0 20 0 8 0 29265565 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27360] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27360/stat : 27360 (java) S 27344 27344 27135 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29265565 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27361] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27361/stat : 27361 (java) S 27344 27344 27135 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29265565 826716160 9187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 821064
[startup+2.98826 s]
/proc/loadavg: 2.19 2.72 2.49 2/104 27361
/proc/meminfo: memFree=15328/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27354] ppid=27344 vsize=807340 CPUtime=2.49
/proc/27354/stat : 27354 (java) R 27344 27344 27135 0 -1 0 24357 0 1 0 236 13 0 0 16 0 8 0 29265558 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27354/statm: 201835 24029 1506 14 0 189113 0
[pid=27354/tid=27355] ppid=27344 vsize=807340 CPUtime=0.75
/proc/27354/task/27355/stat : 27355 (java) S 27344 27344 27135 0 -1 64 18082 0 0 0 68 7 0 0 16 0 8 0 29265561 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27356] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27356/stat : 27356 (java) S 27344 27344 27135 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29265561 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27357] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27357/stat : 27357 (java) S 27344 27344 27135 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29265561 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27358] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27358/stat : 27358 (java) S 27344 27344 27135 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29265565 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27359] ppid=27344 vsize=807340 CPUtime=0.11
/proc/27354/task/27359/stat : 27359 (java) S 27344 27344 27135 0 -1 64 390 0 0 0 11 0 0 0 20 0 8 0 29265565 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27360] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27360/stat : 27360 (java) S 27344 27344 27135 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29265565 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27361] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27361/stat : 27361 (java) S 27344 27344 27135 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 29265565 826716160 24029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821064
[startup+6.26971 s]
/proc/loadavg: 2.33 2.74 2.50 4/104 27361
/proc/meminfo: memFree=16352/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27354] ppid=27344 vsize=807340 CPUtime=5.66
/proc/27354/stat : 27354 (java) R 27344 27344 27135 0 -1 0 54647 0 1 0 538 28 0 0 17 0 8 0 29265558 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27354/statm: 201835 54128 1507 14 0 189113 0
[pid=27354/tid=27355] ppid=27344 vsize=807340 CPUtime=1.96
/proc/27354/task/27355/stat : 27355 (java) R 27344 27344 27135 0 -1 64 48217 0 0 0 175 21 0 0 18 0 8 0 29265561 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27356] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27356/stat : 27356 (java) S 27344 27344 27135 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29265561 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27357] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27357/stat : 27357 (java) S 27344 27344 27135 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29265561 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27358] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27358/stat : 27358 (java) S 27344 27344 27135 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27359] ppid=27344 vsize=807340 CPUtime=0.12
/proc/27354/task/27359/stat : 27359 (java) S 27344 27344 27135 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27360] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27360/stat : 27360 (java) S 27344 27344 27135 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27361] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27361/stat : 27361 (java) S 27344 27344 27135 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 821064
[startup+12.6926 s]
/proc/loadavg: 2.47 2.76 2.51 4/104 27361
/proc/meminfo: memFree=15520/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27354] ppid=27344 vsize=807340 CPUtime=12
/proc/27354/stat : 27354 (java) R 27344 27344 27135 0 -1 0 55029 0 1 0 1163 37 0 0 22 0 8 0 29265558 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27354/statm: 201835 54128 1507 14 0 189113 0
[pid=27354/tid=27355] ppid=27344 vsize=807340 CPUtime=4.47
/proc/27354/task/27355/stat : 27355 (java) S 27344 27344 27135 0 -1 64 48328 0 0 0 422 25 0 0 16 0 8 0 29265561 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27356] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27356/stat : 27356 (java) S 27344 27344 27135 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29265561 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27357] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27357/stat : 27357 (java) S 27344 27344 27135 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29265561 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27358] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27358/stat : 27358 (java) S 27344 27344 27135 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27359] ppid=27344 vsize=807340 CPUtime=0.12
/proc/27354/task/27359/stat : 27359 (java) S 27344 27344 27135 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27360] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27360/stat : 27360 (java) S 27344 27344 27135 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27361] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27361/stat : 27361 (java) S 27344 27344 27135 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29265565 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 821064
[startup+25.5273 s]
/proc/loadavg: 2.56 2.77 2.51 3/104 27361
/proc/meminfo: memFree=15904/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27354] ppid=27344 vsize=807340 CPUtime=24.71
/proc/27354/stat : 27354 (java) R 27344 27344 27135 0 -1 0 63868 0 1 0 2420 51 0 0 25 0 8 0 29265558 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27354/statm: 201835 54129 1507 14 0 189113 0
[pid=27354/tid=27355] ppid=27344 vsize=807340 CPUtime=10.4
/proc/27354/task/27355/stat : 27355 (java) S 27344 27344 27135 0 -1 64 56662 0 0 0 1006 34 0 0 16 0 8 0 29265561 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27356] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27356/stat : 27356 (java) S 27344 27344 27135 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29265561 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27357] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27357/stat : 27357 (java) S 27344 27344 27135 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29265561 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27358] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27358/stat : 27358 (java) S 27344 27344 27135 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27359] ppid=27344 vsize=807340 CPUtime=0.12
/proc/27354/task/27359/stat : 27359 (java) S 27344 27344 27135 0 -1 64 395 0 0 0 12 0 0 0 17 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27360] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27360/stat : 27360 (java) S 27344 27344 27135 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27361] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27361/stat : 27361 (java) S 27344 27344 27135 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 821064
[startup+51.1948 s]
/proc/loadavg: 2.55 2.74 2.51 3/104 27361
/proc/meminfo: memFree=15776/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=13724 CPUtime=0.04
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29265514 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 3431 808 370 3 0 531 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27354] ppid=27344 vsize=807340 CPUtime=50.15
/proc/27354/stat : 27354 (java) R 27344 27344 27135 0 -1 0 77214 0 1 0 4934 81 0 0 25 0 8 0 29265558 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27354/statm: 201835 54129 1507 14 0 189113 0
[pid=27354/tid=27355] ppid=27344 vsize=807340 CPUtime=22.5
/proc/27354/task/27355/stat : 27355 (java) S 27344 27344 27135 0 -1 64 69023 0 0 0 2196 54 0 0 16 0 8 0 29265561 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27356] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27356/stat : 27356 (java) S 27344 27344 27135 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29265561 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27357] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27357/stat : 27357 (java) S 27344 27344 27135 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29265561 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27358] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27358/stat : 27358 (java) S 27344 27344 27135 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27359] ppid=27344 vsize=807340 CPUtime=0.12
/proc/27354/task/27359/stat : 27359 (java) S 27344 27344 27135 0 -1 64 395 0 0 0 12 0 0 0 17 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27354/tid=27360] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27360/stat : 27360 (java) S 27344 27344 27135 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27354/tid=27361] ppid=27344 vsize=807340 CPUtime=0
/proc/27354/task/27361/stat : 27361 (java) S 27344 27344 27135 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29265565 826716160 54129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 821064
[startup+102.411 s]
/proc/loadavg: 2.55 2.73 2.52 3/97 27362
/proc/meminfo: memFree=15064/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=16708 CPUtime=73.14
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 2014 81155 0 1 7 1 7191 115 16 0 1 0 29265514 17108992 1525 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27344/statm: 4177 1525 373 3 0 1277 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27362] ppid=27344 vsize=32340 CPUtime=27.65
/proc/27362/stat : 27362 (minisat) R 27344 27344 27135 0 -1 0 8757 0 0 0 2747 18 0 0 25 0 1 0 29272964 33116160 7718 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/27362/statm: 8085 7718 52 112 0 7969 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 49048
[startup+162.51 s]
/proc/loadavg: 2.48 2.68 2.52 3/97 27362
/proc/meminfo: memFree=15128/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=16708 CPUtime=73.14
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 2014 81155 0 1 7 1 7191 115 16 0 1 0 29265514 17108992 1525 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27344/statm: 4177 1525 373 3 0 1277 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27362] ppid=27344 vsize=39036 CPUtime=87.31
/proc/27362/stat : 27362 (minisat) R 27344 27344 27135 0 -1 0 10441 0 0 0 8687 44 0 0 25 0 1 0 29272964 39972864 9402 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/27362/statm: 9759 9402 52 112 0 9643 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 55744
[startup+222.609 s]
/proc/loadavg: 2.81 2.74 2.54 3/97 27362
/proc/meminfo: memFree=15960/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=16708 CPUtime=73.14
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 2014 81155 0 1 7 1 7191 115 16 0 1 0 29265514 17108992 1525 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27344/statm: 4177 1525 373 3 0 1277 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27362] ppid=27344 vsize=39036 CPUtime=146.96
/proc/27362/stat : 27362 (minisat) R 27344 27344 27135 0 -1 0 10444 0 0 0 14628 68 0 0 25 0 1 0 29272964 39972864 9405 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/27362/statm: 9759 9405 52 112 0 9643 0
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (KiB) 55744
[startup+282.71 s]
/proc/loadavg: 3.64 2.96 2.63 3/97 27362
/proc/meminfo: memFree=15896/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=16708 CPUtime=73.14
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 2014 81155 0 1 7 1 7191 115 16 0 1 0 29265514 17108992 1525 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27344/statm: 4177 1525 373 3 0 1277 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27362] ppid=27344 vsize=39036 CPUtime=206.66
/proc/27362/stat : 27362 (minisat) R 27344 27344 27135 0 -1 0 10447 0 0 0 20578 88 0 0 25 0 1 0 29272964 39972864 9408 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 0 0 0
/proc/27362/statm: 9759 9408 52 112 0 9643 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 55744
[startup+342.808 s]
/proc/loadavg: 3.33 3.02 2.67 3/97 27362
/proc/meminfo: memFree=16280/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=16708 CPUtime=73.14
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 2014 81155 0 1 7 1 7191 115 16 0 1 0 29265514 17108992 1525 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27344/statm: 4177 1525 373 3 0 1277 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27362] ppid=27344 vsize=39036 CPUtime=266.32
/proc/27362/stat : 27362 (minisat) R 27344 27344 27135 0 -1 0 10450 0 0 0 26522 110 0 0 25 0 1 0 29272964 39972864 9411 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525573 0 0 4096 3 0 0 0 17 1 0 0
/proc/27362/statm: 9759 9411 52 112 0 9643 0
Current children cumulated CPU time (s) 339.78
Current children cumulated vsize (KiB) 55744
[startup+402.824 s]
/proc/loadavg: 3.22 3.03 2.69 4/97 27362
/proc/meminfo: memFree=15192/2055920 swapFree=4192812/4192956
[pid=27344] ppid=27342 vsize=16708 CPUtime=73.14
/proc/27344/stat : 27344 (sugar) S 27342 27344 27135 0 -1 4194304 2014 81155 0 1 7 1 7191 115 16 0 1 0 29265514 17108992 1525 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27344/statm: 4177 1525 373 3 0 1277 0
[pid=27346] ppid=27344 vsize=0 CPUtime=0.32
/proc/27346/stat : 27346 (java) Z 27344 27344 27135 0 -1 1036 5486 0 1 0 29 3 0 0 16 0 1 0 29265518 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/27346/statm: 0 0 0 0 0 0 0
[pid=27362] ppid=27344 vsize=39036 CPUtime=325.95
/proc/27362/stat : 27362 (minisat) R 27344 27344 27135 0 -1 0 10450 0 0 0 32464 131 0 0 25 0 1 0 29272964 39972864 9411 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525588 0 0 4096 3 0 0 0 17 1 0 0
/proc/27362/statm: 9759 9411 52 112 0 9643 0
Current children cumulated CPU time (s) 399.41
Current children cumulated vsize (KiB) 55744
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27344 and gives childrusage.ru_utime.tv_sec=421 childrusage.ru_utime.tv_usec=902861 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=582607
CPU time returned by wait4() is 424.485
while last known CPU time is 424.78
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 429.268
CPU time (s): 424.78
CPU user time (s): 422.18
CPU system time (s): 2.6
CPU usage (%): 98.9544
Max. virtual memory (cumulated for all children) (KiB): 821064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 421.903
system time used= 2.58261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93717
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= 19472
involuntary context switches= 32469
runsolver used 0.614906 s user time and 1.3328 s system time
The end
Begin job on node10 on Mon Jan 29 17:51:45 UTC 2007
IDJOB= 197714
IDBENCH= 3506
IDSOLVER= 86
FILE ID= node10/197714-1170093105
PBS_JOBID= 3689431
Free space on /tmp= 51189 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-7.ext.xml
COMMAND LINE= /tmp/evaluation/197714-1170093105/solver /tmp/evaluation/197714-1170093105 /tmp/evaluation/197714-1170093105/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-197714-1170093105 -o ROOT/results/node10/solver-197714-1170093105 -C 1800 -M 900 /tmp/evaluation/197714-1170093105/solver /tmp/evaluation/197714-1170093105 /tmp/evaluation/197714-1170093105/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 7cc7e95e3ab2b5c1b2e8d820acd1fe1b
RANDOM SEED= 915700078
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: 15304 kB
Buffers: 3604 kB
Cached: 1826412 kB
SwapCached: 0 kB
Active: 148940 kB
Inactive: 1795696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 826736 kB
Writeback: 0 kB
Mapped: 140132 kB
Slab: 80628 kB
Committed_AS: 614068 kB
PageTables: 2340 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= 44010 MiB
End job on node10 on Mon Jan 29 17:58:55 UTC 2007