Trace number 3174174

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-2-mt? (TO) 4800.34 1201.76

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf
MD5SUM95ba8379aa2e59896c8d6334d91cdeab
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010997
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174174-1304108989.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 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.71/0.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.71/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.71/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.71/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.71/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.71/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
0.71/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.71/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.71/0.18	c calculated reachability. Time: 0.00
0.71/0.18	c Calc default polars -  time:   0.00 s pos:     295 undec:      70 neg:     335
0.71/0.18	c =========================================================================================
0.71/0.18	c types(t): F = full restart, N = normal restart
0.71/0.18	c types(t): S = simplification begin/end, E = solution found
0.71/0.18	c restart types(rt): st = static, dy = dynamic
0.71/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.71/0.18	c  B st     0         0       684      2960         0         0      8990         0   no data   no data
0.71/0.18	c Decided on static restart strategy
0.71/0.18	c  N st     8      4914       684      2960         0      4864      8990    142172   no data   no data
3.17/0.80	c  N st    10     11298       684      2960         0      4506      8990     91456   no data   no data
3.17/0.80	c  N st    11     17041       684      2960         0     10184      8990    269924   no data   no data
4.39/1.18	c  F st    12     25002       684      2960         0     12489      8990    343820   no data   no data
4.39/1.18	c  N st    12     25002       684      2960         0     12489      8990    343820   no data   no data
5.57/1.45	c  N dy    18     30001       684      2960         0     10741      8990    262961   no data   no data
5.57/1.45	c  S st    18     30001       684      2960         0     10741      8990    262961   no data   no data
5.57/1.48	c  S st    18     30506       684      2960         0     11246      8990    276926   no data   no data
5.57/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.48	c blocked clauses removed:       19 vars:      3 tried:         684 T: 0.00 s
5.57/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
5.57/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.54	c lits-rem:       168  cl-subs:      223  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.55	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.01
5.96/1.55	c calculated reachability. Time: 0.00
5.96/1.55	c  N dy    18     30506       681      2941         0     10981      8933    266361   no data   no data
7.16/1.80	c  N dy    36     34576       681      2941         0     15025      8933    379796     18.86     24.73
7.97/2.04	c  N dy    59     38980       681      2941         0     11577      8933    220013     19.27     20.31
9.19/2.31	c  N dy    77     43264       681      2941         0     15823      8933    338447     19.22     20.29
9.56/2.48	c  S st    82     45760       681      2941         0      9421      8933    125045     19.02     18.61
9.96/2.51	c  S st    82     46267       681      2941         0      9928      8933    139068     19.02   no data
9.96/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
9.96/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.53	c lits-rem:        15  cl-subs:       13  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.53	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
9.96/2.53	c vivif2 --  cl tried     9915 cl shrink        0 lits rem          0 time: 0.00
9.96/2.54	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.01
9.96/2.54	c calculated reachability. Time: 0.00
9.96/2.54	c  N dy    82     46267       681      2941         0      9915      8933    138595     19.02   no data
10.76/2.78	c  N dy    98     50428       681      2941         0     14053      8933    253654     19.00     20.07
11.96/3.06	c  N dy   121     54449       681      2941         0     18053      8933    365917     19.06     20.17
13.18/3.36	c  N dy   141     59036       681      2941         0     12700      8933    187810     19.09     20.23
14.35/3.63	c  N dy   166     63220       681      2941         0     16858      8933    308438     19.22     20.32
15.55/3.94	c  N dy   180     67306       681      2941         0     20917      8933    424046     19.20     20.49
16.36/4.10	c  S st   184     69401       681      2941         0     12082      8933    148744     19.15     17.64
16.36/4.13	c  S st   184     69902       681      2941         0     12582      8933    162998     19.15   no data
16.36/4.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
16.36/4.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.16	c lits-rem:         5  cl-subs:       25  v-elim:      0  v-fix:    0  time:  0.01 s
16.36/4.16	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c vivif2 --  cl tried    12557 cl shrink        0 lits rem          0 time: 0.00
16.36/4.17	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.01
16.36/4.17	c calculated reachability. Time: 0.00
16.36/4.17	c  N dy   184     69902       681      2941         0     12557      8933    162164     19.15   no data
17.57/4.47	c  N dy   196     74552       681      2941         0     17154      8933    288763     19.08     20.26
19.15/4.85	c  N dy   219     79394       681      2941         0     21954      8933    426797     19.12     20.13
20.75/5.22	c  N dy   231     84472       681      2941         0     15094      8933    209692     19.02     20.10
21.55/5.43	c  F st   248     87500       681      2941         0     18105      8933    295165     19.06     18.72
22.36/5.68	c  N st   253     90796       681      2941         0     21374      8933    389127     19.06   no data
23.14/5.84	c Decided on static restart strategy
25.54/6.44	c  N st   256     99806       681      2941         0     17369      8933    405667     19.06   no data
27.13/6.88	c  S st   257    104853       681      2941         0     22346      8933    558968     19.06   no data
27.53/6.93	c  S st   257    105365       681      2941         0     22856      8933    573107     19.06   no data
27.53/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.53/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
27.53/6.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.53/6.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.53/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.25	c lits-rem:       360  cl-subs:      821  v-elim:      0  v-fix:    0  time:  0.28 s
28.74/7.25	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
28.74/7.26	c vivif2 --  cl tried    22035 cl shrink        0 lits rem          0 time: 0.01
28.74/7.27	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.01
28.74/7.27	c calculated reachability. Time: 0.00
28.74/7.27	c  N st   257    105365       681      2941         0     22035      8933    541535     19.06   no data
32.33/8.13	c  N st   258    114963       681      2941         0     17689      8933    361254     19.06   no data
37.93/9.56	c  N st   259    129360       681      2941         0     17105      8933    346495     19.06   no data
45.91/11.53	c  N st   260    150955       681      2941         0     22626      8933    475358     19.06   no data
48.73/12.27	c  S st   261    158048       681      2941         0     29631      8933    699250     19.06   no data
49.11/12.35	c  S st   261    158555       681      2941         0     30138      8933    713739     19.06   no data
49.11/12.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.11/12.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
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:    681 time:  0.00 s
49.11/12.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.11/12.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.11/12.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.70/12.77	c lits-rem:       123  cl-subs:      872  v-elim:      0  v-fix:    0  time:  0.38 s
50.70/12.77	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
50.70/12.78	c vivif2 --  cl tried    29266 cl shrink        0 lits rem          0 time: 0.01
51.10/12.80	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.02
51.10/12.80	c calculated reachability. Time: 0.00
51.10/12.80	c  N st   261    158555       681      2941         0     29266      8933    684970     19.06   no data
71.08/17.84	c  N st   262    207143       681      2941         0     23991      8933    462550     19.06   no data
85.06/21.36	c  N st   263    237832       681      2941         0     34411      8933    749043     19.06   no data
85.06/21.36	c  S st   263    237832       681      2941         0     34411      8933    749043     19.06   no data
85.46/21.45	c  S st   263    238336       681      2941         0     34915      8933    763828     19.06   no data
85.46/21.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.46/21.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.46/21.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.46/21.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.46/21.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.46/21.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
85.46/21.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.46/21.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.46/21.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.65/22.27	c lits-rem:       384  cl-subs:     1489  v-elim:      0  v-fix:    0  time:  0.77 s
88.65/22.27	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
88.65/22.28	c vivif2 --  cl tried    33426 cl shrink        0 lits rem          0 time: 0.01
89.05/22.30	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.02
89.05/22.31	c calculated reachability. Time: 0.00
89.05/22.31	c  N st   263    238336       681      2941         0     33426      8933    714759     19.06   no data
122.61/30.72	c  F st   264    306250       681      2941         0     35246      8933    715544     19.06   no data
122.61/30.72	c  N st   264    306250       681      2941         0     35246      8933    715544     19.06   no data
125.40/31.48	c Decided on static restart strategy
136.99/34.39	c  N st   274    334558       681      2941         0     39603      8933    850393     19.06   no data
148.98/37.35	c  N st   276    357508       681      2941         0     37668      8933    777644     19.06   no data
148.98/37.35	c  S st   276    357508       681      2941         0     37668      8933    777644     19.06   no data
149.39/37.45	c  S st   276    358010       681      2941         0     38170      8933    791973     19.06   no data
149.39/37.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.39/37.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.39/37.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.39/37.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.39/37.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.39/37.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
149.39/37.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.39/37.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.79/37.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.37/37.92	c lits-rem:       493  cl-subs:      706  v-elim:      0  v-fix:    0  time:  0.41 s
151.37/37.92	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
151.37/37.93	c vivif2 --  cl tried    37464 cl shrink        0 lits rem          0 time: 0.01
151.37/37.95	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.03
151.37/37.96	c calculated reachability. Time: 0.00
151.37/37.96	c  N st   276    358010       681      2941         0     37464      8933    763228     19.06   no data
169.75/42.57	c  N st   277    390402       681      2941         0     43816      8933    942503     19.06   no data
199.30/49.97	c  N st   278    438992       681      2941         0     37501      8933    692776     19.06   no data
241.66/60.53	c  N st   279    511874       681      2941         0     51287      8933   1088921     19.06   no data
256.02/64.12	c  N st   280    537016       681      2941         0     45471      8933    871929     19.06   no data
256.02/64.12	c  S st   280    537016       681      2941         0     45471      8933    871929     19.06   no data
256.42/64.24	c  S st   280    537516       681      2941         0     45969      8933    886164     19.06   no data
256.42/64.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
256.42/64.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
256.42/64.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
256.42/64.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.42/64.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.42/64.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
256.42/64.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
256.42/64.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
256.82/64.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.24/64.97	c lits-rem:       190  cl-subs:     1056  v-elim:      0  v-fix:    0  time:  0.67 s
259.24/64.97	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
259.24/64.98	c vivif2 --  cl tried    44913 cl shrink        0 lits rem          0 time: 0.01
259.65/65.02	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.03
259.65/65.02	c calculated reachability. Time: 0.00
259.65/65.02	c  N st   280    537516       681      2941         0     44913      8933    848596     19.06   no data
373.49/93.56	c  N st   281    701501       681      2941         0     38726      8933    527954     19.06   no data
450.57/112.89	c  N st   282    806274       681      2941         0     67580      8933   1351681     19.06   no data
450.57/112.89	c  S st   282    806274       681      2941         0     67580      8933   1351681     19.06   no data
451.37/113.09	c  S st   282    806777       681      2941         0     68082      8933   1366136     19.06   no data
451.37/113.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
451.76/113.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
451.76/113.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
451.76/113.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
451.76/113.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.76/113.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
451.76/113.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
451.76/113.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
451.76/113.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
472.54/118.36	c lits-rem:       679  cl-subs:     4824  v-elim:      0  v-fix:    0  time:  5.17 s
472.54/118.36	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
472.54/118.37	c vivif2 --  cl tried    63258 cl shrink        0 lits rem          0 time: 0.02
472.94/118.44	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.06
472.94/118.44	c calculated reachability. Time: 0.00
472.94/118.44	c  N st   282    806777       681      2941         0     63258      8933   1223279     19.06   no data
689.44/172.63	c  F st   283   1071876       681      2941         0     79091      8933   1593171     19.06   no data
689.44/172.63	c  N st   283   1071876       681      2941         0     79091      8933   1593171     19.06   no data
695.83/174.23	c Decided on static restart strategy
714.21/178.84	c  N st   293   1100178       681      2941         0     62988      8933   1083874     19.06   no data
748.96/187.58	c  N st   295   1136172       681      2941         0     53275      8933    751968     19.06   no data
779.72/195.24	c  N st   296   1168566       681      2941         0     85125      8933   1725987     19.06   no data
814.07/203.86	c  N st   297   1210165       681      2941         0     79850      8933   1581992     19.06   no data
814.07/203.86	c  S st   297   1210165       681      2941         0     79850      8933   1581992     19.06   no data
815.27/204.10	c  S st   297   1210667       681      2941         0     80352      8933   1595262     19.06   no data
815.27/204.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
815.27/204.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
815.27/204.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
815.27/204.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
815.27/204.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.27/204.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
815.27/204.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
815.27/204.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
815.67/204.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
832.05/208.38	c lits-rem:       725  cl-subs:     2781  v-elim:      0  v-fix:    0  time:  4.16 s
832.05/208.38	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
832.45/208.40	c vivif2 --  cl tried    77571 cl shrink        0 lits rem          0 time: 0.02
832.45/208.48	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.08
832.45/208.48	c calculated reachability. Time: 0.00
832.45/208.48	c  N st   297   1210667       681      2941         0     77571      8933   1504280     19.06   no data
902.74/226.05	c  N st   298   1283550       681      2941         0     53903      8933    727867     19.06   no data
995.43/249.23	c  N st   299   1392877       681      2941         0     62201      8933    973319     19.06   no data
1165.60/291.85	c  N st   300   1556864       681      2941         0     66926      8933   1060328     19.06   no data
1341.36/335.80	c  N st   301   1710669       681      2941         0    109234      8933   2554572     19.06   no data
1341.36/335.80	c  S st   301   1710669       681      2941         0    109234      8933   2554572     19.06   no data
1342.56/336.13	c  S st   301   1711173       681      2941         0    109737      8933   2569444     19.06   no data
1342.56/336.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1342.96/336.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1342.96/336.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1342.96/336.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1342.96/336.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1342.96/336.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
1342.96/336.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1342.96/336.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1343.36/336.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1402.48/351.15	c lits-rem:      1468  cl-subs:     4532  v-elim:      0  v-fix:    0  time: 14.83 s
1402.48/351.15	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
1402.48/351.18	c vivif2 --  cl tried   105205 cl shrink        0 lits rem          0 time: 0.03
1403.28/351.30	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.12
1403.28/351.31	c calculated reachability. Time: 0.00
1403.28/351.31	c  N st   301   1711173       681      2941         0    105205      8933   2392093     19.06   no data
1851.07/463.45	c  N st   302   2080139       681      2941         0    116832      8933   2610240     19.06   no data
2018.04/505.25	c  N st   303   2211174       681      2941         0    120567      8933   2680321     19.06   no data
2018.04/505.25	c  S st   303   2211174       681      2941         0    120567      8933   2680321     19.06   no data
2019.64/505.64	c  S st   303   2211680       681      2941         0    121073      8933   2694886     19.06   no data
2019.64/505.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2020.04/505.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2020.04/505.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2020.04/505.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2020.04/505.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2020.04/505.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
2020.04/505.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2020.04/505.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2020.44/505.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2094.74/524.40	c lits-rem:       855  cl-subs:     5526  v-elim:      0  v-fix:    0  time: 18.56 s
2094.74/524.40	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
2094.74/524.44	c vivif2 --  cl tried   115547 cl shrink        0 lits rem          0 time: 0.03
2095.14/524.57	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.13
2095.14/524.57	c calculated reachability. Time: 0.00
2095.14/524.57	c  N st   303   2211680       681      2941         0    115547      8933   2495340     19.06   no data
2771.41/693.88	c  N st   304   2711682       681      2941         0    139040      8933   3000678     19.06   no data
2771.41/693.88	c  S st   304   2711682       681      2941         0    139040      8933   3000678     19.06   no data
2773.41/694.35	c  S st   304   2712185       681      2941         0    139543      8933   3014995     19.06   no data
2773.41/694.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2773.81/694.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2773.81/694.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2773.81/694.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2773.81/694.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2773.81/694.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
2773.81/694.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2773.81/694.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2774.21/694.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2868.09/718.03	c lits-rem:       877  cl-subs:     7845  v-elim:      0  v-fix:    0  time: 23.46 s
2868.09/718.03	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
2868.09/718.07	c vivif2 --  cl tried   131698 cl shrink        0 lits rem          0 time: 0.04
2868.89/718.22	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.15
2868.89/718.22	c calculated reachability. Time: 0.00
2868.89/718.22	c  N st   304   2712185       681      2941         0    131698      8933   2785475     19.06   no data
3539.98/886.20	c  N st   305   3212186       681      2941         0    107700      8933   1910628     19.06   no data
3539.98/886.20	c  S st   305   3212186       681      2941         0    107700      8933   1910628     19.06   no data
3541.59/886.63	c  S st   305   3212687       681      2941         0    108199      8933   1924919     19.06   no data
3541.59/886.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3541.99/886.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3541.99/886.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3541.99/886.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3541.99/886.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3541.99/886.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
3541.99/886.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3541.99/886.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3542.37/886.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3575.93/895.21	c lits-rem:       463  cl-subs:     2671  v-elim:      0  v-fix:    0  time:  8.39 s
3575.93/895.21	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
3575.93/895.24	c vivif2 --  cl tried   105528 cl shrink        0 lits rem          0 time: 0.03
3576.33/895.40	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.15
3576.33/895.40	c calculated reachability. Time: 0.00
3576.33/895.40	c  N st   305   3212687       681      2941         0    105528      8933   1834990     19.06   no data
4356.87/1090.75	c  N st   306   3712687       681      2941         0    116142      8933   2003030     19.06   no data
4356.87/1090.75	c  S st   306   3712687       681      2941         0    116142      8933   2003030     19.06   no data
4358.88/1091.22	c  S st   306   3713192       681      2941         0    116647      8933   2017259     19.06   no data
4358.88/1091.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4359.28/1091.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.08
4359.28/1091.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4359.28/1091.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4359.28/1091.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4359.28/1091.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
4359.28/1091.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4359.28/1091.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4359.66/1091.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4401.60/1101.94	c lits-rem:       336  cl-subs:     3812  v-elim:      0  v-fix:    0  time: 10.52 s
4401.60/1101.94	c vivif2 --  cl tried     2941 cl shrink        0 lits rem          0 time: 0.00
4401.60/1101.97	c vivif2 --  cl tried   112835 cl shrink        0 lits rem          0 time: 0.03
4402.41/1102.14	c asymm  cl-useful: 0/2941/2941 lits-rem:0 time: 0.17
4402.41/1102.15	c calculated reachability. Time: 0.00
4402.41/1102.15	c  N st   306   3713192       681      2941         0    112835      8933   1901487     19.06   no data
4469.51/1118.93	c  F st   307   3751562       681      2941         0    150704      8933   3250856     19.06   no data
4469.51/1118.93	c  N st   307   3751562       681      2941         0    150704      8933   3250856     19.06   no data
4481.49/1121.97	c Decided on static restart strategy
4520.64/1131.77	c  N st   317   3779867       681      2941         0     95126      8933   1215873     19.06   no data
4573.37/1144.96	c  N st   319   3815860       681      2941         0    130613      8933   2380378     19.06   no data
4639.29/1161.41	c  N st   320   3848252       681      2941         0    162392      8933   3423138     19.06   no data
4719.18/1181.44	c  N st   321   3896841       681      2941         0    125773      8933   2240811     19.06   no data

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-3174174-1304108989/watcher-3174174-1304108989 -o /tmp/evaluation-result-3174174-1304108989/solver-3174174-1304108989 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174174-1304108989.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: 8.09 8.09 7.84 6/180 3520
/proc/meminfo: memFree=29096680/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 601129575 52441088 352 33554432000 4194304 4627427 140736642014224 18446744073709551615 47782026057644 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 12803 352 303 106 0 7774 0
[pid=3520/tid=3521] ppid=3518 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601129576 52441088 352 33554432000 4194304 4627427 140736642014224 18446744073709551615 47782026057644 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601129576 52441088 352 33554432000 4194304 4627427 140736642014224 18446744073709551615 47782026057650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 601129576 52441088 352 33554432000 4194304 4627427 140736642014224 18446744073709551615 251367546811 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.184198 s]
/proc/loadavg: 8.09 8.09 7.84 6/180 3520
/proc/meminfo: memFree=29096680/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=300012 CPUtime=0.71 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 2368 0 0 0 71 0 0 0 25 0 4 0 601129575 307212288 2053 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308684 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 75003 2058 385 106 0 69974 0
[pid=3520/tid=3521] ppid=3518 vsize=300012 CPUtime=0.17 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 537 0 0 0 17 0 0 0 18 0 4 0 601129576 307212288 2059 33554432000 4194304 4627427 140736642014224 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=300012 CPUtime=0.17 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 564 0 0 0 17 0 0 0 18 0 4 0 601129576 307212288 2062 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=300012 CPUtime=0.17 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 379 0 0 0 17 0 0 0 18 0 4 0 601129576 307212288 2064 33554432000 4194304 4627427 140736642014224 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 300012

[startup+0.208543 s]
/proc/loadavg: 8.09 8.09 7.84 6/180 3520
/proc/meminfo: memFree=29096680/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=284092 CPUtime=0.81 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 2689 0 0 0 81 0 0 0 25 0 4 0 601129575 290910208 1847 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 71023 1847 385 106 0 65994 0
[pid=3520/tid=3521] ppid=3518 vsize=284092 CPUtime=0.2 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 628 0 0 0 20 0 0 0 18 0 4 0 601129576 290910208 1847 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=284092 CPUtime=0.2 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 586 0 0 0 20 0 0 0 18 0 4 0 601129576 290910208 1847 33554432000 4194304 4627427 140736642014224 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=284092 CPUtime=0.19 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 478 0 0 0 19 0 0 0 18 0 4 0 601129576 290910208 1847 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 284092

[startup+0.300527 s]
/proc/loadavg: 8.09 8.09 7.84 6/180 3520
/proc/meminfo: memFree=29096680/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=284092 CPUtime=1.17 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 3116 0 0 0 117 0 0 0 25 0 4 0 601129575 290910208 2274 33554432000 4194304 4627427 140736642014224 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 71023 2274 385 106 0 65994 0
[pid=3520/tid=3521] ppid=3518 vsize=284272 CPUtime=0.29 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 732 0 0 0 29 0 0 0 18 0 4 0 601129576 291094528 2284 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=284272 CPUtime=0.29 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 695 0 0 0 29 0 0 0 18 0 4 0 601129576 291094528 2285 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=284272 CPUtime=0.29 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 596 0 0 0 29 0 0 0 18 0 4 0 601129576 291094528 2285 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284092

[startup+0.700454 s]
/proc/loadavg: 8.09 8.09 7.84 6/180 3520
/proc/meminfo: memFree=29096680/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=285264 CPUtime=2.77 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 4878 0 0 0 277 0 0 0 25 0 4 0 601129575 292110336 2977 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 71316 2977 385 106 0 66287 0
[pid=3520/tid=3521] ppid=3518 vsize=285264 CPUtime=0.69 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 1173 0 0 0 69 0 0 0 18 0 4 0 601129576 292110336 2977 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=285264 CPUtime=0.69 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 1114 0 0 0 69 0 0 0 18 0 4 0 601129576 292110336 2977 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=285264 CPUtime=0.68 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 1027 0 0 0 68 0 0 0 18 0 4 0 601129576 292110336 2977 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285264

[startup+1.50031 s]
/proc/loadavg: 8.09 8.09 7.84 9/184 3530
/proc/meminfo: memFree=29084248/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=293156 CPUtime=5.96 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 9984 0 0 0 595 1 0 0 25 0 4 0 601129575 300191744 5105 33554432000 4194304 4627427 140736642014224 18446744073709551615 251367243895 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 73289 5116 389 106 0 68260 0
[pid=3520/tid=3521] ppid=3518 vsize=293156 CPUtime=1.49 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 2063 0 0 0 149 0 0 0 20 0 4 0 601129576 300191744 5118 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=293156 CPUtime=1.49 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 2004 0 0 0 149 0 0 0 20 0 4 0 601129576 300191744 5120 33554432000 4194304 4627427 140736642014224 18446744073709551615 4332309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=293156 CPUtime=1.48 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 1888 0 0 0 148 0 0 0 20 0 4 0 601129576 300191744 5123 33554432000 4194304 4627427 140736642014224 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 293156

[startup+3.10101 s]
/proc/loadavg: 8.08 8.09 7.84 9/184 3530
/proc/meminfo: memFree=29069864/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=301996 CPUtime=12.36 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 20082 0 0 0 1233 3 0 0 25 0 4 0 601129575 309243904 11400 33554432000 4194304 4627427 140736642014224 18446744073709551615 4299706 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 75499 11400 389 106 0 70470 0
[pid=3520/tid=3521] ppid=3518 vsize=301996 CPUtime=3.09 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 4502 0 0 0 309 0 0 0 25 0 4 0 601129576 309243904 11400 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=301996 CPUtime=3.08 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 5581 0 0 0 308 0 0 0 25 0 4 0 601129576 309243904 11400 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=301996 CPUtime=3.07 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 4990 0 0 0 306 1 0 0 25 0 4 0 601129576 309243904 11400 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 301996

[startup+6.30042 s]
/proc/loadavg: 8.08 8.09 7.84 9/184 3530
/proc/meminfo: memFree=29043884/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=321556 CPUtime=25.14 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 29992 0 0 0 2509 5 0 0 25 0 4 0 601129575 329273344 15564 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 80389 15564 389 106 0 75360 0
[pid=3520/tid=3521] ppid=3518 vsize=321556 CPUtime=6.29 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 8580 0 0 0 628 1 0 0 25 0 4 0 601129576 329273344 15564 33554432000 4194304 4627427 140736642014224 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=321556 CPUtime=6.28 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 7721 0 0 0 628 0 0 0 25 0 4 0 601129576 329273344 15564 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=321556 CPUtime=6.25 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 7001 0 0 0 624 1 0 0 25 0 4 0 601129576 329273344 15564 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 321556

[startup+12.7002 s]
/proc/loadavg: 8.07 8.09 7.84 9/184 3530
/proc/meminfo: memFree=28999368/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=287024 CPUtime=50.7 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 50183 0 0 0 5062 8 0 0 25 0 4 0 601129575 293912576 27205 33554432000 4194304 4627427 140736642014224 18446744073709551615 4427136 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 71756 27205 389 106 0 66727 0
[pid=3520/tid=3521] ppid=3518 vsize=287024 CPUtime=12.69 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 13640 0 0 0 1267 2 0 0 25 0 4 0 601129576 293912576 27205 33554432000 4194304 4627427 140736642014224 18446744073709551615 4325081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=287024 CPUtime=12.68 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 11866 0 0 0 1267 1 0 0 25 0 4 0 601129576 293912576 27205 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=287024 CPUtime=12.61 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 12637 0 0 0 1259 2 0 0 25 0 4 0 601129576 293912576 27205 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 287024

[startup+25.5009 s]
/proc/loadavg: 8.06 8.08 7.84 9/184 3530
/proc/meminfo: memFree=28950144/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=294876 CPUtime=101.84 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 69577 0 0 0 10171 13 0 0 25 0 4 0 601129575 301953024 33829 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 73719 33829 389 106 0 68690 0
[pid=3520/tid=3521] ppid=3518 vsize=294876 CPUtime=25.49 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 20760 0 0 0 2545 4 0 0 25 0 4 0 601129576 301953024 33829 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=294876 CPUtime=25.48 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 15829 0 0 0 2546 2 0 0 25 0 4 0 601129576 301953024 33829 33554432000 4194304 4627427 140736642014224 18446744073709551615 4330912 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=294876 CPUtime=25.34 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 16237 0 0 0 2531 3 0 0 25 0 4 0 601129576 301953024 33829 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 294876

[startup+51.1011 s]
/proc/loadavg: 8.04 8.08 7.85 9/184 3531
/proc/meminfo: memFree=28902124/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=385092 CPUtime=204.09 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 103810 0 0 0 20389 20 0 0 25 0 4 0 601129575 394334208 46924 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 96273 46924 389 106 0 91244 0
[pid=3520/tid=3521] ppid=3518 vsize=385092 CPUtime=51.08 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 27678 0 0 0 5103 5 0 0 25 0 4 0 601129576 394334208 46924 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=385092 CPUtime=51.09 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 26803 0 0 0 5104 5 0 0 25 0 4 0 601129576 394334208 46924 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=385092 CPUtime=50.81 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 24725 0 0 0 5075 6 0 0 25 0 4 0 601129576 394334208 46924 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 385092

[startup+102.301 s]
/proc/loadavg: 8.05 8.07 7.86 9/184 3563
/proc/meminfo: memFree=29109928/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=407448 CPUtime=408.63 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 145234 0 0 0 40830 33 0 0 25 0 4 0 601129575 417226752 59756 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 101862 59756 389 106 0 96833 0
[pid=3520/tid=3521] ppid=3518 vsize=407448 CPUtime=102.28 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 39742 0 0 0 10219 9 0 0 25 0 4 0 601129576 417226752 59756 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=407448 CPUtime=102.29 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 39083 0 0 0 10220 9 0 0 25 0 4 0 601129576 417226752 59756 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=407448 CPUtime=101.74 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 35286 0 0 0 10166 8 0 0 25 0 4 0 601129576 417226752 59756 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 407448

[startup+162.301 s]

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

[pid=3520] ppid=3518 vsize=606468 CPUtime=2565.7 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 457322 0 0 0 256418 152 0 0 25 0 4 0 601129575 621023232 105688 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 151617 105688 389 106 0 146588 0
[pid=3520/tid=3521] ppid=3518 vsize=606468 CPUtime=642.24 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 124987 0 0 0 64182 42 0 0 25 0 4 0 601129576 621023232 105688 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=606468 CPUtime=642.3 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 146758 0 0 0 64183 47 0 0 25 0 4 0 601129576 621023232 105688 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=606468 CPUtime=638.81 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 79270 0 0 0 63856 25 0 0 25 0 4 0 601129576 621023232 105688 33554432000 4194304 4627427 140736642014224 18446744073709551615 4310561 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 606468

[startup+702.301 s]
/proc/loadavg: 8.13 8.11 7.95 9/184 3585
/proc/meminfo: memFree=28626176/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=784840 CPUtime=2805.37 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 487608 0 0 0 280373 164 0 0 25 0 4 0 601129575 803676160 115613 33554432000 4194304 4627427 140736642014224 18446744073709551615 4420194 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 196210 115613 389 106 0 191181 0
[pid=3520/tid=3521] ppid=3518 vsize=784840 CPUtime=702.25 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 133107 0 0 0 70179 46 0 0 25 0 4 0 601129576 803676160 115613 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=784840 CPUtime=702.3 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 155270 0 0 0 70179 51 0 0 25 0 4 0 601129576 803676160 115613 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=784840 CPUtime=698.48 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 82200 0 0 0 69822 26 0 0 25 0 4 0 601129576 803676160 115613 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 784840

[startup+762.301 s]
/proc/loadavg: 8.09 8.10 7.96 9/184 3587
/proc/meminfo: memFree=28568584/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=647296 CPUtime=3045.06 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 518644 0 0 0 304329 177 0 0 25 0 4 0 601129575 662831104 123262 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 161824 123262 389 106 0 156795 0
[pid=3520/tid=3521] ppid=3518 vsize=647296 CPUtime=762.24 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 140619 0 0 0 76174 50 0 0 25 0 4 0 601129576 662831104 123262 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=647296 CPUtime=762.31 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 166519 0 0 0 76176 55 0 0 25 0 4 0 601129576 662831104 123262 33554432000 4194304 4627427 140736642014224 18446744073709551615 4310489 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=647296 CPUtime=758.16 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 87942 0 0 0 75787 29 0 0 25 0 4 0 601129576 662831104 123262 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 647296

[startup+822.301 s]
/proc/loadavg: 8.07 8.10 7.96 9/184 3589
/proc/meminfo: memFree=28553280/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=764184 CPUtime=3284.71 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 542570 0 0 0 328284 187 0 0 25 0 4 0 601129575 782524416 125197 33554432000 4194304 4627427 140736642014224 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 191046 125197 389 106 0 186017 0
[pid=3520/tid=3521] ppid=3518 vsize=764184 CPUtime=822.24 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 148402 0 0 0 82170 54 0 0 25 0 4 0 601129576 782524416 125197 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=764184 CPUtime=822.31 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 174621 0 0 0 82173 58 0 0 25 0 4 0 601129576 782524416 125197 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=764184 CPUtime=817.83 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 90912 0 0 0 81753 30 0 0 25 0 4 0 601129576 782524416 125197 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 764184

[startup+882.307 s]
/proc/loadavg: 8.06 8.09 7.97 9/184 3590
/proc/meminfo: memFree=28553232/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=688724 CPUtime=3524.41 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 575171 0 0 0 352240 201 0 0 25 0 4 0 601129575 705253376 122166 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 172181 122166 389 106 0 167152 0
[pid=3520/tid=3521] ppid=3518 vsize=688724 CPUtime=882.24 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 162894 0 0 0 88166 58 0 0 25 0 4 0 601129576 705253376 122166 33554432000 4194304 4627427 140736642014224 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=688724 CPUtime=882.31 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 182979 0 0 0 88169 62 0 0 25 0 4 0 601129576 705253376 122166 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=688724 CPUtime=877.5 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 94526 0 0 0 87719 31 0 0 25 0 4 0 601129576 705253376 122166 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 688724

[startup+942.3 s]
/proc/loadavg: 8.02 8.07 7.97 9/184 3592
/proc/meminfo: memFree=28491040/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=808196 CPUtime=3764.06 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 598560 0 0 0 376194 212 0 0 25 0 4 0 601129575 827592704 131314 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 202049 131314 389 106 0 197020 0
[pid=3520/tid=3521] ppid=3518 vsize=808196 CPUtime=942.22 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 167585 0 0 0 94161 61 0 0 25 0 4 0 601129576 827592704 131314 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=808196 CPUtime=942.31 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 191998 0 0 0 94165 66 0 0 25 0 4 0 601129576 827592704 131314 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=808196 CPUtime=937.18 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 97705 0 0 0 93685 33 0 0 25 0 4 0 601129576 827592704 131314 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 808196

[startup+1002.3 s]
/proc/loadavg: 8.00 8.06 7.97 9/184 3593
/proc/meminfo: memFree=28511080/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=761468 CPUtime=4003.74 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 625533 0 0 0 400149 225 0 0 25 0 4 0 601129575 779743232 128245 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 190367 128245 389 106 0 185338 0
[pid=3520/tid=3521] ppid=3518 vsize=761468 CPUtime=1002.23 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 175624 0 0 0 100157 66 0 0 25 0 4 0 601129576 779743232 128245 33554432000 4194304 4627427 140736642014224 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=761468 CPUtime=1002.31 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 199905 0 0 0 100162 69 0 0 25 0 4 0 601129576 779743232 128245 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=761468 CPUtime=996.85 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 101153 0 0 0 99651 34 0 0 25 0 4 0 601129576 779743232 128245 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 761468

[startup+1062.3 s]
/proc/loadavg: 8.00 8.04 7.97 9/184 3595
/proc/meminfo: memFree=28495772/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=762340 CPUtime=4243.42 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 656026 0 0 0 424103 239 0 0 25 0 4 0 601129575 780636160 132659 33554432000 4194304 4627427 140736642014224 18446744073709551615 4305848 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 190585 132659 389 106 0 185556 0
[pid=3520/tid=3521] ppid=3518 vsize=762340 CPUtime=1062.22 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 183897 0 0 0 106152 70 0 0 25 0 4 0 601129576 780636160 132659 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=762340 CPUtime=1062.32 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 207695 0 0 0 106160 72 0 0 25 0 4 0 601129576 780636160 132659 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=762340 CPUtime=1056.53 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 107695 0 0 0 105617 36 0 0 25 0 4 0 601129576 780636160 132659 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 762340

[startup+1122.3 s]
/proc/loadavg: 8.22 8.09 7.99 9/184 3597
/proc/meminfo: memFree=28412624/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=1007456 CPUtime=4483.09 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 681907 0 0 0 448061 248 0 0 25 0 4 0 601129575 1031634944 145048 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 251864 145048 389 106 0 246835 0
[pid=3520/tid=3521] ppid=3518 vsize=1007456 CPUtime=1122.21 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 193358 0 0 0 112148 73 0 0 25 0 4 0 601129576 1031634944 145048 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=1007456 CPUtime=1122.32 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 213124 0 0 0 112158 74 0 0 25 0 4 0 601129576 1031634944 145048 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=1007456 CPUtime=1116.21 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 112220 0 0 0 111583 38 0 0 25 0 4 0 601129576 1031634944 145048 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 1007456

[startup+1182.3 s]
/proc/loadavg: 8.20 8.11 8.00 9/184 3598
/proc/meminfo: memFree=28440464/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=828952 CPUtime=4722.77 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 707354 0 0 0 472018 259 0 0 25 0 4 0 601129575 848846848 138086 33554432000 4194304 4627427 140736642014224 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 207238 138086 389 106 0 202209 0
[pid=3520/tid=3521] ppid=3518 vsize=828952 CPUtime=1182.21 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 200708 0 0 0 118144 77 0 0 25 0 4 0 601129576 848846848 138086 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309173 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=828952 CPUtime=1182.32 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 222697 0 0 0 118155 77 0 0 25 0 4 0 601129576 848846848 138086 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=828952 CPUtime=1175.88 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 113654 0 0 0 117550 38 0 0 25 0 4 0 601129576 848846848 138086 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 828952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.11 8.00 9/184 3599
/proc/meminfo: memFree=28415768/32950928 swapFree=67111352/67111528
[pid=3520] ppid=3518 vsize=834768 CPUtime=4800.28 cores=0,2,4,6
/proc/3520/stat : 3520 (strangenight2-m) R 3518 3520 3239 0 -1 4202496 715359 0 0 0 479766 262 0 0 25 0 4 0 601129575 854802432 141628 33554432000 4194304 4627427 140736642014224 18446744073709551615 4324134 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3520/statm: 208692 141628 389 106 0 203663 0
[pid=3520/tid=3521] ppid=3518 vsize=834768 CPUtime=1201.61 cores=0,2,4,6
/proc/3520/task/3521/stat : 3521 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 203376 0 0 0 120084 77 0 0 25 0 4 0 601129576 854802432 141628 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3520/tid=3522] ppid=3518 vsize=834768 CPUtime=1201.72 cores=0,2,4,6
/proc/3520/task/3522/stat : 3522 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 224339 0 0 0 120094 78 0 0 25 0 4 0 601129576 854802432 141628 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3520/tid=3529] ppid=3518 vsize=834768 CPUtime=1195.18 cores=0,2,4,6
/proc/3520/task/3529/stat : 3529 (strangenight2-m) R 3518 3520 3239 0 -1 4202560 115772 0 0 0 119479 39 0 0 25 0 4 0 601129576 854802432 141628 33554432000 4194304 4627427 140736642014224 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 834768

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): 1201.76
CPU time (s): 4800.34
CPU user time (s): 4797.69
CPU system time (s): 2.6486
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 1007456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.6486
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715361
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= 246
involuntary context switches= 20396

runsolver used 1.9367 second user time and 4.6233 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 22:29:49
IDJOB=3174174
IDBENCH=82992
IDSOLVER=1586
FILE ID=node113/3174174-1304108989
RUNJOBID= node113-1304106581-3257
PBS_JOBID= 13170664
Free space on /tmp= 71160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174174-1304108989/watcher-3174174-1304108989 -o /tmp/evaluation-result-3174174-1304108989/solver-3174174-1304108989 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174174-1304108989.cnf

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

MD5SUM BENCH= 95ba8379aa2e59896c8d6334d91cdeab
RANDOM SEED=1492715259

node113.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.846
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.69
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.846
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.846
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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.74
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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.83
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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29096960 kB
Buffers:        718220 kB
Cached:        2270992 kB
SwapCached:         12 kB
Active:         440228 kB
Inactive:      2895908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29096960 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            5844 kB
Writeback:           0 kB
AnonPages:      345968 kB
Mapped:          15496 kB
Slab:           452852 kB
PageTables:       5512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   649800 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= 71156 MiB
End job on node113 at 2011-04-29 22:49:53