Trace number 3366339

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.3 1203.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
MD5SUM8d71ad1b25bd6c4021d51959610734bb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3366339-1305402060.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.03/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.03/0.01	c -- vars added        100
0.03/0.01	c Parsing time:  0.00 s
0.03/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.03/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.03/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.03/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.03/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.03/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.03/0.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.03/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.03/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.03/0.06	c calculated reachability. Time: 0.00
0.03/0.06	c Calc default polars -  time:   0.00 s pos:      54 undec:       5 neg:      41
0.03/0.06	c =========================================================================================
0.03/0.06	c types(t): F = full restart, N = normal restart
0.03/0.06	c types(t): S = simplification begin/end, E = solution found
0.03/0.06	c restart types(rt): st = static, dy = dynamic
0.03/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.03/0.06	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.03/0.06	c Decided on static restart strategy
3.17/0.85	c  N st     8      4915       100      2130         0      4579     10650    101263   no data   no data
3.17/0.85	c  N st    10     11298       100      2130         0      4238     10650     74183   no data   no data
3.17/0.85	c  N st    11     17043       100      2130         0      9559     10650    188427   no data   no data
3.17/0.85	c  F st    12     25000       100      2130         0     11772     10650    240390   no data   no data
3.17/0.85	c  N st    12     25000       100      2130         0     11772     10650    240390   no data   no data
3.98/1.06	c Decided on static restart strategy
3.98/1.06	c  N st    18     30002       100      2130         0     10102     10650    190224   no data   no data
3.98/1.06	c  S st    18     30002       100      2130         0     10102     10650    190224   no data   no data
3.98/1.06	c  S st    18     30505       100      2130         0     10592     10650    201044   no data   no data
3.98/1.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.06	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.74/1.26	c lits-rem:       269  cl-subs:     1708  v-elim:      0  v-fix:    0  time:  0.16 s
4.74/1.26	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.74/1.26	c calculated reachability. Time: 0.00
4.74/1.26	c  N st    18     30505       100      2130         0      8884     10650    163473   no data   no data
5.95/1.54	c  N st    20     37616       100      2130         0      8173     10650    134964   no data   no data
7.15/1.84	c  N st    21     44015       100      2130         0     14140     10650    268398   no data   no data
7.55/1.93	c  S st    22     45757       100      2130         0     15750     10650    302948   no data   no data
7.55/1.98	c  S st    22     46261       100      2130         0     16235     10650    313670   no data   no data
7.55/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.55/1.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.55/1.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.55/1.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.55/1.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.55/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.13/2.36	c lits-rem:       439  cl-subs:     1958  v-elim:      0  v-fix:    0  time:  0.37 s
9.13/2.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.13/2.37	c vivif2 --  cl tried    14277 cl shrink        0 lits rem          0 time: 0.00
9.53/2.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.53/2.42	c calculated reachability. Time: 0.00
9.53/2.42	c  N st    22     46261       100      2130         0     14277     10650    269220   no data   no data
12.34/3.17	c  N st    23     60658       100      2130         0     10142     10650    155000   no data   no data
14.33/3.67	c  N st    24     69392       100      2130         0     18208     10650    333796   no data   no data
14.33/3.67	c  S st    24     69392       100      2130         0     18208     10650    333796   no data   no data
14.73/3.72	c  S st    24     69902       100      2130         0     18704     10650    344490   no data   no data
14.73/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.73/3.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.73/3.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.73/3.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.73/3.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.73/3.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.25	c lits-rem:       407  cl-subs:     2329  v-elim:      0  v-fix:    0  time:  0.51 s
16.73/4.25	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.73/4.25	c vivif2 --  cl tried    16375 cl shrink        0 lits rem          0 time: 0.00
17.15/4.31	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
17.15/4.31	c calculated reachability. Time: 0.00
17.15/4.31	c  N st    24     69902       100      2130         0     16375     10650    293784   no data   no data
21.11/5.36	c  F st    25     87501       100      2130         0     11546     10650    169823   no data   no data
21.11/5.36	c  N st    25     87501       100      2130         0     11546     10650    169823   no data   no data
22.30/5.64	c Decided on static restart strategy
23.10/5.85	c  N st    32     95542       100      2130         0     19034     10650    333380   no data   no data
25.50/6.47	c  N st    34    104853       100      2130         0     15617     10650    253928   no data   no data
25.50/6.47	c  S st    34    104853       100      2130         0     15617     10650    253928   no data   no data
25.93/6.51	c  S st    34    105360       100      2130         0     16099     10650    265176   no data   no data
25.93/6.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.93/6.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.93/6.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.93/6.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.93/6.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.93/6.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.93/6.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.93/6.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.93/6.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.69	c lits-rem:       219  cl-subs:     1171  v-elim:      0  v-fix:    0  time:  0.16 s
26.34/6.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
26.34/6.69	c vivif2 --  cl tried    14928 cl shrink        0 lits rem          0 time: 0.00
26.69/6.75	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
26.69/6.75	c calculated reachability. Time: 0.00
26.69/6.75	c  N st    34    105360       100      2130         0     14928     10650    240012   no data   no data
29.48/7.41	c  N st    35    114959       100      2130         0     23783     10650    432569   no data   no data
33.08/8.34	c  N st    36    129357       100      2130         0     24192     10650    428540   no data   no data
39.09/9.85	c  N st    37    150956       100      2130         0     15471     10650    211546   no data   no data
41.05/10.31	c  S st    38    158043       100      2130         0     21957     10650    351231   no data   no data
41.05/10.36	c  S st    38    158544       100      2130         0     22435     10650    361839   no data   no data
41.05/10.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.05/10.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
41.05/10.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.05/10.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.05/10.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.05/10.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
41.05/10.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.05/10.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
41.05/10.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.05/10.85	c lits-rem:       404  cl-subs:     2285  v-elim:      0  v-fix:    0  time:  0.46 s
43.05/10.85	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
43.05/10.85	c vivif2 --  cl tried    20150 cl shrink        0 lits rem          0 time: 0.00
43.48/10.92	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
43.48/10.93	c calculated reachability. Time: 0.00
43.48/10.93	c  N st    38    158544       100      2130         0     20150     10650    314938   no data   no data
59.01/14.80	c  N st    39    207135       100      2130         0     32873     10650    566373   no data   no data
69.38/17.48	c  N st    40    237816       100      2130         0     25166     10650    382788   no data   no data
69.38/17.48	c  S st    40    237816       100      2130         0     25166     10650    382788   no data   no data
69.81/17.54	c  S st    40    238320       100      2130         0     25651     10650    393691   no data   no data
69.81/17.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.81/17.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.81/17.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.81/17.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.81/17.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.81/17.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.81/17.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.81/17.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.81/17.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.77/18.05	c lits-rem:       357  cl-subs:     2224  v-elim:      0  v-fix:    0  time:  0.49 s
71.77/18.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.77/18.06	c vivif2 --  cl tried    23427 cl shrink        0 lits rem          0 time: 0.00
72.17/18.14	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
72.17/18.14	c calculated reachability. Time: 0.00
72.17/18.14	c  N st    40    238320       100      2130         0     23427     10650    350374   no data   no data
95.31/23.98	c  F st    41    306250       100      2130         0     25346     10650    358015   no data   no data
95.31/23.98	c  N st    41    306250       100      2130         0     25346     10650    358015   no data   no data
97.30/24.44	c Decided on static restart strategy
106.47/26.76	c  N st    51    334558       100      2130         0     29471     10650    438143   no data   no data
115.25/28.91	c  N st    53    357482       100      2130         0     27558     10650    381495   no data   no data
115.25/28.91	c  S st    53    357482       100      2130         0     27558     10650    381495   no data   no data
115.25/28.98	c  S st    53    357985       100      2130         0     28038     10650    392041   no data   no data
115.25/28.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
115.25/28.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
115.25/28.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.25/28.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
115.25/28.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.25/28.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
115.25/28.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.65/29.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
115.65/29.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.45/29.29	c lits-rem:       223  cl-subs:     1225  v-elim:      0  v-fix:    0  time:  0.28 s
116.45/29.29	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
116.45/29.29	c vivif2 --  cl tried    26813 cl shrink        0 lits rem          0 time: 0.00
116.85/29.39	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
116.85/29.39	c calculated reachability. Time: 0.00
116.85/29.39	c  N st    53    357985       100      2130         0     26813     10650    366629   no data   no data
130.02/32.63	c  N st    54    390377       100      2130         0     32752     10650    483587   no data   no data
152.35/38.24	c  N st    55    438965       100      2130         0     26777     10650    330887   no data   no data
183.06/45.91	c  N st    56    511848       100      2130         0     39498     10650    590729   no data   no data
194.22/48.74	c  N st    57    536977       100      2130         0     34142     10650    457913   no data   no data
194.22/48.74	c  S st    57    536977       100      2130         0     34142     10650    457913   no data   no data
194.62/48.83	c  S st    57    537484       100      2130         0     34632     10650    469159   no data   no data
194.62/48.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
194.62/48.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
194.62/48.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
194.62/48.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
194.62/48.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
194.62/48.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
194.62/48.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
194.62/48.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
194.62/48.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.61/49.30	c lits-rem:       185  cl-subs:     1625  v-elim:      0  v-fix:    0  time:  0.44 s
196.61/49.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
196.61/49.31	c vivif2 --  cl tried    33007 cl shrink        0 lits rem          0 time: 0.00
197.04/49.43	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
197.04/49.43	c calculated reachability. Time: 0.00
197.04/49.43	c  N st    57    537484       100      2130         0     33007     10650    437222   no data   no data
279.19/70.01	c  N st    58    701469       100      2130         0     60191     10650    938114   no data   no data
336.23/84.33	c  N st    59    806226       100      2130         0     54877     10650    828088   no data   no data
336.23/84.33	c  S st    59    806226       100      2130         0     54877     10650    828088   no data   no data
336.63/84.47	c  S st    59    806728       100      2130         0     55358     10650    838883   no data   no data
336.63/84.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
336.63/84.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
336.63/84.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
336.63/84.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
336.63/84.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
336.63/84.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
336.63/84.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
337.03/84.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
337.03/84.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
348.99/87.53	c lits-rem:      1164  cl-subs:     5796  v-elim:      0  v-fix:    0  time:  3.00 s
348.99/87.53	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
348.99/87.54	c vivif2 --  cl tried    49562 cl shrink        0 lits rem          0 time: 0.01
349.79/87.77	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
349.79/87.77	c calculated reachability. Time: 0.00
349.79/87.77	c  N st    59    806728       100      2130         0     49562     10650    725698   no data   no data
514.52/129.04	c  F st    60   1071875       100      2130         0     64368     10650    954451   no data   no data
514.52/129.04	c  N st    60   1071875       100      2130         0     64368     10650    954451   no data   no data
518.50/130.01	c Decided on static restart strategy
535.30/134.29	c  N st    70   1100183       100      2130         0     49298     10650    640222   no data   no data
562.36/141.01	c  N st    72   1136176       100      2130         0     82405     10650   1364509   no data   no data
583.56/146.37	c  N st    73   1168568       100      2130         0     69857     10650   1064209   no data   no data
617.02/154.72	c  N st    74   1210092       100      2130         0     64640     10650    913450   no data   no data
617.02/154.72	c  S st    74   1210092       100      2130         0     64640     10650    913450   no data   no data
617.82/154.98	c  S st    74   1210593       100      2130         0     65116     10650    924446   no data   no data
617.82/154.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
617.82/155.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
617.82/155.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.82/155.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
617.82/155.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
617.82/155.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
617.82/155.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
618.24/155.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
618.24/155.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
652.11/163.53	c lits-rem:       954  cl-subs:     7872  v-elim:      0  v-fix:    0  time:  8.48 s
652.11/163.53	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
652.11/163.55	c vivif2 --  cl tried    57244 cl shrink        0 lits rem          0 time: 0.01
654.10/164.01	c asymm  cl-useful: 0/1927/2130 lits-rem:0 time: 0.47
654.10/164.02	c calculated reachability. Time: 0.00
654.10/164.02	c  N st    74   1210593       100      2130         0     57244     10650    777967   no data   no data
709.95/178.02	c  N st    75   1283475       100      2130         0     80277     10650   1242135   no data   no data
798.11/200.17	c  N st    76   1392798       100      2130         0     89806     10650   1426684   no data   no data
915.73/229.63	c  N st    77   1556782       100      2130         0     97939     10650   1642389   no data   no data
1038.19/260.37	c  N st    78   1710593       100      2130         0     87612     10650   1342321   no data   no data
1038.19/260.37	c  S st    78   1710593       100      2130         0     87612     10650   1342321   no data   no data
1039.42/260.62	c  S st    78   1711096       100      2130         0     88087     10650   1353236   no data   no data
1039.42/260.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1039.42/260.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1039.42/260.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1039.42/260.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1039.42/260.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1039.42/260.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1039.42/260.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1039.42/260.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1039.83/260.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1092.05/273.86	c lits-rem:      2019  cl-subs:    11049  v-elim:      0  v-fix:    0  time: 13.13 s
1092.05/273.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1092.05/273.88	c vivif2 --  cl tried    77038 cl shrink        0 lits rem          0 time: 0.02
1094.41/274.43	c asymm  cl-useful: 0/1472/2130 lits-rem:0 time: 0.55
1094.41/274.43	c calculated reachability. Time: 0.00
1094.41/274.43	c  N st    78   1711096       100      2130         0     77038     10650   1138026   no data   no data
1447.39/362.93	c  N st    79   2080060       100      2130         0     87976     10650   1251355   no data   no data
1572.21/394.26	c  N st    80   2211098       100      2130         0     91947     10650   1330622   no data   no data
1572.21/394.26	c  S st    80   2211098       100      2130         0     91947     10650   1330622   no data   no data
1573.40/394.55	c  S st    80   2211601       100      2130         0     92429     10650   1341870   no data   no data
1573.40/394.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1573.80/394.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1573.80/394.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1573.80/394.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1573.80/394.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1573.80/394.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1573.80/394.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1573.80/394.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1573.80/394.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1618.51/405.87	c lits-rem:      1592  cl-subs:    12277  v-elim:      0  v-fix:    0  time: 11.21 s
1618.51/405.87	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1618.51/405.89	c vivif2 --  cl tried    80152 cl shrink        0 lits rem          0 time: 0.02
1619.27/406.05	c asymm  cl-useful: 0/658/2130 lits-rem:0 time: 0.16
1619.27/406.05	c calculated reachability. Time: 0.00
1619.27/406.05	c  N st    80   2211601       100      2130         0     80152     10650   1108002   no data   no data
2168.84/543.80	c  N st    81   2711602       100      2130         0    103354     10650   1517950   no data   no data
2168.84/543.80	c  S st    81   2711602       100      2130         0    103354     10650   1517950   no data   no data
2170.04/544.12	c  S st    81   2712108       100      2130         0    103828     10650   1529195   no data   no data
2170.04/544.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2170.04/544.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2170.04/544.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2170.04/544.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2170.04/544.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2170.04/544.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2170.04/544.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2170.44/544.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2170.44/544.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2221.49/557.01	c lits-rem:      1526  cl-subs:    11848  v-elim:      0  v-fix:    0  time: 12.76 s
2221.49/557.01	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2221.49/557.03	c vivif2 --  cl tried    91980 cl shrink        0 lits rem          0 time: 0.02
2222.69/557.35	c asymm  cl-useful: 0/1315/2130 lits-rem:0 time: 0.32
2222.69/557.36	c calculated reachability. Time: 0.00
2222.69/557.36	c  N st    81   2712108       100      2130         0     91980     10650   1305489   no data   no data
2837.30/711.45	c  N st    82   3212108       100      2130         0    141378     10650   2269773   no data   no data
2837.30/711.45	c  S st    82   3212108       100      2130         0    141378     10650   2269773   no data   no data
2839.29/711.96	c  S st    82   3212612       100      2130         0    141847     10650   2280422   no data   no data
2839.29/711.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2839.69/712.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2839.69/712.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2839.69/712.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2839.69/712.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2839.69/712.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2839.69/712.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2839.69/712.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2840.09/712.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3019.95/757.23	c lits-rem:      3004  cl-subs:    23866  v-elim:      0  v-fix:    0  time: 45.08 s
3019.95/757.23	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3019.95/757.26	c vivif2 --  cl tried   117981 cl shrink        0 lits rem          0 time: 0.03
3021.55/757.62	c asymm  cl-useful: 0/815/2130 lits-rem:0 time: 0.36
3021.55/757.62	c calculated reachability. Time: 0.00
3021.55/757.62	c  N st    82   3212612       100      2130         0    117981     10650   1838609   no data   no data
3596.23/901.79	c  N st    83   3712614       100      2130         0    135105     10650   2064035   no data   no data
3596.23/901.79	c  S st    83   3712614       100      2130         0    135105     10650   2064035   no data   no data
3598.22/902.28	c  S st    83   3713117       100      2130         0    135584     10650   2075214   no data   no data
3598.22/902.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3598.62/902.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3598.62/902.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3598.62/902.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3598.62/902.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3598.62/902.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3598.62/902.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3598.62/902.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3599.02/902.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3746.63/939.41	c lits-rem:      2012  cl-subs:    22175  v-elim:      0  v-fix:    0  time: 36.97 s
3746.63/939.41	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3746.63/939.44	c vivif2 --  cl tried   113409 cl shrink        0 lits rem          0 time: 0.03
3748.18/939.80	c asymm  cl-useful: 0/1044/2130 lits-rem:0 time: 0.36
3748.18/939.80	c calculated reachability. Time: 0.00
3748.18/939.80	c  N st    83   3713117       100      2130         0    113409     10650   1654078   no data   no data
3794.04/951.38	c  F st    84   3751562       100      2130         0    148786     10650   2456304   no data   no data
3794.04/951.38	c  N st    84   3751562       100      2130         0    148786     10650   2456304   no data   no data
3804.40/953.93	c Decided on static restart strategy
3827.54/959.78	c  N st    94   3779867       100      2130         0     98983     10650   1307214   no data   no data
3875.01/971.66	c  N st    96   3815859       100      2130         0    131781     10650   1997197   no data   no data
3922.12/983.43	c  N st    97   3848253       100      2130         0     84432     10650    969291   no data   no data
3975.49/996.89	c  N st    98   3896841       100      2130         0    128884     10650   1937763   no data   no data
4096.34/1027.13	c  N st    99   3969723       100      2130         0    117298     10650   1663033   no data   no data
4249.49/1065.53	c  N st   100   4079047       100      2130         0    137607     10650   2070031   no data   no data
4449.68/1115.75	c  N st   101   4213117       100      2130         0     98606     10650   1233351   no data   no data
4449.68/1115.75	c  S st   101   4213117       100      2130         0     98606     10650   1233351   no data   no data
4451.28/1116.19	c  S st   101   4213620       100      2130         0     99088     10650   1244790   no data   no data
4451.68/1116.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4451.68/1116.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4451.68/1116.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4451.68/1116.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4451.68/1116.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4451.68/1116.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4451.68/1116.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4451.68/1116.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4452.08/1116.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4478.00/1122.84	c lits-rem:       605  cl-subs:     4783  v-elim:      0  v-fix:    0  time:  6.51 s
4478.00/1122.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4478.00/1122.86	c vivif2 --  cl tried    94305 cl shrink        0 lits rem          0 time: 0.02
4479.99/1123.32	c asymm  cl-useful: 0/1086/2130 lits-rem:0 time: 0.46
4479.99/1123.33	c calculated reachability. Time: 0.00
4479.99/1123.33	c  N st   101   4213620       100      2130         0     94305     10650   1149120   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-3366339-1305402060/watcher-3366339-1305402060 -o /tmp/evaluation-result-3366339-1305402060/solver-3366339-1305402060 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366339-1305402060.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.12 8.14 8.09 7/360 18564
/proc/meminfo: memFree=18697512/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 4 0 632621825 52396032 347 33554432000 4194304 4580107 140736583129408 18446744073709551615 47435941791670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 12792 347 299 95 0 7774 0
[pid=18564/tid=18565] ppid=18562 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632621825 52396032 347 33554432000 4194304 4580107 140736583129408 18446744073709551615 47435941791666 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632621825 52396032 347 33554432000 4194304 4580107 140736583129408 18446744073709551615 47435941791666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632621825 52396032 347 33554432000 4194304 4580107 140736583129408 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0147531 s]
/proc/loadavg: 8.12 8.14 8.09 7/360 18564
/proc/meminfo: memFree=18697512/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=281564 CPUtime=0.03 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 640 0 0 0 3 0 0 0 18 0 4 0 632621825 288321536 558 33554432000 4194304 4580107 140736583129408 18446744073709551615 233509994251 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 70391 565 336 95 0 65373 0
[pid=18564/tid=18565] ppid=18562 vsize=281564 CPUtime=0.01 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 60 0 0 0 1 0 0 0 18 0 4 0 632621825 288321536 565 33554432000 4194304 4580107 140736583129408 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=281564 CPUtime=0 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 63 0 0 0 0 0 0 0 18 0 4 0 632621825 288321536 566 33554432000 4194304 4580107 140736583129408 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=281564 CPUtime=0 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 63 0 0 0 0 0 0 0 25 0 4 0 632621825 288321536 568 33554432000 4194304 4580107 140736583129408 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 281564

[startup+0.163715 s]
/proc/loadavg: 8.12 8.14 8.09 7/360 18564
/proc/meminfo: memFree=18697512/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=283228 CPUtime=0.62 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 2201 0 0 0 62 0 0 0 18 0 4 0 632621825 290025472 1569 33554432000 4194304 4580107 140736583129408 18446744073709551615 4321284 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 70807 1569 376 95 0 65789 0
[pid=18564/tid=18565] ppid=18562 vsize=283228 CPUtime=0.15 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 455 0 0 0 15 0 0 0 18 0 4 0 632621825 290025472 1569 33554432000 4194304 4580107 140736583129408 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=283228 CPUtime=0.15 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 517 0 0 0 15 0 0 0 18 0 4 0 632621825 290025472 1569 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=283228 CPUtime=0.14 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 364 0 0 0 14 0 0 0 25 0 4 0 632621825 290025472 1569 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 283228

[startup+0.300691 s]
/proc/loadavg: 8.12 8.14 8.09 7/360 18564
/proc/meminfo: memFree=18697512/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=283508 CPUtime=1.17 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 2874 0 0 0 117 0 0 0 18 0 4 0 632621825 290312192 2040 33554432000 4194304 4580107 140736583129408 18446744073709551615 4319507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 70877 2040 377 95 0 65859 0
[pid=18564/tid=18565] ppid=18562 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 704 0 0 0 29 0 0 0 18 0 4 0 632621825 290312192 2040 33554432000 4194304 4580107 140736583129408 18446744073709551615 4321235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 663 0 0 0 29 0 0 0 18 0 4 0 632621825 290312192 2040 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=283508 CPUtime=0.28 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 491 0 0 0 28 0 0 0 25 0 4 0 632621825 290312192 2040 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294624 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) 283508

[startup+0.700619 s]
/proc/loadavg: 8.12 8.14 8.09 7/360 18564
/proc/meminfo: memFree=18697512/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=284608 CPUtime=2.77 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 4968 0 0 0 276 1 0 0 18 0 4 0 632621825 291438592 2531 33554432000 4194304 4580107 140736583129408 18446744073709551615 4324379 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 71152 2531 377 95 0 66134 0
[pid=18564/tid=18565] ppid=18562 vsize=284608 CPUtime=0.69 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 1145 0 0 0 69 0 0 0 18 0 4 0 632621825 291438592 2531 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=284608 CPUtime=0.69 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 1208 0 0 0 69 0 0 0 18 0 4 0 632621825 291438592 2531 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=284608 CPUtime=0.68 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 1041 0 0 0 68 0 0 0 25 0 4 0 632621825 291438592 2531 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294974 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) 284608

[startup+1.50048 s]
/proc/loadavg: 8.12 8.14 8.09 12/364 18568
/proc/meminfo: memFree=18679376/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=290508 CPUtime=5.95 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 10201 0 0 0 593 2 0 0 20 0 4 0 632621825 297480192 5373 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 72627 5373 379 95 0 67609 0
[pid=18564/tid=18565] ppid=18562 vsize=290508 CPUtime=1.49 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 2975 0 0 0 149 0 0 0 20 0 4 0 632621825 297480192 5373 33554432000 4194304 4580107 140736583129408 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=290508 CPUtime=1.49 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 2033 0 0 0 149 0 0 0 19 0 4 0 632621825 297480192 5373 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=290508 CPUtime=1.46 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 1819 0 0 0 146 0 0 0 25 0 4 0 632621825 297480192 5373 33554432000 4194304 4580107 140736583129408 18446744073709551615 4306008 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290508

[startup+3.10019 s]
/proc/loadavg: 8.11 8.14 8.09 9/364 18568
/proc/meminfo: memFree=18635876/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=293672 CPUtime=12.34 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 17918 0 0 0 1231 3 0 0 25 0 4 0 632621825 300720128 9769 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 73418 9769 379 95 0 68400 0
[pid=18564/tid=18565] ppid=18562 vsize=293672 CPUtime=3.08 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 4022 0 0 0 308 0 0 0 25 0 4 0 632621825 300720128 9769 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=293672 CPUtime=3.08 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 4930 0 0 0 308 0 0 0 25 0 4 0 632621825 300720128 9769 33554432000 4194304 4580107 140736583129408 18446744073709551615 4318592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=293672 CPUtime=3.05 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 4033 0 0 0 305 0 0 0 25 0 4 0 632621825 300720128 9769 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293672

[startup+6.30062 s]
/proc/loadavg: 8.11 8.14 8.09 9/364 18568
/proc/meminfo: memFree=18613936/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=303660 CPUtime=25.1 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 27832 0 0 0 2506 4 0 0 25 0 4 0 632621825 310947840 12690 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 75915 12690 379 95 0 70897 0
[pid=18564/tid=18565] ppid=18562 vsize=303660 CPUtime=6.29 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 7048 0 0 0 628 1 0 0 25 0 4 0 632621825 310947840 12690 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=303660 CPUtime=6.28 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 7554 0 0 0 628 0 0 0 25 0 4 0 632621825 310947840 12690 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=303660 CPUtime=6.22 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 6129 0 0 0 622 0 0 0 25 0 4 0 632621825 310947840 12690 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 303660

[startup+12.7005 s]
/proc/loadavg: 8.10 8.13 8.09 9/364 18568
/proc/meminfo: memFree=18592316/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=295112 CPUtime=50.63 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 44633 0 0 0 5056 7 0 0 25 0 4 0 632621825 302194688 17513 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 73778 17513 379 95 0 68760 0
[pid=18564/tid=18565] ppid=18562 vsize=295112 CPUtime=12.69 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 11271 0 0 0 1268 1 0 0 25 0 4 0 632621825 302194688 17513 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=295112 CPUtime=12.68 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 12322 0 0 0 1267 1 0 0 25 0 4 0 632621825 302194688 17513 33554432000 4194304 4580107 140736583129408 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=295112 CPUtime=12.54 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 10204 0 0 0 1253 1 0 0 25 0 4 0 632621825 302194688 17513 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 295112

[startup+25.5002 s]
/proc/loadavg: 8.16 8.14 8.09 9/364 18568
/proc/meminfo: memFree=18554760/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=306016 CPUtime=101.68 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 67534 0 0 0 10156 12 0 0 25 0 4 0 632621825 313360384 21514 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 76504 21514 379 95 0 71486 0
[pid=18564/tid=18565] ppid=18562 vsize=306016 CPUtime=25.48 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 17940 0 0 0 2546 2 0 0 25 0 4 0 632621825 313360384 21514 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=306016 CPUtime=25.49 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 17823 0 0 0 2546 3 0 0 25 0 4 0 632621825 313360384 21514 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=306016 CPUtime=25.2 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 15440 0 0 0 2517 3 0 0 25 0 4 0 632621825 313360384 21514 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 306016

[startup+51.1006 s]
/proc/loadavg: 8.10 8.13 8.09 9/364 18599
/proc/meminfo: memFree=18486440/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=310384 CPUtime=203.79 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 102642 0 0 0 20357 22 0 0 25 0 4 0 632621825 317833216 26519 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 77596 26519 379 95 0 72578 0
[pid=18564/tid=18565] ppid=18562 vsize=310384 CPUtime=51.08 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 26809 0 0 0 5103 5 0 0 25 0 4 0 632621825 317833216 26519 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=310384 CPUtime=51.09 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 27003 0 0 0 5103 6 0 0 25 0 4 0 632621825 317833216 26519 33554432000 4194304 4580107 140736583129408 18446744073709551615 4305164 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=310384 CPUtime=50.52 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 23267 0 0 0 5047 5 0 0 25 0 4 0 632621825 317833216 26519 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 310384

[startup+102.313 s]
/proc/loadavg: 8.11 8.12 8.09 9/364 18600
/proc/meminfo: memFree=18398340/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=329600 CPUtime=408.06 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 159716 0 0 0 40771 35 0 0 25 0 4 0 632621825 337510400 34738 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 82400 34738 379 95 0 77382 0
[pid=18564/tid=18565] ppid=18562 vsize=329600 CPUtime=102.29 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 40514 0 0 0 10221 8 0 0 25 0 4 0 632621825 337510400 34738 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=329600 CPUtime=102.3 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 40880 0 0 0 10220 10 0 0 25 0 4 0 632621825 337510400 34738 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=329600 CPUtime=101.15 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 38622 0 0 0 10106 9 0 0 25 0 4 0 632621825 337510400 34738 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 329600

[startup+162.301 s]

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

[pid=18564] ppid=18562 vsize=545088 CPUtime=2561.73 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 440160 0 0 0 256041 132 0 0 25 0 4 0 632621825 558170112 88294 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 136272 88294 379 95 0 131254 0
[pid=18564/tid=18565] ppid=18562 vsize=545088 CPUtime=642.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 102350 0 0 0 64204 27 0 0 25 0 4 0 632621825 558170112 88295 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=545088 CPUtime=642.3 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 129411 0 0 0 64188 42 0 0 25 0 4 0 632621825 558170112 88295 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=545088 CPUtime=634.92 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 100175 0 0 0 63461 31 0 0 25 0 4 0 632621825 558170112 88295 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.73
Current children cumulated vsize (KiB) 545088

[startup+702.301 s]
/proc/loadavg: 8.03 8.10 8.08 9/364 18616
/proc/meminfo: memFree=17933952/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=505260 CPUtime=2801 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 459163 0 0 0 279959 141 0 0 25 0 4 0 632621825 517386240 88189 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 126315 88189 379 95 0 121297 0
[pid=18564/tid=18565] ppid=18562 vsize=505260 CPUtime=702.3 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 104328 0 0 0 70202 28 0 0 25 0 4 0 632621825 517386240 88189 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=505260 CPUtime=702.28 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 136634 0 0 0 70183 45 0 0 25 0 4 0 632621825 517386240 88189 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=505260 CPUtime=694.22 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 105193 0 0 0 69389 33 0 0 25 0 4 0 632621825 517386240 88189 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801
Current children cumulated vsize (KiB) 505260

[startup+762.313 s]
/proc/loadavg: 8.11 8.11 8.09 9/364 18618
/proc/meminfo: memFree=17892884/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=518228 CPUtime=3040.33 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 474703 0 0 0 303884 149 0 0 25 0 4 0 632621825 530665472 92699 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 129557 92699 379 95 0 124539 0
[pid=18564/tid=18565] ppid=18562 vsize=518228 CPUtime=762.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 110351 0 0 0 76200 31 0 0 25 0 4 0 632621825 530665472 92699 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=518228 CPUtime=762.29 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 142409 0 0 0 76181 48 0 0 25 0 4 0 632621825 530665472 92699 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=518228 CPUtime=753.52 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 107771 0 0 0 75317 35 0 0 25 0 4 0 632621825 530665472 92699 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.33
Current children cumulated vsize (KiB) 518228

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 8.09 9/364 18619
/proc/meminfo: memFree=17847720/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=596780 CPUtime=3279.58 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 493549 0 0 0 327799 159 0 0 25 0 4 0 632621825 611102720 102551 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 149195 102551 379 95 0 144177 0
[pid=18564/tid=18565] ppid=18562 vsize=596780 CPUtime=822.3 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 117308 0 0 0 82196 34 0 0 25 0 4 0 632621825 611102720 102551 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=596780 CPUtime=822.29 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 148933 0 0 0 82176 53 0 0 25 0 4 0 632621825 611102720 102551 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=596780 CPUtime=812.81 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 107911 0 0 0 81246 35 0 0 25 0 4 0 632621825 611102720 102551 33554432000 4194304 4580107 140736583129408 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.58
Current children cumulated vsize (KiB) 596780

[startup+882.301 s]
/proc/loadavg: 8.16 8.11 8.09 9/364 18621
/proc/meminfo: memFree=17882548/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=611088 CPUtime=3518.86 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 512984 0 0 0 351719 167 0 0 25 0 4 0 632621825 625754112 90926 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 152772 90926 379 95 0 147754 0
[pid=18564/tid=18565] ppid=18562 vsize=611088 CPUtime=882.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 124560 0 0 0 88194 37 0 0 25 0 4 0 632621825 625754112 90926 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=611088 CPUtime=882.28 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 155471 0 0 0 88173 55 0 0 25 0 4 0 632621825 625754112 90926 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=611088 CPUtime=872.1 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 110048 0 0 0 87173 37 0 0 25 0 4 0 632621825 625754112 90926 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.86
Current children cumulated vsize (KiB) 611088

[startup+942.301 s]
/proc/loadavg: 8.17 8.12 8.09 9/364 18623
/proc/meminfo: memFree=17830812/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=626416 CPUtime=3758.15 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 532921 0 0 0 375640 175 0 0 25 0 4 0 632621825 641449984 101625 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 156604 101625 379 95 0 151586 0
[pid=18564/tid=18565] ppid=18562 vsize=626416 CPUtime=942.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 129292 0 0 0 94192 39 0 0 25 0 4 0 632621825 641449984 101625 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=626416 CPUtime=942.28 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 161374 0 0 0 94170 58 0 0 25 0 4 0 632621825 641449984 101625 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=626416 CPUtime=931.41 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 116080 0 0 0 93101 40 0 0 25 0 4 0 632621825 641449984 101625 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.15
Current children cumulated vsize (KiB) 626416

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 8.09 9/364 18624
/proc/meminfo: memFree=17806616/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=574196 CPUtime=3997.43 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 552209 0 0 0 399559 184 0 0 25 0 4 0 632621825 587976704 102885 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 143549 102885 379 95 0 138531 0
[pid=18564/tid=18565] ppid=18562 vsize=574196 CPUtime=1002.3 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 135343 0 0 0 100189 41 0 0 25 0 4 0 632621825 587976704 102885 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=574196 CPUtime=1002.28 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 167715 0 0 0 100167 61 0 0 25 0 4 0 632621825 587976704 102885 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=574196 CPUtime=990.7 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 122119 0 0 0 99028 42 0 0 25 0 4 0 632621825 587976704 102885 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.43
Current children cumulated vsize (KiB) 574196

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/364 18626
/proc/meminfo: memFree=17846644/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=545732 CPUtime=4236.72 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 566751 0 0 0 423481 191 0 0 25 0 4 0 632621825 558829568 96325 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 136433 96325 379 95 0 131415 0
[pid=18564/tid=18565] ppid=18562 vsize=545732 CPUtime=1062.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 138976 0 0 0 106187 44 0 0 25 0 4 0 632621825 558829568 96325 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=545732 CPUtime=1062.29 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 170772 0 0 0 106166 63 0 0 25 0 4 0 632621825 558829568 96325 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=545732 CPUtime=1049.99 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 127467 0 0 0 104955 44 0 0 25 0 4 0 632621825 558829568 96325 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.72
Current children cumulated vsize (KiB) 545732

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/364 18628
/proc/meminfo: memFree=17771368/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=679684 CPUtime=4476.01 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 588692 0 0 0 447401 200 0 0 25 0 4 0 632621825 695996416 112049 33554432000 4194304 4580107 140736583129408 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 169921 112049 379 95 0 164903 0
[pid=18564/tid=18565] ppid=18562 vsize=679684 CPUtime=1122.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 142964 0 0 0 112186 45 0 0 25 0 4 0 632621825 695996416 112049 33554432000 4194304 4580107 140736583129408 18446744073709551615 4305223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=679684 CPUtime=1122.29 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 175495 0 0 0 112163 66 0 0 25 0 4 0 632621825 695996416 112049 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=679684 CPUtime=1109.28 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 135072 0 0 0 110881 47 0 0 25 0 4 0 632621825 695996416 112049 33554432000 4194304 4580107 140736583129408 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.01
Current children cumulated vsize (KiB) 679684

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.09 9/364 18629
/proc/meminfo: memFree=17735008/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=625924 CPUtime=4715.3 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 605569 0 0 0 471322 208 0 0 25 0 4 0 632621825 640946176 117925 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 156481 117925 379 95 0 151463 0
[pid=18564/tid=18565] ppid=18562 vsize=625924 CPUtime=1182.31 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 146165 0 0 0 118184 47 0 0 25 0 4 0 632621825 640946176 117925 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=625924 CPUtime=1182.28 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 181626 0 0 0 118160 68 0 0 25 0 4 0 632621825 640946176 117925 33554432000 4194304 4580107 140736583129408 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=625924 CPUtime=1168.6 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 137994 0 0 0 116811 49 0 0 25 0 4 0 632621825 640946176 117925 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.3
Current children cumulated vsize (KiB) 625924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.14 8.11 8.09 9/364 18639
/proc/meminfo: memFree=17744144/32951124 swapFree=67111348/67111528
[pid=18564] ppid=18562 vsize=626004 CPUtime=4800.24 cores=0,2,4,6
/proc/18564/stat : 18564 (strangenight2-m) R 18562 18564 18129 0 -1 4202496 611742 0 0 0 479813 211 0 0 25 0 4 0 632621825 641028096 111168 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 156501 111168 379 95 0 151483 0
[pid=18564/tid=18565] ppid=18562 vsize=626004 CPUtime=1203.6 cores=0,2,4,6
/proc/18564/task/18565/stat : 18565 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 148331 0 0 0 120313 47 0 0 25 0 4 0 632621825 641028096 111169 33554432000 4194304 4580107 140736583129408 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18564/tid=18566] ppid=18562 vsize=626004 CPUtime=1203.6 cores=0,2,4,6
/proc/18564/task/18566/stat : 18566 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 184191 0 0 0 120290 70 0 0 25 0 4 0 632621825 641028096 111169 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=626004 CPUtime=1189.64 cores=0,2,4,6
/proc/18564/task/18567/stat : 18567 (strangenight2-m) R 18562 18564 18129 0 -1 4202560 139070 0 0 0 118914 50 0 0 25 0 4 0 632621825 641028096 111169 33554432000 4194304 4580107 140736583129408 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 626004

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.3
CPU user time (s): 4798.17
CPU system time (s): 2.13468
CPU usage (%): 398.815
Max. virtual memory (cumulated for all children) (KiB): 679824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.17
system time used= 2.13468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611743
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= 413
involuntary context switches= 24581

runsolver used 3.97439 second user time and 10.0295 second system time

The end

Launcher Data

Begin job on node145 at 2011-05-14 21:41:00
IDJOB=3366339
IDBENCH=82748
IDSOLVER=1844
FILE ID=node145/3366339-1305402060
RUNJOBID= node145-1305400853-18443
PBS_JOBID= 13324453
Free space on /tmp= 73656 MiB

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

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

MD5SUM BENCH= 8d71ad1b25bd6c4021d51959610734bb
RANDOM SEED=1401743441

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18697544 kB
Buffers:        294708 kB
Cached:        8123576 kB
SwapCached:          0 kB
Active:        7276428 kB
Inactive:      6622764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18697544 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10896 kB
Writeback:           0 kB
AnonPages:     5480404 kB
Mapped:          27652 kB
Slab:           255424 kB
PageTables:      33524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79430128 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= 73648 MiB
End job on node145 at 2011-05-14 22:01:05