0.00/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.07 c 0 BEGIN Sun Jul 12 11:20:50 2009
0.00/0.07 c 0 PID 27784
0.06/0.07 c 0 HOST node89.alineos.net
0.06/0.07 c 0 CONVERTING HOME/instance-2089814-1247390450.xml TO HOME/temp.csp
0.06/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2089814-1247390450.xml' 'HOME/temp.csp'
0.06/0.53 c 0 1 domains, 40 variables, 0 predicates, 348 relations, 348 constraints
0.06/0.54 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.54 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.50/0.61 c 0 Parsing HOME/temp.csp
0.50/0.81 c 1 parsed 737 expressions
0.50/0.82 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.50/0.82 c 1 Converting to clausal form CSP
0.50/0.85 c 1 converted 74 (10%) expressions
0.50/0.85 c 1 converted 148 (20%) expressions
0.50/0.85 c 1 converted 222 (30%) expressions
0.50/0.85 c 1 converted 295 (40%) expressions
0.50/0.86 c 1 converted 369 (50%) expressions
0.50/0.92 c 1 converted 443 (60%) expressions
0.50/0.94 c 1 converted 516 (70%) expressions
0.50/0.96 c 1 converted 590 (80%) expressions
0.50/0.97 c 1 converted 664 (90%) expressions
0.50/0.99 c 1 converted 737 (100%) expressions
0.50/0.99 c 1 CSP : 40 integers, 0 booleans, 348 clauses, largest domain size 19
0.50/0.99 c 1 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.50/0.99 c 1 Propagation in CSP
0.50/0.99 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.50/0.99 c 1 CSP : 40 integers, 0 booleans, 348 clauses, largest domain size 19
0.50/0.99 c 1 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.50/1.00 c 1 Simplifing CSP by introducing new Boolean variables
0.93/1.00 c 1 CSP : 40 integers, 0 booleans, 348 clauses, largest domain size 19
0.93/1.00 c 1 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.93/1.04 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.93/1.05 c 1 4 (10%) CSP integer variables are encoded (68 clauses, 659 bytes)
0.93/1.05 c 1 8 (20%) CSP integer variables are encoded (136 clauses, 1356 bytes)
0.93/1.05 c 1 12 (30%) CSP integer variables are encoded (204 clauses, 2104 bytes)
0.93/1.05 c 1 16 (40%) CSP integer variables are encoded (272 clauses, 2852 bytes)
0.93/1.05 c 1 20 (50%) CSP integer variables are encoded (340 clauses, 3600 bytes)
0.93/1.05 c 1 24 (60%) CSP integer variables are encoded (408 clauses, 4348 bytes)
0.93/1.05 c 1 28 (70%) CSP integer variables are encoded (476 clauses, 5096 bytes)
0.93/1.06 c 1 32 (80%) CSP integer variables are encoded (544 clauses, 5844 bytes)
0.93/1.06 c 1 36 (90%) CSP integer variables are encoded (612 clauses, 6592 bytes)
0.93/1.06 c 1 40 (100%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.03/1.10 c 1 35 (10%) CSP clauses are encoded (3015 clauses, 45221 bytes)
1.03/1.12 c 1 70 (20%) CSP clauses are encoded (5013 clauses, 78912 bytes)
1.03/1.14 c 1 105 (30%) CSP clauses are encoded (7256 clauses, 119207 bytes)
1.03/1.15 c 1 140 (40%) CSP clauses are encoded (9516 clauses, 161539 bytes)
1.03/1.16 c 1 174 (50%) CSP clauses are encoded (11652 clauses, 201638 bytes)
1.03/1.18 c 1 209 (60%) CSP clauses are encoded (13832 clauses, 242495 bytes)
1.03/1.19 c 1 244 (70%) CSP clauses are encoded (15998 clauses, 283099 bytes)
1.13/1.20 c 1 279 (80%) CSP clauses are encoded (18358 clauses, 327332 bytes)
1.13/1.22 c 1 314 (90%) CSP clauses are encoded (20486 clauses, 367241 bytes)
1.13/1.23 c 1 348 (100%) CSP clauses are encoded (22623 clauses, 407470 bytes)
1.13/1.23 c 1 348 CSP clauses encoded
1.13/1.23 c 1 Writing map file : HOME/temp.map
1.13/1.23 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.13/1.23 c 1 SAT : 720 SAT variables, 22623 SAT clauses, 407470 bytes
1.13/1.23 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.13/1.27 c 1 SOLVING HOME/temp.cnf
1.13/1.27 c 1 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
987.34/991.76 c 992 DECODING HOME/temp.out WITH HOME/temp.map
987.34/991.76 c 992 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
987.40/991.84 c 992 Decoding HOME/temp.out
987.40/991.87 s SATISFIABLE
987.40/991.87 v 10 18 16 13 14 16 8 5 1 13 7 9 4 11 17 17 5 13 12 18 1 5 13 13 1 17 13 15 9 16 0 3 4 16 2 18 9 6 15 15
987.40/991.89 c 992 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
987.40/991.93 c 992 CPU 987.53 (0.05 0.01 987.16 0.31)
987.40/991.93 c 992 END Sun Jul 12 11:37:22 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2089814-1247390450/watcher-2089814-1247390450 -o /tmp/evaluation-result-2089814-1247390450/solver-2089814-1247390450 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2089814-1247390450.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.02 4/82 27784
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=18576 CPUtime=0
/proc/27784/stat : 27784 (runsolver) R 27782 27784 25241 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 26110151 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 249069890855 0 0 4096 24578 0 0 0 17 0 0 0
/proc/27784/statm: 4644 284 249 26 0 2626 0
[startup+0.076081 s]
/proc/loadavg: 2.00 2.01 2.02 4/82 27784
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16740 CPUtime=0.06
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1152 0 0 0 5 1 0 0 18 0 1 0 26110151 17141760 1107 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4185 1107 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.100857 s]
/proc/loadavg: 2.00 2.01 2.02 4/82 27784
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=0.06
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 26110151 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301879 s]
/proc/loadavg: 2.00 2.01 2.02 4/82 27784
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=0.06
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 26110151 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701917 s]
/proc/loadavg: 2.00 2.01 2.02 4/82 27784
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=0.5
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1309 4809 0 1 5 1 42 2 16 0 1 0 26110151 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16868
[startup+1.50199 s]
/proc/loadavg: 2.00 2.01 2.02 3/93 27806
/proc/meminfo: memFree=1736608/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 16868
[startup+3.10115 s]
/proc/loadavg: 2.00 2.01 2.02 3/85 27808
/proc/meminfo: memFree=1748576/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=1936 CPUtime=1.81
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 425 0 0 0 170 11 0 0 25 0 1 0 26110280 1982464 409 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 484 409 48 102 0 379 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 24160
[startup+6.30247 s]
/proc/loadavg: 2.00 2.01 2.02 3/85 27808
/proc/meminfo: memFree=1748384/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=2176 CPUtime=4.99
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 489 0 0 0 488 11 0 0 25 0 1 0 26110280 2228224 473 996147200 134512640 134931368 4294956256 18446744073709551615 134524023 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 544 473 48 102 0 439 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 24400
[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.02 3/85 27808
/proc/meminfo: memFree=1747936/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=2488 CPUtime=11.36
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 542 0 0 0 1125 11 0 0 25 0 1 0 26110280 2547712 526 996147200 134512640 134931368 4294956256 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 622 526 48 102 0 517 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 24712
[startup+25.5014 s]
/proc/loadavg: 2.00 2.01 2.01 3/85 27808
/proc/meminfo: memFree=1747360/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=3032 CPUtime=24.1
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 671 0 0 0 2399 11 0 0 25 0 1 0 26110280 3104768 655 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 758 655 48 102 0 653 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 25256
[startup+51.1019 s]
/proc/loadavg: 2.00 2.01 2.01 3/85 27808
/proc/meminfo: memFree=1746912/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=3524 CPUtime=49.58
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 791 0 0 0 4946 12 0 0 25 0 1 0 26110280 3608576 775 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 881 775 48 102 0 776 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 25748
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.01 3/85 27808
/proc/meminfo: memFree=1746208/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=3996 CPUtime=100.54
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 972 0 0 0 10042 12 0 0 25 0 1 0 26110280 4091904 918 996147200 134512640 134931368 4294956256 18446744073709551615 134530220 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 999 918 48 102 0 894 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 26220
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 27808
/proc/meminfo: memFree=1745568/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=4500 CPUtime=160.25
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 1130 0 0 0 16013 12 0 0 25 0 1 0 26110280 4608000 1055 996147200 134512640 134931368 4294956256 18446744073709551615 134525800 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 1125 1055 48 102 0 1020 0
Current children cumulated CPU time (s) 161.44
Current children cumulated vsize (KiB) 26724
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 27808
/proc/meminfo: memFree=1744800/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=5016 CPUtime=219.96
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 1345 0 0 0 21984 12 0 0 25 0 1 0 26110280 5136384 1156 996147200 134512640 134931368 4294956256 18446744073709551615 134525820 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 1254 1156 48 102 0 1149 0
Current children cumulated CPU time (s) 221.15
Current children cumulated vsize (KiB) 27240
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 27808
/proc/meminfo: memFree=1744416/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=5148 CPUtime=279.67
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 1691 0 0 0 27955 12 0 0 25 0 1 0 26110280 5271552 1180 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 1287 1180 48 102 0 1182 0
Current children cumulated CPU time (s) 280.86
Current children cumulated vsize (KiB) 27372
[startup+342.302 s]
################
# More data... #
################
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7180 CPUtime=757.32
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4066 0 0 0 75715 17 0 0 25 0 1 0 26110280 7352320 1657 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27808/statm: 1795 1657 48 102 0 1690 0
Current children cumulated CPU time (s) 758.51
Current children cumulated vsize (KiB) 29404
[startup+822.305 s]
/proc/loadavg: 2.10 2.09 2.02 3/88 28090
/proc/meminfo: memFree=1720336/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=6852 CPUtime=816.86
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4234 0 0 0 81668 18 0 0 25 0 1 0 26110280 7016448 1595 996147200 134512640 134931368 4294956256 18446744073709551615 134522836 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1713 1595 48 102 0 1608 0
Current children cumulated CPU time (s) 818.05
Current children cumulated vsize (KiB) 29076
[startup+882.302 s]
/proc/loadavg: 2.04 2.07 2.01 3/88 28090
/proc/meminfo: memFree=1720080/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=6972 CPUtime=876.83
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4467 0 0 0 87665 18 0 0 25 0 1 0 26110280 7139328 1625 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1743 1625 48 102 0 1638 0
Current children cumulated CPU time (s) 878.02
Current children cumulated vsize (KiB) 29196
[startup+942.302 s]
/proc/loadavg: 2.01 2.05 2.01 3/88 28090
/proc/meminfo: memFree=1687696/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7104 CPUtime=936.76
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4670 0 0 0 93658 18 0 0 25 0 1 0 26110280 7274496 1657 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1776 1657 48 102 0 1671 0
Current children cumulated CPU time (s) 937.95
Current children cumulated vsize (KiB) 29328
Solver just ended. Dumping a history of the last processes samples
[startup+947.106 s]
/proc/loadavg: 2.01 2.05 2.01 3/88 28090
/proc/meminfo: memFree=1687696/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7104 CPUtime=941.56
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4670 0 0 0 94138 18 0 0 25 0 1 0 26110280 7274496 1657 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1776 1657 48 102 0 1671 0
Current children cumulated CPU time (s) 942.75
Current children cumulated vsize (KiB) 29328
[startup+972.703 s]
/proc/loadavg: 2.01 2.05 2.01 3/88 28090
/proc/meminfo: memFree=1687376/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7368 CPUtime=967.15
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4769 0 0 0 96697 18 0 0 25 0 1 0 26110280 7544832 1698 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1842 1698 48 102 0 1737 0
Current children cumulated CPU time (s) 968.34
Current children cumulated vsize (KiB) 29592
[startup+985.502 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 28090
/proc/meminfo: memFree=1686928/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7764 CPUtime=979.95
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4926 0 0 0 97976 19 0 0 25 0 1 0 26110280 7950336 1797 996147200 134512640 134931368 4294956256 18446744073709551615 134529868 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1941 1797 48 102 0 1836 0
Current children cumulated CPU time (s) 981.14
Current children cumulated vsize (KiB) 29988
[startup+988.701 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 28090
/proc/meminfo: memFree=1686992/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7764 CPUtime=983.15
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4926 0 0 0 98296 19 0 0 25 0 1 0 26110280 7950336 1797 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1941 1797 48 102 0 1836 0
Current children cumulated CPU time (s) 984.34
Current children cumulated vsize (KiB) 29988
[startup+990.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 28090
/proc/meminfo: memFree=1686992/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7764 CPUtime=984.75
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4926 0 0 0 98456 19 0 0 25 0 1 0 26110280 7950336 1797 996147200 134512640 134931368 4294956256 18446744073709551615 134525845 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1941 1797 48 102 0 1836 0
Current children cumulated CPU time (s) 985.94
Current children cumulated vsize (KiB) 29988
[startup+991.107 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 28090
/proc/meminfo: memFree=1686992/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7764 CPUtime=985.55
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4926 0 0 0 98536 19 0 0 25 0 1 0 26110280 7950336 1797 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1941 1797 48 102 0 1836 0
Current children cumulated CPU time (s) 986.74
Current children cumulated vsize (KiB) 29988
[startup+991.502 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 28090
/proc/meminfo: memFree=1686992/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=1.19
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1365 11947 0 2 5 1 105 8 16 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
[pid=27807] ppid=27784 vsize=5356 CPUtime=0
/proc/27807/stat : 27807 (sh) S 27784 27784 25241 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26110279 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27807/statm: 1339 232 193 169 0 50 0
[pid=27808] ppid=27807 vsize=7764 CPUtime=985.95
/proc/27808/stat : 27808 (picosat) R 27807 27784 25241 0 -1 4194304 4926 0 0 0 98576 19 0 0 25 0 1 0 26110280 7950336 1797 996147200 134512640 134931368 4294956256 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 0 0 0
/proc/27808/statm: 1941 1797 48 102 0 1836 0
Current children cumulated CPU time (s) 987.14
Current children cumulated vsize (KiB) 29988
[startup+991.902 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 28090
/proc/meminfo: memFree=1686992/2055920 swapFree=4192812/4192956
[pid=27784] ppid=27782 vsize=16868 CPUtime=987.4
/proc/27784/stat : 27784 (sugar) S 27782 27784 25241 0 -1 4194304 1449 17164 0 2 5 1 98707 27 15 0 1 0 26110151 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27784/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 987.4
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 991.935
CPU time (s): 987.554
CPU user time (s): 987.223
CPU system time (s): 0.330949
CPU usage (%): 99.5584
Max. virtual memory (cumulated for all children) (KiB): 886672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 987.223
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22450
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= 1912
involuntary context switches= 17803
runsolver used 1.26481 second user time and 3.02354 second system time
The end
Begin job on node89 at 2009-07-12 11:20:50
IDJOB=2089814
IDBENCH=59628
IDSOLVER=738
FILE ID=node89/2089814-1247390450
PBS_JOBID= 9507291
Free space on /tmp= 66260 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-49_ext.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089814-1247390450/watcher-2089814-1247390450 -o /tmp/evaluation-result-2089814-1247390450/solver-2089814-1247390450 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2089814-1247390450.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b4935a075c43176651d5117b970f2bbc
RANDOM SEED=998186026
node89.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.213
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.213
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1754520 kB
Buffers: 25320 kB
Cached: 160524 kB
SwapCached: 0 kB
Active: 147456 kB
Inactive: 101276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1754520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1632 kB
Writeback: 0 kB
Mapped: 83260 kB
Slab: 37756 kB
Committed_AS: 266992 kB
PageTables: 1912 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= 66264 MiB
End job on node89 at 2009-07-12 11:37:22