0.05 c # Sugar v0-40 (/tmp/evaluation/198520-1170093884/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/198520-1170093884/unknown.xml [Mon Jan 29 19:04:45 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/198520-1170093884/unknown.xml /tmp/evaluation/198520-1170093884/sugar24115.csp [Mon Jan 29 19:04:45 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/198520-1170093884/sugar-v0-40.jar -convert /tmp/evaluation/198520-1170093884/unknown.xml /tmp/evaluation/198520-1170093884/sugar24115.csp
0.17 c BEGIN convert /tmp/evaluation/198520-1170093884/unknown.xml
0.32 c END convert (0.154389 seconds)
0.33 c # CONVERT_XML END : /tmp/evaluation/198520-1170093884/sugar24115.csp 1575 bytes (0 seconds) [Mon Jan 29 19:04:45 2007]
0.33 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.33
0.33 c # GENERATE_SAT BEGIN : /tmp/evaluation/198520-1170093884/sugar24115.bcnf [Mon Jan 29 19:04:45 2007]
0.33 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/198520-1170093884/sugar-v0-40.jar -bcnf -map /tmp/evaluation/198520-1170093884/sugar24115.map /tmp/evaluation/198520-1170093884/sugar24115.csp /tmp/evaluation/198520-1170093884/sugar24115.bcnf
0.45 c BEGIN parse /tmp/evaluation/198520-1170093884/sugar24115.csp
0.57 c END parse (0.111031 seconds)
0.57 c BEGIN simplify
0.57 c END simplify (0.005737 seconds)
0.57 c BEGIN encode /tmp/evaluation/198520-1170093884/sugar24115.bcnf
0.62 c END encode (0.044014 seconds)
0.63 c # GENERATE_SAT END : 405 variables 3225 clauses 48804 bytes (1 seconds) [Mon Jan 29 19:04:46 2007]
0.63 c # GENERATE_SAT CPU : 0 = 0 + 0 + 0 + 0
0.63
0.63 c # SOLVE_SAT BEGIN : /tmp/evaluation/198520-1170093884/sugar24115.bcnf [Mon Jan 29 19:04:46 2007]
0.63 c # CMD : /tmp/evaluation/198520-1170093884/minisat /tmp/evaluation/198520-1170093884/sugar24115.bcnf /tmp/evaluation/198520-1170093884/sugar24115.out
0.63 c ==================================[MINISAT]===================================
0.63 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.63 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
0.63 c ==============================================================================
0.63 c | 0 | 3225 8970 | 1075 0 0 nan | 0.000 % |
0.63 c | 100 | 3225 8970 | 1182 100 723 7.2 | 0.001 % |
0.63 c | 251 | 3225 8970 | 1300 251 1741 6.9 | 0.004 % |
0.64 c | 476 | 3225 8970 | 1430 476 3328 7.0 | 0.001 % |
0.65 c | 813 | 3225 8970 | 1573 813 7216 8.9 | 0.002 % |
0.66 c | 1320 | 3225 8970 | 1731 1320 11873 9.0 | 0.004 % |
0.68 c | 2079 | 3225 8970 | 1904 1056 7000 6.6 | 0.006 % |
0.70 c | 3218 | 3225 8970 | 2094 2195 15944 7.3 | 0.002 % |
0.75 c | 4927 | 3225 8970 | 2304 1618 16560 10.2 | 0.002 % |
0.85 c | 7489 | 3225 8970 | 2534 1700 17059 10.0 | 0.005 % |
0.96 c | 11333 | 3225 8970 | 2788 1466 12213 8.3 | 0.001 % |
1.18 c | 17099 | 3225 8970 | 3067 2659 27130 10.2 | 0.005 % |
1.55 c | 25748 | 3225 8970 | 3373 3314 30600 9.2 | 0.002 % |
2.17 c | 38722 | 3225 8970 | 3711 2180 23656 10.9 | 0.004 % |
2.88 c | 58184 | 3225 8970 | 4082 3939 41865 10.6 | 0.006 % |
4.67 c | 87376 | 3225 8970 | 4490 3503 45161 12.9 | 0.004 % |
6.71 c | 131166 | 3225 8970 | 4939 2639 32402 12.3 | 0.006 % |
9.51 c | 196850 | 3225 8970 | 5433 3294 35953 10.9 | 0.007 % |
15.29 c | 295376 | 3225 8970 | 5976 3668 43918 12.0 | 0.004 % |
23.07 c | 443165 | 3225 8970 | 6574 3597 40393 11.2 | 0.005 % |
36.00 c | 664848 | 3225 8970 | 7232 5490 63051 11.5 | 0.006 % |
58.39 c | 997373 | 3225 8970 | 7955 4563 52332 11.5 | 0.002 % |
91.91 c | 1496162 | 3225 8970 | 8750 7095 99630 14.0 | 0.006 % |
149.41 c | 2244345 | 3225 8970 | 9625 5174 64813 12.5 | 0.003 % |
227.50 c | 3366619 | 3225 8970 | 10588 7553 80890 10.7 | 0.007 % |
382.95 c | 5050031 | 3225 8970 | 11647 6381 122031 19.1 | 0.001 % |
619.05 c | 7575147 | 3225 8970 | 12812 6286 82134 13.1 | 0.002 % |
978.21 c | 11362822 | 3225 8970 | 14093 11659 154232 13.2 | 0.002 % |
1493.93 c | 17044335 | 3227 8970 | 15502 11401 123732 10.9 | 0.016 % |
1816.59 s UNKNOWN
1816.59 c # ERROR No such file or directory /tmp/evaluation/198520-1170093884/sugar24115.out, at /tmp/evaluation/198520-1170093884/sugar line 393.
1816.59
1816.59 c # MAIN END : (1817 seconds) [Mon Jan 29 19:35:02 2007]
1816.59 c # MAIN CPU : 1799.52 = 0 + 0 + 1799.34 + 0.18
1816.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-198520-1170093884 -o ROOT/results/node9/solver-198520-1170093884 -C 1800 -M 900 /tmp/evaluation/198520-1170093884/solver /tmp/evaluation/198520-1170093884 /tmp/evaluation/198520-1170093884/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.72 1.93 1.80 3/89 24116
/proc/meminfo: memFree=1758560/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=880 CPUtime=0
/proc/24115/stat : 24115 (solver) R 24113 24115 23536 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 29343134 901120 25 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 215416370453 0 0 4096 0 0 0 0 17 1 0 0
/proc/24115/statm: 220 25 18 169 0 8 0
[startup+0.102952 s]
/proc/loadavg: 1.72 1.93 1.80 3/89 24116
/proc/meminfo: memFree=1758560/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13724 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1112 0 0 0 4 0 0 0 20 0 1 0 29343134 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.511027 s]
/proc/loadavg: 1.72 1.93 1.80 3/89 24116
/proc/meminfo: memFree=1758560/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13724 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1188 0 0 0 4 0 0 0 15 0 1 0 29343134 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3431 808 370 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34219 s]
/proc/loadavg: 1.72 1.93 1.80 3/92 24133
/proc/meminfo: memFree=1755912/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 15 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=2184 CPUtime=0.7
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 218 0 0 0 70 0 0 0 22 0 1 0 29343197 2236416 192 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 546 192 51 112 0 430 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 16040
[startup+2.9815 s]
/proc/loadavg: 1.72 1.93 1.80 3/92 24133
/proc/meminfo: memFree=1755656/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 15 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=2316 CPUtime=2.32
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 269 0 0 0 232 0 0 0 25 0 1 0 29343197 2371584 243 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134518887 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 579 243 51 112 0 463 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 16172
[startup+6.27114 s]
/proc/loadavg: 1.75 1.94 1.80 3/92 24133
/proc/meminfo: memFree=1754824/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=2580 CPUtime=5.58
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 336 0 0 0 558 0 0 0 25 0 1 0 29343197 2641920 310 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 645 310 51 112 0 529 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 16436
[startup+12.7464 s]
/proc/loadavg: 1.79 1.94 1.81 3/92 24133
/proc/meminfo: memFree=1754376/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=2844 CPUtime=11.99
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 384 0 0 0 1199 0 0 0 25 0 1 0 29343197 2912256 358 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528335 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 711 358 51 112 0 595 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 16700
[startup+25.5809 s]
/proc/loadavg: 1.82 1.94 1.81 3/92 24133
/proc/meminfo: memFree=1753288/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=3372 CPUtime=24.71
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 544 0 0 0 2471 0 0 0 25 0 1 0 29343197 3452928 518 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525952 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 843 518 51 112 0 727 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 17228
[startup+51.2728 s]
/proc/loadavg: 1.88 1.94 1.81 3/92 24133
/proc/meminfo: memFree=1751240/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=3768 CPUtime=50.16
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 633 0 0 0 5016 0 0 0 25 0 1 0 29343197 3858432 607 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 942 607 51 112 0 826 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 17624
[startup+102.559 s]
/proc/loadavg: 1.95 1.95 1.82 3/92 24133
/proc/meminfo: memFree=1748360/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=4452 CPUtime=100.98
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 815 0 0 0 10097 1 0 0 25 0 1 0 29343197 4558848 789 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 1113 789 51 112 0 997 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 18308
[startup+162.568 s]
/proc/loadavg: 1.98 1.95 1.83 3/92 24133
/proc/meminfo: memFree=1745928/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=5128 CPUtime=160.44
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 961 0 0 0 16043 1 0 0 25 0 1 0 29343197 5251072 935 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528046 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 1282 935 51 112 0 1166 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 18984
[startup+222.581 s]
/proc/loadavg: 2.03 1.97 1.84 3/92 24133
/proc/meminfo: memFree=1744072/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=5676 CPUtime=219.89
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 1096 0 0 0 21988 1 0 0 25 0 1 0 29343197 5812224 1070 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 1419 1070 51 112 0 1303 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 19532
[startup+282.597 s]
/proc/loadavg: 2.05 1.99 1.85 3/92 24133
/proc/meminfo: memFree=1742344/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
################
# More data... #
################
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9076 CPUtime=1349.77
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 1943 0 0 0 134967 10 0 0 25 0 1 0 29343197 9293824 1917 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528462 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2269 1917 51 112 0 2153 0
Current children cumulated CPU time (s) 1350.34
Current children cumulated vsize (KiB) 22932
[startup+1422.98 s]
/proc/loadavg: 2.07 2.03 1.94 3/92 24133
/proc/meminfo: memFree=1726856/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9212 CPUtime=1409.23
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 1972 0 0 0 140913 10 0 0 25 0 1 0 29343197 9433088 1946 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2303 1946 51 112 0 2187 0
Current children cumulated CPU time (s) 1409.8
Current children cumulated vsize (KiB) 23068
[startup+1483.01 s]
/proc/loadavg: 2.02 2.02 1.94 3/92 24133
/proc/meminfo: memFree=1726664/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9360 CPUtime=1468.71
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 1996 0 0 0 146860 11 0 0 25 0 1 0 29343197 9584640 1970 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2340 1970 51 112 0 2224 0
Current children cumulated CPU time (s) 1469.28
Current children cumulated vsize (KiB) 23216
[startup+1543.04 s]
/proc/loadavg: 2.01 2.02 1.94 3/92 24133
/proc/meminfo: memFree=1726216/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9500 CPUtime=1528.18
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 2022 0 0 0 152807 11 0 0 25 0 1 0 29343197 9728000 1996 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527064 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2375 1996 51 112 0 2259 0
Current children cumulated CPU time (s) 1528.75
Current children cumulated vsize (KiB) 23356
[startup+1603.06 s]
/proc/loadavg: 2.00 2.01 1.94 3/92 24133
/proc/meminfo: memFree=1725448/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9636 CPUtime=1587.65
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 2047 0 0 0 158753 12 0 0 25 0 1 0 29343197 9867264 2021 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134637284 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2409 2021 51 112 0 2293 0
Current children cumulated CPU time (s) 1588.22
Current children cumulated vsize (KiB) 23492
[startup+1663.09 s]
/proc/loadavg: 2.05 2.02 1.95 3/92 24133
/proc/meminfo: memFree=1723976/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9772 CPUtime=1647.12
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 2103 0 0 0 164700 12 0 0 25 0 1 0 29343197 10006528 2077 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134524989 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2443 2077 51 112 0 2327 0
Current children cumulated CPU time (s) 1647.69
Current children cumulated vsize (KiB) 23628
[startup+1723.11 s]
/proc/loadavg: 2.02 2.02 1.95 3/92 24133
/proc/meminfo: memFree=1723400/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9932 CPUtime=1706.58
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 2123 0 0 0 170646 12 0 0 25 0 1 0 29343197 10170368 2097 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24133/statm: 2483 2097 51 112 0 2367 0
Current children cumulated CPU time (s) 1707.15
Current children cumulated vsize (KiB) 23788
[startup+1783.13 s]
/proc/loadavg: 1.93 2.00 1.94 3/97 24189
/proc/meminfo: memFree=1637024/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9932 CPUtime=1766.1
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 2133 0 0 0 176594 16 0 0 25 0 1 0 29343197 10170368 2107 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525240 0 0 4096 3 0 0 0 17 0 0 0
/proc/24133/statm: 2483 2107 51 112 0 2367 0
Current children cumulated CPU time (s) 1766.67
Current children cumulated vsize (KiB) 23788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.59 s]
/proc/loadavg: 2.01 2.01 1.95 3/97 24197
/proc/meminfo: memFree=1200480/2055920 swapFree=4192956/4192956
[pid=24115] ppid=24113 vsize=13856 CPUtime=0.04
/proc/24115/stat : 24115 (sugar) S 24113 24115 23536 0 -1 4194304 1329 0 0 0 4 0 0 0 16 0 1 0 29343134 14188544 842 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24115/statm: 3464 842 372 3 0 564 0
[pid=24117] ppid=24115 vsize=0 CPUtime=0.26
/proc/24117/stat : 24117 (java) Z 24115 24115 23536 0 -1 1036 3531 0 1 0 23 3 0 0 17 0 1 0 29343139 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24117/statm: 0 0 0 0 0 0 0
[pid=24125] ppid=24115 vsize=0 CPUtime=0.27
/proc/24125/stat : 24125 (java) Z 24115 24115 23536 0 -1 1036 4388 0 1 0 24 3 0 0 17 0 1 0 29343168 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24125/statm: 0 0 0 0 0 0 0
[pid=24133] ppid=24115 vsize=9932 CPUtime=1799.51
/proc/24133/stat : 24133 (minisat) R 24115 24115 23536 0 -1 0 2147 0 0 0 179933 18 0 0 25 0 1 0 29343197 10170368 2121 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24133/statm: 2483 2121 51 112 0 2367 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 23788
Sending SIGTERM to process tree (bottom up)
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24115 and gives childrusage.ru_utime.tv_sec=1799 childrusage.ru_utime.tv_usec=384451 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=188971
CPU time returned by wait4() is 1799.57
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.6
CPU time (s): 1800.08
CPU user time (s): 1799.84
CPU system time (s): 0.24
CPU usage (%): 99.0909
Max. virtual memory (cumulated for all children) (KiB): 23788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 34104
runsolver used 2.11268 s user time and 5.9361 s system time
The end
Begin job on node9 on Mon Jan 29 18:04:45 UTC 2007
IDJOB= 198520
IDBENCH= 3560
IDSOLVER= 86
FILE ID= node9/198520-1170093884
PBS_JOBID= 3689416
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-15.xml
COMMAND LINE= /tmp/evaluation/198520-1170093884/solver /tmp/evaluation/198520-1170093884 /tmp/evaluation/198520-1170093884/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-198520-1170093884 -o ROOT/results/node9/solver-198520-1170093884 -C 1800 -M 900 /tmp/evaluation/198520-1170093884/solver /tmp/evaluation/198520-1170093884 /tmp/evaluation/198520-1170093884/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c50ed34d99eca703057f80ac300e5077
RANDOM SEED= 630535078
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1759040 kB
Buffers: 41204 kB
Cached: 139948 kB
SwapCached: 0 kB
Active: 196852 kB
Inactive: 54116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759040 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2248 kB
Writeback: 0 kB
Mapped: 89560 kB
Slab: 30908 kB
Committed_AS: 267012 kB
PageTables: 2084 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= 66525 MiB
End job on node9 on Mon Jan 29 18:35:02 UTC 2007