10.94/11.02 c run March_dl for 5 seconds ...
10.94/11.02 c Bin: Executing march_dl
10.94/11.02 c child exit by a signal
10.94/11.02 c march_dl returned code 137.
10.94/11.02 c run saps (UBCSAT implementation) for 2 seconds ...
10.94/11.02 c Bin: Executing ubcsat2006
10.94/11.02 c child exited successfully
10.94/11.02 c ubcsat2006 returned code 0.
10.94/11.02 c satzilla computing base features
10.94/11.02 c satzilla doing unit-prop probe
10.94/11.02 c satzilla doing local search probe
10.94/11.02 c satzilla doing lobjois search-space size estimate
10.94/11.02 c satzilla's ranking:
10.94/11.02 c 1) minisat20+P: 0.808177
10.94/11.02 c 2) minisat20: 1.151799
10.94/11.02 c 3) march_dl: 1.691190
10.94/11.02 c 4) march_dl+P: 2.747920
10.94/11.02 c 5) vallst+P: 4.944666
10.94/11.02 c 6) zchaff_rand+P: 6.325753
10.94/11.02 c 7) kcnfs+P: 999.000000
10.94/11.02 c 8) kcnfs: 999.000000
10.94/11.02 c 9) vallst: 999.000000
10.94/11.02 c 10) zchaff_rand: 999.000000
10.94/11.02 c satzilla running minisat20 with preprocessing ...
11.04/11.12 This is MiniSat 2.0 beta
11.04/11.12 WARNING: for repeatability, setting FPU to use double precision
11.04/11.12 ============================[ Problem Statistics ]=============================
11.04/11.12 | |
11.04/11.12 | Number of variables: 200 |
11.04/11.12 | Number of clauses: 17000 |
11.04/11.14 | Parsing time: 0.02 s |
11.04/11.14 ============================[ Search Statistics ]==============================
11.04/11.14 | Conflicts | ORIGINAL | LEARNT | Progress |
11.04/11.14 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.04/11.14 ===============================================================================
11.04/11.14 | 0 | 200 17000 119000 | 5666 0 nan | 0.000 % |
11.04/11.15 | 101 | 200 17000 119000 | 6233 101 58 | 0.003 % |
11.09/11.16 | 251 | 200 17000 119000 | 6856 251 58 | 0.003 % |
11.09/11.18 | 477 | 200 17000 119000 | 7542 477 58 | 0.003 % |
11.09/11.21 | 814 | 200 17000 119000 | 8296 814 56 | 0.003 % |
11.09/11.25 | 1320 | 200 17000 119000 | 9126 1320 57 | 0.003 % |
11.23/11.32 | 2079 | 200 17000 119000 | 10038 2079 57 | 0.003 % |
11.33/11.43 | 3219 | 200 17000 119000 | 11042 3219 58 | 0.003 % |
11.53/11.60 | 4928 | 200 17000 119000 | 12147 4928 58 | 0.003 % |
11.84/11.92 | 7490 | 200 17000 119000 | 13361 7490 58 | 0.003 % |
12.46/12.50 | 11335 | 200 17000 119000 | 14697 11335 58 | 0.003 % |
13.48/13.54 | 17101 | 200 17000 119000 | 16167 9706 59 | 0.003 % |
15.12/15.17 | 25750 | 200 17000 119000 | 17784 10216 58 | 0.003 % |
17.78/17.88 | 38724 | 200 17000 119000 | 19562 14246 58 | 0.003 % |
22.30/22.41 | 58185 | 200 17000 119000 | 21519 14051 58 | 0.003 % |
30.29/30.34 | 87377 | 200 17000 119000 | 23671 10838 56 | 0.003 % |
41.77/41.87 | 131166 | 200 17000 119000 | 26038 17910 57 | 0.003 % |
61.85/61.99 | 196850 | 200 17000 119000 | 28641 12777 56 | 0.003 % |
91.68/91.77 | 295376 | 200 17000 119000 | 31506 28428 59 | 0.003 % |
140.56/140.64 | 443166 | 200 17000 119000 | 34656 24490 58 | 0.003 % |
219.97/220.08 | 664849 | 200 17000 119000 | 38122 26546 58 | 0.003 % |
351.65/351.75 | 997376 | 200 17000 119000 | 41934 29993 59 | 0.003 % |
564.60/564.72 | 1496165 | 200 17000 119000 | 46128 39752 60 | 0.003 % |
895.70/895.79 | 2244349 | 200 17000 119000 | 50741 35646 56 | 0.003 % |
1198.82/1198.99 c Preprocessing...
1198.82/1198.99 c Inital problem has 200 variables, 17000 nary clauses (0 binary clauses).
1198.82/1198.99 c Num non-binary clauses 17000, Average non-binary clause length 7.000
1198.82/1198.99 c Theory has no gaps
1198.82/1198.99 c Preprocessor runtime was 0.050 seconds.
1198.82/1198.99 c
1198.82/1198.99 c Satisfiability of theory still undetermined.
1198.82/1198.99 c See file /tmp/7U8MGQ for simplified theory.
1198.82/1198.99 c Bin: Executing minisat20
1198.82/1198.99 c child exit by a signal
1198.82/1198.99 c minisat20 returned code 137.
1198.82/1198.99 c minisat20 returned code 137.
1198.82/1198.99 c satzilla running minisat20 ...
1198.82/1198.99 c Bin: Executing minisat20
1198.82/1198.99 c minisat20 returned code 1.
1198.82/1198.99 c minisat20 returned code 1.
1198.82/1198.99 c satzilla running march_dl ...
1198.82/1198.99 c Bin: Executing march_dl
1198.82/1198.99 c march_dl returned code 1.
1198.82/1198.99 c march_dl returned code 1.
1198.82/1198.99 c satzilla running march_dl with preprocessing ...
1198.82/1198.99 c Bin: Executing march_dl
1198.82/1198.99 c march_dl returned code 1.
1198.82/1198.99 c march_dl returned code 1.
1198.82/1198.99 c satzilla running vallst with preprocessing ...
1198.82/1198.99 c Bin: Executing vallst
1198.82/1198.99 c vallst returned code 1.
1198.82/1198.99 c vallst returned code 1.
1198.82/1198.99 c satzilla running zchaff_rand with preprocessing ...
1198.82/1198.99 c Bin: Executing zchaff_rand
1198.82/1198.99 c zchaff_rand returned code 1.
1198.82/1198.99 c zchaff_rand returned code 1.
1198.82/1198.99 c satzilla running kcnfs with preprocessing ...
1198.82/1198.99 c Bin: Executing kcnfs
1198.82/1198.99 c kcnfs returned code 1.
1198.82/1198.99 c kcnfs returned code 1.
1198.82/1198.99 c satzilla running kcnfs ...
1198.82/1198.99 c Bin: Executing kcnfs
1198.82/1198.99 c kcnfs returned code 1.
1198.82/1198.99 c kcnfs returned code 1.
1198.82/1198.99 c satzilla running vallst ...
1198.82/1198.99 c Bin: Executing vallst
1198.82/1198.99 c vallst returned code 1.
1198.82/1198.99 c vallst returned code 1.
1198.82/1198.99 c satzilla running zchaff_rand ...
1198.82/1198.99 c Bin: Executing zchaff_rand
1198.82/1198.99 c zchaff_rand returned code 1.
1198.82/1198.99 c zchaff_rand returned code 1.
1198.82/1198.99 c ERROR: All Failed!
1198.82/1198.99 c SATZILLA_TIME=1199.100000
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-303471-1172036161 -o ROOT/results/node16/solver-303471-1172036161 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/303471-1172036161/SATzilla2007_C /tmp/evaluation/303471-1172036161/instance-303471-1172036161.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12238
/proc/meminfo: memFree=1466712/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=1440 CPUtime=0
/proc/12238/stat : 12238 (SATzilla2007_C) R 12236 12238 10701 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 223570492 1474560 110 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216547 0 0 4096 0 0 0 0 17 1 0 0
/proc/12238/statm: 360 110 95 260 0 84 0
[pid=12239] ppid=12238 vsize=768 CPUtime=0
/proc/12239/stat : 12239 (march_dl) R 12238 12238 10701 0 -1 4194304 95 0 0 0 0 0 0 0 18 0 1 0 223570492 786432 90 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12239/statm: 192 90 50 118 0 71 0
[startup+0.106592 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12238
/proc/meminfo: memFree=1466712/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=1440 CPUtime=0
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 223570492 1474560 110 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12238/statm: 360 110 95 260 0 84 0
[pid=12239] ppid=12238 vsize=2840 CPUtime=0.09
/proc/12239/stat : 12239 (march_dl) R 12238 12238 10701 0 -1 4194304 1881 0 0 0 9 0 0 0 20 0 1 0 223570492 2908160 563 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134543096 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12239/statm: 710 563 61 118 0 589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4280
[startup+0.514543 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 12238
/proc/meminfo: memFree=1466712/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=1440 CPUtime=0
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 223570492 1474560 110 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12238/statm: 360 110 95 260 0 84 0
[pid=12239] ppid=12238 vsize=5012 CPUtime=0.51
/proc/12239/stat : 12239 (march_dl) R 12238 12238 10701 0 -1 4194304 3282 0 0 0 50 1 0 0 23 0 1 0 223570492 5132288 723 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134583408 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12239/statm: 1253 723 67 118 0 1132 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 6452
[startup+1.33445 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 12240
/proc/meminfo: memFree=1463944/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=1440 CPUtime=0
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 223570492 1474560 110 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12238/statm: 360 110 95 260 0 84 0
[pid=12239] ppid=12238 vsize=5012 CPUtime=1.33
/proc/12239/stat : 12239 (march_dl) R 12238 12238 10701 0 -1 4194304 3306 0 0 0 132 1 0 0 25 0 1 0 223570492 5132288 747 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134583069 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12239/statm: 1253 747 67 118 0 1132 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 6452
[startup+2.97026 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 12240
/proc/meminfo: memFree=1463624/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=1440 CPUtime=0
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 223570492 1474560 110 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12238/statm: 360 110 95 260 0 84 0
[pid=12239] ppid=12238 vsize=5276 CPUtime=2.96
/proc/12239/stat : 12239 (march_dl) R 12238 12238 10701 0 -1 4194304 3368 0 0 0 295 1 0 0 25 0 1 0 223570492 5402624 809 18446744073709551615 134512640 134996440 4294956640 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12239/statm: 1319 809 67 118 0 1198 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 6716
[startup+6.25388 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 12241
/proc/meminfo: memFree=1464648/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=1440 CPUtime=4.99
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 135 3428 0 0 0 0 498 1 16 0 1 0 223570492 1474560 111 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12238/statm: 360 111 96 260 0 84 0
[pid=12241] ppid=12238 vsize=6188 CPUtime=1.24
/proc/12241/stat : 12241 (ubcsat2006) R 12238 12238 10701 0 -1 4194304 586 0 0 0 121 3 0 0 25 0 1 0 223570993 6336512 569 18446744073709551615 134512640 134777720 4294956496 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12241/statm: 1547 569 156 64 0 1128 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 7628
[startup+12.7061 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1456464/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=6064 CPUtime=1.57
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 1290 0 0 0 156 1 0 0 25 0 1 0 223571604 6209536 1284 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134650029 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 1516 1284 58 118 0 1394 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 12520
[startup+25.5187 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1453072/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=8868 CPUtime=14.38
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 2013 0 0 0 1436 2 0 0 25 0 1 0 223571604 9080832 2007 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 2217 2007 58 118 0 2095 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 15324
[startup+51.1407 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1451344/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=10608 CPUtime=40
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 2445 0 0 0 3997 3 0 0 25 0 1 0 223571604 10862592 2439 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525746 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 2652 2439 58 118 0 2530 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17064
[startup+102.384 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1448976/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=13056 CPUtime=91.24
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 3038 0 0 0 9120 4 0 0 25 0 1 0 223571604 13369344 3032 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525583 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 3264 3032 58 118 0 3142 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 19512
[startup+162.439 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1447248/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=14828 CPUtime=151.3
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 3463 0 0 0 15124 6 0 0 25 0 1 0 223571604 15183872 3457 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 3707 3457 58 118 0 3585 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 21284
[startup+222.479 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1446800/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=15232 CPUtime=211.33
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 3581 0 0 0 21127 6 0 0 25 0 1 0 223571604 15597568 3575 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134528485 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 3808 3575 58 118 0 3686 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 21688
[startup+282.534 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1445264/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=16832 CPUtime=271.38
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 3968 0 0 0 27131 7 0 0 25 0 1 0 223571604 17235968 3962 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 4208 3962 58 118 0 4086 0
Current children cumulated CPU time (s) 282.47
Current children cumulated vsize (KiB) 23288
[startup+342.584 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1445136/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=16964 CPUtime=331.44
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 4005 0 0 0 33136 8 0 0 25 0 1 0 223571604 17371136 3999 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134527405 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 4241 3999 58 118 0 4119 0
Current children cumulated CPU time (s) 342.53
Current children cumulated vsize (KiB) 23420
[startup+402.64 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1443344/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=18928 CPUtime=391.49
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 4461 0 0 0 39140 9 0 0 25 0 1 0 223571604 19382272 4455 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 4732 4455 58 118 0 4610 0
Current children cumulated CPU time (s) 402.58
Current children cumulated vsize (KiB) 25384
[startup+462.694 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1443088/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=19072 CPUtime=451.54
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 4504 0 0 0 45145 9 0 0 25 0 1 0 223571604 19529728 4498 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 4768 4498 58 118 0 4646 0
Current children cumulated CPU time (s) 462.63
################
# More data... #
################
[startup+823.017 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1440720/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=21692 CPUtime=811.85
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5092 0 0 0 81173 12 0 0 25 0 1 0 223571604 22212608 5086 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525788 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 5423 5086 58 118 0 5301 0
Current children cumulated CPU time (s) 822.94
Current children cumulated vsize (KiB) 28148
[startup+883.063 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1440592/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=21832 CPUtime=871.89
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5141 0 0 0 87177 12 0 0 25 0 1 0 223571604 22355968 5135 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 5458 5135 58 118 0 5336 0
Current children cumulated CPU time (s) 882.98
Current children cumulated vsize (KiB) 28288
[startup+943.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1439120/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=23284 CPUtime=931.94
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5495 0 0 0 93181 13 0 0 25 0 1 0 223571604 23842816 5489 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525539 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 5821 5489 58 118 0 5699 0
Current children cumulated CPU time (s) 943.03
Current children cumulated vsize (KiB) 29740
[startup+1003.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1438544/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=23812 CPUtime=992
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5634 0 0 0 99186 14 0 0 25 0 1 0 223571604 24383488 5628 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 5953 5628 58 118 0 5831 0
Current children cumulated CPU time (s) 1003.09
Current children cumulated vsize (KiB) 30268
[startup+1063.23 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1438352/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24120 CPUtime=1052.05
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5699 0 0 0 105191 14 0 0 25 0 1 0 223571604 24698880 5693 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6030 5693 58 118 0 5908 0
Current children cumulated CPU time (s) 1063.14
Current children cumulated vsize (KiB) 30576
[startup+1123.29 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 12242
/proc/meminfo: memFree=1438288/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24120 CPUtime=1112.11
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5707 0 0 0 111196 15 0 0 25 0 1 0 223571604 24698880 5701 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6030 5701 58 118 0 5908 0
Current children cumulated CPU time (s) 1123.2
Current children cumulated vsize (KiB) 30576
[startup+1183.34 s]
/proc/loadavg: 1.06 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1172.16
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 117201 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1183.25
Current children cumulated vsize (KiB) 30720
Solver just ended. Dumping a history of the last processes samples
[startup+1187.13 s]
/proc/loadavg: 1.06 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1175.95
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 117580 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525802 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1187.04
Current children cumulated vsize (KiB) 30720
[startup+1193.69 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1182.51
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 118236 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525534 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1193.6
Current children cumulated vsize (KiB) 30720
[startup+1196.96 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1185.78
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 118563 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1196.87
Current children cumulated vsize (KiB) 30720
[startup+1197.79 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1186.6
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 118645 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1197.69
Current children cumulated vsize (KiB) 30720
[startup+1198.61 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1187.43
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 118728 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (KiB) 30720
[startup+1198.81 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1187.63
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 118748 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1198.72
Current children cumulated vsize (KiB) 30720
[startup+1198.92 s]
/proc/loadavg: 1.05 1.00 1.00 2/79 12242
/proc/meminfo: memFree=1438032/2055920 swapFree=4192812/4192956
[pid=12238] ppid=12236 vsize=6456 CPUtime=11.09
/proc/12238/stat : 12238 (SATzilla2007_C) S 12236 12238 10701 0 -1 4194304 2544 4020 0 0 393 7 703 6 25 0 1 0 223570492 6610944 1429 18446744073709551615 134512640 135579813 4294956608 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12238/statm: 1614 1429 165 260 0 1338 0
[pid=12242] ppid=12238 vsize=24264 CPUtime=1187.73
/proc/12242/stat : 12242 (minisat20) R 12238 12238 10701 0 -1 4194304 5751 0 0 0 118758 15 0 0 25 0 1 0 223571604 24846336 5745 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12242/statm: 6066 5745 58 118 0 5944 0
Current children cumulated CPU time (s) 1198.82
Current children cumulated vsize (KiB) 30720
Child status: 17
Real time (s): 1199
CPU time (s): 1198.94
CPU user time (s): 1198.64
CPU system time (s): 0.306953
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 30720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.64
system time used= 0.306953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12328
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= 26
involuntary context switches= 24664
runsolver used 1.16782 second user time and 3.09353 second system time
The end
Begin job on node16 on Wed Feb 21 05:36:01 UTC 2007
IDJOB= 303471
IDBENCH= 20108
IDSOLVER= 135
FILE ID= node16/303471-1172036161
PBS_JOBID= 3849178
Free space on /tmp= 66540 MiB
SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v200/unif-k7-r85-v200-c17000-S1798323172-15.cnf
COMMAND LINE= /tmp/evaluation/303471-1172036161/SATzilla2007_C /tmp/evaluation/303471-1172036161/instance-303471-1172036161.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-303471-1172036161 -o ROOT/results/node16/solver-303471-1172036161 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/303471-1172036161/SATzilla2007_C /tmp/evaluation/303471-1172036161/instance-303471-1172036161.cnf
META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH= 9a1eeb76857ccbe401a4de96673889a8
RANDOM SEED= 182049334
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.281
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.281
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: 1467248 kB
Buffers: 58264 kB
Cached: 396384 kB
SwapCached: 0 kB
Active: 206332 kB
Inactive: 301996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1467248 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8868 kB
Writeback: 0 kB
Mapped: 72568 kB
Slab: 65988 kB
Committed_AS: 1000276 kB
PageTables: 1720 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= 66540 MiB
End job on node16 on Wed Feb 21 05:56:01 UTC 2007