Trace number 3175452

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.07 1201.63

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-3175452-1304124792.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.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	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.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     219 undec:      33 neg:     198
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       435      1891         0         0      5763         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.00/0.14	c  N st     8      4919       435      1891         0      4823      5763    104242   no data   no data  --
1.17/0.37	c  N st    10     11304       435      1891         0      4469      5763     68793   no data   no data  --
2.37/0.62	c  N st    11     17047       435      1891         0     10073      5763    190870   no data   no data  --
3.97/1.00	c  F st    12     25001       435      1891         0     12349      5763    242212   no data   no data  --
3.97/1.01	c  N st    12     25001       435      1891         0     12349      5763    242212   no data   no data  --
4.79/1.24	c Decided on static restart strategy
4.79/1.24	c  N st    18     30000       435      1891         0     10640      5763    184130   no data   no data  --
4.79/1.24	c  S st    18     30000       435      1891         0     10640      5763    184130   no data   no data  --
4.79/1.27	c  S st    18     30503       435      1891         0     11142      5763    195174   no data   no data  --
4.79/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.79/1.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.79/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4.79/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.45	c lits-rem:       151  cl-subs:      571  v-elim:      0  v-fix:    0  time:  0.69 s
5.57/1.46	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.03
5.57/1.46	c calculated reachability. Time: 0.00
5.57/1.46	c  N st    18     30503       435      1891         0     10571      5763    182405   no data   no data  --
7.16/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.18/2.36	c  S st    22     45756       435      1891         0      9044      5763    117141   no data   no data  --
9.18/2.38	c  S st    22     46256       435      1891         0      9542      5763    127157   no data   no data  --
9.18/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.18/2.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.18/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
9.18/2.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.46	c lits-rem:        37  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.28 s
9.56/2.46	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
9.56/2.46	c vivif2 --  cl tried     9467 cl shrink        0 lits rem          0 time: 0.00
9.56/2.47	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.03
9.56/2.47	c calculated reachability. Time: 0.00
9.56/2.47	c  N st    22     46256       435      1891         0      9467      5763    125541   no data   no data  --
13.58/3.43	c  N st    23     60653       435      1891         0     13775      5763    209035   no data   no data  --
15.96/4.07	c  N st    24     69386       435      1891         0     11585      5763    152515   no data   no data  --
15.96/4.07	c  S st    24     69386       435      1891         0     11585      5763    152515   no data   no data  --
16.36/4.10	c  S st    24     69888       435      1891         0     12085      5763    163404   no data   no data  --
16.36/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.36/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.36/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
16.36/4.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.75/4.25	c lits-rem:        53  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.59 s
16.75/4.26	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
16.75/4.26	c vivif2 --  cl tried    11938 cl shrink        0 lits rem          0 time: 0.00
16.75/4.27	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.04
16.75/4.27	c calculated reachability. Time: 0.00
16.75/4.27	c  N st    24     69888       435      1891         0     11938      5763    160518   no data   no data  --
21.55/5.44	c  F st    25     87500       435      1891         0     17413      5763    274350   no data   no data  --
21.55/5.44	c  N st    25     87500       435      1891         0     17413      5763    274350   no data   no data  --
23.14/5.83	c Decided on static restart strategy
23.94/6.05	c  N st    32     95538       435      1891         0     25287      5763    442021   no data   no data  --
26.36/6.69	c  N st    34    104832       435      1891         0     21685      5763    348867   no data   no data  --
26.36/6.69	c  S st    34    104832       435      1891         0     21685      5763    348867   no data   no data  --
26.76/6.74	c  S st    34    105335       435      1891         0     22186      5763    359351   no data   no data  --
26.76/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
26.76/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.76/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.76/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
26.76/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.94/7.55	c lits-rem:       475  cl-subs:      937  v-elim:      0  v-fix:    0  time:  3.16 s
29.94/7.55	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
29.94/7.56	c vivif2 --  cl tried    21249 cl shrink        0 lits rem          0 time: 0.01
29.94/7.57	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.07
29.94/7.57	c calculated reachability. Time: 0.00
29.94/7.58	c  N st    34    105335       435      1891         0     21249      5763    338508   no data   no data  --
33.54/8.44	c  N st    35    114935       435      1891         0     16949      5763    229782   no data   no data  --
38.73/9.74	c  N st    36    129334       435      1891         0     16385      5763    202872   no data   no data  --
45.92/11.59	c  N st    37    150930       435      1891         0     21842      5763    317057   no data   no data  --
48.73/12.26	c  S st    38    158003       435      1891         0     28766      5763    475672   no data   no data  --
49.11/12.34	c  S st    38    158509       435      1891         0     29272      5763    486992   no data   no data  --
49.11/12.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.11/12.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
49.11/12.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
49.11/12.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
54.71/13.77	c lits-rem:       485  cl-subs:     1278  v-elim:      0  v-fix:    0  time:  5.61 s
54.71/13.77	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
54.71/13.77	c vivif2 --  cl tried    27994 cl shrink        0 lits rem          0 time: 0.02
54.71/13.79	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.09
54.71/13.80	c calculated reachability. Time: 0.00
54.71/13.80	c  N st    38    158509       435      1891         0     27994      5763    457548   no data   no data  --
74.29/18.65	c  N st    39    207097       435      1891         0     22587      5763    298379   no data   no data  --
87.47/21.96	c  N st    40    237764       435      1891         0     32958      5763    500803   no data   no data  --
87.47/21.96	c  S st    40    237764       435      1891         0     32958      5763    500803   no data   no data  --
87.89/22.06	c  S st    40    238268       435      1891         0     33460      5763    511084   no data   no data  --
87.89/22.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.89/22.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.89/22.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
87.89/22.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.89/22.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.89/22.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
87.89/22.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
94.66/23.77	c lits-rem:      1133  cl-subs:     2641  v-elim:      0  v-fix:    0  time:  6.69 s
94.66/23.77	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
94.66/23.78	c vivif2 --  cl tried    30819 cl shrink        0 lits rem          0 time: 0.02
95.05/23.80	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.10
95.05/23.80	c calculated reachability. Time: 0.00
95.05/23.80	c  N st    40    238268       435      1891         0     30819      5763    456684   no data   no data  --
125.02/31.38	c  F st    41    306251       435      1891         0     32763      5763    448153   no data   no data  --
125.02/31.38	c  N st    41    306251       435      1891         0     32763      5763    448153   no data   no data  --
127.85/32.02	c Decided on static restart strategy
139.00/34.84	c  N st    51    334552       435      1891         0     37010      5763    525670   no data   no data  --
149.41/37.44	c  N st    53    357402       435      1891         0     34996      5763    501525   no data   no data  --
149.41/37.44	c  S st    53    357402       435      1891         0     34996      5763    501525   no data   no data  --
149.81/37.53	c  S st    53    357907       435      1891         0     35498      5763    512402   no data   no data  --
149.81/37.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.81/37.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.81/37.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
149.81/37.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.81/37.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.81/37.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
149.81/37.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.78/39.04	c lits-rem:       488  cl-subs:     1033  v-elim:      0  v-fix:    0  time:  5.94 s
155.78/39.04	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
155.78/39.05	c vivif2 --  cl tried    34465 cl shrink        0 lits rem          0 time: 0.02
155.78/39.08	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.12
155.78/39.08	c calculated reachability. Time: 0.00
155.78/39.08	c  N st    53    357907       435      1891         0     34465      5763    490097   no data   no data  --
170.17/42.66	c  N st    54    390299       435      1891         0     40757      5763    661822   no data   no data  --
197.75/49.55	c  N st    55    438889       435      1891         0     34442      5763    446013   no data   no data  --
235.69/59.00	c  N st    56    511771       435      1891         0     47795      5763    737113   no data   no data  --
250.08/62.66	c  N st    57    536860       435      1891         0     42134      5763    572280   no data   no data  --
250.08/62.66	c  S st    57    536860       435      1891         0     42134      5763    572280   no data   no data  --
250.49/62.77	c  S st    57    537363       435      1891         0     42636      5763    582966   no data   no data  --
250.49/62.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
250.49/62.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.49/62.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
250.89/62.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.89/62.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.89/62.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
250.89/62.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
257.26/64.46	c lits-rem:       529  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  6.60 s
257.26/64.46	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
257.26/64.46	c vivif2 --  cl tried    41519 cl shrink        0 lits rem          0 time: 0.03
257.66/64.50	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.15
257.66/64.50	c calculated reachability. Time: 0.00
257.66/64.50	c  N st    57    537363       435      1891         0     41519      5763    559101   no data   no data  --
355.96/89.19	c  N st    58    701347       435      1891         0     35599      5763    347579   no data   no data  --
435.47/109.01	c  N st    59    806044       435      1891         0     64526      5763    957931   no data   no data  --
435.47/109.01	c  S st    59    806044       435      1891         0     64526      5763    957931   no data   no data  --
436.25/109.21	c  S st    59    806546       435      1891         0     65028      5763    968586   no data   no data  --
436.25/109.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
436.25/109.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
436.25/109.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
436.25/109.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
436.25/109.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
436.25/109.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
436.25/109.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
450.63/112.81	c lits-rem:      2060  cl-subs:     4795  v-elim:      0  v-fix:    0  time: 14.12 s
450.63/112.81	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
450.63/112.82	c vivif2 --  cl tried    60233 cl shrink        0 lits rem          0 time: 0.04
450.63/112.89	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.28
451.03/112.90	c calculated reachability. Time: 0.00
451.03/112.90	c  N st    59    806546       435      1891         0     60233      5763    873489   no data   no data  --
660.37/165.32	c  F st    60   1071877       435      1891         0     75898      5763   1106194   no data   no data  --
660.37/165.32	c  N st    60   1071877       435      1891         0     75898      5763   1106194   no data   no data  --
665.56/166.67	c Decided on static restart strategy
683.53/171.19	c  N st    70   1100178       435      1891         0     59931      5763    772161   no data   no data  --
715.09/179.09	c  N st    72   1136175       435      1891         0     50270      5763    537401   no data   no data  --
743.85/186.29	c  N st    73   1168568       435      1891         0     81751      5763   1239438   no data   no data  --
777.41/194.68	c  N st    74   1209820       435      1891         0     76090      5763   1094572   no data   no data  --
777.41/194.68	c  S st    74   1209820       435      1891         0     76090      5763   1094572   no data   no data  --
778.60/194.95	c  S st    74   1210323       435      1891         0     76593      5763   1105909   no data   no data  --
778.60/194.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
778.60/194.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
778.60/194.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
779.00/195.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
779.00/195.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.00/195.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
779.00/195.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
798.18/199.82	c lits-rem:       468  cl-subs:     5992  v-elim:      0  v-fix:    0  time: 19.18 s
798.18/199.82	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
798.18/199.84	c vivif2 --  cl tried    70601 cl shrink        0 lits rem          0 time: 0.06
798.58/199.95	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.46
798.58/199.95	c calculated reachability. Time: 0.00
798.58/199.95	c  N st    74   1210323       435      1891         0     70601      5763    988981   no data   no data  --
870.50/217.95	c  N st    75   1283205       435      1891         0     94926      5763   1552021   no data   no data  --
966.36/241.91	c  N st    76   1392528       435      1891         0     55517      5763    572534   no data   no data  --
1121.74/280.80	c  N st    77   1556512       435      1891         0     60233      5763    649537   no data   no data  --
1274.35/319.04	c  N st    78   1710325       435      1891         0    101628      5763   1564984   no data   no data  --
1274.35/319.04	c  S st    78   1710325       435      1891         0    101628      5763   1564984   no data   no data  --
1275.53/319.34	c  S st    78   1710829       435      1891         0    102131      5763   1576159   no data   no data  --
1275.53/319.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1275.53/319.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1275.93/319.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1275.93/319.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1275.93/319.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1275.93/319.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1275.93/319.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1316.68/329.65	c lits-rem:       697  cl-subs:     7984  v-elim:      0  v-fix:    0  time: 40.74 s
1316.68/329.65	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
1316.68/329.67	c vivif2 --  cl tried    94147 cl shrink        0 lits rem          0 time: 0.07
1317.48/329.80	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.54
1317.48/329.81	c calculated reachability. Time: 0.00
1317.48/329.81	c  N st    78   1710829       435      1891         0     94147      5763   1405812   no data   no data  --
1700.59/425.70	c  N st    79   2079794       435      1891         0    105656      5763   1522470   no data   no data  --
1832.82/458.89	c  N st    80   2210831       435      1891         0    109911      5763   1633674   no data   no data  --
1832.82/458.89	c  S st    80   2210831       435      1891         0    109911      5763   1633674   no data   no data  --
1834.40/459.23	c  S st    80   2211334       435      1891         0    110411      5763   1645271   no data   no data  --
1834.40/459.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1834.40/459.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1834.40/459.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1834.80/459.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1834.80/459.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1834.80/459.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1834.80/459.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1877.52/470.06	c lits-rem:        76  cl-subs:     8668  v-elim:      0  v-fix:    0  time: 42.79 s
1877.52/470.06	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
1877.52/470.08	c vivif2 --  cl tried   101743 cl shrink        0 lits rem          0 time: 0.08
1878.33/470.23	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.60
1878.33/470.23	c calculated reachability. Time: 0.00
1878.33/470.23	c  N st    80   2211334       435      1891         0    101743      5763   1473938   no data   no data  --
2495.91/624.86	c  N st    81   2711335       435      1891         0    125213      5763   1882896   no data   no data  --
2495.91/624.86	c  S st    81   2711335       435      1891         0    125213      5763   1882896   no data   no data  --
2497.49/625.29	c  S st    81   2711836       435      1891         0    125712      5763   1893596   no data   no data  --
2497.89/625.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2497.89/625.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2497.89/625.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2498.29/625.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2498.29/625.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2498.29/625.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
2498.29/625.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2575.78/644.80	c lits-rem:      1212  cl-subs:    14256  v-elim:      0  v-fix:    0  time: 77.38 s
2575.78/644.80	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
2575.78/644.82	c vivif2 --  cl tried   111456 cl shrink        0 lits rem          0 time: 0.08
2576.18/645.00	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.68
2576.58/645.00	c calculated reachability. Time: 0.00
2576.58/645.00	c  N st    81   2711836       435      1891         0    111456      5763   1603058   no data   no data  --
3231.71/809.03	c  N st    82   3211837       435      1891         0     87666      5763    929042   no data   no data  --
3231.71/809.03	c  S st    82   3211837       435      1891         0     87666      5763    929042   no data   no data  --
3232.91/809.31	c  S st    82   3212340       435      1891         0     88169      5763    941111   no data   no data  --
3232.91/809.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3232.91/809.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3232.91/809.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3232.91/809.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3232.91/809.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3232.91/809.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3232.91/809.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3245.70/812.56	c lits-rem:       518  cl-subs:     2359  v-elim:      0  v-fix:    0  time: 12.67 s
3245.70/812.56	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
3245.70/812.57	c vivif2 --  cl tried    85810 cl shrink        0 lits rem          0 time: 0.05
3246.10/812.69	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.47
3246.10/812.69	c calculated reachability. Time: 0.00
3246.10/812.69	c  N st    82   3212340       435      1891         0     85810      5763    897573   no data   no data  --
3942.77/987.03	c  N st    83   3712344       435      1891         0     96654      5763   1067218   no data   no data  --
3942.77/987.03	c  S st    83   3712344       435      1891         0     96654      5763   1067218   no data   no data  --
3943.97/987.35	c  S st    83   3712850       435      1891         0     97158      5763   1078548   no data   no data  --
3943.97/987.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3943.97/987.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3944.37/987.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3944.37/987.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3944.37/987.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3944.37/987.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3944.37/987.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3956.35/990.40	c lits-rem:       316  cl-subs:     3241  v-elim:      0  v-fix:    0  time: 11.82 s
3956.35/990.40	c vivif2 --  cl tried     1891 cl shrink        0 lits rem          0 time: 0.00
3956.35/990.41	c vivif2 --  cl tried    93917 cl shrink        0 lits rem          0 time: 0.06
3956.75/990.54	c asymm  cl-useful: 0/1891/1891 lits-rem:0 time: 0.52
3956.75/990.54	c calculated reachability. Time: 0.00
3956.75/990.54	c  N st    83   3712850       435      1891         0     93917      5763   1010215   no data   no data  --
4006.68/1003.04	c  F st    84   3751563       435      1891         0    131383      5763   1917142   no data   no data  --
4006.68/1003.05	c  N st    84   3751563       435      1891         0    131383      5763   1917142   no data   no data  --
4016.28/1005.44	c Decided on static restart strategy
4051.44/1014.28	c  N st    94   3779869       435      1891         0    158859      5763   2560645   no data   no data  --
4097.36/1025.78	c  N st    96   3815862       435      1891         0    111388      5763   1368319   no data   no data  --
4148.11/1038.46	c  N st    97   3848258       435      1891         0    142911      5763   2134993   no data   no data  --
4232.38/1059.51	c  N st    98   3896847       435      1891         0    106626      5763   1246974   no data   no data  --
4344.22/1087.54	c  N st    99   3969729       435      1891         0     92691      5763    919413   no data   no data  --
4523.18/1132.30	c  N st   100   4079053       435      1891         0    113225      5763   1347222   no data   no data  --
4733.69/1185.01	c  N st   101   4212850       435      1891         0    156583      5763   2353544   no data   no data  --
4733.69/1185.01	c  S st   101   4212850       435      1891         0    156583      5763   2353544   no data   no data  --
4736.09/1185.61	c  S st   101   4213353       435      1891         0    157082      5763   2364614   no data   no data  --
4736.09/1185.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4736.09/1185.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4736.49/1185.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.33
4736.49/1185.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4736.49/1185.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4736.49/1185.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4736.49/1185.78	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-3175452-1304124792/watcher-3175452-1304124792 -o /tmp/evaluation-result-3175452-1304124792/solver-3175452-1304124792 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175452-1304124792.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: 6.83 7.80 7.80 2/176 32458
/proc/meminfo: memFree=25021104/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 504895032 52465664 352 33554432000 4194304 4650419 140733295479520 18446744073709551615 47922065487784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 12809 352 303 112 0 7774 0
[pid=32458/tid=32462] ppid=32454 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 504895032 52465664 352 33554432000 4194304 4650419 140733295479520 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 504895032 52465664 352 33554432000 4194304 4650419 140733295479520 18446744073709551615 233522095158 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 504895032 52465664 352 33554432000 4194304 4650419 140733295479520 18446744073709551615 47922065487794 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.157504 s]
/proc/loadavg: 6.83 7.80 7.80 2/176 32458
/proc/meminfo: memFree=25021104/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=283500 CPUtime=0.6 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 2201 0 0 0 60 0 0 0 25 0 4 0 504895032 290304000 1555 33554432000 4194304 4650419 140733295479520 18446744073709551615 4315077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 70875 1555 393 112 0 65840 0
[pid=32458/tid=32462] ppid=32454 vsize=283500 CPUtime=0.14 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 448 0 0 0 14 0 0 0 25 0 4 0 504895032 290304000 1555 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=283500 CPUtime=0.15 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 480 0 0 0 15 0 0 0 25 0 4 0 504895032 290304000 1555 33554432000 4194304 4650419 140733295479520 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=283500 CPUtime=0.15 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 389 0 0 0 15 0 0 0 25 0 4 0 504895032 290304000 1555 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283500

[startup+0.200496 s]
/proc/loadavg: 6.83 7.80 7.80 2/176 32458
/proc/meminfo: memFree=25021104/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=283500 CPUtime=0.77 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 2326 0 0 0 77 0 0 0 25 0 4 0 504895032 290304000 1680 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 70875 1680 393 112 0 65840 0
[pid=32458/tid=32462] ppid=32454 vsize=283500 CPUtime=0.19 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 478 0 0 0 19 0 0 0 25 0 4 0 504895032 290304000 1680 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=283500 CPUtime=0.19 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 512 0 0 0 19 0 0 0 25 0 4 0 504895032 290304000 1680 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=283500 CPUtime=0.19 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 419 0 0 0 19 0 0 0 25 0 4 0 504895032 290304000 1680 33554432000 4194304 4650419 140733295479520 18446744073709551615 4334321 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283500

[startup+0.300478 s]
/proc/loadavg: 6.83 7.80 7.80 2/176 32458
/proc/meminfo: memFree=25021104/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=283684 CPUtime=1.17 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 2693 0 0 0 117 0 0 0 25 0 4 0 504895032 290492416 2047 33554432000 4194304 4650419 140733295479520 18446744073709551615 4334635 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 70921 2047 393 112 0 65886 0
[pid=32458/tid=32462] ppid=32454 vsize=283684 CPUtime=0.29 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 504895032 290492416 2047 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=283684 CPUtime=0.29 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 614 0 0 0 29 0 0 0 25 0 4 0 504895032 290492416 2047 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=283684 CPUtime=0.29 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 507 0 0 0 29 0 0 0 25 0 4 0 504895032 290492416 2048 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283684

[startup+0.700408 s]
/proc/loadavg: 6.83 7.80 7.80 2/176 32458
/proc/meminfo: memFree=25021104/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=285036 CPUtime=2.77 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 4592 0 0 0 277 0 0 0 25 0 4 0 504895032 291876864 2428 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 71259 2428 393 112 0 66224 0
[pid=32458/tid=32462] ppid=32454 vsize=285036 CPUtime=0.69 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 939 0 0 0 69 0 0 0 25 0 4 0 504895032 291876864 2428 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=285036 CPUtime=0.69 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 1147 0 0 0 69 0 0 0 25 0 4 0 504895032 291876864 2428 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=285036 CPUtime=0.69 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 975 0 0 0 69 0 0 0 25 0 4 0 504895032 291876864 2428 33554432000 4194304 4650419 140733295479520 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285036

[startup+1.50027 s]
/proc/loadavg: 6.83 7.80 7.80 10/184 32466
/proc/meminfo: memFree=24999028/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=286016 CPUtime=5.97 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 8353 0 0 0 596 1 0 0 25 0 4 0 504895032 292880384 4369 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 69297 4369 395 112 0 64262 0
[pid=32458/tid=32462] ppid=32454 vsize=277188 CPUtime=1.48 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 1668 0 0 0 148 0 0 0 25 0 4 0 504895032 283840512 4369 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=277188 CPUtime=1.49 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 1931 0 0 0 149 0 0 0 25 0 4 0 504895032 283840512 4369 33554432000 4194304 4650419 140733295479520 18446744073709551615 233510340743 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=277188 CPUtime=1.49 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 1503 0 0 0 149 0 0 0 25 0 4 0 504895032 283840512 4369 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286016

[startup+3.10098 s]
/proc/loadavg: 6.83 7.80 7.80 9/184 32466
/proc/meminfo: memFree=24963440/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=285016 CPUtime=12.36 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 15786 0 0 0 1234 2 0 0 25 0 4 0 504895032 291856384 8965 33554432000 4194304 4650419 140733295479520 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 71254 8965 395 112 0 66219 0
[pid=32458/tid=32462] ppid=32454 vsize=285016 CPUtime=3.07 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 3757 0 0 0 307 0 0 0 25 0 4 0 504895032 291856384 8965 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=285016 CPUtime=3.08 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 4314 0 0 0 308 0 0 0 25 0 4 0 504895032 291856384 8965 33554432000 4194304 4650419 140733295479520 18446744073709551615 4333231 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=285016 CPUtime=3.09 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 3400 0 0 0 309 0 0 0 25 0 4 0 504895032 291856384 8965 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 285016

[startup+6.30041 s]
/proc/loadavg: 6.92 7.80 7.80 10/184 32466
/proc/meminfo: memFree=24934128/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=290696 CPUtime=25.14 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 24311 0 0 0 2509 5 0 0 25 0 4 0 504895032 297672704 12142 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 72674 12142 395 112 0 67639 0
[pid=32458/tid=32462] ppid=32454 vsize=290696 CPUtime=6.26 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 6380 0 0 0 625 1 0 0 25 0 4 0 504895032 297672704 12142 33554432000 4194304 4650419 140733295479520 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=290696 CPUtime=6.29 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 7039 0 0 0 628 1 0 0 25 0 4 0 504895032 297672704 12142 33554432000 4194304 4650419 140733295479520 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=290696 CPUtime=6.28 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 4348 0 0 0 628 0 0 0 25 0 4 0 504895032 297672704 12142 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 290696

[startup+12.7003 s]
/proc/loadavg: 7.01 7.80 7.80 9/184 32497
/proc/meminfo: memFree=24947060/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=291140 CPUtime=50.72 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 36884 0 0 0 5063 9 0 0 25 0 4 0 504895032 298127360 17090 33554432000 4194304 4650419 140733295479520 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 72785 17090 395 112 0 67750 0
[pid=32458/tid=32462] ppid=32454 vsize=291140 CPUtime=12.62 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 9881 0 0 0 1261 1 0 0 25 0 4 0 504895032 298127360 17090 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=291140 CPUtime=12.68 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 9477 0 0 0 1266 2 0 0 25 0 4 0 504895032 298127360 17090 33554432000 4194304 4650419 140733295479520 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=291140 CPUtime=12.69 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 6617 0 0 0 1268 1 0 0 25 0 4 0 504895032 298127360 17090 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 291140

[startup+25.501 s]
/proc/loadavg: 7.23 7.81 7.80 9/184 32497
/proc/meminfo: memFree=24852980/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=299056 CPUtime=101.85 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 55990 0 0 0 10172 13 0 0 25 0 4 0 504895032 306233344 23526 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 74764 23526 395 112 0 69729 0
[pid=32458/tid=32462] ppid=32454 vsize=299056 CPUtime=25.37 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 15600 0 0 0 2534 3 0 0 25 0 4 0 504895032 306233344 23526 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=299056 CPUtime=25.49 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 14827 0 0 0 2546 3 0 0 25 0 4 0 504895032 306233344 23526 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=299056 CPUtime=25.49 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 9257 0 0 0 2548 1 0 0 25 0 4 0 504895032 306233344 23526 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 299056

[startup+51.1004 s]
/proc/loadavg: 7.62 7.86 7.82 9/184 32498
/proc/meminfo: memFree=24791664/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=295876 CPUtime=204.12 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 86486 0 0 0 20392 20 0 0 25 0 4 0 504895032 302977024 30282 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 73969 30282 395 112 0 68934 0
[pid=32458/tid=32462] ppid=32454 vsize=295876 CPUtime=50.85 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 24956 0 0 0 5080 5 0 0 25 0 4 0 504895032 302977024 30282 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=295876 CPUtime=51.09 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 23059 0 0 0 5104 5 0 0 25 0 4 0 504895032 302977024 30282 33554432000 4194304 4650419 140733295479520 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=295876 CPUtime=51.09 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 13110 0 0 0 5107 2 0 0 25 0 4 0 504895032 302977024 30282 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 295876

[startup+102.301 s]
/proc/loadavg: 7.91 7.89 7.83 9/184 32499
/proc/meminfo: memFree=24737824/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=308996 CPUtime=408.69 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 133090 0 0 0 40833 36 0 0 25 0 4 0 504895032 316411904 37367 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 77249 37367 395 112 0 72214 0
[pid=32458/tid=32462] ppid=32454 vsize=308996 CPUtime=101.81 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 38079 0 0 0 10171 10 0 0 25 0 4 0 504895032 316411904 37367 33554432000 4194304 4650419 140733295479520 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=308996 CPUtime=102.29 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 34804 0 0 0 10220 9 0 0 25 0 4 0 504895032 316411904 37367 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=308996 CPUtime=102.29 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 21183 0 0 0 10224 5 0 0 25 0 4 0 504895032 316411904 37367 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 308996

[startup+162.3 s]

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

[pid=32458] ppid=32454 vsize=544276 CPUtime=2805.49 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 456259 0 0 0 280392 157 0 0 25 0 4 0 504895032 557338624 85715 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 136069 85715 395 112 0 131034 0
[pid=32458/tid=32462] ppid=32454 vsize=544276 CPUtime=698.63 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 133633 0 0 0 69823 40 0 0 25 0 4 0 504895032 557338624 85715 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=544276 CPUtime=702.3 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 123674 0 0 0 70183 47 0 0 25 0 4 0 504895032 557338624 85715 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=544276 CPUtime=702.3 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 66766 0 0 0 70207 23 0 0 25 0 4 0 504895032 557338624 85715 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.49
Current children cumulated vsize (KiB) 544276

[startup+762.301 s]
/proc/loadavg: 8.15 8.05 7.93 9/184 32526
/proc/meminfo: memFree=24347844/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=544520 CPUtime=3045.18 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 478782 0 0 0 304353 165 0 0 25 0 4 0 504895032 557588480 83106 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 136130 83106 395 112 0 131095 0
[pid=32458/tid=32462] ppid=32454 vsize=544520 CPUtime=758.32 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 142571 0 0 0 75788 44 0 0 25 0 4 0 504895032 557588480 83106 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=544520 CPUtime=762.31 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 130051 0 0 0 76181 50 0 0 25 0 4 0 504895032 557588480 83106 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=544520 CPUtime=762.31 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 69158 0 0 0 76207 24 0 0 25 0 4 0 504895032 557588480 83106 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.18
Current children cumulated vsize (KiB) 544520

[startup+822.3 s]
/proc/loadavg: 8.12 8.05 7.93 9/184 32527
/proc/meminfo: memFree=24295836/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=554992 CPUtime=3284.84 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 504436 0 0 0 328307 177 0 0 25 0 4 0 504895032 568311808 86832 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 138748 86832 395 112 0 133713 0
[pid=32458/tid=32462] ppid=32454 vsize=554992 CPUtime=817.99 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 152046 0 0 0 81752 47 0 0 25 0 4 0 504895032 568311808 86832 33554432000 4194304 4650419 140733295479520 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=554992 CPUtime=822.3 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 136578 0 0 0 82177 53 0 0 25 0 4 0 504895032 568311808 86832 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=554992 CPUtime=822.3 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 72419 0 0 0 82204 26 0 0 25 0 4 0 504895032 568311808 86832 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.84
Current children cumulated vsize (KiB) 554992

[startup+882.307 s]
/proc/loadavg: 8.10 8.06 7.94 9/184 32529
/proc/meminfo: memFree=24279072/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=583252 CPUtime=3524.54 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 527029 0 0 0 352270 184 0 0 25 0 4 0 504895032 597250048 91359 33554432000 4194304 4650419 140733295479520 18446744073709551615 4329578 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 145813 91359 395 112 0 140778 0
[pid=32458/tid=32462] ppid=32454 vsize=583252 CPUtime=877.68 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 159778 0 0 0 87718 50 0 0 25 0 4 0 504895032 597250048 91359 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=583252 CPUtime=882.31 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 142757 0 0 0 88176 55 0 0 25 0 4 0 504895032 597250048 91359 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=583252 CPUtime=882.31 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 74702 0 0 0 88204 27 0 0 25 0 4 0 504895032 597250048 91359 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.54
Current children cumulated vsize (KiB) 583252

[startup+942.301 s]
/proc/loadavg: 8.04 8.04 7.94 9/184 32530
/proc/meminfo: memFree=24284644/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=570892 CPUtime=3764.2 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 546835 0 0 0 376227 193 0 0 25 0 4 0 504895032 584593408 93171 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 142723 93171 395 112 0 137688 0
[pid=32458/tid=32462] ppid=32454 vsize=570892 CPUtime=937.35 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 166685 0 0 0 93682 53 0 0 25 0 4 0 504895032 584593408 93171 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=570892 CPUtime=942.3 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 145994 0 0 0 94174 56 0 0 25 0 4 0 504895032 584593408 93171 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=570892 CPUtime=942.31 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 77517 0 0 0 94203 28 0 0 25 0 4 0 504895032 584593408 93171 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 570892

[startup+1002.3 s]
/proc/loadavg: 8.01 8.03 7.94 9/184 32532
/proc/meminfo: memFree=24258948/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=592856 CPUtime=4003.88 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 567621 0 0 0 400186 202 0 0 25 0 4 0 504895032 607084544 97136 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 148214 97136 395 112 0 143179 0
[pid=32458/tid=32462] ppid=32454 vsize=592856 CPUtime=997.04 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 174196 0 0 0 99648 56 0 0 25 0 4 0 504895032 607084544 97136 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=592856 CPUtime=1002.31 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 149030 0 0 0 100173 58 0 0 25 0 4 0 504895032 607084544 97136 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=592856 CPUtime=1002.3 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 80139 0 0 0 100201 29 0 0 25 0 4 0 504895032 607084544 97136 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 592856

[startup+1062.3 s]
/proc/loadavg: 8.07 8.04 7.95 9/184 32534
/proc/meminfo: memFree=24241080/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=593200 CPUtime=4243.56 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 586957 0 0 0 424147 209 0 0 25 0 4 0 504895032 607436800 93696 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 148300 93696 395 112 0 143265 0
[pid=32458/tid=32462] ppid=32454 vsize=593200 CPUtime=1056.72 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 180888 0 0 0 105614 58 0 0 25 0 4 0 504895032 607436800 93696 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=593200 CPUtime=1062.31 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 151141 0 0 0 106172 59 0 0 25 0 4 0 504895032 607436800 93696 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=593200 CPUtime=1062.31 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 84174 0 0 0 106200 31 0 0 25 0 4 0 504895032 607436800 93696 33554432000 4194304 4650419 140733295479520 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.56
Current children cumulated vsize (KiB) 593200

[startup+1122.3 s]
/proc/loadavg: 8.09 8.05 7.95 9/184 32535
/proc/meminfo: memFree=24228916/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=580396 CPUtime=4483.23 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 602847 0 0 0 448105 218 0 0 25 0 4 0 504895032 594325504 96177 33554432000 4194304 4650419 140733295479520 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 145099 96177 395 112 0 140064 0
[pid=32458/tid=32462] ppid=32454 vsize=580396 CPUtime=1116.39 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 187539 0 0 0 111578 61 0 0 25 0 4 0 504895032 594325504 96177 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=580396 CPUtime=1122.31 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 153089 0 0 0 112171 60 0 0 25 0 4 0 504895032 594325504 96177 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=580396 CPUtime=1122.31 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 86468 0 0 0 112198 33 0 0 25 0 4 0 504895032 594325504 96177 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.23
Current children cumulated vsize (KiB) 580396

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 7.96 9/184 32537
/proc/meminfo: memFree=24203724/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=580520 CPUtime=4722.91 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 621730 0 0 0 472065 226 0 0 25 0 4 0 504895032 594452480 94535 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 145130 94535 395 112 0 140095 0
[pid=32458/tid=32462] ppid=32454 vsize=580520 CPUtime=1176.08 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 193527 0 0 0 117544 64 0 0 25 0 4 0 504895032 594452480 94535 33554432000 4194304 4650419 140733295479520 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=580520 CPUtime=1182.32 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 156398 0 0 0 118170 62 0 0 25 0 4 0 504895032 594452480 94535 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=580520 CPUtime=1182.31 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 89620 0 0 0 118196 35 0 0 25 0 4 0 504895032 594452480 94536 33554432000 4194304 4650419 140733295479520 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.91
Current children cumulated vsize (KiB) 580520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.06 8.05 7.96 9/184 32537
/proc/meminfo: memFree=24182016/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=580520 CPUtime=4800.02 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 626605 0 0 0 479775 227 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 145130 99406 395 112 0 140095 0
[pid=32458/tid=32462] ppid=32454 vsize=580520 CPUtime=1195.27 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 194411 0 0 0 119463 64 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=580520 CPUtime=1201.62 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 156398 0 0 0 120100 62 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=580520 CPUtime=1201.62 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 89620 0 0 0 120127 35 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 580520

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

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

[startup+1201.6 s]
/proc/loadavg: 8.06 8.05 7.96 9/184 32537
/proc/meminfo: memFree=24182016/32951124 swapFree=67111524/67111528
[pid=32458] ppid=32454 vsize=580520 CPUtime=4800.02 cores=0,2,4,6
/proc/32458/stat : 32458 (strangenight1-m) R 32454 32458 31482 0 -1 4202496 626605 0 0 0 479775 227 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32458/statm: 145130 99406 395 112 0 140095 0
[pid=32458/tid=32462] ppid=32454 vsize=580520 CPUtime=1195.27 cores=0,2,4,6
/proc/32458/task/32462/stat : 32462 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 194411 0 0 0 119463 64 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32458/tid=32463] ppid=32454 vsize=580520 CPUtime=1201.62 cores=0,2,4,6
/proc/32458/task/32463/stat : 32463 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 156398 0 0 0 120100 62 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32458/tid=32464] ppid=32454 vsize=580520 CPUtime=1201.62 cores=0,2,4,6
/proc/32458/task/32464/stat : 32464 (strangenight1-m) R 32454 32458 31482 0 -1 4202560 89620 0 0 0 120127 35 0 0 25 0 4 0 504895032 594452480 99406 33554432000 4194304 4650419 140733295479520 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 580520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.07
CPU user time (s): 4797.77
CPU system time (s): 2.29265
CPU usage (%): 399.462
Max. virtual memory (cumulated for all children) (KiB): 695168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.29265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626605
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= 192
involuntary context switches= 22224

runsolver used 1.9617 second user time and 4.41533 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-30 02:53:12
IDJOB=3175452
IDBENCH=83070
IDSOLVER=1588
FILE ID=node145/3175452-1304124792
RUNJOBID= node145-1304124792-32439
PBS_JOBID= 13170721
Free space on /tmp= 72208 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175452-1304124792/watcher-3175452-1304124792 -o /tmp/evaluation-result-3175452-1304124792/solver-3175452-1304124792 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175452-1304124792.cnf

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

MD5SUM BENCH= 7ba801e5e19de5d13bce0ebc43b52968
RANDOM SEED=1667161464

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:      25021532 kB
Buffers:       1269352 kB
Cached:        6073404 kB
SwapCached:          4 kB
Active:         761448 kB
Inactive:      6645052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25021532 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12596 kB
Writeback:           0 kB
AnonPages:       64120 kB
Mapped:          14488 kB
Slab:           460564 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184628 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= 72196 MiB
End job on node145 at 2011-04-30 03:13:15