Trace number 3175282

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? (TO) 4800.39 1201.93

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
MD5SUMd71042a4f58355ef8c71c53ec29199cb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1231.65
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3175282-1304106650.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:     229 undec:      56 neg:     215
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       480      2104         0         0      6418         0   no data   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4915       480      2104         0      4831      6418    110299   no data   no data  --
3.18/0.80	c  N st    10     11299       480      2104         0      4490      6418     76097   no data   no data  --
3.18/0.80	c  N st    11     17043       480      2104         0     10126      6418    217819   no data   no data  --
3.99/1.10	c  F st    12     25001       480      2104         0     12370      6418    254069   no data   no data  --
3.99/1.10	c  N st    12     25001       480      2104         0     12370      6418    254069   no data   no data  --
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30000       480      2104         0     10653      6418    203729   no data   no data  --
5.17/1.30	c  S st    18     30000       480      2104         0     10653      6418    203729   no data   no data  --
5.56/1.40	c  S st    18     30504       480      2104         0     11156      6418    214699   no data   no data  --
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.55	c lits-rem:       256  cl-subs:      705  v-elim:      0  v-fix:    0  time:  0.85 s
5.96/1.56	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.03
5.96/1.56	c calculated reachability. Time: 0.00
5.96/1.56	c  N st    18     30504       480      2104         0     10451      6418    196034   no data   no data  --
7.57/1.99	c  N st    20     37614       480      2104         0      9674      6418    157624   no data   no data  --
9.16/2.35	c  N st    21     44016       480      2104         0     15904      6418    305400   no data   no data  --
9.56/2.48	c  S st    22     45756       480      2104         0      8891      6418    126199   no data   no data  --
9.96/2.51	c  S st    22     46263       480      2104         0      9398      6418    137035   no data   no data  --
9.96/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.96/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
9.96/2.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.59	c lits-rem:        40  cl-subs:       63  v-elim:      0  v-fix:    0  time:  0.31 s
9.96/2.60	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
10.36/2.60	c vivif2 --  cl tried     9335 cl shrink        0 lits rem          0 time: 0.01
10.36/2.60	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.02
10.36/2.60	c calculated reachability. Time: 0.00
10.36/2.60	c  N st    22     46263       480      2104         0      9335      6418    135526   no data   no data  --
13.55/3.47	c  N st    23     60660       480      2104         0     13709      6418    228740   no data   no data  --
15.96/4.05	c  N st    24     69395       480      2104         0     11497      6418    170776   no data   no data  --
15.96/4.05	c  S st    24     69395       480      2104         0     11497      6418    170776   no data   no data  --
15.96/4.08	c  S st    24     69898       480      2104         0     11997      6418    182246   no data   no data  --
15.96/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.96/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
15.96/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.27	c lits-rem:        69  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.71 s
16.76/4.27	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
16.76/4.27	c vivif2 --  cl tried    11884 cl shrink        0 lits rem          0 time: 0.01
16.76/4.28	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.04
16.76/4.28	c calculated reachability. Time: 0.00
16.76/4.28	c  N st    24     69898       480      2104         0     11884      6418    179365   no data   no data  --
21.96/5.57	c  F st    25     87502       480      2104         0     17348      6418    301975   no data   no data  --
21.96/5.57	c  N st    25     87502       480      2104         0     17348      6418    301975   no data   no data  --
23.55/5.95	c Decided on static restart strategy
24.35/6.17	c  N st    32     95540       480      2104         0     25229      6418    492613   no data   no data  --
27.13/6.84	c  N st    34    104847       480      2104         0     21623      6418    392026   no data   no data  --
27.13/6.84	c  S st    34    104847       480      2104         0     21623      6418    392026   no data   no data  --
27.53/6.91	c  S st    34    105356       480      2104         0     22132      6418    404084   no data   no data  --
27.53/6.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.53/6.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
27.53/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
27.53/6.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.13/7.83	c lits-rem:       214  cl-subs:      818  v-elim:      0  v-fix:    0  time:  3.61 s
31.13/7.83	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
31.13/7.84	c vivif2 --  cl tried    21314 cl shrink        0 lits rem          0 time: 0.02
31.13/7.85	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.07
31.13/7.85	c calculated reachability. Time: 0.00
31.13/7.85	c  N st    34    105356       480      2104         0     21314      6418    380825   no data   no data  --
33.93/8.57	c  N st    35    114955       480      2104         0     17054      6418    257702   no data   no data  --
38.73/9.72	c  N st    36    129353       480      2104         0     16397      6418    227196   no data   no data  --
45.92/11.57	c  N st    37    150949       480      2104         0     21882      6418    353088   no data   no data  --
48.71/12.21	c  S st    38    158034       480      2104         0     28822      6418    532909   no data   no data  --
48.71/12.28	c  S st    38    158539       480      2104         0     29327      6418    544467   no data   no data  --
48.71/12.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.71/12.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.71/12.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
49.10/12.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.10/12.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.10/12.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
49.10/12.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.50/13.93	c lits-rem:       447  cl-subs:     1325  v-elim:      0  v-fix:    0  time:  6.48 s
55.50/13.93	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
55.50/13.93	c vivif2 --  cl tried    28002 cl shrink        0 lits rem          0 time: 0.02
55.50/13.95	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.09
55.50/13.96	c calculated reachability. Time: 0.00
55.50/13.96	c  N st    38    158539       480      2104         0     28002      6418    508353   no data   no data  --
73.88/18.51	c  N st    39    207128       480      2104         0     22718      6418    308526   no data   no data  --
86.26/21.63	c  N st    40    237811       480      2104         0     33040      6418    507895   no data   no data  --
86.26/21.63	c  S st    40    237811       480      2104         0     33040      6418    507895   no data   no data  --
86.66/21.72	c  S st    40    238317       480      2104         0     33543      6418    519533   no data   no data  --
86.66/21.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.66/21.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.66/21.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
86.66/21.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.66/21.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.66/21.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
86.66/21.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.45/23.43	c lits-rem:       660  cl-subs:     2800  v-elim:      0  v-fix:    0  time:  6.70 s
93.45/23.43	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
93.45/23.44	c vivif2 --  cl tried    30743 cl shrink        0 lits rem          0 time: 0.02
93.45/23.46	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.09
93.45/23.46	c calculated reachability. Time: 0.00
93.45/23.46	c  N st    40    238317       480      2104         0     30743      6418    465727   no data   no data  --
122.62/30.79	c  F st    41    306251       480      2104         0     32624      6418    500379   no data   no data  --
122.62/30.79	c  N st    41    306251       480      2104         0     32624      6418    500379   no data   no data  --
125.00/31.38	c Decided on static restart strategy
135.81/34.01	c  N st    51    334557       480      2104         0     37027      6418    602714   no data   no data  --
146.17/36.62	c  N st    53    357475       480      2104         0     34965      6418    530114   no data   no data  --
146.17/36.62	c  S st    53    357475       480      2104         0     34965      6418    530114   no data   no data  --
146.57/36.71	c  S st    53    357980       480      2104         0     35470      6418    542731   no data   no data  --
146.57/36.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
146.57/36.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
146.57/36.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
146.57/36.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.57/36.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.57/36.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
146.57/36.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.97/38.33	c lits-rem:       424  cl-subs:      924  v-elim:      0  v-fix:    0  time:  6.35 s
152.97/38.33	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
152.97/38.34	c vivif2 --  cl tried    34546 cl shrink        0 lits rem          0 time: 0.02
152.97/38.37	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.12
152.97/38.37	c calculated reachability. Time: 0.00
152.97/38.37	c  N st    53    357980       480      2104         0     34546      6418    517642   no data   no data  --
169.35/42.45	c  N st    54    390372       480      2104         0     40717      6418    653543   no data   no data  --
198.11/49.68	c  N st    55    438960       480      2104         0     34525      6418    457806   no data   no data  --
240.86/60.37	c  N st    56    511842       480      2104         0     48341      6418    804429   no data   no data  --
255.23/63.93	c  N st    57    536971       480      2104         0     42571      6418    624417   no data   no data  --
255.23/63.93	c  S st    57    536971       480      2104         0     42571      6418    624417   no data   no data  --
255.63/64.04	c  S st    57    537477       480      2104         0     43077      6418    636698   no data   no data  --
255.63/64.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
255.63/64.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.63/64.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
255.63/64.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.63/64.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.63/64.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
255.63/64.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
263.24/65.90	c lits-rem:      1136  cl-subs:      904  v-elim:      0  v-fix:    0  time:  7.28 s
263.24/65.90	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
263.24/65.91	c vivif2 --  cl tried    42173 cl shrink        0 lits rem          0 time: 0.03
263.24/65.95	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.16
263.24/65.95	c calculated reachability. Time: 0.00
263.24/65.95	c  N st    57    537477       480      2104         0     42173      6418    615018   no data   no data  --
368.70/92.37	c  N st    58    701461       480      2104         0     36173      6418    374333   no data   no data  --
442.58/110.81	c  N st    59    806216       480      2104         0     64875      6418   1021111   no data   no data  --
442.58/110.81	c  S st    59    806216       480      2104         0     64875      6418   1021111   no data   no data  --
443.39/111.00	c  S st    59    806724       480      2104         0     65382      6418   1033136   no data   no data  --
443.39/111.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
443.39/111.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
443.39/111.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
443.39/111.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
443.39/111.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
443.39/111.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
443.39/111.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
456.58/114.39	c lits-rem:       361  cl-subs:     5187  v-elim:      0  v-fix:    0  time: 13.25 s
456.58/114.39	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
456.58/114.40	c vivif2 --  cl tried    60195 cl shrink        0 lits rem          0 time: 0.04
456.98/114.46	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.24
456.98/114.46	c calculated reachability. Time: 0.00
456.98/114.46	c  N st    59    806724       480      2104         0     60195      6418    923774   no data   no data  --
665.88/166.78	c  F st    60   1071875       480      2104         0     75723      6418   1205332   no data   no data  --
665.88/166.78	c  N st    60   1071875       480      2104         0     75723      6418   1205332   no data   no data  --
671.08/168.10	c Decided on static restart strategy
690.65/172.91	c  N st    70   1100185       480      2104         0     59734      6418    814574   no data   no data  --
722.61/180.95	c  N st    72   1136183       480      2104         0     50185      6418    575384   no data   no data  --
750.17/187.89	c  N st    73   1168576       480      2104         0     81752      6418   1365936   no data   no data  --
784.52/196.44	c  N st    74   1210086       480      2104         0     76602      6418   1229114   no data   no data  --
784.52/196.44	c  S st    74   1210086       480      2104         0     76602      6418   1229114   no data   no data  --
785.32/196.66	c  S st    74   1210588       480      2104         0     77103      6418   1241697   no data   no data  --
785.32/196.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
785.32/196.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
785.72/196.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
785.72/196.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
785.72/196.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.72/196.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
785.72/196.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
797.71/199.75	c lits-rem:       354  cl-subs:     2381  v-elim:      0  v-fix:    0  time: 12.01 s
797.71/199.75	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
797.71/199.77	c vivif2 --  cl tried    74722 cl shrink        0 lits rem          0 time: 0.06
798.11/199.86	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.36
798.11/199.86	c calculated reachability. Time: 0.00
798.11/199.86	c  N st    74   1210588       480      2104         0     74722      6418   1181978   no data   no data  --
870.81/218.06	c  N st    75   1283470       480      2104         0     51176      6418    531805   no data   no data  --
973.07/243.69	c  N st    76   1392795       480      2104         0     59109      6418    688382   no data   no data  --
1133.27/283.80	c  N st    77   1556779       480      2104         0     64001      6418    765632   no data   no data  --
1295.05/324.24	c  N st    78   1710589       480      2104         0    105300      6418   1663610   no data   no data  --
1295.05/324.24	c  S st    78   1710589       480      2104         0    105300      6418   1663610   no data   no data  --
1296.26/324.56	c  S st    78   1711093       480      2104         0    105803      6418   1675154   no data   no data  --
1296.26/324.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1296.26/324.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1296.64/324.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1296.64/324.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1296.64/324.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1296.64/324.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
1296.64/324.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1352.16/338.57	c lits-rem:       593  cl-subs:    11306  v-elim:      0  v-fix:    0  time: 55.51 s
1352.16/338.57	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
1352.16/338.59	c vivif2 --  cl tried    94497 cl shrink        0 lits rem          0 time: 0.08
1352.97/338.72	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.50
1352.97/338.72	c calculated reachability. Time: 0.00
1352.97/338.72	c  N st    78   1711093       480      2104         0     94497      6418   1442195   no data   no data  --
1784.38/446.74	c  N st    79   2080057       480      2104         0    105852      6418   1634766   no data   no data  --
1924.21/481.73	c  N st    80   2211094       480      2104         0    110111      6418   1685338   no data   no data  --
1924.21/481.73	c  S st    80   2211094       480      2104         0    110111      6418   1685338   no data   no data  --
1925.40/482.07	c  S st    80   2211598       480      2104         0    110613      6418   1697235   no data   no data  --
1925.40/482.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1925.40/482.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1925.80/482.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1925.80/482.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1925.80/482.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1925.80/482.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
1925.80/482.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1972.96/493.93	c lits-rem:       693  cl-subs:     9311  v-elim:      0  v-fix:    0  time: 46.89 s
1972.96/493.93	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
1972.96/493.95	c vivif2 --  cl tried   101302 cl shrink        0 lits rem          0 time: 0.08
1973.73/494.10	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.58
1973.73/494.10	c calculated reachability. Time: 0.00
1973.73/494.10	c  N st    80   2211598       480      2104         0    101302      6418   1504451   no data   no data  --
2581.31/646.27	c  N st    81   2711600       480      2104         0    124711      6418   1882739   no data   no data  --
2581.31/646.27	c  S st    81   2711600       480      2104         0    124711      6418   1882739   no data   no data  --
2582.92/646.68	c  S st    81   2712105       480      2104         0    125216      6418   1894399   no data   no data  --
2582.92/646.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2582.92/646.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2583.33/646.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2583.73/646.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2583.73/646.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2583.73/646.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
2583.73/646.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2654.04/664.49	c lits-rem:       597  cl-subs:    12532  v-elim:      0  v-fix:    0  time: 70.62 s
2654.04/664.49	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
2654.42/664.52	c vivif2 --  cl tried   112684 cl shrink        0 lits rem          0 time: 0.09
2654.82/664.69	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.69
2654.82/664.69	c calculated reachability. Time: 0.00
2654.82/664.69	c  N st    81   2712105       480      2104         0    112684      6418   1650198   no data   no data  --
3296.34/825.32	c  N st    82   3212105       480      2104         0     89138      6418    998620   no data   no data  --
3296.34/825.32	c  S st    82   3212105       480      2104         0     89138      6418    998620   no data   no data  --
3297.13/825.58	c  S st    82   3212607       480      2104         0     89638      6418   1011605   no data   no data  --
3297.13/825.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3297.13/825.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3297.52/825.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3297.52/825.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3297.52/825.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3297.52/825.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
3297.52/825.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3307.40/828.15	c lits-rem:       570  cl-subs:     2174  v-elim:      0  v-fix:    0  time:  9.83 s
3307.40/828.15	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
3307.40/828.17	c vivif2 --  cl tried    87464 cl shrink        0 lits rem          0 time: 0.06
3307.81/828.28	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.45
3307.81/828.29	c calculated reachability. Time: 0.00
3307.81/828.29	c  N st    82   3212607       480      2104         0     87464      6418    964966   no data   no data  --
3950.25/989.13	c  N st    83   3712607       480      2104         0     97985      6418   1133117   no data   no data  --
3950.25/989.13	c  S st    83   3712607       480      2104         0     97985      6418   1133117   no data   no data  --
3951.85/989.51	c  S st    83   3713112       480      2104         0     98488      6418   1145184   no data   no data  --
3951.85/989.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3951.85/989.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3951.85/989.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.23
3952.25/989.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3952.25/989.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3952.25/989.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
3952.25/989.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3967.83/993.54	c lits-rem:       189  cl-subs:     3746  v-elim:      0  v-fix:    0  time: 15.66 s
3967.83/993.54	c vivif2 --  cl tried     2104 cl shrink        0 lits rem          0 time: 0.00
3967.83/993.55	c vivif2 --  cl tried    94742 cl shrink        0 lits rem          0 time: 0.07
3968.23/993.69	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.55
3968.63/993.70	c calculated reachability. Time: 0.00
3968.63/993.70	c  N st    83   3713112       480      2104         0     94742      6418   1066714   no data   no data  --
4027.35/1008.45	c  F st    84   3751563       480      2104         0    132133      6418   2007448   no data   no data  --
4027.35/1008.45	c  N st    84   3751563       480      2104         0    132133      6418   2007448   no data   no data  --
4037.35/1010.97	c Decided on static restart strategy
4087.66/1023.52	c  N st    94   3779868       480      2104         0    159715      6418   2680109   no data   no data  --
4144.79/1037.82	c  N st    96   3815861       480      2104         0    112222      6418   1411400   no data   no data  --
4201.11/1051.92	c  N st    97   3848255       480      2104         0    143628      6418   2126589   no data   no data  --
4271.82/1069.64	c  N st    98   3896844       480      2104         0    107532      6418   1311458   no data   no data  --
4384.87/1097.96	c  N st    99   3969727       480      2104         0     94327      6418    997161   no data   no data  --
4549.85/1139.25	c  N st   100   4079050       480      2104         0    114882      6418   1482640   no data   no data  --
4768.76/1194.00	c  N st   101   4213113       480      2104         0    158630      6418   2517379   no data   no data  --
4768.76/1194.00	c  S st   101   4213113       480      2104         0    158630      6418   2517379   no data   no data  --
4770.77/1194.59	c  S st   101   4213619       480      2104         0    159136      6418   2529930   no data   no data  --
4770.77/1194.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4770.77/1194.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4771.18/1194.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.34
4771.55/1194.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4771.55/1194.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4771.55/1194.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    480 time:  0.00 s
4771.55/1194.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3175282-1304106650/watcher-3175282-1304106650 -o /tmp/evaluation-result-3175282-1304106650/solver-3175282-1304106650 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175282-1304106650.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: 7.72 8.02 8.01 5/180 2833
/proc/meminfo: memFree=24045928/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522262694 52465664 352 33554432000 4194304 4650419 140734214228336 18446744073709551615 212687731697 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 12809 352 303 112 0 7774 0
[pid=2833/tid=2834] ppid=2830 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 4 0 522262694 187674624 446 33554432000 4194304 4650419 140734214228336 18446744073709551615 4233488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=314352 CPUtime=0 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) D 2830 2833 2566 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 4 0 522262694 321896448 449 33554432000 4194304 4650419 140734214228336 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=248816 CPUtime=0 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 4 0 522262694 254787584 454 33554432000 4194304 4650419 140734214228336 18446744073709551615 212687675195 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0372511 s]
/proc/loadavg: 7.72 8.02 8.01 5/180 2833
/proc/meminfo: memFree=24045928/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=282080 CPUtime=0.12 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 1402 0 0 0 12 0 0 0 18 0 4 0 522262694 288849920 1251 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 70520 1251 390 112 0 65485 0
[pid=2833/tid=2834] ppid=2830 vsize=282080 CPUtime=0.03 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 283 0 0 0 3 0 0 0 25 0 4 0 522262694 288849920 1252 33554432000 4194304 4650419 140734214228336 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=282080 CPUtime=0.02 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 296 0 0 0 2 0 0 0 25 0 4 0 522262694 288849920 1252 33554432000 4194304 4650419 140734214228336 18446744073709551615 212687780383 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=282080 CPUtime=0.03 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 142 0 0 0 3 0 0 0 25 0 4 0 522262694 288849920 1253 33554432000 4194304 4650419 140734214228336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 282080

[startup+0.106921 s]
/proc/loadavg: 7.72 8.02 8.01 5/180 2833
/proc/meminfo: memFree=24045928/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=282232 CPUtime=0.4 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 1770 0 0 0 40 0 0 0 18 0 4 0 522262694 289005568 1619 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 70558 1619 391 112 0 65523 0
[pid=2833/tid=2834] ppid=2830 vsize=282232 CPUtime=0.1 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 372 0 0 0 10 0 0 0 25 0 4 0 522262694 289005568 1619 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=282232 CPUtime=0.09 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 396 0 0 0 9 0 0 0 25 0 4 0 522262694 289005568 1619 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=282232 CPUtime=0.1 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 234 0 0 0 10 0 0 0 25 0 4 0 522262694 289005568 1619 33554432000 4194304 4650419 140734214228336 18446744073709551615 4334473 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282232

[startup+0.300887 s]
/proc/loadavg: 7.72 8.02 8.01 5/180 2833
/proc/meminfo: memFree=24045928/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=283476 CPUtime=1.17 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 2853 0 0 0 117 0 0 0 18 0 4 0 522262694 290279424 2141 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 70869 2141 393 112 0 65834 0
[pid=2833/tid=2834] ppid=2830 vsize=283476 CPUtime=0.29 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 635 0 0 0 29 0 0 0 25 0 4 0 522262694 290279424 2141 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=283476 CPUtime=0.29 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 685 0 0 0 29 0 0 0 25 0 4 0 522262694 290279424 2141 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=283476 CPUtime=0.29 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 504 0 0 0 29 0 0 0 25 0 4 0 522262694 290279424 2141 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283476

[startup+0.700816 s]
/proc/loadavg: 7.72 8.02 8.01 5/180 2833
/proc/meminfo: memFree=24045928/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=284648 CPUtime=2.77 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 4554 0 0 0 277 0 0 0 18 0 4 0 522262694 291479552 2741 33554432000 4194304 4650419 140734214228336 18446744073709551615 4315464 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 71162 2741 393 112 0 66127 0
[pid=2833/tid=2834] ppid=2830 vsize=284648 CPUtime=0.69 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 1027 0 0 0 69 0 0 0 25 0 4 0 522262694 291479552 2741 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=284648 CPUtime=0.69 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 1103 0 0 0 69 0 0 0 25 0 4 0 522262694 291479552 2741 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=284648 CPUtime=0.69 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 1001 0 0 0 69 0 0 0 25 0 4 0 522262694 291479552 2741 33554432000 4194304 4650419 140734214228336 18446744073709551615 4333843 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284648

[startup+1.50067 s]
/proc/loadavg: 7.72 8.02 8.01 9/184 2837
/proc/meminfo: memFree=24034756/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=285532 CPUtime=5.96 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 8666 0 0 0 595 1 0 0 20 0 4 0 522262694 292384768 4748 33554432000 4194304 4650419 140734214228336 18446744073709551615 4476133 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 71383 4748 395 112 0 66348 0
[pid=2833/tid=2834] ppid=2830 vsize=285532 CPUtime=1.48 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 1785 0 0 0 148 0 0 0 25 0 4 0 522262694 292384768 4748 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=285532 CPUtime=1.48 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 1889 0 0 0 148 0 0 0 25 0 4 0 522262694 292384768 4748 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=285532 CPUtime=1.49 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 1575 0 0 0 149 0 0 0 25 0 4 0 522262694 292384768 4748 33554432000 4194304 4650419 140734214228336 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285532

[startup+3.10038 s]
/proc/loadavg: 7.72 8.02 8.01 9/184 2837
/proc/meminfo: memFree=24021736/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=304168 CPUtime=12.36 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 16806 0 0 0 1233 3 0 0 25 0 4 0 522262694 311468032 9343 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 76042 9343 395 112 0 71007 0
[pid=2833/tid=2834] ppid=2830 vsize=304168 CPUtime=3.07 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 4078 0 0 0 307 0 0 0 25 0 4 0 522262694 311468032 9343 33554432000 4194304 4650419 140734214228336 18446744073709551615 4334889 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=304168 CPUtime=3.09 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 4492 0 0 0 308 1 0 0 25 0 4 0 522262694 311468032 9343 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=304168 CPUtime=3.08 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 3684 0 0 0 308 0 0 0 25 0 4 0 522262694 311468032 9343 33554432000 4194304 4650419 140734214228336 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304168

[startup+6.3008 s]
/proc/loadavg: 7.74 8.02 8.01 9/184 2837
/proc/meminfo: memFree=23995560/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=322640 CPUtime=25.14 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 25018 0 0 0 2509 5 0 0 25 0 4 0 522262694 330383360 12771 33554432000 4194304 4650419 140734214228336 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 80660 12771 395 112 0 75625 0
[pid=2833/tid=2834] ppid=2830 vsize=322640 CPUtime=6.26 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 6818 0 0 0 625 1 0 0 25 0 4 0 522262694 330383360 12771 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=322640 CPUtime=6.28 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 6312 0 0 0 627 1 0 0 25 0 4 0 522262694 330383360 12771 33554432000 4194304 4650419 140734214228336 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=322640 CPUtime=6.28 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 4898 0 0 0 628 0 0 0 25 0 4 0 522262694 330383360 12771 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 322640

[startup+12.7006 s]
/proc/loadavg: 7.76 8.02 8.01 9/184 2837
/proc/meminfo: memFree=23966176/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=323544 CPUtime=50.71 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 39357 0 0 0 5062 9 0 0 25 0 4 0 522262694 331309056 19232 33554432000 4194304 4650419 140734214228336 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 80886 19232 395 112 0 75851 0
[pid=2833/tid=2834] ppid=2830 vsize=323544 CPUtime=12.62 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 10428 0 0 0 1261 1 0 0 25 0 4 0 522262694 331309056 19232 33554432000 4194304 4650419 140734214228336 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=323544 CPUtime=12.69 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 10263 0 0 0 1267 2 0 0 25 0 4 0 522262694 331309056 19232 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=323544 CPUtime=12.69 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 6150 0 0 0 1268 1 0 0 25 0 4 0 522262694 331309056 19232 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 323544

[startup+25.5003 s]
/proc/loadavg: 7.81 8.02 8.01 9/184 2838
/proc/meminfo: memFree=23932744/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=325076 CPUtime=101.84 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 59173 0 0 0 10170 14 0 0 25 0 4 0 522262694 332877824 25383 33554432000 4194304 4650419 140734214228336 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 81269 25383 395 112 0 76234 0
[pid=2833/tid=2834] ppid=2830 vsize=325076 CPUtime=25.35 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 17230 0 0 0 2532 3 0 0 25 0 4 0 522262694 332877824 25383 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=325076 CPUtime=25.48 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 16789 0 0 0 2545 3 0 0 25 0 4 0 522262694 332877824 25383 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=325076 CPUtime=25.49 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 7062 0 0 0 2548 1 0 0 25 0 4 0 522262694 332877824 25383 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 325076

[startup+51.1006 s]
/proc/loadavg: 7.93 8.03 8.01 9/184 2838
/proc/meminfo: memFree=23884560/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=326828 CPUtime=204.11 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 88752 0 0 0 20387 24 0 0 25 0 4 0 522262694 334671872 32200 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 81707 32200 395 112 0 76672 0
[pid=2833/tid=2834] ppid=2830 vsize=326828 CPUtime=50.82 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 27088 0 0 0 5076 6 0 0 25 0 4 0 522262694 334671872 32200 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=326828 CPUtime=51.09 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 26370 0 0 0 5103 6 0 0 25 0 4 0 522262694 334671872 32200 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=326828 CPUtime=51.08 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 8139 0 0 0 5107 1 0 0 25 0 4 0 522262694 334671872 32200 33554432000 4194304 4650419 140734214228336 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 326828

[startup+102.306 s]
/proc/loadavg: 7.86 7.99 8.00 9/184 2879
/proc/meminfo: memFree=24167052/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=329488 CPUtime=408.65 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 132946 0 0 0 40827 38 0 0 25 0 4 0 522262694 337395712 39418 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 82372 39418 395 112 0 77337 0
[pid=2833/tid=2834] ppid=2830 vsize=329488 CPUtime=101.73 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 41385 0 0 0 10164 9 0 0 25 0 4 0 522262694 337395712 39418 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=329488 CPUtime=102.29 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 39558 0 0 0 10218 11 0 0 25 0 4 0 522262694 337395712 39418 33554432000 4194304 4650419 140734214228336 18446744073709551615 4334635 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=329488 CPUtime=102.29 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 10427 0 0 0 10227 2 0 0 25 0 4 0 522262694 337395712 39418 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 329488

[startup+162.3 s]

################
# More data... #
################

[pid=2833] ppid=2830 vsize=470108 CPUtime=2805.42 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 371837 0 0 0 280397 145 0 0 25 0 4 0 522262694 481390592 89972 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 117527 89972 395 112 0 112492 0
[pid=2833/tid=2834] ppid=2830 vsize=470108 CPUtime=698.48 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 119490 0 0 0 69799 49 0 0 25 0 4 0 522262694 481390592 89972 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=470108 CPUtime=702.3 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 100557 0 0 0 70194 36 0 0 25 0 4 0 522262694 481390592 89972 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=470108 CPUtime=702.3 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 22950 0 0 0 70221 9 0 0 25 0 4 0 522262694 481390592 89972 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 470108

[startup+762.307 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 2937
/proc/meminfo: memFree=23588392/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=495364 CPUtime=3045.11 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 386486 0 0 0 304358 153 0 0 25 0 4 0 522262694 507252736 94091 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 123841 94091 395 112 0 118806 0
[pid=2833/tid=2834] ppid=2830 vsize=495364 CPUtime=758.16 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 124804 0 0 0 75764 52 0 0 25 0 4 0 522262694 507252736 94091 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=495364 CPUtime=762.32 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 102950 0 0 0 76194 38 0 0 25 0 4 0 522262694 507252736 94091 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=495364 CPUtime=762.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 25460 0 0 0 76220 11 0 0 25 0 4 0 522262694 507252736 94091 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 495364

[startup+822.301 s]
/proc/loadavg: 8.28 8.11 8.02 10/185 2942
/proc/meminfo: memFree=23537652/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=653156 CPUtime=3284.5 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 407057 0 0 0 328287 163 0 0 25 0 4 0 522262694 668831744 98641 33554432000 4194304 4650419 140734214228336 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 163289 98641 395 112 0 158254 0
[pid=2833/tid=2834] ppid=2830 vsize=653156 CPUtime=817.56 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 133224 0 0 0 81701 55 0 0 25 0 4 0 522262694 668831744 98641 33554432000 4194304 4650419 140734214228336 18446744073709551615 4313339 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=653156 CPUtime=822.31 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 106723 0 0 0 82191 40 0 0 25 0 4 0 522262694 668831744 98641 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=653156 CPUtime=822.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 27602 0 0 0 82219 12 0 0 25 0 4 0 522262694 668831744 98641 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 653156

[startup+882.3 s]
/proc/loadavg: 8.17 8.12 8.02 9/184 2946
/proc/meminfo: memFree=23554640/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=561832 CPUtime=3523.62 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 428743 0 0 0 352185 177 0 0 25 0 4 0 522262694 575315968 94993 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 140458 94993 395 112 0 135423 0
[pid=2833/tid=2834] ppid=2830 vsize=561832 CPUtime=876.95 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 140385 0 0 0 87636 59 0 0 25 0 4 0 522262694 575315968 94993 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=561832 CPUtime=882.31 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 110005 0 0 0 88190 41 0 0 25 0 4 0 522262694 575315968 94993 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=561832 CPUtime=882.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 30950 0 0 0 88216 15 0 0 25 0 4 0 522262694 575315968 94993 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.62
Current children cumulated vsize (KiB) 561832

[startup+942.3 s]
/proc/loadavg: 8.10 8.11 8.02 9/184 2947
/proc/meminfo: memFree=23521148/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=614748 CPUtime=3763.3 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 442421 0 0 0 376144 186 0 0 25 0 4 0 522262694 629501952 99352 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 153687 99352 395 112 0 148652 0
[pid=2833/tid=2834] ppid=2830 vsize=614748 CPUtime=936.62 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 142292 0 0 0 93602 60 0 0 25 0 4 0 522262694 629501952 99352 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=614748 CPUtime=942.31 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 114805 0 0 0 94187 44 0 0 25 0 4 0 522262694 629501952 99352 33554432000 4194304 4650419 140734214228336 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=614748 CPUtime=942.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 31078 0 0 0 94216 15 0 0 25 0 4 0 522262694 629501952 99352 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.3
Current children cumulated vsize (KiB) 614748

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 8.03 9/184 2949
/proc/meminfo: memFree=23532420/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=549728 CPUtime=4002.97 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 452128 0 0 0 400106 191 0 0 25 0 4 0 522262694 562921472 96309 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 137432 96309 395 112 0 132397 0
[pid=2833/tid=2834] ppid=2830 vsize=549728 CPUtime=996.3 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 144513 0 0 0 99569 61 0 0 25 0 4 0 522262694 562921472 96309 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=549728 CPUtime=1002.32 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 115991 0 0 0 100186 46 0 0 25 0 4 0 522262694 562921472 96309 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=549728 CPUtime=1002.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 31299 0 0 0 100216 15 0 0 25 0 4 0 522262694 562921472 96309 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 549728

[startup+1062.3 s]
/proc/loadavg: 8.08 8.11 8.03 9/184 2950
/proc/meminfo: memFree=23491612/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=562780 CPUtime=4242.66 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 466792 0 0 0 424065 201 0 0 25 0 4 0 522262694 576286720 98110 33554432000 4194304 4650419 140734214228336 18446744073709551615 4313370 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 140695 98110 395 112 0 135660 0
[pid=2833/tid=2834] ppid=2830 vsize=562780 CPUtime=1055.97 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 149981 0 0 0 105534 63 0 0 25 0 4 0 522262694 576286720 98110 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=562780 CPUtime=1062.32 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 120565 0 0 0 106183 49 0 0 25 0 4 0 522262694 576286720 98110 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=562780 CPUtime=1062.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 31491 0 0 0 106216 15 0 0 25 0 4 0 522262694 576286720 98110 33554432000 4194304 4650419 140734214228336 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.66
Current children cumulated vsize (KiB) 562780

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 8.03 9/184 2952
/proc/meminfo: memFree=23452024/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=563024 CPUtime=4482.33 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 482726 0 0 0 448020 213 0 0 25 0 4 0 522262694 576536576 97724 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 140756 97724 395 112 0 135721 0
[pid=2833/tid=2834] ppid=2830 vsize=563024 CPUtime=1115.64 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 156018 0 0 0 111496 68 0 0 25 0 4 0 522262694 576536576 97724 33554432000 4194304 4650419 140734214228336 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=563024 CPUtime=1122.32 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 124061 0 0 0 112181 51 0 0 25 0 4 0 522262694 576536576 97724 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=563024 CPUtime=1122.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 31491 0 0 0 112216 15 0 0 25 0 4 0 522262694 576536576 97724 33554432000 4194304 4650419 140734214228336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.33
Current children cumulated vsize (KiB) 563024

[startup+1182.3 s]
/proc/loadavg: 8.05 8.09 8.03 9/184 2954
/proc/meminfo: memFree=23433428/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=636792 CPUtime=4722.02 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 499933 0 0 0 471980 222 0 0 25 0 4 0 522262694 652075008 104599 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 159198 104599 395 112 0 154163 0
[pid=2833/tid=2834] ppid=2830 vsize=636792 CPUtime=1175.32 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 160997 0 0 0 117461 71 0 0 25 0 4 0 522262694 652075008 104599 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=636792 CPUtime=1182.32 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 128525 0 0 0 118179 53 0 0 25 0 4 0 522262694 652075008 104599 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=636792 CPUtime=1182.31 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 33182 0 0 0 118215 16 0 0 25 0 4 0 522262694 652075008 104599 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.02
Current children cumulated vsize (KiB) 636792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.04 8.08 8.03 9/184 2954
/proc/meminfo: memFree=23407012/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=635700 CPUtime=4800.33 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 507408 0 0 0 479808 225 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 158925 108551 395 112 0 153890 0
[pid=2833/tid=2834] ppid=2830 vsize=635700 CPUtime=1194.81 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 161848 0 0 0 119409 72 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=635700 CPUtime=1201.92 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 129602 0 0 0 120139 53 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=635700 CPUtime=1201.92 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 34888 0 0 0 120175 17 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 635700

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1201.9 s]
/proc/loadavg: 8.04 8.08 8.03 9/184 2954
/proc/meminfo: memFree=23407012/32951124 swapFree=67111524/67111528
[pid=2833] ppid=2830 vsize=635700 CPUtime=4800.33 cores=1,3,5,7
/proc/2833/stat : 2833 (strangenight1-m) R 2830 2833 2566 0 -1 4202496 507408 0 0 0 479808 225 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2833/statm: 158925 108551 395 112 0 153890 0
[pid=2833/tid=2834] ppid=2830 vsize=635700 CPUtime=1194.81 cores=1,3,5,7
/proc/2833/task/2834/stat : 2834 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 161848 0 0 0 119409 72 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2833/tid=2835] ppid=2830 vsize=635700 CPUtime=1201.92 cores=1,3,5,7
/proc/2833/task/2835/stat : 2835 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 129602 0 0 0 120139 53 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=635700 CPUtime=1201.92 cores=1,3,5,7
/proc/2833/task/2836/stat : 2836 (strangenight1-m) R 2830 2833 2566 0 -1 4202560 34888 0 0 0 120175 17 0 0 25 0 4 0 522262694 650956800 108551 33554432000 4194304 4650419 140734214228336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 635700

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.39
CPU user time (s): 4798.11
CPU system time (s): 2.27565
CPU usage (%): 399.389
Max. virtual memory (cumulated for all children) (KiB): 701480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.11
system time used= 2.27565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507408
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= 188
involuntary context switches= 32115

runsolver used 1.9567 second user time and 4.6153 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 21:50:50
IDJOB=3175282
IDBENCH=82900
IDSOLVER=1588
FILE ID=node139/3175282-1304106650
RUNJOBID= node139-1304104242-2585
PBS_JOBID= 13170647
Free space on /tmp= 72548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175282-1304106650/watcher-3175282-1304106650 -o /tmp/evaluation-result-3175282-1304106650/solver-3175282-1304106650 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175282-1304106650.cnf

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

MD5SUM BENCH= d71042a4f58355ef8c71c53ec29199cb
RANDOM SEED=1721640815

node139.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.852
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.70
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.852
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.852
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.852
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.852
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	: 5321.49
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.852
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.852
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.852
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:      24046208 kB
Buffers:       2046684 kB
Cached:        5931380 kB
SwapCached:          4 kB
Active:        1280916 kB
Inactive:      7105148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24046208 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:      407464 kB
Mapped:          15528 kB
Slab:           453740 kB
PageTables:       5560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   646064 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= 72540 MiB
End job on node139 at 2011-04-29 22:10:54