0.01/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.01/0.07 c 0 BEGIN Sun Jul 12 12:30:09 2009
0.01/0.07 c 0 PID 29745
0.01/0.08 c 0 HOST node86.alineos.net
0.01/0.08 c 0 CONVERTING HOME/instance-2091453-1247394609.xml TO HOME/temp.csp
0.01/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2091453-1247394609.xml' 'HOME/temp.csp'
0.06/0.52 c 0 1 domains, 40 variables, 0 predicates, 330 relations, 330 constraints
0.06/0.55 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.55 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.62 c 0 Parsing HOME/temp.csp
0.50/0.82 c 1 parsed 701 expressions
0.50/0.83 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.50/0.83 c 1 Converting to clausal form CSP
0.50/0.86 c 1 converted 71 (10%) expressions
0.50/0.86 c 1 converted 141 (20%) expressions
0.50/0.86 c 1 converted 211 (30%) expressions
0.50/0.86 c 1 converted 281 (40%) expressions
0.50/0.91 c 1 converted 351 (50%) expressions
0.50/0.94 c 1 converted 421 (60%) expressions
0.50/0.96 c 1 converted 491 (70%) expressions
0.50/0.97 c 1 converted 561 (80%) expressions
0.50/0.99 c 1 converted 631 (90%) expressions
0.93/1.05 c 1 converted 701 (100%) expressions
0.93/1.06 c 1 CSP : 40 integers, 0 booleans, 330 clauses, largest domain size 19
0.93/1.06 c 1 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.93/1.06 c 1 Propagation in CSP
0.93/1.06 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.93/1.06 c 1 CSP : 40 integers, 0 booleans, 330 clauses, largest domain size 19
0.93/1.06 c 1 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.93/1.06 c 1 Simplifing CSP by introducing new Boolean variables
0.93/1.06 c 1 CSP : 40 integers, 0 booleans, 330 clauses, largest domain size 19
0.93/1.06 c 1 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.93/1.10 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.04/1.10 c 1 4 (10%) CSP integer variables are encoded (68 clauses, 659 bytes)
1.04/1.11 c 1 8 (20%) CSP integer variables are encoded (136 clauses, 1356 bytes)
1.04/1.11 c 1 12 (30%) CSP integer variables are encoded (204 clauses, 2104 bytes)
1.04/1.11 c 1 16 (40%) CSP integer variables are encoded (272 clauses, 2852 bytes)
1.04/1.11 c 1 20 (50%) CSP integer variables are encoded (340 clauses, 3600 bytes)
1.04/1.11 c 1 24 (60%) CSP integer variables are encoded (408 clauses, 4348 bytes)
1.04/1.11 c 1 28 (70%) CSP integer variables are encoded (476 clauses, 5096 bytes)
1.04/1.11 c 1 32 (80%) CSP integer variables are encoded (544 clauses, 5844 bytes)
1.04/1.11 c 1 36 (90%) CSP integer variables are encoded (612 clauses, 6592 bytes)
1.04/1.12 c 1 40 (100%) CSP integer variables are encoded (680 clauses, 7340 bytes)
1.04/1.16 c 1 33 (10%) CSP clauses are encoded (2801 clauses, 41603 bytes)
1.04/1.18 c 1 66 (20%) CSP clauses are encoded (4940 clauses, 77731 bytes)
1.04/1.19 c 1 99 (30%) CSP clauses are encoded (7001 clauses, 114130 bytes)
1.12/1.21 c 1 132 (40%) CSP clauses are encoded (9135 clauses, 153928 bytes)
1.12/1.22 c 1 165 (50%) CSP clauses are encoded (11303 clauses, 194577 bytes)
1.12/1.23 c 1 198 (60%) CSP clauses are encoded (13431 clauses, 234311 bytes)
1.12/1.25 c 1 231 (70%) CSP clauses are encoded (15440 clauses, 272188 bytes)
1.12/1.26 c 1 264 (80%) CSP clauses are encoded (17636 clauses, 313367 bytes)
1.12/1.27 c 1 297 (90%) CSP clauses are encoded (19626 clauses, 350784 bytes)
1.12/1.28 c 1 330 (100%) CSP clauses are encoded (21758 clauses, 390871 bytes)
1.12/1.29 c 1 330 CSP clauses encoded
1.12/1.29 c 1 Writing map file : HOME/temp.map
1.12/1.29 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.12/1.29 c 1 SAT : 720 SAT variables, 21758 SAT clauses, 390871 bytes
1.12/1.29 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.22/1.34 c 1 SOLVING HOME/temp.cnf
1.22/1.34 c 1 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
842.08/846.44 c 846 DECODING HOME/temp.out WITH HOME/temp.map
842.08/846.44 c 846 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'
842.14/846.52 c 846 Decoding HOME/temp.out
842.14/846.55 s SATISFIABLE
842.14/846.55 v 4 7 16 16 17 18 7 3 16 14 11 1 15 12 2 14 7 10 16 13 8 10 9 6 12 5 1 8 11 2 1 10 2 17 17 17 10 16 14 13
842.14/846.56 c 846 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
842.15/846.60 c 846 CPU 842.27 (0.06 0.01 841.89 0.31)
842.15/846.60 c 846 END Sun Jul 12 12:44:15 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2091453-1247394609/watcher-2091453-1247394609 -o /tmp/evaluation-result-2091453-1247394609/solver-2091453-1247394609 -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-2091453-1247394609.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.00 2.00 4/82 29745
/proc/meminfo: memFree=1640696/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=18576 CPUtime=0
/proc/29745/stat : 29745 (runsolver) R 29743 29745 27617 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 26526163 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 240153849127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29745/statm: 4644 284 249 26 0 2626 0
[startup+0.0317391 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 29745
/proc/meminfo: memFree=1640696/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=13072 CPUtime=0.01
/proc/29745/stat : 29745 (sugar) R 29743 29745 27617 0 -1 4194304 625 0 0 0 1 0 0 0 20 0 1 0 26526163 13385728 593 996147200 4194304 4206940 548682068608 18446744073709551615 240153701035 0 0 4224 0 0 0 0 17 0 0 0
/proc/29745/statm: 3268 593 316 3 0 368 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13072
[startup+0.101752 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 29745
/proc/meminfo: memFree=1640696/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=0.06
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1227 128 0 0 5 1 0 0 22 0 1 0 26526163 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29745/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301791 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 29745
/proc/meminfo: memFree=1640696/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=0.06
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1227 128 0 0 5 1 0 0 22 0 1 0 26526163 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29745/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701872 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 29745
/proc/meminfo: memFree=1640696/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=0.5
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1309 4802 0 1 5 1 40 4 16 0 1 0 26526163 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16868
[startup+1.50203 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29767
/proc/meminfo: memFree=1620000/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 16868
[startup+3.10133 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1631584/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=1932 CPUtime=1.74
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 407 0 0 0 162 12 0 0 25 0 1 0 26526298 1978368 391 996147200 134512640 134931368 4294956256 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 483 391 48 102 0 378 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 24156
[startup+6.30194 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1634912/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=2036 CPUtime=4.93
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 450 0 0 0 481 12 0 0 25 0 1 0 26526298 2084864 434 996147200 134512640 134931368 4294956256 18446744073709551615 134525927 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 509 434 48 102 0 404 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 24260
[startup+12.7022 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1632488/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=2268 CPUtime=11.3
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 520 0 0 0 1118 12 0 0 25 0 1 0 26526298 2322432 504 996147200 134512640 134931368 4294956256 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 567 504 48 102 0 462 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 24492
[startup+25.5016 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1631592/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=2788 CPUtime=24.03
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 616 0 0 0 2391 12 0 0 25 0 1 0 26526298 2854912 600 996147200 134512640 134931368 4294956256 18446744073709551615 134525528 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 697 600 48 102 0 592 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 25012
[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1629032/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=3316 CPUtime=49.5
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 746 0 0 0 4938 12 0 0 25 0 1 0 26526298 3395584 720 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 829 720 48 102 0 724 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 25540
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1630888/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=3948 CPUtime=100.45
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 921 0 0 0 10033 12 0 0 25 0 1 0 26526298 4042752 895 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 987 895 48 102 0 882 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 26172
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1628840/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=4228 CPUtime=160.16
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 1025 0 0 0 16004 12 0 0 25 0 1 0 26526298 4329472 982 996147200 134512640 134931368 4294956256 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1057 982 48 102 0 952 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 26452
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1626408/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=4560 CPUtime=219.87
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 1255 0 0 0 21974 13 0 0 25 0 1 0 26526298 4669440 1040 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1140 1040 48 102 0 1035 0
Current children cumulated CPU time (s) 221.09
Current children cumulated vsize (KiB) 26784
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29769
/proc/meminfo: memFree=1629544/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=4936 CPUtime=279.57
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 1615 0 0 0 27944 13 0 0 25 0 1 0 26526298 5054464 1125 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1234 1125 48 102 0 1129 0
Current children cumulated CPU time (s) 280.79
Current children cumulated vsize (KiB) 27160
[startup+342.302 s]
################
# More data... #
################
[startup+642.303 s]
/proc/loadavg: 2.01 2.02 2.00 3/85 29811
/proc/meminfo: memFree=1618848/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6324 CPUtime=637.77
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 3483 0 0 0 63761 16 0 0 25 0 1 0 26526298 6475776 1421 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1581 1421 48 102 0 1476 0
Current children cumulated CPU time (s) 638.99
Current children cumulated vsize (KiB) 28548
[startup+702.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 29811
/proc/meminfo: memFree=1618016/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6496 CPUtime=697.47
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 3690 0 0 0 69731 16 0 0 25 0 1 0 26526298 6651904 1461 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1624 1461 48 102 0 1519 0
Current children cumulated CPU time (s) 698.69
Current children cumulated vsize (KiB) 28720
[startup+762.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 29811
/proc/meminfo: memFree=1627552/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6496 CPUtime=757.18
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 3914 0 0 0 75702 16 0 0 25 0 1 0 26526298 6651904 1485 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1624 1485 48 102 0 1519 0
Current children cumulated CPU time (s) 758.4
Current children cumulated vsize (KiB) 28720
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1627488/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=816.88
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4096 0 0 0 81672 16 0 0 25 0 1 0 26526298 6787072 1517 996147200 134512640 134931368 4294956256 18446744073709551615 134525763 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1517 48 102 0 1552 0
Current children cumulated CPU time (s) 818.1
Current children cumulated vsize (KiB) 28852
Solver just ended. Dumping a history of the last processes samples
[startup+831.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1626848/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=826.43
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4159 0 0 0 82627 16 0 0 25 0 1 0 26526298 6787072 1527 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1527 48 102 0 1552 0
Current children cumulated CPU time (s) 827.65
Current children cumulated vsize (KiB) 28852
[startup+838.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1627744/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=832.81
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4159 0 0 0 83265 16 0 0 25 0 1 0 26526298 6787072 1527 996147200 134512640 134931368 4294956256 18446744073709551615 134525783 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1527 48 102 0 1552 0
Current children cumulated CPU time (s) 834.03
Current children cumulated vsize (KiB) 28852
[startup+841.507 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1627744/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=836
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4212 0 0 0 83584 16 0 0 25 0 1 0 26526298 6787072 1527 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1527 48 102 0 1552 0
Current children cumulated CPU time (s) 837.22
Current children cumulated vsize (KiB) 28852
[startup+844.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1627360/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=839.18
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4212 0 0 0 83902 16 0 0 25 0 1 0 26526298 6787072 1527 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1527 48 102 0 1552 0
Current children cumulated CPU time (s) 840.4
Current children cumulated vsize (KiB) 28852
[startup+845.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1627360/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=839.97
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4212 0 0 0 83981 16 0 0 25 0 1 0 26526298 6787072 1527 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1527 48 102 0 1552 0
Current children cumulated CPU time (s) 841.19
Current children cumulated vsize (KiB) 28852
[startup+846.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1626784/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=1.22
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1365 11946 0 2 5 1 106 10 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
[pid=29768] ppid=29745 vsize=5356 CPUtime=0
/proc/29768/stat : 29768 (sh) S 29745 29745 27617 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 26526297 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29768/statm: 1339 232 193 169 0 50 0
[pid=29769] ppid=29768 vsize=6628 CPUtime=840.76
/proc/29769/stat : 29769 (picosat) R 29768 29745 27617 0 -1 4194304 4212 0 0 0 84060 16 0 0 25 0 1 0 26526298 6787072 1527 996147200 134512640 134931368 4294956256 18446744073709551615 134525849 0 0 4096 0 0 0 0 17 1 0 0
/proc/29769/statm: 1657 1527 48 102 0 1552 0
Current children cumulated CPU time (s) 841.98
Current children cumulated vsize (KiB) 28852
[startup+846.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1626784/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=842.14
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1428 16449 0 2 5 1 84181 27 16 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 842.14
Current children cumulated vsize (KiB) 16868
[startup+846.602 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 29811
/proc/meminfo: memFree=1626784/2055920 swapFree=4192812/4192956
[pid=29745] ppid=29743 vsize=16868 CPUtime=842.15
/proc/29745/stat : 29745 (sugar) S 29743 29745 27617 0 -1 4194304 1449 16449 0 2 6 1 84181 27 15 0 1 0 26526163 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240162746466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29745/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 842.15
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 846.61
CPU time (s): 842.289
CPU user time (s): 841.96
CPU system time (s): 0.328949
CPU usage (%): 99.4896
Max. virtual memory (cumulated for all children) (KiB): 886624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 841.96
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21737
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= 1963
involuntary context switches= 10808
runsolver used 1.25481 second user time and 2.5966 second system time
The end
Begin job on node86 at 2009-07-12 12:30:09
IDJOB=2091453
IDBENCH=60064
IDSOLVER=738
FILE ID=node86/2091453-1247394609
PBS_JOBID= 9507315
Free space on /tmp= 66296 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-29_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-2091453-1247394609/watcher-2091453-1247394609 -o /tmp/evaluation-result-2091453-1247394609/solver-2091453-1247394609 -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-2091453-1247394609.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5e46a9eb9c903ddec2b2ebc6804dfa8d
RANDOM SEED=1558144567
node86.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.265
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.265
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: 1641176 kB
Buffers: 65276 kB
Cached: 234400 kB
SwapCached: 0 kB
Active: 221820 kB
Inactive: 130536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1641176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1496 kB
Writeback: 0 kB
Mapped: 65188 kB
Slab: 47332 kB
Committed_AS: 244344 kB
PageTables: 2088 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= 66296 MiB
End job on node86 at 2009-07-12 12:44:16