Trace number 3366369

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.37 1203.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf
MD5SUM4d61767800ed8aa0f56d10b54eba4120
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366369-1305402676.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.02	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.02	c -- vars added        125
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 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:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.22/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.22/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.22/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.22/0.10	c calculated reachability. Time: 0.00
0.22/0.10	c Calc default polars -  time:   0.00 s pos:      61 undec:       5 neg:      59
0.22/0.10	c =========================================================================================
0.22/0.10	c types(t): F = full restart, N = normal restart
0.22/0.10	c types(t): S = simplification begin/end, E = solution found
0.22/0.10	c restart types(rt): st = static, dy = dynamic
0.22/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.22/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.22/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       125      2662         0      4647     13310    121914   no data   no data
1.17/0.34	c  N st    10     11300       125      2662         0      4270     13310     88379   no data   no data
1.97/0.55	c  N st    11     17046       125      2662         0      9660     13310    227828   no data   no data
3.17/0.89	c  F st    12     25000       125      2662         0     11872     13310    286545   no data   no data
3.17/0.89	c  N st    12     25000       125      2662         0     11872     13310    286545   no data   no data
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30001       125      2662         0     10223     13310    228203   no data   no data
3.99/1.10	c  S st    18     30001       125      2662         0     10223     13310    228203   no data   no data
4.40/1.12	c  S st    18     30504       125      2662         0     10712     13310    240763   no data   no data
4.40/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.13	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.40/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.40/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.32	c lits-rem:       175  cl-subs:     1582  v-elim:      0  v-fix:    0  time:  0.18 s
5.15/1.36	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.15/1.36	c calculated reachability. Time: 0.00
5.15/1.36	c  N st    18     30504       125      2662         0      9130     13310    197766   no data   no data
6.75/1.70	c  N st    20     37616       125      2662         0      8408     13310    166446   no data   no data
7.56/1.97	c  N st    21     44015       125      2662         0     14443     13310    326821   no data   no data
7.96/2.05	c  S st    22     45757       125      2662         0     16098     13310    371259   no data   no data
7.96/2.09	c  S st    22     46258       125      2662         0     16589     13310    383840   no data   no data
7.96/2.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.96/2.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
7.96/2.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.38/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.48	c lits-rem:       301  cl-subs:     1525  v-elim:      0  v-fix:    0  time:  0.37 s
9.54/2.48	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.54/2.48	c vivif2 --  cl tried    15064 cl shrink        0 lits rem          0 time: 0.00
9.94/2.54	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
9.94/2.54	c calculated reachability. Time: 0.00
9.94/2.54	c  N st    22     46258       125      2662         0     15064     13310    339508   no data   no data
12.76/3.30	c  N st    23     60656       125      2662         0     10794     13310    198530   no data   no data
14.73/3.79	c  N st    24     69387       125      2662         0     19054     13310    409252   no data   no data
14.73/3.79	c  S st    24     69387       125      2662         0     19054     13310    409252   no data   no data
15.13/3.84	c  S st    24     69892       125      2662         0     19543     13310    422275   no data   no data
15.13/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.13/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.13/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.13/3.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.13/3.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.13/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.40	c lits-rem:       288  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  0.54 s
17.15/4.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.15/4.41	c vivif2 --  cl tried    17657 cl shrink        0 lits rem          0 time: 0.00
17.57/4.47	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
17.57/4.47	c calculated reachability. Time: 0.00
17.57/4.47	c  N st    24     69892       125      2662         0     17657     13310    371953   no data   no data
21.95/5.52	c  F st    25     87500       125      2662         0     12678     13310    223801   no data   no data
21.95/5.52	c  N st    25     87500       125      2662         0     12678     13310    223801   no data   no data
23.10/5.80	c Decided on static restart strategy
23.50/5.97	c  N st    32     95537       125      2662         0     20277     13310    420730   no data   no data
25.92/6.55	c  N st    34    104838       125      2662         0     16824     13310    327677   no data   no data
25.92/6.55	c  S st    34    104838       125      2662         0     16824     13310    327677   no data   no data
25.92/6.59	c  S st    34    105343       125      2662         0     17312     13310    340428   no data   no data
25.92/6.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.92/6.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.92/6.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.92/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.92/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.92/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
25.92/6.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.92/6.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.92/6.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.84	c lits-rem:       572  cl-subs:     1155  v-elim:      0  v-fix:    0  time:  0.23 s
27.09/6.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.09/6.84	c vivif2 --  cl tried    16157 cl shrink        0 lits rem          0 time: 0.00
27.49/6.90	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.49/6.90	c calculated reachability. Time: 0.00
27.49/6.90	c  N st    34    105343       125      2662         0     16157     13310    307513   no data   no data
29.89/7.55	c  N st    35    114942       125      2662         0     25209     13310    548692   no data   no data
33.87/8.54	c  N st    36    129339       125      2662         0     25595     13310    543757   no data   no data
39.84/10.07	c  N st    37    150936       125      2662         0     16735     13310    273778   no data   no data
41.85/10.51	c  S st    38    158018       125      2662         0     23503     13310    460569   no data   no data
41.85/10.57	c  S st    38    158523       125      2662         0     23994     13310    472942   no data   no data
41.85/10.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.85/10.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
41.85/10.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.85/10.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.85/10.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.85/10.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
41.85/10.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.85/10.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
41.85/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.88/11.08	c lits-rem:       342  cl-subs:     1459  v-elim:      0  v-fix:    0  time:  0.48 s
43.88/11.08	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
43.88/11.09	c vivif2 --  cl tried    22535 cl shrink        0 lits rem          0 time: 0.00
44.23/11.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
44.23/11.17	c calculated reachability. Time: 0.00
44.23/11.17	c  N st    38    158523       125      2662         0     22535     13310    430577   no data   no data
60.59/15.30	c  N st    39    207111       125      2662         0     35082     13310    739471   no data   no data
71.75/18.06	c  N st    40    237784       125      2662         0     27276     13310    495150   no data   no data
71.75/18.06	c  S st    40    237784       125      2662         0     27276     13310    495150   no data   no data
72.15/18.15	c  S st    40    238287       125      2662         0     27767     13310    507983   no data   no data
72.15/18.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
72.15/18.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
72.15/18.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.15/18.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.15/18.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.15/18.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
72.15/18.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.15/18.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
72.15/18.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.33/18.93	c lits-rem:       649  cl-subs:     2177  v-elim:      0  v-fix:    0  time:  0.75 s
75.33/18.93	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
75.33/18.93	c vivif2 --  cl tried    25590 cl shrink        0 lits rem          0 time: 0.01
75.73/19.03	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
75.73/19.03	c calculated reachability. Time: 0.00
75.73/19.03	c  N st    40    238287       125      2662         0     25590     13310    454924   no data   no data
101.26/25.47	c  F st    41    306252       125      2662         0     27436     13310    449826   no data   no data
101.26/25.47	c  N st    41    306252       125      2662         0     27436     13310    449826   no data   no data
103.66/26.02	c Decided on static restart strategy
112.84/28.30	c  N st    51    334556       125      2662         0     31612     13310    564314   no data   no data
122.85/30.83	c  N st    53    357430       125      2662         0     29693     13310    480481   no data   no data
122.85/30.83	c  S st    53    357430       125      2662         0     29693     13310    480481   no data   no data
123.20/30.90	c  S st    53    357935       125      2662         0     30184     13310    493004   no data   no data
123.20/30.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.20/30.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
123.20/30.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.20/30.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.20/30.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.20/30.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
123.20/30.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.20/30.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
123.20/30.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.80/31.36	c lits-rem:       388  cl-subs:     1369  v-elim:      0  v-fix:    0  time:  0.43 s
124.80/31.36	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
124.80/31.36	c vivif2 --  cl tried    28815 cl shrink        0 lits rem          0 time: 0.01
125.20/31.47	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
125.20/31.47	c calculated reachability. Time: 0.00
125.20/31.47	c  N st    53    357935       125      2662         0     28815     13310    458312   no data   no data
138.35/34.76	c  N st    54    390327       125      2662         0     34867     13310    612518   no data   no data
163.48/41.04	c  N st    55    438915       125      2662         0     28899     13310    427966   no data   no data
198.58/49.83	c  N st    56    511797       125      2662         0     41952     13310    751433   no data   no data
211.73/53.16	c  N st    57    536902       125      2662         0     36376     13310    574287   no data   no data
211.73/53.16	c  S st    57    536902       125      2662         0     36376     13310    574287   no data   no data
212.13/53.25	c  S st    57    537408       125      2662         0     36866     13310    586860   no data   no data
212.13/53.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.13/53.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
212.13/53.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.13/53.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.13/53.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.13/53.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
212.13/53.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
212.13/53.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.13/53.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.97/53.93	c lits-rem:       578  cl-subs:     1519  v-elim:      0  v-fix:    0  time:  0.65 s
214.97/53.93	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.97/53.94	c vivif2 --  cl tried    35347 cl shrink        0 lits rem          0 time: 0.01
215.32/54.09	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
215.32/54.09	c calculated reachability. Time: 0.00
215.32/54.09	c  N st    57    537408       125      2662         0     35347     13310    546884   no data   no data
302.29/75.89	c  N st    58    701393       125      2662         0     63138     13310   1212390   no data   no data
363.30/91.11	c  N st    59    806112       125      2662         0     56986     13310   1000653   no data   no data
363.30/91.11	c  S st    59    806112       125      2662         0     56986     13310   1000653   no data   no data
363.71/91.26	c  S st    59    806616       125      2662         0     57473     13310   1013613   no data   no data
363.71/91.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
363.71/91.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
363.71/91.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
363.71/91.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
363.71/91.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
363.71/91.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
363.71/91.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
363.71/91.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
364.13/91.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.43/95.90	c lits-rem:      1678  cl-subs:     6136  v-elim:      0  v-fix:    0  time:  4.57 s
382.43/95.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
382.43/95.92	c vivif2 --  cl tried    51337 cl shrink        0 lits rem          0 time: 0.01
383.23/96.16	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.25
383.23/96.17	c calculated reachability. Time: 0.00
383.23/96.17	c  N st    59    806616       125      2662         0     51337     13310    865623   no data   no data
545.14/136.75	c  F st    60   1071875       125      2662         0     67318     13310   1219419   no data   no data
545.14/136.75	c  N st    60   1071875       125      2662         0     67318     13310   1219419   no data   no data
549.53/137.85	c Decided on static restart strategy
565.93/141.96	c  N st    70   1100176       125      2662         0     51858     13310    781324   no data   no data
598.58/150.13	c  N st    72   1136169       125      2662         0     85686     13310   1689499   no data   no data
621.71/155.92	c  N st    73   1168561       125      2662         0     72810     13310   1323982   no data   no data
653.66/163.98	c  N st    74   1209924       125      2662         0     67519     13310   1155381   no data   no data
653.66/163.98	c  S st    74   1209924       125      2662         0     67519     13310   1155381   no data   no data
654.40/164.17	c  S st    74   1210424       125      2662         0     68005     13310   1168185   no data   no data
654.40/164.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
654.80/164.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
654.80/164.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
654.80/164.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
654.80/164.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
654.80/164.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
654.80/164.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
654.80/164.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
654.80/164.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
686.30/172.15	c lits-rem:      1183  cl-subs:     4844  v-elim:      0  v-fix:    0  time:  7.90 s
686.30/172.15	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
686.30/172.17	c vivif2 --  cl tried    63161 cl shrink        0 lits rem          0 time: 0.02
688.75/172.72	c asymm  cl-useful: 0/2358/2662 lits-rem:0 time: 0.54
688.75/172.72	c calculated reachability. Time: 0.00
688.75/172.72	c  N st    74   1210424       125      2662         0     63161     13310   1046168   no data   no data
771.24/193.45	c  N st    75   1283306       125      2662         0     86398     13310   1639169   no data   no data
885.73/222.13	c  N st    76   1392629       125      2662         0     48453     13310    593362   no data   no data
1040.84/261.06	c  N st    77   1556614       125      2662         0     53000     13310    671920   no data   no data
1178.03/295.47	c  N st    78   1710426       125      2662         0     93249     13310   1724051   no data   no data
1178.03/295.47	c  S st    78   1710426       125      2662         0     93249     13310   1724051   no data   no data
1179.64/295.85	c  S st    78   1710933       125      2662         0     93738     13310   1737453   no data   no data
1179.64/295.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1180.07/295.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
1180.07/295.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1180.07/295.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1180.07/295.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1180.07/295.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1180.07/295.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1180.07/295.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1180.41/296.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1327.55/332.99	c lits-rem:      2247  cl-subs:     8974  v-elim:      0  v-fix:    0  time: 36.98 s
1327.55/332.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1327.95/333.02	c vivif2 --  cl tried    84764 cl shrink        0 lits rem          0 time: 0.03
1329.93/333.59	c asymm  cl-useful: 0/1817/2662 lits-rem:0 time: 0.58
1329.93/333.60	c calculated reachability. Time: 0.00
1329.93/333.60	c  N st    78   1710933       125      2662         0     84764     13310   1505334   no data   no data
1692.06/424.34	c  N st    79   2079897       125      2662         0     95616     13310   1608591   no data   no data
1820.87/456.69	c  N st    80   2210933       125      2662         0     99841     13310   1730478   no data   no data
1820.87/456.69	c  S st    80   2210933       125      2662         0     99841     13310   1730478   no data   no data
1822.47/457.00	c  S st    80   2211437       125      2662         0    100328     13310   1743563   no data   no data
1822.47/457.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1822.47/457.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1822.47/457.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1822.47/457.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1822.47/457.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1822.47/457.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1822.47/457.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1822.47/457.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1822.87/457.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1932.53/484.67	c lits-rem:      2912  cl-subs:    11156  v-elim:      0  v-fix:    0  time: 27.55 s
1932.53/484.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1932.93/484.70	c vivif2 --  cl tried    89172 cl shrink        0 lits rem          0 time: 0.03
1934.15/485.04	c asymm  cl-useful: 0/845/2662 lits-rem:0 time: 0.34
1934.15/485.05	c calculated reachability. Time: 0.00
1934.15/485.05	c  N st    80   2211437       125      2662         0     89172     13310   1478675   no data   no data
2456.92/616.16	c  N st    81   2711438       125      2662         0    111755     13310   1927507   no data   no data
2456.92/616.16	c  S st    81   2711438       125      2662         0    111755     13310   1927507   no data   no data
2458.52/616.51	c  S st    81   2711941       125      2662         0    112246     13310   1940644   no data   no data
2458.52/616.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2458.52/616.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2458.52/616.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2458.52/616.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2458.52/616.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2458.52/616.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2458.52/616.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2458.92/616.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2458.92/616.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2560.22/642.05	c lits-rem:      2846  cl-subs:    13771  v-elim:      0  v-fix:    0  time: 25.40 s
2560.22/642.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2560.22/642.07	c vivif2 --  cl tried    98475 cl shrink        0 lits rem          0 time: 0.02
2561.86/642.42	c asymm  cl-useful: 0/1549/2662 lits-rem:0 time: 0.35
2561.86/642.42	c calculated reachability. Time: 0.00
2561.86/642.42	c  N st    81   2711941       125      2662         0     98475     13310   1623350   no data   no data
3228.67/809.66	c  N st    82   3211941       125      2662         0     76392     13310    937544   no data   no data
3228.67/809.66	c  S st    82   3211941       125      2662         0     76392     13310    937544   no data   no data
3229.81/809.95	c  S st    82   3212444       125      2662         0     76884     13310    950703   no data   no data
3229.81/809.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3230.21/810.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3230.21/810.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3230.21/810.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3230.21/810.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3230.21/810.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3230.21/810.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3230.21/810.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3230.21/810.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3234.61/811.11	c lits-rem:       225  cl-subs:      991  v-elim:      0  v-fix:    0  time:  1.06 s
3234.61/811.11	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3234.61/811.12	c vivif2 --  cl tried    75893 cl shrink        0 lits rem          0 time: 0.02
3235.41/811.38	c asymm  cl-useful: 0/1113/2662 lits-rem:0 time: 0.26
3235.41/811.39	c calculated reachability. Time: 0.00
3235.41/811.39	c  N st    82   3212444       125      2662         0     75893     13310    927442   no data   no data
3899.02/977.79	c  N st    83   3712444       125      2662         0     86265     13310   1100897   no data   no data
3899.02/977.79	c  S st    83   3712444       125      2662         0     86265     13310   1100897   no data   no data
3900.21/978.06	c  S st    83   3712946       125      2662         0     86753     13310   1113929   no data   no data
3900.21/978.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3900.61/978.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3900.61/978.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3900.61/978.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3900.61/978.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3900.61/978.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3900.61/978.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3900.61/978.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3900.61/978.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3906.99/979.75	c lits-rem:       491  cl-subs:     2217  v-elim:      0  v-fix:    0  time:  1.60 s
3906.99/979.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3906.99/979.77	c vivif2 --  cl tried    84536 cl shrink        0 lits rem          0 time: 0.02
3908.21/980.08	c asymm  cl-useful: 0/1763/2662 lits-rem:0 time: 0.32
3908.21/980.09	c calculated reachability. Time: 0.00
3908.21/980.09	c  N st    83   3712946       125      2662         0     84536     13310   1064922   no data   no data
3950.06/990.52	c  F st    84   3751563       125      2662         0    120808     13310   2036959   no data   no data
3950.06/990.52	c  N st    84   3751563       125      2662         0    120808     13310   2036959   no data   no data
3958.84/992.80	c Decided on static restart strategy
3993.52/1001.46	c  N st    94   3779866       125      2662         0    147383     13310   2742027   no data   no data
4044.97/1014.34	c  N st    96   3815860       125      2662         0    101835     13310   1508726   no data   no data
4087.26/1024.92	c  N st    97   3848252       125      2662         0    132069     13310   2314651   no data   no data
4150.27/1040.79	c  N st    98   3896840       125      2662         0     97254     13310   1369335   no data   no data
4256.34/1067.35	c  N st    99   3969722       125      2662         0     84117     13310   1005315   no data   no data
4408.32/1105.49	c  N st   100   4079045       125      2662         0    103941     13310   1510665   no data   no data
4602.51/1154.10	c  N st   101   4212947       125      2662         0    145427     13310   2560858   no data   no data
4602.51/1154.10	c  S st   101   4212947       125      2662         0    145427     13310   2560858   no data   no data
4604.11/1154.57	c  S st   101   4213452       125      2662         0    145917     13310   2574191   no data   no data
4604.11/1154.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4604.51/1154.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4604.51/1154.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4604.51/1154.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4604.51/1154.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4604.51/1154.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4604.51/1154.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4604.51/1154.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4604.91/1154.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366369-1305402676/watcher-3366369-1305402676 -o /tmp/evaluation-result-3366369-1305402676/solver-3366369-1305402676 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366369-1305402676.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.13 8.12 8.09 5/367 15181
/proc/meminfo: memFree=23204252/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 730498318 52396032 347 33554432000 4194304 4580107 140733729413424 18446744073709551615 47979278108594 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 12792 347 299 95 0 7774 0
[pid=15181/tid=15182] ppid=15179 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730498318 52396032 347 33554432000 4194304 4580107 140733729413424 18446744073709551615 47979278108598 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730498318 52396032 347 33554432000 4194304 4580107 140733729413424 18446744073709551615 47979278108594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730498318 52396032 347 33554432000 4194304 4580107 140733729413424 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0637721 s]
/proc/loadavg: 8.13 8.12 8.09 5/367 15181
/proc/meminfo: memFree=23204252/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=282260 CPUtime=0.22 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 1643 0 0 0 22 0 0 0 18 0 4 0 730498318 289034240 1465 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 70565 1465 376 95 0 65547 0
[pid=15181/tid=15182] ppid=15179 vsize=282260 CPUtime=0.05 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 342 0 0 0 5 0 0 0 18 0 4 0 730498318 289034240 1465 33554432000 4194304 4580107 140733729413424 18446744073709551615 4324300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=282260 CPUtime=0.05 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 345 0 0 0 5 0 0 0 25 0 4 0 730498318 289034240 1465 33554432000 4194304 4580107 140733729413424 18446744073709551615 4316705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=282260 CPUtime=0.04 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 212 0 0 0 4 0 0 0 25 0 4 0 730498318 289034240 1465 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282260

[startup+0.163754 s]
/proc/loadavg: 8.13 8.12 8.09 5/367 15181
/proc/meminfo: memFree=23204252/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=283880 CPUtime=0.62 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 2471 0 0 0 62 0 0 0 18 0 4 0 730498318 290693120 1669 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 70970 1669 376 95 0 65952 0
[pid=15181/tid=15182] ppid=15179 vsize=283880 CPUtime=0.15 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 553 0 0 0 15 0 0 0 18 0 4 0 730498318 290693120 1669 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=283880 CPUtime=0.15 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 533 0 0 0 15 0 0 0 25 0 4 0 730498318 290693120 1669 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=283880 CPUtime=0.14 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 433 0 0 0 14 0 0 0 25 0 4 0 730498318 290693120 1669 33554432000 4194304 4580107 140733729413424 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 283880

[startup+0.300729 s]
/proc/loadavg: 8.13 8.12 8.09 5/367 15181
/proc/meminfo: memFree=23204252/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=284020 CPUtime=1.17 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 3085 0 0 0 117 0 0 0 18 0 4 0 730498318 290836480 2283 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 71005 2283 377 95 0 65987 0
[pid=15181/tid=15182] ppid=15179 vsize=284020 CPUtime=0.29 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 704 0 0 0 29 0 0 0 18 0 4 0 730498318 290836480 2283 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=284020 CPUtime=0.29 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 685 0 0 0 29 0 0 0 25 0 4 0 730498318 290836480 2283 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=284020 CPUtime=0.28 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 587 0 0 0 28 0 0 0 25 0 4 0 730498318 290836480 2283 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284020

[startup+0.700656 s]
/proc/loadavg: 8.13 8.12 8.09 5/367 15181
/proc/meminfo: memFree=23204252/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=285608 CPUtime=2.77 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 5536 0 0 0 276 1 0 0 18 0 4 0 730498318 292462592 2594 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 71402 2595 377 95 0 66384 0
[pid=15181/tid=15182] ppid=15179 vsize=285608 CPUtime=0.69 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 1315 0 0 0 69 0 0 0 18 0 4 0 730498318 292462592 2595 33554432000 4194304 4580107 140733729413424 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=285608 CPUtime=0.69 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 1296 0 0 0 69 0 0 0 25 0 4 0 730498318 292462592 2595 33554432000 4194304 4580107 140733729413424 18446744073709551615 4320867 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=285608 CPUtime=0.68 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 1197 0 0 0 68 0 0 0 25 0 4 0 730498318 292462592 2595 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285608

[startup+1.50051 s]
/proc/loadavg: 8.12 8.11 8.09 9/371 15185
/proc/meminfo: memFree=23190704/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=286632 CPUtime=5.96 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 11517 0 0 0 594 2 0 0 20 0 4 0 730498318 293511168 5873 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 71658 5873 379 95 0 66640 0
[pid=15181/tid=15182] ppid=15179 vsize=286632 CPUtime=1.49 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 3406 0 0 0 148 1 0 0 19 0 4 0 730498318 293511168 5873 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=286632 CPUtime=1.48 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 2200 0 0 0 148 0 0 0 25 0 4 0 730498318 293511168 5873 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=286632 CPUtime=1.46 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 2125 0 0 0 146 0 0 0 25 0 4 0 730498318 293511168 5873 33554432000 4194304 4580107 140733729413424 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286632

[startup+3.10022 s]
/proc/loadavg: 8.12 8.11 8.09 9/371 15185
/proc/meminfo: memFree=23167888/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=287228 CPUtime=12.34 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 20788 0 0 0 1230 4 0 0 25 0 4 0 730498318 294121472 11284 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 71807 11284 379 95 0 66789 0
[pid=15181/tid=15182] ppid=15179 vsize=287228 CPUtime=3.09 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 4628 0 0 0 308 1 0 0 25 0 4 0 730498318 294121472 11284 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=287228 CPUtime=3.09 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 5113 0 0 0 308 1 0 0 25 0 4 0 730498318 294121472 11284 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=287228 CPUtime=3.05 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 5142 0 0 0 304 1 0 0 25 0 4 0 730498318 294121472 11284 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 287228

[startup+6.30063 s]
/proc/loadavg: 8.11 8.11 8.09 9/371 15185
/proc/meminfo: memFree=23125024/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=301420 CPUtime=25.1 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 32299 0 0 0 2505 5 0 0 25 0 4 0 730498318 308654080 15096 33554432000 4194304 4580107 140733729413424 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 75355 15096 379 95 0 70337 0
[pid=15181/tid=15182] ppid=15179 vsize=301420 CPUtime=6.28 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 8154 0 0 0 627 1 0 0 25 0 4 0 730498318 308654080 15096 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=301420 CPUtime=6.29 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 8174 0 0 0 628 1 0 0 25 0 4 0 730498318 308654080 15096 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=301420 CPUtime=6.21 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 7166 0 0 0 620 1 0 0 25 0 4 0 730498318 308654080 15096 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 301420

[startup+12.7005 s]
/proc/loadavg: 8.10 8.11 8.09 9/371 15185
/proc/meminfo: memFree=23123056/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=302284 CPUtime=50.61 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 49187 0 0 0 5053 8 0 0 25 0 4 0 730498318 309538816 19453 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 75571 19453 379 95 0 70553 0
[pid=15181/tid=15182] ppid=15179 vsize=302284 CPUtime=12.68 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 12485 0 0 0 1266 2 0 0 25 0 4 0 730498318 309538816 19453 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=302284 CPUtime=12.68 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 11470 0 0 0 1267 1 0 0 25 0 4 0 730498318 309538816 19453 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=302284 CPUtime=12.53 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 12078 0 0 0 1251 2 0 0 25 0 4 0 730498318 309538816 19453 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 302284

[startup+25.5011 s]
/proc/loadavg: 8.08 8.11 8.09 9/371 15185
/proc/meminfo: memFree=23060380/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=291396 CPUtime=101.66 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 77259 0 0 0 10151 15 0 0 25 0 4 0 730498318 298389504 27762 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 72849 27762 379 95 0 67831 0
[pid=15181/tid=15182] ppid=15179 vsize=291396 CPUtime=25.49 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 19775 0 0 0 2545 4 0 0 25 0 4 0 730498318 298389504 27762 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=291396 CPUtime=25.49 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 18872 0 0 0 2545 4 0 0 25 0 4 0 730498318 298389504 27762 33554432000 4194304 4580107 140733729413424 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=291396 CPUtime=25.17 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 18810 0 0 0 2514 3 0 0 25 0 4 0 730498318 298389504 27762 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 291396

[startup+51.1004 s]
/proc/loadavg: 8.05 8.09 8.08 9/371 15186
/proc/meminfo: memFree=23015928/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=373464 CPUtime=203.76 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 116767 0 0 0 20352 24 0 0 25 0 4 0 730498318 382427136 33625 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 93366 33625 379 95 0 88348 0
[pid=15181/tid=15182] ppid=15179 vsize=373464 CPUtime=51.09 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 30149 0 0 0 5103 6 0 0 25 0 4 0 730498318 382427136 33625 33554432000 4194304 4580107 140733729413424 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=373464 CPUtime=51.08 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 28976 0 0 0 5102 6 0 0 25 0 4 0 730498318 382427136 33625 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=373464 CPUtime=50.47 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 27872 0 0 0 5042 5 0 0 25 0 4 0 730498318 382427136 33625 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 373464

[startup+102.314 s]
/proc/loadavg: 8.12 8.11 8.09 9/371 15187
/proc/meminfo: memFree=22940492/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=310372 CPUtime=407.99 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 182660 0 0 0 40755 44 0 0 25 0 4 0 730498318 317820928 38023 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 77593 38023 379 95 0 72575 0
[pid=15181/tid=15182] ppid=15179 vsize=310372 CPUtime=102.3 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 44958 0 0 0 10220 10 0 0 25 0 4 0 730498318 317820928 38023 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=310372 CPUtime=102.29 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 44093 0 0 0 10218 11 0 0 25 0 4 0 730498318 317820928 38023 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=310372 CPUtime=101.06 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 45899 0 0 0 10095 11 0 0 25 0 4 0 730498318 317820928 38023 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 310372

[startup+162.301 s]

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

[pid=15181] ppid=15179 vsize=533856 CPUtime=2800.71 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 535132 0 0 0 279886 185 0 0 25 0 4 0 730498318 546668544 103147 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 133464 103147 379 95 0 128446 0
[pid=15181/tid=15182] ppid=15179 vsize=533856 CPUtime=702.31 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 132458 0 0 0 70189 42 0 0 25 0 4 0 730498318 546668544 103147 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=533856 CPUtime=702.27 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 142681 0 0 0 70172 55 0 0 25 0 4 0 730498318 546668544 103147 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=533856 CPUtime=693.78 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 135563 0 0 0 69334 44 0 0 25 0 4 0 730498318 546668544 103147 33554432000 4194304 4580107 140733729413424 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.71
Current children cumulated vsize (KiB) 533856

[startup+762.314 s]
/proc/loadavg: 8.11 8.11 8.09 9/371 15214
/proc/meminfo: memFree=22362036/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=599476 CPUtime=3040.03 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 563662 0 0 0 303804 199 0 0 25 0 4 0 730498318 613863424 116098 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295687 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 149869 116098 379 95 0 144851 0
[pid=15181/tid=15182] ppid=15179 vsize=599476 CPUtime=762.32 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 140812 0 0 0 76185 47 0 0 25 0 4 0 730498318 613863424 116098 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=599476 CPUtime=762.29 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 149847 0 0 0 76170 59 0 0 25 0 4 0 730498318 613863424 116098 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=599476 CPUtime=753.06 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 142244 0 0 0 75260 46 0 0 25 0 4 0 730498318 613863424 116098 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.03
Current children cumulated vsize (KiB) 599476

[startup+822.301 s]
/proc/loadavg: 8.10 8.10 8.09 9/371 15216
/proc/meminfo: memFree=22331196/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=743796 CPUtime=3279.26 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 587542 0 0 0 327717 209 0 0 25 0 4 0 730498318 761647104 124643 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 185949 124643 379 95 0 180931 0
[pid=15181/tid=15182] ppid=15179 vsize=743796 CPUtime=822.31 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 145803 0 0 0 82182 49 0 0 25 0 4 0 730498318 761647104 124643 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=743796 CPUtime=822.27 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 156156 0 0 0 82165 62 0 0 25 0 4 0 730498318 761647104 124643 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=743796 CPUtime=812.33 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 149551 0 0 0 81184 49 0 0 25 0 4 0 730498318 761647104 124643 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.26
Current children cumulated vsize (KiB) 743796

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.09 9/371 15217
/proc/meminfo: memFree=22320620/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=678480 CPUtime=3518.54 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 611897 0 0 0 351633 221 0 0 25 0 4 0 730498318 694763520 126351 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 169620 126351 379 95 0 164602 0
[pid=15181/tid=15182] ppid=15179 vsize=678480 CPUtime=882.31 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 150048 0 0 0 88180 51 0 0 25 0 4 0 730498318 694763520 126351 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=678480 CPUtime=882.28 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 165241 0 0 0 88161 67 0 0 25 0 4 0 730498318 694763520 126351 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=678480 CPUtime=871.6 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 156754 0 0 0 87107 53 0 0 25 0 4 0 730498318 694763520 126351 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.54
Current children cumulated vsize (KiB) 678480

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.09 9/371 15219
/proc/meminfo: memFree=22357780/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=678596 CPUtime=3757.84 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 631647 0 0 0 375550 234 0 0 25 0 4 0 730498318 694882304 120207 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 169649 120207 379 95 0 164631 0
[pid=15181/tid=15182] ppid=15179 vsize=678596 CPUtime=942.32 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 154365 0 0 0 94177 55 0 0 25 0 4 0 730498318 694882304 120207 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=678596 CPUtime=942.28 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 172717 0 0 0 94156 72 0 0 25 0 4 0 730498318 694882304 120207 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=678596 CPUtime=930.9 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 161050 0 0 0 93035 55 0 0 25 0 4 0 730498318 694882304 120207 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.84
Current children cumulated vsize (KiB) 678596

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.09 9/371 15220
/proc/meminfo: memFree=22327952/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=747532 CPUtime=3997.11 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 656958 0 0 0 399463 248 0 0 25 0 4 0 730498318 765472768 125280 33554432000 4194304 4580107 140733729413424 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 186883 125280 379 95 0 181865 0
[pid=15181/tid=15182] ppid=15179 vsize=747532 CPUtime=1002.32 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 160959 0 0 0 100173 59 0 0 25 0 4 0 730498318 765472768 125280 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=747532 CPUtime=1002.28 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 180070 0 0 0 100152 76 0 0 25 0 4 0 730498318 765472768 125280 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=747532 CPUtime=990.17 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 165880 0 0 0 98959 58 0 0 25 0 4 0 730498318 765472768 125280 33554432000 4194304 4580107 140733729413424 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.11
Current children cumulated vsize (KiB) 747532

[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/371 15222
/proc/meminfo: memFree=22269752/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=737720 CPUtime=4236.41 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 675050 0 0 0 423383 258 0 0 25 0 4 0 730498318 755425280 132897 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 184430 132897 379 95 0 179412 0
[pid=15181/tid=15182] ppid=15179 vsize=737720 CPUtime=1062.32 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 164451 0 0 0 106171 61 0 0 25 0 4 0 730498318 755425280 132897 33554432000 4194304 4580107 140733729413424 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=737720 CPUtime=1062.28 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 185663 0 0 0 106149 79 0 0 25 0 4 0 730498318 755425280 132897 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=737720 CPUtime=1049.45 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 171253 0 0 0 104884 61 0 0 25 0 4 0 730498318 755425280 132897 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.41
Current children cumulated vsize (KiB) 737720

[startup+1122.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/371 15224
/proc/meminfo: memFree=22292376/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=682124 CPUtime=4475.7 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 692856 0 0 0 447303 267 0 0 25 0 4 0 730498318 698494976 122815 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 170531 122815 379 95 0 165513 0
[pid=15181/tid=15182] ppid=15179 vsize=682124 CPUtime=1122.32 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 168116 0 0 0 112170 62 0 0 25 0 4 0 730498318 698494976 122815 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=682124 CPUtime=1122.28 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 192522 0 0 0 112146 82 0 0 25 0 4 0 730498318 698494976 122815 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=682124 CPUtime=1108.74 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 174693 0 0 0 110811 63 0 0 25 0 4 0 730498318 698494976 122815 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.7
Current children cumulated vsize (KiB) 682124

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 8.09 9/371 15225
/proc/meminfo: memFree=22211604/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=772836 CPUtime=4714.95 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 717753 0 0 0 471216 279 0 0 25 0 4 0 730498318 791384064 136736 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 193209 136736 379 95 0 188191 0
[pid=15181/tid=15182] ppid=15179 vsize=772836 CPUtime=1182.32 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 174132 0 0 0 118167 65 0 0 25 0 4 0 730498318 791384064 136736 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=772836 CPUtime=1182.29 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 201800 0 0 0 118143 86 0 0 25 0 4 0 730498318 791384064 136736 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=772836 CPUtime=1167.99 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 179049 0 0 0 116732 67 0 0 25 0 4 0 730498318 791384064 136736 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.95
Current children cumulated vsize (KiB) 772836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 7.05 7.86 8.01 5/362 15244
/proc/meminfo: memFree=22765740/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=772836 CPUtime=4800.29 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 718329 0 0 0 479749 280 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 193209 137312 379 95 0 188191 0
[pid=15181/tid=15182] ppid=15179 vsize=772836 CPUtime=1203.74 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 174708 0 0 0 120308 66 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=772836 CPUtime=1203.7 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 201800 0 0 0 120284 86 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=772836 CPUtime=1189.11 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 179049 0 0 0 118844 67 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 772836

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

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

[startup+1203.7 s]
/proc/loadavg: 7.05 7.86 8.01 5/362 15244
/proc/meminfo: memFree=22765740/32950928 swapFree=65730864/67111528
[pid=15181] ppid=15179 vsize=772836 CPUtime=4800.29 cores=1,3,5,7
/proc/15181/stat : 15181 (strangenight2-m) R 15179 15181 14715 0 -1 4202496 718329 0 0 0 479749 280 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15181/statm: 193209 137312 379 95 0 188191 0
[pid=15181/tid=15182] ppid=15179 vsize=772836 CPUtime=1203.74 cores=1,3,5,7
/proc/15181/task/15182/stat : 15182 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 174708 0 0 0 120308 66 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15181/tid=15183] ppid=15179 vsize=772836 CPUtime=1203.7 cores=1,3,5,7
/proc/15181/task/15183/stat : 15183 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 201800 0 0 0 120284 86 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15181/tid=15184] ppid=15179 vsize=772836 CPUtime=1189.11 cores=1,3,5,7
/proc/15181/task/15184/stat : 15184 (strangenight2-m) R 15179 15181 14715 0 -1 4202560 179049 0 0 0 118844 67 0 0 25 0 4 0 730498318 791384064 137312 33554432000 4194304 4580107 140733729413424 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 772836

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.37
CPU user time (s): 4797.55
CPU system time (s): 2.82657
CPU usage (%): 398.787
Max. virtual memory (cumulated for all children) (KiB): 858588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.55
system time used= 2.82657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 718329
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= 360
involuntary context switches= 21888

runsolver used 3.73843 second user time and 10.6574 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 21:51:16
IDJOB=3366369
IDBENCH=82778
IDSOLVER=1844
FILE ID=node116/3366369-1305402676
RUNJOBID= node116-1305401449-15031
PBS_JOBID= 13324469
Free space on /tmp= 73132 MiB

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

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

MD5SUM BENCH= 4d61767800ed8aa0f56d10b54eba4120
RANDOM SEED=1740660829

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.77
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.826
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.826
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.826
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:      23204548 kB
Buffers:         29240 kB
Cached:         110840 kB
SwapCached:      12356 kB
Active:        9493424 kB
Inactive:        46776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23204548 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           11336 kB
Writeback:           0 kB
AnonPages:     9397680 kB
Mapped:          16332 kB
Slab:            96612 kB
PageTables:      44064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82943464 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= 73132 MiB
End job on node116 at 2011-05-14 22:11:22