0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Fri Jul 4 11:50:02 2008
0.00/0.04 c 0 PID 6884
0.03/0.05 c 0 HOST node59.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1070441-1215165002.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-1070441-1215165002.xml' 'HOME/temp.csp'
0.03/0.55 c 1 1 domains, 750 variables, 0 predicates, 0 relations, 80 constraints
0.03/0.58 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.58 c 1 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'
0.51/0.66 c 1 Parsing HOME/temp.csp
0.51/0.83 c 1 parsed 831 expressions
0.51/0.83 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.51/0.83 c 1 Converting to clausal form CSP
0.51/0.86 c 1 converted 84 (10%) expressions
0.51/0.86 c 1 converted 167 (20%) expressions
0.51/0.86 c 1 converted 250 (30%) expressions
0.51/0.86 c 1 converted 333 (40%) expressions
0.51/0.86 c 1 converted 416 (50%) expressions
0.51/0.87 c 1 converted 499 (60%) expressions
0.51/0.87 c 1 converted 582 (70%) expressions
0.51/0.87 c 1 converted 665 (80%) expressions
0.51/0.87 c 1 converted 748 (90%) expressions
1.01/1.17 c 1 converted 831 (100%) expressions
1.01/1.17 c 1 CSP : 2090 integers, 0 booleans, 2760 clauses, largest domain size 14
1.01/1.17 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.01/1.17 c 1 Propagation in CSP
1.10/1.23 c 1 2100 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.10/1.23 c 1 CSP : 2090 integers, 0 booleans, 2760 clauses, largest domain size 9
1.10/1.23 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.23 c 1 Simplifing CSP by introducing new Boolean variables
1.10/1.23 c 1 CSP : 2090 integers, 0 booleans, 2760 clauses, largest domain size 9
1.10/1.23 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.27 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.10/1.28 c 2 209 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.10/1.28 c 2 418 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.10/1.28 c 2 627 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.10/1.29 c 2 836 (40%) CSP integer variables are encoded (204 clauses, 2367 bytes)
1.10/1.29 c 2 1045 (50%) CSP integer variables are encoded (701 clauses, 8828 bytes)
1.10/1.29 c 2 1254 (60%) CSP integer variables are encoded (1200 clauses, 15315 bytes)
1.10/1.30 c 2 1463 (70%) CSP integer variables are encoded (1550 clauses, 19865 bytes)
1.21/1.30 c 2 1672 (80%) CSP integer variables are encoded (1550 clauses, 19865 bytes)
1.21/1.30 c 2 1881 (90%) CSP integer variables are encoded (1550 clauses, 19865 bytes)
1.21/1.30 c 2 2090 (100%) CSP integer variables are encoded (1550 clauses, 19865 bytes)
1.21/1.32 c 2 276 (10%) CSP clauses are encoded (3448 clauses, 46571 bytes)
1.21/1.34 c 2 552 (20%) CSP clauses are encoded (5346 clauses, 76055 bytes)
1.21/1.35 c 2 828 (30%) CSP clauses are encoded (7276 clauses, 106087 bytes)
1.21/1.36 c 2 1104 (40%) CSP clauses are encoded (9178 clauses, 135636 bytes)
1.21/1.37 c 2 1380 (50%) CSP clauses are encoded (10960 clauses, 163220 bytes)
1.21/1.38 c 2 1656 (60%) CSP clauses are encoded (11506 clauses, 170414 bytes)
1.21/1.38 c 2 1932 (70%) CSP clauses are encoded (12052 clauses, 177611 bytes)
1.21/1.39 c 2 2208 (80%) CSP clauses are encoded (12598 clauses, 184898 bytes)
1.21/1.39 c 2 2484 (90%) CSP clauses are encoded (13144 clauses, 192224 bytes)
1.21/1.39 c 2 2760 (100%) CSP clauses are encoded (13690 clauses, 199553 bytes)
1.21/1.39 c 2 2760 CSP clauses encoded
1.21/1.39 c 2 Writing map file : HOME/temp.map
1.30/1.41 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.30/1.41 c 2 SAT : 3640 SAT variables, 13690 SAT clauses, 199553 bytes
1.30/1.41 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.30/1.47 c 2 SOLVING HOME/temp.cnf
1.30/1.47 c 2 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.00/1810.51 sh: line 1: 6908 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.00/1810.51 c 1811 DECODING HOME/temp.out WITH HOME/temp.map
1800.00/1810.51 c 1811 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1800.00/1810.52 c ERROR INTERRUPTED
1800.00/1810.52 s UNKNOWN
1800.00/1810.52 c 1811 CPU 1799.81 (0.03 0.01 1799.78 0.2)
1800.00/1810.52 c 1811 END Fri Jul 4 12:20:13 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-1070441-1215165002/watcher-1070441-1215165002 -o /tmp/evaluation-result-1070441-1215165002/solver-1070441-1215165002 -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-1070441-1215165002.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: 2.06 2.03 2.00 4/92 6884
/proc/meminfo: memFree=1749080/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=18572 CPUtime=0
/proc/6884/stat : 6884 (runsolver) R 6882 6884 5954 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1995471601 19017728 292 996147200 4194304 4296836 548682068272 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6884/statm: 4643 292 257 25 0 2626 0
[startup+0.050127 s]
/proc/loadavg: 2.06 2.03 2.00 4/92 6884
/proc/meminfo: memFree=1749080/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=0.03
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 837 0 0 0 3 0 0 0 18 0 1 0 1995471601 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.100843 s]
/proc/loadavg: 2.06 2.03 2.00 4/92 6884
/proc/meminfo: memFree=1749080/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=0.03
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1995471601 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301839 s]
/proc/loadavg: 2.06 2.03 2.00 4/92 6884
/proc/meminfo: memFree=1749080/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=0.03
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1995471601 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701922 s]
/proc/loadavg: 2.06 2.03 2.00 4/92 6884
/proc/meminfo: memFree=1749080/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=0.51
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 973 4604 0 1 3 0 46 2 16 0 1 0 1995471601 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13600
[startup+1.50207 s]
/proc/loadavg: 2.06 2.03 2.00 4/103 6906
/proc/meminfo: memFree=1738752/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 13600
[startup+3.10237 s]
/proc/loadavg: 2.06 2.03 2.00 4/95 6908
/proc/meminfo: memFree=1745600/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=1424 CPUtime=1.58
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 295 0 0 0 153 5 0 0 25 0 1 0 1995471749 1458176 279 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 356 279 48 102 0 251 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 20380
[startup+6.30198 s]
/proc/loadavg: 2.06 2.03 2.00 3/95 6908
/proc/meminfo: memFree=1745472/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=1568 CPUtime=4.72
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 333 0 0 0 467 5 0 0 25 0 1 0 1995471749 1605632 317 996147200 134512640 134931368 4294956256 18446744073709551615 134529977 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 392 317 48 102 0 287 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 20524
[startup+12.7012 s]
/proc/loadavg: 2.05 2.03 2.00 3/95 6908
/proc/meminfo: memFree=1745152/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=1820 CPUtime=10.99
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 383 0 0 0 1094 5 0 0 25 0 1 0 1995471749 1863680 367 996147200 134512640 134931368 4294956256 18446744073709551615 134529886 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 455 367 48 102 0 350 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 20776
[startup+25.5016 s]
/proc/loadavg: 2.04 2.03 2.00 3/95 6908
/proc/meminfo: memFree=1744768/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=2084 CPUtime=23.54
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 473 0 0 0 2349 5 0 0 25 0 1 0 1995471749 2134016 457 996147200 134512640 134931368 4294956256 18446744073709551615 134529420 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 521 457 48 102 0 416 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 21040
[startup+51.1015 s]
/proc/loadavg: 2.17 2.06 2.01 5/95 6908
/proc/meminfo: memFree=1744064/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=2988 CPUtime=48.65
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 680 0 0 0 4860 5 0 0 25 0 1 0 1995471749 3059712 664 996147200 134512640 134931368 4294956256 18446744073709551615 134525870 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 747 664 48 102 0 642 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (KiB) 21944
[startup+102.306 s]
/proc/loadavg: 2.21 2.08 2.02 3/95 6908
/proc/meminfo: memFree=1743104/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=3776 CPUtime=98.86
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 886 0 0 0 9880 6 0 0 25 0 1 0 1995471749 3866624 870 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 944 870 48 102 0 839 0
Current children cumulated CPU time (s) 100.19
Current children cumulated vsize (KiB) 22732
[startup+162.302 s]
/proc/loadavg: 2.15 2.08 2.02 3/95 6908
/proc/meminfo: memFree=1742656/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=4068 CPUtime=157.69
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 962 0 0 0 15763 6 0 0 25 0 1 0 1995471749 4165632 946 996147200 134512640 134931368 4294956256 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 1017 946 48 102 0 912 0
Current children cumulated CPU time (s) 159.02
Current children cumulated vsize (KiB) 23024
[startup+222.301 s]
/proc/loadavg: 2.11 2.08 2.02 3/95 6908
/proc/meminfo: memFree=1742592/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=4164 CPUtime=216.52
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 979 0 0 0 21646 6 0 0 25 0 1 0 1995471749 4263936 963 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 1041 963 48 102 0 936 0
Current children cumulated CPU time (s) 217.85
Current children cumulated vsize (KiB) 23120
[startup+282.303 s]
/proc/loadavg: 2.10 2.08 2.02 3/95 6908
/proc/meminfo: memFree=1742016/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=4728 CPUtime=275.36
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 1117 0 0 0 27530 6 0 0 25 0 1 0 1995471749 4841472 1100 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/6908/statm: 1182 1100 48 102 0 1077 0
Current children cumulated CPU time (s) 276.69
Current children cumulated vsize (KiB) 23684
################
# More data... #
################
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11452 CPUtime=1290.7
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2891 0 0 0 129059 11 0 0 25 0 1 0 1995471749 11726848 2766 996147200 134512640 134931368 4294956256 18446744073709551615 134529395 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2863 2766 48 102 0 2758 0
Current children cumulated CPU time (s) 1292.03
Current children cumulated vsize (KiB) 30408
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/76 7135
/proc/meminfo: memFree=1841448/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11436 CPUtime=1350.67
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2891 0 0 0 135056 11 0 0 25 0 1 0 1995471749 11710464 2765 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2859 2765 48 102 0 2754 0
Current children cumulated CPU time (s) 1352
Current children cumulated vsize (KiB) 30392
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.99 3/76 7135
/proc/meminfo: memFree=1841448/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11424 CPUtime=1410.65
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2891 0 0 0 141053 12 0 0 25 0 1 0 1995471749 11698176 2762 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2856 2762 48 102 0 2751 0
Current children cumulated CPU time (s) 1411.98
Current children cumulated vsize (KiB) 30380
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1841376/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11424 CPUtime=1470.62
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2893 0 0 0 147050 12 0 0 25 0 1 0 1995471749 11698176 2764 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2856 2764 48 102 0 2751 0
Current children cumulated CPU time (s) 1471.95
Current children cumulated vsize (KiB) 30380
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1841376/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11424 CPUtime=1530.59
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2893 0 0 0 153047 12 0 0 25 0 1 0 1995471749 11698176 2764 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2856 2764 48 102 0 2751 0
Current children cumulated CPU time (s) 1531.92
Current children cumulated vsize (KiB) 30380
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1841312/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11424 CPUtime=1590.56
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2893 0 0 0 159044 12 0 0 25 0 1 0 1995471749 11698176 2764 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2856 2764 48 102 0 2751 0
Current children cumulated CPU time (s) 1591.89
Current children cumulated vsize (KiB) 30380
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1841312/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=11424 CPUtime=1650.53
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 2897 0 0 0 165041 12 0 0 25 0 1 0 1995471749 11698176 2768 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 2856 2768 48 102 0 2751 0
Current children cumulated CPU time (s) 1651.86
Current children cumulated vsize (KiB) 30380
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1840480/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=12240 CPUtime=1710.5
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 3098 0 0 0 171038 12 0 0 25 0 1 0 1995471749 12533760 2969 996147200 134512640 134931368 4294956256 18446744073709551615 134529753 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 3060 2969 48 102 0 2955 0
Current children cumulated CPU time (s) 1711.83
Current children cumulated vsize (KiB) 31196
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1840096/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=12196 CPUtime=1770.47
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 3098 0 0 0 177035 12 0 0 25 0 1 0 1995471749 12488704 2961 996147200 134512640 134931368 4294956256 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 3049 2961 48 102 0 2944 0
Current children cumulated CPU time (s) 1771.8
Current children cumulated vsize (KiB) 31152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1840096/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=12196 CPUtime=1798.67
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 3098 0 0 0 179855 12 0 0 25 0 1 0 1995471749 12488704 2961 996147200 134512640 134931368 4294956256 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 3049 2961 48 102 0 2944 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 31152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 7136
/proc/meminfo: memFree=1840096/2055920 swapFree=4180500/4192956
[pid=6884] ppid=6882 vsize=13600 CPUtime=1.33
/proc/6884/stat : 6884 (sugar) S 6882 6884 5954 0 -1 4194304 1023 11506 0 2 3 1 122 7 16 0 1 0 1995471601 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6884/statm: 3400 799 370 3 0 500 0
[pid=6907] ppid=6884 vsize=5356 CPUtime=0
/proc/6907/stat : 6907 (sh) S 6884 6884 5954 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995471748 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6907/statm: 1339 232 193 169 0 50 0
[pid=6908] ppid=6907 vsize=12196 CPUtime=1798.67
/proc/6908/stat : 6908 (picosat) R 6907 6884 5954 0 -1 4194304 3098 0 0 0 179855 12 0 0 25 0 1 0 1995471749 12488704 2961 996147200 134512640 134931368 4294956256 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 0 0 0
/proc/6908/statm: 3049 2961 48 102 0 2944 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 31152
Child status: 0
Real time (s): 1810.53
CPU time (s): 1800.05
CPU user time (s): 1799.83
CPU system time (s): 0.220966
CPU usage (%): 99.4213
Max. virtual memory (cumulated for all children) (KiB): 887336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.220966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16077
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= 1562
involuntary context switches= 31877
runsolver used 2.04669 second user time and 5.04223 second system time
The end
Begin job on node59 at 2008-07-04 11:50:02
IDJOB=1070441
IDBENCH=55870
IDSOLVER=345
FILE ID=node59/1070441-1215165002
PBS_JOBID= 7881434
Free space on /tmp= 66528 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-chnl15-25-pb-cnf-cr.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-1070441-1215165002/watcher-1070441-1215165002 -o /tmp/evaluation-result-1070441-1215165002/solver-1070441-1215165002 -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-1070441-1215165002.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6c69b9c3a26f35e194d95bd996872af3
RANDOM SEED=1812665708
node59.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.261
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.261
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: 1749560 kB
Buffers: 21128 kB
Cached: 129096 kB
SwapCached: 6176 kB
Active: 218612 kB
Inactive: 29152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749560 kB
SwapTotal: 4192956 kB
SwapFree: 4180500 kB
Dirty: 1344 kB
Writeback: 0 kB
Mapped: 114748 kB
Slab: 43196 kB
Committed_AS: 4655768 kB
PageTables: 2252 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= 66548 MiB
End job on node59 at 2008-07-04 12:20:15