Trace number 3174065

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.14 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf
MD5SUM9869c5a4d8c5bed5ea530735320738db
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark154.268
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174065-1304080799.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.01/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.01/0.00	c -- vars added        450
0.01/0.00	c Parsing time:  0.00 s
0.01/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.01/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.01/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.01/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.01/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.01/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.01/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.01/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.01/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.00 s
0.01/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.01/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.01/0.03	c calculated reachability. Time: 0.00
0.01/0.03	c Calc default polars -  time:   0.00 s pos:     176 undec:      57 neg:     217
0.01/0.03	c =========================================================================================
0.01/0.03	c types(t): F = full restart, N = normal restart
0.01/0.03	c types(t): S = simplification begin/end, E = solution found
0.01/0.03	c restart types(rt): st = static, dy = dynamic
0.01/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.01/0.03	c  B st     0         0       445      1912         0         0      5760         0   no data   no data
0.01/0.06	c Decided on static restart strategy
0.56/0.14	c  N st     8      4913       445      1912         0      4832      5760    103565   no data   no data
1.18/0.38	c  N st    10     11296       445      1912         0      4466      5760     67929   no data   no data
2.38/0.62	c  N st    11     17039       445      1912         0     10068      5760    184200   no data   no data
3.99/1.02	c  F st    12     25000       445      1912         0     12304      5760    230193   no data   no data
3.99/1.02	c  N st    12     25000       445      1912         0     12304      5760    230193   no data   no data
4.77/1.27	c Decided on static restart strategy
4.77/1.27	c  N st    18     30000       445      1912         0     10614      5760    179515   no data   no data
4.77/1.27	c  S st    18     30000       445      1912         0     10614      5760    179515   no data   no data
5.17/1.30	c  S st    18     30502       445      1912         0     11116      5760    189692   no data   no data
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.31	c blocked clauses removed:       22 vars:      4 tried:         445 T: 0.00 s
5.17/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
5.17/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.31	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.17/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.37	c lits-rem:        88  cl-subs:      781  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.37	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
5.17/1.37	c calculated reachability. Time: 0.00
5.17/1.37	c  N st    18     30502       440      1889         0     10026      5701    167052   no data   no data
6.77/1.77	c  N st    20     37613       440      1889         0      9457      5701    145409   no data   no data
8.38/2.18	c  N st    21     44012       440      1889         0     15682      5701    284660   no data   no data
9.17/2.31	c  S st    22     45754       440      1889         0     17388      5701    321286   no data   no data
9.17/2.34	c  S st    22     46263       440      1889         0      9250      5701    123775   no data   no data
9.17/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.17/2.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.17/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
9.17/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.36	c lits-rem:        13  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.17/2.36	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
9.17/2.36	c vivif2 --  cl tried     9201 cl shrink        0 lits rem          0 time: 0.00
9.17/2.37	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.00
9.17/2.37	c calculated reachability. Time: 0.00
9.17/2.37	c  N st    22     46263       440      1889         0      9201      5701    122700   no data   no data
12.77/3.29	c  N st    23     60660       440      1889         0     13474      5701    203982   no data   no data
15.55/3.95	c  N st    24     69394       440      1889         0     11313      5701    149043   no data   no data
15.55/3.95	c  S st    24     69394       440      1889         0     11313      5701    149043   no data   no data
15.55/3.99	c  S st    24     69896       440      1889         0     11815      5701    159772   no data   no data
15.55/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
15.55/3.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.02	c lits-rem:        31  cl-subs:      245  v-elim:      0  v-fix:    0  time:  0.02 s
15.95/4.02	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
15.95/4.02	c vivif2 --  cl tried    11570 cl shrink        0 lits rem          0 time: 0.00
15.95/4.03	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
15.95/4.03	c calculated reachability. Time: 0.00
15.95/4.03	c  N st    24     69896       440      1889         0     11570      5701    154888   no data   no data
20.75/5.20	c  F st    25     87500       440      1889         0     16990      5701    265148   no data   no data
20.75/5.20	c  N st    25     87500       440      1889         0     16990      5701    265148   no data   no data
21.97/5.59	c Decided on static restart strategy
23.14/5.82	c  N st    32     95538       440      1889         0     24818      5701    434172   no data   no data
25.55/6.44	c  N st    34    104846       440      1889         0     21283      5701    337877   no data   no data
25.55/6.44	c  S st    34    104846       440      1889         0     21283      5701    337877   no data   no data
25.55/6.49	c  S st    34    105350       440      1889         0     21786      5701    348076   no data   no data
25.55/6.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.55/6.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
25.55/6.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.96/6.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.96/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.65	c lits-rem:       176  cl-subs:     1027  v-elim:      0  v-fix:    0  time:  0.14 s
26.37/6.65	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
26.37/6.66	c vivif2 --  cl tried    20759 cl shrink        0 lits rem          0 time: 0.00
26.37/6.67	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
26.37/6.67	c calculated reachability. Time: 0.00
26.37/6.67	c  N st    34    105350       440      1889         0     20759      5701    326559   no data   no data
29.54/7.45	c  N st    35    114948       440      1889         0     16489      5701    216082   no data   no data
34.33/8.66	c  N st    36    129346       440      1889         0     15922      5701    191403   no data   no data
41.92/10.54	c  N st    37    150942       440      1889         0     21428      5701    297765   no data   no data
44.32/11.15	c  S st    38    158025       440      1889         0     28349      5701    451091   no data   no data
44.72/11.21	c  S st    38    158527       440      1889         0     28850      5701    461627   no data   no data
44.72/11.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.72/11.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.72/11.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.72/11.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.72/11.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.72/11.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
44.72/11.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.72/11.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.48	c lits-rem:       188  cl-subs:     1230  v-elim:      0  v-fix:    0  time:  0.23 s
45.52/11.48	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
45.52/11.48	c vivif2 --  cl tried    27620 cl shrink        0 lits rem          0 time: 0.01
45.92/11.50	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
45.92/11.50	c calculated reachability. Time: 0.00
45.92/11.50	c  N st    38    158527       440      1889         0     27620      5701    437098   no data   no data
65.90/16.54	c  N st    39    207117       440      1889         0     22460      5701    292266   no data   no data
79.47/19.97	c  N st    40    237792       440      1889         0     32752      5701    506656   no data   no data
79.47/19.97	c  S st    40    237792       440      1889         0     32752      5701    506656   no data   no data
79.87/20.05	c  S st    40    238293       440      1889         0     33250      5701    517592   no data   no data
79.87/20.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.87/20.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.87/20.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.87/20.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.87/20.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.87/20.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
79.87/20.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.87/20.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.87/20.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.87/20.57	c lits-rem:       295  cl-subs:     1973  v-elim:      0  v-fix:    0  time:  0.49 s
81.87/20.57	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
81.87/20.58	c vivif2 --  cl tried    31277 cl shrink        0 lits rem          0 time: 0.01
82.27/20.60	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
82.27/20.60	c calculated reachability. Time: 0.00
82.27/20.60	c  N st    40    238293       440      1889         0     31277      5701    476594   no data   no data
110.62/27.76	c  F st    41    306250       440      1889         0     33134      5701    481547   no data   no data
110.62/27.76	c  N st    41    306250       440      1889         0     33134      5701    481547   no data   no data
113.83/28.52	c Decided on static restart strategy
125.41/31.45	c  N st    51    334552       440      1889         0     37426      5701    550120   no data   no data
137.79/34.52	c  N st    53    357439       440      1889         0     35290      5701    481943   no data   no data
137.79/34.52	c  S st    53    357439       440      1889         0     35290      5701    481943   no data   no data
138.19/34.61	c  S st    53    357941       440      1889         0     35791      5701    492770   no data   no data
138.19/34.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.19/34.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
138.19/34.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.19/34.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.19/34.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.19/34.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
138.19/34.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.19/34.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.19/34.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.38/34.95	c lits-rem:       177  cl-subs:     1562  v-elim:      0  v-fix:    0  time:  0.31 s
139.38/34.95	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
139.38/34.96	c vivif2 --  cl tried    34229 cl shrink        0 lits rem          0 time: 0.01
139.38/34.98	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
139.38/34.98	c calculated reachability. Time: 0.00
139.38/34.98	c  N st    53    357941       440      1889         0     34229      5701    460495   no data   no data
156.17/39.15	c  N st    54    390333       440      1889         0     40575      5701    595885   no data   no data
183.73/46.01	c  N st    55    438921       440      1889         0     34312      5701    428097   no data   no data
227.26/56.94	c  N st    56    511803       440      1889         0     47769      5701    695134   no data   no data
241.26/60.48	c  N st    57    536913       440      1889         0     42074      5701    560322   no data   no data
241.26/60.48	c  S st    57    536913       440      1889         0     42074      5701    560322   no data   no data
242.04/60.60	c  S st    57    537413       440      1889         0     42573      5701    571408   no data   no data
242.04/60.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
242.04/60.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
242.04/60.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.04/60.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.04/60.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.04/60.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
242.04/60.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
242.04/60.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
242.04/60.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.64/61.04	c lits-rem:       242  cl-subs:     1438  v-elim:      0  v-fix:    0  time:  0.40 s
243.64/61.04	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
243.64/61.05	c vivif2 --  cl tried    41135 cl shrink        0 lits rem          0 time: 0.01
243.64/61.08	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.03
243.64/61.08	c calculated reachability. Time: 0.00
243.64/61.08	c  N st    57    537413       440      1889         0     41135      5701    542142   no data   no data
348.70/87.38	c  N st    58    701400       440      1889         0     35152      5701    334022   no data   no data
421.82/105.68	c  N st    59    806120       440      1889         0     63705      5701    935729   no data   no data
421.82/105.68	c  S st    59    806120       440      1889         0     63705      5701    935729   no data   no data
422.60/105.86	c  S st    59    806621       440      1889         0     64206      5701    946283   no data   no data
422.60/105.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
422.60/105.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
422.60/105.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
422.60/105.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
422.60/105.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
422.60/105.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
422.60/105.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.00/105.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
423.00/105.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.99/108.44	c lits-rem:       598  cl-subs:     5095  v-elim:      0  v-fix:    0  time:  2.50 s
432.99/108.44	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
432.99/108.45	c vivif2 --  cl tried    59111 cl shrink        0 lits rem          0 time: 0.01
433.39/108.50	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.05
433.39/108.50	c calculated reachability. Time: 0.00
433.39/108.50	c  N st    59    806621       440      1889         0     59111      5701    848215   no data   no data
639.51/160.16	c  F st    60   1071876       440      1889         0     74988      5701   1089011   no data   no data
639.51/160.16	c  N st    60   1071876       440      1889         0     74988      5701   1089011   no data   no data
645.92/161.78	c Decided on static restart strategy
667.08/167.10	c  N st    70   1100179       440      1889         0     59042      5701    733330   no data   no data
703.82/176.24	c  N st    72   1136174       440      1889         0     49380      5701    510405   no data   no data
734.17/183.80	c  N st    73   1168568       440      1889         0     80720      5701   1208616   no data   no data
770.93/193.01	c  N st    74   1209931       440      1889         0     75339      5701   1095297   no data   no data
770.93/193.01	c  S st    74   1209931       440      1889         0     75339      5701   1095297   no data   no data
771.73/193.23	c  S st    74   1210435       440      1889         0     75843      5701   1107023   no data   no data
771.73/193.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
771.73/193.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
771.73/193.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
771.73/193.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
771.73/193.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
771.73/193.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
771.73/193.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
771.73/193.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
772.13/193.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
784.12/196.30	c lits-rem:       469  cl-subs:     4500  v-elim:      0  v-fix:    0  time:  2.98 s
784.12/196.30	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
784.12/196.31	c vivif2 --  cl tried    71343 cl shrink        0 lits rem          0 time: 0.02
784.12/196.39	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.08
784.52/196.40	c calculated reachability. Time: 0.00
784.52/196.40	c  N st    74   1210435       440      1889         0     71343      5701   1008157   no data   no data
864.81/216.57	c  N st    75   1283318       440      1889         0     47988      5701    438556   no data   no data
972.26/243.42	c  N st    76   1392644       440      1889         0     56393      5701    602667   no data   no data
1138.84/285.12	c  N st    77   1556630       440      1889         0     60828      5701    645950   no data   no data
1290.64/323.10	c  N st    78   1710439       440      1889         0    102439      5701   1575039   no data   no data
1290.64/323.10	c  S st    78   1710439       440      1889         0    102439      5701   1575039   no data   no data
1291.85/323.47	c  S st    78   1710942       440      1889         0    102941      5701   1586210   no data   no data
1291.85/323.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1292.23/323.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1292.23/323.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1292.23/323.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1292.23/323.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1292.23/323.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1292.23/323.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1292.23/323.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1292.62/323.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1323.79/331.49	c lits-rem:       734  cl-subs:     8074  v-elim:      0  v-fix:    0  time:  7.89 s
1323.79/331.49	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1324.19/331.51	c vivif2 --  cl tried    94867 cl shrink        0 lits rem          0 time: 0.02
1324.59/331.60	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.09
1324.59/331.60	c calculated reachability. Time: 0.00
1324.59/331.60	c  N st    78   1710942       440      1889         0     94867      5701   1426412   no data   no data
1708.07/427.67	c  N st    79   2079906       440      1889         0    106256      5701   1528106   no data   no data
1871.46/468.56	c  N st    80   2210943       440      1889         0    110137      5701   1559670   no data   no data
1871.46/468.56	c  S st    80   2210943       440      1889         0    110137      5701   1559670   no data   no data
1873.05/468.91	c  S st    80   2211447       440      1889         0    110640      5701   1571265   no data   no data
1873.05/468.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1873.05/468.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1873.05/468.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1873.05/468.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1873.05/468.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1873.05/468.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1873.05/468.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1873.05/469.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1873.45/469.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1907.40/477.54	c lits-rem:       792  cl-subs:    10162  v-elim:      0  v-fix:    0  time:  8.50 s
1907.40/477.54	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1907.40/477.56	c vivif2 --  cl tried   100478 cl shrink        0 lits rem          0 time: 0.02
1907.80/477.66	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.10
1907.80/477.66	c calculated reachability. Time: 0.00
1907.80/477.66	c  N st    80   2211447       440      1889         0    100478      5701   1388378   no data   no data
2506.60/627.53	c  N st    81   2711447       440      1889         0    123684      5701   1758250   no data   no data
2506.60/627.53	c  S st    81   2711447       440      1889         0    123684      5701   1758250   no data   no data
2508.19/627.97	c  S st    81   2711950       440      1889         0    124187      5701   1769666   no data   no data
2508.19/627.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2508.60/628.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2508.60/628.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2508.60/628.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2508.60/628.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2508.60/628.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
2508.60/628.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2508.60/628.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2509.02/628.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2552.13/638.97	c lits-rem:       995  cl-subs:    12502  v-elim:      0  v-fix:    0  time: 10.84 s
2552.13/638.97	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
2552.13/639.00	c vivif2 --  cl tried   111685 cl shrink        0 lits rem          0 time: 0.02
2552.54/639.10	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.10
2552.95/639.10	c calculated reachability. Time: 0.00
2552.95/639.10	c  N st    81   2711950       440      1889         0    111685      5701   1552040   no data   no data
3233.28/809.44	c  N st    82   3211950       440      1889         0     88020      5701    912314   no data   no data
3233.28/809.44	c  S st    82   3211950       440      1889         0     88020      5701    912314   no data   no data
3234.47/809.77	c  S st    82   3212453       440      1889         0     88522      5701    923633   no data   no data
3234.47/809.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3234.87/809.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3234.87/809.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3234.87/809.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3234.87/809.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3234.87/809.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
3234.87/809.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3234.87/809.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3234.87/809.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3240.07/811.17	c lits-rem:       238  cl-subs:     3464  v-elim:      0  v-fix:    0  time:  1.28 s
3240.07/811.17	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3240.07/811.18	c vivif2 --  cl tried    85058 cl shrink        0 lits rem          0 time: 0.02
3240.47/811.28	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.10
3240.47/811.28	c calculated reachability. Time: 0.00
3240.47/811.28	c  N st    82   3212453       440      1889         0     85058      5701    867619   no data   no data
3944.78/987.55	c  N st    83   3712456       440      1889         0     95585      5701    997837   no data   no data
3944.78/987.55	c  S st    83   3712456       440      1889         0     95585      5701    997837   no data   no data
3946.00/987.87	c  S st    83   3712957       440      1889         0     96086      5701   1009197   no data   no data
3946.00/987.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3946.37/987.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3946.37/987.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3946.37/987.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3946.37/987.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3946.37/987.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
3946.37/987.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3946.37/987.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3946.37/987.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3951.17/989.15	c lits-rem:       137  cl-subs:     4147  v-elim:      0  v-fix:    0  time:  1.18 s
3951.17/989.15	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3951.17/989.17	c vivif2 --  cl tried    91939 cl shrink        0 lits rem          0 time: 0.02
3951.57/989.25	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.08
3951.57/989.25	c calculated reachability. Time: 0.00
3951.57/989.25	c  N st    83   3712957       440      1889         0     91939      5701    941020   no data   no data
4004.69/1002.53	c  F st    84   3751562       440      1889         0    129532      5701   1777347   no data   no data
4004.69/1002.54	c  N st    84   3751562       440      1889         0    129532      5701   1777347   no data   no data
4015.89/1005.38	c Decided on static restart strategy
4067.42/1018.27	c  N st    94   3779867       440      1889         0    157051      5701   2369597   no data   no data
4117.75/1030.82	c  N st    96   3815861       440      1889         0    110054      5701   1323141   no data   no data
4168.48/1043.55	c  N st    97   3848253       440      1889         0    141625      5701   2031160   no data   no data
4256.77/1065.62	c  N st    98   3896843       440      1889         0    105257      5701   1187470   no data   no data
4371.83/1094.47	c  N st    99   3969726       440      1889         0     91882      5701    903523   no data   no data
4561.20/1141.89	c  N st   100   4079049       440      1889         0    112341      5701   1317098   no data   no data
4788.09/1198.61	c  N st   101   4212958       440      1889         0    155575      5701   2181482   no data   no data
4788.09/1198.61	c  S st   101   4212958       440      1889         0    155575      5701   2181482   no data   no data
4790.48/1199.22	c  S st   101   4213461       440      1889         0    156078      5701   2192960   no data   no data
4790.48/1199.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4790.88/1199.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4790.88/1199.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4790.88/1199.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4790.88/1199.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4790.88/1199.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
4790.88/1199.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4790.88/1199.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4791.29/1199.42	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-3174065-1304080799/watcher-3174065-1304080799 -o /tmp/evaluation-result-3174065-1304080799/solver-3174065-1304080799 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174065-1304080799.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.09 8.04 8.00 6/180 1347
/proc/meminfo: memFree=27342036/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 519677611 52441088 348 33554432000 4194304 4627427 140735317966720 18446744073709551615 47299393947568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 12803 348 299 106 0 7774 0
[pid=1347/tid=1348] ppid=1345 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519677611 52441088 348 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519677611 52441088 348 33554432000 4194304 4627427 140735317966720 18446744073709551615 218917528630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519677611 52441088 348 33554432000 4194304 4627427 140735317966720 18446744073709551615 47299393947570 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.00750906 s]
/proc/loadavg: 8.09 8.04 8.00 6/180 1347
/proc/meminfo: memFree=27342036/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=281884 CPUtime=0.01 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) D 1345 1347 1030 0 -1 4202496 771 0 0 0 1 0 0 0 25 0 4 0 519677611 288649216 683 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905392161 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 70471 683 338 106 0 65442 0
[pid=1347/tid=1348] ppid=1345 vsize=281884 CPUtime=0 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 104 0 0 0 0 0 0 0 25 0 4 0 519677611 288649216 683 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905774263 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=281884 CPUtime=0 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) S 1345 1347 1030 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 4 0 519677611 288649216 683 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905836014 0 0 4096 2 18446604454223472448 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=281884 CPUtime=0 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) S 1345 1347 1030 0 -1 4202560 108 0 0 0 0 0 0 0 25 0 4 0 519677611 288649216 683 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905836014 0 0 4096 2 18446604454223472448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 281884

[startup+0.145297 s]
/proc/loadavg: 8.09 8.04 8.00 6/180 1347
/proc/meminfo: memFree=27342036/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=282420 CPUtime=0.56 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 1856 0 0 0 56 0 0 0 25 0 4 0 519677611 289198080 1624 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 70605 1624 385 106 0 65576 0
[pid=1347/tid=1348] ppid=1345 vsize=282420 CPUtime=0.13 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 395 0 0 0 13 0 0 0 25 0 4 0 519677611 289198080 1624 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905836014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=282420 CPUtime=0.13 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 333 0 0 0 13 0 0 0 25 0 4 0 519677611 289198080 1624 33554432000 4194304 4627427 140735317966720 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=282420 CPUtime=0.14 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 374 0 0 0 14 0 0 0 25 0 4 0 519677611 289198080 1624 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 282420

[startup+0.30021 s]
/proc/loadavg: 8.09 8.04 8.00 6/180 1347
/proc/meminfo: memFree=27342036/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=283408 CPUtime=1.18 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 2624 0 0 0 118 0 0 0 25 0 4 0 519677611 290209792 2003 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 70852 2003 385 106 0 65823 0
[pid=1347/tid=1348] ppid=1345 vsize=283408 CPUtime=0.29 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 601 0 0 0 29 0 0 0 25 0 4 0 519677611 290209792 2004 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=283408 CPUtime=0.29 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 541 0 0 0 29 0 0 0 25 0 4 0 519677611 290209792 2004 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=283408 CPUtime=0.29 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 526 0 0 0 29 0 0 0 25 0 4 0 519677611 290209792 2004 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283408

[startup+0.700141 s]
/proc/loadavg: 8.09 8.04 8.00 6/180 1347
/proc/meminfo: memFree=27342036/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=284836 CPUtime=2.78 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 4580 0 0 0 278 0 0 0 25 0 4 0 519677611 291672064 2189 33554432000 4194304 4627427 140735317966720 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 71209 2189 385 106 0 66180 0
[pid=1347/tid=1348] ppid=1345 vsize=284836 CPUtime=0.69 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1107 0 0 0 69 0 0 0 25 0 4 0 519677611 291672064 2189 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=284836 CPUtime=0.69 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1015 0 0 0 69 0 0 0 25 0 4 0 519677611 291672064 2189 33554432000 4194304 4627427 140735317966720 18446744073709551615 4321561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=284836 CPUtime=0.69 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1017 0 0 0 69 0 0 0 25 0 4 0 519677611 291672064 2189 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284836

[startup+1.50099 s]
/proc/loadavg: 8.09 8.04 8.00 9/184 1351
/proc/meminfo: memFree=27327124/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=285540 CPUtime=5.97 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 8074 0 0 0 597 0 0 0 25 0 4 0 519677611 292392960 4405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 71385 4405 389 106 0 66356 0
[pid=1347/tid=1348] ppid=1345 vsize=285540 CPUtime=1.48 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1713 0 0 0 148 0 0 0 25 0 4 0 519677611 292392960 4405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=285540 CPUtime=1.49 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1608 0 0 0 149 0 0 0 25 0 4 0 519677611 292392960 4405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=285540 CPUtime=1.49 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 1592 0 0 0 149 0 0 0 25 0 4 0 519677611 292392960 4405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285540

[startup+3.10071 s]
/proc/loadavg: 8.08 8.04 8.00 9/184 1351
/proc/meminfo: memFree=27308400/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=292904 CPUtime=12.36 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 16786 0 0 0 1233 3 0 0 25 0 4 0 519677611 299933696 8237 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 73226 8237 389 106 0 68197 0
[pid=1347/tid=1348] ppid=1345 vsize=292904 CPUtime=3.07 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 3818 0 0 0 307 0 0 0 25 0 4 0 519677611 299933696 8237 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=292904 CPUtime=3.08 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 4402 0 0 0 308 0 0 0 25 0 4 0 519677611 299933696 8237 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=292904 CPUtime=3.09 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 4245 0 0 0 308 1 0 0 25 0 4 0 519677611 299933696 8237 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292904

[startup+6.30113 s]
/proc/loadavg: 8.08 8.04 8.00 9/184 1351
/proc/meminfo: memFree=27291024/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=293696 CPUtime=25.15 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 26067 0 0 0 2510 5 0 0 25 0 4 0 519677611 300744704 11565 33554432000 4194304 4627427 140735317966720 18446744073709551615 4328722 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 73424 11566 389 106 0 68395 0
[pid=1347/tid=1348] ppid=1345 vsize=293696 CPUtime=6.26 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 6795 0 0 0 625 1 0 0 25 0 4 0 519677611 300744704 11566 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=293696 CPUtime=6.28 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 7057 0 0 0 628 0 0 0 25 0 4 0 519677611 300744704 11566 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=293696 CPUtime=6.29 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 5910 0 0 0 628 1 0 0 25 0 4 0 519677611 300744704 11566 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293696

[startup+12.701 s]
/proc/loadavg: 8.07 8.04 8.00 9/184 1351
/proc/meminfo: memFree=27262624/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=301576 CPUtime=50.7 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 42315 0 0 0 5063 7 0 0 25 0 4 0 519677611 308813824 16558 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 75394 16558 389 106 0 70365 0
[pid=1347/tid=1348] ppid=1345 vsize=301576 CPUtime=12.62 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 10666 0 0 0 1260 2 0 0 25 0 4 0 519677611 308813824 16558 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=301576 CPUtime=12.69 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 10282 0 0 0 1268 1 0 0 25 0 4 0 519677611 308813824 16558 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=301576 CPUtime=12.69 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 10033 0 0 0 1267 2 0 0 25 0 4 0 519677611 308813824 16558 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 301576

[startup+25.5007 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 1352
/proc/meminfo: memFree=27264584/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=302664 CPUtime=101.83 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 65097 0 0 0 10171 12 0 0 25 0 4 0 519677611 309927936 21983 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 75666 21983 389 106 0 70637 0
[pid=1347/tid=1348] ppid=1345 vsize=302664 CPUtime=25.35 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 16995 0 0 0 2532 3 0 0 25 0 4 0 519677611 309927936 21983 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=302664 CPUtime=25.48 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 16315 0 0 0 2546 2 0 0 25 0 4 0 519677611 309927936 21983 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=302664 CPUtime=25.49 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 14570 0 0 0 2546 3 0 0 25 0 4 0 519677611 309927936 21983 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 302664

[startup+51.101 s]
/proc/loadavg: 8.10 8.05 8.00 9/184 1352
/proc/meminfo: memFree=27214076/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=296372 CPUtime=204.1 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 97572 0 0 0 20389 21 0 0 25 0 4 0 519677611 303484928 28471 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 74093 28471 389 106 0 69064 0
[pid=1347/tid=1348] ppid=1345 vsize=296372 CPUtime=50.81 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 26002 0 0 0 5077 4 0 0 25 0 4 0 519677611 303484928 28471 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=296372 CPUtime=51.08 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 24755 0 0 0 5104 4 0 0 25 0 4 0 519677611 303484928 28471 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=296372 CPUtime=51.09 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 21739 0 0 0 5104 5 0 0 25 0 4 0 519677611 303484928 28471 33554432000 4194304 4627427 140735317966720 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 296372

[startup+102.307 s]
/proc/loadavg: 8.15 8.07 8.01 9/184 1354
/proc/meminfo: memFree=27182540/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=309904 CPUtime=408.64 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 149239 0 0 0 40828 36 0 0 25 0 4 0 519677611 317341696 34405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 77476 34405 389 106 0 72447 0
[pid=1347/tid=1348] ppid=1345 vsize=309904 CPUtime=101.73 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 39091 0 0 0 10166 7 0 0 25 0 4 0 519677611 317341696 34405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=309904 CPUtime=102.28 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 37166 0 0 0 10220 8 0 0 25 0 4 0 519677611 317341696 34405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=309904 CPUtime=102.29 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 34765 0 0 0 10220 9 0 0 25 0 4 0 519677611 317341696 34405 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 309904

[startup+162.301 s]

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

[pid=1347] ppid=1345 vsize=490620 CPUtime=2565.73 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 463618 0 0 0 256403 170 0 0 25 0 4 0 519677611 502394880 72354 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 122655 72354 389 106 0 117626 0
[pid=1347/tid=1348] ppid=1345 vsize=490620 CPUtime=638.8 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 113830 0 0 0 63839 41 0 0 25 0 4 0 519677611 502394880 72354 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=490620 CPUtime=642.3 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 116806 0 0 0 64188 42 0 0 25 0 4 0 519677611 502394880 72354 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=490620 CPUtime=642.31 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 110681 0 0 0 64188 43 0 0 25 0 4 0 519677611 502394880 72354 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 490620

[startup+702.301 s]
/proc/loadavg: 5.01 7.08 7.66 5/175 1388
/proc/meminfo: memFree=27410348/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=490092 CPUtime=2805.42 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 489239 0 0 0 280357 185 0 0 25 0 4 0 519677611 501854208 73487 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 122523 73487 389 106 0 117494 0
[pid=1347/tid=1348] ppid=1345 vsize=490092 CPUtime=698.49 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 120116 0 0 0 69805 44 0 0 25 0 4 0 519677611 501854208 73487 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=490092 CPUtime=702.3 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 123498 0 0 0 70184 46 0 0 25 0 4 0 519677611 501854208 73487 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=490092 CPUtime=702.31 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 116451 0 0 0 70184 47 0 0 25 0 4 0 519677611 501854208 73487 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 490092

[startup+762.306 s]
/proc/loadavg: 4.44 6.53 7.44 5/175 1389
/proc/meminfo: memFree=27396652/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=568884 CPUtime=3045.14 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 511510 0 0 0 304315 199 0 0 25 0 4 0 519677611 582537216 76732 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 142221 76732 389 106 0 137192 0
[pid=1347/tid=1348] ppid=1345 vsize=568884 CPUtime=758.19 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 126483 0 0 0 75770 49 0 0 25 0 4 0 519677611 582537216 76732 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=568884 CPUtime=762.31 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 129518 0 0 0 76181 50 0 0 25 0 4 0 519677611 582537216 76732 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=568884 CPUtime=762.32 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 120617 0 0 0 76183 49 0 0 25 0 4 0 519677611 582537216 76732 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 568884

[startup+822.3 s]
/proc/loadavg: 4.22 6.08 7.22 5/175 1391
/proc/meminfo: memFree=27383324/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=576992 CPUtime=3284.81 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 531873 0 0 0 328271 210 0 0 25 0 4 0 519677611 590839808 80224 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 144248 80224 389 106 0 139219 0
[pid=1347/tid=1348] ppid=1345 vsize=576992 CPUtime=817.87 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 132233 0 0 0 81735 52 0 0 25 0 4 0 519677611 590839808 80224 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=576992 CPUtime=822.3 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 132658 0 0 0 82179 51 0 0 25 0 4 0 519677611 590839808 80224 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=576992 CPUtime=822.31 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 126301 0 0 0 82179 52 0 0 25 0 4 0 519677611 590839808 80224 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 576992

[startup+882.3 s]
/proc/loadavg: 4.14 5.72 7.02 5/175 1393
/proc/meminfo: memFree=27364540/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=564932 CPUtime=3524.5 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 560678 0 0 0 352227 223 0 0 25 0 4 0 519677611 578490368 84851 33554432000 4194304 4627427 140735317966720 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 141233 84851 389 106 0 136204 0
[pid=1347/tid=1348] ppid=1345 vsize=564932 CPUtime=877.56 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 141373 0 0 0 87701 55 0 0 25 0 4 0 519677611 578490368 84851 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=564932 CPUtime=882.3 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 140859 0 0 0 88175 55 0 0 25 0 4 0 519677611 578490368 84851 33554432000 4194304 4627427 140735317966720 18446744073709551615 4427146 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=564932 CPUtime=882.31 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 131727 0 0 0 88176 55 0 0 25 0 4 0 519677611 578490368 84851 33554432000 4194304 4627427 140735317966720 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 564932

[startup+942.301 s]
/proc/loadavg: 4.10 5.42 6.84 5/175 1394
/proc/meminfo: memFree=27371304/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=577784 CPUtime=3764.2 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 583916 0 0 0 376183 237 0 0 25 0 4 0 519677611 591650816 83410 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 144446 83410 389 106 0 139417 0
[pid=1347/tid=1348] ppid=1345 vsize=577784 CPUtime=937.26 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 147229 0 0 0 93668 58 0 0 25 0 4 0 519677611 591650816 83410 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=577784 CPUtime=942.31 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 146305 0 0 0 94173 58 0 0 25 0 4 0 519677611 591650816 83410 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=577784 CPUtime=942.32 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 137584 0 0 0 94173 59 0 0 25 0 4 0 519677611 591650816 83410 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 577784

[startup+1002.3 s]
/proc/loadavg: 4.04 5.16 6.66 5/175 1396
/proc/meminfo: memFree=27363188/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=578124 CPUtime=4003.89 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 607210 0 0 0 400140 249 0 0 25 0 4 0 519677611 591998976 85211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 144531 85211 389 106 0 139502 0
[pid=1347/tid=1348] ppid=1345 vsize=578124 CPUtime=996.95 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 153103 0 0 0 99634 61 0 0 25 0 4 0 519677611 591998976 85211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=578124 CPUtime=1002.31 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 151348 0 0 0 100170 61 0 0 25 0 4 0 519677611 591998976 85211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=578124 CPUtime=1002.31 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 143318 0 0 0 100169 62 0 0 25 0 4 0 519677611 591998976 85211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.89
Current children cumulated vsize (KiB) 578124

[startup+1062.3 s]
/proc/loadavg: 4.01 4.94 6.49 5/175 1397
/proc/meminfo: memFree=27341448/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=588776 CPUtime=4243.58 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 631817 0 0 0 424097 261 0 0 25 0 4 0 519677611 602906624 89879 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 147194 89879 389 106 0 142165 0
[pid=1347/tid=1348] ppid=1345 vsize=588776 CPUtime=1056.65 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 160363 0 0 0 105600 65 0 0 25 0 4 0 519677611 602906624 89879 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=588776 CPUtime=1062.3 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 157000 0 0 0 106167 63 0 0 25 0 4 0 519677611 602906624 89879 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=588776 CPUtime=1062.32 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 149628 0 0 0 106167 65 0 0 25 0 4 0 519677611 602906624 89879 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.58
Current children cumulated vsize (KiB) 588776

[startup+1122.3 s]
/proc/loadavg: 4.05 4.78 6.33 5/175 1399
/proc/meminfo: memFree=27326024/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=576300 CPUtime=4483.27 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 653119 0 0 0 448056 271 0 0 25 0 4 0 519677611 590131200 94570 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 144075 94570 389 106 0 139046 0
[pid=1347/tid=1348] ppid=1345 vsize=576300 CPUtime=1116.33 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 165644 0 0 0 111565 68 0 0 25 0 4 0 519677611 590131200 94570 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=576300 CPUtime=1122.31 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 162934 0 0 0 112165 66 0 0 25 0 4 0 519677611 590131200 94570 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=576300 CPUtime=1122.32 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 154943 0 0 0 112165 67 0 0 25 0 4 0 519677611 590131200 94570 33554432000 4194304 4627427 140735317966720 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.27
Current children cumulated vsize (KiB) 576300

[startup+1182.3 s]
/proc/loadavg: 4.02 4.64 6.19 5/175 1401
/proc/meminfo: memFree=27307768/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=629140 CPUtime=4722.97 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 670437 0 0 0 472015 282 0 0 25 0 4 0 519677611 644239360 99211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 157285 99211 389 106 0 152256 0
[pid=1347/tid=1348] ppid=1345 vsize=629140 CPUtime=1176.02 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 170251 0 0 0 117531 71 0 0 25 0 4 0 519677611 644239360 99211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=629140 CPUtime=1182.31 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 165465 0 0 0 118164 67 0 0 25 0 4 0 519677611 644239360 99211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=629140 CPUtime=1182.32 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 159531 0 0 0 118162 70 0 0 25 0 4 0 519677611 644239360 99211 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.97
Current children cumulated vsize (KiB) 629140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.01 4.60 6.14 5/175 1401
/proc/meminfo: memFree=27309864/32951124 swapFree=67111356/67111528
[pid=1347] ppid=1345 vsize=563648 CPUtime=4800.09 cores=1,3,5,7
/proc/1347/stat : 1347 (strangenight2-m) R 1345 1347 1030 0 -1 4202496 679150 0 0 0 479723 286 0 0 25 0 4 0 519677611 577175552 98389 33554432000 4194304 4627427 140735317966720 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1347/statm: 140912 98389 389 106 0 135883 0
[pid=1347/tid=1348] ppid=1345 vsize=563648 CPUtime=1195.22 cores=1,3,5,7
/proc/1347/task/1348/stat : 1348 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 170699 0 0 0 119451 71 0 0 25 0 4 0 519677611 577175552 98389 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1347/tid=1349] ppid=1345 vsize=563648 CPUtime=1201.62 cores=1,3,5,7
/proc/1347/task/1349/stat : 1349 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 166325 0 0 0 120094 68 0 0 25 0 4 0 519677611 577175552 98389 33554432000 4194304 4627427 140735317966720 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1347/tid=1350] ppid=1345 vsize=563648 CPUtime=1201.63 cores=1,3,5,7
/proc/1347/task/1350/stat : 1350 (strangenight2-m) R 1345 1347 1030 0 -1 4202560 161600 0 0 0 120092 71 0 0 25 0 4 0 519677611 577175552 98389 33554432000 4194304 4627427 140735317966720 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 563648

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.14
CPU user time (s): 4797.26
CPU system time (s): 2.87756
CPU usage (%): 399.469
Max. virtual memory (cumulated for all children) (KiB): 652200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.26
system time used= 2.87756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679150
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= 221
involuntary context switches= 32487

runsolver used 1.89671 second user time and 4.51931 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 14:39:59
IDJOB=3174065
IDBENCH=82883
IDSOLVER=1586
FILE ID=node137/3174065-1304080799
RUNJOBID= node137-1304077809-1049
PBS_JOBID= 13170515
Free space on /tmp= 71616 MiB

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

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

MD5SUM BENCH= 9869c5a4d8c5bed5ea530735320738db
RANDOM SEED=586798490

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27342316 kB
Buffers:        911316 kB
Cached:        3814384 kB
SwapCached:         56 kB
Active:         682280 kB
Inactive:      4461708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27342316 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5444 kB
Writeback:           0 kB
AnonPages:      417500 kB
Mapped:          15500 kB
Slab:           401288 kB
PageTables:       5560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   668908 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= 71616 MiB
End job on node137 at 2011-04-29 15:00:03