0.05 c # Sugar v0-40 (/tmp/evaluation/199369-1170094091/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/199369-1170094091/unknown.xml [Mon Jan 29 19:08:12 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/199369-1170094091/unknown.xml /tmp/evaluation/199369-1170094091/sugar21196.csp [Mon Jan 29 19:08:12 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199369-1170094091/sugar-v0-40.jar -convert /tmp/evaluation/199369-1170094091/unknown.xml /tmp/evaluation/199369-1170094091/sugar21196.csp
0.23 c BEGIN convert /tmp/evaluation/199369-1170094091/unknown.xml
0.46 c END convert (0.230301 seconds)
0.49 c # CONVERT_XML END : /tmp/evaluation/199369-1170094091/sugar21196.csp 3993 bytes (1 seconds) [Mon Jan 29 19:08:13 2007]
0.49 c # CONVERT_XML CPU : 0.34 = 0 + 0 + 0.31 + 0.03
0.49
0.49 c # GENERATE_SAT BEGIN : /tmp/evaluation/199369-1170094091/sugar21196.bcnf [Mon Jan 29 19:08:13 2007]
0.49 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199369-1170094091/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199369-1170094091/sugar21196.map /tmp/evaluation/199369-1170094091/sugar21196.csp /tmp/evaluation/199369-1170094091/sugar21196.bcnf
0.61 c BEGIN parse /tmp/evaluation/199369-1170094091/sugar21196.csp
0.80 c END parse (0.188105 seconds)
0.80 c BEGIN simplify
0.81 c END simplify (0.010367 seconds)
0.81 c BEGIN encode /tmp/evaluation/199369-1170094091/sugar21196.bcnf
0.89 c END encode (0.07629 seconds)
0.94 c # GENERATE_SAT END : 1380 variables 23819 clauses 394752 bytes (0 seconds) [Mon Jan 29 19:08:13 2007]
0.94 c # GENERATE_SAT CPU : 0.02 = 0.01 + 0.01 + 0 + 0
0.94
0.94 c # SOLVE_SAT BEGIN : /tmp/evaluation/199369-1170094091/sugar21196.bcnf [Mon Jan 29 19:08:13 2007]
0.94 c # CMD : /tmp/evaluation/199369-1170094091/minisat /tmp/evaluation/199369-1170094091/sugar21196.bcnf /tmp/evaluation/199369-1170094091/sugar21196.out
0.96 c ==================================[MINISAT]===================================
0.96 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.96 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
0.96 c ==============================================================================
0.96 c | 0 | 19289 63568 | 6429 0 0 nan | 0.000 % |
0.97 c | 100 | 19289 63568 | 7071 100 1111 11.1 | 17.391 % |
0.98 c | 253 | 19289 63568 | 7779 253 3624 14.3 | 17.392 % |
1.00 c | 479 | 19289 63568 | 8556 479 7350 15.3 | 17.391 % |
1.04 c | 817 | 19289 63568 | 9412 817 13296 16.3 | 17.392 % |
1.10 c | 1324 | 19289 63568 | 10353 1324 23742 17.9 | 17.392 % |
1.20 c | 2083 | 19289 63568 | 11389 2083 40383 19.4 | 17.392 % |
1.35 c | 3223 | 19289 63568 | 12528 3223 66268 20.6 | 17.392 % |
1.55 c | 4932 | 19289 63568 | 13781 4932 99834 20.2 | 17.392 % |
1.86 c | 7498 | 19289 63568 | 15159 7498 153065 20.4 | 17.395 % |
2.52 c | 11342 | 19289 63568 | 16675 11342 236852 20.9 | 17.392 % |
3.91 c | 17108 | 19289 63568 | 18342 17108 369074 21.6 | 17.392 % |
5.63 c | 25757 | 19289 63568 | 20176 16201 338229 20.9 | 17.392 % |
8.47 c | 38733 | 19289 63568 | 22194 18674 421324 22.6 | 17.392 % |
12.87 c | 58196 | 19289 63568 | 24414 15186 321386 21.2 | 17.392 % |
21.73 c | 87389 | 19289 63568 | 26855 18797 466757 24.8 | 17.391 % |
35.94 c | 131179 | 19289 63568 | 29541 17742 451840 25.5 | 17.392 % |
59.79 c | 196863 | 19289 63568 | 32495 17506 371080 21.2 | 17.392 % |
93.89 c | 295390 | 19289 63568 | 35744 17499 403010 23.0 | 17.392 % |
159.01 c | 443179 | 19289 63568 | 39319 17849 435667 24.4 | 17.392 % |
252.95 c | 664862 | 19289 63568 | 43251 13085 323923 24.8 | 17.392 % |
399.86 c | 997387 | 19290 63568 | 47576 31565 794805 25.2 | 17.392 % |
636.58 c | 1496175 | 19290 63568 | 52333 47205 1242860 26.3 | 17.392 % |
989.65 c | 2244357 | 19290 63568 | 57567 50275 1424706 28.3 | 17.392 % |
1441.40 c ==============================================================================
1441.40 c restarts : 24
1441.40 c conflicts : 3067237 (2132 /sec)
1441.40 c decisions : 3435623 (2388 /sec)
1441.40 c propagations : 531012039 (369072 /sec)
1441.40 c conflict literals : 83232781 (26.35 % deleted)
1441.40 c Memory used : 19.95 MB
1441.40 c CPU time : 1438.78 s
1441.40 c
1441.40 c SATISFIABLE
1441.41 c # SOLVE_SAT END : SATISFIABLE (1440 seconds) [Mon Jan 29 19:32:13 2007]
1441.41 c # SOLVE_SAT CPU : 1438.93 = 0 + 0 + 1438.78 + 0.15
1441.41
1441.41 c # RESULT : SATISFIABLE
1441.41
1441.41 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 19:32:13 2007]
1441.58 c BEGIN read SAT output /tmp/evaluation/199369-1170094091/sugar21196.out
1441.59 c END read SAT output (0.016898 seconds)
1441.59 c BEGIN write solution /tmp/evaluation/199369-1170094091/sugar21196.sol
1441.65 c END write solution (0.055504 seconds)
1441.69 s SATISFIABLE
1441.69 v 6 7 5 10 2 13 9 3 12 0 15 1 14 4 11 8 0 1 4 7 10 3 5 8 11 14 13 12 9 6 2
1441.69 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 19:32:14 2007]
1441.69 c # OUTPUT_SOL CPU : 0.180000000000082 = 0 + 0 + 0.160000000000082 + 0.02
1441.69
1441.69 c # MAIN END : (1442 seconds) [Mon Jan 29 19:32:14 2007]
1441.69 c # MAIN CPU : 1439.47 = 0.01 + 0.01 + 1439.25 + 0.2
1441.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-199369-1170094091 -o ROOT/results/node29/solver-199369-1170094091 -C 1800 -M 900 /tmp/evaluation/199369-1170094091/solver /tmp/evaluation/199369-1170094091 /tmp/evaluation/199369-1170094091/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.05 2.47 2.63 3/88 21197
/proc/meminfo: memFree=1536920/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=5352 CPUtime=0
/proc/21196/stat : 21196 (solver) R 21194 21196 20742 0 -1 4194304 237 0 0 0 0 0 0 0 20 0 1 0 3173447 5480448 204 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 221780546273 0 0 4100 65536 0 0 0 17 1 0 0
/proc/21196/statm: 1338 204 169 169 0 49 0
[startup+0.104092 s]
/proc/loadavg: 2.05 2.47 2.63 3/88 21197
/proc/meminfo: memFree=1536920/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13724 CPUtime=0.03
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 3173447 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21196/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51212 s]
/proc/loadavg: 2.05 2.47 2.63 3/88 21197
/proc/meminfo: memFree=1536920/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13724 CPUtime=0.37
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1181 3660 0 1 3 0 31 3 16 0 1 0 3173447 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21196/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 13724
[startup+1.33317 s]
/proc/loadavg: 2.05 2.47 2.63 4/91 21214
/proc/meminfo: memFree=1533240/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 15 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=2852 CPUtime=0.37
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 479 0 0 0 37 0 0 0 19 0 1 0 3173542 2920448 367 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/21214/statm: 713 367 51 112 0 597 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 16840
[startup+2.97027 s]
/proc/loadavg: 2.05 2.47 2.63 3/90 21214
/proc/meminfo: memFree=1532288/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 15 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=4052 CPUtime=1.99
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 781 0 0 0 198 1 0 0 25 0 1 0 3173542 4149248 669 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 1013 669 51 112 0 897 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 18040
[startup+6.24947 s]
/proc/loadavg: 1.96 2.44 2.62 2/83 21234
/proc/meminfo: memFree=1540600/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=4836 CPUtime=5.27
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 982 0 0 0 526 1 0 0 25 0 1 0 3173542 4952064 870 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 1209 870 51 112 0 1093 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 18824
[startup+12.7229 s]
/proc/loadavg: 2.05 2.45 2.62 3/96 21285
/proc/meminfo: memFree=1464144/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=5632 CPUtime=11.74
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 1165 0 0 0 1172 2 0 0 25 0 1 0 3173542 5767168 1053 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 1408 1053 51 112 0 1292 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 19620
[startup+25.5957 s]
/proc/loadavg: 2.18 2.46 2.62 4/89 21286
/proc/meminfo: memFree=1182024/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=6860 CPUtime=24.59
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 1464 0 0 0 2454 5 0 0 25 0 1 0 3173542 7024640 1352 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528031 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 1715 1352 51 112 0 1599 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 20848
[startup+51.2913 s]
/proc/loadavg: 2.12 2.42 2.60 3/89 21286
/proc/meminfo: memFree=1175816/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=7528 CPUtime=50.25
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 1634 0 0 0 5019 6 0 0 25 0 1 0 3173542 7708672 1522 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525703 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 1882 1522 51 112 0 1766 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21516
[startup+102.576 s]
/proc/loadavg: 2.05 2.36 2.57 4/89 21286
/proc/meminfo: memFree=1173192/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=9108 CPUtime=101.42
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 2031 0 0 0 10136 6 0 0 25 0 1 0 3173542 9326592 1919 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 2277 1919 51 112 0 2161 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 23096
[startup+162.602 s]
/proc/loadavg: 2.02 2.29 2.53 3/89 21286
/proc/meminfo: memFree=1169928/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=10876 CPUtime=161.38
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 2460 0 0 0 16131 7 0 0 25 0 1 0 3173542 11137024 2348 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 2719 2348 51 112 0 2603 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 24864
[startup+222.629 s]
/proc/loadavg: 2.00 2.23 2.49 4/89 21286
/proc/meminfo: memFree=1167624/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=11292 CPUtime=221.36
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 2583 0 0 0 22129 7 0 0 25 0 1 0 3173542 11563008 2471 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 2823 2471 51 112 0 2707 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 25280
[startup+282.651 s]
/proc/loadavg: 2.08 2.22 2.47 3/89 21286
/proc/meminfo: memFree=1165256/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=12052 CPUtime=281.32
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 2724 0 0 0 28124 8 0 0 25 0 1 0 3173542 12341248 2612 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 3013 2612 51 112 0 2897 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 26040
[startup+342.672 s]
/proc/loadavg: 2.03 2.17 2.44 3/89 21286
/proc/meminfo: memFree=1160264/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=12724 CPUtime=341.27
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 2916 0 0 0 34119 8 0 0 25 0 1 0 3173542 13029376 2804 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 3181 2804 51 112 0 3065 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 26712
[startup+402.684 s]
################
# More data... #
################
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=17236 CPUtime=820.96
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4002 0 0 0 82085 11 0 0 25 0 1 0 3173542 17649664 3890 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4309 3890 51 112 0 4193 0
Current children cumulated CPU time (s) 821.74
Current children cumulated vsize (KiB) 31224
[startup+882.894 s]
/proc/loadavg: 2.00 2.02 2.23 3/89 21288
/proc/meminfo: memFree=1125320/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=17364 CPUtime=880.94
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4043 0 0 0 88083 11 0 0 25 0 1 0 3173542 17780736 3931 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528319 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4341 3931 51 112 0 4225 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 31352
[startup+942.929 s]
/proc/loadavg: 2.00 2.01 2.21 3/89 21288
/proc/meminfo: memFree=1122056/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=17648 CPUtime=940.92
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4096 0 0 0 94081 11 0 0 25 0 1 0 3173542 18071552 3984 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4412 3984 51 112 0 4296 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 31636
[startup+1002.96 s]
/proc/loadavg: 2.00 2.01 2.19 3/89 21288
/proc/meminfo: memFree=1118472/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=18328 CPUtime=1000.87
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4263 0 0 0 100076 11 0 0 25 0 1 0 3173542 18767872 4151 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4582 4151 51 112 0 4466 0
Current children cumulated CPU time (s) 1001.65
Current children cumulated vsize (KiB) 32316
[startup+1062.99 s]
/proc/loadavg: 2.00 2.00 2.18 3/89 21288
/proc/meminfo: memFree=1115016/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=18744 CPUtime=1060.86
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4365 0 0 0 106074 12 0 0 25 0 1 0 3173542 19193856 4253 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4686 4253 51 112 0 4570 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 32732
[startup+1123.01 s]
/proc/loadavg: 2.00 2.00 2.16 3/89 21288
/proc/meminfo: memFree=1110984/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=19152 CPUtime=1120.82
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4432 0 0 0 112070 12 0 0 25 0 1 0 3173542 19611648 4320 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4788 4320 51 112 0 4672 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 33140
[startup+1183.05 s]
/proc/loadavg: 2.00 2.00 2.15 3/89 21288
/proc/meminfo: memFree=1107912/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=19312 CPUtime=1180.78
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4488 0 0 0 118066 12 0 0 25 0 1 0 3173542 19775488 4376 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4828 4376 51 112 0 4712 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 33300
[startup+1243.06 s]
/proc/loadavg: 2.00 2.00 2.14 3/89 21288
/proc/meminfo: memFree=1104648/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=19604 CPUtime=1240.74
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4535 0 0 0 124062 12 0 0 25 0 1 0 3173542 20074496 4423 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528554 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4901 4423 51 112 0 4785 0
Current children cumulated CPU time (s) 1241.52
Current children cumulated vsize (KiB) 33592
[startup+1303.07 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 21288
/proc/meminfo: memFree=1101128/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=19736 CPUtime=1300.7
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4573 0 0 0 130058 12 0 0 25 0 1 0 3173542 20209664 4461 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528701 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 4934 4461 51 112 0 4818 0
Current children cumulated CPU time (s) 1301.48
Current children cumulated vsize (KiB) 33724
[startup+1363.09 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 21288
/proc/meminfo: memFree=1096904/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=20132 CPUtime=1360.64
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4671 0 0 0 136051 13 0 0 25 0 1 0 3173542 20615168 4559 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 5033 4559 51 112 0 4917 0
Current children cumulated CPU time (s) 1361.42
Current children cumulated vsize (KiB) 34120
[startup+1423.12 s]
/proc/loadavg: 2.00 2.00 2.11 3/89 21288
/proc/meminfo: memFree=1093512/2055920 swapFree=4192956/4192956
[pid=21196] ppid=21194 vsize=13988 CPUtime=0.39
/proc/21196/stat : 21196 (sugar) S 21194 21196 20742 0 -1 4194304 1373 3660 0 1 4 1 31 3 16 0 1 0 3173447 14323712 885 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21196/statm: 3497 885 373 3 0 597 0
[pid=21206] ppid=21196 vsize=0 CPUtime=0.39
/proc/21206/stat : 21206 (java) Z 21196 21196 20742 0 -1 1036 4806 0 1 0 35 4 0 0 16 0 1 0 3173497 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21206/statm: 0 0 0 0 0 0 0
[pid=21214] ppid=21196 vsize=20264 CPUtime=1420.62
/proc/21214/stat : 21214 (minisat) R 21196 21196 20742 0 -1 0 4718 0 0 0 142049 13 0 0 25 0 1 0 3173542 20750336 4606 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 0 0 0
/proc/21214/statm: 5066 4606 51 112 0 4950 0
Current children cumulated CPU time (s) 1421.4
Current children cumulated vsize (KiB) 34252
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21196 and gives childrusage.ru_utime.tv_sec=1439 childrusage.ru_utime.tv_usec=297193 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=220966
CPU time returned by wait4() is 1439.52
while last known CPU time is 1439.84
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1441.7
CPU time (s): 1439.84
CPU user time (s): 1439.6
CPU system time (s): 0.24
CPU usage (%): 99.871
Max. virtual memory (cumulated for all children) (KiB): 820992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1439.3
system time used= 0.220966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13008
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= 745
involuntary context switches= 11928
runsolver used 1.63275 s user time and 4.74928 s system time
The end
Begin job on node29 on Mon Jan 29 18:08:12 UTC 2007
IDJOB= 199369
IDBENCH= 3611
IDSOLVER= 86
FILE ID= node29/199369-1170094091
PBS_JOBID= 3689599
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-16.xml
COMMAND LINE= /tmp/evaluation/199369-1170094091/solver /tmp/evaluation/199369-1170094091 /tmp/evaluation/199369-1170094091/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-199369-1170094091 -o ROOT/results/node29/solver-199369-1170094091 -C 1800 -M 900 /tmp/evaluation/199369-1170094091/solver /tmp/evaluation/199369-1170094091 /tmp/evaluation/199369-1170094091/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 7447b147e8de23753df044c6f29ad235
RANDOM SEED= 115484403
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.209
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 : 5931.00
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.209
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: 1537464 kB
Buffers: 43032 kB
Cached: 286496 kB
SwapCached: 0 kB
Active: 229768 kB
Inactive: 219420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1537464 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2364 kB
Writeback: 0 kB
Mapped: 139388 kB
Slab: 54036 kB
Committed_AS: 249172 kB
PageTables: 2280 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= 66463 MiB
End job on node29 on Mon Jan 29 18:32:14 UTC 2007