Trace number 3366572

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf
MD5SUM74a1475d318f4f1a9026a9771426aa49
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366572-1305408767.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.07/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.07/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.07/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.07/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.07/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.07/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.07/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.07/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.07/0.05	c calculated reachability. Time: 0.00
0.07/0.05	c Calc default polars -  time:   0.00 s pos:      64 undec:       4 neg:      57
0.07/0.05	c =========================================================================================
0.07/0.05	c types(t): F = full restart, N = normal restart
0.07/0.05	c types(t): S = simplification begin/end, E = solution found
0.07/0.05	c restart types(rt): st = static, dy = dynamic
0.07/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.07/0.05	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.43/0.15	c Decided on static restart strategy
0.43/0.15	c  N st     8      4916       125      2662         0      4694     13310    121554   no data   no data
1.16/0.34	c  N st    10     11301       125      2662         0      4296     13310     85611   no data   no data
1.96/0.54	c  N st    11     17044       125      2662         0      9722     13310    231065   no data   no data
3.16/0.90	c  F st    12     25000       125      2662         0     11891     13310    283353   no data   no data
3.16/0.90	c  N st    12     25000       125      2662         0     11891     13310    283353   no data   no data
4.40/1.14	c Decided on static restart strategy
4.40/1.14	c  N st    18     30003       125      2662         0     10201     13310    224803   no data   no data
4.40/1.14	c  S st    18     30003       125      2662         0     10201     13310    224803   no data   no data
4.40/1.17	c  S st    18     30507       125      2662         0     10689     13310    237724   no data   no data
4.40/1.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.17	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.40/1.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.40/1.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.36	c lits-rem:       287  cl-subs:     1398  v-elim:      0  v-fix:    0  time:  0.18 s
5.55/1.40	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.55/1.40	c calculated reachability. Time: 0.00
5.55/1.40	c  N st    18     30507       125      2662         0      9291     13310    198757   no data   no data
6.75/1.75	c  N st    20     37617       125      2662         0      8556     13310    165913   no data   no data
7.95/2.06	c  N st    21     44018       125      2662         0     14577     13310    320440   no data   no data
8.36/2.18	c  S st    22     45761       125      2662         0     16201     13310    361684   no data   no data
8.78/2.22	c  S st    22     46264       125      2662         0     16688     13310    374377   no data   no data
8.78/2.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.78/2.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.78/2.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.78/2.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.78/2.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.78/2.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.78/2.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.33/2.66	c lits-rem:       453  cl-subs:     1737  v-elim:      0  v-fix:    0  time:  0.41 s
10.33/2.66	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.33/2.66	c vivif2 --  cl tried    14951 cl shrink        0 lits rem          0 time: 0.00
10.73/2.72	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.73/2.72	c calculated reachability. Time: 0.00
10.73/2.72	c  N st    22     46264       125      2662         0     14951     13310    327138   no data   no data
13.92/3.52	c  N st    23     60663       125      2662         0     10765     13310    190095   no data   no data
15.92/4.04	c  N st    24     69396       125      2662         0     18928     13310    397079   no data   no data
15.92/4.04	c  S st    24     69396       125      2662         0     18928     13310    397079   no data   no data
15.92/4.09	c  S st    24     69900       125      2662         0     19415     13310    409530   no data   no data
15.92/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.92/4.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.92/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.92/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.32/4.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.32/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.71/4.72	c lits-rem:       617  cl-subs:     2184  v-elim:      0  v-fix:    0  time:  0.62 s
18.71/4.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.71/4.73	c vivif2 --  cl tried    17231 cl shrink        0 lits rem          0 time: 0.00
18.71/4.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.71/4.79	c calculated reachability. Time: 0.00
18.71/4.79	c  N st    24     69900       125      2662         0     17231     13310    354006   no data   no data
23.09/5.84	c  F st    25     87500       125      2662         0     12342     13310    210435   no data   no data
23.09/5.84	c  N st    25     87500       125      2662         0     12342     13310    210435   no data   no data
24.29/6.13	c Decided on static restart strategy
25.10/6.32	c  N st    32     95542       125      2662         0     19950     13310    407875   no data   no data
27.48/6.92	c  N st    34    104850       125      2662         0     16488     13310    308135   no data   no data
27.48/6.92	c  S st    34    104850       125      2662         0     16488     13310    308135   no data   no data
27.48/6.97	c  S st    34    105354       125      2662         0     16976     13310    320899   no data   no data
27.48/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.48/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.48/6.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.48/6.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.48/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.48/6.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.48/6.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.48/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.48/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.28/7.19	c lits-rem:       300  cl-subs:      995  v-elim:      0  v-fix:    0  time:  0.20 s
28.28/7.19	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.28/7.19	c vivif2 --  cl tried    15981 cl shrink        0 lits rem          0 time: 0.00
28.68/7.25	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.68/7.26	c calculated reachability. Time: 0.00
28.68/7.26	c  N st    34    105354       125      2662         0     15981     13310    294058   no data   no data
31.87/8.04	c  N st    35    114952       125      2662         0     25009     13310    514528   no data   no data
35.86/9.07	c  N st    36    129351       125      2662         0     25387     13310    530561   no data   no data
42.24/10.65	c  N st    37    150946       125      2662         0     16533     13310    261088   no data   no data
44.22/11.13	c  S st    38    158031       125      2662         0     23153     13310    428592   no data   no data
44.22/11.19	c  S st    38    158534       125      2662         0     23641     13310    441459   no data   no data
44.62/11.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.62/11.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.62/11.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.62/11.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.62/11.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.62/11.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.62/11.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.62/11.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
44.62/11.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.63/11.75	c lits-rem:       607  cl-subs:     1904  v-elim:      0  v-fix:    0  time:  0.54 s
46.63/11.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
46.63/11.76	c vivif2 --  cl tried    21737 cl shrink        0 lits rem          0 time: 0.01
47.03/11.84	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
47.03/11.84	c calculated reachability. Time: 0.00
47.03/11.84	c  N st    38    158534       125      2662         0     21737     13310    394051   no data   no data
62.97/15.83	c  N st    39    207123       125      2662         0     34584     13310    704619   no data   no data
73.76/18.54	c  N st    40    237801       125      2662         0     26716     13310    480812   no data   no data
73.76/18.54	c  S st    40    237801       125      2662         0     26716     13310    480812   no data   no data
73.76/18.61	c  S st    40    238303       125      2662         0     27203     13310    493389   no data   no data
73.76/18.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.17/18.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.17/18.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.17/18.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.17/18.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.17/18.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.17/18.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.17/18.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
74.17/18.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.94/19.33	c lits-rem:       555  cl-subs:     2074  v-elim:      0  v-fix:    0  time:  0.69 s
76.94/19.33	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
76.94/19.33	c vivif2 --  cl tried    25129 cl shrink        0 lits rem          0 time: 0.00
77.34/19.43	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.34/19.43	c calculated reachability. Time: 0.00
77.34/19.43	c  N st    40    238303       125      2662         0     25129     13310    441169   no data   no data
102.86/25.85	c  F st    41    306250       125      2662         0     27108     13310    437769   no data   no data
102.86/25.85	c  N st    41    306250       125      2662         0     27108     13310    437769   no data   no data
104.88/26.34	c Decided on static restart strategy
114.43/28.77	c  N st    51    334554       125      2662         0     31250     13310    535507   no data   no data
124.00/31.13	c  N st    53    357454       125      2662         0     29272     13310    470902   no data   no data
124.00/31.13	c  S st    53    357454       125      2662         0     29272     13310    470902   no data   no data
124.40/31.21	c  S st    53    357960       125      2662         0     29767     13310    484185   no data   no data
124.40/31.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.40/31.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.40/31.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.40/31.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.40/31.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.40/31.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.40/31.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.40/31.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.40/31.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.00/31.65	c lits-rem:       357  cl-subs:     1193  v-elim:      0  v-fix:    0  time:  0.41 s
126.00/31.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
126.00/31.65	c vivif2 --  cl tried    28574 cl shrink        0 lits rem          0 time: 0.01
126.40/31.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.40/31.77	c calculated reachability. Time: 0.00
126.40/31.77	c  N st    53    357960       125      2662         0     28574     13310    450190   no data   no data
141.95/35.66	c  N st    54    390353       125      2662         0     34465     13310    578360   no data   no data
167.86/42.17	c  N st    55    438942       125      2662         0     28604     13310    415410   no data   no data
200.97/50.43	c  N st    56    511824       125      2662         0     41539     13310    730932   no data   no data
214.54/53.84	c  N st    57    536942       125      2662         0     35974     13310    550669   no data   no data
214.54/53.84	c  S st    57    536942       125      2662         0     35974     13310    550669   no data   no data
214.97/53.93	c  S st    57    537446       125      2662         0     36457     13310    563592   no data   no data
214.97/53.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
214.97/53.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
214.97/53.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
214.97/53.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
214.97/53.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.97/53.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
214.97/53.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
214.97/53.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
214.97/53.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.71/54.62	c lits-rem:       710  cl-subs:     1721  v-elim:      0  v-fix:    0  time:  0.65 s
217.71/54.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
217.71/54.63	c vivif2 --  cl tried    34736 cl shrink        0 lits rem          0 time: 0.01
218.11/54.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
218.11/54.77	c calculated reachability. Time: 0.00
218.11/54.77	c  N st    57    537446       125      2662         0     34736     13310    520647   no data   no data
306.26/76.82	c  N st    58    701431       125      2662         0     62467     13310   1173622   no data   no data
366.47/91.94	c  N st    59    806169       125      2662         0     56773     13310   1000553   no data   no data
366.47/91.94	c  S st    59    806169       125      2662         0     56773     13310   1000553   no data   no data
367.27/92.10	c  S st    59    806675       125      2662         0     57261     13310   1013660   no data   no data
367.27/92.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
367.27/92.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
367.27/92.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.27/92.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
367.27/92.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.27/92.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
367.27/92.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
367.27/92.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
367.27/92.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
385.64/96.74	c lits-rem:      1557  cl-subs:     5190  v-elim:      0  v-fix:    0  time:  4.58 s
385.64/96.74	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
385.64/96.75	c vivif2 --  cl tried    52071 cl shrink        0 lits rem          0 time: 0.01
386.81/97.02	c asymm  cl-useful: 0/2608/2662 lits-rem:0 time: 0.26
386.81/97.02	c calculated reachability. Time: 0.00
386.81/97.02	c  N st    59    806675       125      2662         0     52071     13310    884225   no data   no data
559.90/140.49	c  F st    60   1071875       125      2662         0     67575     13310   1215201   no data   no data
559.90/140.49	c  N st    60   1071875       125      2662         0     67575     13310   1215201   no data   no data
565.08/141.76	c Decided on static restart strategy
583.47/146.32	c  N st    70   1100178       125      2662         0     52127     13310    780585   no data   no data
613.34/153.83	c  N st    72   1136175       125      2662         0     85980     13310   1680742   no data   no data
634.08/159.09	c  N st    73   1168567       125      2662         0     73217     13310   1353558   no data   no data
668.37/167.67	c  N st    74   1210013       125      2662         0     68076     13310   1169652   no data   no data
668.37/167.67	c  S st    74   1210013       125      2662         0     68076     13310   1169652   no data   no data
669.57/167.90	c  S st    74   1210513       125      2662         0     68560     13310   1182390   no data   no data
669.57/167.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
669.57/167.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
669.57/167.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.57/167.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
669.57/167.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
669.57/167.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
669.57/167.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
669.57/167.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
669.97/168.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
711.42/178.45	c lits-rem:      1661  cl-subs:     5171  v-elim:      0  v-fix:    0  time: 10.45 s
711.42/178.45	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
711.42/178.47	c vivif2 --  cl tried    63389 cl shrink        0 lits rem          0 time: 0.02
713.82/179.02	c asymm  cl-useful: 0/2187/2662 lits-rem:0 time: 0.54
713.82/179.02	c calculated reachability. Time: 0.00
713.82/179.02	c  N st    74   1210513       125      2662         0     63389     13310   1051298   no data   no data
780.03/195.70	c  N st    75   1283395       125      2662         0     86710     13310   1621727   no data   no data
888.90/222.90	c  N st    76   1392719       125      2662         0     48381     13310    590152   no data   no data
1023.69/256.75	c  N st    77   1556703       125      2662         0     53176     13310    673326   no data   no data
1145.33/287.23	c  N st    78   1710514       125      2662         0     92825     13310   1665835   no data   no data
1145.33/287.23	c  S st    78   1710514       125      2662         0     92825     13310   1665835   no data   no data
1146.52/287.53	c  S st    78   1711015       125      2662         0     93311     13310   1678435   no data   no data
1146.52/287.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1146.52/287.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1146.52/287.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1146.52/287.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1146.52/287.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1146.52/287.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1146.52/287.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1146.92/287.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1146.92/287.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1278.90/320.76	c lits-rem:      1947  cl-subs:    10708  v-elim:      0  v-fix:    0  time: 33.11 s
1278.90/320.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1278.90/320.79	c vivif2 --  cl tried    82603 cl shrink        0 lits rem          0 time: 0.03
1281.28/321.37	c asymm  cl-useful: 0/1682/2662 lits-rem:0 time: 0.58
1281.28/321.37	c calculated reachability. Time: 0.00
1281.28/321.37	c  N st    78   1711015       125      2662         0     82603     13310   1416923   no data   no data
1651.76/414.45	c  N st    79   2079979       125      2662         0     94199     13310   1603781   no data   no data
1775.83/445.54	c  N st    80   2211018       125      2662         0     98426     13310   1739427   no data   no data
1775.83/445.54	c  S st    80   2211018       125      2662         0     98426     13310   1739427   no data   no data
1776.98/445.84	c  S st    80   2211525       125      2662         0     98920     13310   1752622   no data   no data
1776.98/445.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1776.98/445.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1776.98/445.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1776.98/445.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1776.98/445.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1776.98/445.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1776.98/445.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1777.38/445.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1777.38/445.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1842.39/462.29	c lits-rem:      2778  cl-subs:     8696  v-elim:      0  v-fix:    0  time: 16.33 s
1842.39/462.29	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1842.79/462.31	c vivif2 --  cl tried    90224 cl shrink        0 lits rem          0 time: 0.02
1843.59/462.55	c asymm  cl-useful: 0/980/2662 lits-rem:0 time: 0.24
1843.59/462.55	c calculated reachability. Time: 0.00
1843.59/462.55	c  N st    80   2211525       125      2662         0     90224     13310   1528957   no data   no data
2374.78/595.77	c  N st    81   2711528       125      2662         0    112803     13310   2006765   no data   no data
2374.78/595.77	c  S st    81   2711528       125      2662         0    112803     13310   2006765   no data   no data
2376.39/596.13	c  S st    81   2712030       125      2662         0    113285     13310   2019515   no data   no data
2376.39/596.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2376.39/596.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2376.39/596.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2376.39/596.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2376.39/596.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2376.39/596.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2376.39/596.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2376.81/596.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2376.81/596.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2494.42/625.72	c lits-rem:      2273  cl-subs:    14322  v-elim:      0  v-fix:    0  time: 29.45 s
2494.42/625.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2494.42/625.75	c vivif2 --  cl tried    98963 cl shrink        0 lits rem          0 time: 0.02
2496.01/626.10	c asymm  cl-useful: 0/1463/2662 lits-rem:0 time: 0.35
2496.01/626.10	c calculated reachability. Time: 0.00
2496.01/626.10	c  N st    81   2712030       125      2662         0     98963     13310   1668699   no data   no data
3099.37/777.45	c  N st    82   3212032       125      2662         0     76967     13310    957212   no data   no data
3099.37/777.45	c  S st    82   3212032       125      2662         0     76967     13310    957212   no data   no data
3100.18/777.69	c  S st    82   3212536       125      2662         0     77451     13310    970218   no data   no data
3100.18/777.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3100.60/777.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3100.60/777.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3100.60/777.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3100.60/777.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3100.60/777.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3100.60/777.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3100.60/777.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3100.60/777.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3104.57/778.71	c lits-rem:       243  cl-subs:     1088  v-elim:      0  v-fix:    0  time:  0.94 s
3104.57/778.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3104.57/778.73	c vivif2 --  cl tried    76363 cl shrink        0 lits rem          0 time: 0.01
3105.34/778.96	c asymm  cl-useful: 0/1199/2662 lits-rem:0 time: 0.23
3105.34/778.97	c calculated reachability. Time: 0.00
3105.34/778.97	c  N st    82   3212536       125      2662         0     76363     13310    944186   no data   no data
3731.08/935.88	c  N st    83   3712536       125      2662         0     86337     13310   1112300   no data   no data
3731.08/935.88	c  S st    83   3712536       125      2662         0     86337     13310   1112300   no data   no data
3732.32/936.12	c  S st    83   3713039       125      2662         0     86826     13310   1125667   no data   no data
3732.32/936.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3732.32/936.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3732.32/936.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3732.32/936.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3732.32/936.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3732.32/936.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3732.32/936.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3732.32/936.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3732.67/936.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3739.45/937.90	c lits-rem:       527  cl-subs:     2238  v-elim:      0  v-fix:    0  time:  1.68 s
3739.45/937.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3739.45/937.92	c vivif2 --  cl tried    84588 cl shrink        0 lits rem          0 time: 0.02
3740.66/938.24	c asymm  cl-useful: 0/1713/2662 lits-rem:0 time: 0.32
3740.66/938.24	c calculated reachability. Time: 0.00
3740.66/938.24	c  N st    83   3713039       125      2662         0     84588     13310   1073966   no data   no data
3786.11/949.68	c  F st    84   3751562       125      2662         0    120495     13310   2015535   no data   no data
3786.11/949.68	c  N st    84   3751562       125      2662         0    120495     13310   2015535   no data   no data
3795.28/951.93	c Decided on static restart strategy
3836.76/962.30	c  N st    94   3779872       125      2662         0    147035     13310   2719187   no data   no data
3882.62/973.82	c  N st    96   3815868       125      2662         0    101642     13310   1514264   no data   no data
3921.29/983.51	c  N st    97   3848260       125      2662         0    132129     13310   2346181   no data   no data
3991.14/1001.07	c  N st    98   3896850       125      2662         0     97368     13310   1378301   no data   no data
4106.35/1029.92	c  N st    99   3969732       125      2662         0     84173     13310   1006213   no data   no data
4247.53/1065.35	c  N st   100   4079057       125      2662         0    104091     13310   1523799   no data   no data
4420.63/1108.78	c  N st   101   4213039       125      2662         0    145545     13310   2559487   no data   no data
4420.63/1108.78	c  S st   101   4213039       125      2662         0    145545     13310   2559487   no data   no data
4422.61/1109.29	c  S st   101   4213540       125      2662         0    146030     13310   2572266   no data   no data
4423.01/1109.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4423.01/1109.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4423.01/1109.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4423.01/1109.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4423.01/1109.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4423.01/1109.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4423.01/1109.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4423.41/1109.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4423.41/1109.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4612.43/1156.82	c lits-rem:      4328  cl-subs:    17789  v-elim:      0  v-fix:    0  time: 47.34 s
4612.43/1156.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4612.43/1156.85	c vivif2 --  cl tried   128241 cl shrink        0 lits rem          0 time: 0.03
4614.07/1157.22	c asymm  cl-useful: 0/949/2662 lits-rem:0 time: 0.37
4614.07/1157.23	c calculated reachability. Time: 0.00
4614.07/1157.23	c  N st   101   4213540       125      2662         0    128241     13310   2140524   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366572-1305408767/watcher-3366572-1305408767 -o /tmp/evaluation-result-3366572-1305408767/solver-3366572-1305408767 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366572-1305408767.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: 7.81 8.04 8.04 5/367 15733
/proc/meminfo: memFree=22819428/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 731107345 52396032 348 33554432000 4194304 4580107 140735541682688 18446744073709551615 47039636404136 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 12792 348 299 95 0 7774 0
[pid=15733/tid=15734] ppid=15731 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 731107345 52396032 352 33554432000 4194304 4580107 140735541682688 18446744073709551615 47039636403731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731107345 52396032 352 33554432000 4194304 4580107 140735541682688 18446744073709551615 47039636404146 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731107346 52396032 352 33554432000 4194304 4580107 140735541682688 18446744073709551615 47039636403735 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.027088 s]
/proc/loadavg: 7.81 8.04 8.04 5/367 15733
/proc/meminfo: memFree=22819428/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=281688 CPUtime=0.07 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) D 15731 15733 15496 0 -1 4202496 910 0 0 0 7 0 0 0 25 0 4 0 731107345 288448512 821 33554432000 4194304 4580107 140735541682688 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 70422 821 362 95 0 65404 0
[pid=15733/tid=15734] ppid=15731 vsize=281688 CPUtime=0.02 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) S 15731 15733 15496 0 -1 4202560 94 0 0 0 2 0 0 0 25 0 4 0 731107345 288448512 821 33554432000 4194304 4580107 140735541682688 18446744073709551615 260905499118 0 0 4096 2 18446604453715049344 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=281688 CPUtime=0.01 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 104 0 0 0 1 0 0 0 25 0 4 0 731107345 288448512 821 33554432000 4194304 4580107 140735541682688 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=281688 CPUtime=0.01 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) D 15731 15733 15496 0 -1 4202560 140 0 0 0 1 0 0 0 25 0 4 0 731107346 288448512 821 33554432000 4194304 4580107 140735541682688 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 281688

[startup+0.117247 s]
/proc/loadavg: 7.81 8.04 8.04 5/367 15733
/proc/meminfo: memFree=22819428/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=281824 CPUtime=0.43 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 1895 0 0 0 43 0 0 0 25 0 4 0 731107345 288587776 1734 33554432000 4194304 4580107 140735541682688 18446744073709551615 4322594 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 70456 1734 376 95 0 65438 0
[pid=15733/tid=15734] ppid=15731 vsize=281824 CPUtime=0.11 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 371 0 0 0 11 0 0 0 25 0 4 0 731107345 288587776 1734 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=281824 CPUtime=0.09 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 394 0 0 0 9 0 0 0 25 0 4 0 731107345 288587776 1734 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=281824 CPUtime=0.1 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 264 0 0 0 10 0 0 0 25 0 4 0 731107346 288587776 1734 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 281824

[startup+0.300214 s]
/proc/loadavg: 7.81 8.04 8.04 5/367 15733
/proc/meminfo: memFree=22819428/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=283420 CPUtime=1.16 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 3063 0 0 0 116 0 0 0 25 0 4 0 731107345 290222080 2283 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 70855 2283 377 95 0 65837 0
[pid=15733/tid=15734] ppid=15731 vsize=283420 CPUtime=0.29 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 677 0 0 0 29 0 0 0 25 0 4 0 731107345 290222080 2283 33554432000 4194304 4580107 140735541682688 18446744073709551615 4342268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=283420 CPUtime=0.28 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 676 0 0 0 28 0 0 0 25 0 4 0 731107345 290222080 2283 33554432000 4194304 4580107 140735541682688 18446744073709551615 4322530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=283420 CPUtime=0.29 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 556 0 0 0 29 0 0 0 25 0 4 0 731107346 290222080 2283 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283420

[startup+0.701141 s]
/proc/loadavg: 7.81 8.04 8.04 5/367 15733
/proc/meminfo: memFree=22819428/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=284812 CPUtime=2.76 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 5538 0 0 0 276 0 0 0 25 0 4 0 731107345 291647488 2627 33554432000 4194304 4580107 140735541682688 18446744073709551615 260905059864 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 71203 2627 377 95 0 66185 0
[pid=15733/tid=15734] ppid=15731 vsize=284812 CPUtime=0.69 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 1329 0 0 0 69 0 0 0 25 0 4 0 731107345 291647488 2627 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=284812 CPUtime=0.68 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 1280 0 0 0 68 0 0 0 25 0 4 0 731107345 291647488 2627 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=284812 CPUtime=0.69 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 1145 0 0 0 69 0 0 0 25 0 4 0 731107346 291647488 2627 33554432000 4194304 4580107 140735541682688 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284812

[startup+1.501 s]
/proc/loadavg: 7.81 8.04 8.04 9/371 15737
/proc/meminfo: memFree=22806872/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=285804 CPUtime=5.95 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 11500 0 0 0 594 1 0 0 25 0 4 0 731107345 292663296 5560 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 71451 5560 379 95 0 66433 0
[pid=15733/tid=15734] ppid=15731 vsize=285804 CPUtime=1.49 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 3447 0 0 0 149 0 0 0 25 0 4 0 731107345 292663296 5560 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=285804 CPUtime=1.46 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 2172 0 0 0 146 0 0 0 25 0 4 0 731107345 292663296 5560 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=285804 CPUtime=1.49 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 2066 0 0 0 149 0 0 0 25 0 4 0 731107346 292663296 5560 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285804

[startup+3.1007 s]
/proc/loadavg: 7.81 8.04 8.04 9/371 15737
/proc/meminfo: memFree=22778228/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=286316 CPUtime=12.33 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 20658 0 0 0 1230 3 0 0 25 0 4 0 731107345 293187584 11008 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 71579 11008 379 95 0 66561 0
[pid=15733/tid=15734] ppid=15731 vsize=286316 CPUtime=3.09 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 4690 0 0 0 309 0 0 0 25 0 4 0 731107345 293187584 11008 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=286316 CPUtime=3.05 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 5072 0 0 0 304 1 0 0 25 0 4 0 731107345 293187584 11008 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=286316 CPUtime=3.09 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 4976 0 0 0 308 1 0 0 25 0 4 0 731107346 293187584 11008 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 286316

[startup+6.30112 s]
/proc/loadavg: 7.83 8.03 8.04 9/371 15737
/proc/meminfo: memFree=22751972/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=296680 CPUtime=25.1 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 32402 0 0 0 2504 6 0 0 25 0 4 0 731107345 303800320 14471 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 74170 14471 379 95 0 69152 0
[pid=15733/tid=15734] ppid=15731 vsize=296680 CPUtime=6.28 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 8089 0 0 0 628 0 0 0 25 0 4 0 731107345 303800320 14471 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=296680 CPUtime=6.21 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 8404 0 0 0 620 1 0 0 25 0 4 0 731107345 303800320 14472 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=296680 CPUtime=6.28 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 7335 0 0 0 627 1 0 0 25 0 4 0 731107346 303800320 14472 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 296680

[startup+12.7009 s]
/proc/loadavg: 7.84 8.03 8.04 9/371 15737
/proc/meminfo: memFree=22733772/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=306952 CPUtime=50.61 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 49684 0 0 0 5052 9 0 0 25 0 4 0 731107345 314318848 19735 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 76738 19735 379 95 0 71720 0
[pid=15733/tid=15734] ppid=15731 vsize=306952 CPUtime=12.68 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 12616 0 0 0 1267 1 0 0 25 0 4 0 731107345 314318848 19735 33554432000 4194304 4580107 140735541682688 18446744073709551615 4298629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=306952 CPUtime=12.53 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 12356 0 0 0 1251 2 0 0 25 0 4 0 731107345 314318848 19735 33554432000 4194304 4580107 140735541682688 18446744073709551615 4306073 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=306952 CPUtime=12.69 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 12286 0 0 0 1266 3 0 0 25 0 4 0 731107346 314318848 19735 33554432000 4194304 4580107 140735541682688 18446744073709551615 4321929 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 306952

[startup+25.5006 s]
/proc/loadavg: 7.95 8.05 8.04 9/371 15738
/proc/meminfo: memFree=22697912/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=288416 CPUtime=101.66 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 75903 0 0 0 10150 16 0 0 25 0 4 0 731107345 295337984 27580 33554432000 4194304 4580107 140735541682688 18446744073709551615 4302561 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 72104 27580 379 95 0 67086 0
[pid=15733/tid=15734] ppid=15731 vsize=288416 CPUtime=25.49 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 19446 0 0 0 2546 3 0 0 25 0 4 0 731107345 295337984 27580 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=288416 CPUtime=25.18 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 19313 0 0 0 2514 4 0 0 25 0 4 0 731107345 295337984 27580 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=288416 CPUtime=25.48 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 18325 0 0 0 2544 4 0 0 25 0 4 0 731107346 295337984 27580 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 288416

[startup+51.1009 s]
/proc/loadavg: 7.97 8.04 8.04 9/371 15738
/proc/meminfo: memFree=22652704/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=300596 CPUtime=203.75 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 111741 0 0 0 20350 25 0 0 25 0 4 0 731107345 307810304 32207 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 75149 32207 379 95 0 70131 0
[pid=15733/tid=15734] ppid=15731 vsize=300596 CPUtime=51.07 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 27268 0 0 0 5103 4 0 0 25 0 4 0 731107345 307810304 32207 33554432000 4194304 4580107 140735541682688 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=300596 CPUtime=50.47 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 29399 0 0 0 5041 6 0 0 25 0 4 0 731107345 307810304 32207 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=300596 CPUtime=51.08 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 27346 0 0 0 5101 7 0 0 25 0 4 0 731107346 307810304 32207 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 300596

[startup+102.314 s]
/proc/loadavg: 8.04 8.05 8.04 9/371 15740
/proc/meminfo: memFree=22612472/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=281012 CPUtime=408 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 170981 0 0 0 40757 43 0 0 25 0 4 0 731107345 287756288 38837 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 70253 38837 379 95 0 65235 0
[pid=15733/tid=15734] ppid=15731 vsize=281012 CPUtime=102.28 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 41765 0 0 0 10220 8 0 0 25 0 4 0 731107345 287756288 38837 33554432000 4194304 4580107 140735541682688 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=281012 CPUtime=101.08 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 43205 0 0 0 10098 10 0 0 25 0 4 0 731107345 287756288 38837 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=281012 CPUtime=102.3 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 43261 0 0 0 10217 13 0 0 25 0 4 0 731107346 287756288 38837 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 281012

[startup+162.301 s]

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

[pid=15733] ppid=15731 vsize=573732 CPUtime=2799.86 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 510062 0 0 0 279826 160 0 0 25 0 4 0 731107345 587501568 108495 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 143433 108495 379 95 0 138415 0
[pid=15733/tid=15734] ppid=15731 vsize=573732 CPUtime=702.17 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 132033 0 0 0 70180 37 0 0 25 0 4 0 731107345 587501568 108495 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=573732 CPUtime=693.04 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 136167 0 0 0 69258 46 0 0 25 0 4 0 731107345 587501568 108495 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=573732 CPUtime=702.3 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 118566 0 0 0 70191 39 0 0 25 0 4 0 731107346 587501568 108495 33554432000 4194304 4580107 140735541682688 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.86
Current children cumulated vsize (KiB) 573732

[startup+762.314 s]
/proc/loadavg: 8.12 8.13 8.09 9/371 15791
/proc/meminfo: memFree=22573724/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=639624 CPUtime=3039.18 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 542199 0 0 0 303748 170 0 0 25 0 4 0 731107345 654974976 115536 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 159906 115536 379 95 0 154888 0
[pid=15733/tid=15734] ppid=15731 vsize=639624 CPUtime=762.17 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 140177 0 0 0 76177 40 0 0 25 0 4 0 731107345 654974976 115536 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=639624 CPUtime=752.35 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 145086 0 0 0 75186 49 0 0 25 0 4 0 731107345 654974976 115536 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=639624 CPUtime=762.32 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 127348 0 0 0 76191 41 0 0 25 0 4 0 731107346 654974976 115536 33554432000 4194304 4580107 140735541682688 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.18
Current children cumulated vsize (KiB) 639624

[startup+822.301 s]
/proc/loadavg: 8.13 8.13 8.09 9/371 15793
/proc/meminfo: memFree=22540308/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=639876 CPUtime=3278.42 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 572804 0 0 0 327661 181 0 0 25 0 4 0 731107345 655233024 118298 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 159969 118298 379 95 0 154951 0
[pid=15733/tid=15734] ppid=15731 vsize=639876 CPUtime=822.15 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 147172 0 0 0 82172 43 0 0 25 0 4 0 731107345 655233024 118298 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=639876 CPUtime=811.63 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 155554 0 0 0 81111 52 0 0 25 0 4 0 731107345 655233024 118298 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=639876 CPUtime=822.31 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 133066 0 0 0 82188 43 0 0 25 0 4 0 731107346 655233024 118298 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.42
Current children cumulated vsize (KiB) 639876

[startup+882.301 s]
/proc/loadavg: 8.08 8.12 8.09 9/371 15795
/proc/meminfo: memFree=22553024/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=653876 CPUtime=3517.71 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 595362 0 0 0 351582 189 0 0 25 0 4 0 731107345 669569024 117252 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 163469 117252 379 95 0 158451 0
[pid=15733/tid=15734] ppid=15731 vsize=653876 CPUtime=882.14 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 151134 0 0 0 88170 44 0 0 25 0 4 0 731107345 669569024 117252 33554432000 4194304 4580107 140735541682688 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=653876 CPUtime=870.91 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 162113 0 0 0 87037 54 0 0 25 0 4 0 731107345 669569024 117252 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=653876 CPUtime=882.31 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 136732 0 0 0 88186 45 0 0 25 0 4 0 731107346 669569024 117252 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.71
Current children cumulated vsize (KiB) 653876

[startup+942.301 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 15796
/proc/meminfo: memFree=22543664/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=615236 CPUtime=3756.99 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 619085 0 0 0 375503 196 0 0 25 0 4 0 731107345 630001664 120755 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 153809 120755 379 95 0 148791 0
[pid=15733/tid=15734] ppid=15731 vsize=615236 CPUtime=942.13 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 159329 0 0 0 94166 47 0 0 25 0 4 0 731107345 630001664 120755 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=615236 CPUtime=930.21 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 169188 0 0 0 92965 56 0 0 25 0 4 0 731107345 630001664 120755 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=615236 CPUtime=942.32 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 140722 0 0 0 94185 47 0 0 25 0 4 0 731107346 630001664 120755 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.99
Current children cumulated vsize (KiB) 615236

[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/371 15798
/proc/meminfo: memFree=22519048/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=655012 CPUtime=3996.27 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 648750 0 0 0 399422 205 0 0 25 0 4 0 731107345 670732288 123327 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 163753 123327 379 95 0 158735 0
[pid=15733/tid=15734] ppid=15731 vsize=655012 CPUtime=1002.13 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 166916 0 0 0 100164 49 0 0 25 0 4 0 731107345 670732288 123327 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=655012 CPUtime=989.5 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 175800 0 0 0 98892 58 0 0 25 0 4 0 731107345 670732288 123327 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=655012 CPUtime=1002.31 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 149139 0 0 0 100182 49 0 0 25 0 4 0 731107346 670732288 123327 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.27
Current children cumulated vsize (KiB) 655012

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/371 15799
/proc/meminfo: memFree=22478680/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=720712 CPUtime=4235.57 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 665824 0 0 0 423344 213 0 0 25 0 4 0 731107345 738009088 126016 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 180178 126016 379 95 0 175160 0
[pid=15733/tid=15734] ppid=15731 vsize=720712 CPUtime=1062.11 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 173711 0 0 0 106160 51 0 0 25 0 4 0 731107345 738009088 126016 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=720712 CPUtime=1048.79 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 180707 0 0 0 104819 60 0 0 25 0 4 0 731107345 738009088 126016 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=720712 CPUtime=1062.31 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 151006 0 0 0 106181 50 0 0 25 0 4 0 731107346 738009088 126016 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.57
Current children cumulated vsize (KiB) 720712

[startup+1122.3 s]
/proc/loadavg: 8.24 8.14 8.10 9/371 15801
/proc/meminfo: memFree=22465856/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=655836 CPUtime=4474.84 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 687311 0 0 0 447264 220 0 0 25 0 4 0 731107345 671576064 129844 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 163959 129844 379 95 0 158941 0
[pid=15733/tid=15734] ppid=15731 vsize=655836 CPUtime=1122.1 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 174748 0 0 0 112158 52 0 0 25 0 4 0 731107345 671576064 129844 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=655836 CPUtime=1108.07 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 187343 0 0 0 110745 62 0 0 25 0 4 0 731107345 671576064 129844 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=655836 CPUtime=1122.32 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 157815 0 0 0 112179 53 0 0 25 0 4 0 731107346 671576064 129844 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.84
Current children cumulated vsize (KiB) 655836

[startup+1182.3 s]
/proc/loadavg: 8.09 8.12 8.09 9/371 15803
/proc/meminfo: memFree=22452660/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=725392 CPUtime=4714.12 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 704438 0 0 0 471184 228 0 0 25 0 4 0 731107345 742801408 127985 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 181348 127985 379 95 0 176330 0
[pid=15733/tid=15734] ppid=15731 vsize=725392 CPUtime=1182.09 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 178817 0 0 0 118155 54 0 0 25 0 4 0 731107345 742801408 127985 33554432000 4194304 4580107 140735541682688 18446744073709551615 4340648 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=725392 CPUtime=1167.36 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 194085 0 0 0 116671 65 0 0 25 0 4 0 731107345 742801408 127985 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=725392 CPUtime=1182.32 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 161094 0 0 0 118177 55 0 0 25 0 4 0 731107346 742801408 127985 33554432000 4194304 4580107 140735541682688 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.12
Current children cumulated vsize (KiB) 725392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.06 8.11 8.09 9/371 15803
/proc/meminfo: memFree=22450896/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=693968 CPUtime=4800.28 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 714530 0 0 0 479796 232 0 0 25 0 4 0 731107345 710623232 127528 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 173492 127528 379 95 0 168474 0
[pid=15733/tid=15734] ppid=15731 vsize=693968 CPUtime=1203.7 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 181466 0 0 0 120315 55 0 0 25 0 4 0 731107345 710623232 127529 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=693968 CPUtime=1188.7 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 199433 0 0 0 118803 67 0 0 25 0 4 0 731107345 710623232 127529 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=693968 CPUtime=1203.94 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 161791 0 0 0 120338 56 0 0 25 0 4 0 731107346 710623232 127529 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 693968

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

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

[startup+1203.9 s]
/proc/loadavg: 8.06 8.11 8.09 9/371 15803
/proc/meminfo: memFree=22450896/32950928 swapFree=65730864/67111528
[pid=15733] ppid=15731 vsize=693968 CPUtime=4800.28 cores=0,2,4,6
/proc/15733/stat : 15733 (strangenight2-m) R 15731 15733 15496 0 -1 4202496 714530 0 0 0 479796 232 0 0 25 0 4 0 731107345 710623232 127528 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15733/statm: 173492 127528 379 95 0 168474 0
[pid=15733/tid=15734] ppid=15731 vsize=693968 CPUtime=1203.7 cores=0,2,4,6
/proc/15733/task/15734/stat : 15734 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 181466 0 0 0 120315 55 0 0 25 0 4 0 731107345 710623232 127529 33554432000 4194304 4580107 140735541682688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15733/tid=15735] ppid=15731 vsize=693968 CPUtime=1188.7 cores=0,2,4,6
/proc/15733/task/15735/stat : 15735 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 199433 0 0 0 118803 67 0 0 25 0 4 0 731107345 710623232 127529 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15733/tid=15736] ppid=15731 vsize=693968 CPUtime=1203.94 cores=0,2,4,6
/proc/15733/task/15736/stat : 15736 (strangenight2-m) R 15731 15733 15496 0 -1 4202560 161791 0 0 0 120338 56 0 0 25 0 4 0 731107346 710623232 127529 33554432000 4194304 4580107 140735541682688 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 693968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.35
CPU user time (s): 4798.01
CPU system time (s): 2.34564
CPU usage (%): 398.719
Max. virtual memory (cumulated for all children) (KiB): 781360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.01
system time used= 2.34564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714531
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= 464
involuntary context switches= 33735

runsolver used 4.18736 second user time and 10.2154 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 23:32:47
IDJOB=3366572
IDBENCH=82981
IDSOLVER=1844
FILE ID=node116/3366572-1305408767
RUNJOBID= node116-1305406355-15514
PBS_JOBID= 13324511
Free space on /tmp= 73132 MiB

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

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

MD5SUM BENCH= 74a1475d318f4f1a9026a9771426aa49
RANDOM SEED=1294514668

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22819584 kB
Buffers:         37624 kB
Cached:         111332 kB
SwapCached:      12356 kB
Active:        9869044 kB
Inactive:        54852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22819584 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:     9772680 kB
Mapped:          16336 kB
Slab:            96476 kB
PageTables:      45292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 83366900 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= 73124 MiB
End job on node116 at 2011-05-14 23:52:53