Trace number 3173943

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.33 1201.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
MD5SUM7790a3f63c0c8a2b2a87d89aa5f80b99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.080987
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3173943-1304073883.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      76 undec:       4 neg:      70
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.09	c Decided on static restart strategy
0.50/0.14	c  N st     8      4921       150      3195         0      4692     15975    140701   no data   no data
1.17/0.35	c  N st    10     11304       150      3195         0      4324     15975     98063   no data   no data
1.97/0.59	c  N st    11     17047       150      3195         0      9782     15975    259617   no data   no data
3.57/0.93	c  F st    12     25000       150      3195         0     12031     15975    326993   no data   no data
3.57/0.93	c  N st    12     25000       150      3195         0     12031     15975    326993   no data   no data
4.39/1.15	c Decided on static restart strategy
4.39/1.15	c  N st    18     30001       150      3195         0     10327     15975    265280   no data   no data
4.39/1.15	c  S st    18     30001       150      3195         0     10327     15975    265280   no data   no data
4.39/1.18	c  S st    18     30506       150      3195         0     10828     15975    279888   no data   no data
4.39/1.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.18	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.39/1.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.39/1.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       210  cl-subs:     1316  v-elim:      0  v-fix:    0  time:  0.21 s
5.57/1.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30506       150      3195         0      9512     15975    235396   no data   no data
7.17/1.81	c  N st    20     37619       150      3195         0      8742     15975    193927   no data   no data
8.37/2.13	c  N st    21     44021       150      3195         0     14835     15975    371397   no data   no data
8.79/2.23	c  S st    22     45759       150      3195         0     16492     15975    424005   no data   no data
8.79/2.28	c  S st    22     46263       150      3195         0     16987     15975    438543   no data   no data
8.79/2.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.79/2.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.76	c lits-rem:       347  cl-subs:     1437  v-elim:      0  v-fix:    0  time:  0.45 s
10.76/2.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
10.76/2.76	c vivif2 --  cl tried    15550 cl shrink        0 lits rem          0 time: 0.00
11.16/2.83	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.06
11.16/2.83	c calculated reachability. Time: 0.00
11.16/2.83	c  N st    22     46263       150      3195         0     15550     15975    392892   no data   no data
14.36/3.66	c  N st    23     60662       150      3195         0     11326     15975    232752   no data   no data
16.36/4.12	c  N st    24     69396       150      3195         0     19632     15975    477553   no data   no data
16.36/4.12	c  S st    24     69396       150      3195         0     19632     15975    477553   no data   no data
16.36/4.18	c  S st    24     69902       150      3195         0     20124     15975    491788   no data   no data
16.36/4.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
16.36/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
16.36/4.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.80	c lits-rem:       462  cl-subs:     1665  v-elim:      0  v-fix:    0  time:  0.59 s
19.15/4.80	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
19.15/4.80	c vivif2 --  cl tried    18459 cl shrink        0 lits rem          0 time: 0.00
19.15/4.88	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
19.15/4.88	c calculated reachability. Time: 0.00
19.15/4.88	c  N st    24     69902       150      3195         0     18459     15975    439282   no data   no data
23.55/5.97	c  F st    25     87501       150      3195         0     13394     15975    267485   no data   no data
23.55/5.97	c  N st    25     87501       150      3195         0     13394     15975    267485   no data   no data
24.75/6.27	c Decided on static restart strategy
25.55/6.49	c  N st    32     95539       150      3195         0     21074     15975    502740   no data   no data
27.94/7.06	c  N st    34    104853       150      3195         0     17542     15975    387813   no data   no data
27.94/7.06	c  S st    34    104853       150      3195         0     17542     15975    387813   no data   no data
28.34/7.12	c  S st    34    105355       150      3195         0     18026     15975    402258   no data   no data
28.34/7.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.34/7.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.34/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
28.34/7.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.34/7.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.34/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.54/7.42	c lits-rem:       149  cl-subs:     1001  v-elim:      0  v-fix:    0  time:  0.28 s
29.54/7.42	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
29.54/7.43	c vivif2 --  cl tried    17025 cl shrink        0 lits rem          0 time: 0.00
29.94/7.51	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
29.94/7.51	c calculated reachability. Time: 0.00
29.94/7.51	c  N st    34    105355       150      3195         0     17025     15975    366949   no data   no data
32.33/8.18	c  N st    35    114954       150      3195         0     26193     15975    662022   no data   no data
36.73/9.29	c  N st    36    129351       150      3195         0     26531     15975    652719   no data   no data
43.52/10.94	c  N st    37    150947       150      3195         0     17558     15975    325697   no data   no data
45.52/11.45	c  S st    38    158035       150      3195         0     24295     15975    531614   no data   no data
45.92/11.51	c  S st    38    158537       150      3195         0     24787     15975    545707   no data   no data
45.92/11.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.92/11.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
45.92/11.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.92/11.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.92/11.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
45.92/11.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.92/11.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.92/11.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.73/12.21	c lits-rem:       872  cl-subs:     1660  v-elim:      0  v-fix:    0  time:  0.68 s
48.73/12.21	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
48.73/12.22	c vivif2 --  cl tried    23127 cl shrink        0 lits rem          0 time: 0.01
49.11/12.32	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
49.11/12.32	c calculated reachability. Time: 0.00
49.11/12.32	c  N st    38    158537       150      3195         0     23127     15975    490902   no data   no data
65.50/16.46	c  N st    39    207127       150      3195         0     17996     15975    291249   no data   no data
77.48/19.47	c  N st    40    237806       150      3195         0     28124     15975    578105   no data   no data
77.48/19.47	c  S st    40    237806       150      3195         0     28124     15975    578105   no data   no data
77.88/19.54	c  S st    40    238310       150      3195         0     28621     15975    592541   no data   no data
77.88/19.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.88/19.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.88/19.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.88/19.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.88/19.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.88/19.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.88/19.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.88/19.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.88/19.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.47/20.48	c lits-rem:       407  cl-subs:     2009  v-elim:      0  v-fix:    0  time:  0.90 s
81.47/20.48	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.47/20.48	c vivif2 --  cl tried    26612 cl shrink        0 lits rem          0 time: 0.01
82.26/20.60	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
82.26/20.60	c calculated reachability. Time: 0.00
82.26/20.60	c  N st    40    238310       150      3195         0     26612     15975    532226   no data   no data
107.44/26.90	c  F st    41    306252       150      3195         0     28430     15975    533505   no data   no data
107.44/26.90	c  N st    41    306252       150      3195         0     28430     15975    533505   no data   no data
109.04/27.39	c Decided on static restart strategy
119.42/29.93	c  N st    51    334559       150      3195         0     32595     15975    645047   no data   no data
129.81/32.54	c  N st    53    357465       150      3195         0     30711     15975    570499   no data   no data
129.81/32.54	c  S st    53    357465       150      3195         0     30711     15975    570499   no data   no data
130.20/32.62	c  S st    53    357972       150      3195         0     31208     15975    585024   no data   no data
130.20/32.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.20/32.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.20/32.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.20/32.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.20/32.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.20/32.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.20/32.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.20/32.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.20/32.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.22/33.14	c lits-rem:       281  cl-subs:      972  v-elim:      0  v-fix:    0  time:  0.48 s
132.22/33.14	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
132.22/33.15	c vivif2 --  cl tried    30236 cl shrink        0 lits rem          0 time: 0.01
132.59/33.29	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
132.59/33.29	c calculated reachability. Time: 0.00
132.59/33.29	c  N st    53    357972       150      3195         0     30236     15975    552049   no data   no data
147.37/36.92	c  N st    54    390364       150      3195         0     36214     15975    714123   no data   no data
172.54/43.29	c  N st    55    438957       150      3195         0     30136     15975    509460   no data   no data
208.89/52.31	c  N st    56    511839       150      3195         0     43246     15975    878878   no data   no data
220.48/55.27	c  N st    57    536958       150      3195         0     37803     15975    690449   no data   no data
220.48/55.27	c  S st    57    536958       150      3195         0     37803     15975    690449   no data   no data
220.88/55.37	c  S st    57    537462       150      3195         0     38293     15975    704857   no data   no data
220.88/55.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.88/55.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
220.88/55.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.88/55.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.88/55.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.88/55.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
220.88/55.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.88/55.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
221.28/55.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.49/56.21	c lits-rem:       548  cl-subs:     1256  v-elim:      0  v-fix:    0  time:  0.79 s
224.49/56.21	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
224.49/56.22	c vivif2 --  cl tried    37037 cl shrink        0 lits rem          0 time: 0.01
225.26/56.40	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
225.26/56.40	c calculated reachability. Time: 0.00
225.26/56.40	c  N st    57    537462       150      3195         0     37037     15975    661287   no data   no data
314.75/78.83	c  N st    58    701448       150      3195         0     65355     15975   1501998   no data   no data
378.28/94.78	c  N st    59    806194       150      3195         0     59272     15975   1213716   no data   no data
378.28/94.78	c  S st    59    806194       150      3195         0     59272     15975   1213716   no data   no data
379.06/94.94	c  S st    59    806698       150      3195         0     59762     15975   1228740   no data   no data
379.06/94.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
379.06/94.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
379.06/94.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
379.06/94.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
379.06/94.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
379.06/94.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
379.06/94.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
379.06/94.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
379.46/95.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
405.03/101.47	c lits-rem:      1472  cl-subs:     4919  v-elim:      0  v-fix:    0  time:  6.44 s
405.03/101.47	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
405.03/101.48	c vivif2 --  cl tried    54843 cl shrink        0 lits rem          0 time: 0.02
406.23/101.76	c asymm  cl-useful: 0/2760/3195 lits-rem:0 time: 0.27
406.23/101.76	c calculated reachability. Time: 0.00
406.23/101.76	c  N st    59    806698       150      3195         0     54843     15975   1076481   no data   no data
586.39/146.89	c  F st    60   1071878       150      3195         0     69942     15975   1446140   no data   no data
586.39/146.89	c  N st    60   1071878       150      3195         0     69942     15975   1446140   no data   no data
591.18/148.08	c Decided on static restart strategy
610.35/152.80	c  N st    70   1100179       150      3195         0     54564     15975    939880   no data   no data
641.92/160.73	c  N st    72   1136172       150      3195         0     45260     15975    637812   no data   no data
663.50/166.10	c  N st    73   1168569       150      3195         0     75994     15975   1579092   no data   no data
700.23/175.31	c  N st    74   1210047       150      3195         0     70622     15975   1384306   no data   no data
700.23/175.31	c  S st    74   1210047       150      3195         0     70622     15975   1384306   no data   no data
701.03/175.59	c  S st    74   1210552       150      3195         0     71117     15975   1398560   no data   no data
701.03/175.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
701.43/175.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
701.43/175.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
701.43/175.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
701.43/175.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
701.43/175.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
701.43/175.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
701.43/175.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
701.83/175.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
761.34/190.61	c lits-rem:      1287  cl-subs:     5726  v-elim:      0  v-fix:    0  time: 14.91 s
761.34/190.61	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
761.34/190.64	c vivif2 --  cl tried    65391 cl shrink        0 lits rem          0 time: 0.03
763.34/191.11	c asymm  cl-useful: 0/2441/3195 lits-rem:0 time: 0.47
763.34/191.12	c calculated reachability. Time: 0.00
763.34/191.12	c  N st    74   1210552       150      3195         0     65391     15975   1227502   no data   no data
826.48/206.95	c  N st    75   1283435       150      3195         0     88938     15975   1964387   no data   no data
922.74/231.06	c  N st    76   1392758       150      3195         0     50682     15975    713315   no data   no data
1066.14/266.99	c  N st    77   1556742       150      3195         0     55492     15975    803656   no data   no data
1215.94/304.45	c  N st    78   1710552       150      3195         0     95548     15975   1975116   no data   no data
1215.94/304.45	c  S st    78   1710552       150      3195         0     95548     15975   1975116   no data   no data
1217.15/304.74	c  S st    78   1711055       150      3195         0     96039     15975   1989744   no data   no data
1217.15/304.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1217.15/304.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1217.15/304.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1217.15/304.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1217.15/304.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1217.15/304.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1217.15/304.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1217.56/304.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1217.56/304.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1305.04/326.77	c lits-rem:      2322  cl-subs:     9364  v-elim:      0  v-fix:    0  time: 21.89 s
1305.04/326.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1305.44/326.80	c vivif2 --  cl tried    86675 cl shrink        0 lits rem          0 time: 0.03
1305.82/326.97	c asymm  cl-useful: 0/754/3195 lits-rem:0 time: 0.17
1305.82/326.98	c calculated reachability. Time: 0.00
1305.82/326.98	c  N st    78   1711055       150      3195         0     86675     15975   1712913   no data   no data
1672.92/418.85	c  N st    79   2080019       150      3195         0     98369     15975   1975512   no data   no data
1815.15/454.45	c  N st    80   2211056       150      3195         0    102280     15975   2027512   no data   no data
1815.15/454.45	c  S st    80   2211056       150      3195         0    102280     15975   2027512   no data   no data
1816.32/454.77	c  S st    80   2211560       150      3195         0    102764     15975   2042843   no data   no data
1816.32/454.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1816.72/454.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1816.72/454.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1816.72/454.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1816.72/454.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1816.72/454.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1816.72/454.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1816.72/454.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1817.12/454.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1896.22/474.72	c lits-rem:      3025  cl-subs:     8676  v-elim:      0  v-fix:    0  time: 19.81 s
1896.22/474.72	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1896.22/474.75	c vivif2 --  cl tried    94088 cl shrink        0 lits rem          0 time: 0.03
1897.82/475.10	c asymm  cl-useful: 0/1811/3195 lits-rem:0 time: 0.35
1897.82/475.11	c calculated reachability. Time: 0.00
1897.82/475.11	c  N st    80   2211560       150      3195         0     94088     15975   1794183   no data   no data
2429.98/608.31	c  N st    81   2711560       150      3195         0    117084     15975   2367947   no data   no data
2429.98/608.31	c  S st    81   2711560       150      3195         0    117084     15975   2367947   no data   no data
2431.17/608.69	c  S st    81   2712063       150      3195         0    117575     15975   2382522   no data   no data
2431.57/608.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2431.57/608.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2431.57/608.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2431.57/608.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2431.57/608.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2431.57/608.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2431.57/608.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2431.96/608.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2431.96/608.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2554.19/639.46	c lits-rem:      2234  cl-subs:    11225  v-elim:      0  v-fix:    0  time: 30.59 s
2554.19/639.46	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2554.19/639.49	c vivif2 --  cl tried   106350 cl shrink        0 lits rem          0 time: 0.04
2556.19/639.94	c asymm  cl-useful: 0/1384/3195 lits-rem:0 time: 0.44
2556.19/639.94	c calculated reachability. Time: 0.00
2556.19/639.94	c  N st    81   2712063       150      3195         0    106350     15975   2067005   no data   no data
3173.44/794.40	c  N st    82   3212063       150      3195         0     83590     15975   1237321   no data   no data
3173.44/794.40	c  S st    82   3212063       150      3195         0     83590     15975   1237321   no data   no data
3174.24/794.63	c  S st    82   3212565       150      3195         0     84085     15975   1252110   no data   no data
3174.24/794.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3174.24/794.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3174.24/794.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3174.24/794.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3174.24/794.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3174.24/794.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3174.24/794.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3174.64/794.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3174.64/794.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3186.62/797.77	c lits-rem:       303  cl-subs:     2126  v-elim:      0  v-fix:    0  time:  3.03 s
3186.62/797.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3186.62/797.79	c vivif2 --  cl tried    81959 cl shrink        0 lits rem          0 time: 0.02
3188.62/798.27	c asymm  cl-useful: 0/1908/3195 lits-rem:0 time: 0.47
3188.62/798.27	c calculated reachability. Time: 0.00
3188.62/798.27	c  N st    82   3212565       150      3195         0     81959     15975   1188934   no data   no data
3864.19/967.34	c  N st    83   3712565       150      3195         0     92365     15975   1388532   no data   no data
3864.19/967.34	c  S st    83   3712565       150      3195         0     92365     15975   1388532   no data   no data
3865.39/967.63	c  S st    83   3713070       150      3195         0     92864     15975   1404029   no data   no data
3865.39/967.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3865.39/967.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3865.39/967.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3865.39/967.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3865.39/967.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3865.39/967.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3865.39/967.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3865.79/967.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3865.79/967.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3879.38/971.13	c lits-rem:       667  cl-subs:     2848  v-elim:      0  v-fix:    0  time:  3.38 s
3879.38/971.13	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3879.38/971.16	c vivif2 --  cl tried    90016 cl shrink        0 lits rem          0 time: 0.03
3880.59/971.44	c asymm  cl-useful: 0/1287/3195 lits-rem:0 time: 0.28
3880.59/971.44	c calculated reachability. Time: 0.00
3880.59/971.45	c  N st    83   3713070       150      3195         0     90016     15975   1323991   no data   no data
3931.32/984.11	c  F st    84   3751562       150      3195         0    126395     15975   2424692   no data   no data
3931.32/984.12	c  N st    84   3751562       150      3195         0    126395     15975   2424692   no data   no data
3941.30/986.69	c Decided on static restart strategy
3988.85/998.56	c  N st    94   3779871       150      3195         0    153200     15975   3238190   no data   no data
4032.39/1009.42	c  N st    96   3815864       150      3195         0    107252     15975   1848138   no data   no data
4084.72/1022.59	c  N st    97   3848256       150      3195         0    137958     15975   2790536   no data   no data
4154.24/1039.96	c  N st    98   3896844       150      3195         0    102476     15975   1638694   no data   no data
4254.15/1064.94	c  N st    99   3969726       150      3195         0     89093     15975   1221482   no data   no data
4394.38/1100.05	c  N st   100   4079051       150      3195         0    109400     15975   1834692   no data   no data
4638.47/1161.16	c  N st   101   4213070       150      3195         0    151469     15975   3070455   no data   no data
4638.47/1161.16	c  S st   101   4213070       150      3195         0    151469     15975   3070455   no data   no data
4640.49/1161.65	c  S st   101   4213573       150      3195         0    151960     15975   3085601   no data   no data
4640.49/1161.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4640.89/1161.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4640.89/1161.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4640.89/1161.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4640.89/1161.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4640.89/1161.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4640.89/1161.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4641.27/1161.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4641.27/1161.89	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: 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-3173943-1304073883/watcher-3173943-1304073883 -o /tmp/evaluation-result-3173943-1304073883/solver-3173943-1304073883 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173943-1304073883.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.00 7.94 7.19 5/180 30800
/proc/meminfo: memFree=21932584/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 518987130 52441088 347 33554432000 4194304 4627427 140733560646800 18446744073709551615 47838136231862 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 12803 347 299 106 0 7774 0
[pid=30800/tid=30801] ppid=30798 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518987130 52441088 347 33554432000 4194304 4627427 140733560646800 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518987130 52441088 347 33554432000 4194304 4627427 140733560646800 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518987130 52441088 347 33554432000 4194304 4627427 140733560646800 18446744073709551615 47838136231858 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.131285 s]
/proc/loadavg: 8.00 7.94 7.19 5/180 30800
/proc/meminfo: memFree=21932584/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=282488 CPUtime=0.5 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 2181 0 0 0 50 0 0 0 25 0 4 0 518987130 289267712 1994 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 70622 1994 383 106 0 65593 0
[pid=30800/tid=30801] ppid=30798 vsize=282488 CPUtime=0.12 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 470 0 0 0 12 0 0 0 25 0 4 0 518987130 289267712 1994 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=282488 CPUtime=0.12 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 479 0 0 0 12 0 0 0 25 0 4 0 518987130 289267712 1994 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=282488 CPUtime=0.12 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 348 0 0 0 12 0 0 0 25 0 4 0 518987130 289267712 1994 33554432000 4194304 4627427 140733560646800 18446744073709551615 4308787 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 282488

[startup+0.200273 s]
/proc/loadavg: 8.00 7.94 7.19 5/180 30800
/proc/meminfo: memFree=21932584/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=284152 CPUtime=0.77 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 2879 0 0 0 77 0 0 0 25 0 4 0 518987130 290971648 1981 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 71038 1981 384 106 0 66009 0
[pid=30800/tid=30801] ppid=30798 vsize=284152 CPUtime=0.19 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 641 0 0 0 19 0 0 0 25 0 4 0 518987130 290971648 1981 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=284152 CPUtime=0.19 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 659 0 0 0 19 0 0 0 25 0 4 0 518987130 290971648 1981 33554432000 4194304 4627427 140733560646800 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=284152 CPUtime=0.19 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 524 0 0 0 19 0 0 0 25 0 4 0 518987130 290971648 1981 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284152

[startup+0.300255 s]
/proc/loadavg: 8.00 7.94 7.19 5/180 30800
/proc/meminfo: memFree=21932584/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=284284 CPUtime=1.17 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 3379 0 0 0 117 0 0 0 25 0 4 0 518987130 291106816 2481 33554432000 4194304 4627427 140733560646800 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 71071 2481 384 106 0 66042 0
[pid=30800/tid=30801] ppid=30798 vsize=284284 CPUtime=0.29 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 773 0 0 0 29 0 0 0 25 0 4 0 518987130 291106816 2481 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=284284 CPUtime=0.29 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 788 0 0 0 29 0 0 0 25 0 4 0 518987130 291106816 2481 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=284284 CPUtime=0.29 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 645 0 0 0 29 0 0 0 25 0 4 0 518987130 291106816 2481 33554432000 4194304 4627427 140733560646800 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284284

[startup+0.700186 s]
/proc/loadavg: 8.00 7.94 7.19 5/180 30800
/proc/meminfo: memFree=21932584/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=286120 CPUtime=2.77 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 6104 0 0 0 277 0 0 0 25 0 4 0 518987130 292986880 2757 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 71530 2757 384 106 0 66501 0
[pid=30800/tid=30801] ppid=30798 vsize=286120 CPUtime=0.69 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 1451 0 0 0 69 0 0 0 25 0 4 0 518987130 292986880 2757 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=286120 CPUtime=0.69 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 1472 0 0 0 69 0 0 0 25 0 4 0 518987130 292986880 2757 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=286120 CPUtime=0.69 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 1324 0 0 0 69 0 0 0 25 0 4 0 518987130 292986880 2757 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286120

[startup+1.50104 s]
/proc/loadavg: 8.00 7.94 7.19 9/184 30804
/proc/meminfo: memFree=21919284/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=287376 CPUtime=5.97 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 11470 0 0 0 596 1 0 0 25 0 4 0 518987130 294273024 4930 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 71844 4931 388 106 0 66815 0
[pid=30800/tid=30801] ppid=30798 vsize=287376 CPUtime=1.49 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 2461 0 0 0 149 0 0 0 25 0 4 0 518987130 294273024 4931 33554432000 4194304 4627427 140733560646800 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=287376 CPUtime=1.48 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 2492 0 0 0 148 0 0 0 25 0 4 0 518987130 294273024 4931 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=287376 CPUtime=1.49 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 2377 0 0 0 149 0 0 0 25 0 4 0 518987130 294273024 4931 33554432000 4194304 4627427 140733560646800 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287376

[startup+3.10076 s]
/proc/loadavg: 8.00 7.94 7.19 9/184 30804
/proc/meminfo: memFree=21886900/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=289032 CPUtime=12.36 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 23146 0 0 0 1233 3 0 0 25 0 4 0 518987130 295968768 12290 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 72258 12290 388 106 0 67229 0
[pid=30800/tid=30801] ppid=30798 vsize=289032 CPUtime=3.09 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 5066 0 0 0 308 1 0 0 25 0 4 0 518987130 295968768 12290 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=289032 CPUtime=3.07 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 5808 0 0 0 307 0 0 0 25 0 4 0 518987130 295968768 12290 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=289032 CPUtime=3.09 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 5732 0 0 0 308 1 0 0 25 0 4 0 518987130 295968768 12290 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 289032

[startup+6.30119 s]
/proc/loadavg: 8.00 7.94 7.20 9/184 30804
/proc/meminfo: memFree=21860964/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=294692 CPUtime=25.15 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 35528 0 0 0 2509 6 0 0 25 0 4 0 518987130 301764608 18160 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 73673 18160 388 106 0 68644 0
[pid=30800/tid=30801] ppid=30798 vsize=294692 CPUtime=6.28 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 8817 0 0 0 627 1 0 0 25 0 4 0 518987130 301764608 18160 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=294692 CPUtime=6.26 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 8887 0 0 0 625 1 0 0 25 0 4 0 518987130 301764608 18160 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=294692 CPUtime=6.29 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 8436 0 0 0 628 1 0 0 25 0 4 0 518987130 301764608 18160 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294692

[startup+12.7011 s]
/proc/loadavg: 8.00 7.94 7.20 9/184 30805
/proc/meminfo: memFree=21826996/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=313392 CPUtime=50.71 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 53781 0 0 0 5062 9 0 0 25 0 4 0 518987130 320913408 22515 33554432000 4194304 4627427 140733560646800 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 78348 22515 388 106 0 73319 0
[pid=30800/tid=30801] ppid=30798 vsize=313392 CPUtime=12.69 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 13744 0 0 0 1266 3 0 0 25 0 4 0 518987130 320913408 22515 33554432000 4194304 4627427 140733560646800 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=313392 CPUtime=12.61 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 12694 0 0 0 1260 1 0 0 25 0 4 0 518987130 320913408 22515 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=313392 CPUtime=12.69 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 13708 0 0 0 1267 2 0 0 25 0 4 0 518987130 320913408 22515 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 313392

[startup+25.5008 s]
/proc/loadavg: 8.00 7.94 7.21 9/184 30805
/proc/meminfo: memFree=21787204/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=302864 CPUtime=101.84 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 82192 0 0 0 10168 16 0 0 25 0 4 0 518987130 310132736 32553 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 75716 32553 388 106 0 70687 0
[pid=30800/tid=30801] ppid=30798 vsize=302864 CPUtime=25.48 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 21921 0 0 0 2544 4 0 0 25 0 4 0 518987130 310132736 32553 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=302864 CPUtime=25.34 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 18344 0 0 0 2532 2 0 0 25 0 4 0 518987130 310132736 32553 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=302864 CPUtime=25.49 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 21102 0 0 0 2545 4 0 0 25 0 4 0 518987130 310132736 32553 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 302864

[startup+51.1012 s]
/proc/loadavg: 8.06 7.96 7.24 9/184 30806
/proc/meminfo: memFree=21757084/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=311888 CPUtime=204.1 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 122696 0 0 0 20383 27 0 0 25 0 4 0 518987130 319373312 36235 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 77972 36235 388 106 0 72943 0
[pid=30800/tid=30801] ppid=30798 vsize=311888 CPUtime=51.09 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 33169 0 0 0 5102 7 0 0 25 0 4 0 518987130 319373312 36235 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=311888 CPUtime=50.8 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 28472 0 0 0 5075 5 0 0 25 0 4 0 518987130 319373312 36235 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=311888 CPUtime=51.09 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 31325 0 0 0 5102 7 0 0 25 0 4 0 518987130 319373312 36235 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 311888

[startup+102.301 s]
/proc/loadavg: 8.08 7.98 7.28 9/184 30807
/proc/meminfo: memFree=21725048/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=389700 CPUtime=408.64 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 187270 0 0 0 40818 46 0 0 25 0 4 0 518987130 399052800 47563 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 97425 47563 388 106 0 92396 0
[pid=30800/tid=30801] ppid=30798 vsize=389700 CPUtime=102.28 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 45117 0 0 0 10218 10 0 0 25 0 4 0 518987130 399052800 47563 33554432000 4194304 4627427 140733560646800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=389700 CPUtime=101.73 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 44575 0 0 0 10163 10 0 0 25 0 4 0 518987130 399052800 47563 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=389700 CPUtime=102.29 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 49770 0 0 0 10217 12 0 0 25 0 4 0 518987130 399052800 47563 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 389700

[startup+162.3 s]

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

[pid=30800] ppid=30798 vsize=653532 CPUtime=2805.51 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 625300 0 0 0 280320 231 0 0 25 0 4 0 518987130 669216768 110552 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 163383 110552 390 106 0 158354 0
[pid=30800/tid=30801] ppid=30798 vsize=653532 CPUtime=702.29 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 164599 0 0 0 70172 57 0 0 25 0 4 0 518987130 669216768 110552 33554432000 4194304 4627427 140733560646800 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=653532 CPUtime=698.58 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 149405 0 0 0 69803 55 0 0 25 0 4 0 518987130 669216768 110552 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=653532 CPUtime=702.3 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 170028 0 0 0 70165 65 0 0 25 0 4 0 518987130 669216768 110552 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.51
Current children cumulated vsize (KiB) 653532

[startup+762.301 s]
/proc/loadavg: 4.15 5.79 6.73 5/175 30843
/proc/meminfo: memFree=21696404/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=708632 CPUtime=3045.21 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 648768 0 0 0 304276 245 0 0 25 0 4 0 518987130 725639168 114904 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 177158 114904 389 106 0 172129 0
[pid=30800/tid=30801] ppid=30798 vsize=708632 CPUtime=762.3 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 168179 0 0 0 76171 59 0 0 25 0 4 0 518987130 725639168 114904 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=708632 CPUtime=758.26 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 157053 0 0 0 75764 62 0 0 25 0 4 0 518987130 725639168 114904 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=708632 CPUtime=762.3 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 177943 0 0 0 76163 67 0 0 25 0 4 0 518987130 725639168 114904 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.21
Current children cumulated vsize (KiB) 708632

[startup+822.301 s]
/proc/loadavg: 4.12 5.48 6.56 5/175 30844
/proc/meminfo: memFree=21664508/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=714260 CPUtime=3284.91 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 679812 0 0 0 328230 261 0 0 25 0 4 0 518987130 731402240 123232 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 178565 123232 389 106 0 173536 0
[pid=30800/tid=30801] ppid=30798 vsize=714260 CPUtime=822.29 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 176155 0 0 0 82166 63 0 0 25 0 4 0 518987130 731402240 123232 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=714260 CPUtime=817.97 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 165060 0 0 0 81732 65 0 0 25 0 4 0 518987130 731402240 123232 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=714260 CPUtime=822.31 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 185646 0 0 0 82158 73 0 0 25 0 4 0 518987130 731402240 123232 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.91
Current children cumulated vsize (KiB) 714260

[startup+882.306 s]
/proc/loadavg: 4.11 5.22 6.40 5/175 30846
/proc/meminfo: memFree=21669300/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=757500 CPUtime=3524.65 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 712747 0 0 0 352187 278 0 0 25 0 4 0 518987130 775680000 121897 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 189375 121897 389 106 0 184346 0
[pid=30800/tid=30801] ppid=30798 vsize=757500 CPUtime=882.3 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 186343 0 0 0 88162 68 0 0 25 0 4 0 518987130 775680000 121897 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=757500 CPUtime=877.69 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 173221 0 0 0 87699 70 0 0 25 0 4 0 518987130 775680000 121897 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=757500 CPUtime=882.31 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 193767 0 0 0 88155 76 0 0 25 0 4 0 518987130 775680000 121897 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.65
Current children cumulated vsize (KiB) 757500

[startup+942.301 s]
/proc/loadavg: 4.09 5.01 6.25 5/175 30848
/proc/meminfo: memFree=21658120/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=660256 CPUtime=3764.32 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 740377 0 0 0 376141 291 0 0 25 0 4 0 518987130 676102144 121738 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 165064 121738 389 106 0 160035 0
[pid=30800/tid=30801] ppid=30798 vsize=660256 CPUtime=942.3 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 192809 0 0 0 94159 71 0 0 25 0 4 0 518987130 676102144 121738 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=660256 CPUtime=937.38 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 180694 0 0 0 93664 74 0 0 25 0 4 0 518987130 676102144 121738 33554432000 4194304 4627427 140733560646800 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=660256 CPUtime=942.3 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 203484 0 0 0 94150 80 0 0 25 0 4 0 518987130 676102144 121738 33554432000 4194304 4627427 140733560646800 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.32
Current children cumulated vsize (KiB) 660256

[startup+1002.3 s]
/proc/loadavg: 4.09 4.84 6.12 6/175 30858
/proc/meminfo: memFree=21638328/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=710316 CPUtime=4004.02 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 765535 0 0 0 400095 307 0 0 25 0 4 0 518987130 727363584 122221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 177579 122221 389 106 0 172550 0
[pid=30800/tid=30801] ppid=30798 vsize=710316 CPUtime=1002.29 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 199343 0 0 0 100154 75 0 0 25 0 4 0 518987130 727363584 122221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=710316 CPUtime=997.08 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 189017 0 0 0 99630 78 0 0 25 0 4 0 518987130 727363584 122221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=710316 CPUtime=1002.31 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 208363 0 0 0 100147 84 0 0 25 0 4 0 518987130 727363584 122221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4004.02
Current children cumulated vsize (KiB) 710316

[startup+1062.3 s]
/proc/loadavg: 4.03 4.69 5.98 5/175 30860
/proc/meminfo: memFree=21628620/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=833320 CPUtime=4243.74 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 793385 0 0 0 424052 322 0 0 25 0 4 0 518987130 853319680 132221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 208330 132221 389 106 0 203301 0
[pid=30800/tid=30801] ppid=30798 vsize=833320 CPUtime=1062.3 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 207571 0 0 0 106150 80 0 0 25 0 4 0 518987130 853319680 132221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=833320 CPUtime=1056.79 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 196425 0 0 0 105596 83 0 0 25 0 4 0 518987130 853319680 132221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=833320 CPUtime=1062.31 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 216346 0 0 0 106144 87 0 0 25 0 4 0 518987130 853319680 132221 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.74
Current children cumulated vsize (KiB) 833320

[startup+1122.3 s]
/proc/loadavg: 4.06 4.57 5.86 5/175 30861
/proc/meminfo: memFree=21648180/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=834340 CPUtime=4483.45 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 817348 0 0 0 448009 336 0 0 25 0 4 0 518987130 854364160 127026 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 208585 127026 389 106 0 203556 0
[pid=30800/tid=30801] ppid=30798 vsize=834340 CPUtime=1122.29 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 216352 0 0 0 112145 84 0 0 25 0 4 0 518987130 854364160 127026 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=834340 CPUtime=1116.5 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 202733 0 0 0 111563 87 0 0 25 0 4 0 518987130 854364160 127026 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=834340 CPUtime=1122.31 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 221127 0 0 0 112141 90 0 0 25 0 4 0 518987130 854364160 127026 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.45
Current children cumulated vsize (KiB) 834340

[startup+1182.3 s]
/proc/loadavg: 4.02 4.47 5.74 5/175 30866
/proc/meminfo: memFree=21647104/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=718232 CPUtime=4723.17 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 843008 0 0 0 471966 351 0 0 25 0 4 0 518987130 735469568 127356 33554432000 4194304 4627427 140733560646800 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 179558 127356 389 106 0 174529 0
[pid=30800/tid=30801] ppid=30798 vsize=718232 CPUtime=1182.3 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 224633 0 0 0 118141 89 0 0 25 0 4 0 518987130 735469568 127356 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=718232 CPUtime=1176.2 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 209411 0 0 0 117530 90 0 0 25 0 4 0 518987130 735469568 127356 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=718232 CPUtime=1182.31 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 226301 0 0 0 118138 93 0 0 25 0 4 0 518987130 735469568 127356 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4723.17
Current children cumulated vsize (KiB) 718232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.01 4.44 5.70 5/175 30866
/proc/meminfo: memFree=21636660/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=776960 CPUtime=4800.28 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 845656 0 0 0 479675 353 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 194240 130003 389 106 0 189211 0
[pid=30800/tid=30801] ppid=30798 vsize=776960 CPUtime=1201.61 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 225933 0 0 0 120071 90 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=776960 CPUtime=1195.39 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 210613 0 0 0 119448 91 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=776960 CPUtime=1201.62 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 226447 0 0 0 120068 94 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 776960

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

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

[startup+1201.6 s]
/proc/loadavg: 4.01 4.44 5.70 5/175 30866
/proc/meminfo: memFree=21636660/32950928 swapFree=67111524/67111528
[pid=30800] ppid=30798 vsize=776960 CPUtime=4800.28 cores=1,3,5,7
/proc/30800/stat : 30800 (strangenight2-m) R 30798 30800 30047 0 -1 4202496 845656 0 0 0 479675 353 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30800/statm: 194240 130003 389 106 0 189211 0
[pid=30800/tid=30801] ppid=30798 vsize=776960 CPUtime=1201.61 cores=1,3,5,7
/proc/30800/task/30801/stat : 30801 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 225933 0 0 0 120071 90 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30800/tid=30802] ppid=30798 vsize=776960 CPUtime=1195.39 cores=1,3,5,7
/proc/30800/task/30802/stat : 30802 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 210613 0 0 0 119448 91 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30800/tid=30803] ppid=30798 vsize=776960 CPUtime=1201.62 cores=1,3,5,7
/proc/30800/task/30803/stat : 30803 (strangenight2-m) R 30798 30800 30047 0 -1 4202560 226447 0 0 0 120068 94 0 0 25 0 4 0 518987130 795607040 130003 33554432000 4194304 4627427 140733560646800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 776960

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.33
CPU user time (s): 4796.77
CPU system time (s): 3.55546
CPU usage (%): 399.482
Max. virtual memory (cumulated for all children) (KiB): 949460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.77
system time used= 3.55546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845657
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= 356
involuntary context switches= 32519

runsolver used 1.73074 second user time and 4.48132 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 12:44:43
IDJOB=3173943
IDBENCH=82761
IDSOLVER=1586
FILE ID=node122/3173943-1304073883
RUNJOBID= node122-1304072679-30685
PBS_JOBID= 13170466
Free space on /tmp= 71660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173943-1304073883/watcher-3173943-1304073883 -o /tmp/evaluation-result-3173943-1304073883/solver-3173943-1304073883 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173943-1304073883.cnf

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

MD5SUM BENCH= 7790a3f63c0c8a2b2a87d89aa5f80b99
RANDOM SEED=1539431627

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21932864 kB
Buffers:       1627284 kB
Cached:        8558508 kB
SwapCached:          4 kB
Active:        1290192 kB
Inactive:      9179488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21932864 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:      283240 kB
Mapped:          15696 kB
Slab:           485876 kB
PageTables:       5268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   519408 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= 71660 MiB
End job on node122 at 2011-04-29 13:04:47