Trace number 3174204

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.44 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf
MD5SUMe5ccab3a9294cbb9eed5df8c5c797376
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
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 52662
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-3174204-1304114180.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
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
3.17/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.17/0.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:      66 undec:       6 neg:      53
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
3.17/0.83	c Decided on static restart strategy
3.17/0.83	c  N st     8      4916       125      2662         0      4650     13310    125161   no data   no data
3.17/0.83	c  N st    10     11299       125      2662         0      4300     13310     89619   no data   no data
3.17/0.83	c  N st    11     17042       125      2662         0      9666     13310    228182   no data   no data
3.57/0.93	c  F st    12     25001       125      2662         0     11889     13310    288249   no data   no data
3.57/0.93	c  N st    12     25001       125      2662         0     11889     13310    288249   no data   no data
4.39/1.13	c Decided on static restart strategy
4.39/1.13	c  N st    18     30001       125      2662         0     10232     13310    228912   no data   no data
4.39/1.13	c  S st    18     30001       125      2662         0     10232     13310    228912   no data   no data
4.39/1.13	c  S st    18     30503       125      2662         0     10717     13310    241650   no data   no data
4.39/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.13	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.33	c lits-rem:       259  cl-subs:     1419  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.43	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.57/1.43	c calculated reachability. Time: 0.00
5.57/1.43	c  N st    18     30503       125      2662         0      9298     13310    202053   no data   no data
6.37/1.67	c  N st    20     37616       125      2662         0      8587     13310    168618   no data   no data
7.57/1.98	c  N st    21     44016       125      2662         0     14563     13310    324567   no data   no data
7.97/2.08	c  S st    22     45754       125      2662         0     16207     13310    365028   no data   no data
8.38/2.13	c  S st    22     46255       125      2662         0     16691     13310    377247   no data   no data
8.38/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.38/2.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.38/2.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.38/2.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.38/2.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.38/2.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.38/2.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.38/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.59	c lits-rem:       404  cl-subs:     1783  v-elim:      0  v-fix:    0  time:  0.44 s
9.97/2.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.97/2.60	c vivif2 --  cl tried    14908 cl shrink        0 lits rem          0 time: 0.00
10.37/2.65	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.37/2.65	c calculated reachability. Time: 0.00
10.37/2.65	c  N st    22     46255       125      2662         0     14908     13310    328667   no data   no data
13.56/3.45	c  N st    23     60654       125      2662         0     10751     13310    192166   no data   no data
15.56/3.94	c  N st    24     69383       125      2662         0     18952     13310    402988   no data   no data
15.56/3.94	c  S st    24     69383       125      2662         0     18952     13310    402988   no data   no data
15.56/3.99	c  S st    24     69888       125      2662         0     19435     13310    415557   no data   no data
15.56/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.56/3.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.56/3.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.65	c lits-rem:       421  cl-subs:     2219  v-elim:      0  v-fix:    0  time:  0.64 s
18.35/4.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.35/4.66	c vivif2 --  cl tried    17216 cl shrink        0 lits rem          0 time: 0.00
18.75/4.72	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.75/4.72	c calculated reachability. Time: 0.00
18.75/4.72	c  N st    24     69888       125      2662         0     17216     13310    357258   no data   no data
22.75/5.75	c  F st    25     87500       125      2662         0     12283     13310    214080   no data   no data
22.75/5.75	c  N st    25     87500       125      2662         0     12283     13310    214080   no data   no data
23.94/6.04	c Decided on static restart strategy
24.74/6.23	c  N st    32     95539       125      2662         0     19882     13310    414435   no data   no data
27.14/6.84	c  N st    34    104833       125      2662         0     16410     13310    316252   no data   no data
27.14/6.84	c  S st    34    104833       125      2662         0     16410     13310    316252   no data   no data
27.14/6.88	c  S st    34    105335       125      2662         0     16897     13310    329267   no data   no data
27.14/6.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.14/6.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.14/6.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.11	c lits-rem:       252  cl-subs:      993  v-elim:      0  v-fix:    0  time:  0.20 s
28.34/7.11	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.34/7.11	c vivif2 --  cl tried    15904 cl shrink        0 lits rem          0 time: 0.00
28.34/7.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.34/7.18	c calculated reachability. Time: 0.00
28.34/7.18	c  N st    34    105335       125      2662         0     15904     13310    301518   no data   no data
31.53/7.91	c  N st    35    114933       125      2662         0     24959     13310    543702   no data   no data
35.53/8.93	c  N st    36    129331       125      2662         0     25344     13310    531299   no data   no data
41.92/10.59	c  N st    37    150926       125      2662         0     16503     13310    264401   no data   no data
44.31/11.11	c  S st    38    158002       125      2662         0     23193     13310    440058   no data   no data
44.31/11.17	c  S st    38    158508       125      2662         0     23689     13310    453194   no data   no data
44.31/11.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.31/11.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.31/11.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.31/11.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.31/11.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.31/11.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.31/11.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.31/11.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.72/11.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.69	c lits-rem:       303  cl-subs:     1649  v-elim:      0  v-fix:    0  time:  0.49 s
46.32/11.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
46.32/11.69	c vivif2 --  cl tried    22040 cl shrink        0 lits rem          0 time: 0.00
46.72/11.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
46.72/11.78	c calculated reachability. Time: 0.00
46.72/11.78	c  N st    38    158508       125      2662         0     22040     13310    407768   no data   no data
63.50/15.96	c  N st    39    207096       125      2662         0     34728     13310    718340   no data   no data
74.70/18.77	c  N st    40    237762       125      2662         0     26948     13310    497699   no data   no data
74.70/18.77	c  S st    40    237762       125      2662         0     26948     13310    497699   no data   no data
75.08/18.85	c  S st    40    238265       125      2662         0     27436     13310    510555   no data   no data
75.08/18.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.08/18.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.08/18.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.08/18.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.08/18.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.08/18.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
75.08/18.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.08/18.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.08/18.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.87/19.54	c lits-rem:       484  cl-subs:     1872  v-elim:      0  v-fix:    0  time:  0.66 s
77.87/19.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.87/19.54	c vivif2 --  cl tried    25564 cl shrink        0 lits rem          0 time: 0.01
78.27/19.64	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.27/19.64	c calculated reachability. Time: 0.00
78.27/19.64	c  N st    40    238265       125      2662         0     25564     13310    459288   no data   no data
105.45/26.49	c  F st    41    306252       125      2662         0     27403     13310    463735   no data   no data
105.45/26.49	c  N st    41    306252       125      2662         0     27403     13310    463735   no data   no data
107.83/27.03	c Decided on static restart strategy
117.43/29.48	c  N st    51    334550       125      2662         0     31500     13310    542236   no data   no data
127.43/31.96	c  N st    53    357398       125      2662         0     29524     13310    473895   no data   no data
127.43/31.96	c  S st    53    357398       125      2662         0     29524     13310    473895   no data   no data
127.81/32.04	c  S st    53    357900       125      2662         0     30014     13310    486403   no data   no data
127.81/32.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.81/32.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
127.81/32.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
127.81/32.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
127.81/32.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
127.81/32.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
127.81/32.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
127.81/32.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
127.81/32.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.40/32.47	c lits-rem:       279  cl-subs:     1313  v-elim:      0  v-fix:    0  time:  0.41 s
129.40/32.47	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
129.40/32.48	c vivif2 --  cl tried    28701 cl shrink        0 lits rem          0 time: 0.01
130.20/32.60	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.12
130.20/32.60	c calculated reachability. Time: 0.00
130.20/32.60	c  N st    53    357900       125      2662         0     28701     13310    452604   no data   no data
143.39/35.97	c  N st    54    390293       125      2662         0     34689     13310    602559   no data   no data
170.55/42.76	c  N st    55    438883       125      2662         0     28755     13310    420522   no data   no data
206.90/51.88	c  N st    56    511765       125      2662         0     41463     13310    724207   no data   no data
220.48/55.26	c  N st    57    536850       125      2662         0     36123     13310    568206   no data   no data
220.48/55.26	c  S st    57    536850       125      2662         0     36123     13310    568206   no data   no data
220.88/55.36	c  S st    57    537354       125      2662         0     36612     13310    581158   no data   no data
220.88/55.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.88/55.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
220.88/55.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.88/55.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.88/55.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.88/55.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
220.88/55.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.88/55.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
220.88/55.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.69/56.02	c lits-rem:       526  cl-subs:     1390  v-elim:      0  v-fix:    0  time:  0.63 s
223.69/56.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
223.69/56.03	c vivif2 --  cl tried    35222 cl shrink        0 lits rem          0 time: 0.01
224.10/56.18	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
224.10/56.18	c calculated reachability. Time: 0.00
224.10/56.18	c  N st    57    537354       125      2662         0     35222     13310    542752   no data   no data
321.15/80.41	c  N st    58    701339       125      2662         0     62825     13310   1196175   no data   no data
384.66/96.37	c  N st    59    806031       125      2662         0     57237     13310   1023733   no data   no data
384.66/96.37	c  S st    59    806031       125      2662         0     57237     13310   1023733   no data   no data
385.46/96.52	c  S st    59    806537       125      2662         0     57721     13310   1036404   no data   no data
385.46/96.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
385.46/96.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
385.46/96.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
385.46/96.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
385.46/96.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
385.46/96.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
385.46/96.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
385.46/96.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
385.46/96.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
402.64/100.81	c lits-rem:       946  cl-subs:     4559  v-elim:      0  v-fix:    0  time:  4.22 s
402.64/100.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
402.64/100.82	c vivif2 --  cl tried    53162 cl shrink        0 lits rem          0 time: 0.01
403.43/101.10	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
403.43/101.10	c calculated reachability. Time: 0.00
403.43/101.10	c  N st    59    806537       125      2662         0     53162     13310    919563   no data   no data
580.79/145.46	c  F st    60   1071876       125      2662         0     68606     13310   1223772   no data   no data
580.79/145.46	c  N st    60   1071876       125      2662         0     68606     13310   1223772   no data   no data
585.60/146.63	c Decided on static restart strategy
605.17/151.56	c  N st    70   1100179       125      2662         0     53238     13310    818056   no data   no data
635.52/159.13	c  N st    72   1136173       125      2662         0     43960     13310    551215   no data   no data
660.29/165.36	c  N st    73   1168565       125      2662         0     74323     13310   1368688   no data   no data
698.66/174.98	c  N st    74   1209805       125      2662         0     68823     13310   1199270   no data   no data
698.66/174.98	c  S st    74   1209805       125      2662         0     68823     13310   1199270   no data   no data
699.84/175.25	c  S st    74   1210307       125      2662         0     69315     13310   1212240   no data   no data
699.84/175.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
700.24/175.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
700.24/175.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
700.24/175.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
700.24/175.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
700.24/175.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
700.24/175.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
700.24/175.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
700.24/175.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
741.39/185.68	c lits-rem:      1532  cl-subs:     5075  v-elim:      0  v-fix:    0  time: 10.32 s
741.39/185.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
741.39/185.70	c vivif2 --  cl tried    64240 cl shrink        0 lits rem          0 time: 0.02
743.38/186.11	c asymm  cl-useful: 0/2261/2662 lits-rem:0 time: 0.42
743.38/186.12	c calculated reachability. Time: 0.00
743.38/186.12	c  N st    74   1210307       125      2662         0     64240     13310   1076512   no data   no data
798.51/199.91	c  N st    75   1283190       125      2662         0     87653     13310   1692691   no data   no data
894.78/224.02	c  N st    76   1392513       125      2662         0     49665     13310    618507   no data   no data
1029.80/257.83	c  N st    77   1556498       125      2662         0     54401     13310    696535   no data   no data
1160.81/290.67	c  N st    78   1710308       125      2662         0     94160     13310   1709003   no data   no data
1160.81/290.67	c  S st    78   1710308       125      2662         0     94160     13310   1709003   no data   no data
1162.42/291.04	c  S st    78   1710810       125      2662         0     94646     13310   1721882   no data   no data
1162.42/291.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1162.82/291.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1162.82/291.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1162.82/291.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1162.82/291.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1162.82/291.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1162.82/291.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1162.82/291.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1163.22/291.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1328.99/332.79	c lits-rem:      4173  cl-subs:    11007  v-elim:      0  v-fix:    0  time: 41.60 s
1328.99/332.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1329.39/332.82	c vivif2 --  cl tried    83639 cl shrink        0 lits rem          0 time: 0.03
1331.79/333.42	c asymm  cl-useful: 0/1868/2662 lits-rem:0 time: 0.60
1331.79/333.42	c calculated reachability. Time: 0.00
1331.79/333.42	c  N st    78   1710810       125      2662         0     83639     13310   1447229   no data   no data
1703.30/426.40	c  N st    79   2079774       125      2662         0     94961     13310   1631144   no data   no data
1819.53/455.56	c  N st    80   2210810       125      2662         0     99560     13310   1807054   no data   no data
1819.53/455.56	c  S st    80   2210810       125      2662         0     99560     13310   1807054   no data   no data
1820.73/455.88	c  S st    80   2211316       125      2662         0    100049     13310   1820090   no data   no data
1820.73/455.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1821.13/455.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1821.13/455.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1821.13/455.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1821.13/455.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1821.13/455.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1821.13/455.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1821.13/455.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1821.54/456.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1905.43/477.04	c lits-rem:      2140  cl-subs:     7315  v-elim:      0  v-fix:    0  time: 21.02 s
1905.43/477.04	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1905.43/477.07	c vivif2 --  cl tried    92734 cl shrink        0 lits rem          0 time: 0.03
1907.05/477.44	c asymm  cl-useful: 0/794/2662 lits-rem:0 time: 0.36
1907.05/477.44	c calculated reachability. Time: 0.00
1907.05/477.44	c  N st    80   2211316       125      2662         0     92734     13310   1618077   no data   no data
2424.73/607.00	c  N st    81   2711317       125      2662         0    115058     13310   2043827   no data   no data
2424.73/607.00	c  S st    81   2711317       125      2662         0    115058     13310   2043827   no data   no data
2426.33/607.40	c  S st    81   2711822       125      2662         0    115547     13310   2057373   no data   no data
2426.33/607.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2426.33/607.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2426.33/607.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2426.33/607.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2426.33/607.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2426.33/607.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2426.33/607.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2426.73/607.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2426.73/607.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2533.79/634.37	c lits-rem:      3417  cl-subs:    13689  v-elim:      0  v-fix:    0  time: 26.81 s
2533.79/634.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2534.19/634.40	c vivif2 --  cl tried   101858 cl shrink        0 lits rem          0 time: 0.02
2535.41/634.75	c asymm  cl-useful: 0/1604/2662 lits-rem:0 time: 0.35
2535.41/634.75	c calculated reachability. Time: 0.00
2535.41/634.75	c  N st    81   2711822       125      2662         0    101858     13310   1745643   no data   no data
3149.37/788.49	c  N st    82   3211822       125      2662         0     79594     13310   1024047   no data   no data
3149.37/788.49	c  S st    82   3211822       125      2662         0     79594     13310   1024047   no data   no data
3150.59/788.72	c  S st    82   3212329       125      2662         0     80091     13310   1037628   no data   no data
3150.59/788.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3150.59/788.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3150.59/788.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3150.59/788.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3150.59/788.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3150.59/788.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3150.59/788.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3150.59/788.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3150.96/788.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3156.15/790.11	c lits-rem:       270  cl-subs:     1651  v-elim:      0  v-fix:    0  time:  1.30 s
3156.15/790.11	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3156.15/790.13	c vivif2 --  cl tried    78440 cl shrink        0 lits rem          0 time: 0.01
3156.96/790.34	c asymm  cl-useful: 0/1058/2662 lits-rem:0 time: 0.21
3156.96/790.34	c calculated reachability. Time: 0.00
3156.96/790.34	c  N st    82   3212329       125      2662         0     78440     13310    995362   no data   no data
3816.08/955.35	c  N st    83   3712330       125      2662         0     88629     13310   1172213   no data   no data
3816.08/955.35	c  S st    83   3712330       125      2662         0     88629     13310   1172213   no data   no data
3817.28/955.62	c  S st    83   3712835       125      2662         0     89123     13310   1185048   no data   no data
3817.28/955.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3817.28/955.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3817.28/955.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3817.28/955.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3817.28/955.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3817.28/955.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3817.28/955.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3817.28/955.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3817.68/955.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3826.06/957.82	c lits-rem:       411  cl-subs:     2711  v-elim:      0  v-fix:    0  time:  2.10 s
3826.06/957.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3826.06/957.84	c vivif2 --  cl tried    86412 cl shrink        0 lits rem          0 time: 0.02
3827.28/958.16	c asymm  cl-useful: 0/1788/2662 lits-rem:0 time: 0.32
3827.28/958.16	c calculated reachability. Time: 0.00
3827.28/958.16	c  N st    83   3712835       125      2662         0     86412     13310   1123472   no data   no data
3872.40/969.48	c  F st    84   3751563       125      2662         0    122615     13310   2094550   no data   no data
3872.40/969.48	c  N st    84   3751563       125      2662         0    122615     13310   2094550   no data   no data
3882.79/972.07	c Decided on static restart strategy
3931.52/984.24	c  N st    94   3779872       125      2662         0    149301     13310   2809638   no data   no data
3985.07/997.65	c  N st    96   3815866       125      2662         0    103733     13310   1561601   no data   no data
4031.79/1009.33	c  N st    97   3848258       125      2662         0    133862     13310   2365704   no data   no data
4098.10/1025.96	c  N st    98   3896847       125      2662         0     99064     13310   1421603   no data   no data
4212.35/1054.55	c  N st    99   3969730       125      2662         0     85906     13310   1050657   no data   no data
4356.56/1090.65	c  N st   100   4079054       125      2662         0    105959     13310   1588192   no data   no data
4538.73/1136.25	c  N st   101   4212837       125      2662         0    147219     13310   2621737   no data   no data
4538.73/1136.25	c  S st   101   4212837       125      2662         0    147219     13310   2621737   no data   no data
4540.72/1136.76	c  S st   101   4213342       125      2662         0    147708     13310   2635512   no data   no data
4540.72/1136.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4541.12/1136.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4541.12/1136.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4541.12/1136.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4541.12/1136.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4541.12/1136.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4541.12/1136.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4541.12/1136.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4541.52/1136.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4791.98/1199.62	c lits-rem:      2853  cl-subs:    17386  v-elim:      0  v-fix:    0  time: 62.65 s
4791.98/1199.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4791.98/1199.66	c vivif2 --  cl tried   130322 cl shrink        0 lits rem          0 time: 0.04
4794.00/1200.12	c asymm  cl-useful: 0/874/2662 lits-rem:0 time: 0.46
4794.00/1200.12	c calculated reachability. Time: 0.00
4794.00/1200.12	c  N st   101   4213342       125      2662         0    130322     13310   2208687   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174204-1304114180/watcher-3174204-1304114180 -o /tmp/evaluation-result-3174204-1304114180/solver-3174204-1304114180 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174204-1304114180.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: 7.49 7.97 7.99 6/180 5120
/proc/meminfo: memFree=29428980/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 601648711 52441088 347 33554432000 4194304 4627427 140735755867664 18446744073709551615 47926084831154 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 12803 347 299 106 0 7774 0
[pid=5120/tid=5121] ppid=5118 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601648711 52441088 347 33554432000 4194304 4627427 140735755867664 18446744073709551615 47926084831158 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601648712 52441088 347 33554432000 4194304 4627427 140735755867664 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601648712 52441088 347 33554432000 4194304 4627427 140735755867664 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0515551 s]
/proc/loadavg: 7.49 7.97 7.99 6/180 5120
/proc/meminfo: memFree=29428980/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=282260 CPUtime=0.18 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 1595 0 0 0 18 0 0 0 18 0 4 0 601648711 289034240 1467 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 70565 1467 383 106 0 65536 0
[pid=5120/tid=5121] ppid=5118 vsize=282260 CPUtime=0.04 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 324 0 0 0 4 0 0 0 18 0 4 0 601648711 289034240 1467 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=282260 CPUtime=0.04 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 319 0 0 0 4 0 0 0 25 0 4 0 601648712 289034240 1467 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=282260 CPUtime=0.04 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 199 0 0 0 4 0 0 0 18 0 4 0 601648712 289034240 1467 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 282260

[startup+0.167504 s]
/proc/loadavg: 7.49 7.97 7.99 6/180 5120
/proc/meminfo: memFree=29428980/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=283868 CPUtime=0.64 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 2490 0 0 0 64 0 0 0 18 0 4 0 601648711 290680832 1733 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 70967 1733 384 106 0 65938 0
[pid=5120/tid=5121] ppid=5118 vsize=283868 CPUtime=0.16 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 532 0 0 0 16 0 0 0 18 0 4 0 601648711 290680832 1733 33554432000 4194304 4627427 140735755867664 18446744073709551615 4324287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=283868 CPUtime=0.15 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 531 0 0 0 15 0 0 0 25 0 4 0 601648712 290680832 1733 33554432000 4194304 4627427 140735755867664 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=283868 CPUtime=0.16 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 441 0 0 0 16 0 0 0 18 0 4 0 601648712 290680832 1733 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 283868

[startup+0.300479 s]
/proc/loadavg: 7.49 7.97 7.99 6/180 5120
/proc/meminfo: memFree=29428980/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=284140 CPUtime=1.17 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 3083 0 0 0 117 0 0 0 18 0 4 0 601648711 290959360 2326 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 71035 2326 384 106 0 66006 0
[pid=5120/tid=5121] ppid=5118 vsize=284140 CPUtime=0.29 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 677 0 0 0 29 0 0 0 18 0 4 0 601648711 290959360 2326 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=284140 CPUtime=0.29 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 677 0 0 0 29 0 0 0 25 0 4 0 601648712 290959360 2326 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=284140 CPUtime=0.29 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 587 0 0 0 29 0 0 0 18 0 4 0 601648712 290959360 2327 33554432000 4194304 4627427 140735755867664 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284140

[startup+0.700405 s]
/proc/loadavg: 7.49 7.97 7.99 6/180 5120
/proc/meminfo: memFree=29428980/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=285636 CPUtime=2.78 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 5544 0 0 0 277 1 0 0 18 0 4 0 601648711 292491264 2617 33554432000 4194304 4627427 140735755867664 18446744073709551615 4332840 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 71409 2617 384 106 0 66380 0
[pid=5120/tid=5121] ppid=5118 vsize=285636 CPUtime=0.69 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 1294 0 0 0 69 0 0 0 18 0 4 0 601648711 292491264 2617 33554432000 4194304 4627427 140735755867664 18446744073709551615 4333350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=285636 CPUtime=0.68 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 1297 0 0 0 68 0 0 0 25 0 4 0 601648712 292491264 2617 33554432000 4194304 4627427 140735755867664 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=285636 CPUtime=0.69 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 1195 0 0 0 69 0 0 0 18 0 4 0 601648712 292491264 2617 33554432000 4194304 4627427 140735755867664 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285636

[startup+1.50026 s]
/proc/loadavg: 7.49 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29417680/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=292832 CPUtime=5.96 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 11691 0 0 0 594 2 0 0 20 0 4 0 601648711 299859968 6090 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 73208 6090 388 106 0 68179 0
[pid=5120/tid=5121] ppid=5118 vsize=292832 CPUtime=1.48 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 3459 0 0 0 148 0 0 0 19 0 4 0 601648711 299859968 6090 33554432000 4194304 4627427 140735755867664 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=292832 CPUtime=1.47 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 2245 0 0 0 147 0 0 0 25 0 4 0 601648712 299859968 6090 33554432000 4194304 4627427 140735755867664 18446744073709551615 4321477 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=292832 CPUtime=1.49 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 2150 0 0 0 149 0 0 0 20 0 4 0 601648712 299859968 6090 33554432000 4194304 4627427 140735755867664 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 292832

[startup+3.10096 s]
/proc/loadavg: 7.49 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29385316/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=296588 CPUtime=12.36 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 20864 0 0 0 1232 4 0 0 25 0 4 0 601648711 303706112 11025 33554432000 4194304 4627427 140735755867664 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 74147 11025 388 106 0 69118 0
[pid=5120/tid=5121] ppid=5118 vsize=296588 CPUtime=3.08 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 4659 0 0 0 308 0 0 0 25 0 4 0 601648711 303706112 11025 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=296588 CPUtime=3.08 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 5475 0 0 0 307 1 0 0 25 0 4 0 601648712 303706112 11025 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=296588 CPUtime=3.08 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 5189 0 0 0 308 0 0 0 25 0 4 0 601648712 303706112 11025 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296588

[startup+6.30036 s]
/proc/loadavg: 7.53 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29353176/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=316112 CPUtime=25.14 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 31818 0 0 0 2508 6 0 0 25 0 4 0 601648711 323698688 15666 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 79028 15666 388 106 0 73999 0
[pid=5120/tid=5121] ppid=5118 vsize=316112 CPUtime=6.29 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 8166 0 0 0 628 1 0 0 25 0 4 0 601648711 323698688 15666 33554432000 4194304 4627427 140735755867664 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=316112 CPUtime=6.25 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 8084 0 0 0 624 1 0 0 25 0 4 0 601648712 323698688 15666 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=316112 CPUtime=6.29 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 7607 0 0 0 628 1 0 0 25 0 4 0 601648712 323698688 15666 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 316112

[startup+12.7012 s]
/proc/loadavg: 7.57 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29316096/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=308032 CPUtime=50.71 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 48006 0 0 0 5061 10 0 0 25 0 4 0 601648711 315424768 20125 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 77008 20125 388 106 0 71979 0
[pid=5120/tid=5121] ppid=5118 vsize=308032 CPUtime=12.68 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 12674 0 0 0 1266 2 0 0 25 0 4 0 601648711 315424768 20125 33554432000 4194304 4627427 140735755867664 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=308032 CPUtime=12.62 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 11826 0 0 0 1260 2 0 0 25 0 4 0 601648712 315424768 20125 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=308032 CPUtime=12.69 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 12459 0 0 0 1267 2 0 0 25 0 4 0 601648712 315424768 20125 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 308032

[startup+25.5008 s]
/proc/loadavg: 7.66 7.97 7.99 9/184 5125
/proc/meminfo: memFree=29286380/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=326936 CPUtime=101.84 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 71453 0 0 0 10169 15 0 0 25 0 4 0 601648711 334782464 27625 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 81734 27625 388 106 0 76705 0
[pid=5120/tid=5121] ppid=5118 vsize=326936 CPUtime=25.49 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 19897 0 0 0 2545 4 0 0 25 0 4 0 601648711 334782464 27625 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=326936 CPUtime=25.35 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 19071 0 0 0 2532 3 0 0 25 0 4 0 601648712 334782464 27625 33554432000 4194304 4627427 140735755867664 18446744073709551615 4306056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=326936 CPUtime=25.49 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 18725 0 0 0 2545 4 0 0 25 0 4 0 601648712 334782464 27625 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 326936

[startup+51.101 s]
/proc/loadavg: 7.78 7.97 7.99 9/184 5126
/proc/meminfo: memFree=29217812/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=384440 CPUtime=204.11 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 103423 0 0 0 20387 24 0 0 25 0 4 0 601648711 393666560 38706 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 96110 38706 388 106 0 91081 0
[pid=5120/tid=5121] ppid=5118 vsize=384440 CPUtime=51.09 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 30169 0 0 0 5103 6 0 0 25 0 4 0 601648711 393666560 38706 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=384440 CPUtime=50.81 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 29209 0 0 0 5076 5 0 0 25 0 4 0 601648712 393666560 38706 33554432000 4194304 4627427 140735755867664 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=384440 CPUtime=51.09 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 28867 0 0 0 5101 8 0 0 25 0 4 0 601648712 393666560 38706 33554432000 4194304 4627427 140735755867664 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 384440

[startup+102.306 s]
/proc/loadavg: 7.90 7.97 7.99 9/184 5127
/proc/meminfo: memFree=29135172/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=397508 CPUtime=408.65 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 149544 0 0 0 40825 40 0 0 25 0 4 0 601648711 407048192 50245 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 99377 50245 388 106 0 94348 0
[pid=5120/tid=5121] ppid=5118 vsize=397508 CPUtime=102.29 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 43978 0 0 0 10219 10 0 0 25 0 4 0 601648711 407048192 50245 33554432000 4194304 4627427 140735755867664 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=397508 CPUtime=101.73 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 39855 0 0 0 10164 9 0 0 25 0 4 0 601648712 407048192 50245 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=397508 CPUtime=102.28 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 46113 0 0 0 10215 13 0 0 25 0 4 0 601648712 407048192 50245 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 397508

[startup+162.301 s]

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

[pid=5120] ppid=5118 vsize=581736 CPUtime=2805.43 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 490550 0 0 0 280363 180 0 0 25 0 4 0 601648711 595697664 98623 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 145434 98623 388 106 0 140405 0
[pid=5120/tid=5121] ppid=5118 vsize=581736 CPUtime=702.3 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 136230 0 0 0 70184 46 0 0 25 0 4 0 601648711 595697664 98623 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=581736 CPUtime=698.48 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 127007 0 0 0 69799 49 0 0 25 0 4 0 601648712 595697664 98623 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=581736 CPUtime=702.3 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 137927 0 0 0 70182 48 0 0 25 0 4 0 601648712 595697664 98623 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 581736

[startup+762.307 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 5154
/proc/meminfo: memFree=28714700/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=647776 CPUtime=3045.13 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 524397 0 0 0 304320 193 0 0 25 0 4 0 601648711 663322624 108038 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 161944 108038 388 106 0 156915 0
[pid=5120/tid=5121] ppid=5118 vsize=647776 CPUtime=762.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 145765 0 0 0 76182 49 0 0 25 0 4 0 601648711 663322624 108038 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=647776 CPUtime=758.16 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 134502 0 0 0 75764 52 0 0 25 0 4 0 601648712 663322624 108038 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=647776 CPUtime=762.31 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 146800 0 0 0 76180 51 0 0 25 0 4 0 601648712 663322624 108038 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 647776

[startup+822.301 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 5155
/proc/meminfo: memFree=28710184/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=648312 CPUtime=3284.79 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 556667 0 0 0 328271 208 0 0 25 0 4 0 601648711 663871488 105993 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 162078 105993 388 106 0 157049 0
[pid=5120/tid=5121] ppid=5118 vsize=648312 CPUtime=822.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 154806 0 0 0 82177 54 0 0 25 0 4 0 601648711 663871488 105993 33554432000 4194304 4627427 140735755867664 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=648312 CPUtime=817.82 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 143402 0 0 0 81727 55 0 0 25 0 4 0 601648712 663871488 105993 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=648312 CPUtime=822.31 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 152615 0 0 0 82177 54 0 0 25 0 4 0 601648712 663871488 105993 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 648312

[startup+882.3 s]
/proc/loadavg: 8.11 8.05 8.01 9/184 5157
/proc/meminfo: memFree=28710104/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=583164 CPUtime=3524.46 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 587763 0 0 0 352222 224 0 0 25 0 4 0 601648711 597159936 103505 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 145791 103505 388 106 0 140762 0
[pid=5120/tid=5121] ppid=5118 vsize=583164 CPUtime=882.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 162508 0 0 0 88173 58 0 0 25 0 4 0 601648711 597159936 103505 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=583164 CPUtime=877.49 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 152133 0 0 0 87690 59 0 0 25 0 4 0 601648712 597159936 103505 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=583164 CPUtime=882.31 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 160339 0 0 0 88174 57 0 0 25 0 4 0 601648712 597159936 103505 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 583164

[startup+942.301 s]
/proc/loadavg: 8.11 8.05 8.00 9/184 5159
/proc/meminfo: memFree=28685256/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=583536 CPUtime=3764.15 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 616353 0 0 0 376178 237 0 0 25 0 4 0 601648711 597540864 105248 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 145884 105248 388 106 0 140855 0
[pid=5120/tid=5121] ppid=5118 vsize=583536 CPUtime=942.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 170110 0 0 0 94170 61 0 0 25 0 4 0 601648711 597540864 105248 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=583536 CPUtime=937.18 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 158976 0 0 0 93656 62 0 0 25 0 4 0 601648712 597540864 105248 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=583536 CPUtime=942.31 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 167301 0 0 0 94170 61 0 0 25 0 4 0 601648712 597540864 105248 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 583536

[startup+1002.3 s]
/proc/loadavg: 8.11 8.06 8.00 9/184 5160
/proc/meminfo: memFree=28655936/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=655332 CPUtime=4003.83 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 643773 0 0 0 400133 250 0 0 25 0 4 0 601648711 671059968 107278 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 163833 107278 388 106 0 158804 0
[pid=5120/tid=5121] ppid=5118 vsize=655332 CPUtime=1002.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 178276 0 0 0 100167 64 0 0 25 0 4 0 601648711 671059968 107278 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=655332 CPUtime=996.85 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 164567 0 0 0 99620 65 0 0 25 0 4 0 601648712 671059968 107278 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=655332 CPUtime=1002.31 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 173869 0 0 0 100167 64 0 0 25 0 4 0 601648712 671059968 107278 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 655332

[startup+1062.3 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 5162
/proc/meminfo: memFree=28616436/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=708164 CPUtime=4243.51 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 672790 0 0 0 424087 264 0 0 25 0 4 0 601648711 725159936 110364 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 177041 110364 388 106 0 172012 0
[pid=5120/tid=5121] ppid=5118 vsize=708164 CPUtime=1062.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 185660 0 0 0 106163 68 0 0 25 0 4 0 601648711 725159936 110364 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=708164 CPUtime=1056.53 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 172626 0 0 0 105585 68 0 0 25 0 4 0 601648712 725159936 110364 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=708164 CPUtime=1062.31 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 180554 0 0 0 106164 67 0 0 25 0 4 0 601648712 725159936 110364 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 708164

[startup+1122.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/184 5163
/proc/meminfo: memFree=28588880/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=639468 CPUtime=4483.19 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 698879 0 0 0 448043 276 0 0 25 0 4 0 601648711 654815232 117941 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 159867 117941 388 106 0 154838 0
[pid=5120/tid=5121] ppid=5118 vsize=639468 CPUtime=1122.32 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 192977 0 0 0 112160 72 0 0 25 0 4 0 601648711 654815232 117941 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=639468 CPUtime=1116.2 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 179020 0 0 0 111549 71 0 0 25 0 4 0 601648712 654815232 117941 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=639468 CPUtime=1122.32 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 185886 0 0 0 112163 69 0 0 25 0 4 0 601648712 654815232 117941 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 639468

[startup+1182.3 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 5165
/proc/meminfo: memFree=28564032/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=688464 CPUtime=4722.87 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 721695 0 0 0 472002 285 0 0 25 0 4 0 601648711 704987136 118896 33554432000 4194304 4627427 140735755867664 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 172116 118896 388 106 0 167087 0
[pid=5120/tid=5121] ppid=5118 vsize=688464 CPUtime=1182.31 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 201971 0 0 0 118156 75 0 0 25 0 4 0 601648711 704987136 118896 33554432000 4194304 4627427 140735755867664 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=688464 CPUtime=1175.88 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 183979 0 0 0 117514 74 0 0 25 0 4 0 601648712 704987136 118896 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=688464 CPUtime=1182.32 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 188638 0 0 0 118161 71 0 0 25 0 4 0 601648712 704987136 118896 33554432000 4194304 4627427 140735755867664 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.87
Current children cumulated vsize (KiB) 688464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.55 7.96 7.97 5/175 5184
/proc/meminfo: memFree=29042996/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=688464 CPUtime=4800.38 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 723554 0 0 0 479751 287 0 0 25 0 4 0 601648711 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 172116 120753 388 106 0 167087 0
[pid=5120/tid=5121] ppid=5118 vsize=688464 CPUtime=1201.72 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 201971 0 0 0 120097 75 0 0 25 0 4 0 601648711 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4420164 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=688464 CPUtime=1195.17 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 184817 0 0 0 119442 75 0 0 25 0 4 0 601648712 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=688464 CPUtime=1201.73 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 189588 0 0 0 120101 72 0 0 25 0 4 0 601648712 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 688464

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

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

[startup+1201.7 s]
/proc/loadavg: 7.55 7.96 7.97 5/175 5184
/proc/meminfo: memFree=29042996/32950928 swapFree=67111356/67111528
[pid=5120] ppid=5118 vsize=688464 CPUtime=4800.38 cores=1,3,5,7
/proc/5120/stat : 5120 (strangenight2-m) R 5118 5120 4858 0 -1 4202496 723554 0 0 0 479751 287 0 0 25 0 4 0 601648711 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5120/statm: 172116 120753 388 106 0 167087 0
[pid=5120/tid=5121] ppid=5118 vsize=688464 CPUtime=1201.72 cores=1,3,5,7
/proc/5120/task/5121/stat : 5121 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 201971 0 0 0 120097 75 0 0 25 0 4 0 601648711 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4420164 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5120/tid=5122] ppid=5118 vsize=688464 CPUtime=1195.17 cores=1,3,5,7
/proc/5120/task/5122/stat : 5122 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 184817 0 0 0 119442 75 0 0 25 0 4 0 601648712 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5120/tid=5123] ppid=5118 vsize=688464 CPUtime=1201.73 cores=1,3,5,7
/proc/5120/task/5123/stat : 5123 (strangenight2-m) R 5118 5120 4858 0 -1 4202560 189588 0 0 0 120101 72 0 0 25 0 4 0 601648712 704987136 120753 33554432000 4194304 4627427 140735755867664 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 688464

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.44
CPU user time (s): 4797.54
CPU system time (s): 2.89956
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 763432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.54
system time used= 2.89956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723554
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= 294
involuntary context switches= 31205

runsolver used 1.85872 second user time and 4.70928 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 23:56:20
IDJOB=3174204
IDBENCH=83022
IDSOLVER=1586
FILE ID=node114/3174204-1304114180
RUNJOBID= node114-1304111762-4877
PBS_JOBID= 13170690
Free space on /tmp= 71800 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174204-1304114180/watcher-3174204-1304114180 -o /tmp/evaluation-result-3174204-1304114180/solver-3174204-1304114180 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174204-1304114180.cnf

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

MD5SUM BENCH= e5ccab3a9294cbb9eed5df8c5c797376
RANDOM SEED=1823855517

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.73
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.848
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.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:      29429260 kB
Buffers:       1065348 kB
Cached:        1794128 kB
SwapCached:        168 kB
Active:         241836 kB
Inactive:      2774844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29429260 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11328 kB
Writeback:           0 kB
AnonPages:      156492 kB
Mapped:          15508 kB
Slab:           440996 kB
PageTables:       4612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   405896 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= 71800 MiB
End job on node114 at 2011-04-30 00:16:24