Trace number 3369268

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)SAT 154.791 38.7782

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
MD5SUM57c91698da60cd77ab278c961fa35654
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.594909
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369268-1305391265.cnf'
0.00/0.01	c -- header says num vars:            760
0.00/0.01	c -- header says num clauses:       43649
0.00/0.01	c -- clauses added:            0 learnts,        43649 normals,            0 xors
0.00/0.01	c -- vars added        760
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0       760        40     43609         0     87978         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.06/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.06/0.03	c bin-w-bin subsume rem         2513 bins  time:  0.02 s
0.06/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.06/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    760 time:  0.02 s
0.06/0.04	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
0.06/0.06	c lits-rem:       379  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.07 s
0.06/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.06/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.06/0.06	c calculated reachability. Time: 0.00
0.06/0.06	c Calc default polars -  time:   0.00 s pos:       0 undec:      40 neg:     720
0.06/0.06	c =========================================================================================
0.06/0.06	c types(t): F = full restart, N = normal restart
0.06/0.06	c types(t): S = simplification begin/end, E = solution found
0.06/0.06	c restart types(rt): st = static, dy = dynamic
0.06/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.06/0.06	c  B st     0         0       720      2953     37423         0    131849         0   no data   no data  --
0.77/0.21	c  N dy    16      4035       720      2953     37427      3936    131849     83775      7.03      7.40  --
1.17/0.39	c  N dy    41      8089       720      2953     37434      5463    131849    107869      7.25      8.94  --
1.97/0.59	c  N dy    66     12118       720      2953     37436      5249    131849     83477      7.44      8.99  --
2.77/0.79	c  N dy    85     16124       720      2953     37443      9144    131849    170107      7.49      7.97  --
3.57/0.99	c  N dy   110     20185       720      2953     37445      7617    131849    117056      7.61      8.03  --
4.76/1.21	c  N dy   134     24448       720      2953     37447     11759    131849    210543      7.63      8.05  --
4.76/1.24	c  F st   139     25001       720      2953     37454     12294    131849    223079      7.65      7.75  --
5.97/1.52	c  N dy   145     30001       720      2953     37455     10498    131849    172103      7.65   no data  --
5.97/1.52	c  S st   145     30001       720      2953     37455     10498    131849    172103      7.65   no data  --
5.97/1.54	c  S st   145     30505       720      2953     37455     10999    131849    185951      7.65   no data  --
5.97/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    199 BRemL:      0 BRemN:      0 P:  3.4M T:  0.24
6.37/1.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
8.79/2.24	c subs with bin:      896  lits-rem:     17676  v-fix:    0  time:  2.48 s
8.79/2.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    720 time:  0.01 s
8.79/2.25	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.02 s
9.96/2.54	c lits-rem:      1152  cl-subs:     2040  v-elim:      0  v-fix:    0  time:  1.15 s
10.36/2.68	c asymm  cl-useful: 4/2913/2953 lits-rem:5 time: 0.56
10.36/2.68	c calculated reachability. Time: 0.00
10.36/2.68	c  N dy   145     30505       720      2953     37654      8063    114870    153128      7.65   no data  --
11.56/2.90	c  N dy   175     34546       720      2953     37657     12005    114870    254557      7.79      8.25  --
12.36/3.15	c  N dy   199     38621       720      2953     37683      8312    114870    123450      7.92      8.55  --
13.18/3.37	c  N dy   216     42804       720      2953     37686     12340    114870    217861      7.89      8.37  --
13.94/3.56	c  S st   237     45757       720      2953     37688     15211    114870    286546      7.95   no data  --
13.94/3.59	c  S st   237     46260       720      2953     37688     15713    114870    303056      7.95   no data  --
13.94/3.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.94/3.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.34/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     38 BRemL:      0 BRemN:      0 P:  3.5M T:  0.24
14.34/3.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
18.34/4.66	c subs with bin:     1238  lits-rem:       714  v-fix:    0  time:  3.95 s
18.34/4.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    720 time:  0.02 s
18.34/4.67	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.02 s
23.12/5.81	c lits-rem:      1497  cl-subs:     1152  v-elim:      0  v-fix:    0  time:  4.58 s
23.12/5.81	c vivif2 --  cl tried     2953 cl shrink        0 lits rem          0 time: 0.00
23.12/5.82	c vivif2 --  cl tried    13323 cl shrink        0 lits rem          0 time: 0.03
23.93/6.00	c asymm  cl-useful: 0/2953/2953 lits-rem:0 time: 0.70
23.93/6.00	c calculated reachability. Time: 0.00
23.93/6.00	c  N dy   237     46260       720      2953     37727     13323    114864    270714      7.95   no data  --
24.73/6.28	c  N dy   270     50387       720      2953     37737      8706    114864    117711      8.08      8.54  --
25.94/6.52	c  N dy   299     54624       720      2953     37737     12839    114864    220919      8.14      8.67  --
26.72/6.78	c  N dy   325     58690       720      2953     37737     16775    114864    318006      8.20      9.79  --
27.92/7.05	c  N dy   344     62691       720      2953     37738     10993    114864    160879      8.21     12.67  --
28.72/7.28	c  N dy   370     66695       720      2953     37739     14875    114864    258049      8.24      8.72  --
29.52/7.45	c  S st   387     69392       720      2953     37741     17496    114864    323997      8.26      7.34  --
29.52/7.48	c  S st   387     69896       720      2953     37741     17999    114864    338501      8.26   no data  --
29.52/7.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.52/7.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.92/7.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.25
29.92/7.56	c bin-w-bin subsume rem            1 bins  time:  0.02 s
33.91/8.59	c subs with bin:      353  lits-rem:       671  v-fix:    0  time:  4.09 s
33.91/8.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    720 time:  0.02 s
34.31/8.60	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
40.70/10.23	c lits-rem:      1844  cl-subs:     1379  v-elim:      0  v-fix:    0  time:  6.49 s
40.70/10.23	c vivif2 --  cl tried     2953 cl shrink        0 lits rem          0 time: 0.00
40.70/10.24	c vivif2 --  cl tried    16267 cl shrink        0 lits rem          0 time: 0.04
41.50/10.43	c asymm  cl-useful: 0/2953/2953 lits-rem:0 time: 0.76
41.50/10.43	c calculated reachability. Time: 0.00
41.50/10.43	c  N dy   387     69896       720      2953     37740     16267    114857    315277      8.26   no data  --
42.70/10.77	c  N dy   412     74432       720      2953     37761     20643    114857    407110      8.28      9.08  --
44.29/11.10	c  N dy   434     79241       720      2953     37769     14633    114857    229207      8.26      8.73  --
45.49/11.43	c  N dy   455     84320       719      2953     37783     19510    114857    343474      8.23      8.80  --
46.29/11.64	c  F st   475     87502       719      2953     37794     22600    114857    422967      8.24   no data  --
47.09/11.85	c  N st   480     90801       719      2946     37590     11553    114399    174152      8.24   no data  --
48.31/12.19	c  N dy   502     96623       719      2946     37593     17154    114399    310278      8.24      9.09  --
49.48/12.41	c Finding binary XORs  T:     0.00 s  found:       0
49.88/12.59	c  N dy   540    102829       718      2937     37409     10380    113909    144800      8.28     11.24  --
50.68/12.71	c  S st   554    104846       718      2937     37409     12339    113909    198221      8.30      7.62  --
50.68/12.74	c  S st   554    105352       718      2937     37410     12845    113909    214879      8.30   no data  --
50.68/12.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.68/12.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.08/12.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  3.5M T:  0.24
51.08/12.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
53.47/13.44	c subs with bin:      227  lits-rem:        58  v-fix:    0  time:  2.52 s
53.47/13.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    718 time:  0.02 s
53.47/13.45	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.02 s
55.87/14.03	c lits-rem:       871  cl-subs:      433  v-elim:      0  v-fix:    0  time:  2.31 s
55.87/14.03	c vivif2 --  cl tried     2937 cl shrink        0 lits rem          0 time: 0.00
55.87/14.03	c vivif2 --  cl tried    12185 cl shrink        0 lits rem          0 time: 0.02
56.69/14.21	c asymm  cl-useful: 0/2937/2937 lits-rem:0 time: 0.70
56.69/14.21	c calculated reachability. Time: 0.00
56.69/14.21	c  N dy   554    105352       718      2937     37413     12185    113904    207287      8.30   no data  --
58.27/14.64	c  N dy   593    112491       718      2937     37418     19102    113904    376894      8.31      8.86  --
60.26/15.14	c  N dy   620    119767       718      2937     37422     14091    113904    198851      8.29      8.76  --
62.26/15.63	c  N dy   661    127418       718      2937     37424     21489    113904    377793      8.31      8.81  --
64.65/16.23	c  N dy   710    135661       718      2937     37425     15690    113904    228455      8.34      8.87  --
67.04/16.84	c  N dy   757    144552       718      2937     37426     24312    113904    445054      8.35      9.01  --
69.86/17.57	c  N dy   806    153836       718      2937     37429     18153    113904    262121      8.36      8.87  --
71.04/17.86	c  S st   832    158030       718      2937     37430     22221    113904    357702      8.36      8.88  --
71.04/17.89	c  S st   832    158536       718      2937     37430     22726    113904    373914      8.36   no data  --
71.04/17.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
71.04/17.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
71.44/17.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.4M T:  0.29
71.44/17.98	c bin-w-bin subsume rem            0 bins  time:  0.02 s
75.43/18.95	c subs with bin:      234  lits-rem:       434  v-fix:    0  time:  3.86 s
75.43/18.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    718 time:  0.02 s
75.43/18.96	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
82.63/20.79	c lits-rem:      2013  cl-subs:     1799  v-elim:      0  v-fix:    0  time:  7.31 s
82.63/20.79	c vivif2 --  cl tried     2937 cl shrink        0 lits rem          0 time: 0.00
82.63/20.80	c vivif2 --  cl tried    20693 cl shrink        0 lits rem          0 time: 0.05
83.82/21.03	c asymm  cl-useful: 0/2937/2937 lits-rem:0 time: 0.92
83.82/21.03	c calculated reachability. Time: 0.00
83.82/21.03	c  N dy   832    158536       718      2937     37431     20693    113900    351019      8.36   no data  --
87.01/21.84	c  N dy   886    168681       717      2937     37441     30548    113900    582693      8.38     19.28  --
90.20/22.65	c  N dy   953    179492       717      2937     37443     24784    113900    408407      8.41      8.96  --
94.20/23.60	c  N dy  1029    191096       717      2937     37446     18654    113900    231789      8.44      8.89  --
97.39/24.49	c  N dy  1110    203327       717      2937     37449     30499    113900    512431      8.49      8.94  --
101.38/25.49	c  N dy  1171    216308       717      2937     37453     24707    113900    374667      8.49      8.97  --
106.18/26.60	c  N dy  1248    230128       717      2937     37456     38092    113900    687200      8.49      9.09  --
108.18/27.18	c  S st  1284    237809       717      2937     37466     26141    113900    357820      8.49   no data  --
108.58/27.22	c  S st  1284    238313       717      2937     37466     26645    113900    374202      8.49   no data  --
108.58/27.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.58/27.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.98/27.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:      0 BRemN:      0 P:  4.4M T:  0.30
108.98/27.31	c bin-w-bin subsume rem            0 bins  time:  0.02 s
112.56/28.20	c subs with bin:     2243  lits-rem:      2291  v-fix:    0  time:  3.52 s
112.56/28.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    717 time:  0.02 s
112.56/28.21	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.02 s
118.95/29.86	c lits-rem:      2068  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  6.58 s
118.95/29.86	c vivif2 --  cl tried     2931 cl shrink        0 lits rem          0 time: 0.00
118.95/29.87	c vivif2 --  cl tried    21976 cl shrink        0 lits rem          0 time: 0.05
120.15/30.10	c asymm  cl-useful: 1/2931/2931 lits-rem:1 time: 0.91
120.15/30.10	c calculated reachability. Time: 0.00
120.15/30.10	c  N dy  1284    238313       717      2931     37314     21976    113459    325768      8.49   no data  --
124.55/31.28	c  N dy  1368    253605       715      2931     37328     36788    113459    689024      8.50      9.35  --
129.73/32.58	c  N dy  1462    269850       715      2931     37334     32673    113459    548242      8.52      9.02  --
135.74/34.03	c  N dy  1553    287403       715      2931     37342     28534    113459    411197      8.52      8.98  --
142.11/35.60	c  N dy  1664    305961       715      2931     37352     24317    113459    283783      8.56      9.11  --
142.11/35.62	c  F st  1666    306252       715      2931     37352     24601    113459    289945      8.55   no data  --
148.11/37.15	c  N dy  1746    325499       715      2922     37014     40584    112604    737600      8.57      9.07  --
154.48/38.77	c Following stats are for *FIRST FINISHED THREAD ONLY*
154.48/38.77	c num threads              : 4          
154.48/38.77	c restarts                 : 2166       
154.48/38.77	c dynamic restarts         : 2142       
154.48/38.77	c static restarts          : 24         
154.48/38.77	c full restarts            : 3          
154.48/38.77	c total simplify time      : 0.01       
154.48/38.77	c learnts DL2              : 0          
154.48/38.77	c learnts size 2           : 44158      
154.48/38.77	c learnts size 1           : 5           (0.66      % of vars)
154.48/38.77	c filedLit time            : 1.16        (0.75      % time)
154.48/38.77	c v-elim SatELite          : 40          (5.26      % vars)
154.48/38.77	c SatELite time            : 19.64       (12.70     % time)
154.48/38.77	c v-elim xor               : 0           (0.00      % vars)
154.48/38.77	c xor elim time            : 0.03        (0.02      % time)
154.48/38.77	c num binary xor trees     : 0          
154.48/38.77	c binxor trees' crown      : 0           (nan       leafs/tree)
154.48/38.77	c bin xor find time        : 0.00       
154.48/38.77	c OTF clause improved      : 12274       (0.03      clauses/conflict)
154.48/38.77	c OTF impr. size diff      : 15300       (1.25       lits/clause)
154.48/38.77	c OTF cl watch-shrink      : 327900      (0.83      clauses/conflict)
154.48/38.77	c OTF cl watch-sh-lit      : 2973508     (9.07       lits/clause)
154.48/38.77	c tried to recurMin cls    : 122362      (30.81      % of conflicts)
154.48/38.77	c updated cache            : 0           (0.00       lits/tried recurMin)
154.48/38.77	c unit cls received        : 2           (40.00     % of units)
154.48/38.77	c unit cls sent            : 2           (40.00     % of units)
154.48/38.77	c bin cls received         : 192        
154.48/38.77	c bin cls sent             : 129        
154.48/38.77	c clauses over max glue    : 0           (0.00      % of all clauses)
154.48/38.77	c conflicts                : 397157      (2568.74   / sec)
154.48/38.77	c decisions                : 596960      (0.43      % random)
154.48/38.77	c bogo-props               : 4163247603  (26927154.43 / sec)
154.48/38.77	c conflict literals        : 9505030     (66.37     % deleted)
154.48/38.77	c Memory used              : 285.90      MB
154.48/38.77	c single-thread CPU time   : 154.61      s
154.48/38.77	c all-threads sum CPU time : 154.61      s
154.48/38.77	s SATISFIABLE
154.48/38.77	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 36 -37 -38 -39 -40 -41 -42 -43 -44 -45 46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 340 -341 -342 -343 344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 -418 419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 468 -469 -470 -471 -472 -473 -474 -475 -476 477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 527 -528 -529 -530 -531 -532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 738 -739 -740 -741 -742 743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369268-1305391265/watcher-3369268-1305391265 -o /tmp/evaluation-result-3369268-1305391265/solver-3369268-1305391265 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369268-1305391265.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.08 8.04 7.43 5/241 7172
/proc/meminfo: memFree=18196088/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 412 0 0 0 0 0 0 0 19 0 4 0 650727227 52465664 352 33554432000 4194304 4650419 140733850447024 18446744073709551615 47835183237042 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 12809 352 303 112 0 7774 0
[pid=7172/tid=7173] ppid=7170 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 650727227 52465664 352 33554432000 4194304 4650419 140733850447024 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 650727227 52465664 352 33554432000 4194304 4650419 140733850447024 18446744073709551615 47835183237042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 650727227 52465664 352 33554432000 4194304 4650419 140733850447024 18446744073709551615 47835183237042 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0224759 s]
/proc/loadavg: 8.08 8.04 7.43 5/241 7172
/proc/meminfo: memFree=18196088/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=282892 CPUtime=0.06 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 2498 0 0 0 6 0 0 0 20 0 4 0 650727227 289681408 2404 33554432000 4194304 4650419 140733850447024 18446744073709551615 4369071 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 70723 2406 371 112 0 65688 0
[pid=7172/tid=7173] ppid=7170 vsize=282892 CPUtime=0.01 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 531 0 0 0 1 0 0 0 21 0 4 0 650727227 289681408 2407 33554432000 4194304 4650419 140733850447024 18446744073709551615 222921435573 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=282892 CPUtime=0.01 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 520 0 0 0 1 0 0 0 21 0 4 0 650727227 289681408 2408 33554432000 4194304 4650419 140733850447024 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=282892 CPUtime=0.01 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 484 0 0 0 1 0 0 0 21 0 4 0 650727227 289681408 2409 33554432000 4194304 4650419 140733850447024 18446744073709551615 4333639 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282892

[startup+0.100463 s]
/proc/loadavg: 8.08 8.04 7.43 5/241 7172
/proc/meminfo: memFree=18196088/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=283024 CPUtime=0.37 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 4236 0 0 0 37 0 0 0 20 0 4 0 650727227 289816576 4142 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364841 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 70756 4142 390 112 0 65721 0
[pid=7172/tid=7173] ppid=7170 vsize=283024 CPUtime=0.08 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1041 0 0 0 8 0 0 0 21 0 4 0 650727227 289816576 4142 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=283024 CPUtime=0.09 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1046 0 0 0 9 0 0 0 21 0 4 0 650727227 289816576 4142 33554432000 4194304 4650419 140733850447024 18446744073709551615 4328199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=283024 CPUtime=0.09 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 659 0 0 0 9 0 0 0 21 0 4 0 650727227 289816576 4142 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283024

[startup+0.300428 s]
/proc/loadavg: 8.08 8.04 7.43 5/241 7172
/proc/meminfo: memFree=18196088/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=285348 CPUtime=1.17 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 5599 0 0 0 116 1 0 0 20 0 4 0 650727227 292196352 4677 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364796 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 71337 4677 392 112 0 66302 0
[pid=7172/tid=7173] ppid=7170 vsize=285348 CPUtime=0.28 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1374 0 0 0 28 0 0 0 21 0 4 0 650727227 292196352 4677 33554432000 4194304 4650419 140733850447024 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=285348 CPUtime=0.29 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1386 0 0 0 29 0 0 0 21 0 4 0 650727227 292196352 4678 33554432000 4194304 4650419 140733850447024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=285348 CPUtime=0.29 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1021 0 0 0 29 0 0 0 21 0 4 0 650727227 292196352 4678 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285348

[startup+0.700352 s]
/proc/loadavg: 8.08 8.04 7.43 5/241 7172
/proc/meminfo: memFree=18196088/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=286220 CPUtime=2.77 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 7440 0 0 0 276 1 0 0 21 0 4 0 650727227 293089280 5402 33554432000 4194304 4650419 140733850447024 18446744073709551615 4363354 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 71555 5402 392 112 0 66520 0
[pid=7172/tid=7173] ppid=7170 vsize=286220 CPUtime=0.68 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1786 0 0 0 68 0 0 0 22 0 4 0 650727227 293089280 5402 33554432000 4194304 4650419 140733850447024 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=286220 CPUtime=0.68 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1837 0 0 0 68 0 0 0 22 0 4 0 650727227 293089280 5402 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=286220 CPUtime=0.69 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 1585 0 0 0 69 0 0 0 22 0 4 0 650727227 293089280 5402 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286220

[startup+1.50021 s]
/proc/loadavg: 8.07 8.04 7.44 9/245 7176
/proc/meminfo: memFree=18170264/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=287384 CPUtime=5.97 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 10976 0 0 0 595 2 0 0 23 0 4 0 650727227 294281216 6027 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 71846 6027 393 112 0 66811 0
[pid=7172/tid=7173] ppid=7170 vsize=287384 CPUtime=1.47 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 2593 0 0 0 147 0 0 0 25 0 4 0 650727227 294281216 6027 33554432000 4194304 4650419 140733850447024 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=287384 CPUtime=1.48 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 2754 0 0 0 148 0 0 0 25 0 4 0 650727227 294281216 6027 33554432000 4194304 4650419 140733850447024 18446744073709551615 4310903 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=287384 CPUtime=1.49 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 2576 0 0 0 149 0 0 0 25 0 4 0 650727227 294281216 6027 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287384

[startup+3.10092 s]
/proc/loadavg: 8.07 8.04 7.44 9/245 7176
/proc/meminfo: memFree=18156148/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=297332 CPUtime=12.36 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 20387 0 0 0 1233 3 0 0 25 0 4 0 650727227 304467968 13320 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 74333 13320 394 112 0 69298 0
[pid=7172/tid=7173] ppid=7170 vsize=297332 CPUtime=3.07 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 4229 0 0 0 307 0 0 0 25 0 4 0 650727227 304467968 13320 33554432000 4194304 4650419 140733850447024 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=297332 CPUtime=3.08 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 5401 0 0 0 307 1 0 0 25 0 4 0 650727227 304467968 13320 33554432000 4194304 4650419 140733850447024 18446744073709551615 4435902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=297332 CPUtime=3.08 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 6163 0 0 0 308 0 0 0 25 0 4 0 650727227 304467968 13320 33554432000 4194304 4650419 140733850447024 18446744073709551615 4436444 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 297332

[startup+6.30033 s]
/proc/loadavg: 8.07 8.04 7.44 9/245 7176
/proc/meminfo: memFree=18124280/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=280752 CPUtime=25.13 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 26430 0 0 0 2508 5 0 0 25 0 4 0 650727227 287490048 15050 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 70188 15050 394 112 0 65153 0
[pid=7172/tid=7173] ppid=7170 vsize=280752 CPUtime=6.25 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 6512 0 0 0 624 1 0 0 25 0 4 0 650727227 287490048 15050 33554432000 4194304 4650419 140733850447024 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=280752 CPUtime=6.28 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 6496 0 0 0 627 1 0 0 25 0 4 0 650727227 287490048 15050 33554432000 4194304 4650419 140733850447024 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=280752 CPUtime=6.28 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 7413 0 0 0 628 0 0 0 25 0 4 0 650727227 287490048 15050 33554432000 4194304 4650419 140733850447024 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 280752

[startup+12.7012 s]
/proc/loadavg: 8.06 8.04 7.44 9/245 7176
/proc/meminfo: memFree=18089860/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=281228 CPUtime=50.68 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 35328 0 0 0 5061 7 0 0 25 0 4 0 650727227 287977472 18429 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 70307 18429 394 112 0 65272 0
[pid=7172/tid=7173] ppid=7170 vsize=281228 CPUtime=12.59 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 8499 0 0 0 1258 1 0 0 25 0 4 0 650727227 287977472 18429 33554432000 4194304 4650419 140733850447024 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=281228 CPUtime=12.68 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 8511 0 0 0 1266 2 0 0 25 0 4 0 650727227 287977472 18429 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=281228 CPUtime=12.69 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 10614 0 0 0 1267 2 0 0 25 0 4 0 650727227 287977472 18429 33554432000 4194304 4650419 140733850447024 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 281228

[startup+25.5008 s]
/proc/loadavg: 8.05 8.04 7.45 9/245 7176
/proc/meminfo: memFree=18087888/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=281440 CPUtime=101.78 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 56598 0 0 0 10167 11 0 0 25 0 4 0 650727227 288194560 26625 33554432000 4194304 4650419 140733850447024 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 70360 26625 394 112 0 65325 0
[pid=7172/tid=7173] ppid=7170 vsize=281440 CPUtime=25.3 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 13202 0 0 0 2527 3 0 0 25 0 4 0 650727227 288194560 26625 33554432000 4194304 4650419 140733850447024 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=281440 CPUtime=25.48 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 13680 0 0 0 2546 2 0 0 25 0 4 0 650727227 288194560 26625 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=281440 CPUtime=25.49 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 18184 0 0 0 2546 3 0 0 25 0 4 0 650727227 288194560 26625 33554432000 4194304 4650419 140733850447024 18446744073709551615 4436220 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 281440

Solver just ended. Dumping a history of the last processes samples

[startup+31.9086 s]
/proc/loadavg: 8.12 8.05 7.46 9/245 7176
/proc/meminfo: memFree=18083904/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=302236 CPUtime=127.37 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 66672 0 0 0 12723 14 0 0 25 0 4 0 650727227 309489664 23992 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 75559 23992 394 112 0 70524 0
[pid=7172/tid=7173] ppid=7170 vsize=302236 CPUtime=31.66 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 16061 0 0 0 3162 4 0 0 25 0 4 0 650727227 309489664 23992 33554432000 4194304 4650419 140733850447024 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=302236 CPUtime=31.89 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 16958 0 0 0 3185 4 0 0 25 0 4 0 650727227 309489664 23992 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=302236 CPUtime=31.9 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 20566 0 0 0 3187 3 0 0 25 0 4 0 650727227 309489664 23992 33554432000 4194304 4650419 140733850447024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 127.37
Current children cumulated vsize (KiB) 302236

[startup+35.1011 s]
/proc/loadavg: 8.12 8.05 7.46 9/245 7177
/proc/meminfo: memFree=18060472/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=292660 CPUtime=140.14 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 72415 0 0 0 13999 15 0 0 25 0 4 0 650727227 299683840 24606 33554432000 4194304 4650419 140733850447024 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 73165 24606 394 112 0 68130 0
[pid=7172/tid=7173] ppid=7170 vsize=292660 CPUtime=34.83 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 17702 0 0 0 3479 4 0 0 25 0 4 0 650727227 299683840 24608 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=292660 CPUtime=35.09 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 18783 0 0 0 3505 4 0 0 25 0 4 0 650727227 299683840 24608 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=292660 CPUtime=35.09 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 21867 0 0 0 3506 3 0 0 25 0 4 0 650727227 299683840 24608 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 140.14
Current children cumulated vsize (KiB) 292660

[startup+36.7008 s]
/proc/loadavg: 8.11 8.05 7.46 9/245 7177
/proc/meminfo: memFree=18054476/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=292688 CPUtime=146.51 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 75581 0 0 0 14635 16 0 0 25 0 4 0 650727227 299712512 25466 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 73172 25466 394 112 0 68137 0
[pid=7172/tid=7173] ppid=7170 vsize=292688 CPUtime=36.42 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 18176 0 0 0 3638 4 0 0 25 0 4 0 650727227 299712512 25466 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=292688 CPUtime=36.68 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 19728 0 0 0 3664 4 0 0 25 0 4 0 650727227 299712512 25466 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=292688 CPUtime=36.69 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 22710 0 0 0 3666 3 0 0 25 0 4 0 650727227 299712512 25466 33554432000 4194304 4650419 140733850447024 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 146.51
Current children cumulated vsize (KiB) 292688

[startup+37.5006 s]
/proc/loadavg: 8.11 8.05 7.46 9/245 7177
/proc/meminfo: memFree=18049640/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=292756 CPUtime=149.7 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 77139 0 0 0 14954 16 0 0 25 0 4 0 650727227 299782144 25829 33554432000 4194304 4650419 140733850447024 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 73189 25837 394 112 0 68154 0
[pid=7172/tid=7173] ppid=7170 vsize=292756 CPUtime=37.21 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 18795 0 0 0 3717 4 0 0 25 0 4 0 650727227 299782144 25841 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=292756 CPUtime=37.48 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 20005 0 0 0 3744 4 0 0 25 0 4 0 650727227 299782144 25846 33554432000 4194304 4650419 140733850447024 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=292756 CPUtime=37.49 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 22949 0 0 0 3746 3 0 0 25 0 4 0 650727227 299782144 25850 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 149.7
Current children cumulated vsize (KiB) 292756

[startup+38.3005 s]
/proc/loadavg: 8.11 8.05 7.46 9/245 7177
/proc/meminfo: memFree=18049640/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=292756 CPUtime=152.89 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 78347 0 0 0 15273 16 0 0 25 0 4 0 650727227 299782144 26991 33554432000 4194304 4650419 140733850447024 18446744073709551615 4315074 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 73189 26991 394 112 0 68154 0
[pid=7172/tid=7173] ppid=7170 vsize=292756 CPUtime=38.01 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 19061 0 0 0 3797 4 0 0 25 0 4 0 650727227 299782144 26991 33554432000 4194304 4650419 140733850447024 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=292756 CPUtime=38.28 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 20247 0 0 0 3824 4 0 0 25 0 4 0 650727227 299782144 26991 33554432000 4194304 4650419 140733850447024 18446744073709551615 4336319 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=292756 CPUtime=38.29 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 23166 0 0 0 3826 3 0 0 25 0 4 0 650727227 299782144 26991 33554432000 4194304 4650419 140733850447024 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 152.89
Current children cumulated vsize (KiB) 292756

[startup+38.7004 s]
/proc/loadavg: 8.11 8.05 7.46 9/245 7177
/proc/meminfo: memFree=18043936/32951124 swapFree=66522240/67111528
[pid=7172] ppid=7170 vsize=292756 CPUtime=154.48 cores=1,3,5,7
/proc/7172/stat : 7172 (strangenight1-m) R 7170 7172 6866 0 -1 4202496 78766 0 0 0 15432 16 0 0 25 0 4 0 650727227 299782144 27410 33554432000 4194304 4650419 140733850447024 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7172/statm: 73189 27410 394 112 0 68154 0
[pid=7172/tid=7173] ppid=7170 vsize=292756 CPUtime=38.4 cores=1,3,5,7
/proc/7172/task/7173/stat : 7173 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 19178 0 0 0 3836 4 0 0 25 0 4 0 650727227 299782144 27410 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7172/tid=7174] ppid=7170 vsize=292756 CPUtime=38.68 cores=1,3,5,7
/proc/7172/task/7174/stat : 7174 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 20350 0 0 0 3864 4 0 0 25 0 4 0 650727227 299782144 27410 33554432000 4194304 4650419 140733850447024 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7172/tid=7175] ppid=7170 vsize=292756 CPUtime=38.69 cores=1,3,5,7
/proc/7172/task/7175/stat : 7175 (strangenight1-m) R 7170 7172 6866 0 -1 4202560 23259 0 0 0 3866 3 0 0 25 0 4 0 650727227 299782144 27410 33554432000 4194304 4650419 140733850447024 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 154.48
Current children cumulated vsize (KiB) 292756

Child status: 10
Real time (s): 38.7782
CPU time (s): 154.791
CPU user time (s): 154.614
CPU system time (s): 0.176973
CPU usage (%): 399.171
Max. virtual memory (cumulated for all children) (KiB): 302268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.614
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79220
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= 723
involuntary context switches= 1141

runsolver used 0.078987 second user time and 0.216967 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-14 18:41:05
IDJOB=3369268
IDBENCH=71307
IDSOLVER=1846
FILE ID=node109/3369268-1305391265
RUNJOBID= node109-1305389290-6885
PBS_JOBID= 13324441
Free space on /tmp= 73220 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g7.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369268-1305391265/watcher-3369268-1305391265 -o /tmp/evaluation-result-3369268-1305391265/solver-3369268-1305391265 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369268-1305391265.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 57c91698da60cd77ab278c961fa35654
RANDOM SEED=989464562

node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18196492 kB
Buffers:        274640 kB
Cached:        2943132 kB
SwapCached:      19100 kB
Active:        6818056 kB
Inactive:      7706560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18196492 kB
SwapTotal:    67111528 kB
SwapFree:     66522240 kB
Dirty:            6636 kB
Writeback:           0 kB
AnonPages:    11294048 kB
Mapped:          18716 kB
Slab:           136724 kB
PageTables:      31384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18400840 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73212 MiB
End job on node109 at 2011-05-14 18:41:44