0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.05 c 0 BEGIN Thu Jul 3 21:59:56 2008
0.00/0.05 c 0 PID 6886
0.03/0.05 c 0 HOST node21.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1058455-1215115196.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1058455-1215115196.xml' 'HOME/temp.csp'
1.92/2.06 c 2 39 domains, 800 variables, 1 predicates, 0 relations, 28733 constraints
1.99/2.10 c 3 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.99/2.10 c 3 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.99/2.18 c 3 Parsing HOME/temp.csp
1.99/2.57 c 3 parsed 10000 expressions
1.99/2.90 c 3 parsed 20000 expressions
3.05/3.22 c 4 parsed 29573 expressions
3.05/3.23 c 4 Heap : 12 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.05/3.23 c 4 Converting to clausal form CSP
3.45/3.62 c 4 converted 2958 (10%) expressions
3.64/3.84 c 4 converted 5915 (20%) expressions
4.03/4.20 c 5 converted 8872 (30%) expressions
4.23/4.41 c 5 converted 11830 (40%) expressions
4.42/4.63 c 5 converted 14787 (50%) expressions
4.61/4.83 c 5 converted 17744 (60%) expressions
5.01/5.27 c 6 converted 20702 (70%) expressions
5.20/5.49 c 6 converted 23659 (80%) expressions
5.40/5.69 c 6 converted 26616 (90%) expressions
6.87/7.15 c 8 converted 29573 (100%) expressions
6.87/7.15 c 8 CSP : 800 integers, 0 booleans, 60537 clauses, largest domain size 45
6.87/7.15 c 8 Heap : 69 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.87/7.15 c 8 Propagation in CSP
7.26/7.57 c 8 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.26/7.58 c 8 CSP : 800 integers, 0 booleans, 60537 clauses, largest domain size 45
7.26/7.58 c 8 Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.26/7.60 c 8 Simplifing CSP by introducing new Boolean variables
8.84/9.17 c 10 CSP : 800 integers, 166154 booleans, 226691 clauses, largest domain size 45
8.84/9.17 c 10 Heap : 127 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.63/9.97 c 10 Encoding CSP to SAT : HOME/temp.cnf
9.73/10.03 c 10 80 (10%) CSP integer variables are encoded (3440 clauses, 42621 bytes)
9.73/10.03 c 10 160 (20%) CSP integer variables are encoded (6880 clauses, 87341 bytes)
9.73/10.03 c 10 240 (30%) CSP integer variables are encoded (10320 clauses, 133158 bytes)
9.73/10.04 c 10 320 (40%) CSP integer variables are encoded (13760 clauses, 184758 bytes)
9.73/10.04 c 10 400 (50%) CSP integer variables are encoded (17200 clauses, 236358 bytes)
9.73/10.05 c 10 480 (60%) CSP integer variables are encoded (17249 clauses, 237093 bytes)
9.73/10.05 c 10 560 (70%) CSP integer variables are encoded (17278 clauses, 237528 bytes)
9.73/10.05 c 10 640 (80%) CSP integer variables are encoded (17304 clauses, 237918 bytes)
9.73/10.05 c 10 720 (90%) CSP integer variables are encoded (17336 clauses, 238398 bytes)
9.73/10.06 c 10 800 (100%) CSP integer variables are encoded (17372 clauses, 238938 bytes)
10.81/11.11 c 12 22670 (10%) CSP clauses are encoded (481067 clauses, 9218537 bytes)
11.71/12.10 c 13 45339 (20%) CSP clauses are encoded (947900 clauses, 18656415 bytes)
12.68/13.08 c 13 68008 (30%) CSP clauses are encoded (1415698 clauses, 28148008 bytes)
13.67/14.06 c 14 90677 (40%) CSP clauses are encoded (1880435 clauses, 37626755 bytes)
14.66/15.07 c 15 113346 (50%) CSP clauses are encoded (2340388 clauses, 47437152 bytes)
15.74/16.18 c 17 136015 (60%) CSP clauses are encoded (2842812 clauses, 58645830 bytes)
17.10/17.57 c 18 158684 (70%) CSP clauses are encoded (3527065 clauses, 73251460 bytes)
18.47/18.95 c 19 181353 (80%) CSP clauses are encoded (4211494 clauses, 87965933 bytes)
19.86/20.32 c 21 204022 (90%) CSP clauses are encoded (4896275 clauses, 102644391 bytes)
21.21/21.71 c 22 226691 (100%) CSP clauses are encoded (5581232 clauses, 117254421 bytes)
21.21/21.72 c 22 226691 CSP clauses encoded
21.21/21.72 c 22 Writing map file : HOME/temp.map
21.21/21.75 c 22 Heap : 94 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
21.21/21.76 c 22 SAT : 184180 SAT variables, 5581232 SAT clauses, 117254421 bytes
21.21/21.76 c 22 Heap : 94 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
21.27/21.83 c 22 SOLVING HOME/temp.cnf
21.27/21.83 c 22 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
76.69/78.16 c 79 DECODING HOME/temp.out WITH HOME/temp.map
76.69/78.16 c 79 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
76.78/78.25 c 79 Decoding HOME/temp.out
76.78/78.74 s SATISFIABLE
76.78/78.78 v 14 4 11 43 8 37 3 13 26 24 5 0 12 26 4 31 26 7 22 9 19 0 40 4 12 7 2 15 22 12 16 10 31 3 5 34 33 43 34 6 13 27 8 0 10 36 19 2 22 2 8 27 16 4 39 38 42 15 3 5 15 34 44 11 11 4 5 30 27 11 26 44 14 27 6 29 25 24 17 15 8 7 16 28 4 8 37 30 27 6 35 44 32 5 19 7 3 6 14 28 15 11 44 2 31 7 28 9 2 41 0 1 1 12 33 8 9 40 14 1 18 6 13 10 8 4 23 44 29 29 13 9 12 6 13 15 29 13 14 3 15 40 1 16 16 11 20 6 30 29 17 5 3 44 12 17 13 28 16 19 31 18 39 2 6 7 10 9 17 16 0 18 20 18 20 14 23 19 30 0 9 16 12 43 19 35 21 1 22 26 20 24 34 21 7 22 39 21 9 41 30 1 21 22 35 11 9 25 2 27 31 32 22 24 4 32 23 27 32 24 25 17 6 34 26 20 14 19 16 18 36 18 25 29 35 5 4 42 1 28 31 32 30 14 32 27 33 12 36 10 37 20 38 42 37 34 30 7 23 23 21 11 9 32 10 8 37 26 35 7 12 17 10 25 26 29 19 42 28 30 22 39 0 25 28 33 29 13 19 23 31 38 18 30 31 41 30 36 25 43 36 27 32 33 2 24 13 37 11 1 41 15 39 8 21 21 3 38 41 10 2 18 39 38 21 5 15 22 33 34 5 33 29 31 37 36 17 34 40 38 41 40 34 44 39 40 24 32 43 25 33 40 35 39 0 0 0 28 42 42 20 22 42 23 43 42 16 26 33 41 13 40 34 20 41 3 36 3 36 44 7 37 21 5 17 23 24 38 10 35 37 20 44 17 25 33 19 43 26 36 5 0 8 6 8 7 5 8 7 5 2 3 3 1 4 7 4 7 9 2 3 6 2 8 1 6 8 2 4 7 0 9 3 3 1 2 9 5 9 9 3 6 7 7 4 3 0 7 6 2 9 7 5 1 2 0 2 9 2 4 7 7 2 1 2 7 8 6 3 3 9 8 8 8 5 4 6 3 9 5 6 4 6 3 3 1 2 2 9 8 5 6 7 7 4 3 1 0 2 8 8 5 3 5 5 2 2 9 4 9 9 6 8 8 6 3 5 6 6 1 6 4 6 3 0 2 3 7 2 8 2 4 5 6 9 3 1 1 7 0 1 7 7 3 8 6 4 3 3 5 8 3 6 0 4 3 7 5 4 9 1 8 3 0 7 0 7 7 7 9 4 3 3 9 5 0 5 7 8 1 3 2 6 7 6 6 5 5 2 0 7 7 8 8 9 7 6 2 8 0 0 3 7 3 7 9 1 0 3 2 0 6 8 8 6 5 4 5 2 0 2 4 2 3 8 0 3 5 7 7 2 5 7 3 2 9 5 7 4 4 2 8 9 4 3 0 2 0 0 5 8 2 2 9 0 0 5 8 0 7 3 7 6 4 2 4 1 5 3 5 2 5 6 4 2 0 2 3 1 1 0 0 2 5 6 1 7 5 8 2 4 7 4 7 8 3 4 7 3 3 5 4 9 8 1 2 4 3 4 2 7 6 7 5 0 1 8 3 8 8 6 2 8 4 4 0 0 5 5 4 5 4 6 6 4 4 0 6 9 8 6 8 5 9 4 1 1 1 8 8 0 4 0 5 0 8 5 7 5 6 6 1 0 8 1 8 1 6 3 5 0 5 1 1 2 7 8 9 6 5 1 6 6 6 6 6 6 6 1 8 5 8 1 1 9 7 1 9 3 1
76.78/78.78 c 79 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
76.78/78.81 c 79 CPU 49.28 (0.03 0.01 49.25 28.09)
76.78/78.81 c 79 END Thu Jul 3 22:01:15 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058455-1215115196/watcher-1058455-1215115196 -o /tmp/evaluation-result-1058455-1215115196/solver-1058455-1215115196 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1058455-1215115196.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.04 2.05 4/93 6886
/proc/meminfo: memFree=1332960/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=12268 CPUtime=0
/proc/6886/stat : 6886 (sugar) R 6884 6886 5840 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1990493909 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 221236362208 0 0 4224 0 0 0 0 17 1 0 0
/proc/6886/statm: 3067 316 241 3 0 167 0
[startup+0.050788 s]
/proc/loadavg: 1.92 2.04 2.05 4/93 6886
/proc/meminfo: memFree=1332960/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=0.03
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 837 0 0 0 3 0 0 0 18 0 1 0 1990493909 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.105678 s]
/proc/loadavg: 1.92 2.04 2.05 4/93 6886
/proc/meminfo: memFree=1332960/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=0.03
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1990493909 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301113 s]
/proc/loadavg: 1.92 2.04 2.05 4/93 6886
/proc/meminfo: memFree=1332960/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=0.03
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1990493909 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701195 s]
/proc/loadavg: 1.92 2.04 2.05 4/93 6886
/proc/meminfo: memFree=1332960/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=0.03
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1990493909 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50234 s]
/proc/loadavg: 1.92 2.04 2.05 3/104 6898
/proc/meminfo: memFree=1307528/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=0.03
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1990493909 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 796 370 3 0 500 0
[pid=6889] ppid=6886 vsize=5356 CPUtime=0
/proc/6889/stat : 6889 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990493914 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6889/statm: 1339 233 193 169 0 50 0
[pid=6890] ppid=6889 vsize=864676 CPUtime=1.4
/proc/6890/stat : 6890 (java) S 6889 6886 5840 0 -1 0 14493 0 1 0 133 7 0 0 18 0 9 0 1990493914 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6890/statm: 216169 12532 2529 9 0 210751 0
[pid=6890/tid=6891] ppid=6889 vsize=864676 CPUtime=0.78
/proc/6890/task/6891/stat : 6891 (java) R 6889 6886 5840 0 -1 64 3019 0 1 0 76 2 0 0 24 0 9 0 1990493915 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4126665879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6892] ppid=6889 vsize=864676 CPUtime=0.48
/proc/6890/task/6892/stat : 6892 (java) S 6889 6886 5840 0 -1 64 10270 0 0 0 44 4 0 0 16 0 9 0 1990493917 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6893] ppid=6889 vsize=864676 CPUtime=0
/proc/6890/task/6893/stat : 6893 (java) S 6889 6886 5840 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990493917 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6894] ppid=6889 vsize=864676 CPUtime=0
/proc/6890/task/6894/stat : 6894 (java) S 6889 6886 5840 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1990493917 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6895] ppid=6889 vsize=864676 CPUtime=0
/proc/6890/task/6895/stat : 6895 (java) S 6889 6886 5840 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1990493920 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6896] ppid=6889 vsize=864676 CPUtime=0.12
/proc/6890/task/6896/stat : 6896 (java) S 6889 6886 5840 0 -1 64 504 0 0 0 12 0 0 0 16 0 9 0 1990493920 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6897] ppid=6889 vsize=864676 CPUtime=0
/proc/6890/task/6897/stat : 6897 (java) S 6889 6886 5840 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1990493920 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6890/tid=6898] ppid=6889 vsize=864676 CPUtime=0
/proc/6890/task/6898/stat : 6898 (java) S 6889 6886 5840 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990493920 885428224 12532 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 883632
[startup+3.10165 s]
/proc/loadavg: 1.92 2.04 2.05 5/95 6899
/proc/meminfo: memFree=1329680/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=1.99
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 974 16497 0 1 3 0 187 9 15 0 1 0 1990493909 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 797 370 3 0 500 0
[pid=6899] ppid=6886 vsize=5356 CPUtime=0
/proc/6899/stat : 6899 (sh) S 6886 6886 5840 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1990494119 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6899/statm: 1339 233 193 169 0 50 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 18956
[startup+6.30106 s]
/proc/loadavg: 1.93 2.04 2.05 3/104 6908
/proc/meminfo: memFree=1277192/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=1.99
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 974 16497 0 1 3 0 187 9 15 0 1 0 1990493909 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 797 370 3 0 500 0
[pid=6899] ppid=6886 vsize=5356 CPUtime=0
/proc/6899/stat : 6899 (sh) S 6886 6886 5840 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1990494119 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6899/statm: 1339 233 193 169 0 50 0
[pid=6900] ppid=6899 vsize=868400 CPUtime=4.09
/proc/6900/stat : 6900 (java) S 6899 6886 5840 0 -1 0 20933 0 1 0 397 12 0 0 19 0 9 0 1990494120 889241600 19551 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6900/statm: 217100 19552 2540 9 0 211675 0
[pid=6900/tid=6901] ppid=6899 vsize=868400 CPUtime=2.55
/proc/6900/task/6901/stat : 6901 (java) R 6899 6886 5840 0 -1 64 3299 0 1 0 253 2 0 0 25 0 9 0 1990494121 889241600 19553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6902] ppid=6899 vsize=868400 CPUtime=1.31
/proc/6900/task/6902/stat : 6902 (java) R 6899 6886 5840 0 -1 64 15468 0 0 0 124 7 0 0 15 0 9 0 1990494122 889241600 19554 996147200 134512640 134550740 4294955952 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6903] ppid=6899 vsize=868400 CPUtime=0
/proc/6900/task/6903/stat : 6903 (java) S 6899 6886 5840 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990494122 889241600 19555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6904] ppid=6899 vsize=868400 CPUtime=0
/proc/6900/task/6904/stat : 6904 (java) S 6899 6886 5840 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1990494122 889241600 19556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6905] ppid=6899 vsize=868400 CPUtime=0
/proc/6900/task/6905/stat : 6905 (java) S 6899 6886 5840 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990494124 889241600 19557 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6906] ppid=6899 vsize=868400 CPUtime=0.2
/proc/6900/task/6906/stat : 6906 (java) S 6899 6886 5840 0 -1 64 1473 0 0 0 19 1 0 0 17 0 9 0 1990494124 889241600 19559 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6907] ppid=6899 vsize=868400 CPUtime=0
/proc/6900/task/6907/stat : 6907 (java) S 6899 6886 5840 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990494124 889241600 19561 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6908] ppid=6899 vsize=868400 CPUtime=0
/proc/6900/task/6908/stat : 6908 (java) S 6899 6886 5840 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990494124 889241600 19562 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 887356
[startup+12.7023 s]
/proc/loadavg: 2.01 2.06 2.06 3/104 6908
/proc/meminfo: memFree=1173384/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=2
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 974 16497 0 1 3 1 187 9 16 0 1 0 1990493909 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 797 370 3 0 500 0
[pid=6899] ppid=6886 vsize=5356 CPUtime=0
/proc/6899/stat : 6899 (sh) S 6886 6886 5840 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1990494119 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6899/statm: 1339 233 193 169 0 50 0
[pid=6900] ppid=6899 vsize=868512 CPUtime=10.38
/proc/6900/stat : 6900 (java) S 6899 6886 5840 0 -1 0 53382 0 1 0 995 43 0 0 19 0 9 0 1990494120 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6900/statm: 217128 37110 2566 9 0 211675 0
[pid=6900/tid=6901] ppid=6899 vsize=868512 CPUtime=6.02
/proc/6900/task/6901/stat : 6901 (java) R 6899 6886 5840 0 -1 64 4576 0 1 0 584 18 0 0 25 0 9 0 1990494121 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6902] ppid=6899 vsize=868512 CPUtime=4.06
/proc/6900/task/6902/stat : 6902 (java) S 6899 6886 5840 0 -1 64 46588 0 0 0 383 23 0 0 16 0 9 0 1990494122 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6903] ppid=6899 vsize=868512 CPUtime=0
/proc/6900/task/6903/stat : 6903 (java) S 6899 6886 5840 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990494122 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6904] ppid=6899 vsize=868512 CPUtime=0
/proc/6900/task/6904/stat : 6904 (java) S 6899 6886 5840 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1990494122 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6905] ppid=6899 vsize=868512 CPUtime=0
/proc/6900/task/6905/stat : 6905 (java) S 6899 6886 5840 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990494124 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6906] ppid=6899 vsize=868512 CPUtime=0.28
/proc/6900/task/6906/stat : 6906 (java) S 6899 6886 5840 0 -1 64 1522 0 0 0 27 1 0 0 16 0 9 0 1990494124 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6907] ppid=6899 vsize=868512 CPUtime=0
/proc/6900/task/6907/stat : 6907 (java) S 6899 6886 5840 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990494124 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6900/tid=6908] ppid=6899 vsize=868512 CPUtime=0
/proc/6900/task/6908/stat : 6908 (java) S 6899 6886 5840 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990494124 889356288 37110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 887468
[startup+25.5027 s]
/proc/loadavg: 2.16 2.09 2.06 3/96 6910
/proc/meminfo: memFree=1199816/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=18932 CPUtime=3.6
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 4023 0 0 0 166 194 0 0 25 0 1 0 1990496092 19386368 4009 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 4733 4010 40 102 0 4628 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 37888
[startup+51.1025 s]
/proc/loadavg: 2.11 2.08 2.06 3/96 6910
/proc/meminfo: memFree=1099400/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=130708 CPUtime=28.82
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 29480 0 0 0 1323 1559 0 0 25 0 1 0 1990496092 133844992 29466 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 32677 29466 40 102 0 32572 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (KiB) 149664
Solver just ended. Dumping a history of the last processes samples
[startup+63.9019 s]
/proc/loadavg: 2.08 2.08 2.06 3/96 6910
/proc/meminfo: memFree=1048072/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=189728 CPUtime=41.43
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 41916 0 0 0 1906 2237 0 0 25 0 1 0 1990496092 194281472 41902 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 47432 41902 40 102 0 47327 0
Current children cumulated CPU time (s) 62.73
Current children cumulated vsize (KiB) 208684
[startup+70.3021 s]
/proc/loadavg: 2.08 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1022272/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=211244 CPUtime=47.71
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 48167 0 0 0 2193 2578 0 0 25 0 1 0 1990496092 216313856 48153 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 52811 48153 40 102 0 52706 0
Current children cumulated CPU time (s) 69.01
Current children cumulated vsize (KiB) 230200
[startup+73.5017 s]
/proc/loadavg: 2.08 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1013704/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=220888 CPUtime=50.86
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 50558 0 0 0 2394 2692 0 0 25 0 1 0 1990496092 226189312 50518 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 55222 50518 42 102 0 55117 0
Current children cumulated CPU time (s) 72.16
Current children cumulated vsize (KiB) 239844
[startup+76.7023 s]
/proc/loadavg: 2.07 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1012616/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=222936 CPUtime=54.01
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 50613 0 0 0 2709 2692 0 0 25 0 1 0 1990496092 228286464 50573 996147200 134512640 134931368 4294956256 18446744073709551615 134525927 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 55734 50573 42 102 0 55629 0
Current children cumulated CPU time (s) 75.31
Current children cumulated vsize (KiB) 241892
[startup+77.5015 s]
/proc/loadavg: 2.07 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1012488/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=21.3
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1022 70418 0 2 3 1 2018 108 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
[pid=6909] ppid=6886 vsize=5356 CPUtime=0
/proc/6909/stat : 6909 (sh) S 6886 6886 5840 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990496092 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6909/statm: 1339 232 193 169 0 50 0
[pid=6910] ppid=6909 vsize=222944 CPUtime=54.8
/proc/6910/stat : 6910 (picosat) R 6909 6886 5840 0 -1 4194304 50644 0 0 0 2788 2692 0 0 25 0 1 0 1990496092 228294656 50602 996147200 134512640 134931368 4294956256 18446744073709551615 134544814 0 0 4096 0 0 0 0 17 1 0 0
/proc/6910/statm: 55736 50602 48 102 0 55631 0
Current children cumulated CPU time (s) 76.1
Current children cumulated vsize (KiB) 241900
[startup+78.3016 s]
/proc/loadavg: 2.07 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1011080/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=76.78
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1091 121374 0 2 3 1 4868 2806 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 76.78
Current children cumulated vsize (KiB) 13600
[startup+78.7017 s]
/proc/loadavg: 2.07 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1011080/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=76.78
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1091 121374 0 2 3 1 4868 2806 16 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 76.78
Current children cumulated vsize (KiB) 13600
[startup+78.8017 s]
/proc/loadavg: 2.07 2.07 2.06 3/96 6916
/proc/meminfo: memFree=1011080/2055920 swapFree=4180412/4192956
[pid=6886] ppid=6884 vsize=13600 CPUtime=76.78
/proc/6886/stat : 6886 (sugar) S 6884 6886 5840 0 -1 4194304 1092 121374 0 2 3 1 4868 2806 15 0 1 0 1990493909 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6886/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 76.78
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 78.869
CPU time (s): 77.4632
CPU user time (s): 49.2905
CPU system time (s): 28.1727
CPU usage (%): 98.2176
Max. virtual memory (cumulated for all children) (KiB): 907844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.2905
system time used= 28.1727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126477
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7831
involuntary context switches= 9779
runsolver used 0.121981 second user time and 0.25996 second system time
The end
Begin job on node21 at 2008-07-03 21:59:56
IDJOB=1058455
IDBENCH=54129
IDSOLVER=345
FILE ID=node21/1058455-1215115196
PBS_JOBID= 7877161
Free space on /tmp= 66524 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-11.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058455-1215115196/watcher-1058455-1215115196 -o /tmp/evaluation-result-1058455-1215115196/solver-1058455-1215115196 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1058455-1215115196.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 995ab5e30175a498c1eb15b93ed7231d
RANDOM SEED=828089433
node21.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.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: 1333440 kB
Buffers: 52684 kB
Cached: 329124 kB
SwapCached: 6608 kB
Active: 463032 kB
Inactive: 193240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1333440 kB
SwapTotal: 4192956 kB
SwapFree: 4180412 kB
Dirty: 5452 kB
Writeback: 0 kB
Mapped: 290740 kB
Slab: 50428 kB
Committed_AS: 4084768 kB
PageTables: 2568 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= 66524 MiB
End job on node21 at 2008-07-03 22:01:15