Trace number 3173916

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.27 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf
MD5SUMc5ca502edf263e9767f2d7ec536d2edf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
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-3173916-1304073323.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     216 undec:      42 neg:     192
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       434      1901         0         0      5807         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4918       434      1901         0      4823      5807    104149   no data   no data
3.17/0.80	c  N st    10     11301       434      1901         0      4470      5807     70181   no data   no data
3.17/0.80	c  N st    11     17045       434      1901         0     10069      5807    191736   no data   no data
4.39/1.10	c  F st    12     25001       434      1901         0     12348      5807    234757   no data   no data
4.39/1.10	c  N st    12     25001       434      1901         0     12348      5807    234757   no data   no data
5.56/1.40	c Decided on static restart strategy
5.56/1.40	c  N st    18     30000       434      1901         0     10613      5807    176537   no data   no data
5.56/1.40	c  S st    18     30000       434      1901         0     10613      5807    176537   no data   no data
5.56/1.40	c  S st    18     30500       434      1901         0     11113      5807    187735   no data   no data
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.40	c blocked clauses removed:       12 vars:      2 tried:         434 T: 0.00 s
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       260  cl-subs:      886  v-elim:      0  v-fix:    0  time:  0.06 s
5.96/1.50	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30500       432      1889         0     10227      5771    169734   no data   no data
7.17/1.88	c  N st    20     37611       432      1889         0      9497      5771    139303   no data   no data
8.78/2.24	c  N st    21     44013       432      1889         0     15758      5771    274803   no data   no data
9.16/2.36	c  S st    22     45751       432      1889         0     17464      5771    311741   no data   no data
9.56/2.40	c  S st    22     46254       432      1889         0      9236      5771    120725   no data   no data
9.56/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
9.56/2.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.42	c lits-rem:        30  cl-subs:       73  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.42	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
9.56/2.42	c vivif2 --  cl tried     9163 cl shrink        0 lits rem          0 time: 0.00
9.56/2.42	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.00
9.56/2.42	c calculated reachability. Time: 0.00
9.56/2.42	c  N st    22     46254       432      1889         0      9163      5771    119357   no data   no data
13.18/3.31	c  N st    23     60652       432      1889         0     13514      5771    209233   no data   no data
15.55/3.93	c  N st    24     69382       432      1889         0     11289      5771    149608   no data   no data
15.55/3.93	c  S st    24     69382       432      1889         0     11289      5771    149608   no data   no data
15.55/3.96	c  S st    24     69887       432      1889         0     11790      5771    160744   no data   no data
15.55/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.55/3.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
15.55/3.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.99	c lits-rem:        36  cl-subs:      143  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.99	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
15.55/3.99	c vivif2 --  cl tried    11647 cl shrink        0 lits rem          0 time: 0.00
15.55/3.99	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
15.55/3.99	c calculated reachability. Time: 0.00
15.55/3.99	c  N st    24     69887       432      1889         0     11647      5771    157501   no data   no data
21.15/5.33	c  F st    25     87501       432      1889         0     17079      5771    269531   no data   no data
21.15/5.33	c  N st    25     87501       432      1889         0     17079      5771    269531   no data   no data
22.74/5.72	c Decided on static restart strategy
23.54/5.94	c  N st    32     95538       432      1889         0     24945      5771    440263   no data   no data
25.96/6.60	c  N st    34    104830       432      1889         0     21286      5771    332851   no data   no data
25.96/6.60	c  S st    34    104830       432      1889         0     21286      5771    332851   no data   no data
26.36/6.66	c  S st    34    105332       432      1889         0     21788      5771    343514   no data   no data
26.36/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
26.36/6.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
26.36/6.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.85	c lits-rem:       215  cl-subs:     1274  v-elim:      0  v-fix:    0  time:  0.17 s
27.14/6.85	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
27.14/6.85	c vivif2 --  cl tried    20514 cl shrink        0 lits rem          0 time: 0.00
27.14/6.86	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
27.14/6.86	c calculated reachability. Time: 0.00
27.14/6.86	c  N st    34    105332       432      1889         0     20514      5771    317855   no data   no data
30.35/7.66	c  N st    35    114930       432      1889         0     16279      5771    215582   no data   no data
35.52/8.91	c  N st    36    129327       432      1889         0     15642      5771    186758   no data   no data
42.72/10.79	c  N st    37    150922       432      1889         0     21142      5771    303818   no data   no data
45.51/11.42	c  S st    38    157998       432      1889         0     28065      5771    464547   no data   no data
45.51/11.49	c  S st    38    158502       432      1889         0     28568      5771    475716   no data   no data
45.51/11.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.91/11.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.91/11.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.91/11.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.91/11.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
45.91/11.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.91/11.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.91/11.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.81	c lits-rem:       162  cl-subs:     1223  v-elim:      0  v-fix:    0  time:  0.29 s
47.11/11.81	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
47.11/11.81	c vivif2 --  cl tried    27345 cl shrink        0 lits rem          0 time: 0.01
47.11/11.83	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
47.11/11.83	c calculated reachability. Time: 0.00
47.11/11.83	c  N st    38    158502       432      1889         0     27345      5771    446832   no data   no data
65.51/16.47	c  N st    39    207091       432      1889         0     22038      5771    280556   no data   no data
78.68/19.75	c  N st    40    237753       432      1889         0     32565      5771    492047   no data   no data
78.68/19.75	c  S st    40    237753       432      1889         0     32565      5771    492047   no data   no data
79.08/19.83	c  S st    40    238259       432      1889         0     33070      5771    502823   no data   no data
79.08/19.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.08/19.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.08/19.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.08/19.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.08/19.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.08/19.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
79.08/19.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.08/19.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.08/19.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.41	c lits-rem:       206  cl-subs:     2481  v-elim:      0  v-fix:    0  time:  0.54 s
81.46/20.41	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
81.46/20.41	c vivif2 --  cl tried    30589 cl shrink        0 lits rem          0 time: 0.01
81.46/20.43	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
81.46/20.43	c calculated reachability. Time: 0.00
81.46/20.43	c  N st    40    238259       432      1889         0     30589      5771    450868   no data   no data
111.82/28.08	c  F st    41    306250       432      1889         0     32390      5771    461547   no data   no data
111.82/28.08	c  N st    41    306250       432      1889         0     32390      5771    461547   no data   no data
114.61/28.78	c Decided on static restart strategy
126.20/31.63	c  N st    51    334552       432      1889         0     36696      5771    534506   no data   no data
136.98/34.35	c  N st    53    357389       432      1889         0     34587      5771    485424   no data   no data
136.98/34.35	c  S st    53    357389       432      1889         0     34587      5771    485424   no data   no data
137.38/34.44	c  S st    53    357891       432      1889         0     35089      5771    496898   no data   no data
137.38/34.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.38/34.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.38/34.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.38/34.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.38/34.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.38/34.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
137.38/34.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.38/34.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.38/34.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.58/34.78	c lits-rem:       269  cl-subs:     1391  v-elim:      0  v-fix:    0  time:  0.31 s
138.58/34.78	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
138.58/34.79	c vivif2 --  cl tried    33698 cl shrink        0 lits rem          0 time: 0.01
138.98/34.81	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
138.98/34.81	c calculated reachability. Time: 0.00
138.98/34.81	c  N st    53    357891       432      1889         0     33698      5771    464654   no data   no data
154.55/38.72	c  N st    54    390284       432      1889         0     39850      5771    577405   no data   no data
184.13/46.11	c  N st    55    438873       432      1889         0     33615      5771    411691   no data   no data
226.45/56.73	c  N st    56    511757       432      1889         0     47071      5771    680655   no data   no data
240.84/60.35	c  N st    57    536836       432      1889         0     41393      5771    562660   no data   no data
240.84/60.35	c  S st    57    536836       432      1889         0     41393      5771    562660   no data   no data
241.25/60.46	c  S st    57    537339       432      1889         0     41893      5771    573305   no data   no data
241.25/60.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
241.25/60.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
241.25/60.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.25/60.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.25/60.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.25/60.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
241.25/60.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.25/60.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.25/60.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.83/60.87	c lits-rem:       288  cl-subs:     1233  v-elim:      0  v-fix:    0  time:  0.37 s
242.83/60.87	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
242.83/60.87	c vivif2 --  cl tried    40660 cl shrink        0 lits rem          0 time: 0.01
243.23/60.90	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.03
243.23/60.90	c calculated reachability. Time: 0.00
243.23/60.90	c  N st    57    537339       432      1889         0     40660      5771    545603   no data   no data
351.88/88.16	c  N st    58    701324       432      1889         0     69885      5771   1150094   no data   no data
430.60/107.86	c  N st    59    806008       432      1889         0     63532      5771    973800   no data   no data
430.60/107.86	c  S st    59    806008       432      1889         0     63532      5771    973800   no data   no data
431.38/108.04	c  S st    59    806512       432      1889         0     64034      5771    984632   no data   no data
431.38/108.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.38/108.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
431.38/108.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.38/108.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.38/108.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.38/108.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
431.38/108.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
431.38/108.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.78/108.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.16/110.70	c lits-rem:       548  cl-subs:     4724  v-elim:      0  v-fix:    0  time:  2.58 s
442.16/110.70	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
442.16/110.71	c vivif2 --  cl tried    59310 cl shrink        0 lits rem          0 time: 0.01
442.16/110.76	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.05
442.16/110.77	c calculated reachability. Time: 0.00
442.16/110.77	c  N st    59    806512       432      1889         0     59310      5771    883436   no data   no data
652.68/163.44	c  F st    60   1071876       432      1889         0     74875      5771   1083959   no data   no data
652.68/163.44	c  N st    60   1071876       432      1889         0     74875      5771   1083959   no data   no data
658.68/164.94	c Decided on static restart strategy
678.64/169.97	c  N st    70   1100181       432      1889         0     59012      5771    743860   no data   no data
716.59/179.46	c  N st    72   1136173       432      1889         0     49328      5771    512741   no data   no data
745.75/186.73	c  N st    73   1168568       432      1889         0     80895      5771   1246376   no data   no data
784.10/196.34	c  N st    74   1209768       432      1889         0     75409      5771   1105007   no data   no data
784.10/196.34	c  S st    74   1209768       432      1889         0     75409      5771   1105007   no data   no data
785.30/196.66	c  S st    74   1210275       432      1889         0     75916      5771   1115804   no data   no data
785.30/196.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
785.70/196.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
785.70/196.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
785.70/196.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
785.70/196.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.70/196.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
785.70/196.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
785.70/196.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
785.70/196.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
796.48/199.48	c lits-rem:       945  cl-subs:     4219  v-elim:      0  v-fix:    0  time:  2.72 s
796.48/199.48	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
796.48/199.49	c vivif2 --  cl tried    71697 cl shrink        0 lits rem          0 time: 0.02
796.87/199.56	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.07
796.87/199.56	c calculated reachability. Time: 0.00
796.87/199.56	c  N st    74   1210275       432      1889         0     71697      5771   1024426   no data   no data
876.37/219.49	c  N st    75   1283158       432      1889         0     48116      5771    445784   no data   no data
985.42/246.71	c  N st    76   1392481       432      1889         0     56060      5771    596452   no data   no data
1155.61/289.35	c  N st    77   1556465       432      1889         0     60992      5771    659890   no data   no data
1302.99/326.22	c  N st    78   1710280       432      1889         0    102331      5771   1534935   no data   no data
1302.99/326.22	c  S st    78   1710280       432      1889         0    102331      5771   1534935   no data   no data
1304.19/326.59	c  S st    78   1710781       432      1889         0    102832      5771   1546127   no data   no data
1304.19/326.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1304.60/326.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1304.60/326.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1304.60/326.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1304.60/326.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1304.60/326.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
1304.60/326.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1304.60/326.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1305.00/326.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1342.14/336.08	c lits-rem:       634  cl-subs:    10534  v-elim:      0  v-fix:    0  time:  9.36 s
1342.14/336.08	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1342.54/336.10	c vivif2 --  cl tried    92298 cl shrink        0 lits rem          0 time: 0.02
1342.54/336.19	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.09
1342.54/336.20	c calculated reachability. Time: 0.00
1342.54/336.20	c  N st    78   1710781       432      1889         0     92298      5771   1348497   no data   no data
1729.21/432.99	c  N st    79   2079746       432      1889         0    104704      5771   1586593   no data   no data
1873.01/468.91	c  N st    80   2210781       432      1889         0    108505      5771   1654854   no data   no data
1873.01/468.91	c  S st    80   2210781       432      1889         0    108505      5771   1654854   no data   no data
1874.60/469.33	c  S st    80   2211284       432      1889         0    109006      5771   1666253   no data   no data
1874.60/469.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1874.60/469.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1874.60/469.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1874.60/469.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1874.60/469.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1874.60/469.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
1874.60/469.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1875.01/469.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1875.01/469.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1906.99/477.45	c lits-rem:       607  cl-subs:     7793  v-elim:      0  v-fix:    0  time:  7.99 s
1906.99/477.45	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1906.99/477.48	c vivif2 --  cl tried   101213 cl shrink        0 lits rem          0 time: 0.02
1907.36/477.58	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.10
1907.36/477.58	c calculated reachability. Time: 0.00
1907.36/477.58	c  N st    80   2211284       432      1889         0    101213      5771   1512142   no data   no data
2547.68/637.87	c  N st    81   2711285       432      1889         0    123986      5771   1809533   no data   no data
2547.68/637.87	c  S st    81   2711285       432      1889         0    123986      5771   1809533   no data   no data
2549.68/638.33	c  S st    81   2711787       432      1889         0    124486      5771   1820279   no data   no data
2549.68/638.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2550.08/638.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2550.08/638.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2550.08/638.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2550.08/638.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2550.08/638.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
2550.08/638.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2550.08/638.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2550.08/638.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2608.00/652.96	c lits-rem:       966  cl-subs:    14160  v-elim:      0  v-fix:    0  time: 14.47 s
2608.00/652.96	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
2608.00/652.98	c vivif2 --  cl tried   110326 cl shrink        0 lits rem          0 time: 0.02
2608.81/653.10	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.12
2608.81/653.11	c calculated reachability. Time: 0.00
2608.81/653.11	c  N st    81   2711787       432      1889         0    110326      5771   1550278   no data   no data
3287.87/823.18	c  N st    82   3211787       432      1889         0     86793      5771    918256   no data   no data
3287.87/823.18	c  S st    82   3211787       432      1889         0     86793      5771    918256   no data   no data
3289.08/823.44	c  S st    82   3212287       432      1889         0     87293      5771    929841   no data   no data
3289.08/823.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3289.08/823.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3289.08/823.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3289.08/823.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3289.08/823.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3289.08/823.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
3289.08/823.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3289.48/823.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3289.48/823.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3293.07/824.42	c lits-rem:        68  cl-subs:     2794  v-elim:      0  v-fix:    0  time:  0.88 s
3293.07/824.42	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3293.07/824.43	c vivif2 --  cl tried    84499 cl shrink        0 lits rem          0 time: 0.02
3293.47/824.51	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.08
3293.47/824.51	c calculated reachability. Time: 0.00
3293.47/824.51	c  N st    82   3212287       432      1889         0     84499      5771    878345   no data   no data
4008.48/1003.53	c  N st    83   3712288       432      1889         0     95528      5771   1053947   no data   no data
4008.48/1003.53	c  S st    83   3712288       432      1889         0     95528      5771   1053947   no data   no data
4010.08/1003.91	c  S st    83   3712790       432      1889         0     96028      5771   1065689   no data   no data
4010.08/1003.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4010.08/1003.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4010.08/1003.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4010.08/1003.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4010.08/1003.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4010.08/1003.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
4010.08/1003.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4010.08/1003.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4010.48/1004.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4014.49/1005.03	c lits-rem:       146  cl-subs:     2292  v-elim:      0  v-fix:    0  time:  1.01 s
4014.49/1005.03	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
4014.49/1005.04	c vivif2 --  cl tried    93736 cl shrink        0 lits rem          0 time: 0.02
4014.88/1005.14	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.09
4014.88/1005.14	c calculated reachability. Time: 0.00
4014.88/1005.14	c  N st    83   3712790       432      1889         0     93736      5771   1020230   no data   no data
4070.80/1019.15	c  F st    84   3751565       432      1889         0    131581      5771   1929749   no data   no data
4070.80/1019.15	c  N st    84   3751565       432      1889         0    131581      5771   1929749   no data   no data
4080.39/1021.56	c Decided on static restart strategy
4123.93/1032.45	c  N st    94   3779869       432      1889         0    159074      5771   2540160   no data   no data
4173.88/1044.98	c  N st    96   3815862       432      1889         0    111497      5771   1347555   no data   no data
4228.59/1058.67	c  N st    97   3848256       432      1889         0    143012      5771   2056506   no data   no data
4310.10/1079.09	c  N st    98   3896844       432      1889         0    106760      5771   1233882   no data   no data
4409.94/1104.03	c  N st    99   3969727       432      1889         0     93047      5771    939016   no data   no data
4566.93/1143.31	c  N st   100   4079050       432      1889         0    113590      5771   1391130   no data   no data
4785.43/1198.01	c  N st   101   4212791       432      1889         0    156531      5771   2262135   no data   no data
4785.43/1198.01	c  S st   101   4212791       432      1889         0    156531      5771   2262135   no data   no data
4787.82/1198.61	c  S st   101   4213296       432      1889         0    157032      5771   2273572   no data   no data
4787.82/1198.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4788.22/1198.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4788.22/1198.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4788.22/1198.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4788.22/1198.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4788.22/1198.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    432 time:  0.00 s
4788.22/1198.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4788.22/1198.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4788.62/1198.82	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-3173916-1304073323/watcher-3173916-1304073323 -o /tmp/evaluation-result-3173916-1304073323/solver-3173916-1304073323 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173916-1304073323.cnf 

running on 4 cores: 0,2,4,6

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.10 8.09 7.48 1/176 21097
/proc/meminfo: memFree=25391800/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 518930481 52441088 347 33554432000 4194304 4627427 140733990347696 18446744073709551615 47100860049330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 12803 347 299 106 0 7774 0
[pid=21097/tid=21098] ppid=21095 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518930481 52441088 347 33554432000 4194304 4627427 140733990347696 18446744073709551615 47100860049320 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518930481 52441088 347 33554432000 4194304 4627427 140733990347696 18446744073709551615 47100860049324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518930481 52441088 347 33554432000 4194304 4627427 140733990347696 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0365399 s]
/proc/loadavg: 8.10 8.09 7.48 1/176 21097
/proc/meminfo: memFree=25391800/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=281892 CPUtime=0.11 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 1281 0 0 0 11 0 0 0 18 0 4 0 518930481 288657408 1160 33554432000 4194304 4627427 140733990347696 18446744073709551615 4321535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 70473 1160 384 106 0 65444 0
[pid=21097/tid=21098] ppid=21095 vsize=281892 CPUtime=0.03 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 233 0 0 0 3 0 0 0 18 0 4 0 518930481 288657408 1160 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=281892 CPUtime=0.02 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 208 0 0 0 2 0 0 0 18 0 4 0 518930481 288657408 1160 33554432000 4194304 4627427 140733990347696 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=281892 CPUtime=0.02 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 148 0 0 0 2 0 0 0 25 0 4 0 518930481 288657408 1160 33554432000 4194304 4627427 140733990347696 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 281892

[startup+0.158954 s]
/proc/loadavg: 8.10 8.09 7.48 1/176 21097
/proc/meminfo: memFree=25391800/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=283100 CPUtime=0.61 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 2076 0 0 0 61 0 0 0 18 0 4 0 518930481 289894400 1441 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 70775 1441 385 106 0 65746 0
[pid=21097/tid=21098] ppid=21095 vsize=283100 CPUtime=0.15 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 428 0 0 0 15 0 0 0 18 0 4 0 518930481 289894400 1441 33554432000 4194304 4627427 140733990347696 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=283100 CPUtime=0.15 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 393 0 0 0 15 0 0 0 18 0 4 0 518930481 289894400 1441 33554432000 4194304 4627427 140733990347696 18446744073709551615 4327893 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=283100 CPUtime=0.14 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 353 0 0 0 14 0 0 0 25 0 4 0 518930481 289894400 1441 33554432000 4194304 4627427 140733990347696 18446744073709551615 4327756 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 283100

[startup+0.300929 s]
/proc/loadavg: 8.10 8.09 7.48 1/176 21097
/proc/meminfo: memFree=25391800/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=283232 CPUtime=1.17 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 2636 0 0 0 117 0 0 0 18 0 4 0 518930481 290029568 2001 33554432000 4194304 4627427 140733990347696 18446744073709551615 4333248 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 70808 2001 385 106 0 65779 0
[pid=21097/tid=21098] ppid=21095 vsize=283232 CPUtime=0.29 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 581 0 0 0 29 0 0 0 18 0 4 0 518930481 290029568 2001 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=283232 CPUtime=0.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 516 0 0 0 29 0 0 0 18 0 4 0 518930481 290029568 2001 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=283232 CPUtime=0.29 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 491 0 0 0 29 0 0 0 25 0 4 0 518930481 290029568 2001 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283232

[startup+0.70086 s]
/proc/loadavg: 8.10 8.09 7.48 1/176 21097
/proc/meminfo: memFree=25391800/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=284240 CPUtime=2.77 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 4367 0 0 0 277 0 0 0 18 0 4 0 518930481 291061760 2415 33554432000 4194304 4627427 140733990347696 18446744073709551615 4507189 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 71060 2416 385 106 0 66031 0
[pid=21097/tid=21098] ppid=21095 vsize=284240 CPUtime=0.69 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 1088 0 0 0 69 0 0 0 18 0 4 0 518930481 291061760 2416 33554432000 4194304 4627427 140733990347696 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=284240 CPUtime=0.69 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 518930481 291061760 2416 33554432000 4194304 4627427 140733990347696 18446744073709551615 4310445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=284240 CPUtime=0.69 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 844 0 0 0 69 0 0 0 25 0 4 0 518930481 291061760 2416 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284240

[startup+1.50072 s]
/proc/loadavg: 8.10 8.09 7.48 10/188 21114
/proc/meminfo: memFree=25359448/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=285236 CPUtime=5.96 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 8175 0 0 0 595 1 0 0 20 0 4 0 518930481 292081664 4254 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 71309 4254 389 106 0 66280 0
[pid=21097/tid=21098] ppid=21095 vsize=285236 CPUtime=1.49 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 1724 0 0 0 149 0 0 0 19 0 4 0 518930481 292081664 4254 33554432000 4194304 4627427 140733990347696 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=285236 CPUtime=1.48 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 1590 0 0 0 148 0 0 0 19 0 4 0 518930481 292081664 4254 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=285236 CPUtime=1.48 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 1545 0 0 0 148 0 0 0 25 0 4 0 518930481 292081664 4254 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285236

[startup+3.10043 s]
/proc/loadavg: 8.09 8.08 7.48 9/188 21114
/proc/meminfo: memFree=25327828/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=282196 CPUtime=12.36 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 16894 0 0 0 1233 3 0 0 25 0 4 0 518930481 288968704 8257 33554432000 4194304 4627427 140733990347696 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 70549 8257 389 106 0 65520 0
[pid=21097/tid=21098] ppid=21095 vsize=282196 CPUtime=3.08 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 3949 0 0 0 308 0 0 0 25 0 4 0 518930481 288968704 8257 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=282196 CPUtime=3.08 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 4633 0 0 0 308 0 0 0 25 0 4 0 518930481 288968704 8257 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=282196 CPUtime=3.07 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 3836 0 0 0 307 0 0 0 25 0 4 0 518930481 288968704 8257 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 282196

[startup+6.30087 s]
/proc/loadavg: 8.09 8.08 7.48 9/188 21114
/proc/meminfo: memFree=25286348/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=292024 CPUtime=25.14 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 26592 0 0 0 2509 5 0 0 25 0 4 0 518930481 299032576 11410 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 73006 11410 389 106 0 67977 0
[pid=21097/tid=21098] ppid=21095 vsize=292024 CPUtime=6.29 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 7169 0 0 0 628 1 0 0 25 0 4 0 518930481 299032576 11410 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=292024 CPUtime=6.28 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 7115 0 0 0 627 1 0 0 25 0 4 0 518930481 299032576 11410 33554432000 4194304 4627427 140733990347696 18446744073709551615 4327740 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=292024 CPUtime=6.26 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 5652 0 0 0 625 1 0 0 25 0 4 0 518930481 299032576 11410 33554432000 4194304 4627427 140733990347696 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 292024

[startup+12.7007 s]
/proc/loadavg: 8.08 8.08 7.48 9/188 21114
/proc/meminfo: memFree=25238532/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=300716 CPUtime=50.7 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 43346 0 0 0 5063 7 0 0 25 0 4 0 518930481 307933184 16633 33554432000 4194304 4627427 140733990347696 18446744073709551615 4333184 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 75179 16633 389 106 0 70150 0
[pid=21097/tid=21098] ppid=21095 vsize=300716 CPUtime=12.68 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 11208 0 0 0 1267 1 0 0 25 0 4 0 518930481 307933184 16633 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=300716 CPUtime=12.68 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 10054 0 0 0 1267 1 0 0 25 0 4 0 518930481 307933184 16633 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=300716 CPUtime=12.62 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 10110 0 0 0 1260 2 0 0 25 0 4 0 518930481 307933184 16633 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 300716

[startup+25.5005 s]
/proc/loadavg: 8.06 8.08 7.49 9/188 21115
/proc/meminfo: memFree=25190884/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=301776 CPUtime=101.83 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 66010 0 0 0 10171 12 0 0 25 0 4 0 518930481 309018624 23390 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 75444 23390 389 106 0 70415 0
[pid=21097/tid=21098] ppid=21095 vsize=301776 CPUtime=25.49 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 17465 0 0 0 2546 3 0 0 25 0 4 0 518930481 309018624 23390 33554432000 4194304 4627427 140733990347696 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=301776 CPUtime=25.48 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 15712 0 0 0 2545 3 0 0 25 0 4 0 518930481 309018624 23390 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=301776 CPUtime=25.34 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 14985 0 0 0 2531 3 0 0 25 0 4 0 518930481 309018624 23390 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 301776

[startup+51.1009 s]
/proc/loadavg: 8.04 8.07 7.50 9/188 21115
/proc/meminfo: memFree=25144072/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=305780 CPUtime=204.09 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 96491 0 0 0 20388 21 0 0 25 0 4 0 518930481 313118720 27805 33554432000 4194304 4627427 140733990347696 18446744073709551615 4327552 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 76445 27805 389 106 0 71416 0
[pid=21097/tid=21098] ppid=21095 vsize=305780 CPUtime=51.08 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 25800 0 0 0 5103 5 0 0 25 0 4 0 518930481 313118720 27805 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=305780 CPUtime=51.07 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 23793 0 0 0 5103 4 0 0 25 0 4 0 518930481 313118720 27805 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=305780 CPUtime=50.81 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 21891 0 0 0 5076 5 0 0 25 0 4 0 518930481 313118720 27805 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 305780

[startup+102.307 s]
/proc/loadavg: 8.05 8.07 7.53 9/188 21117
/proc/meminfo: memFree=25107344/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=319788 CPUtime=408.63 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 148071 0 0 0 40827 36 0 0 25 0 4 0 518930481 327462912 34394 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 79947 34394 389 106 0 74918 0
[pid=21097/tid=21098] ppid=21095 vsize=319788 CPUtime=102.29 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 38741 0 0 0 10219 10 0 0 25 0 4 0 518930481 327462912 34394 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=319788 CPUtime=102.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 36012 0 0 0 10221 8 0 0 25 0 4 0 518930481 327462912 34394 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=319788 CPUtime=101.73 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 35761 0 0 0 10165 8 0 0 25 0 4 0 518930481 327462912 34394 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 319788

[startup+162.301 s]

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

[pid=21097] ppid=21095 vsize=487224 CPUtime=2805.33 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 493309 0 0 0 280371 162 0 0 25 0 4 0 518930481 498917376 74080 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 121806 74080 389 106 0 116777 0
[pid=21097/tid=21098] ppid=21095 vsize=487224 CPUtime=702.23 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 118074 0 0 0 70183 40 0 0 25 0 4 0 518930481 498917376 74080 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=487224 CPUtime=702.28 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 124812 0 0 0 70188 40 0 0 25 0 4 0 518930481 498917376 74080 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=487224 CPUtime=698.47 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 122046 0 0 0 69807 40 0 0 25 0 4 0 518930481 498917376 74080 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 487224

[startup+762.307 s]
/proc/loadavg: 8.38 8.25 7.88 9/188 21134
/proc/meminfo: memFree=24736504/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=499708 CPUtime=3045.03 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 515685 0 0 0 304332 171 0 0 25 0 4 0 518930481 511700992 82756 33554432000 4194304 4627427 140733990347696 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 124927 82756 389 106 0 119898 0
[pid=21097/tid=21098] ppid=21095 vsize=499708 CPUtime=762.24 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 122375 0 0 0 76182 42 0 0 25 0 4 0 518930481 511700992 82756 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=499708 CPUtime=762.3 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 130871 0 0 0 76186 44 0 0 25 0 4 0 518930481 511700992 82756 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=499708 CPUtime=758.15 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 128132 0 0 0 75773 42 0 0 25 0 4 0 518930481 511700992 82756 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 499708

[startup+822.301 s]
/proc/loadavg: 8.32 8.25 7.90 9/188 21136
/proc/meminfo: memFree=24726948/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=589344 CPUtime=3284.68 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 537313 0 0 0 328290 178 0 0 25 0 4 0 518930481 603488256 89155 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 147336 89155 390 106 0 142307 0
[pid=21097/tid=21098] ppid=21095 vsize=589344 CPUtime=822.23 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 127624 0 0 0 82180 43 0 0 25 0 4 0 518930481 603488256 89155 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=589344 CPUtime=822.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 136514 0 0 0 82183 46 0 0 25 0 4 0 518930481 603488256 89155 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=589344 CPUtime=817.82 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 134572 0 0 0 81738 44 0 0 25 0 4 0 518930481 603488256 89155 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 589344

[startup+882.3 s]
/proc/loadavg: 8.29 8.25 7.92 9/188 21137
/proc/meminfo: memFree=24641732/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=614724 CPUtime=3524.35 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 561759 0 0 0 352248 187 0 0 25 0 4 0 518930481 629477376 96377 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 153681 96377 390 106 0 148652 0
[pid=21097/tid=21098] ppid=21095 vsize=614724 CPUtime=882.22 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 130473 0 0 0 88178 44 0 0 25 0 4 0 518930481 629477376 96377 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=614724 CPUtime=882.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 144738 0 0 0 88181 48 0 0 25 0 4 0 518930481 629477376 96377 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=614724 CPUtime=877.49 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 140968 0 0 0 87702 47 0 0 25 0 4 0 518930481 629477376 96377 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 614724

[startup+942.301 s]
/proc/loadavg: 8.27 8.25 7.94 9/188 21139
/proc/meminfo: memFree=24658956/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=615196 CPUtime=3764.02 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 584786 0 0 0 376205 197 0 0 25 0 4 0 518930481 629960704 98011 33554432000 4194304 4627427 140733990347696 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 153799 98011 390 106 0 148770 0
[pid=21097/tid=21098] ppid=21095 vsize=615196 CPUtime=942.22 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 134312 0 0 0 94176 46 0 0 25 0 4 0 518930481 629960704 98011 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=615196 CPUtime=942.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 151125 0 0 0 94178 51 0 0 25 0 4 0 518930481 629960704 98011 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=615196 CPUtime=937.17 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 147089 0 0 0 93667 50 0 0 25 0 4 0 518930481 629960704 98011 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 615196

[startup+1002.3 s]
/proc/loadavg: 8.34 8.26 7.96 9/188 21141
/proc/meminfo: memFree=24641320/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=602724 CPUtime=4003.69 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 604642 0 0 0 400164 205 0 0 25 0 4 0 518930481 617189376 98365 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 150681 98365 390 106 0 145652 0
[pid=21097/tid=21098] ppid=21095 vsize=602724 CPUtime=1002.21 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 140889 0 0 0 100174 47 0 0 25 0 4 0 518930481 617189376 98365 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=602724 CPUtime=1002.3 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 155295 0 0 0 100177 53 0 0 25 0 4 0 518930481 617189376 98365 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=602724 CPUtime=996.84 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 149776 0 0 0 99633 51 0 0 25 0 4 0 518930481 617189376 98365 33554432000 4194304 4627427 140733990347696 18446744073709551615 4420174 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 602724

[startup+1062.3 s]
/proc/loadavg: 8.17 8.23 7.96 10/188 21142
/proc/meminfo: memFree=24628908/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=602984 CPUtime=4243.37 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 622143 0 0 0 424124 213 0 0 25 0 4 0 518930481 617455616 99440 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 150746 99440 390 106 0 145717 0
[pid=21097/tid=21098] ppid=21095 vsize=602984 CPUtime=1062.2 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 144513 0 0 0 106171 49 0 0 25 0 4 0 518930481 617455616 99440 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=602984 CPUtime=1062.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 158494 0 0 0 106175 54 0 0 25 0 4 0 518930481 617455616 99440 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=602984 CPUtime=1056.52 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 154828 0 0 0 105599 53 0 0 25 0 4 0 518930481 617455616 99440 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 602984

[startup+1122.3 s]
/proc/loadavg: 8.29 8.24 7.98 10/188 21144
/proc/meminfo: memFree=24623548/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=610120 CPUtime=4483.04 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 641258 0 0 0 448083 221 0 0 25 0 4 0 518930481 624762880 101924 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 152530 101924 390 106 0 147501 0
[pid=21097/tid=21098] ppid=21095 vsize=610120 CPUtime=1122.2 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 146292 0 0 0 112170 50 0 0 25 0 4 0 518930481 624762880 101924 33554432000 4194304 4627427 140733990347696 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=610120 CPUtime=1122.3 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 164727 0 0 0 112173 57 0 0 25 0 4 0 518930481 624762880 101924 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=610120 CPUtime=1116.2 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 159477 0 0 0 111565 55 0 0 25 0 4 0 518930481 624762880 101924 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 610120

[startup+1182.3 s]
/proc/loadavg: 8.19 8.22 7.99 9/188 21145
/proc/meminfo: memFree=24585208/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=662900 CPUtime=4722.72 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 660287 0 0 0 472044 228 0 0 25 0 4 0 518930481 678809600 104592 33554432000 4194304 4627427 140733990347696 18446744073709551615 4327501 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 165725 104592 390 106 0 160696 0
[pid=21097/tid=21098] ppid=21095 vsize=662900 CPUtime=1182.2 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 151860 0 0 0 118168 52 0 0 25 0 4 0 518930481 678809600 104592 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=662900 CPUtime=1182.29 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 166888 0 0 0 118172 57 0 0 25 0 4 0 518930481 678809600 104592 33554432000 4194304 4627427 140733990347696 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=662900 CPUtime=1175.87 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 164963 0 0 0 117531 56 0 0 25 0 4 0 518930481 678809600 104592 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 662900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.20 7.99 9/188 21146
/proc/meminfo: memFree=24577124/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=662900 CPUtime=4800.23 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 668789 0 0 0 479792 231 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 165725 113092 390 106 0 160696 0
[pid=21097/tid=21098] ppid=21095 vsize=662900 CPUtime=1201.6 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 152721 0 0 0 120108 52 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=662900 CPUtime=1201.7 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 168278 0 0 0 120112 58 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=662900 CPUtime=1195.16 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 166050 0 0 0 119460 56 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 662900

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.12 8.20 7.99 9/188 21146
/proc/meminfo: memFree=24577124/32951124 swapFree=67111524/67111528
[pid=21097] ppid=21095 vsize=662900 CPUtime=4800.23 cores=0,2,4,6
/proc/21097/stat : 21097 (strangenight2-m) R 21095 21097 20824 0 -1 4202496 668789 0 0 0 479792 231 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21097/statm: 165725 113092 390 106 0 160696 0
[pid=21097/tid=21098] ppid=21095 vsize=662900 CPUtime=1201.6 cores=0,2,4,6
/proc/21097/task/21098/stat : 21098 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 152721 0 0 0 120108 52 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21097/tid=21099] ppid=21095 vsize=662900 CPUtime=1201.7 cores=0,2,4,6
/proc/21097/task/21099/stat : 21099 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 168278 0 0 0 120112 58 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21097/tid=21100] ppid=21095 vsize=662900 CPUtime=1195.16 cores=0,2,4,6
/proc/21097/task/21100/stat : 21100 (strangenight2-m) R 21095 21097 20824 0 -1 4202560 166050 0 0 0 119460 56 0 0 25 0 4 0 518930481 678809600 113092 33554432000 4194304 4627427 140733990347696 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 662900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4797.94
CPU system time (s): 2.33165
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 702060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.94
system time used= 2.33164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 668790
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= 435
involuntary context switches= 81688

runsolver used 1.80872 second user time and 4.76228 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 12:35:23
IDJOB=3173916
IDBENCH=82734
IDSOLVER=1586
FILE ID=node132/3173916-1304073323
RUNJOBID= node132-1304072119-20993
PBS_JOBID= 13170489
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= c5ca502edf263e9767f2d7ec536d2edf
RANDOM SEED=1928320849

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.67
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.833
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.833
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:      25391964 kB
Buffers:        767440 kB
Cached:        6229700 kB
SwapCached:          4 kB
Active:        2068792 kB
Inactive:      4992784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25391964 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5888 kB
Writeback:           0 kB
AnonPages:       64184 kB
Mapped:          14320 kB
Slab:           435184 kB
PageTables:       4788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 12:55:27