0.05 c # Sugar v0-40 (/tmp/evaluation/210335-1170097898/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/210335-1170097898/unknown.xml [Mon Jan 29 20:11:39 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/210335-1170097898/unknown.xml /tmp/evaluation/210335-1170097898/sugar18041.csp [Mon Jan 29 20:11:39 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210335-1170097898/sugar-v0-40.jar -convert /tmp/evaluation/210335-1170097898/unknown.xml /tmp/evaluation/210335-1170097898/sugar18041.csp
0.18 c BEGIN convert /tmp/evaluation/210335-1170097898/unknown.xml
0.51 c END convert (0.327488 seconds)
0.55 c # CONVERT_XML END : /tmp/evaluation/210335-1170097898/sugar18041.csp 26542 bytes (0 seconds) [Mon Jan 29 20:11:39 2007]
0.55 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.55
0.55 c # GENERATE_SAT BEGIN : /tmp/evaluation/210335-1170097898/sugar18041.bcnf [Mon Jan 29 20:11:39 2007]
0.55 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210335-1170097898/sugar-v0-40.jar -bcnf -map /tmp/evaluation/210335-1170097898/sugar18041.map /tmp/evaluation/210335-1170097898/sugar18041.csp /tmp/evaluation/210335-1170097898/sugar18041.bcnf
0.67 c BEGIN parse /tmp/evaluation/210335-1170097898/sugar18041.csp
1.09 c END parse (0.424757 seconds)
1.09 c BEGIN simplify
1.09 c END simplify (0.00271 seconds)
1.09 c BEGIN encode /tmp/evaluation/210335-1170097898/sugar18041.bcnf
1.15 c END encode (0.055661 seconds)
1.21 c # GENERATE_SAT END : 1891 variables 6882 clauses 92464 bytes (1 seconds) [Mon Jan 29 20:11:40 2007]
1.21 c # GENERATE_SAT CPU : 0.6 = 0.01 + 0 + 0.54 + 0.05
1.21
1.21 c # SOLVE_SAT BEGIN : /tmp/evaluation/210335-1170097898/sugar18041.bcnf [Mon Jan 29 20:11:40 2007]
1.21 c # CMD : /tmp/evaluation/210335-1170097898/minisat /tmp/evaluation/210335-1170097898/sugar18041.bcnf /tmp/evaluation/210335-1170097898/sugar18041.out
1.21 c ==================================[MINISAT]===================================
1.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.21 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
1.21 c ==============================================================================
1.21 c | 0 | 5455 14146 | 1818 0 0 nan | 0.000 % |
1.22 c | 100 | 5455 14146 | 1999 100 1232 12.3 | 18.458 % |
1.22 c | 250 | 5455 14146 | 2199 250 3036 12.1 | 18.457 % |
1.23 c | 476 | 5455 14146 | 2419 476 6998 14.7 | 18.458 % |
1.25 c | 813 | 5455 14146 | 2661 813 12799 15.7 | 18.457 % |
1.27 c | 1320 | 5455 14146 | 2927 1320 20749 15.7 | 18.457 % |
1.31 c | 2079 | 5455 14146 | 3220 2079 37000 17.8 | 18.456 % |
1.35 c | 3218 | 5455 14146 | 3542 3218 47509 14.8 | 18.456 % |
1.46 c | 4926 | 5455 14146 | 3897 2582 45790 17.7 | 18.456 % |
1.63 c | 7489 | 5455 14146 | 4286 2773 58342 21.0 | 18.456 % |
1.94 c | 11333 | 5455 14146 | 4715 3924 114986 29.3 | 18.458 % |
2.22 c | 17099 | 5455 14146 | 5186 3368 77117 22.9 | 18.456 % |
3.31 c | 25749 | 5455 14146 | 5705 5839 279890 47.9 | 18.458 % |
4.74 c | 38723 | 5455 14146 | 6276 5625 209703 37.3 | 18.458 % |
6.68 c | 58184 | 5455 14146 | 6903 3650 130292 35.7 | 18.456 % |
9.45 c | 87377 | 5455 14146 | 7594 5736 212363 37.0 | 18.458 % |
12.75 c | 131166 | 5455 14146 | 8353 6320 158916 25.1 | 18.458 % |
18.45 c | 196850 | 5455 14146 | 9189 7356 181690 24.7 | 18.458 % |
27.09 c | 295376 | 5455 14146 | 10107 8323 271376 32.6 | 18.456 % |
43.03 c | 443168 | 5455 14146 | 11118 10064 383782 38.1 | 18.456 % |
65.17 c | 664851 | 5459 14146 | 12230 8187 312278 38.1 | 18.456 % |
73.81 c ==============================================================================
73.81 c restarts : 21
73.81 c conflicts : 761163 (10501 /sec)
73.81 c decisions : 934877 (12897 /sec)
73.81 c propagations : 84114420 (1160391 /sec)
73.81 c conflict literals : 25166645 (16.25 % deleted)
73.81 c Memory used : 7.73 MB
73.81 c CPU time : 72.488 s
73.81 c
73.81 c SATISFIABLE
73.81 c # SOLVE_SAT END : SATISFIABLE (73 seconds) [Mon Jan 29 20:12:53 2007]
73.81 c # SOLVE_SAT CPU : 72.51 = 0 + 0 + 72.49 + 0.02
73.81
73.81 c # RESULT : SATISFIABLE
73.81
73.81 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 20:12:53 2007]
73.93 c BEGIN read SAT output /tmp/evaluation/210335-1170097898/sugar18041.out
73.96 c END read SAT output (0.024587 seconds)
73.96 c BEGIN write solution /tmp/evaluation/210335-1170097898/sugar18041.sol
74.03 c END write solution (0.070171 seconds)
74.05 s SATISFIABLE
74.05 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0
74.05 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 20:12:53 2007]
74.05 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
74.05
74.05 c # MAIN END : (74 seconds) [Mon Jan 29 20:12:53 2007]
74.05 c # MAIN CPU : 73.11 = 0.01 + 0 + 73.03 + 0.07
74.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-210335-1170097898 -o ROOT/results/node61/solver-210335-1170097898 -C 1800 -M 900 /tmp/evaluation/210335-1170097898/solver /tmp/evaluation/210335-1170097898 /tmp/evaluation/210335-1170097898/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.01 1.79 1.59 3/81 18042
/proc/meminfo: memFree=906408/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=5352 CPUtime=0
/proc/18041/stat : 18041 (solver) R 18039 18041 17416 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29746803 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 246406507815 0 0 4096 0 0 0 0 17 1 0 0
/proc/18041/statm: 1338 231 193 169 0 49 0
[startup+0.1045 s]
/proc/loadavg: 2.01 1.79 1.59 3/81 18042
/proc/meminfo: memFree=906408/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=13724 CPUtime=0.04
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29746803 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.512532 s]
/proc/loadavg: 2.01 1.79 1.59 3/81 18042
/proc/meminfo: memFree=906408/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=13724 CPUtime=0.04
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29746803 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33361 s]
/proc/loadavg: 2.01 1.79 1.59 3/90 18058
/proc/meminfo: memFree=885024/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=14388 CPUtime=0.64
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1479 6609 0 1 4 1 54 5 16 0 1 0 29746803 14733312 992 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3597 992 373 3 0 697 0
[pid=18043] ppid=18041 vsize=0 CPUtime=0.44
/proc/18043/stat : 18043 (java) Z 18041 18041 17416 0 -1 1036 4180 0 1 0 41 3 0 0 16 0 1 0 29746809 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18043/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 14388
[startup+2.97076 s]
/proc/loadavg: 2.01 1.79 1.59 3/83 18059
/proc/meminfo: memFree=902168/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=14388 CPUtime=0.64
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1479 6609 0 1 4 1 54 5 15 0 1 0 29746803 14733312 992 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3597 992 373 3 0 697 0
[pid=18043] ppid=18041 vsize=0 CPUtime=0.44
/proc/18043/stat : 18043 (java) Z 18041 18041 17416 0 -1 1036 4180 0 1 0 41 3 0 0 16 0 1 0 29746809 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18043/statm: 0 0 0 0 0 0 0
[pid=18059] ppid=18041 vsize=3632 CPUtime=1.74
/proc/18059/stat : 18059 (minisat) R 18041 18041 17416 0 -1 0 587 0 0 0 174 0 0 0 25 0 1 0 29746925 3719168 550 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/18059/statm: 908 550 51 112 0 792 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 18020
[startup+6.26108 s]
/proc/loadavg: 2.01 1.80 1.59 3/83 18059
/proc/meminfo: memFree=901016/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=14388 CPUtime=0.64
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1479 6609 0 1 4 1 54 5 16 0 1 0 29746803 14733312 992 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3597 992 373 3 0 697 0
[pid=18043] ppid=18041 vsize=0 CPUtime=0.44
/proc/18043/stat : 18043 (java) Z 18041 18041 17416 0 -1 1036 4180 0 1 0 41 3 0 0 16 0 1 0 29746809 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18043/statm: 0 0 0 0 0 0 0
[pid=18059] ppid=18041 vsize=3896 CPUtime=5.02
/proc/18059/stat : 18059 (minisat) R 18041 18041 17416 0 -1 0 682 0 0 0 502 0 0 0 25 0 1 0 29746925 3989504 645 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18059/statm: 974 645 51 112 0 858 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 18284
[startup+12.7277 s]
/proc/loadavg: 2.01 1.80 1.59 3/83 18059
/proc/meminfo: memFree=900712/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=14388 CPUtime=0.64
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1479 6609 0 1 4 1 54 5 16 0 1 0 29746803 14733312 992 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3597 992 373 3 0 697 0
[pid=18043] ppid=18041 vsize=0 CPUtime=0.44
/proc/18043/stat : 18043 (java) Z 18041 18041 17416 0 -1 1036 4180 0 1 0 41 3 0 0 16 0 1 0 29746809 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18043/statm: 0 0 0 0 0 0 0
[pid=18059] ppid=18041 vsize=4424 CPUtime=11.45
/proc/18059/stat : 18059 (minisat) R 18041 18041 17416 0 -1 0 807 0 0 0 1145 0 0 0 25 0 1 0 29746925 4530176 770 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525599 0 0 4096 3 0 0 0 17 1 0 0
/proc/18059/statm: 1106 770 51 112 0 990 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 18812
[startup+25.5679 s]
/proc/loadavg: 1.92 1.79 1.59 2/67 18073
/proc/meminfo: memFree=1618352/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=14388 CPUtime=0.64
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1479 6609 0 1 4 1 54 5 16 0 1 0 29746803 14733312 992 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3597 992 373 3 0 697 0
[pid=18043] ppid=18041 vsize=0 CPUtime=0.44
/proc/18043/stat : 18043 (java) Z 18041 18041 17416 0 -1 1036 4180 0 1 0 41 3 0 0 16 0 1 0 29746809 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18043/statm: 0 0 0 0 0 0 0
[pid=18059] ppid=18041 vsize=5880 CPUtime=24.26
/proc/18059/stat : 18059 (minisat) R 18041 18041 17416 0 -1 0 1156 0 0 0 2425 1 0 0 25 0 1 0 29746925 6021120 1119 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528551 0 0 4096 3 0 0 0 17 0 0 0
/proc/18059/statm: 1470 1119 51 112 0 1354 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 20268
[startup+51.2124 s]
/proc/loadavg: 1.56 1.71 1.57 2/67 18073
/proc/meminfo: memFree=1617472/2055920 swapFree=4192956/4192956
[pid=18041] ppid=18039 vsize=14388 CPUtime=0.64
/proc/18041/stat : 18041 (sugar) S 18039 18041 17416 0 -1 4194304 1479 6609 0 1 4 1 54 5 16 0 1 0 29746803 14733312 992 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18041/statm: 3597 992 373 3 0 697 0
[pid=18043] ppid=18041 vsize=0 CPUtime=0.44
/proc/18043/stat : 18043 (java) Z 18041 18041 17416 0 -1 1036 4180 0 1 0 41 3 0 0 16 0 1 0 29746809 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18043/statm: 0 0 0 0 0 0 0
[pid=18059] ppid=18041 vsize=7096 CPUtime=49.9
/proc/18059/stat : 18059 (minisat) R 18041 18041 17416 0 -1 0 1453 0 0 0 4989 1 0 0 25 0 1 0 29746925 7266304 1416 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528059 0 0 4096 3 0 0 0 17 0 0 0
/proc/18059/statm: 1774 1416 51 112 0 1658 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 21484
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18041 and gives childrusage.ru_utime.tv_sec=73 childrusage.ru_utime.tv_usec=82889 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=92985
CPU time returned by wait4() is 73.1759
while last known CPU time is 73.59
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 74.0601
CPU time (s): 73.59
CPU user time (s): 73.48
CPU system time (s): 0.11
CPU usage (%): 99.3653
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.0829
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9899
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 689
involuntary context switches= 1285
runsolver used 0.076988 s user time and 0.208968 s system time
The end
Begin job on node61 on Mon Jan 29 19:11:39 UTC 2007
IDJOB= 210335
IDBENCH= 4611
IDSOLVER= 86
FILE ID= node61/210335-1170097898
PBS_JOBID= 3689699
Free space on /tmp= 66480 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-15-13.xml
COMMAND LINE= /tmp/evaluation/210335-1170097898/solver /tmp/evaluation/210335-1170097898 /tmp/evaluation/210335-1170097898/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-210335-1170097898 -o ROOT/results/node61/solver-210335-1170097898 -C 1800 -M 900 /tmp/evaluation/210335-1170097898/solver /tmp/evaluation/210335-1170097898 /tmp/evaluation/210335-1170097898/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 484be45bb21187452705ba7aa3fbcd63
RANDOM SEED= 573467387
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.216
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.216
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: 906952 kB
Buffers: 44076 kB
Cached: 407852 kB
SwapCached: 0 kB
Active: 827600 kB
Inactive: 268948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 906952 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 808 kB
Writeback: 0 kB
Mapped: 661412 kB
Slab: 36432 kB
Committed_AS: 820996 kB
PageTables: 3284 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= 66564 MiB
End job on node61 on Mon Jan 29 19:12:53 UTC 2007