Trace number 3173960

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.4 1201.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.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-3173960-1304074380.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.00	c Parsing time:  0.00 s
0.00/0.00	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.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.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      61 undec:       5 neg:      59
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.14	c Decided on static restart strategy
0.00/0.14	c  N st     8      4918       125      2662         0      4647     13310    121914   no data   no data
0.00/0.34	c  N st    10     11300       125      2662         0      4270     13310     88379   no data   no data
0.00/0.54	c  N st    11     17046       125      2662         0      9660     13310    227828   no data   no data
0.05/0.89	c  F st    12     25000       125      2662         0     11872     13310    286545   no data   no data
0.05/0.89	c  N st    12     25000       125      2662         0     11872     13310    286545   no data   no data
3.99/1.09	c Decided on static restart strategy
3.99/1.09	c  N st    18     30001       125      2662         0     10223     13310    228203   no data   no data
3.99/1.09	c  S st    18     30001       125      2662         0     10223     13310    228203   no data   no data
4.39/1.12	c  S st    18     30504       125      2662         0     10712     13310    240763   no data   no data
4.39/1.12	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.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.19/1.32	c lits-rem:       175  cl-subs:     1582  v-elim:      0  v-fix:    0  time:  0.18 s
5.19/1.36	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.19/1.36	c calculated reachability. Time: 0.00
5.19/1.36	c  N st    18     30504       125      2662         0      9130     13310    197766   no data   no data
6.77/1.70	c  N st    20     37616       125      2662         0      8408     13310    166446   no data   no data
7.59/1.97	c  N st    21     44015       125      2662         0     14443     13310    326821   no data   no data
7.97/2.05	c  S st    22     45757       125      2662         0     16098     13310    371259   no data   no data
7.97/2.09	c  S st    22     46258       125      2662         0     16589     13310    383840   no data   no data
7.97/2.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
7.97/2.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
7.97/2.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.37/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.49	c lits-rem:       301  cl-subs:     1525  v-elim:      0  v-fix:    0  time:  0.37 s
9.57/2.49	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.57/2.49	c vivif2 --  cl tried    15064 cl shrink        0 lits rem          0 time: 0.00
9.97/2.54	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
9.97/2.54	c calculated reachability. Time: 0.00
9.97/2.54	c  N st    22     46258       125      2662         0     15064     13310    339508   no data   no data
13.16/3.31	c  N st    23     60656       125      2662         0     10794     13310    198530   no data   no data
15.16/3.80	c  N st    24     69387       125      2662         0     19054     13310    409252   no data   no data
15.16/3.80	c  S st    24     69387       125      2662         0     19054     13310    409252   no data   no data
15.16/3.85	c  S st    24     69892       125      2662         0     19543     13310    422275   no data   no data
15.16/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.16/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.16/3.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.16/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.41	c lits-rem:       288  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  0.54 s
17.55/4.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.55/4.42	c vivif2 --  cl tried    17657 cl shrink        0 lits rem          0 time: 0.00
17.55/4.48	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
17.55/4.48	c calculated reachability. Time: 0.00
17.55/4.48	c  N st    24     69892       125      2662         0     17657     13310    371953   no data   no data
21.94/5.53	c  F st    25     87500       125      2662         0     12678     13310    223801   no data   no data
21.94/5.53	c  N st    25     87500       125      2662         0     12678     13310    223801   no data   no data
23.14/5.82	c Decided on static restart strategy
23.54/5.98	c  N st    32     95537       125      2662         0     20277     13310    420730   no data   no data
25.94/6.56	c  N st    34    104838       125      2662         0     16824     13310    327677   no data   no data
25.94/6.56	c  S st    34    104838       125      2662         0     16824     13310    327677   no data   no data
26.34/6.60	c  S st    34    105343       125      2662         0     17312     13310    340428   no data   no data
26.34/6.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.34/6.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.34/6.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.34/6.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.34/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.85	c lits-rem:       572  cl-subs:     1155  v-elim:      0  v-fix:    0  time:  0.23 s
27.14/6.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.14/6.86	c vivif2 --  cl tried    16157 cl shrink        0 lits rem          0 time: 0.00
27.54/6.92	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.54/6.92	c calculated reachability. Time: 0.00
27.54/6.92	c  N st    34    105343       125      2662         0     16157     13310    307513   no data   no data
29.94/7.56	c  N st    35    114942       125      2662         0     25209     13310    548692   no data   no data
33.95/8.54	c  N st    36    129339       125      2662         0     25595     13310    543757   no data   no data
39.93/10.07	c  N st    37    150936       125      2662         0     16735     13310    273778   no data   no data
41.92/10.51	c  S st    38    158018       125      2662         0     23503     13310    460569   no data   no data
41.92/10.57	c  S st    38    158523       125      2662         0     23994     13310    472942   no data   no data
41.92/10.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.92/10.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
41.92/10.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.92/10.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.92/10.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.92/10.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
41.92/10.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.92/10.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
41.92/10.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.91/11.08	c lits-rem:       342  cl-subs:     1459  v-elim:      0  v-fix:    0  time:  0.48 s
43.91/11.08	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
43.91/11.09	c vivif2 --  cl tried    22535 cl shrink        0 lits rem          0 time: 0.00
44.31/11.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
44.31/11.17	c calculated reachability. Time: 0.00
44.31/11.17	c  N st    38    158523       125      2662         0     22535     13310    430577   no data   no data
60.69/15.28	c  N st    39    207111       125      2662         0     35082     13310    739471   no data   no data
71.89/18.05	c  N st    40    237784       125      2662         0     27276     13310    495150   no data   no data
71.89/18.05	c  S st    40    237784       125      2662         0     27276     13310    495150   no data   no data
72.29/18.14	c  S st    40    238287       125      2662         0     27767     13310    507983   no data   no data
72.29/18.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
72.29/18.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
72.29/18.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.29/18.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.29/18.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.29/18.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
72.29/18.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.29/18.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
72.29/18.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.48/18.92	c lits-rem:       649  cl-subs:     2177  v-elim:      0  v-fix:    0  time:  0.75 s
75.48/18.92	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
75.48/18.92	c vivif2 --  cl tried    25590 cl shrink        0 lits rem          0 time: 0.01
75.88/19.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
75.88/19.02	c calculated reachability. Time: 0.00
75.88/19.02	c  N st    40    238287       125      2662         0     25590     13310    454924   no data   no data
101.44/25.47	c  F st    41    306252       125      2662         0     27436     13310    449826   no data   no data
101.44/25.47	c  N st    41    306252       125      2662         0     27436     13310    449826   no data   no data
103.86/26.01	c Decided on static restart strategy
112.64/28.29	c  N st    51    334556       125      2662         0     31612     13310    564314   no data   no data
123.01/30.80	c  N st    53    357430       125      2662         0     29693     13310    480481   no data   no data
123.01/30.80	c  S st    53    357430       125      2662         0     29693     13310    480481   no data   no data
123.01/30.87	c  S st    53    357935       125      2662         0     30184     13310    493004   no data   no data
123.01/30.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.01/30.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
123.01/30.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.01/30.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.01/30.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.01/30.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
123.01/30.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.01/30.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
123.41/30.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.01/31.33	c lits-rem:       388  cl-subs:     1369  v-elim:      0  v-fix:    0  time:  0.43 s
125.01/31.33	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
125.01/31.33	c vivif2 --  cl tried    28815 cl shrink        0 lits rem          0 time: 0.01
125.41/31.44	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
125.41/31.44	c calculated reachability. Time: 0.00
125.41/31.44	c  N st    53    357935       125      2662         0     28815     13310    458312   no data   no data
138.59/34.71	c  N st    54    390327       125      2662         0     34867     13310    612518   no data   no data
163.76/41.01	c  N st    55    438915       125      2662         0     28899     13310    427966   no data   no data
198.50/49.77	c  N st    56    511797       125      2662         0     41952     13310    751433   no data   no data
212.08/53.10	c  N st    57    536902       125      2662         0     36376     13310    574287   no data   no data
212.08/53.10	c  S st    57    536902       125      2662         0     36376     13310    574287   no data   no data
212.08/53.19	c  S st    57    537408       125      2662         0     36866     13310    586860   no data   no data
212.08/53.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.48/53.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
212.48/53.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.48/53.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.48/53.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.48/53.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
212.48/53.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
212.48/53.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.48/53.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.88/53.88	c lits-rem:       578  cl-subs:     1519  v-elim:      0  v-fix:    0  time:  0.65 s
214.88/53.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.88/53.88	c vivif2 --  cl tried    35347 cl shrink        0 lits rem          0 time: 0.01
215.68/54.03	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
215.68/54.03	c calculated reachability. Time: 0.00
215.68/54.03	c  N st    57    537408       125      2662         0     35347     13310    546884   no data   no data
302.36/75.74	c  N st    58    701393       125      2662         0     63138     13310   1212390   no data   no data
363.10/90.91	c  N st    59    806112       125      2662         0     56986     13310   1000653   no data   no data
363.10/90.91	c  S st    59    806112       125      2662         0     56986     13310   1000653   no data   no data
363.50/91.06	c  S st    59    806616       125      2662         0     57473     13310   1013613   no data   no data
363.50/91.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
363.50/91.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
363.50/91.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
363.50/91.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
363.50/91.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
363.50/91.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
363.50/91.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
363.88/91.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
363.88/91.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.86/95.67	c lits-rem:      1678  cl-subs:     6136  v-elim:      0  v-fix:    0  time:  4.54 s
381.86/95.67	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
381.86/95.69	c vivif2 --  cl tried    51337 cl shrink        0 lits rem          0 time: 0.01
383.06/95.93	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.24
383.06/95.93	c calculated reachability. Time: 0.00
383.06/95.93	c  N st    59    806616       125      2662         0     51337     13310    865623   no data   no data
544.44/136.37	c  F st    60   1071875       125      2662         0     67318     13310   1219419   no data   no data
544.44/136.37	c  N st    60   1071875       125      2662         0     67318     13310   1219419   no data   no data
548.84/137.44	c Decided on static restart strategy
565.23/141.55	c  N st    70   1100176       125      2662         0     51858     13310    781324   no data   no data
597.57/149.63	c  N st    72   1136169       125      2662         0     85686     13310   1689499   no data   no data
620.74/155.45	c  N st    73   1168561       125      2662         0     72810     13310   1323982   no data   no data
652.70/163.49	c  N st    74   1209924       125      2662         0     67519     13310   1155381   no data   no data
652.70/163.49	c  S st    74   1209924       125      2662         0     67519     13310   1155381   no data   no data
653.52/163.68	c  S st    74   1210424       125      2662         0     68005     13310   1168185   no data   no data
653.52/163.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
653.89/163.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
653.89/163.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
653.89/163.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
653.89/163.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
653.89/163.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
653.89/163.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
653.89/163.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
653.89/163.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
696.24/174.34	c lits-rem:      1183  cl-subs:     4844  v-elim:      0  v-fix:    0  time: 10.57 s
696.24/174.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
696.24/174.36	c vivif2 --  cl tried    63161 cl shrink        0 lits rem          0 time: 0.02
698.63/174.92	c asymm  cl-useful: 0/2358/2662 lits-rem:0 time: 0.55
698.63/174.92	c calculated reachability. Time: 0.00
698.63/174.92	c  N st    74   1210424       125      2662         0     63161     13310   1046168   no data   no data
776.15/194.30	c  N st    75   1283306       125      2662         0     86398     13310   1639169   no data   no data
889.58/222.73	c  N st    76   1392629       125      2662         0     48453     13310    593362   no data   no data
1046.17/261.92	c  N st    77   1556614       125      2662         0     53000     13310    671920   no data   no data
1189.60/297.85	c  N st    78   1710426       125      2662         0     93249     13310   1724051   no data   no data
1189.60/297.85	c  S st    78   1710426       125      2662         0     93249     13310   1724051   no data   no data
1191.58/298.30	c  S st    78   1710933       125      2662         0     93738     13310   1737453   no data   no data
1191.58/298.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1191.58/298.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.07
1191.58/298.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1191.58/298.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1191.58/298.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1191.58/298.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1191.58/298.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1191.98/298.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1191.98/298.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1340.58/335.60	c lits-rem:      2247  cl-subs:     8974  v-elim:      0  v-fix:    0  time: 37.10 s
1340.58/335.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1340.58/335.62	c vivif2 --  cl tried    84764 cl shrink        0 lits rem          0 time: 0.03
1342.99/336.21	c asymm  cl-useful: 0/1817/2662 lits-rem:0 time: 0.58
1342.99/336.21	c calculated reachability. Time: 0.00
1342.99/336.21	c  N st    78   1710933       125      2662         0     84764     13310   1505334   no data   no data
1698.10/425.18	c  N st    79   2079897       125      2662         0     95616     13310   1608591   no data   no data
1827.53/457.55	c  N st    80   2210933       125      2662         0     99841     13310   1730478   no data   no data
1827.53/457.55	c  S st    80   2210933       125      2662         0     99841     13310   1730478   no data   no data
1828.73/457.86	c  S st    80   2211437       125      2662         0    100328     13310   1743563   no data   no data
1828.73/457.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1829.13/457.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1829.13/457.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1829.13/457.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1829.13/457.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1829.13/457.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1829.13/457.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1829.13/457.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1829.13/457.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1962.95/491.47	c lits-rem:      2912  cl-subs:    11156  v-elim:      0  v-fix:    0  time: 33.47 s
1962.95/491.47	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1962.95/491.49	c vivif2 --  cl tried    89172 cl shrink        0 lits rem          0 time: 0.03
1964.53/491.85	c asymm  cl-useful: 0/845/2662 lits-rem:0 time: 0.35
1964.53/491.85	c calculated reachability. Time: 0.00
1964.53/491.85	c  N st    80   2211437       125      2662         0     89172     13310   1478675   no data   no data
2477.44/620.27	c  N st    81   2711438       125      2662         0    111755     13310   1927507   no data   no data
2477.44/620.27	c  S st    81   2711438       125      2662         0    111755     13310   1927507   no data   no data
2479.04/620.63	c  S st    81   2711941       125      2662         0    112246     13310   1940644   no data   no data
2479.04/620.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2479.04/620.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2479.04/620.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2479.04/620.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2479.04/620.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2479.04/620.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2479.04/620.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2479.44/620.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2479.44/620.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2581.70/646.32	c lits-rem:      2846  cl-subs:    13771  v-elim:      0  v-fix:    0  time: 25.55 s
2581.70/646.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2581.70/646.35	c vivif2 --  cl tried    98475 cl shrink        0 lits rem          0 time: 0.02
2583.29/646.71	c asymm  cl-useful: 0/1549/2662 lits-rem:0 time: 0.36
2583.29/646.71	c calculated reachability. Time: 0.00
2583.29/646.71	c  N st    81   2711941       125      2662         0     98475     13310   1623350   no data   no data
3251.59/814.07	c  N st    82   3211941       125      2662         0     76392     13310    937544   no data   no data
3251.59/814.07	c  S st    82   3211941       125      2662         0     76392     13310    937544   no data   no data
3252.79/814.37	c  S st    82   3212444       125      2662         0     76884     13310    950703   no data   no data
3252.79/814.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3253.19/814.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3253.19/814.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3253.19/814.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3253.19/814.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3253.19/814.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3253.19/814.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3253.19/814.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3253.19/814.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3258.80/815.86	c lits-rem:       225  cl-subs:      991  v-elim:      0  v-fix:    0  time:  1.38 s
3258.80/815.86	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3258.80/815.87	c vivif2 --  cl tried    75893 cl shrink        0 lits rem          0 time: 0.02
3259.98/816.16	c asymm  cl-useful: 0/1113/2662 lits-rem:0 time: 0.29
3259.98/816.17	c calculated reachability. Time: 0.00
3259.98/816.17	c  N st    82   3212444       125      2662         0     75893     13310    927442   no data   no data
3927.11/983.17	c  N st    83   3712444       125      2662         0     86265     13310   1100897   no data   no data
3927.11/983.17	c  S st    83   3712444       125      2662         0     86265     13310   1100897   no data   no data
3928.28/983.44	c  S st    83   3712946       125      2662         0     86753     13310   1113929   no data   no data
3928.28/983.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3928.28/983.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3928.28/983.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3928.28/983.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3928.28/983.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3928.28/983.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3928.28/983.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3928.68/983.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3928.68/983.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3935.09/985.14	c lits-rem:       491  cl-subs:     2217  v-elim:      0  v-fix:    0  time:  1.60 s
3935.09/985.14	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3935.09/985.16	c vivif2 --  cl tried    84536 cl shrink        0 lits rem          0 time: 0.02
3936.28/985.48	c asymm  cl-useful: 0/1763/2662 lits-rem:0 time: 0.32
3936.28/985.48	c calculated reachability. Time: 0.00
3936.28/985.48	c  N st    83   3712946       125      2662         0     84536     13310   1064922   no data   no data
3977.82/995.85	c  F st    84   3751563       125      2662         0    120808     13310   2036959   no data   no data
3977.82/995.85	c  N st    84   3751563       125      2662         0    120808     13310   2036959   no data   no data
3987.02/998.11	c Decided on static restart strategy
4023.37/1007.29	c  N st    94   3779866       125      2662         0    147383     13310   2742027   no data   no data
4072.12/1019.45	c  N st    96   3815860       125      2662         0    101835     13310   1508726   no data   no data
4114.44/1030.06	c  N st    97   3848252       125      2662         0    132069     13310   2314651   no data   no data
4177.95/1045.91	c  N st    98   3896840       125      2662         0     97254     13310   1369335   no data   no data
4283.82/1072.41	c  N st    99   3969722       125      2662         0     84117     13310   1005315   no data   no data
4435.61/1110.47	c  N st   100   4079045       125      2662         0    103941     13310   1510665   no data   no data
4629.77/1159.05	c  N st   101   4212947       125      2662         0    145427     13310   2560858   no data   no data
4629.77/1159.05	c  S st   101   4212947       125      2662         0    145427     13310   2560858   no data   no data
4631.35/1159.49	c  S st   101   4213452       125      2662         0    145917     13310   2574191   no data   no data
4631.75/1159.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4631.75/1159.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4631.75/1159.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4631.75/1159.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4631.75/1159.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4631.75/1159.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4631.75/1159.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4632.15/1159.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4632.15/1159.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173960-1304074380/watcher-3173960-1304074380 -o /tmp/evaluation-result-3173960-1304074380/solver-3173960-1304074380 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173960-1304074380.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.78 8.02 7.99 5/180 12616
/proc/meminfo: memFree=15164988/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519038399 52441088 347 33554432000 4194304 4627427 140733216885648 18446744073709551615 46991759148972 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 12803 347 299 106 0 7774 0
[pid=12616/tid=12617] ppid=12614 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519038400 52441088 347 33554432000 4194304 4627427 140733216885648 18446744073709551615 46991759148978 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519038400 52441088 347 33554432000 4194304 4627427 140733216885648 18446744073709551615 46991759148978 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519038400 52441088 347 33554432000 4194304 4627427 140733216885648 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0196371 s]
/proc/loadavg: 7.78 8.02 7.99 5/180 12616
/proc/meminfo: memFree=15164988/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=281992 CPUtime=0.05 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 1053 0 0 0 5 0 0 0 18 0 4 0 519038399 288759808 968 33554432000 4194304 4627427 140733216885648 18446744073709551615 244446988471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 70498 1016 369 106 0 65469 0
[pid=12616/tid=12617] ppid=12614 vsize=282124 CPUtime=0.01 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) D 12614 12616 12239 0 -1 4202560 251 0 0 0 1 0 0 0 18 0 4 0 519038400 288894976 1123 33554432000 4194304 4627427 140733216885648 18446744073709551615 244446606369 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=286472 CPUtime=0.79 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1343 0 0 0 79 0 0 0 19 0 4 0 519038400 293347328 2952 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=286472 CPUtime=0.79 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1269 0 0 0 79 0 0 0 25 0 4 0 519038400 293347328 2952 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 281992

[startup+0.905353 s]
/proc/loadavg: 7.78 8.02 7.99 5/180 12616
/proc/meminfo: memFree=15164988/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=286644 CPUtime=3.59 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 6147 0 0 0 358 1 0 0 19 0 4 0 519038399 293523456 3249 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 71661 3249 385 106 0 66632 0
[pid=12616/tid=12617] ppid=12614 vsize=286644 CPUtime=0.89 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1532 0 0 0 89 0 0 0 19 0 4 0 519038400 293523456 3249 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=286644 CPUtime=0.89 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1405 0 0 0 89 0 0 0 19 0 4 0 519038400 293523456 3250 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=286644 CPUtime=0.89 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1341 0 0 0 89 0 0 0 25 0 4 0 519038400 293523456 3250 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 286644

[startup+1.00534 s]
/proc/loadavg: 7.78 8.02 7.99 5/180 12616
/proc/meminfo: memFree=15164988/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=287080 CPUtime=3.99 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 7212 0 0 0 398 1 0 0 19 0 4 0 519038399 293969920 2889 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 71770 2889 385 106 0 66741 0
[pid=12616/tid=12617] ppid=12614 vsize=287080 CPUtime=0.99 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1775 0 0 0 99 0 0 0 19 0 4 0 519038400 293969920 2889 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=287080 CPUtime=0.99 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1688 0 0 0 99 0 0 0 19 0 4 0 519038400 293969920 2889 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=287080 CPUtime=0.99 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1597 0 0 0 99 0 0 0 25 0 4 0 519038400 293969920 2889 33554432000 4194304 4627427 140733216885648 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 287080

[startup+1.10531 s]
/proc/loadavg: 7.78 8.02 7.99 5/180 12616
/proc/meminfo: memFree=15164988/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=287080 CPUtime=4.39 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 7526 0 0 0 438 1 0 0 19 0 4 0 519038399 293969920 3203 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 71770 3203 385 106 0 66741 0
[pid=12616/tid=12617] ppid=12614 vsize=287080 CPUtime=1.09 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1851 0 0 0 109 0 0 0 19 0 4 0 519038400 293969920 3203 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=287080 CPUtime=1.09 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1771 0 0 0 109 0 0 0 19 0 4 0 519038400 293969920 3203 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=287080 CPUtime=1.09 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 1675 0 0 0 109 0 0 0 25 0 4 0 519038400 293969920 3203 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 287080

[startup+1.50025 s]
/proc/loadavg: 7.78 8.02 7.99 5/180 12616
/proc/meminfo: memFree=15164988/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=287552 CPUtime=5.98 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 11515 0 0 0 596 2 0 0 20 0 4 0 519038399 294453248 5791 33554432000 4194304 4627427 140733216885648 18446744073709551615 4332648 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 71888 5792 388 106 0 66859 0
[pid=12616/tid=12617] ppid=12614 vsize=287552 CPUtime=1.48 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 3426 0 0 0 148 0 0 0 20 0 4 0 519038400 294453248 5792 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=287552 CPUtime=1.48 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 2186 0 0 0 148 0 0 0 19 0 4 0 519038400 294453248 5792 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=287552 CPUtime=1.48 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 2107 0 0 0 148 0 0 0 25 0 4 0 519038400 294453248 5792 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 287552

[startup+3.10094 s]
/proc/loadavg: 7.78 8.02 7.99 6/183 12621
/proc/meminfo: memFree=15439320/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=288064 CPUtime=12.36 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 20861 0 0 0 1233 3 0 0 25 0 4 0 519038399 294977536 11372 33554432000 4194304 4627427 140733216885648 18446744073709551615 4310136 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 72016 11372 388 106 0 66987 0
[pid=12616/tid=12617] ppid=12614 vsize=288064 CPUtime=3.08 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 4637 0 0 0 308 0 0 0 25 0 4 0 519038400 294977536 11372 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=288064 CPUtime=3.07 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 5104 0 0 0 307 0 0 0 25 0 4 0 519038400 294977536 11372 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=288064 CPUtime=3.08 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 5106 0 0 0 307 1 0 0 25 0 4 0 519038400 294977536 11372 33554432000 4194304 4627427 140733216885648 18446744073709551615 4290624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 288064

[startup+6.30635 s]
/proc/loadavg: 7.48 7.95 7.97 9/184 12651
/proc/meminfo: memFree=15494096/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=302700 CPUtime=25.17 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 32253 0 0 0 2510 7 0 0 25 0 4 0 519038399 309964800 15060 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 75675 15060 388 106 0 70646 0
[pid=12616/tid=12617] ppid=12614 vsize=302700 CPUtime=6.29 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 8133 0 0 0 628 1 0 0 25 0 4 0 519038400 309964800 15060 33554432000 4194304 4627427 140733216885648 18446744073709551615 4351550 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=302700 CPUtime=6.26 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 8286 0 0 0 625 1 0 0 25 0 4 0 519038400 309964800 15060 33554432000 4194304 4627427 140733216885648 18446744073709551615 4321594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=302700 CPUtime=6.28 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 7137 0 0 0 627 1 0 0 25 0 4 0 519038400 309964800 15060 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 302700

[startup+12.7012 s]
/proc/loadavg: 7.52 7.95 7.97 9/184 12651
/proc/meminfo: memFree=15427592/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=303564 CPUtime=50.71 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 48823 0 0 0 5060 11 0 0 25 0 4 0 519038399 310849536 19563 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 75891 19563 388 106 0 70862 0
[pid=12616/tid=12617] ppid=12614 vsize=303564 CPUtime=12.68 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 12431 0 0 0 1266 2 0 0 25 0 4 0 519038400 310849536 19563 33554432000 4194304 4627427 140733216885648 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=303564 CPUtime=12.63 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 11589 0 0 0 1261 2 0 0 25 0 4 0 519038400 310849536 19563 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=303564 CPUtime=12.68 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 11807 0 0 0 1266 2 0 0 25 0 4 0 519038400 310849536 19563 33554432000 4194304 4627427 140733216885648 18446744073709551615 4324127 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 303564

[startup+25.5008 s]
/proc/loadavg: 7.63 7.95 7.97 10/184 12652
/proc/meminfo: memFree=15354088/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=322084 CPUtime=101.84 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 76273 0 0 0 10167 17 0 0 25 0 4 0 519038399 329814016 27754 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 80521 27754 388 106 0 75492 0
[pid=12616/tid=12617] ppid=12614 vsize=322084 CPUtime=25.49 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 19461 0 0 0 2545 4 0 0 25 0 4 0 519038400 329814016 27754 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=322084 CPUtime=25.36 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 19078 0 0 0 2532 4 0 0 25 0 4 0 519038400 329814016 27754 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=322084 CPUtime=25.48 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 18278 0 0 0 2544 4 0 0 25 0 4 0 519038400 329814016 27754 33554432000 4194304 4627427 140733216885648 18446744073709551615 4324799 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 322084

[startup+51.101 s]
/proc/loadavg: 7.75 7.96 7.97 9/184 12652
/proc/meminfo: memFree=15266812/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=341188 CPUtime=204.1 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 114870 0 0 0 20382 28 0 0 25 0 4 0 519038399 349376512 33247 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 85297 33247 388 106 0 80268 0
[pid=12616/tid=12617] ppid=12614 vsize=341188 CPUtime=51.09 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 29414 0 0 0 5102 7 0 0 25 0 4 0 519038400 349376512 33247 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=341188 CPUtime=50.82 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 29554 0 0 0 5076 6 0 0 25 0 4 0 519038400 349376512 33247 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=341188 CPUtime=51.08 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 26753 0 0 0 5101 7 0 0 25 0 4 0 519038400 349376512 33247 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 341188

[startup+102.3 s]
/proc/loadavg: 7.93 7.97 7.98 10/184 12654
/proc/meminfo: memFree=15193996/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=333124 CPUtime=408.62 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 176063 0 0 0 40816 46 0 0 25 0 4 0 519038399 341118976 42250 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 83281 42250 388 106 0 78252 0
[pid=12616/tid=12617] ppid=12614 vsize=333124 CPUtime=102.29 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 41967 0 0 0 10218 11 0 0 25 0 4 0 519038400 341118976 42250 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=333124 CPUtime=101.73 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 43923 0 0 0 10162 11 0 0 25 0 4 0 519038400 341118976 42250 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=333124 CPUtime=102.28 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 43414 0 0 0 10217 11 0 0 25 0 4 0 519038400 341118976 42250 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 333124

[startup+162.301 s]

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

[pid=12616] ppid=12614 vsize=655380 CPUtime=2805.39 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 497644 0 0 0 280371 168 0 0 25 0 4 0 519038399 671109120 117585 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 163845 117585 388 106 0 158816 0
[pid=12616/tid=12617] ppid=12614 vsize=655380 CPUtime=702.3 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 107922 0 0 0 70197 33 0 0 25 0 4 0 519038400 671109120 117585 33554432000 4194304 4627427 140733216885648 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=655380 CPUtime=698.49 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 134324 0 0 0 69798 51 0 0 25 0 4 0 519038400 671109120 117585 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=655380 CPUtime=702.26 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 129984 0 0 0 70184 42 0 0 25 0 4 0 519038400 671109120 117585 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 655380

[startup+762.301 s]
/proc/loadavg: 8.22 8.15 8.04 10/184 12683
/proc/meminfo: memFree=14646664/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=604016 CPUtime=3045.07 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 519748 0 0 0 304327 180 0 0 25 0 4 0 519038399 618512384 112840 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 151004 112840 388 106 0 145975 0
[pid=12616/tid=12617] ppid=12614 vsize=604016 CPUtime=762.32 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 113440 0 0 0 76196 36 0 0 25 0 4 0 519038400 618512384 112840 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=604016 CPUtime=758.16 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 139917 0 0 0 75762 54 0 0 25 0 4 0 519038400 618512384 112840 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=604016 CPUtime=762.27 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 139260 0 0 0 76180 47 0 0 25 0 4 0 519038400 618512384 112840 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 604016

[startup+822.301 s]
/proc/loadavg: 8.17 8.15 8.05 10/184 12685
/proc/meminfo: memFree=14637464/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=617936 CPUtime=3284.75 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 536323 0 0 0 328289 186 0 0 25 0 4 0 519038399 632766464 113684 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 154484 113684 388 106 0 149455 0
[pid=12616/tid=12617] ppid=12614 vsize=617936 CPUtime=822.31 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 114608 0 0 0 82195 36 0 0 25 0 4 0 519038400 632766464 113684 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=617936 CPUtime=817.84 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 146522 0 0 0 81727 57 0 0 25 0 4 0 519038400 632766464 113684 33554432000 4194304 4627427 140733216885648 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=617936 CPUtime=822.26 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 141900 0 0 0 82179 47 0 0 25 0 4 0 519038400 632766464 113684 33554432000 4194304 4627427 140733216885648 18446744073709551615 4329811 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 617936

[startup+882.301 s]
/proc/loadavg: 8.14 8.15 8.05 9/184 12687
/proc/meminfo: memFree=14591684/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=604548 CPUtime=3524.43 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 549909 0 0 0 352250 193 0 0 25 0 4 0 519038399 619057152 119436 33554432000 4194304 4627427 140733216885648 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 151137 119436 388 106 0 146108 0
[pid=12616/tid=12617] ppid=12614 vsize=604548 CPUtime=882.31 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 115576 0 0 0 88195 36 0 0 25 0 4 0 519038400 619057152 119436 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=604548 CPUtime=877.51 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 151529 0 0 0 87692 59 0 0 25 0 4 0 519038400 619057152 119436 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=604548 CPUtime=882.26 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 143857 0 0 0 88177 49 0 0 25 0 4 0 519038400 619057152 119436 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 604548

[startup+942.3 s]
/proc/loadavg: 8.13 8.15 8.06 9/184 12688
/proc/meminfo: memFree=14552352/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=599260 CPUtime=3764.13 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 569038 0 0 0 376208 205 0 0 25 0 4 0 519038399 613642240 113342 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 149815 113342 388 106 0 144786 0
[pid=12616/tid=12617] ppid=12614 vsize=599260 CPUtime=942.32 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 115726 0 0 0 94196 36 0 0 25 0 4 0 519038400 613642240 113342 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=599260 CPUtime=937.18 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 158809 0 0 0 93655 63 0 0 25 0 4 0 519038400 613642240 113342 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=599260 CPUtime=942.27 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 148730 0 0 0 94177 50 0 0 25 0 4 0 519038400 613642240 113342 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 599260

[startup+1002.3 s]
/proc/loadavg: 8.12 8.15 8.06 9/184 12690
/proc/meminfo: memFree=14506676/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=692104 CPUtime=4003.78 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 586525 0 0 0 400162 216 0 0 25 0 4 0 519038399 708714496 124084 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 173026 124084 388 106 0 167997 0
[pid=12616/tid=12617] ppid=12614 vsize=692104 CPUtime=1002.32 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 119090 0 0 0 100193 39 0 0 25 0 4 0 519038400 708714496 124084 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=692104 CPUtime=996.86 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 162269 0 0 0 99620 66 0 0 25 0 4 0 519038400 708714496 124084 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=692104 CPUtime=1002.26 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 152850 0 0 0 100173 53 0 0 25 0 4 0 519038400 708714496 124084 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 692104

[startup+1062.31 s]
/proc/loadavg: 8.11 8.15 8.07 9/184 12691
/proc/meminfo: memFree=14513356/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=720064 CPUtime=4243.49 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 610314 0 0 0 424121 228 0 0 25 0 4 0 519038399 737345536 126107 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 180016 126107 388 106 0 174987 0
[pid=12616/tid=12617] ppid=12614 vsize=720064 CPUtime=1062.33 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 123296 0 0 0 106192 41 0 0 25 0 4 0 519038400 737345536 126107 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=720064 CPUtime=1056.53 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 169198 0 0 0 105584 69 0 0 25 0 4 0 519038400 737345536 126107 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=720064 CPUtime=1062.27 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 158254 0 0 0 106171 56 0 0 25 0 4 0 519038400 737345536 126107 33554432000 4194304 4627427 140733216885648 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 720064

[startup+1122.3 s]
/proc/loadavg: 8.15 8.15 8.07 10/184 12693
/proc/meminfo: memFree=14419852/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=706732 CPUtime=4483.15 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 634416 0 0 0 448075 240 0 0 25 0 4 0 519038399 723693568 135542 33554432000 4194304 4627427 140733216885648 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 176683 135542 388 106 0 171654 0
[pid=12616/tid=12617] ppid=12614 vsize=706732 CPUtime=1122.32 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 130207 0 0 0 112188 44 0 0 25 0 4 0 519038400 723693568 135542 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=706732 CPUtime=1116.2 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 175942 0 0 0 111548 72 0 0 25 0 4 0 519038400 723693568 135542 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=706732 CPUtime=1122.27 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 161787 0 0 0 112168 59 0 0 25 0 4 0 519038400 723693568 135542 33554432000 4194304 4627427 140733216885648 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 706732

[startup+1182.3 s]
/proc/loadavg: 8.13 8.13 8.07 10/184 12695
/proc/meminfo: memFree=14429140/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=679416 CPUtime=4722.82 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 654407 0 0 0 472031 251 0 0 25 0 4 0 519038399 695721984 130875 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 169854 130875 388 106 0 164825 0
[pid=12616/tid=12617] ppid=12614 vsize=679416 CPUtime=1182.33 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 133138 0 0 0 118187 46 0 0 25 0 4 0 519038400 695721984 130875 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=679416 CPUtime=1175.88 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 180194 0 0 0 117512 76 0 0 25 0 4 0 519038400 695721984 130875 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420130 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=679416 CPUtime=1182.26 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 165526 0 0 0 118166 60 0 0 25 0 4 0 519038400 695721984 130875 33554432000 4194304 4627427 140733216885648 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 679416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.12 8.07 9/184 12695
/proc/meminfo: memFree=14377924/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=679416 CPUtime=4800.34 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 659559 0 0 0 479782 252 0 0 25 0 4 0 519038399 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 169854 136023 388 106 0 164825 0
[pid=12616/tid=12617] ppid=12614 vsize=679416 CPUtime=1201.73 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 135386 0 0 0 120127 46 0 0 25 0 4 0 519038400 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=679416 CPUtime=1195.18 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 180194 0 0 0 119442 76 0 0 25 0 4 0 519038400 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=679416 CPUtime=1201.67 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 168430 0 0 0 120106 61 0 0 25 0 4 0 519038400 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 679416

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: 8.09 8.12 8.07 9/184 12695
/proc/meminfo: memFree=14377924/32951124 swapFree=67111528/67111528
[pid=12616] ppid=12614 vsize=679416 CPUtime=4800.34 cores=1,3,5,7
/proc/12616/stat : 12616 (strangenight2-m) R 12614 12616 12239 0 -1 4202496 659559 0 0 0 479782 252 0 0 25 0 4 0 519038399 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12616/statm: 169854 136023 388 106 0 164825 0
[pid=12616/tid=12617] ppid=12614 vsize=679416 CPUtime=1201.73 cores=1,3,5,7
/proc/12616/task/12617/stat : 12617 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 135386 0 0 0 120127 46 0 0 25 0 4 0 519038400 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12616/tid=12618] ppid=12614 vsize=679416 CPUtime=1195.18 cores=1,3,5,7
/proc/12616/task/12618/stat : 12618 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 180194 0 0 0 119442 76 0 0 25 0 4 0 519038400 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12616/tid=12619] ppid=12614 vsize=679416 CPUtime=1201.67 cores=1,3,5,7
/proc/12616/task/12619/stat : 12619 (strangenight2-m) R 12614 12616 12239 0 -1 4202560 168430 0 0 0 120106 61 0 0 25 0 4 0 519038400 695721984 136023 33554432000 4194304 4627427 140733216885648 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 679416

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.4
CPU user time (s): 4797.85
CPU system time (s): 2.55361
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 842356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.55361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 659559
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= 575
involuntary context switches= 32207

runsolver used 1.76373 second user time and 4.80427 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 12:53:00
IDJOB=3173960
IDBENCH=82778
IDSOLVER=1586
FILE ID=node105/3173960-1304074380
RUNJOBID= node105-1304071971-12407
PBS_JOBID= 13170488
Free space on /tmp= 71932 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173960-1304074380/watcher-3173960-1304074380 -o /tmp/evaluation-result-3173960-1304074380/solver-3173960-1304074380 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173960-1304074380.cnf

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

MD5SUM BENCH= 4d61767800ed8aa0f56d10b54eba4120
RANDOM SEED=1181305151

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15165268 kB
Buffers:       2301988 kB
Cached:       14446820 kB
SwapCached:          0 kB
Active:        9370076 kB
Inactive:      7844360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15165268 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5476 kB
Writeback:           0 kB
AnonPages:      464172 kB
Mapped:          15508 kB
Slab:           507800 kB
PageTables:       5232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   671652 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= 71928 MiB
End job on node105 at 2011-04-29 13:13:03