Trace number 3366553

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 (fixed)? (TO) 4800.22 1203.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
MD5SUM94cfc1731e7c76d51d00543dd5d14f85
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark122.003
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 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-3366553-1305407647.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.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
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:     11  v-fix:    0  time:  0.00 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:     214 undec:      44 neg:     192
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       439      1907         0         0      5776         0   no data   no data
0.20/0.06	c Decided on static restart strategy
1.17/0.37	c  N st     8      4916       439      1907         0      4814      5776    102907   no data   no data
3.57/0.90	c  N st    10     11298       439      1907         0      4445      5776     68531   no data   no data
3.57/0.90	c  N st    11     17041       439      1907         0     10057      5776    192695   no data   no data
3.99/1.10	c  F st    12     25000       439      1907         0     12294      5776    229799   no data   no data
3.99/1.10	c  N st    12     25000       439      1907         0     12294      5776    229799   no data   no data
4.76/1.28	c Decided on static restart strategy
4.76/1.28	c  N st    18     30000       439      1907         0     10584      5776    183553   no data   no data
4.76/1.28	c  S st    18     30000       439      1907         0     10584      5776    183553   no data   no data
5.16/1.31	c  S st    18     30504       439      1907         0     11085      5776    194027   no data   no data
5.16/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.32	c blocked clauses removed:       10 vars:      2 tried:         439 T: 0.00 s
5.16/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
5.16/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.38	c lits-rem:       144  cl-subs:      719  v-elim:      0  v-fix:    0  time:  0.05 s
5.16/1.38	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
5.16/1.38	c calculated reachability. Time: 0.00
5.16/1.38	c  N st    18     30504       437      1897         0     10355      5745    177808   no data   no data
6.75/1.78	c  N st    20     37614       437      1897         0      9641      5745    145568   no data   no data
8.37/2.15	c  N st    21     44013       437      1897         0     15902      5745    283817   no data   no data
8.79/2.27	c  S st    22     45756       437      1897         0      8902      5745    115577   no data   no data
9.14/2.30	c  S st    22     46258       437      1897         0      9403      5745    126812   no data   no data
9.14/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.14/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.14/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
9.14/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.32	c lits-rem:        15  cl-subs:       50  v-elim:      0  v-fix:    0  time:  0.01 s
9.14/2.32	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
9.14/2.32	c vivif2 --  cl tried     9353 cl shrink        0 lits rem          0 time: 0.00
9.14/2.32	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.00
9.14/2.32	c calculated reachability. Time: 0.00
9.14/2.32	c  N st    22     46258       437      1897         0      9353      5745    125691   no data   no data
12.76/3.23	c  N st    23     60655       437      1897         0     13668      5745    204489   no data   no data
15.52/3.94	c  N st    24     69387       437      1897         0     11477      5745    150932   no data   no data
15.52/3.94	c  S st    24     69387       437      1897         0     11477      5745    150932   no data   no data
15.52/3.97	c  S st    24     69890       437      1897         0     11979      5745    161580   no data   no data
15.52/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.52/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.52/3.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.52/3.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.52/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.52/3.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
15.52/3.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.52/3.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.52/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.00	c lits-rem:        40  cl-subs:      182  v-elim:      0  v-fix:    0  time:  0.02 s
15.93/4.00	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
15.93/4.00	c vivif2 --  cl tried    11797 cl shrink        0 lits rem          0 time: 0.00
15.93/4.00	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
15.93/4.01	c calculated reachability. Time: 0.00
15.93/4.01	c  N st    24     69890       437      1897         0     11797      5745    158127   no data   no data
20.32/5.18	c  F st    25     87500       437      1897         0     17265      5745    275176   no data   no data
20.32/5.18	c  N st    25     87500       437      1897         0     17265      5745    275176   no data   no data
21.95/5.58	c Decided on static restart strategy
23.10/5.85	c  N st    32     95537       437      1897         0     25112      5745    446358   no data   no data
25.92/6.52	c  N st    34    104836       437      1897         0     21485      5745    341846   no data   no data
25.92/6.52	c  S st    34    104836       437      1897         0     21485      5745    341846   no data   no data
25.92/6.58	c  S st    34    105339       437      1897         0     21986      5745    352733   no data   no data
25.92/6.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.92/6.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.92/6.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.92/6.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.92/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.92/6.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
25.92/6.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.92/6.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.92/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.69/6.76	c lits-rem:       222  cl-subs:     1087  v-elim:      0  v-fix:    0  time:  0.16 s
26.69/6.76	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
26.69/6.76	c vivif2 --  cl tried    20899 cl shrink        0 lits rem          0 time: 0.00
26.69/6.77	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.01
26.69/6.77	c calculated reachability. Time: 0.00
26.69/6.77	c  N st    34    105339       437      1897         0     20899      5745    329618   no data   no data
30.31/7.63	c  N st    35    114937       437      1897         0     16605      5745    219043   no data   no data
35.47/8.93	c  N st    36    129337       437      1897         0     15965      5745    191364   no data   no data
42.66/10.73	c  N st    37    150933       437      1897         0     21435      5745    297226   no data   no data
45.44/11.41	c  S st    38    158009       437      1897         0     28295      5745    438236   no data   no data
45.44/11.49	c  S st    38    158512       437      1897         0     28795      5745    448907   no data   no data
45.44/11.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.84/11.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.84/11.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.84/11.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.84/11.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.84/11.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
45.84/11.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.84/11.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.84/11.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.04/11.88	c lits-rem:       141  cl-subs:     1924  v-elim:      0  v-fix:    0  time:  0.36 s
47.04/11.88	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
47.04/11.89	c vivif2 --  cl tried    26871 cl shrink        0 lits rem          0 time: 0.00
47.44/11.90	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
47.44/11.90	c calculated reachability. Time: 0.00
47.44/11.90	c  N st    38    158512       437      1897         0     26871      5745    410727   no data   no data
66.58/16.73	c  N st    39    207100       437      1897         0     21693      5745    273781   no data   no data
79.35/19.93	c  N st    40    237768       437      1897         0     32128      5745    506879   no data   no data
79.35/19.93	c  S st    40    237768       437      1897         0     32128      5745    506879   no data   no data
79.75/20.02	c  S st    40    238273       437      1897         0     32628      5745    517965   no data   no data
79.75/20.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.75/20.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.75/20.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.75/20.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.75/20.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.75/20.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
79.75/20.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.75/20.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.75/20.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.35/20.43	c lits-rem:       186  cl-subs:     1389  v-elim:      0  v-fix:    0  time:  0.38 s
81.35/20.43	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
81.35/20.44	c vivif2 --  cl tried    31239 cl shrink        0 lits rem          0 time: 0.01
81.35/20.46	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
81.35/20.46	c calculated reachability. Time: 0.00
81.35/20.46	c  N st    40    238273       437      1897         0     31239      5745    487390   no data   no data
115.65/29.04	c  F st    41    306251       437      1897         0     32937      5745    448357   no data   no data
115.65/29.04	c  N st    41    306251       437      1897         0     32937      5745    448357   no data   no data
118.07/29.70	c Decided on static restart strategy
129.62/32.52	c  N st    51    334552       437      1897         0     37338      5745    536334   no data   no data
141.57/35.56	c  N st    53    357410       437      1897         0     35154      5745    466151   no data   no data
141.57/35.56	c  S st    53    357410       437      1897         0     35154      5745    466151   no data   no data
141.97/35.66	c  S st    53    357914       437      1897         0     35656      5745    476722   no data   no data
141.97/35.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.97/35.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.97/35.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.97/35.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.97/35.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.97/35.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
141.97/35.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.97/35.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.97/35.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.58/36.00	c lits-rem:       153  cl-subs:     1684  v-elim:      0  v-fix:    0  time:  0.31 s
143.58/36.00	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
143.58/36.01	c vivif2 --  cl tried    33972 cl shrink        0 lits rem          0 time: 0.01
143.58/36.03	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.02
143.58/36.03	c calculated reachability. Time: 0.00
143.58/36.03	c  N st    53    357914       437      1897         0     33972      5745    444897   no data   no data
159.93/40.13	c  N st    54    390307       437      1897         0     40149      5745    580069   no data   no data
187.45/47.02	c  N st    55    438895       437      1897         0     33929      5745    408088   no data   no data
229.34/57.54	c  N st    56    511777       437      1897         0     47608      5745    713023   no data   no data
244.91/61.46	c  N st    57    536873       437      1897         0     41829      5745    536025   no data   no data
244.91/61.46	c  S st    57    536873       437      1897         0     41829      5745    536025   no data   no data
245.32/61.57	c  S st    57    537375       437      1897         0     42330      5745    547173   no data   no data
245.32/61.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
245.32/61.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
245.32/61.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.32/61.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.32/61.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.32/61.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
245.32/61.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.32/61.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
245.74/61.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.29/62.07	c lits-rem:        89  cl-subs:     2122  v-elim:      0  v-fix:    0  time:  0.46 s
247.29/62.07	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
247.29/62.08	c vivif2 --  cl tried    40208 cl shrink        0 lits rem          0 time: 0.01
247.69/62.11	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.03
247.69/62.11	c calculated reachability. Time: 0.00
247.69/62.11	c  N st    57    537375       437      1897         0     40208      5745    506894   no data   no data
349.01/87.58	c  N st    58    701361       437      1897         0     69026      5745   1076623   no data   no data
425.23/106.70	c  N st    59    806064       437      1897         0     63070      5745    952230   no data   no data
425.23/106.70	c  S st    59    806064       437      1897         0     63070      5745    952230   no data   no data
426.00/106.89	c  S st    59    806566       437      1897         0     63570      5745    962696   no data   no data
426.00/106.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
426.40/106.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
426.40/106.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
426.40/106.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
426.40/106.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
426.40/106.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
426.40/106.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
426.40/106.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
426.40/106.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
435.97/109.31	c lits-rem:       590  cl-subs:     4454  v-elim:      0  v-fix:    0  time:  2.34 s
435.97/109.31	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
435.97/109.32	c vivif2 --  cl tried    59116 cl shrink        0 lits rem          0 time: 0.01
435.97/109.37	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.05
435.97/109.37	c calculated reachability. Time: 0.00
435.97/109.37	c  N st    59    806566       437      1897         0     59116      5745    864684   no data   no data
648.21/162.50	c  F st    60   1071877       437      1897         0     75162      5745   1150190   no data   no data
648.21/162.50	c  N st    60   1071877       437      1897         0     75162      5745   1150190   no data   no data
654.18/164.09	c Decided on static restart strategy
675.35/169.41	c  N st    70   1100182       437      1897         0     58965      5745    741521   no data   no data
708.43/177.66	c  N st    72   1136175       437      1897         0     49293      5745    508283   no data   no data
736.37/184.69	c  N st    73   1168567       437      1897         0     80664      5745   1176154   no data   no data
782.64/196.27	c  N st    74   1209849       437      1897         0     75288      5745   1088041   no data   no data
782.64/196.27	c  S st    74   1209849       437      1897         0     75288      5745   1088041   no data   no data
784.24/196.60	c  S st    74   1210350       437      1897         0     75788      5745   1098889   no data   no data
784.24/196.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
784.24/196.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
784.24/196.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
784.24/196.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
784.24/196.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
784.24/196.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
784.24/196.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
784.24/196.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
784.64/196.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
797.80/200.03	c lits-rem:       959  cl-subs:     3632  v-elim:      0  v-fix:    0  time:  3.32 s
797.80/200.03	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
797.80/200.04	c vivif2 --  cl tried    72156 cl shrink        0 lits rem          0 time: 0.02
797.80/200.11	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.07
798.21/200.11	c calculated reachability. Time: 0.00
798.21/200.11	c  N st    74   1210350       437      1897         0     72156      5745   1023284   no data   no data
868.85/217.87	c  N st    75   1283233       437      1897         0     48624      5745    452139   no data   no data
976.90/244.94	c  N st    76   1392556       437      1897         0     57016      5745    606096   no data   no data
1121.71/281.25	c  N st    77   1556541       437      1897         0     61679      5745    655477   no data   no data
1266.51/317.58	c  N st    78   1710351       437      1897         0    102707      5745   1486016   no data   no data
1266.51/317.58	c  S st    78   1710351       437      1897         0    102707      5745   1486016   no data   no data
1268.15/317.96	c  S st    78   1710858       437      1897         0    103211      5745   1497656   no data   no data
1268.15/317.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1268.50/318.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1268.50/318.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1268.50/318.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1268.50/318.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1268.50/318.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1268.50/318.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1268.50/318.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1268.50/318.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1302.84/326.71	c lits-rem:       701  cl-subs:    11281  v-elim:      0  v-fix:    0  time:  8.63 s
1302.84/326.71	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1303.26/326.73	c vivif2 --  cl tried    91930 cl shrink        0 lits rem          0 time: 0.02
1303.61/326.81	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
1303.61/326.82	c calculated reachability. Time: 0.00
1303.61/326.82	c  N st    78   1710858       437      1897         0     91930      5745   1298581   no data   no data
1661.84/416.66	c  N st    79   2079823       437      1897         0    104033      5745   1487498   no data   no data
1813.82/454.73	c  N st    80   2210858       437      1897         0    107935      5745   1534249   no data   no data
1813.82/454.73	c  S st    80   2210858       437      1897         0    107935      5745   1534249   no data   no data
1815.42/455.11	c  S st    80   2211366       437      1897         0    108440      5745   1545227   no data   no data
1815.42/455.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1815.42/455.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1815.42/455.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1815.42/455.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1815.42/455.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1815.42/455.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1815.42/455.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1815.82/455.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1815.82/455.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1845.74/462.76	c lits-rem:      1072  cl-subs:     8500  v-elim:      0  v-fix:    0  time:  7.52 s
1845.74/462.76	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
1845.74/462.78	c vivif2 --  cl tried    99940 cl shrink        0 lits rem          0 time: 0.02
1846.14/462.88	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.10
1846.14/462.89	c calculated reachability. Time: 0.00
1846.14/462.89	c  N st    80   2211366       437      1897         0     99940      5745   1383250   no data   no data
2479.26/621.52	c  N st    81   2711366       437      1897         0    122943      5745   1820761   no data   no data
2479.26/621.52	c  S st    81   2711366       437      1897         0    122943      5745   1820761   no data   no data
2480.81/621.99	c  S st    81   2711868       437      1897         0    123443      5745   1831939   no data   no data
2480.81/622.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2481.21/622.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2481.21/622.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2481.21/622.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2481.21/622.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2481.21/622.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
2481.21/622.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2481.21/622.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2481.62/622.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2540.68/636.93	c lits-rem:       755  cl-subs:    11300  v-elim:      0  v-fix:    0  time: 14.79 s
2540.68/636.93	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
2540.68/636.96	c vivif2 --  cl tried   112143 cl shrink        0 lits rem          0 time: 0.03
2541.03/637.08	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.12
2541.03/637.08	c calculated reachability. Time: 0.00
2541.03/637.08	c  N st    81   2711868       437      1897         0    112143      5745   1604513   no data   no data
3218.40/806.80	c  N st    82   3211869       437      1897         0     88167      5745    934127   no data   no data
3218.40/806.80	c  S st    82   3211869       437      1897         0     88167      5745    934127   no data   no data
3219.60/807.11	c  S st    82   3212369       437      1897         0     88663      5745    944962   no data   no data
3219.60/807.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3219.60/807.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3219.60/807.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3219.60/807.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3219.60/807.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3219.60/807.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3219.60/807.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3219.60/807.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3219.99/807.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3224.80/808.42	c lits-rem:       206  cl-subs:     2899  v-elim:      0  v-fix:    0  time:  1.19 s
3224.80/808.42	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3224.80/808.43	c vivif2 --  cl tried    85764 cl shrink        0 lits rem          0 time: 0.02
3225.22/808.54	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.10
3225.22/808.54	c calculated reachability. Time: 0.00
3225.22/808.54	c  N st    82   3212369       437      1897         0     85764      5745    892113   no data   no data
3939.64/987.62	c  N st    83   3712370       437      1897         0     96695      5745   1049708   no data   no data
3939.64/987.62	c  S st    83   3712370       437      1897         0     96695      5745   1049708   no data   no data
3941.22/988.04	c  S st    83   3712871       437      1897         0     97196      5745   1061249   no data   no data
3941.22/988.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3941.62/988.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3941.62/988.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3941.62/988.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3941.62/988.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3941.62/988.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3941.62/988.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3941.62/988.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3941.62/988.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3947.61/989.62	c lits-rem:       272  cl-subs:     3781  v-elim:      0  v-fix:    0  time:  1.47 s
3947.61/989.62	c vivif2 --  cl tried     1897 cl shrink        0 lits rem          0 time: 0.00
3947.61/989.64	c vivif2 --  cl tried    93415 cl shrink        0 lits rem          0 time: 0.02
3948.01/989.73	c asymm  cl-useful: 0/1897/1897 lits-rem:0 time: 0.09
3948.01/989.73	c calculated reachability. Time: 0.00
3948.01/989.73	c  N st    83   3712871       437      1897         0     93415      5745    994290   no data   no data
3996.27/1001.82	c  F st    84   3751564       437      1897         0    130838      5745   1839646   no data   no data
3996.27/1001.82	c  N st    84   3751564       437      1897         0    130838      5745   1839646   no data   no data
4006.30/1004.37	c Decided on static restart strategy
4051.73/1015.74	c  N st    94   3779870       437      1897         0    158225      5745   2439146   no data   no data
4102.83/1028.55	c  N st    96   3815862       437      1897         0    110959      5745   1327799   no data   no data
4156.64/1042.06	c  N st    97   3848254       437      1897         0    142134      5745   1960021   no data   no data
4238.03/1062.46	c  N st    98   3896842       437      1897         0    106427      5745   1255805   no data   no data
4353.31/1091.33	c  N st    99   3969725       437      1897         0     92883      5745    928929   no data   no data
4520.05/1133.14	c  N st   100   4079049       437      1897         0    113246      5745   1344527   no data   no data
4745.44/1189.62	c  N st   101   4212871       437      1897         0    156503      5745   2224786   no data   no data
4745.44/1189.62	c  S st   101   4212871       437      1897         0    156503      5745   2224786   no data   no data
4747.47/1190.17	c  S st   101   4213377       437      1897         0    157009      5745   2236447   no data   no data
4747.47/1190.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4747.89/1190.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4747.89/1190.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4747.89/1190.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4747.89/1190.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4747.89/1190.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
4747.89/1190.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4747.89/1190.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4748.24/1190.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.06 8.10 8.02 3/346 3550
/proc/meminfo: memFree=26251596/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 652367280 52396032 352 33554432000 4194304 4580107 140734649420400 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 12792 352 302 95 0 7774 0
[pid=3550/tid=3552] ppid=3548 vsize=282180 CPUtime=0 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 219 0 0 0 0 0 0 0 24 0 4 0 652367280 288952320 1034 33554432000 4194304 4580107 140734649420400 18446744073709551615 4303856 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=282180 CPUtime=0 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 193 0 0 0 0 0 0 0 24 0 4 0 652367280 288952320 1034 33554432000 4194304 4580107 140734649420400 18446744073709551615 4399536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=282180 CPUtime=0 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 99 0 0 0 0 0 0 0 24 0 4 0 652367280 288952320 1034 33554432000 4194304 4580107 140734649420400 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.058467 s]
/proc/loadavg: 8.06 8.10 8.02 3/346 3550
/proc/meminfo: memFree=26251596/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=282176 CPUtime=0.2 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 1346 0 0 0 20 0 0 0 23 0 4 0 652367280 288948224 1262 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 70544 1262 376 95 0 65526 0
[pid=3550/tid=3552] ppid=3548 vsize=282176 CPUtime=0.05 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 278 0 0 0 5 0 0 0 24 0 4 0 652367280 288948224 1262 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=282176 CPUtime=0.05 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 253 0 0 0 5 0 0 0 24 0 4 0 652367280 288948224 1262 33554432000 4194304 4580107 140734649420400 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=282176 CPUtime=0.04 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 159 0 0 0 4 0 0 0 24 0 4 0 652367280 288948224 1262 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282176

[startup+0.100459 s]
/proc/loadavg: 8.06 8.10 8.02 3/346 3550
/proc/meminfo: memFree=26251596/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=282176 CPUtime=0.37 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 1542 0 0 0 37 0 0 0 18 0 4 0 652367280 288948224 1458 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 70544 1458 377 95 0 65526 0
[pid=3550/tid=3552] ppid=3548 vsize=282176 CPUtime=0.09 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 326 0 0 0 9 0 0 0 24 0 4 0 652367280 288948224 1458 33554432000 4194304 4580107 140734649420400 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=282176 CPUtime=0.09 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 307 0 0 0 9 0 0 0 24 0 4 0 652367280 288948224 1458 33554432000 4194304 4580107 140734649420400 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=282176 CPUtime=0.09 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 209 0 0 0 9 0 0 0 24 0 4 0 652367280 288948224 1458 33554432000 4194304 4580107 140734649420400 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282176

[startup+0.300424 s]
/proc/loadavg: 8.06 8.10 8.02 3/346 3550
/proc/meminfo: memFree=26251596/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=283524 CPUtime=1.17 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 2563 0 0 0 117 0 0 0 18 0 4 0 652367280 290328576 1964 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 70881 1964 377 95 0 65863 0
[pid=3550/tid=3552] ppid=3548 vsize=283524 CPUtime=0.29 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 588 0 0 0 29 0 0 0 25 0 4 0 652367280 290328576 1964 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=283524 CPUtime=0.29 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 573 0 0 0 29 0 0 0 25 0 4 0 652367280 290328576 1964 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=283524 CPUtime=0.28 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 471 0 0 0 28 0 0 0 25 0 4 0 652367280 290328576 1964 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283524

[startup+0.700357 s]
/proc/loadavg: 8.06 8.10 8.02 3/346 3550
/proc/meminfo: memFree=26251596/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=284764 CPUtime=2.76 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 4429 0 0 0 276 0 0 0 18 0 4 0 652367280 291598336 2277 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 71191 2278 377 95 0 66173 0
[pid=3550/tid=3552] ppid=3548 vsize=284764 CPUtime=0.69 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 1114 0 0 0 69 0 0 0 25 0 4 0 652367280 291598336 2278 33554432000 4194304 4580107 140734649420400 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=284764 CPUtime=0.69 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 1051 0 0 0 69 0 0 0 25 0 4 0 652367280 291598336 2278 33554432000 4194304 4580107 140734649420400 18446744073709551615 4321240 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=284764 CPUtime=0.68 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 959 0 0 0 68 0 0 0 25 0 4 0 652367280 291598336 2278 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284764

[startup+1.50021 s]
/proc/loadavg: 8.21 8.13 8.03 10/356 3578
/proc/meminfo: memFree=26231800/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=290860 CPUtime=5.95 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 8121 0 0 0 594 1 0 0 19 0 4 0 652367280 297840640 4499 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 72715 4499 379 95 0 67697 0
[pid=3550/tid=3552] ppid=3548 vsize=290860 CPUtime=1.49 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 1698 0 0 0 149 0 0 0 25 0 4 0 652367280 297840640 4499 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=290860 CPUtime=1.49 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 1633 0 0 0 149 0 0 0 25 0 4 0 652367280 297840640 4499 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=290860 CPUtime=1.47 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 1538 0 0 0 147 0 0 0 25 0 4 0 652367280 297840640 4499 33554432000 4194304 4580107 140734649420400 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290860

[startup+3.10094 s]
/proc/loadavg: 8.21 8.13 8.03 9/356 3578
/proc/meminfo: memFree=26208112/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=291488 CPUtime=12.34 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 16602 0 0 0 1232 2 0 0 25 0 4 0 652367280 298483712 8066 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 72872 8066 379 95 0 67854 0
[pid=3550/tid=3552] ppid=3548 vsize=291488 CPUtime=3.09 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 3869 0 0 0 309 0 0 0 25 0 4 0 652367280 298483712 8066 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=291488 CPUtime=3.08 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 4449 0 0 0 308 0 0 0 25 0 4 0 652367280 298483712 8066 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=291488 CPUtime=3.05 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 3960 0 0 0 305 0 0 0 25 0 4 0 652367280 298483712 8066 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291488

[startup+6.30037 s]
/proc/loadavg: 8.20 8.13 8.03 9/356 3578
/proc/meminfo: memFree=26163104/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=293256 CPUtime=25.1 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 25507 0 0 0 2506 4 0 0 25 0 4 0 652367280 300294144 11624 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 73314 11624 379 95 0 68296 0
[pid=3550/tid=3552] ppid=3548 vsize=293256 CPUtime=6.29 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 6709 0 0 0 628 1 0 0 25 0 4 0 652367280 300294144 11624 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=293256 CPUtime=6.28 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 6983 0 0 0 628 0 0 0 25 0 4 0 652367280 300294144 11624 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=293256 CPUtime=6.22 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 5662 0 0 0 621 1 0 0 25 0 4 0 652367280 300294144 11624 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 293256

[startup+12.7002 s]
/proc/loadavg: 8.18 8.12 8.03 9/356 3578
/proc/meminfo: memFree=26108300/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=303664 CPUtime=50.63 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 41384 0 0 0 5055 8 0 0 25 0 4 0 652367280 310951936 15932 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 75916 15932 379 95 0 70898 0
[pid=3550/tid=3552] ppid=3548 vsize=303664 CPUtime=12.69 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 10656 0 0 0 1267 2 0 0 25 0 4 0 652367280 310951936 15932 33554432000 4194304 4580107 140734649420400 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=303664 CPUtime=12.69 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 9959 0 0 0 1267 2 0 0 25 0 4 0 652367280 310951936 15932 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=303664 CPUtime=12.55 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 9920 0 0 0 1253 2 0 0 25 0 4 0 652367280 310951936 15932 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 303664

[startup+25.501 s]
/proc/loadavg: 8.23 8.14 8.03 9/356 3579
/proc/meminfo: memFree=26062420/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=309724 CPUtime=101.69 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 62702 0 0 0 10156 13 0 0 25 0 4 0 652367280 317157376 21425 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 77431 21426 379 95 0 72413 0
[pid=3550/tid=3552] ppid=3548 vsize=309724 CPUtime=25.49 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 16722 0 0 0 2546 3 0 0 25 0 4 0 652367280 317157376 21426 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=309724 CPUtime=25.49 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 15782 0 0 0 2546 3 0 0 25 0 4 0 652367280 317157376 21426 33554432000 4194304 4580107 140734649420400 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=309724 CPUtime=25.21 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 14122 0 0 0 2518 3 0 0 25 0 4 0 652367280 317157376 21426 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 309724

[startup+51.1005 s]
/proc/loadavg: 8.20 8.14 8.03 9/356 3579
/proc/meminfo: memFree=26015800/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=322292 CPUtime=203.81 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 95534 0 0 0 20358 23 0 0 25 0 4 0 652367280 330027008 28423 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 80573 28423 379 95 0 75555 0
[pid=3550/tid=3552] ppid=3548 vsize=322292 CPUtime=51.09 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 25992 0 0 0 5103 6 0 0 25 0 4 0 652367280 330027008 28423 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=322292 CPUtime=51.08 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 24489 0 0 0 5102 6 0 0 25 0 4 0 652367280 330027008 28423 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=322292 CPUtime=50.53 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 21820 0 0 0 5048 5 0 0 25 0 4 0 652367280 330027008 28423 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 322292

[startup+102.313 s]
/proc/loadavg: 8.20 8.15 8.04 9/356 3581
/proc/meminfo: memFree=25961084/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=324500 CPUtime=408.1 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 143487 0 0 0 40773 37 0 0 25 0 4 0 652367280 332288000 33683 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 81125 33683 379 95 0 76107 0
[pid=3550/tid=3552] ppid=3548 vsize=324500 CPUtime=102.3 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 38296 0 0 0 10220 10 0 0 25 0 4 0 652367280 332288000 33683 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=324500 CPUtime=102.29 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 36212 0 0 0 10220 9 0 0 25 0 4 0 652367280 332288000 33683 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=324500 CPUtime=101.18 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 35803 0 0 0 10109 9 0 0 25 0 4 0 652367280 332288000 33683 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 324500

[startup+162.301 s]

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

[pid=3550] ppid=3548 vsize=571600 CPUtime=2801.53 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 478772 0 0 0 279972 181 0 0 25 0 4 0 652367280 585318400 76645 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 142900 76645 379 95 0 137882 0
[pid=3550/tid=3552] ppid=3548 vsize=571600 CPUtime=702.3 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 121765 0 0 0 70183 47 0 0 25 0 4 0 652367280 585318400 76645 33554432000 4194304 4580107 140734649420400 18446744073709551615 4269711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=571600 CPUtime=702.29 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 116880 0 0 0 70187 42 0 0 25 0 4 0 652367280 585318400 76645 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=571600 CPUtime=694.61 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 122131 0 0 0 69414 47 0 0 25 0 4 0 652367280 585318400 76645 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 571600

[startup+762.313 s]
/proc/loadavg: 8.13 8.10 8.04 9/356 3598
/proc/meminfo: memFree=25564908/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=572012 CPUtime=3040.92 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 500565 0 0 0 303900 192 0 0 25 0 4 0 652367280 585740288 76953 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 143003 76953 379 95 0 137985 0
[pid=3550/tid=3552] ppid=3548 vsize=572012 CPUtime=762.32 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 127502 0 0 0 76181 51 0 0 25 0 4 0 652367280 585740288 76953 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=572012 CPUtime=762.31 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 123946 0 0 0 76185 46 0 0 25 0 4 0 652367280 585740288 76953 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=572012 CPUtime=753.96 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 128586 0 0 0 75347 49 0 0 25 0 4 0 652367280 585740288 76953 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.92
Current children cumulated vsize (KiB) 572012

[startup+822.301 s]
/proc/loadavg: 8.22 8.12 8.05 9/356 3603
/proc/meminfo: memFree=25495812/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=571968 CPUtime=3280.22 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 522944 0 0 0 327819 203 0 0 25 0 4 0 652367280 585695232 87312 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 142992 87312 379 95 0 137974 0
[pid=3550/tid=3552] ppid=3548 vsize=571968 CPUtime=822.31 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 135045 0 0 0 82177 54 0 0 25 0 4 0 652367280 585695232 87312 33554432000 4194304 4580107 140734649420400 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=571968 CPUtime=822.3 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 128421 0 0 0 82182 48 0 0 25 0 4 0 652367280 585695232 87312 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=571968 CPUtime=813.3 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 133894 0 0 0 81277 53 0 0 25 0 4 0 652367280 585695232 87312 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.22
Current children cumulated vsize (KiB) 571968

[startup+882.3 s]
/proc/loadavg: 8.24 8.14 8.06 9/356 3604
/proc/meminfo: memFree=25489956/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=597252 CPUtime=3519.57 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 543158 0 0 0 351746 211 0 0 25 0 4 0 652367280 611586048 89517 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 149313 89517 379 95 0 144295 0
[pid=3550/tid=3552] ppid=3548 vsize=597252 CPUtime=882.3 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 139558 0 0 0 88175 55 0 0 25 0 4 0 652367280 611586048 89517 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=597252 CPUtime=882.3 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 132891 0 0 0 88180 50 0 0 25 0 4 0 652367280 611586048 89517 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=597252 CPUtime=872.64 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 139177 0 0 0 87209 55 0 0 25 0 4 0 652367280 611586048 89517 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.57
Current children cumulated vsize (KiB) 597252

[startup+942.301 s]
/proc/loadavg: 8.16 8.13 8.06 9/356 3606
/proc/meminfo: memFree=25454088/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=597604 CPUtime=3758.93 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 563201 0 0 0 375671 222 0 0 25 0 4 0 652367280 611946496 94663 33554432000 4194304 4580107 140734649420400 18446744073709551615 4296107 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 149401 94663 379 95 0 144383 0
[pid=3550/tid=3552] ppid=3548 vsize=597604 CPUtime=942.31 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 145955 0 0 0 94173 58 0 0 25 0 4 0 652367280 611946496 94663 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=597604 CPUtime=942.3 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 137408 0 0 0 94177 53 0 0 25 0 4 0 652367280 611946496 94663 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=597604 CPUtime=931.99 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 145159 0 0 0 93141 58 0 0 25 0 4 0 652367280 611946496 94663 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.93
Current children cumulated vsize (KiB) 597604

[startup+1002.3 s]
/proc/loadavg: 8.12 8.12 8.06 9/356 3608
/proc/meminfo: memFree=25426508/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=650672 CPUtime=3998.27 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 580755 0 0 0 399598 229 0 0 25 0 4 0 652367280 666288128 99763 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 162668 99763 379 95 0 157650 0
[pid=3550/tid=3552] ppid=3548 vsize=650672 CPUtime=1002.31 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 152527 0 0 0 100171 60 0 0 25 0 4 0 652367280 666288128 99763 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=650672 CPUtime=1002.31 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 143019 0 0 0 100175 56 0 0 25 0 4 0 652367280 666288128 99763 33554432000 4194304 4580107 140734649420400 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=650672 CPUtime=991.34 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 147095 0 0 0 99075 59 0 0 25 0 4 0 652367280 666288128 99763 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.27
Current children cumulated vsize (KiB) 650672

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.06 9/356 3609
/proc/meminfo: memFree=25456864/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=599844 CPUtime=4237.63 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 596142 0 0 0 423524 239 0 0 25 0 4 0 652367280 614240256 98004 33554432000 4194304 4580107 140734649420400 18446744073709551615 4317100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 149961 98004 379 95 0 144943 0
[pid=3550/tid=3552] ppid=3548 vsize=599844 CPUtime=1062.31 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 157814 0 0 0 106167 64 0 0 25 0 4 0 652367280 614240256 98004 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=599844 CPUtime=1062.31 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 145692 0 0 0 106174 57 0 0 25 0 4 0 652367280 614240256 98004 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=599844 CPUtime=1050.68 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 152082 0 0 0 105006 62 0 0 25 0 4 0 652367280 614240256 98004 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.63
Current children cumulated vsize (KiB) 599844

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.06 9/356 3611
/proc/meminfo: memFree=25432780/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=612960 CPUtime=4476.97 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 615216 0 0 0 447449 248 0 0 25 0 4 0 652367280 627671040 98621 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 153240 98621 379 95 0 148222 0
[pid=3550/tid=3552] ppid=3548 vsize=612960 CPUtime=1122.31 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 163684 0 0 0 112165 66 0 0 25 0 4 0 652367280 627671040 98621 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=612960 CPUtime=1122.31 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 151267 0 0 0 112171 60 0 0 25 0 4 0 652367280 627671040 98621 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=612960 CPUtime=1110.03 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 158092 0 0 0 110937 66 0 0 25 0 4 0 652367280 627671040 98621 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.97
Current children cumulated vsize (KiB) 612960

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 8.06 9/356 3612
/proc/meminfo: memFree=25444144/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=577012 CPUtime=4716.33 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 636138 0 0 0 471375 258 0 0 25 0 4 0 652367280 590860288 94297 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 144253 94297 379 95 0 139235 0
[pid=3550/tid=3552] ppid=3548 vsize=577012 CPUtime=1182.31 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 168533 0 0 0 118162 69 0 0 25 0 4 0 652367280 590860288 94297 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=577012 CPUtime=1182.31 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 156010 0 0 0 118169 62 0 0 25 0 4 0 652367280 590860288 94297 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=577012 CPUtime=1169.38 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 163776 0 0 0 116870 68 0 0 25 0 4 0 652367280 590860288 94297 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.33
Current children cumulated vsize (KiB) 577012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.06 8.09 8.06 10/356 3613
/proc/meminfo: memFree=25423796/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=658164 CPUtime=4800.15 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 645709 0 0 0 479753 262 0 0 25 0 4 0 652367280 673959936 100564 33554432000 4194304 4580107 140734649420400 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 164541 100564 379 95 0 159523 0
[pid=3550/tid=3552] ppid=3548 vsize=658164 CPUtime=1203.34 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 170737 0 0 0 120264 70 0 0 25 0 4 0 652367280 673959936 100565 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=658164 CPUtime=1203.33 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 158269 0 0 0 120270 63 0 0 25 0 4 0 652367280 673959936 100565 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=658164 CPUtime=1190.14 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 164775 0 0 0 118945 69 0 0 25 0 4 0 652367280 673959936 100565 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 658164

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

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

[startup+1203.3 s]
/proc/loadavg: 8.06 8.09 8.06 10/356 3613
/proc/meminfo: memFree=25423796/32951124 swapFree=53501236/67111528
[pid=3550] ppid=3548 vsize=658164 CPUtime=4800.15 cores=1,3,5,7
/proc/3550/stat : 3550 (strangenight2-m) R 3548 3550 3413 0 -1 4202496 645709 0 0 0 479753 262 0 0 25 0 4 0 652367280 673959936 100564 33554432000 4194304 4580107 140734649420400 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3550/statm: 164541 100564 379 95 0 159523 0
[pid=3550/tid=3552] ppid=3548 vsize=658164 CPUtime=1203.34 cores=1,3,5,7
/proc/3550/task/3552/stat : 3552 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 170737 0 0 0 120264 70 0 0 25 0 4 0 652367280 673959936 100565 33554432000 4194304 4580107 140734649420400 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3550/tid=3553] ppid=3548 vsize=658164 CPUtime=1203.33 cores=1,3,5,7
/proc/3550/task/3553/stat : 3553 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 158269 0 0 0 120270 63 0 0 25 0 4 0 652367280 673959936 100565 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3550/tid=3554] ppid=3548 vsize=658164 CPUtime=1190.14 cores=1,3,5,7
/proc/3550/task/3554/stat : 3554 (strangenight2-m) R 3548 3550 3413 0 -1 4202560 164775 0 0 0 118945 69 0 0 25 0 4 0 652367280 673959936 100565 33554432000 4194304 4580107 140734649420400 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 658164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.22
CPU user time (s): 4797.58
CPU system time (s): 2.6416
CPU usage (%): 398.904
Max. virtual memory (cumulated for all children) (KiB): 688896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.6416
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645710
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= 306
involuntary context switches= 32394

runsolver used 3.59845 second user time and 9.61754 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 23:14:07
IDJOB=3366553
IDBENCH=82962
IDSOLVER=1844
FILE ID=node103/3366553-1305407647
RUNJOBID= node103-1305406441-3434
PBS_JOBID= 13324513
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366553-1305407647/watcher-3366553-1305407647 -o /tmp/evaluation-result-3366553-1305407647/solver-3366553-1305407647 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366553-1305407647.cnf

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

MD5SUM BENCH= 94cfc1731e7c76d51d00543dd5d14f85
RANDOM SEED=905585922

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.75
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.858
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.77
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.858
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.75
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.858
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.858
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26251752 kB
Buffers:        299100 kB
Cached:        3865304 kB
SwapCached:     340192 kB
Active:        1321104 kB
Inactive:      5109584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26251752 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5500 kB
Writeback:          40 kB
AnonPages:     1937288 kB
Mapped:          10528 kB
Slab:           151452 kB
PageTables:      53016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78295156 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= 72980 MiB
End job on node103 at 2011-05-14 23:34:12