0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Sat Jul 5 23:49:21 2008
0.00/0.04 c 0 PID 17633
0.03/0.05 c 0 HOST node2.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1101857-1215294561.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-1101857-1215294561.xml' 'HOME/temp.csp'
0.03/0.51 c 1 1 domains, 40 variables, 0 predicates, 346 relations, 346 constraints
0.03/0.52 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.52 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.49/0.60 c 1 Parsing HOME/temp.csp
0.49/0.90 c 1 parsed 733 expressions
0.49/0.90 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.49/0.90 c 1 Converting to clausal form CSP
0.49/0.93 c 1 converted 74 (10%) expressions
0.49/0.93 c 1 converted 147 (20%) expressions
0.49/0.93 c 1 converted 220 (30%) expressions
0.49/0.93 c 1 converted 294 (40%) expressions
0.49/0.94 c 1 converted 367 (50%) expressions
0.94/1.02 c 1 converted 440 (60%) expressions
0.94/1.04 c 1 converted 514 (70%) expressions
0.94/1.06 c 1 converted 587 (80%) expressions
0.94/1.08 c 1 converted 660 (90%) expressions
0.94/1.09 c 1 converted 733 (100%) expressions
0.94/1.09 c 1 CSP : 40 integers, 0 booleans, 346 clauses, largest domain size 19
0.94/1.09 c 1 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.94/1.09 c 1 Propagation in CSP
0.94/1.10 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.94/1.10 c 1 CSP : 40 integers, 0 booleans, 346 clauses, largest domain size 19
0.94/1.10 c 1 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.94/1.10 c 1 Simplifing CSP by introducing new Boolean variables
0.94/1.10 c 1 CSP : 40 integers, 0 booleans, 346 clauses, largest domain size 19
0.94/1.10 c 1 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.14 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.04/1.15 c 1 4 (10%) CSP integer variables are encoded (68 clauses, 659 bytes)
1.04/1.15 c 1 8 (20%) CSP integer variables are encoded (136 clauses, 1356 bytes)
1.04/1.15 c 1 12 (30%) CSP integer variables are encoded (204 clauses, 2104 bytes)
1.04/1.15 c 1 16 (40%) CSP integer variables are encoded (272 clauses, 2852 bytes)
1.04/1.16 c 1 20 (50%) CSP integer variables are encoded (340 clauses, 3600 bytes)
1.04/1.16 c 1 24 (60%) CSP integer variables are encoded (408 clauses, 4348 bytes)
1.04/1.16 c 1 28 (70%) CSP integer variables are encoded (476 clauses, 5096 bytes)
1.04/1.16 c 1 32 (80%) CSP integer variables are encoded (544 clauses, 5844 bytes)
1.04/1.16 c 1 36 (90%) CSP integer variables are encoded (612 clauses, 6592 bytes)
1.04/1.16 c 1 40 (100%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.14/1.21 c 1 35 (10%) CSP clauses are encoded (2844 clauses, 42275 bytes)
1.14/1.23 c 1 70 (20%) CSP clauses are encoded (5015 clauses, 78676 bytes)
1.14/1.24 c 1 104 (30%) CSP clauses are encoded (7104 clauses, 115082 bytes)
1.14/1.26 c 1 139 (40%) CSP clauses are encoded (9235 clauses, 154967 bytes)
1.14/1.27 c 1 173 (50%) CSP clauses are encoded (11459 clauses, 196686 bytes)
1.14/1.29 c 1 208 (60%) CSP clauses are encoded (13637 clauses, 237643 bytes)
1.24/1.30 c 1 243 (70%) CSP clauses are encoded (15846 clauses, 279048 bytes)
1.24/1.32 c 1 277 (80%) CSP clauses are encoded (18006 clauses, 319437 bytes)
1.24/1.33 c 1 312 (90%) CSP clauses are encoded (20178 clauses, 360234 bytes)
1.24/1.34 c 1 346 (100%) CSP clauses are encoded (22450 clauses, 402787 bytes)
1.24/1.34 c 1 346 CSP clauses encoded
1.24/1.35 c 1 Writing map file : HOME/temp.map
1.24/1.35 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.24/1.35 c 1 SAT : 720 SAT variables, 22450 SAT clauses, 402787 bytes
1.24/1.35 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.24/1.36 c 1 SOLVING HOME/temp.cnf
1.24/1.36 c 1 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.03/1808.50 sh: line 1: 17657 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.03/1808.50 c 1809 DECODING HOME/temp.out WITH HOME/temp.map
1800.03/1808.50 c 1809 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.03/1808.51 c ERROR INTERRUPTED
1800.03/1808.52 s UNKNOWN
1800.03/1808.52 c 1809 CPU 1799.73 (0.04 0.01 1799.69 0.31)
1800.03/1808.52 c 1809 END Sun Jul 6 00:19:30 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-1101857-1215294561/watcher-1101857-1215294561 -o /tmp/evaluation-result-1101857-1215294561/solver-1101857-1215294561 -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-1101857-1215294561.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.00 2.00 2.00 4/81 17633
/proc/meminfo: memFree=1722088/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=12268 CPUtime=0
/proc/17633/stat : 17633 (sugar) R 17631 17633 17140 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1013860716 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 206381480549 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/17633/statm: 3067 316 241 3 0 167 0
[startup+0.050015 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 17633
/proc/meminfo: memFree=1722088/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=0.03
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 837 0 0 0 3 0 0 0 18 0 1 0 1013860716 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.100547 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 17633
/proc/meminfo: memFree=1722088/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=0.03
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1013860716 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301566 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 17633
/proc/meminfo: memFree=1722088/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=0.03
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1013860716 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701611 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 17633
/proc/meminfo: memFree=1722088/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=0.49
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 973 4749 0 1 3 0 42 4 16 0 1 0 1013860716 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13600
[startup+1.50169 s]
/proc/loadavg: 2.08 2.02 2.01 4/92 17655
/proc/meminfo: memFree=1708368/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 13600
[startup+3.10186 s]
/proc/loadavg: 2.08 2.02 2.01 3/84 17657
/proc/meminfo: memFree=1717904/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=1948 CPUtime=1.71
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 420 0 0 0 159 12 0 0 25 0 1 0 1013860853 1994752 404 996147200 134512640 134931368 4294956256 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 487 404 48 102 0 382 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 20904
[startup+6.30219 s]
/proc/loadavg: 2.08 2.02 2.01 3/84 17657
/proc/meminfo: memFree=1717584/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=2080 CPUtime=4.89
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 473 0 0 0 476 13 0 0 25 0 1 0 1013860853 2129920 457 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 520 457 48 102 0 415 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 21036
[startup+12.7018 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 17657
/proc/meminfo: memFree=1717136/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=2392 CPUtime=11.22
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 547 0 0 0 1109 13 0 0 25 0 1 0 1013860853 2449408 531 996147200 134512640 134931368 4294956256 18446744073709551615 134525831 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 598 531 48 102 0 493 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 21348
[startup+25.5012 s]
/proc/loadavg: 2.06 2.01 2.00 3/84 17657
/proc/meminfo: memFree=1717008/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=2944 CPUtime=23.9
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 650 0 0 0 2377 13 0 0 25 0 1 0 1013860853 3014656 634 996147200 134512640 134931368 4294956256 18446744073709551615 134597652 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 736 634 48 102 0 631 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 21900
[startup+51.1018 s]
/proc/loadavg: 2.04 2.01 2.00 3/84 17657
/proc/meminfo: memFree=1716560/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=3400 CPUtime=49.26
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 764 0 0 0 4913 13 0 0 25 0 1 0 1013860853 3481600 748 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 850 748 48 102 0 745 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 22356
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/84 17657
/proc/meminfo: memFree=1715664/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=4068 CPUtime=99.98
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 952 0 0 0 9985 13 0 0 25 0 1 0 1013860853 4165632 927 996147200 134512640 134931368 4294956256 18446744073709551615 134524232 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 1017 927 48 102 0 912 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 23024
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17657
/proc/meminfo: memFree=1715216/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=4500 CPUtime=159.42
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 1100 0 0 0 15929 13 0 0 25 0 1 0 1013860853 4608000 1047 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 1125 1047 48 102 0 1020 0
Current children cumulated CPU time (s) 160.72
Current children cumulated vsize (KiB) 23456
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17657
/proc/meminfo: memFree=1714832/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=4772 CPUtime=218.85
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 1251 0 0 0 21872 13 0 0 25 0 1 0 1013860853 4886528 1096 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 1193 1096 48 102 0 1088 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 23728
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17657
/proc/meminfo: memFree=1714384/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=5236 CPUtime=278.3
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 1726 0 0 0 27816 14 0 0 25 0 1 0 1013860853 5361664 1197 996147200 134512640 134931368 4294956256 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/17657/statm: 1309 1197 48 102 0 1204 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 24192
################
# More data... #
################
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8476 CPUtime=1292.71
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 5952 0 0 0 129252 19 0 0 25 0 1 0 1013860853 8679424 1942 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2119 1942 48 102 0 2014 0
Current children cumulated CPU time (s) 1294.01
Current children cumulated vsize (KiB) 27432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1711112/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8464 CPUtime=1352.68
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 6141 0 0 0 135249 19 0 0 25 0 1 0 1013860853 8667136 1942 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2116 1942 48 102 0 2011 0
Current children cumulated CPU time (s) 1353.98
Current children cumulated vsize (KiB) 27420
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1710728/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8424 CPUtime=1412.66
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 6276 0 0 0 141247 19 0 0 25 0 1 0 1013860853 8626176 1946 996147200 134512640 134931368 4294956256 18446744073709551615 134525785 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2106 1946 48 102 0 2001 0
Current children cumulated CPU time (s) 1413.96
Current children cumulated vsize (KiB) 27380
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1709896/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8820 CPUtime=1472.64
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 6486 0 0 0 147244 20 0 0 25 0 1 0 1013860853 9031680 2024 996147200 134512640 134931368 4294956256 18446744073709551615 134525907 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2205 2024 48 102 0 2100 0
Current children cumulated CPU time (s) 1473.94
Current children cumulated vsize (KiB) 27776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1709128/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=9084 CPUtime=1532.62
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 6760 0 0 0 153242 20 0 0 25 0 1 0 1013860853 9302016 2100 996147200 134512640 134931368 4294956256 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2271 2100 48 102 0 2166 0
Current children cumulated CPU time (s) 1533.92
Current children cumulated vsize (KiB) 28040
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1709000/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=9216 CPUtime=1592.59
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 6933 0 0 0 159239 20 0 0 25 0 1 0 1013860853 9437184 2137 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2304 2137 48 102 0 2199 0
Current children cumulated CPU time (s) 1593.89
Current children cumulated vsize (KiB) 28172
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1708872/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8940 CPUtime=1652.57
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 7003 0 0 0 165237 20 0 0 25 0 1 0 1013860853 9154560 2083 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2235 2083 48 102 0 2130 0
Current children cumulated CPU time (s) 1653.87
Current children cumulated vsize (KiB) 27896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1709000/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=9072 CPUtime=1712.56
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 7162 0 0 0 171235 21 0 0 25 0 1 0 1013860853 9289728 2102 996147200 134512640 134931368 4294956256 18446744073709551615 134525785 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2268 2102 48 102 0 2163 0
Current children cumulated CPU time (s) 1713.86
Current children cumulated vsize (KiB) 28028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1708680/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8940 CPUtime=1772.53
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 7232 0 0 0 177232 21 0 0 25 0 1 0 1013860853 9154560 2083 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2235 2083 48 102 0 2130 0
Current children cumulated CPU time (s) 1773.83
Current children cumulated vsize (KiB) 27896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1708616/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8940 CPUtime=1798.73
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 7302 0 0 0 179852 21 0 0 25 0 1 0 1013860853 9154560 2083 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2235 2083 48 102 0 2130 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 27896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 17718
/proc/meminfo: memFree=1708616/2055920 swapFree=4180884/4192956
[pid=17633] ppid=17631 vsize=13600 CPUtime=1.3
/proc/17633/stat : 17633 (sugar) S 17631 17633 17140 0 -1 4194304 1022 11835 0 2 4 0 117 9 16 0 1 0 1013860716 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17633/statm: 3400 798 370 3 0 500 0
[pid=17656] ppid=17633 vsize=5356 CPUtime=0
/proc/17656/stat : 17656 (sh) S 17633 17633 17140 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1013860853 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17656/statm: 1339 232 193 169 0 50 0
[pid=17657] ppid=17656 vsize=8940 CPUtime=1798.73
/proc/17657/stat : 17657 (picosat) R 17656 17633 17140 0 -1 4194304 7302 0 0 0 179852 21 0 0 25 0 1 0 1013860853 9154560 2083 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/17657/statm: 2235 2083 48 102 0 2130 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 27896
Child status: 0
Real time (s): 1808.52
CPU time (s): 1800.07
CPU user time (s): 1799.74
CPU system time (s): 0.329949
CPU usage (%): 99.5329
Max. virtual memory (cumulated for all children) (KiB): 883388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.329949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20892
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= 1940
involuntary context switches= 39754
runsolver used 2.01969 second user time and 6.21805 second system time
The end
Begin job on node2 at 2008-07-05 23:49:21
IDJOB=1101857
IDBENCH=60078
IDSOLVER=345
FILE ID=node2/1101857-1215294561
PBS_JOBID= 7882402
Free space on /tmp= 66512 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-50_ext.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-1101857-1215294561/watcher-1101857-1215294561 -o /tmp/evaluation-result-1101857-1215294561/solver-1101857-1215294561 -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-1101857-1215294561.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c4aae52f8df469ff2d993fa2fcffe4d7
RANDOM SEED=828764404
node2.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.236
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.236
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: 1722632 kB
Buffers: 58600 kB
Cached: 192668 kB
SwapCached: 5908 kB
Active: 186952 kB
Inactive: 86544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722632 kB
SwapTotal: 4192956 kB
SwapFree: 4180884 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 38276 kB
Slab: 44644 kB
Committed_AS: 1734116 kB
PageTables: 2068 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66508 MiB
End job on node2 at 2008-07-06 00:19:32