Trace number 3369061

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)? (TO) 4800.23 1203.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf
MD5SUM7ba801e5e19de5d13bce0ebc43b52968
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012998
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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-3369061-1305411141.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1917/1917 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:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.37/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.10	c calculated reachability. Time: 0.00
0.37/0.10	c Calc default polars -  time:   0.00 s pos:     219 undec:      33 neg:     198
0.37/0.10	c =========================================================================================
0.37/0.10	c types(t): F = full restart, N = normal restart
0.37/0.10	c types(t): S = simplification begin/end, E = solution found
0.37/0.10	c restart types(rt): st = static, dy = dynamic
0.37/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.10	c  B st     0         0       435      1891         0         0      5763         0   no data   no data  --
0.37/0.10	c Decided on static restart strategy
0.76/0.20	c  N st     8      4919       435      1891         0      4823      5763    104242   no data   no data  --
1.16/0.38	c  N st    10     11304       435      1891         0      4469      5763     68793   no data   no data  --
2.36/0.62	c  N st    11     17047       435      1891         0     10073      5763    190870   no data   no data  --
3.56/1.01	c  F st    12     25001       435      1891         0     12349      5763    242212   no data   no data  --
3.98/1.01	c  N st    12     25001       435      1891         0     12349      5763    242212   no data   no data  --
4.76/1.24	c Decided on static restart strategy
4.76/1.24	c  N st    18     30000       435      1891         0     10640      5763    184130   no data   no data  --
4.76/1.24	c  S st    18     30000       435      1891         0     10640      5763    184130   no data   no data  --
4.76/1.27	c  S st    18     30503       435      1891         0     11142      5763    195174   no data   no data  --
4.76/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.76/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4.76/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.46	c lits-rem:       151  cl-subs:      571  v-elim:      0  v-fix:    0  time:  0.69 s
5.55/1.47	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.03
5.55/1.47	c calculated reachability. Time: 0.00
5.55/1.47	c  N st    18     30503       435      1891         0     10571      5763    182405   no data   no data  --
7.15/1.88	c  N st    20     37614       435      1891         0      9810      5763    148785   no data   no data  --
8.79/2.25	c  N st    21     44014       435      1891         0     16081      5763    284332   no data   no data  --
9.14/2.36	c  S st    22     45756       435      1891         0      9044      5763    117141   no data   no data  --
9.14/2.39	c  S st    22     46256       435      1891         0      9542      5763    127157   no data   no data  --
9.14/2.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.14/2.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.14/2.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
9.14/2.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.47	c lits-rem:        37  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.28 s
9.54/2.47	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
9.54/2.47	c vivif2 --  cl tried     9467 cl shrink        0 lits rem          0 time: 0.01
9.54/2.47	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.03
9.54/2.47	c calculated reachability. Time: 0.00
9.54/2.47	c  N st    22     46256       435      1891         0      9467      5763    125541   no data   no data  --
13.52/3.44	c  N st    23     60653       435      1891         0     13775      5763    209035   no data   no data  --
15.93/4.08	c  N st    24     69386       435      1891         0     11585      5763    152515   no data   no data  --
15.93/4.08	c  S st    24     69386       435      1891         0     11585      5763    152515   no data   no data  --
16.33/4.11	c  S st    24     69888       435      1891         0     12085      5763    163404   no data   no data  --
16.33/4.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.33/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.33/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
16.33/4.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.73/4.26	c lits-rem:        53  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.59 s
16.73/4.26	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
16.73/4.27	c vivif2 --  cl tried    11938 cl shrink        0 lits rem          0 time: 0.01
16.73/4.27	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.04
16.73/4.27	c calculated reachability. Time: 0.00
16.73/4.27	c  N st    24     69888       435      1891         0     11938      5763    160518   no data   no data  --
21.54/5.45	c  F st    25     87500       435      1891         0     17413      5763    274350   no data   no data  --
21.54/5.45	c  N st    25     87500       435      1891         0     17413      5763    274350   no data   no data  --
23.10/5.83	c Decided on static restart strategy
23.91/6.05	c  N st    32     95538       435      1891         0     25287      5763    442021   no data   no data  --
26.34/6.69	c  N st    34    104832       435      1891         0     21685      5763    348867   no data   no data  --
26.34/6.69	c  S st    34    104832       435      1891         0     21685      5763    348867   no data   no data  --
26.69/6.74	c  S st    34    105335       435      1891         0     22186      5763    359351   no data   no data  --
26.69/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
26.69/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.69/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.69/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.69/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.69/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
26.69/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.89/7.56	c lits-rem:       475  cl-subs:      937  v-elim:      0  v-fix:    0  time:  3.19 s
29.89/7.56	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
29.89/7.56	c vivif2 --  cl tried    21249 cl shrink        0 lits rem          0 time: 0.01
29.89/7.58	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.07
29.89/7.58	c calculated reachability. Time: 0.00
29.89/7.58	c  N st    34    105335       435      1891         0     21249      5763    338508   no data   no data  --
33.48/8.45	c  N st    35    114935       435      1891         0     16949      5763    229782   no data   no data  --
38.67/9.75	c  N st    36    129334       435      1891         0     16385      5763    202872   no data   no data  --
46.23/11.60	c  N st    37    150930       435      1891         0     21842      5763    317057   no data   no data  --
48.62/12.27	c  S st    38    158003       435      1891         0     28766      5763    475672   no data   no data  --
49.02/12.35	c  S st    38    158509       435      1891         0     29272      5763    486992   no data   no data  --
49.02/12.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.02/12.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.02/12.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
49.02/12.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.02/12.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.02/12.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
49.02/12.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
54.61/13.78	c lits-rem:       485  cl-subs:     1278  v-elim:      0  v-fix:    0  time:  5.60 s
54.61/13.78	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
54.61/13.78	c vivif2 --  cl tried    27994 cl shrink        0 lits rem          0 time: 0.02
55.01/13.80	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.08
55.01/13.80	c calculated reachability. Time: 0.00
55.01/13.80	c  N st    38    158509       435      1891         0     27994      5763    457548   no data   no data  --
74.19/18.66	c  N st    39    207097       435      1891         0     22587      5763    298379   no data   no data  --
87.35/21.99	c  N st    40    237764       435      1891         0     32958      5763    500803   no data   no data  --
87.35/21.99	c  S st    40    237764       435      1891         0     32958      5763    500803   no data   no data  --
87.76/22.09	c  S st    40    238268       435      1891         0     33460      5763    511084   no data   no data  --
87.76/22.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.76/22.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
88.11/22.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
88.11/22.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.11/22.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.11/22.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
88.11/22.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
94.90/23.80	c lits-rem:      1133  cl-subs:     2641  v-elim:      0  v-fix:    0  time:  6.70 s
94.90/23.80	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
94.90/23.81	c vivif2 --  cl tried    30819 cl shrink        0 lits rem          0 time: 0.02
94.90/23.83	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.10
94.90/23.83	c calculated reachability. Time: 0.00
94.90/23.83	c  N st    40    238268       435      1891         0     30819      5763    456684   no data   no data  --
125.21/31.41	c  F st    41    306251       435      1891         0     32763      5763    448153   no data   no data  --
125.21/31.41	c  N st    41    306251       435      1891         0     32763      5763    448153   no data   no data  --
127.59/32.05	c Decided on static restart strategy
138.77/34.87	c  N st    51    334552       435      1891         0     37010      5763    525670   no data   no data  --
149.19/37.48	c  N st    53    357402       435      1891         0     34996      5763    501525   no data   no data  --
149.19/37.48	c  S st    53    357402       435      1891         0     34996      5763    501525   no data   no data  --
149.53/37.57	c  S st    53    357907       435      1891         0     35498      5763    512402   no data   no data  --
149.53/37.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
149.53/37.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.53/37.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
149.53/37.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.53/37.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.53/37.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
149.53/37.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.52/39.09	c lits-rem:       488  cl-subs:     1033  v-elim:      0  v-fix:    0  time:  5.96 s
155.52/39.09	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
155.92/39.10	c vivif2 --  cl tried    34465 cl shrink        0 lits rem          0 time: 0.02
155.92/39.13	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.12
155.92/39.13	c calculated reachability. Time: 0.00
155.92/39.13	c  N st    53    357907       435      1891         0     34465      5763    490097   no data   no data  --
170.28/42.71	c  N st    54    390299       435      1891         0     40757      5763    661822   no data   no data  --
197.80/49.67	c  N st    55    438889       435      1891         0     34442      5763    446013   no data   no data  --
235.70/59.14	c  N st    56    511771       435      1891         0     47795      5763    737113   no data   no data  --
250.10/62.79	c  N st    57    536860       435      1891         0     42134      5763    572280   no data   no data  --
250.10/62.79	c  S st    57    536860       435      1891         0     42134      5763    572280   no data   no data  --
250.85/62.90	c  S st    57    537363       435      1891         0     42636      5763    582966   no data   no data  --
250.85/62.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
250.85/62.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.85/62.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
250.85/62.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.85/62.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.85/62.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
250.85/62.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
257.24/64.57	c lits-rem:       529  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  6.51 s
257.24/64.57	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
257.24/64.57	c vivif2 --  cl tried    41519 cl shrink        0 lits rem          0 time: 0.03
257.64/64.61	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.15
257.64/64.61	c calculated reachability. Time: 0.00
257.64/64.61	c  N st    57    537363       435      1891         0     41519      5763    559101   no data   no data  --
355.75/89.28	c  N st    58    701347       435      1891         0     35599      5763    347579   no data   no data  --
435.12/109.12	c  N st    59    806044       435      1891         0     64526      5763    957931   no data   no data  --
435.12/109.12	c  S st    59    806044       435      1891         0     64526      5763    957931   no data   no data  --
435.92/109.32	c  S st    59    806546       435      1891         0     65028      5763    968586   no data   no data  --
435.92/109.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
435.92/109.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
435.92/109.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
435.92/109.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
435.92/109.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
435.92/109.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
435.92/109.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
450.28/112.91	c lits-rem:      2060  cl-subs:     4795  v-elim:      0  v-fix:    0  time: 14.09 s
450.28/112.91	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
450.28/112.93	c vivif2 --  cl tried    60233 cl shrink        0 lits rem          0 time: 0.04
450.68/113.00	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.30
450.68/113.00	c calculated reachability. Time: 0.00
450.68/113.00	c  N st    59    806546       435      1891         0     60233      5763    873489   no data   no data  --
660.06/165.54	c  F st    60   1071877       435      1891         0     75898      5763   1106194   no data   no data  --
660.06/165.54	c  N st    60   1071877       435      1891         0     75898      5763   1106194   no data   no data  --
665.65/166.91	c Decided on static restart strategy
683.61/171.43	c  N st    70   1100178       435      1891         0     59931      5763    772161   no data   no data  --
715.15/179.34	c  N st    72   1136175       435      1891         0     50270      5763    537401   no data   no data  --
743.83/186.56	c  N st    73   1168568       435      1891         0     81751      5763   1239438   no data   no data  --
777.32/194.98	c  N st    74   1209820       435      1891         0     76090      5763   1094572   no data   no data  --
777.32/194.98	c  S st    74   1209820       435      1891         0     76090      5763   1094572   no data   no data  --
778.52/195.27	c  S st    74   1210323       435      1891         0     76593      5763   1105909   no data   no data  --
778.52/195.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
778.52/195.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
778.92/195.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
778.92/195.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
778.92/195.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
778.92/195.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
778.92/195.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
800.05/200.66	c lits-rem:       468  cl-subs:     5992  v-elim:      0  v-fix:    0  time: 21.13 s
800.05/200.66	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
800.05/200.67	c vivif2 --  cl tried    70601 cl shrink        0 lits rem          0 time: 0.06
800.45/200.79	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.46
800.45/200.79	c calculated reachability. Time: 0.00
800.45/200.79	c  N st    74   1210323       435      1891         0     70601      5763    988981   no data   no data  --
871.85/218.64	c  N st    75   1283205       435      1891         0     94926      5763   1552021   no data   no data  --
965.57/242.13	c  N st    76   1392528       435      1891         0     55517      5763    572534   no data   no data  --
1122.75/281.57	c  N st    77   1556512       435      1891         0     60233      5763    649537   no data   no data  --
1275.47/319.84	c  N st    78   1710325       435      1891         0    101628      5763   1564984   no data   no data  --
1275.47/319.84	c  S st    78   1710325       435      1891         0    101628      5763   1564984   no data   no data  --
1276.71/320.15	c  S st    78   1710829       435      1891         0    102131      5763   1576159   no data   no data  --
1276.71/320.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1276.71/320.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1277.05/320.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1277.05/320.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1277.05/320.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1277.05/320.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1277.05/320.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1317.33/330.33	c lits-rem:       697  cl-subs:     7984  v-elim:      0  v-fix:    0  time: 40.14 s
1317.33/330.33	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
1317.33/330.35	c vivif2 --  cl tried    94147 cl shrink        0 lits rem          0 time: 0.08
1317.73/330.48	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.53
1317.73/330.48	c calculated reachability. Time: 0.00
1317.73/330.48	c  N st    78   1710829       435      1891         0     94147      5763   1405812   no data   no data  --
1700.61/426.43	c  N st    79   2079794       435      1891         0    105656      5763   1522470   no data   no data  --
1833.02/459.62	c  N st    80   2210831       435      1891         0    109911      5763   1633674   no data   no data  --
1833.02/459.62	c  S st    80   2210831       435      1891         0    109911      5763   1633674   no data   no data  --
1834.20/459.96	c  S st    80   2211334       435      1891         0    110411      5763   1645271   no data   no data  --
1834.20/459.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1834.20/459.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1834.60/460.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1834.60/460.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1834.60/460.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1834.60/460.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1834.60/460.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1877.32/470.74	c lits-rem:        76  cl-subs:     8668  v-elim:      0  v-fix:    0  time: 42.50 s
1877.32/470.74	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
1877.32/470.76	c vivif2 --  cl tried   101743 cl shrink        0 lits rem          0 time: 0.08
1878.08/470.91	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.60
1878.08/470.92	c calculated reachability. Time: 0.00
1878.08/470.92	c  N st    80   2211334       435      1891         0    101743      5763   1473938   no data   no data  --
2495.46/625.71	c  N st    81   2711335       435      1891         0    125213      5763   1882896   no data   no data  --
2495.46/625.71	c  S st    81   2711335       435      1891         0    125213      5763   1882896   no data   no data  --
2497.05/626.15	c  S st    81   2711836       435      1891         0    125712      5763   1893596   no data   no data  --
2497.05/626.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2497.05/626.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2497.45/626.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2497.45/626.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2497.45/626.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2497.45/626.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
2497.45/626.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2574.85/645.62	c lits-rem:      1212  cl-subs:    14256  v-elim:      0  v-fix:    0  time: 77.08 s
2574.85/645.62	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
2574.85/645.64	c vivif2 --  cl tried   111456 cl shrink        0 lits rem          0 time: 0.09
2575.61/645.81	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.68
2575.61/645.82	c calculated reachability. Time: 0.00
2575.61/645.82	c  N st    81   2711836       435      1891         0    111456      5763   1603058   no data   no data  --
3229.23/809.98	c  N st    82   3211837       435      1891         0     87666      5763    929042   no data   no data  --
3229.23/809.98	c  S st    82   3211837       435      1891         0     87666      5763    929042   no data   no data  --
3230.43/810.26	c  S st    82   3212340       435      1891         0     88169      5763    941111   no data   no data  --
3230.43/810.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3230.43/810.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3230.83/810.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3230.83/810.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3230.83/810.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3230.83/810.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3230.83/810.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3243.18/813.48	c lits-rem:       518  cl-subs:     2359  v-elim:      0  v-fix:    0  time: 12.54 s
3243.18/813.48	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
3243.18/813.49	c vivif2 --  cl tried    85810 cl shrink        0 lits rem          0 time: 0.05
3243.98/813.61	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.46
3243.98/813.61	c calculated reachability. Time: 0.00
3243.98/813.61	c  N st    82   3212340       435      1891         0     85810      5763    897573   no data   no data  --
3938.35/987.79	c  N st    83   3712344       435      1891         0     96654      5763   1067218   no data   no data  --
3938.35/987.79	c  S st    83   3712344       435      1891         0     96654      5763   1067218   no data   no data  --
3939.91/988.12	c  S st    83   3712850       435      1891         0     97158      5763   1078548   no data   no data  --
3939.91/988.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3939.91/988.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3939.91/988.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3940.31/988.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3940.31/988.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3940.31/988.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3940.31/988.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3952.27/991.20	c lits-rem:       316  cl-subs:     3241  v-elim:      0  v-fix:    0  time: 11.94 s
3952.27/991.20	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
3952.27/991.22	c vivif2 --  cl tried    93917 cl shrink        0 lits rem          0 time: 0.06
3952.67/991.35	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.53
3952.67/991.35	c calculated reachability. Time: 0.00
3952.67/991.35	c  N st    83   3712850       435      1891         0     93917      5763   1010215   no data   no data  --
4002.52/1003.85	c  F st    84   3751563       435      1891         0    131383      5763   1917142   no data   no data  --
4002.52/1003.85	c  N st    84   3751563       435      1891         0    131383      5763   1917142   no data   no data  --
4012.09/1006.25	c Decided on static restart strategy
4047.19/1015.07	c  N st    94   3779869       435      1891         0    158859      5763   2560645   no data   no data  --
4093.05/1026.53	c  N st    96   3815862       435      1891         0    111388      5763   1368319   no data   no data  --
4141.31/1038.65	c  N st    97   3848258       435      1891         0    142911      5763   2134993   no data   no data  --
4227.45/1060.30	c  N st    98   3896847       435      1891         0    106626      5763   1246974   no data   no data  --
4339.52/1088.36	c  N st    99   3969729       435      1891         0     92691      5763    919413   no data   no data  --
4518.58/1133.23	c  N st   100   4079053       435      1891         0    113225      5763   1347222   no data   no data  --
4729.15/1186.00	c  N st   101   4212850       435      1891         0    156583      5763   2353544   no data   no data  --
4729.15/1186.00	c  S st   101   4212850       435      1891         0    156583      5763   2353544   no data   no data  --
4731.55/1186.60	c  S st   101   4213353       435      1891         0    157082      5763   2364614   no data   no data  --
4731.55/1186.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4731.55/1186.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4731.55/1186.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4731.95/1186.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4731.95/1186.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4731.95/1186.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4731.95/1186.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: 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-3369061-1305411141/watcher-3369061-1305411141 -o /tmp/evaluation-result-3369061-1305411141/solver-3369061-1305411141 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369061-1305411141.cnf 

running on 4 cores: 0,2,4,6

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.51 7.88 7.51 6/360 19485
/proc/meminfo: memFree=18617316/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=281904 CPUtime=0.01 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 831 0 0 0 1 0 0 0 25 0 4 0 633529969 288669696 759 33554432000 4194304 4650419 140736623817776 18446744073709551615 4369240 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 70476 759 366 112 0 65441 0
[pid=19485/tid=19486] ppid=19483 vsize=282380 CPUtime=0 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 152 0 0 0 0 0 0 0 25 0 4 0 633529969 289157120 962 33554432000 4194304 4650419 140736623817776 18446744073709551615 233509963288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=282380 CPUtime=0 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 137 0 0 0 0 0 0 0 25 0 4 0 633529969 289157120 971 33554432000 4194304 4650419 140736623817776 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=282380 CPUtime=0 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 121 0 0 0 0 0 0 0 25 0 4 0 633529969 289157120 977 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0584689 s]
/proc/loadavg: 7.51 7.88 7.51 6/360 19485
/proc/meminfo: memFree=18617316/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=282540 CPUtime=0.2 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 1392 0 0 0 20 0 0 0 25 0 4 0 633529969 289320960 1281 33554432000 4194304 4650419 140736623817776 18446744073709551615 4314839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 70635 1281 390 112 0 65600 0
[pid=19485/tid=19486] ppid=19483 vsize=282540 CPUtime=0.04 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 233 0 0 0 4 0 0 0 25 0 4 0 633529969 289320960 1281 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=282540 CPUtime=0.04 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 244 0 0 0 4 0 0 0 25 0 4 0 633529969 289320960 1281 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=282540 CPUtime=0.05 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 193 0 0 0 5 0 0 0 25 0 4 0 633529969 289320960 1281 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282540

[startup+0.100462 s]
/proc/loadavg: 7.51 7.88 7.51 6/360 19485
/proc/meminfo: memFree=18617316/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=282540 CPUtime=0.37 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 1619 0 0 0 37 0 0 0 25 0 4 0 633529969 289320960 1508 33554432000 4194304 4650419 140736623817776 18446744073709551615 4332033 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 70635 1508 391 112 0 65600 0
[pid=19485/tid=19486] ppid=19483 vsize=282540 CPUtime=0.09 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 295 0 0 0 9 0 0 0 25 0 4 0 633529969 289320960 1508 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=282540 CPUtime=0.08 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 291 0 0 0 8 0 0 0 25 0 4 0 633529969 289320960 1508 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=282540 CPUtime=0.09 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 258 0 0 0 9 0 0 0 25 0 4 0 633529969 289320960 1508 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282540

[startup+0.300426 s]
/proc/loadavg: 7.51 7.88 7.51 6/360 19485
/proc/meminfo: memFree=18617316/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=283732 CPUtime=1.16 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 2672 0 0 0 116 0 0 0 25 0 4 0 633529969 290541568 2042 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 70933 2042 393 112 0 65898 0
[pid=19485/tid=19486] ppid=19483 vsize=283732 CPUtime=0.29 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 556 0 0 0 29 0 0 0 25 0 4 0 633529969 290541568 2043 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366261 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=283732 CPUtime=0.28 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 568 0 0 0 28 0 0 0 25 0 4 0 633529969 290541568 2043 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=283732 CPUtime=0.29 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 507 0 0 0 29 0 0 0 25 0 4 0 633529969 290541568 2043 33554432000 4194304 4650419 140736623817776 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283732

[startup+0.700355 s]
/proc/loadavg: 7.51 7.88 7.51 6/360 19485
/proc/meminfo: memFree=18617316/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=284992 CPUtime=2.76 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 4570 0 0 0 276 0 0 0 25 0 4 0 633529969 291831808 2421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 71248 2421 393 112 0 66213 0
[pid=19485/tid=19486] ppid=19483 vsize=284992 CPUtime=0.69 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 926 0 0 0 69 0 0 0 25 0 4 0 633529969 291831808 2421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=284992 CPUtime=0.68 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 1103 0 0 0 68 0 0 0 25 0 4 0 633529969 291831808 2421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4514517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=284992 CPUtime=0.69 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 975 0 0 0 69 0 0 0 25 0 4 0 633529969 291831808 2421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284992

[startup+1.50021 s]
/proc/loadavg: 7.51 7.88 7.51 9/364 19489
/proc/meminfo: memFree=18604016/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=277264 CPUtime=5.95 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 8154 0 0 0 594 1 0 0 25 0 4 0 633529969 283918336 4518 33554432000 4194304 4650419 140736623817776 18446744073709551615 4329841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 69316 4518 395 112 0 64281 0
[pid=19485/tid=19486] ppid=19483 vsize=277264 CPUtime=1.48 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 1656 0 0 0 148 0 0 0 25 0 4 0 633529969 283918336 4518 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=277264 CPUtime=1.47 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 1707 0 0 0 147 0 0 0 25 0 4 0 633529969 283918336 4518 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=277264 CPUtime=1.48 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 1504 0 0 0 148 0 0 0 25 0 4 0 633529969 283918336 4519 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 277264

[startup+3.10093 s]
/proc/loadavg: 7.51 7.88 7.51 9/364 19489
/proc/meminfo: memFree=18579844/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=281592 CPUtime=12.34 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 15679 0 0 0 1232 2 0 0 25 0 4 0 633529969 288350208 8847 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 70398 8847 395 112 0 65363 0
[pid=19485/tid=19486] ppid=19483 vsize=281592 CPUtime=3.08 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 3660 0 0 0 308 0 0 0 25 0 4 0 633529969 288350208 8847 33554432000 4194304 4650419 140736623817776 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=281592 CPUtime=3.06 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 4263 0 0 0 306 0 0 0 25 0 4 0 633529969 288350208 8847 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=281592 CPUtime=3.08 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 3409 0 0 0 308 0 0 0 25 0 4 0 633529969 288350208 8847 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 281592

[startup+6.30036 s]
/proc/loadavg: 7.55 7.89 7.51 9/364 19489
/proc/meminfo: memFree=18561268/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=288320 CPUtime=25.1 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 24319 0 0 0 2506 4 0 0 25 0 4 0 633529969 295239680 12239 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 72080 12239 395 112 0 67045 0
[pid=19485/tid=19486] ppid=19483 vsize=288320 CPUtime=6.29 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 6264 0 0 0 628 1 0 0 25 0 4 0 633529969 295239680 12239 33554432000 4194304 4650419 140736623817776 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=288320 CPUtime=6.21 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 7132 0 0 0 621 0 0 0 25 0 4 0 633529969 295239680 12239 33554432000 4194304 4650419 140736623817776 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=288320 CPUtime=6.28 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 4353 0 0 0 628 0 0 0 25 0 4 0 633529969 295239680 12239 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 288320

[startup+12.7002 s]
/proc/loadavg: 7.59 7.89 7.52 9/364 19489
/proc/meminfo: memFree=18519368/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=292900 CPUtime=50.62 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 36876 0 0 0 5056 6 0 0 25 0 4 0 633529969 299929600 17154 33554432000 4194304 4650419 140736623817776 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 73225 17154 395 112 0 68190 0
[pid=19485/tid=19486] ppid=19483 vsize=292900 CPUtime=12.68 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 9536 0 0 0 1267 1 0 0 25 0 4 0 633529969 299929600 17154 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=292900 CPUtime=12.55 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 9782 0 0 0 1254 1 0 0 25 0 4 0 633529969 299929600 17154 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=292900 CPUtime=12.68 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 6621 0 0 0 1267 1 0 0 25 0 4 0 633529969 299929600 17154 33554432000 4194304 4650419 140736623817776 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 292900

[startup+25.5009 s]
/proc/loadavg: 7.68 7.89 7.52 9/364 19489
/proc/meminfo: memFree=18471896/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=302840 CPUtime=101.67 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 56001 0 0 0 10156 11 0 0 25 0 4 0 633529969 310108160 23420 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 75710 23421 395 112 0 70675 0
[pid=19485/tid=19486] ppid=19483 vsize=302840 CPUtime=25.48 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 15075 0 0 0 2546 2 0 0 25 0 4 0 633529969 310108160 23421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=302840 CPUtime=25.19 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 15402 0 0 0 2517 2 0 0 25 0 4 0 633529969 310108160 23421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=302840 CPUtime=25.47 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 9246 0 0 0 2546 1 0 0 25 0 4 0 633529969 310108160 23421 33554432000 4194304 4650419 140736623817776 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 302840

[startup+51.1003 s]
/proc/loadavg: 7.93 7.93 7.55 9/364 19490
/proc/meminfo: memFree=18419828/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=315420 CPUtime=203.78 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 86791 0 0 0 20359 19 0 0 25 0 4 0 633529969 322990080 30357 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 78855 30357 395 112 0 73820 0
[pid=19485/tid=19486] ppid=19483 vsize=315420 CPUtime=51.08 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 24129 0 0 0 5104 4 0 0 25 0 4 0 633529969 322990080 30357 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=315420 CPUtime=50.52 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 24186 0 0 0 5047 5 0 0 25 0 4 0 633529969 322990080 30357 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=315420 CPUtime=51.08 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 13088 0 0 0 5105 3 0 0 25 0 4 0 633529969 322990080 30357 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 315420

[startup+102.313 s]
/proc/loadavg: 8.04 7.96 7.57 9/364 19491
/proc/meminfo: memFree=18344156/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=323828 CPUtime=408.05 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 133027 0 0 0 40771 34 0 0 25 0 4 0 633529969 331599872 37861 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 80957 37861 395 112 0 75922 0
[pid=19485/tid=19486] ppid=19483 vsize=323828 CPUtime=102.3 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 36643 0 0 0 10221 9 0 0 25 0 4 0 633529969 331599872 37861 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=323828 CPUtime=101.14 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 36329 0 0 0 10107 7 0 0 25 0 4 0 633529969 331599872 37861 33554432000 4194304 4650419 140736623817776 18446744073709551615 4310830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=323828 CPUtime=102.28 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 21131 0 0 0 10222 6 0 0 25 0 4 0 633529969 331599872 37861 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 323828

[startup+162.3 s]

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

[pid=19485] ppid=19483 vsize=552876 CPUtime=2561.69 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 428945 0 0 0 256016 153 0 0 25 0 4 0 633529969 566145024 77649 33554432000 4194304 4650419 140736623817776 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 138219 77649 395 112 0 133184 0
[pid=19485/tid=19486] ppid=19483 vsize=552876 CPUtime=642.29 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 115693 0 0 0 64187 42 0 0 25 0 4 0 633529969 566145024 77650 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=552876 CPUtime=634.88 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 123312 0 0 0 63445 43 0 0 25 0 4 0 633529969 566145024 77650 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=552876 CPUtime=642.18 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 63005 0 0 0 64195 23 0 0 25 0 4 0 633529969 566145024 77650 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.69
Current children cumulated vsize (KiB) 552876

[startup+702.301 s]
/proc/loadavg: 8.11 8.08 7.81 9/364 19507
/proc/meminfo: memFree=17919928/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=541016 CPUtime=2800.95 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 453903 0 0 0 279933 162 0 0 25 0 4 0 633529969 554000384 85898 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 135254 85898 395 112 0 130219 0
[pid=19485/tid=19486] ppid=19483 vsize=541016 CPUtime=702.28 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 122421 0 0 0 70183 45 0 0 25 0 4 0 633529969 554000384 85898 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=541016 CPUtime=694.16 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 130624 0 0 0 69371 45 0 0 25 0 4 0 633529969 554000384 85898 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=541016 CPUtime=702.17 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 66862 0 0 0 70192 25 0 0 25 0 4 0 633529969 554000384 85898 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.95
Current children cumulated vsize (KiB) 541016

[startup+762.314 s]
/proc/loadavg: 8.04 8.06 7.82 10/364 19511
/proc/meminfo: memFree=17941716/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=541328 CPUtime=3040.28 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 476975 0 0 0 303857 171 0 0 25 0 4 0 633529969 554319872 81269 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 135332 81269 395 112 0 130297 0
[pid=19485/tid=19486] ppid=19483 vsize=541328 CPUtime=762.29 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 130213 0 0 0 76181 48 0 0 25 0 4 0 633529969 554319872 81269 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=541328 CPUtime=753.48 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 138745 0 0 0 75299 49 0 0 25 0 4 0 633529969 554319872 81269 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=541328 CPUtime=762.17 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 69254 0 0 0 76192 25 0 0 25 0 4 0 633529969 554319872 81269 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.28
Current children cumulated vsize (KiB) 541328

[startup+822.301 s]
/proc/loadavg: 8.27 8.13 7.86 9/364 19514
/proc/meminfo: memFree=17917552/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=560876 CPUtime=3278.67 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 502849 0 0 0 327685 182 0 0 25 0 4 0 633529969 574337024 88131 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365387 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 140219 88131 395 112 0 135184 0
[pid=19485/tid=19486] ppid=19483 vsize=560876 CPUtime=822.28 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 138524 0 0 0 82177 51 0 0 25 0 4 0 633529969 574337024 88131 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=560876 CPUtime=812.77 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 145787 0 0 0 81225 52 0 0 25 0 4 0 633529969 574337024 88131 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=560876 CPUtime=821.31 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 72631 0 0 0 82104 27 0 0 25 0 4 0 633529969 574337024 88131 33554432000 4194304 4650419 140736623817776 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.67
Current children cumulated vsize (KiB) 560876

[startup+882.3 s]
/proc/loadavg: 8.21 8.14 7.87 9/364 19515
/proc/meminfo: memFree=17884440/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=573544 CPUtime=3517.95 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 524144 0 0 0 351604 191 0 0 25 0 4 0 633529969 587309056 88576 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 143386 88576 395 112 0 138351 0
[pid=19485/tid=19486] ppid=19483 vsize=573544 CPUtime=882.28 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 141501 0 0 0 88175 53 0 0 25 0 4 0 633529969 587309056 88576 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=573544 CPUtime=872.05 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 155498 0 0 0 87150 55 0 0 25 0 4 0 633529969 587309056 88576 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=573544 CPUtime=881.3 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 74799 0 0 0 88102 28 0 0 25 0 4 0 633529969 587309056 88576 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3517.95
Current children cumulated vsize (KiB) 573544

[startup+942.301 s]
/proc/loadavg: 8.21 8.14 7.89 9/364 19517
/proc/meminfo: memFree=17883056/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=573748 CPUtime=3757.25 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 543086 0 0 0 375526 199 0 0 25 0 4 0 633529969 587517952 87096 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 143437 87096 395 112 0 138402 0
[pid=19485/tid=19486] ppid=19483 vsize=573748 CPUtime=942.27 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 144449 0 0 0 94173 54 0 0 25 0 4 0 633529969 587517952 87096 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=573748 CPUtime=931.35 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 161712 0 0 0 93078 57 0 0 25 0 4 0 633529969 587517952 87096 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=573748 CPUtime=941.29 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 77729 0 0 0 94100 29 0 0 25 0 4 0 633529969 587517952 87096 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.25
Current children cumulated vsize (KiB) 573748

[startup+1002.3 s]
/proc/loadavg: 8.17 8.14 7.91 9/364 19518
/proc/meminfo: memFree=17823500/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=594544 CPUtime=3996.53 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 565043 0 0 0 399446 207 0 0 25 0 4 0 633529969 608813056 94399 33554432000 4194304 4650419 140736623817776 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 148636 94399 395 112 0 143601 0
[pid=19485/tid=19486] ppid=19483 vsize=594544 CPUtime=1002.28 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 149298 0 0 0 100171 57 0 0 25 0 4 0 633529969 608813056 94399 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=594544 CPUtime=990.65 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 167530 0 0 0 99005 60 0 0 25 0 4 0 633529969 608813056 94399 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=594544 CPUtime=1001.27 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 80233 0 0 0 100098 29 0 0 25 0 4 0 633529969 608813056 94399 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.53
Current children cumulated vsize (KiB) 594544

[startup+1062.3 s]
/proc/loadavg: 8.09 8.13 7.91 9/364 19520
/proc/meminfo: memFree=17811576/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=594828 CPUtime=4235.83 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 588087 0 0 0 423366 217 0 0 25 0 4 0 633529969 609103872 93957 33554432000 4194304 4650419 140736623817776 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 148707 93957 395 112 0 143672 0
[pid=19485/tid=19486] ppid=19483 vsize=594828 CPUtime=1062.28 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 155260 0 0 0 106169 59 0 0 25 0 4 0 633529969 609103872 93957 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=594828 CPUtime=1049.95 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 174023 0 0 0 104933 62 0 0 25 0 4 0 633529969 609103872 93957 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=594828 CPUtime=1061.27 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 84358 0 0 0 106095 32 0 0 25 0 4 0 633529969 609103872 93957 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4235.83
Current children cumulated vsize (KiB) 594828

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 7.92 9/364 19522
/proc/meminfo: memFree=17807456/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=582164 CPUtime=4475.11 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 607364 0 0 0 447286 225 0 0 25 0 4 0 633529969 596135936 96337 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 145541 96337 395 112 0 140506 0
[pid=19485/tid=19486] ppid=19483 vsize=582164 CPUtime=1122.27 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 161041 0 0 0 112166 61 0 0 25 0 4 0 633529969 596135936 96337 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=582164 CPUtime=1109.24 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 180322 0 0 0 110860 64 0 0 25 0 4 0 633529969 596135936 96337 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=582164 CPUtime=1121.26 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 86511 0 0 0 112094 32 0 0 25 0 4 0 633529969 596135936 96337 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.11
Current children cumulated vsize (KiB) 582164

[startup+1182.3 s]
/proc/loadavg: 8.04 8.10 7.92 9/364 19523
/proc/meminfo: memFree=17763424/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=585536 CPUtime=4714.4 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 623403 0 0 0 471208 232 0 0 25 0 4 0 633529969 599588864 93851 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 146384 93851 395 112 0 141349 0
[pid=19485/tid=19486] ppid=19483 vsize=585536 CPUtime=1182.28 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 165013 0 0 0 118165 63 0 0 25 0 4 0 633529969 599588864 93851 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=585536 CPUtime=1168.54 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 185171 0 0 0 116788 66 0 0 25 0 4 0 633529969 599588864 93851 33554432000 4194304 4650419 140736623817776 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=585536 CPUtime=1181.25 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 89804 0 0 0 118091 34 0 0 25 0 4 0 633529969 599588864 93851 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.4
Current children cumulated vsize (KiB) 585536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 7.14 7.89 7.85 5/355 19542
/proc/meminfo: memFree=18313720/32951124 swapFree=67111348/67111528
[pid=19485] ppid=19483 vsize=585596 CPUtime=4800.17 cores=0,2,4,6
/proc/19485/stat : 19485 (strangenight1-m) R 19483 19485 18878 0 -1 4202496 630887 0 0 0 479781 236 0 0 25 0 4 0 633529969 599650304 97658 33554432000 4194304 4650419 140736623817776 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19485/statm: 146399 97658 395 112 0 141364 0
[pid=19485/tid=19486] ppid=19483 vsize=585596 CPUtime=1203.79 cores=0,2,4,6
/proc/19485/task/19486/stat : 19486 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 165785 0 0 0 120315 64 0 0 25 0 4 0 633529969 599650304 97658 33554432000 4194304 4650419 140736623817776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19485/tid=19487] ppid=19483 vsize=585596 CPUtime=1189.79 cores=0,2,4,6
/proc/19485/task/19487/stat : 19487 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 187717 0 0 0 118911 68 0 0 25 0 4 0 633529969 599650304 97658 33554432000 4194304 4650419 140736623817776 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19485/tid=19488] ppid=19483 vsize=585596 CPUtime=1202.76 cores=0,2,4,6
/proc/19485/task/19488/stat : 19488 (strangenight1-m) R 19483 19485 18878 0 -1 4202560 89805 0 0 0 120242 34 0 0 25 0 4 0 633529969 599650304 97658 33554432000 4194304 4650419 140736623817776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 585596

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.23
CPU user time (s): 4797.85
CPU system time (s): 2.37964
CPU usage (%): 398.744
Max. virtual memory (cumulated for all children) (KiB): 658476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.37964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630888
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= 295
involuntary context switches= 24451

runsolver used 3.99439 second user time and 10.0625 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-15 00:12:21
IDJOB=3369061
IDBENCH=83070
IDSOLVER=1846
FILE ID=node145/3369061-1305411141
RUNJOBID= node145-1305409924-19328
PBS_JOBID= 13324499
Free space on /tmp= 73656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369061-1305411141/watcher-3369061-1305411141 -o /tmp/evaluation-result-3369061-1305411141/solver-3369061-1305411141 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369061-1305411141.cnf

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

MD5SUM BENCH= 7ba801e5e19de5d13bce0ebc43b52968
RANDOM SEED=1611681430

node145.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.786
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.57
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.786
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.76
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.786
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.786
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.83
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.786
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18617720 kB
Buffers:        297776 kB
Cached:        8125728 kB
SwapCached:          0 kB
Active:        7357460 kB
Inactive:      6621140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18617720 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12592 kB
Writeback:           4 kB
AnonPages:     5554728 kB
Mapped:          28108 kB
Slab:           255964 kB
PageTables:      34120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79541384 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= 73656 MiB
End job on node145 at 2011-05-15 00:32:27