0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sun Jul 12 09:42:19 2009
0.00/0.08 c 0 PID 26502
0.00/0.08 c 0 HOST node26.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2086866-1247384539.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2086866-1247384539.xml' 'HOME/temp.csp'
0.06/0.52 c 1 1 domains, 60 variables, 2 predicates, 0 relations, 1815 constraints
0.06/0.55 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.56 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.49/0.63 c 1 Parsing HOME/temp.csp
0.49/0.72 c 1 parsed 1878 expressions
0.49/0.73 c 1 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.49/0.73 c 1 Converting to clausal form CSP
0.49/0.80 c 1 converted 188 (10%) expressions
0.49/0.91 c 1 converted 376 (20%) expressions
0.49/0.94 c 1 converted 564 (30%) expressions
0.49/0.95 c 1 converted 752 (40%) expressions
0.49/0.97 c 1 converted 939 (50%) expressions
0.49/0.98 c 1 converted 1127 (60%) expressions
0.49/0.99 c 1 converted 1315 (70%) expressions
0.49/0.99 c 1 converted 1503 (80%) expressions
0.91/1.01 c 1 converted 1691 (90%) expressions
0.91/1.02 c 1 converted 1878 (100%) expressions
0.91/1.02 c 1 CSP : 60 integers, 0 booleans, 1860 clauses, largest domain size 58
0.91/1.02 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.91/1.02 c 1 Propagation in CSP
0.91/1.04 c 1 405 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.91/1.04 c 1 CSP : 60 integers, 0 booleans, 1860 clauses, largest domain size 54
0.91/1.04 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.91/1.05 c 1 Simplifing CSP by introducing new Boolean variables
0.91/1.08 c 1 CSP : 60 integers, 3540 booleans, 5400 clauses, largest domain size 54
0.91/1.08 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.02/1.12 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.02/1.13 c 1 6 (10%) CSP integer variables are encoded (267 clauses, 2789 bytes)
1.02/1.13 c 1 12 (20%) CSP integer variables are encoded (426 clauses, 4538 bytes)
1.02/1.13 c 1 18 (30%) CSP integer variables are encoded (612 clauses, 6584 bytes)
1.02/1.13 c 1 24 (40%) CSP integer variables are encoded (825 clauses, 8927 bytes)
1.02/1.14 c 1 30 (50%) CSP integer variables are encoded (930 clauses, 10082 bytes)
1.02/1.14 c 1 36 (60%) CSP integer variables are encoded (1197 clauses, 13476 bytes)
1.02/1.14 c 1 42 (70%) CSP integer variables are encoded (1356 clauses, 15543 bytes)
1.02/1.14 c 1 48 (80%) CSP integer variables are encoded (1542 clauses, 17961 bytes)
1.02/1.14 c 1 54 (90%) CSP integer variables are encoded (1755 clauses, 20730 bytes)
1.02/1.14 c 1 60 (100%) CSP integer variables are encoded (1860 clauses, 22095 bytes)
1.02/1.19 c 1 540 (10%) CSP clauses are encoded (12837 clauses, 201414 bytes)
1.11/1.22 c 1 1080 (20%) CSP clauses are encoded (21641 clauses, 349825 bytes)
1.11/1.24 c 1 1620 (30%) CSP clauses are encoded (27426 clauses, 446829 bytes)
1.11/1.25 c 1 2160 (40%) CSP clauses are encoded (30262 clauses, 492345 bytes)
1.11/1.27 c 1 2700 (50%) CSP clauses are encoded (37710 clauses, 618837 bytes)
1.11/1.29 c 1 3240 (60%) CSP clauses are encoded (46879 clauses, 776951 bytes)
1.21/1.31 c 1 3780 (70%) CSP clauses are encoded (52914 clauses, 880027 bytes)
1.21/1.32 c 1 4320 (80%) CSP clauses are encoded (60026 clauses, 1006740 bytes)
1.21/1.34 c 1 4860 (90%) CSP clauses are encoded (68778 clauses, 1166923 bytes)
1.21/1.36 c 1 5400 (100%) CSP clauses are encoded (76061 clauses, 1300459 bytes)
1.21/1.36 c 1 5400 CSP clauses encoded
1.21/1.36 c 1 Writing map file : HOME/temp.map
1.21/1.36 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.21/1.36 c 1 SAT : 5460 SAT variables, 76061 SAT clauses, 1300459 bytes
1.21/1.36 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.21/1.40 c 2 SOLVING HOME/temp.cnf
1.21/1.40 c 2 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.04/1801.60 sh: line 1: 26526 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.04/1801.61 c 1802 DECODING HOME/temp.out WITH HOME/temp.map
1800.04/1801.61 c 1802 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1800.04/1801.61 c ERROR INTERRUPTED
1800.04/1801.61 s UNKNOWN
1800.04/1801.61 c 1802 CPU 1800.06 (0.06 0.01 1799.41 0.58)
1800.04/1801.61 c 1802 END Sun Jul 12 10:12:21 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086866-1247384539/watcher-2086866-1247384539 -o /tmp/evaluation-result-2086866-1247384539/solver-2086866-1247384539 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2086866-1247384539.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.11 2.04 2.01 4/72 26502
/proc/meminfo: memFree=1911640/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=12268 CPUtime=0
/proc/26502/stat : 26502 (sugar) R 26500 26502 26060 0 -1 4194304 348 0 0 0 0 0 0 0 23 0 1 0 25520231 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 269028653669 0 0 4224 0 0 0 0 17 1 0 0
/proc/26502/statm: 3067 316 241 3 0 167 0
[startup+0.086699 s]
/proc/loadavg: 2.11 2.04 2.01 4/72 26502
/proc/meminfo: memFree=1911640/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=0.06
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25520231 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.104925 s]
/proc/loadavg: 2.11 2.04 2.01 4/72 26502
/proc/meminfo: memFree=1911640/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=0.06
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25520231 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301955 s]
/proc/loadavg: 2.11 2.04 2.01 4/72 26502
/proc/meminfo: memFree=1911640/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=0.06
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25520231 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.702021 s]
/proc/loadavg: 2.11 2.04 2.01 4/72 26502
/proc/meminfo: memFree=1911640/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=0.49
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1309 5089 0 1 5 1 39 4 16 0 1 0 25520231 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 16868
[startup+1.50114 s]
/proc/loadavg: 2.11 2.04 2.01 4/83 26524
/proc/meminfo: memFree=1896512/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 16868
[startup+3.10141 s]
/proc/loadavg: 2.11 2.04 2.01 3/75 26526
/proc/meminfo: memFree=1903872/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=3964 CPUtime=1.67
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 830 0 0 0 132 35 0 0 25 0 1 0 25520372 4059136 816 996147200 134512640 134931368 4294956256 18446744073709551615 134524060 0 0 4096 0 0 0 0 17 1 0 0
/proc/26526/statm: 991 816 42 102 0 886 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 26188
[startup+6.30292 s]
/proc/loadavg: 2.10 2.04 2.01 3/75 26526
/proc/meminfo: memFree=1903488/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=4228 CPUtime=4.84
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 899 0 0 0 449 35 0 0 25 0 1 0 25520372 4329472 885 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26526/statm: 1057 885 42 102 0 952 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 26452
[startup+12.7019 s]
/proc/loadavg: 2.10 2.04 2.00 3/75 26526
/proc/meminfo: memFree=1902848/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=4756 CPUtime=11.19
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1025 0 0 0 1083 36 0 0 25 0 1 0 25520372 4870144 1011 996147200 134512640 134931368 4294956256 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 1 0 0
/proc/26526/statm: 1189 1011 42 102 0 1084 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 26980
[startup+25.502 s]
/proc/loadavg: 2.07 2.04 2.00 3/75 26526
/proc/meminfo: memFree=1902400/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=5240 CPUtime=23.86
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1165 0 0 0 2350 36 0 0 25 0 1 0 25520372 5365760 1138 996147200 134512640 134931368 4294956256 18446744073709551615 134531377 0 0 4096 0 0 0 0 17 1 0 0
/proc/26526/statm: 1310 1138 48 102 0 1205 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 27464
[startup+51.1011 s]
/proc/loadavg: 2.05 2.03 2.00 3/75 26526
/proc/meminfo: memFree=1902080/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=5480 CPUtime=49.22
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1231 0 0 0 4886 36 0 0 25 0 1 0 25520372 5611520 1204 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/26526/statm: 1370 1204 48 102 0 1265 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 27704
[startup+102.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 26776
/proc/meminfo: memFree=1814272/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=5708 CPUtime=100.17
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1299 0 0 0 9976 41 0 0 25 0 1 0 25520372 5844992 1272 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 1427 1272 48 102 0 1322 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 27932
[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 26776
/proc/meminfo: memFree=1814080/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=5908 CPUtime=160.14
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1366 0 0 0 15973 41 0 0 25 0 1 0 25520372 6049792 1339 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 1477 1339 48 102 0 1372 0
Current children cumulated CPU time (s) 161.43
Current children cumulated vsize (KiB) 28132
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 26776
/proc/meminfo: memFree=1813632/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=6304 CPUtime=220.12
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1473 0 0 0 21971 41 0 0 25 0 1 0 25520372 6455296 1446 996147200 134512640 134931368 4294956256 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 1576 1446 48 102 0 1471 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 28528
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 26776
/proc/meminfo: memFree=1813376/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=6516 CPUtime=280.1
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 1557 0 0 0 27968 42 0 0 25 0 1 0 25520372 6672384 1474 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 1629 1474 48 102 0 1524 0
Current children cumulated CPU time (s) 281.39
Current children cumulated vsize (KiB) 28740
[startup+342.303 s]
################
# More data... #
################
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=8760 CPUtime=1239.69
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 2953 0 0 0 123924 45 0 0 25 0 1 0 25520372 8970240 2060 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2190 2060 48 102 0 2085 0
Current children cumulated CPU time (s) 1240.98
Current children cumulated vsize (KiB) 30984
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 26784
/proc/meminfo: memFree=1810112/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=9008 CPUtime=1299.67
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3016 0 0 0 129922 45 0 0 25 0 1 0 25520372 9224192 2123 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2252 2123 48 102 0 2147 0
Current children cumulated CPU time (s) 1300.96
Current children cumulated vsize (KiB) 31232
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/83 26784
/proc/meminfo: memFree=1809984/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=9776 CPUtime=1359.64
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3086 0 0 0 135919 45 0 0 25 0 1 0 25520372 10010624 2129 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2444 2129 48 102 0 2339 0
Current children cumulated CPU time (s) 1360.93
Current children cumulated vsize (KiB) 32000
[startup+1422.31 s]
/proc/loadavg: 2.12 2.05 2.01 3/83 26784
/proc/meminfo: memFree=1809792/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=9908 CPUtime=1419.61
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3188 0 0 0 141916 45 0 0 25 0 1 0 25520372 10145792 2164 996147200 134512640 134931368 4294956256 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2477 2164 48 102 0 2372 0
Current children cumulated CPU time (s) 1420.9
Current children cumulated vsize (KiB) 32132
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/83 26784
/proc/meminfo: memFree=1809792/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=9908 CPUtime=1479.58
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3188 0 0 0 147913 45 0 0 25 0 1 0 25520372 10145792 2164 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2477 2164 48 102 0 2372 0
Current children cumulated CPU time (s) 1480.87
Current children cumulated vsize (KiB) 32132
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/83 26784
/proc/meminfo: memFree=1809664/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=10040 CPUtime=1539.56
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3298 0 0 0 153911 45 0 0 25 0 1 0 25520372 10280960 2207 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2510 2207 48 102 0 2405 0
Current children cumulated CPU time (s) 1540.85
Current children cumulated vsize (KiB) 32264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 26784
/proc/meminfo: memFree=1809344/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=10304 CPUtime=1599.53
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3442 0 0 0 159908 45 0 0 25 0 1 0 25520372 10551296 2281 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2576 2281 48 102 0 2471 0
Current children cumulated CPU time (s) 1600.82
Current children cumulated vsize (KiB) 32528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 26784
/proc/meminfo: memFree=1809280/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=10304 CPUtime=1659.5
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3442 0 0 0 165905 45 0 0 25 0 1 0 25520372 10551296 2281 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2576 2281 48 102 0 2471 0
Current children cumulated CPU time (s) 1660.79
Current children cumulated vsize (KiB) 32528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 26784
/proc/meminfo: memFree=1809408/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=10080 CPUtime=1719.48
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3512 0 0 0 171902 46 0 0 25 0 1 0 25520372 10321920 2246 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2520 2246 48 102 0 2415 0
Current children cumulated CPU time (s) 1720.77
Current children cumulated vsize (KiB) 32304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 26784
/proc/meminfo: memFree=1808768/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=10476 CPUtime=1779.46
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3686 0 0 0 177900 46 0 0 25 0 1 0 25520372 10727424 2346 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2619 2346 48 102 0 2514 0
Current children cumulated CPU time (s) 1780.75
Current children cumulated vsize (KiB) 32700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 26784
/proc/meminfo: memFree=1808768/2055920 swapFree=4192812/4192956
[pid=26502] ppid=26500 vsize=16868 CPUtime=1.29
/proc/26502/stat : 26502 (sugar) S 26500 26502 26060 0 -1 4194304 1365 12158 0 2 6 1 111 11 16 0 1 0 25520231 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26502/statm: 4217 1113 409 3 0 796 0
[pid=26525] ppid=26502 vsize=5356 CPUtime=0
/proc/26525/stat : 26525 (sh) S 26502 26502 26060 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25520372 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26525/statm: 1339 232 193 169 0 50 0
[pid=26526] ppid=26525 vsize=10476 CPUtime=1798.75
/proc/26526/stat : 26526 (picosat) R 26525 26502 26060 0 -1 4194304 3686 0 0 0 179829 46 0 0 25 0 1 0 25520372 10727424 2346 996147200 134512640 134931368 4294956256 18446744073709551615 134522892 0 0 4096 0 0 0 0 17 0 0 0
/proc/26526/statm: 2619 2346 48 102 0 2514 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 32700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.62
CPU time (s): 1800.09
CPU user time (s): 1799.48
CPU system time (s): 0.601908
CPU usage (%): 99.9148
Max. virtual memory (cumulated for all children) (KiB): 890808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.601908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17968
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= 2134
involuntary context switches= 9961
runsolver used 1.93971 second user time and 6.26805 second system time
The end
Begin job on node26 at 2009-07-12 09:42:19
IDJOB=2086866
IDBENCH=58652
IDSOLVER=738
FILE ID=node26/2086866-1247384539
PBS_JOBID= 9507268
Free space on /tmp= 66396 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/langford4/normalized-langford-4-15.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086866-1247384539/watcher-2086866-1247384539 -o /tmp/evaluation-result-2086866-1247384539/solver-2086866-1247384539 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2086866-1247384539.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4d1aaa592db27ccaece4a9a11c6999b4
RANDOM SEED=36642031
node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.281
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.281
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: 1912120 kB
Buffers: 11372 kB
Cached: 65400 kB
SwapCached: 0 kB
Active: 66264 kB
Inactive: 27224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1912120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1520 kB
Writeback: 0 kB
Mapped: 28216 kB
Slab: 35760 kB
Committed_AS: 166352 kB
PageTables: 1680 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= 66392 MiB
End job on node26 at 2009-07-12 10:12:23