197.61/197.74 c starting MXC with:
197.61/197.74 c cnf_path = HOME/instance-1774637-1241307376.cnf
197.61/197.74 c restart_strategy = auto
197.61/197.74 c sign_strategy = cached
197.61/197.74 c use_preprocessing = -1
197.61/197.74 c output_implicant = 1
197.61/197.74 c timeout_seconds = 0
197.61/197.74 c running SatELite... done
197.61/197.74 c 193980 vars eliminated
197.61/197.74 c received 73357 units and 500553 clauses from SatELite
197.61/197.74 c 267336 assignments made, starting to guess now
197.61/197.74 c ===================================[MXC]=====================================
197.61/197.74 c | Conflicts | Clause Statistics | Vars |
197.61/197.74 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
197.61/197.74 c =============================================================================
197.61/197.74 c | 0 | 0 48361 452192 0 0 nan | 315617 |
197.61/197.74 c | 100 | 0 48362 452192 99 1050 4.0 | 48281 |
197.61/197.74 c | 210 | 0 48363 452192 208 1105 10.3 | 48281 |
197.61/197.74 c | 441 | 0 49192 448235 432 1220 13.9 | 48267 |
197.61/197.74 c | 805 | 0 49193 448235 795 1402 13.0 | 48267 |
197.61/197.74 c | 1315 | 0 51962 428656 1206 1657 12.5 | 48067 |
197.61/197.74 c | 1986 | 0 51520 426092 1830 1993 12.5 | 47911 |
197.61/197.74 c | 2834 | 0 51706 424879 1571 2417 11.6 | 47864 |
197.61/197.74 c | 3876 | 0 54237 415334 2517 2938 11.2 | 47742 |
197.61/197.74 c | 5132 | 0 54270 415334 2064 3566 11.5 | 47742 |
197.61/197.74 c | 6623 | 0 53791 412246 3295 4311 11.3 | 47548 |
197.61/197.74 c | 8373 | 0 51544 400883 4191 5186 11.6 | 46855 |
197.61/197.74 c | 10408 | 0 51558 398734 6095 6204 11.1 | 46784 |
197.61/197.74 c | 12756 | 0 51329 397807 5274 7378 10.2 | 46725 |
197.61/197.74 c | 15449 | 0 51341 397807 7955 8724 11.5 | 46725 |
197.61/197.74 c | 18521 | 0 51380 397241 6201 10260 11.6 | 46700 |
197.61/197.74 c | 22010 | 0 51411 397241 9659 12005 12.9 | 46700 |
197.61/197.74 c | 25958 | 0 51425 397241 13593 13979 13.9 | 46700 |
197.61/197.74 c | 30411 | 0 51445 397241 10929 16205 14.0 | 46700 |
197.61/197.74 c | 35419 | 0 51460 397085 15194 18709 14.2 | 46688 |
197.61/197.74 c | 41038 | 0 51485 396785 20784 21519 14.9 | 46687 |
197.61/197.74 c | 47329 | 0 51508 396785 15931 24664 15.8 | 46687 |
197.61/197.74 c | 54360 | 0 51534 396759 22934 28180 16.7 | 46684 |
197.61/197.74 c | 62205 | 0 51552 396733 30760 32102 17.4 | 46681 |
197.61/197.74 c | 70945 | 0 51568 396733 22800 36472 17.5 | 46681 |
197.61/197.74 c | 80669 | 0 51583 396685 32496 41334 18.0 | 46674 |
197.61/197.74 c | 91476 | 0 51603 396659 43282 46738 18.2 | 46671 |
197.61/197.74 c | 103474 | 0 51647 396659 30140 52737 19.2 | 46671 |
197.61/197.74 c | 116782 | 0 51964 395387 41016 59391 21.0 | 46662 |
197.61/197.74 c | 131532 | 0 52003 395361 55727 66766 23.0 | 46659 |
197.61/197.74 c | 147868 | 0 52793 391363 65170 74934 23.2 | 46597 |
197.61/197.74 c | 165948 | 0 52823 391363 83220 83974 25.1 | 46597 |
197.61/197.74 c | 185947 | 0 52860 391363 60838 93973 25.1 | 46597 |
197.61/197.74 c | 208057 | 0 52877 391363 82931 105028 27.2 | 46597 |
197.61/197.74 c | 232489 | 0 55718 375920 102134 117244 27.6 | 46207 |
197.61/197.74 c | 259475 | 0 55757 375920 129081 130737 29.9 | 46207 |
197.61/197.74 c | 289271 | 0 55785 375920 92659 145635 29.9 | 46207 |
197.61/197.74 c | 322158 | 0 55826 375920 125501 162079 29.6 | 46188 |
197.61/197.74 c | 322880 | 0 55835 375920 126209 162440 29.5 | 46105 |
197.61/197.74 c ----- stats for thread 0 -----
197.61/197.74 c restarts: 638
197.61/197.74 c decisions: 573349
197.61/197.74 c propagations: 156449325
197.61/197.74 c conflicts: 322880
197.61/197.74 c 197.698s elapsed
197.61/197.74 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774637-1241307376/watcher-1774637-1241307376 -o /tmp/evaluation-result-1774637-1241307376/solver-1774637-1241307376 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1774637-1241307376.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.09 1.03 3/65 25766
/proc/meminfo: memFree=1008744/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=30916 CPUtime=0
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 783 0 0 0 0 0 0 0 18 0 1 0 158767440 31657984 769 1992294400 134512640 135192793 4294956224 18446744073709551615 134779278 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 7729 775 46 166 0 7560 0
[startup+0.0549899 s]
/proc/loadavg: 1.09 1.09 1.03 3/65 25766
/proc/meminfo: memFree=1008744/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=39640 CPUtime=0.04
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 8865 0 0 0 0 4 0 0 18 0 1 0 158767440 40591360 8851 1992294400 134512640 135192793 4294956224 18446744073709551615 134527616 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 9910 8856 50 166 0 9741 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 39640
[startup+0.101993 s]
/proc/loadavg: 1.09 1.09 1.03 3/65 25766
/proc/meminfo: memFree=1008744/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=86360 CPUtime=0.09
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 15402 0 0 0 2 7 0 0 18 0 1 0 158767440 88432640 15388 1992294400 134512640 135192793 4294956224 18446744073709551615 134753679 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 21590 15391 53 166 0 21421 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86360
[startup+0.302014 s]
/proc/loadavg: 1.09 1.09 1.03 3/65 25766
/proc/meminfo: memFree=1008744/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=126228 CPUtime=0.29
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 23532 0 0 0 19 10 0 0 20 0 1 0 158767440 129257472 23305 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 31557 23305 55 166 0 31388 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126228
[startup+0.70106 s]
/proc/loadavg: 1.09 1.09 1.03 3/65 25766
/proc/meminfo: memFree=1008744/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=155320 CPUtime=0.69
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 30643 0 0 0 56 13 0 0 24 0 1 0 158767440 159047680 30416 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 38830 30417 55 166 0 38661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155320
[startup+1.50115 s]
/proc/loadavg: 1.09 1.09 1.03 2/66 25767
/proc/meminfo: memFree=865392/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=170012 CPUtime=1.49
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 41433 0 0 0 131 18 0 0 25 0 1 0 158767440 174092288 33688 1992294400 134512640 135192793 4294956224 18446744073709551615 134564011 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 42503 33688 56 166 0 42334 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 170012
[startup+3.10745 s]
/proc/loadavg: 1.09 1.09 1.03 2/66 25767
/proc/meminfo: memFree=873456/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=170012 CPUtime=3.09
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 41433 0 0 0 291 18 0 0 25 0 1 0 158767440 174092288 33688 1992294400 134512640 135192793 4294956224 18446744073709551615 134563892 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 42503 33688 56 166 0 42334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 170012
[startup+6.30169 s]
/proc/loadavg: 1.17 1.10 1.04 2/66 25767
/proc/meminfo: memFree=872768/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=170936 CPUtime=6.29
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 41793 0 0 0 611 18 0 0 25 0 1 0 158767440 175038464 34048 1992294400 134512640 135192793 4294956224 18446744073709551615 134566018 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 42734 34048 56 166 0 42565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 170936
[startup+12.7014 s]
/proc/loadavg: 1.15 1.10 1.04 2/66 25767
/proc/meminfo: memFree=869000/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=193944 CPUtime=12.69
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 47245 0 0 0 1248 21 0 0 25 0 1 0 158767440 198598656 39500 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 48486 39500 56 166 0 48317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 193944
[startup+25.5019 s]
/proc/loadavg: 1.12 1.10 1.03 2/66 25767
/proc/meminfo: memFree=810448/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=230652 CPUtime=25.49
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 63010 0 0 0 2520 29 0 0 25 0 1 0 158767440 236187648 49727 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 57663 49727 73 166 0 57494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 230652
[startup+51.1018 s]
/proc/loadavg: 1.08 1.09 1.03 2/66 25767
/proc/meminfo: memFree=803216/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=237804 CPUtime=51.08
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 64767 0 0 0 5078 30 0 0 25 0 1 0 158767440 243511296 51484 1992294400 134512640 135192793 4294956224 18446744073709551615 134533924 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 59451 51484 73 166 0 59282 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 237804
[startup+102.306 s]
/proc/loadavg: 1.03 1.07 1.03 2/66 25767
/proc/meminfo: memFree=793040/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=248408 CPUtime=102.26
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 67370 0 0 0 10193 33 0 0 25 0 1 0 158767440 254369792 54087 1992294400 134512640 135192793 4294956224 18446744073709551615 134533831 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 62102 54087 73 166 0 61933 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 248408
[startup+162.301 s]
/proc/loadavg: 1.01 1.06 1.02 2/66 25767
/proc/meminfo: memFree=781008/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=261016 CPUtime=162.23
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70343 0 0 0 16187 36 0 0 25 0 1 0 158767440 267280384 57060 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65254 57060 73 166 0 65085 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 261016
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 1.01 1.05 1.02 2/66 25767
/proc/meminfo: memFree=780880/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=261160 CPUtime=179.02
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70384 0 0 0 17866 36 0 0 25 0 1 0 158767440 267427840 57101 1992294400 134512640 135192793 4294956224 18446744073709551615 134533786 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65290 57101 73 166 0 65121 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 261160
[startup+185.502 s]
/proc/loadavg: 1.01 1.05 1.02 2/66 25767
/proc/meminfo: memFree=780560/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=261588 CPUtime=185.42
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70458 0 0 0 18506 36 0 0 25 0 1 0 158767440 267866112 57175 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65397 57175 73 166 0 65228 0
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (KiB) 261588
[startup+191.902 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 25767
/proc/meminfo: memFree=780368/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=261876 CPUtime=191.82
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70521 0 0 0 19146 36 0 0 25 0 1 0 158767440 268161024 57238 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65469 57238 73 166 0 65300 0
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (KiB) 261876
[startup+195.102 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 25767
/proc/meminfo: memFree=779920/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=262452 CPUtime=195.01
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70642 0 0 0 19465 36 0 0 25 0 1 0 158767440 268750848 57359 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65613 57359 73 166 0 65444 0
Current children cumulated CPU time (s) 195.01
Current children cumulated vsize (KiB) 262452
[startup+196.701 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 25767
/proc/meminfo: memFree=779856/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=262452 CPUtime=196.61
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70653 0 0 0 19625 36 0 0 25 0 1 0 158767440 268750848 57370 1992294400 134512640 135192793 4294956224 18446744073709551615 134533186 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65613 57370 73 166 0 65444 0
Current children cumulated CPU time (s) 196.61
Current children cumulated vsize (KiB) 262452
[startup+197.501 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 25767
/proc/meminfo: memFree=779792/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=262452 CPUtime=197.41
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70654 0 0 0 19705 36 0 0 25 0 1 0 158767440 268750848 57371 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65613 57371 73 166 0 65444 0
Current children cumulated CPU time (s) 197.41
Current children cumulated vsize (KiB) 262452
[startup+197.701 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 25767
/proc/meminfo: memFree=779792/2055920 swapFree=4192812/4192956
[pid=25766] ppid=25764 vsize=262452 CPUtime=197.61
/proc/25766/stat : 25766 (mxc-sat09) R 25764 25766 25729 0 -1 4194304 70654 0 0 0 19725 36 0 0 25 0 1 0 158767440 268750848 57371 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/25766/statm: 65613 57371 73 166 0 65444 0
Current children cumulated CPU time (s) 197.61
Current children cumulated vsize (KiB) 262452
Child status: 20
Real time (s): 197.779
CPU time (s): 197.7
CPU user time (s): 197.299
CPU system time (s): 0.400939
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 262452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.299
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 350
runsolver used 0.205968 second user time and 0.51992 second system time
The end
Begin job on node85 at 2009-05-03 01:36:18
IDJOB=1774637
IDBENCH=70967
IDSOLVER=613
FILE ID=node85/1774637-1241307376
PBS_JOBID= 9225245
Free space on /tmp= 126660 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L100_coli.sat.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774637-1241307376/watcher-1774637-1241307376 -o /tmp/evaluation-result-1774637-1241307376/solver-1774637-1241307376 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1774637-1241307376.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 370a08d01be1cc652e9a09ab1aafdced
RANDOM SEED=1353590870
node85.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.238
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.238
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: 1009176 kB
Buffers: 61660 kB
Cached: 881636 kB
SwapCached: 136 kB
Active: 94580 kB
Inactive: 862532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1009176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 30972 kB
Writeback: 0 kB
Mapped: 23448 kB
Slab: 75588 kB
Committed_AS: 680920 kB
PageTables: 1372 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= 126660 MiB
End job on node85 at 2009-05-03 01:39:35