Trace number 3173905

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.42 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
MD5SUMbc5d8e174b258480cce7431b84990bdd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173905-1304073176.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     162 undec:      45 neg:     193
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       387      1689         0         0      5140         0   no data   no data
0.00/0.82	c Decided on static restart strategy
0.00/0.82	c  N st     8      4915       387      1689         0      4784      5140     95245   no data   no data
0.00/0.82	c  N st    10     11297       387      1689         0      4426      5140     65750   no data   no data
0.00/0.82	c  N st    11     17041       387      1689         0      9998      5140    178574   no data   no data
3.69/1.02	c  F st    12     25000       387      1689         0     12258      5140    218813   no data   no data
3.69/1.02	c  N st    12     25000       387      1689         0     12258      5140    218813   no data   no data
4.77/1.25	c Decided on static restart strategy
4.77/1.25	c  N st    18     30003       387      1689         0     10587      5140    167869   no data   no data
4.77/1.25	c  S st    18     30003       387      1689         0     10587      5140    167869   no data   no data
4.77/1.28	c  S st    18     30506       387      1689         0     11089      5140    177706   no data   no data
4.77/1.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.28	c blocked clauses removed:        4 vars:      1 tried:         387 T: 0.00 s
4.77/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4.77/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.34	c lits-rem:       191  cl-subs:      923  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.35	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
5.17/1.35	c calculated reachability. Time: 0.00
5.17/1.35	c  N st    18     30506       386      1685         0     10166      5128    160009   no data   no data
6.77/1.75	c  N st    20     37618       386      1685         0      9445      5128    131725   no data   no data
8.36/2.10	c  N st    21     44017       386      1685         0     15644      5128    256611   no data   no data
8.76/2.20	c  S st    22     45761       386      1685         0     17359      5128    292706   no data   no data
8.76/2.24	c  S st    22     46265       386      1685         0      9180      5128    114293   no data   no data
8.76/2.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.76/2.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/2.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
8.76/2.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.76/2.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.76/2.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.26	c lits-rem:        22  cl-subs:       98  v-elim:      0  v-fix:    0  time:  0.01 s
8.76/2.26	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
8.76/2.26	c vivif2 --  cl tried     9082 cl shrink        0 lits rem          0 time: 0.00
8.76/2.27	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.00
8.76/2.27	c calculated reachability. Time: 0.00
8.76/2.27	c  N st    22     46265       386      1685         0      9082      5128    112412   no data   no data
12.35/3.11	c  N st    23     60663       386      1685         0     13431      5128    201950   no data   no data
14.75/3.70	c  N st    24     69397       386      1685         0     11210      5128    140315   no data   no data
14.75/3.70	c  S st    24     69397       386      1685         0     11210      5128    140315   no data   no data
14.75/3.74	c  S st    24     69900       386      1685         0     11712      5128    149383   no data   no data
14.75/3.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.75/3.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.75/3.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.75/3.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.75/3.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
14.75/3.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.75/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.76	c lits-rem:        66  cl-subs:      148  v-elim:      0  v-fix:    0  time:  0.01 s
14.75/3.76	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
14.75/3.77	c vivif2 --  cl tried    11564 cl shrink        0 lits rem          0 time: 0.00
14.75/3.77	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
14.75/3.77	c calculated reachability. Time: 0.00
14.75/3.77	c  N st    24     69900       386      1685         0     11564      5128    146659   no data   no data
19.55/4.99	c  F st    25     87503       386      1685         0     16888      5128    241686   no data   no data
19.55/4.99	c  N st    25     87503       386      1685         0     16888      5128    241686   no data   no data
21.14/5.39	c Decided on static restart strategy
22.34/5.64	c  N st    32     95543       386      1685         0     24703      5128    391085   no data   no data
24.75/6.27	c  N st    34    104850       386      1685         0     21140      5128    306608   no data   no data
24.75/6.27	c  S st    34    104850       386      1685         0     21140      5128    306608   no data   no data
25.15/6.32	c  S st    34    105357       386      1685         0     21647      5128    316498   no data   no data
25.15/6.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.15/6.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.15/6.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.15/6.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.15/6.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.15/6.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
25.15/6.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.15/6.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.15/6.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.48	c lits-rem:       110  cl-subs:     1399  v-elim:      0  v-fix:    0  time:  0.14 s
25.54/6.48	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
25.54/6.49	c vivif2 --  cl tried    20248 cl shrink        0 lits rem          0 time: 0.00
25.54/6.50	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
25.94/6.50	c calculated reachability. Time: 0.00
25.94/6.50	c  N st    34    105357       386      1685         0     20248      5128    291993   no data   no data
28.74/7.25	c  N st    35    114955       386      1685         0     16077      5128    201789   no data   no data
33.94/8.52	c  N st    36    129352       386      1685         0     15487      5128    175141   no data   no data
41.11/10.30	c  N st    37    150947       386      1685         0     20952      5128    269394   no data   no data
43.52/10.90	c  S st    38    158038       386      1685         0     27782      5128    395837   no data   no data
43.52/10.98	c  S st    38    158543       386      1685         0     28287      5128    406056   no data   no data
43.52/10.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.52/10.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.52/10.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.52/10.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.52/10.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
43.52/10.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.92/11.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.12/11.34	c lits-rem:       146  cl-subs:     1971  v-elim:      0  v-fix:    0  time:  0.33 s
45.12/11.34	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
45.12/11.34	c vivif2 --  cl tried    26316 cl shrink        0 lits rem          0 time: 0.00
45.12/11.36	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.01
45.12/11.36	c calculated reachability. Time: 0.00
45.12/11.36	c  N st    38    158543       386      1685         0     26316      5128    371015   no data   no data
62.69/15.75	c  N st    39    207132       386      1685         0     21143      5128    247278   no data   no data
74.27/18.65	c  N st    40    237815       386      1685         0     31478      5128    459351   no data   no data
74.27/18.65	c  S st    40    237815       386      1685         0     31478      5128    459351   no data   no data
74.67/18.74	c  S st    40    238318       386      1685         0     31979      5128    469459   no data   no data
74.67/18.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.67/18.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.67/18.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.67/18.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.67/18.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.67/18.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
74.67/18.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.67/18.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.67/18.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.28/19.18	c lits-rem:       273  cl-subs:     1899  v-elim:      0  v-fix:    0  time:  0.41 s
76.28/19.18	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
76.28/19.19	c vivif2 --  cl tried    30080 cl shrink        0 lits rem          0 time: 0.00
76.68/19.21	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.02
76.68/19.21	c calculated reachability. Time: 0.00
76.68/19.21	c  N st    40    238318       386      1685         0     30080      5128    430690   no data   no data
107.03/26.82	c  F st    41    306250       386      1685         0     31837      5128    407977   no data   no data
107.03/26.82	c  N st    41    306250       386      1685         0     31837      5128    407977   no data   no data
109.43/27.44	c Decided on static restart strategy
121.83/30.59	c  N st    51    334556       386      1685         0     36143      5128    484182   no data   no data
135.02/33.86	c  N st    53    357477       386      1685         0     34169      5128    428628   no data   no data
135.02/33.86	c  S st    53    357477       386      1685         0     34169      5128    428628   no data   no data
135.39/33.95	c  S st    53    357979       386      1685         0     34670      5128    438979   no data   no data
135.39/33.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.39/33.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.39/33.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.39/33.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.39/33.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.39/33.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
135.39/33.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.39/33.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.39/33.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.60/34.24	c lits-rem:       145  cl-subs:     1371  v-elim:      0  v-fix:    0  time:  0.26 s
136.60/34.24	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
136.60/34.24	c vivif2 --  cl tried    33299 cl shrink        0 lits rem          0 time: 0.01
136.60/34.26	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.02
136.60/34.27	c calculated reachability. Time: 0.00
136.60/34.27	c  N st    53    357979       386      1685         0     33299      5128    414317   no data   no data
154.16/38.60	c  N st    54    390371       386      1685         0     39390      5128    513744   no data   no data
184.13/46.17	c  N st    55    438960       386      1685         0     33239      5128    384282   no data   no data
226.48/56.71	c  N st    56    511844       386      1685         0     46547      5128    610958   no data   no data
241.25/60.42	c  N st    57    536971       386      1685         0     40838      5128    493941   no data   no data
241.25/60.42	c  S st    57    536971       386      1685         0     40838      5128    493941   no data   no data
241.65/60.52	c  S st    57    537474       386      1685         0     41340      5128    504483   no data   no data
241.65/60.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
241.65/60.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
241.65/60.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.65/60.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.65/60.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.65/60.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
241.65/60.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.65/60.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.65/60.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.65/61.03	c lits-rem:       217  cl-subs:     2201  v-elim:      0  v-fix:    0  time:  0.47 s
243.65/61.03	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
243.65/61.04	c vivif2 --  cl tried    39139 cl shrink        0 lits rem          0 time: 0.01
243.65/61.07	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.03
243.65/61.07	c calculated reachability. Time: 0.00
243.65/61.07	c  N st    57    537474       386      1685         0     39139      5128    465327   no data   no data
342.72/85.88	c  N st    58    701458       386      1685         0     67881      5128    987853   no data   no data
407.45/102.02	c  N st    59    806213       386      1685         0     62607      5128    908182   no data   no data
407.45/102.02	c  S st    59    806213       386      1685         0     62607      5128    908182   no data   no data
408.23/102.22	c  S st    59    806718       386      1685         0     63110      5128    918980   no data   no data
408.23/102.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
408.23/102.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
408.23/102.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
408.23/102.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
408.23/102.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
408.23/102.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
408.23/102.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
408.23/102.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
408.23/102.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.42/104.07	c lits-rem:       503  cl-subs:     3731  v-elim:      0  v-fix:    0  time:  1.78 s
415.42/104.07	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
415.42/104.08	c vivif2 --  cl tried    59379 cl shrink        0 lits rem          0 time: 0.01
415.83/104.13	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.05
415.83/104.13	c calculated reachability. Time: 0.00
415.83/104.13	c  N st    59    806718       386      1685         0     59379      5128    846784   no data   no data
609.96/152.71	c  F st    60   1071875       386      1685         0     74390      5128   1019119   no data   no data
609.96/152.71	c  N st    60   1071875       386      1685         0     74390      5128   1019119   no data   no data
616.35/154.30	c Decided on static restart strategy
636.32/159.34	c  N st    70   1100179       386      1685         0     58502      5128    692914   no data   no data
670.70/167.94	c  N st    72   1136173       386      1685         0     48917      5128    482697   no data   no data
697.47/174.61	c  N st    73   1168568       386      1685         0     80316      5128   1138655   no data   no data
737.79/184.74	c  N st    74   1210080       386      1685         0     74853      5128    967073   no data   no data
737.79/184.74	c  S st    74   1210080       386      1685         0     74853      5128    967073   no data   no data
738.99/185.01	c  S st    74   1210582       386      1685         0     75351      5128    976965   no data   no data
738.99/185.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
738.99/185.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
738.99/185.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
738.99/185.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
738.99/185.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
738.99/185.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
738.99/185.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
738.99/185.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
738.99/185.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.77/188.71	c lits-rem:       627  cl-subs:     6490  v-elim:      0  v-fix:    0  time:  3.61 s
753.77/188.71	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
753.77/188.72	c vivif2 --  cl tried    68861 cl shrink        0 lits rem          0 time: 0.01
753.77/188.80	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.07
753.77/188.80	c calculated reachability. Time: 0.00
753.77/188.80	c  N st    74   1210582       386      1685         0     68861      5128    867227   no data   no data
818.08/204.86	c  N st    75   1283464       386      1685         0     93018      5128   1382081   no data   no data
918.35/229.90	c  N st    76   1392787       386      1685         0     53577      5128    511965   no data   no data
1065.75/266.90	c  N st    77   1556771       386      1685         0     58233      5128    571314   no data   no data
1210.36/303.09	c  N st    78   1710583       386      1685         0     99187      5128   1301768   no data   no data
1210.36/303.09	c  S st    78   1710583       386      1685         0     99187      5128   1301768   no data   no data
1211.95/303.41	c  S st    78   1711088       386      1685         0     99689      5128   1312089   no data   no data
1211.95/303.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1211.95/303.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1211.95/303.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1211.95/303.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1211.95/303.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1211.95/303.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1211.95/303.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1211.95/303.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1212.35/303.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1237.54/309.90	c lits-rem:       884  cl-subs:    14059  v-elim:      0  v-fix:    0  time:  6.37 s
1237.54/309.90	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
1237.94/309.91	c vivif2 --  cl tried    85630 cl shrink        0 lits rem          0 time: 0.02
1237.94/309.99	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.08
1238.31/310.00	c calculated reachability. Time: 0.00
1238.31/310.00	c  N st    78   1711088       386      1685         0     85630      5128   1093588   no data   no data
1626.60/407.29	c  N st    79   2080053       386      1685         0     97760      5128   1229913   no data   no data
1774.03/444.10	c  N st    80   2211089       386      1685         0    101743      5128   1327096   no data   no data
1774.03/444.10	c  S st    80   2211089       386      1685         0    101743      5128   1327096   no data   no data
1775.20/444.46	c  S st    80   2211593       386      1685         0    102243      5128   1337030   no data   no data
1775.20/444.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1775.60/444.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1775.60/444.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1775.60/444.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1775.60/444.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1775.60/444.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1775.60/444.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1775.60/444.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1775.60/444.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1801.17/450.93	c lits-rem:       679  cl-subs:    11031  v-elim:      0  v-fix:    0  time:  6.35 s
1801.17/450.93	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
1801.17/450.95	c vivif2 --  cl tried    91212 cl shrink        0 lits rem          0 time: 0.02
1801.57/451.04	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.09
1801.57/451.04	c calculated reachability. Time: 0.00
1801.57/451.04	c  N st    80   2211593       386      1685         0     91212      5128   1153260   no data   no data
2346.44/587.44	c  N st    81   2711594       386      1685         0    114686      5128   1481871   no data   no data
2346.44/587.44	c  S st    81   2711594       386      1685         0    114686      5128   1481871   no data   no data
2348.04/587.82	c  S st    81   2712098       386      1685         0    115186      5128   1492586   no data   no data
2348.04/587.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2348.04/587.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2348.04/587.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2348.04/587.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2348.04/587.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2348.04/587.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2348.04/587.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2348.44/587.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2348.44/587.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2378.39/595.49	c lits-rem:       513  cl-subs:    14154  v-elim:      0  v-fix:    0  time:  7.54 s
2378.39/595.49	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
2378.79/595.51	c vivif2 --  cl tried   101032 cl shrink        0 lits rem          0 time: 0.02
2379.19/595.62	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.10
2379.19/595.62	c calculated reachability. Time: 0.00
2379.19/595.62	c  N st    81   2712098       386      1685         0    101032      5128   1262453   no data   no data
3028.32/758.16	c  N st    82   3212099       386      1685         0     77404      5128    690725   no data   no data
3028.32/758.16	c  S st    82   3212099       386      1685         0     77404      5128    690725   no data   no data
3029.12/758.39	c  S st    82   3212603       386      1685         0     77906      5128    701190   no data   no data
3029.52/758.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3029.52/758.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3029.52/758.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3029.52/758.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3029.52/758.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3029.52/758.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3029.52/758.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3029.52/758.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3029.52/758.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3030.34/758.66	c lits-rem:        69  cl-subs:      653  v-elim:      0  v-fix:    0  time:  0.19 s
3030.34/758.66	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
3030.34/758.67	c vivif2 --  cl tried    77253 cl shrink        0 lits rem          0 time: 0.01
3030.74/758.74	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.07
3030.74/758.74	c calculated reachability. Time: 0.00
3030.74/758.74	c  N st    82   3212603       386      1685         0     77253      5128    692402   no data   no data
3732.98/934.53	c  N st    83   3712603       386      1685         0     87895      5128    837985   no data   no data
3732.98/934.53	c  S st    83   3712603       386      1685         0     87895      5128    837985   no data   no data
3734.17/934.81	c  S st    83   3713106       386      1685         0     88395      5128    849411   no data   no data
3734.17/934.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3734.17/934.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3734.17/934.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3734.17/934.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3734.17/934.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3734.17/934.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3734.17/934.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3734.17/934.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3734.57/934.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3736.57/935.41	c lits-rem:       152  cl-subs:     1683  v-elim:      0  v-fix:    0  time:  0.50 s
3736.57/935.41	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
3736.57/935.42	c vivif2 --  cl tried    86712 cl shrink        0 lits rem          0 time: 0.01
3736.97/935.50	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.08
3736.97/935.51	c calculated reachability. Time: 0.00
3736.97/935.51	c  N st    83   3713106       386      1685         0     86712      5128    823888   no data   no data
3785.31/947.65	c  F st    84   3751563       386      1685         0    123577      5128   1511647   no data   no data
3785.31/947.65	c  N st    84   3751563       386      1685         0    123577      5128   1511647   no data   no data
3793.30/949.67	c Decided on static restart strategy
3830.48/958.94	c  N st    94   3779868       386      1685         0    150848      5128   2052618   no data   no data
3881.18/971.66	c  N st    96   3815861       386      1685         0    103936      5128   1156040   no data   no data
3925.53/982.79	c  N st    97   3848253       386      1685         0    135116      5128   1795009   no data   no data
3994.63/1000.00	c  N st    98   3896841       386      1685         0     99232      5128   1058478   no data   no data
4096.90/1025.69	c  N st    99   3969725       386      1685         0     85802      5128    759679   no data   no data
4251.09/1064.25	c  N st   100   4079048       386      1685         0    106323      5128   1166556   no data   no data
4443.23/1112.39	c  N st   101   4213107       386      1685         0    149430      5128   1979998   no data   no data
4443.23/1112.39	c  S st   101   4213107       386      1685         0    149430      5128   1979998   no data   no data
4445.65/1112.91	c  S st   101   4213608       386      1685         0    149925      5128   1990118   no data   no data
4445.65/1112.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4445.65/1112.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4445.65/1112.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4445.65/1112.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4445.65/1112.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4445.65/1112.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4445.65/1112.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4446.02/1113.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4446.02/1113.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4512.74/1129.74	c lits-rem:      1364  cl-subs:    18359  v-elim:      0  v-fix:    0  time: 16.65 s
4512.74/1129.74	c vivif2 --  cl tried     1685 cl shrink        0 lits rem          0 time: 0.00
4512.74/1129.77	c vivif2 --  cl tried   131566 cl shrink        0 lits rem          0 time: 0.03
4513.54/1129.91	c asymm  cl-useful: 0/1685/1685 lits-rem:0 time: 0.14
4513.54/1129.92	c calculated reachability. Time: 0.00
4513.54/1129.92	c  N st   101   4213608       386      1685         0    131566      5128   1687264   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173905-1304073176/watcher-3173905-1304073176 -o /tmp/evaluation-result-3173905-1304073176/solver-3173905-1304073176 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173905-1304073176.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.55 8.01 8.00 2/172 12510
/proc/meminfo: memFree=15572864/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 518918007 52441088 348 33554432000 4194304 4627427 140735822238880 18446744073709551615 46964583253938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 12803 348 299 106 0 7774 0
[pid=12510/tid=12511] ppid=12508 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518918008 52441088 348 33554432000 4194304 4627427 140735822238880 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518918008 52441088 348 33554432000 4194304 4627427 140735822238880 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 518918008 52441088 348 33554432000 4194304 4627427 140735822238880 18446744073709551615 46964583253938 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.144554 s]
/proc/loadavg: 7.55 8.01 8.00 2/172 12510
/proc/meminfo: memFree=15572864/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=284876 CPUtime=3.29 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 4629 0 0 0 329 0 0 0 19 0 4 0 518918007 291713024 2394 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 71219 2394 385 106 0 66190 0
[pid=12510/tid=12511] ppid=12508 vsize=284876 CPUtime=0.82 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1012 0 0 0 82 0 0 0 18 0 4 0 518918008 291713024 2394 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=284876 CPUtime=0.82 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1124 0 0 0 82 0 0 0 19 0 4 0 518918008 291713024 2394 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=284876 CPUtime=0.82 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 982 0 0 0 82 0 0 0 19 0 4 0 518918008 291713024 2394 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 284876

[startup+0.933028 s]
/proc/loadavg: 7.55 8.01 8.00 2/172 12510
/proc/meminfo: memFree=15572864/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=284876 CPUtime=3.69 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 4855 0 0 0 369 0 0 0 19 0 4 0 518918007 291713024 2620 33554432000 4194304 4627427 140735822238880 18446744073709551615 4310370 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 71219 2621 385 106 0 66190 0
[pid=12510/tid=12511] ppid=12508 vsize=284876 CPUtime=0.92 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1072 0 0 0 92 0 0 0 19 0 4 0 518918008 291713024 2621 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=284876 CPUtime=0.92 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1184 0 0 0 92 0 0 0 19 0 4 0 518918008 291713024 2621 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=284876 CPUtime=0.92 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1028 0 0 0 92 0 0 0 19 0 4 0 518918008 291713024 2621 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 284876

[startup+1.03301 s]
/proc/loadavg: 7.55 8.01 8.00 2/172 12510
/proc/meminfo: memFree=15572864/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=285012 CPUtime=4.09 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 5142 0 0 0 409 0 0 0 19 0 4 0 518918007 291852288 2907 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 71253 2907 386 106 0 66224 0
[pid=12510/tid=12511] ppid=12508 vsize=285012 CPUtime=1.02 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1139 0 0 0 102 0 0 0 19 0 4 0 518918008 291852288 2907 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=285012 CPUtime=1.02 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1268 0 0 0 102 0 0 0 19 0 4 0 518918008 291852288 2907 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=285012 CPUtime=1.02 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1090 0 0 0 102 0 0 0 19 0 4 0 518918008 291852288 2907 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 285012

[startup+1.13299 s]
/proc/loadavg: 7.55 8.01 8.00 2/172 12510
/proc/meminfo: memFree=15572864/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=285332 CPUtime=4.49 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 5753 0 0 0 449 0 0 0 19 0 4 0 518918007 292179968 2666 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 71333 2666 386 106 0 66304 0
[pid=12510/tid=12511] ppid=12508 vsize=285332 CPUtime=1.12 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1305 0 0 0 112 0 0 0 19 0 4 0 518918008 292179968 2666 33554432000 4194304 4627427 140735822238880 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=285332 CPUtime=1.12 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1454 0 0 0 112 0 0 0 19 0 4 0 518918008 292179968 2666 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=285332 CPUtime=1.12 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1172 0 0 0 112 0 0 0 19 0 4 0 518918008 292179968 2666 33554432000 4194304 4627427 140735822238880 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 285332

[startup+1.50092 s]
/proc/loadavg: 7.55 8.01 8.00 2/172 12510
/proc/meminfo: memFree=15572864/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=285704 CPUtime=5.96 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 7713 0 0 0 595 1 0 0 20 0 4 0 518918007 292560896 4282 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 71426 4282 389 106 0 66397 0
[pid=12510/tid=12511] ppid=12508 vsize=285704 CPUtime=1.48 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1468 0 0 0 148 0 0 0 20 0 4 0 518918008 292560896 4282 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=285704 CPUtime=1.48 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1609 0 0 0 148 0 0 0 20 0 4 0 518918008 292560896 4282 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=285704 CPUtime=1.49 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 1476 0 0 0 149 0 0 0 20 0 4 0 518918008 292560896 4282 33554432000 4194304 4627427 140735822238880 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285704

[startup+3.10062 s]
/proc/loadavg: 7.55 8.01 8.00 9/184 12527
/proc/meminfo: memFree=15518764/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=293468 CPUtime=12.35 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 16105 0 0 0 1232 3 0 0 25 0 4 0 518918007 300511232 7908 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 73367 7908 389 106 0 68338 0
[pid=12510/tid=12511] ppid=12508 vsize=293468 CPUtime=3.09 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 3597 0 0 0 308 1 0 0 25 0 4 0 518918008 300511232 7908 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=293468 CPUtime=3.07 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 4275 0 0 0 307 0 0 0 25 0 4 0 518918008 300511232 7908 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=293468 CPUtime=3.08 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 3831 0 0 0 308 0 0 0 25 0 4 0 518918008 300511232 7908 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293468

[startup+6.30603 s]
/proc/loadavg: 7.58 8.01 8.00 10/184 12557
/proc/meminfo: memFree=15512420/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=297520 CPUtime=25.15 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 24901 0 0 0 2511 4 0 0 25 0 4 0 518918007 304660480 10852 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 74380 10852 389 106 0 69351 0
[pid=12510/tid=12511] ppid=12508 vsize=297520 CPUtime=6.29 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 6667 0 0 0 628 1 0 0 25 0 4 0 518918008 304660480 10852 33554432000 4194304 4627427 140735822238880 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=297520 CPUtime=6.26 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 6546 0 0 0 625 1 0 0 25 0 4 0 518918008 304660480 10852 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=297520 CPUtime=6.28 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 5412 0 0 0 628 0 0 0 25 0 4 0 518918008 304660480 10852 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 297520

[startup+12.7008 s]
/proc/loadavg: 7.61 8.01 8.00 9/184 12557
/proc/meminfo: memFree=15451596/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=298300 CPUtime=50.71 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 39540 0 0 0 5064 7 0 0 25 0 4 0 518918007 305459200 15545 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 74575 15545 389 106 0 69546 0
[pid=12510/tid=12511] ppid=12508 vsize=298300 CPUtime=12.69 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 9832 0 0 0 1267 2 0 0 25 0 4 0 518918008 305459200 15545 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=298300 CPUtime=12.62 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 9107 0 0 0 1261 1 0 0 25 0 4 0 518918008 305459200 15545 33554432000 4194304 4627427 140735822238880 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=298300 CPUtime=12.68 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 9479 0 0 0 1267 1 0 0 25 0 4 0 518918008 305459200 15545 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298300

[startup+25.5004 s]
/proc/loadavg: 7.70 8.01 8.00 10/184 12557
/proc/meminfo: memFree=15403496/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=305064 CPUtime=101.84 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 60445 0 0 0 10171 13 0 0 25 0 4 0 518918007 312385536 20159 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 76266 20159 389 106 0 71237 0
[pid=12510/tid=12511] ppid=12508 vsize=305064 CPUtime=25.48 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 15097 0 0 0 2545 3 0 0 25 0 4 0 518918008 312385536 20159 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=305064 CPUtime=25.36 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 14511 0 0 0 2533 3 0 0 25 0 4 0 518918008 312385536 20159 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=305064 CPUtime=25.48 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 14425 0 0 0 2546 2 0 0 25 0 4 0 518918008 312385536 20159 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 305064

[startup+51.1007 s]
/proc/loadavg: 7.93 8.04 8.01 10/184 12558
/proc/meminfo: memFree=15359512/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=319512 CPUtime=204.11 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 90841 0 0 0 20389 22 0 0 25 0 4 0 518918007 327180288 25068 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 79878 25068 389 106 0 74849 0
[pid=12510/tid=12511] ppid=12508 vsize=319512 CPUtime=51.09 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 23740 0 0 0 5103 6 0 0 25 0 4 0 518918008 327180288 25068 33554432000 4194304 4627427 140735822238880 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=319512 CPUtime=50.82 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 21838 0 0 0 5077 5 0 0 25 0 4 0 518918008 327180288 25068 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=319512 CPUtime=51.08 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 21501 0 0 0 5104 4 0 0 25 0 4 0 518918008 327180288 25068 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 319512

[startup+102.301 s]
/proc/loadavg: 8.10 8.06 8.01 10/184 12560
/proc/meminfo: memFree=15296504/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=330736 CPUtime=408.63 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 141397 0 0 0 40826 37 0 0 25 0 4 0 518918007 338673664 36862 33554432000 4194304 4627427 140735822238880 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 82684 36862 389 106 0 77655 0
[pid=12510/tid=12511] ppid=12508 vsize=330736 CPUtime=102.29 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 36180 0 0 0 10220 9 0 0 25 0 4 0 518918008 338673664 36862 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=330736 CPUtime=101.75 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 30807 0 0 0 10166 9 0 0 25 0 4 0 518918008 338673664 36862 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=330736 CPUtime=102.28 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 34854 0 0 0 10220 8 0 0 25 0 4 0 518918008 338673664 36862 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 330736

[startup+162.301 s]

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

[pid=12510] ppid=12508 vsize=536752 CPUtime=2805.43 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 446926 0 0 0 280377 166 0 0 25 0 4 0 518918007 549634048 72904 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 134188 72904 389 106 0 129159 0
[pid=12510/tid=12511] ppid=12508 vsize=536752 CPUtime=702.3 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 115295 0 0 0 70190 40 0 0 25 0 4 0 518918008 549634048 72904 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=536752 CPUtime=698.49 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 111150 0 0 0 69805 44 0 0 25 0 4 0 518918008 549634048 72904 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=536752 CPUtime=702.3 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 111542 0 0 0 70188 42 0 0 25 0 4 0 518918008 549634048 72904 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 536752

[startup+762.301 s]
/proc/loadavg: 8.07 8.08 8.02 10/184 12577
/proc/meminfo: memFree=14950284/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=483756 CPUtime=3045.1 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 471997 0 0 0 304333 177 0 0 25 0 4 0 518918007 495366144 77839 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 120939 77839 389 106 0 115910 0
[pid=12510/tid=12511] ppid=12508 vsize=483756 CPUtime=762.3 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 122787 0 0 0 76188 42 0 0 25 0 4 0 518918008 495366144 77839 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=483756 CPUtime=758.17 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 117232 0 0 0 75769 48 0 0 25 0 4 0 518918008 495366144 77839 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=483756 CPUtime=762.3 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 119205 0 0 0 76185 45 0 0 25 0 4 0 518918008 495366144 77839 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 483756

[startup+822.301 s]
/proc/loadavg: 8.02 8.07 8.01 10/184 12579
/proc/meminfo: memFree=14923976/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=484112 CPUtime=3284.78 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 494396 0 0 0 328289 189 0 0 25 0 4 0 518918007 495730688 75692 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 121028 75692 389 106 0 115999 0
[pid=12510/tid=12511] ppid=12508 vsize=484112 CPUtime=822.31 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 128970 0 0 0 82185 46 0 0 25 0 4 0 518918008 495730688 75692 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=484112 CPUtime=817.85 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 123622 0 0 0 81733 52 0 0 25 0 4 0 518918008 495730688 75692 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=484112 CPUtime=822.3 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 126232 0 0 0 82183 47 0 0 25 0 4 0 518918008 495730688 75692 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 484112

[startup+882.3 s]
/proc/loadavg: 8.01 8.05 8.01 10/184 12580
/proc/meminfo: memFree=14939068/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=484416 CPUtime=3524.45 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 517519 0 0 0 352246 199 0 0 25 0 4 0 518918007 496041984 74592 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 121104 74592 389 106 0 116075 0
[pid=12510/tid=12511] ppid=12508 vsize=484416 CPUtime=882.31 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 134997 0 0 0 88183 48 0 0 25 0 4 0 518918008 496041984 74592 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=484416 CPUtime=877.52 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 129373 0 0 0 87697 55 0 0 25 0 4 0 518918008 496041984 74592 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=484416 CPUtime=882.31 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 132350 0 0 0 88181 50 0 0 25 0 4 0 518918008 496041984 74592 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 484416

[startup+942.301 s]
/proc/loadavg: 8.07 8.06 8.01 10/184 12582
/proc/meminfo: memFree=14890824/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=497268 CPUtime=3764.16 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 540132 0 0 0 376207 209 0 0 25 0 4 0 518918007 509202432 80087 33554432000 4194304 4627427 140735822238880 18446744073709551615 4333399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 124317 80087 389 106 0 119288 0
[pid=12510/tid=12511] ppid=12508 vsize=497268 CPUtime=942.32 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 140929 0 0 0 94182 50 0 0 25 0 4 0 518918008 509202432 80087 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=497268 CPUtime=937.19 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 134467 0 0 0 93662 57 0 0 25 0 4 0 518918008 509202432 80087 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=497268 CPUtime=942.31 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 138453 0 0 0 94179 52 0 0 25 0 4 0 518918008 509202432 80087 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 497268

[startup+1002.3 s]
/proc/loadavg: 8.09 8.06 8.01 10/184 12584
/proc/meminfo: memFree=14855464/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=499384 CPUtime=4003.82 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 562573 0 0 0 400163 219 0 0 25 0 4 0 518918007 511369216 79488 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 124846 79488 389 106 0 119817 0
[pid=12510/tid=12511] ppid=12508 vsize=499384 CPUtime=1002.31 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 146526 0 0 0 100179 52 0 0 25 0 4 0 518918008 511369216 79488 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=499384 CPUtime=996.86 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 140047 0 0 0 99627 59 0 0 25 0 4 0 518918008 511369216 79488 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=499384 CPUtime=1002.31 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 144137 0 0 0 100176 55 0 0 25 0 4 0 518918008 511369216 79488 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 499384

[startup+1062.31 s]
/proc/loadavg: 8.09 8.06 8.01 10/184 12585
/proc/meminfo: memFree=14887936/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=499772 CPUtime=4243.51 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 583809 0 0 0 424122 229 0 0 25 0 4 0 518918007 511766528 80023 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 124943 80023 389 106 0 119914 0
[pid=12510/tid=12511] ppid=12508 vsize=499772 CPUtime=1062.32 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 151827 0 0 0 106179 53 0 0 25 0 4 0 518918008 511766528 80023 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=499772 CPUtime=1056.55 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 144677 0 0 0 105592 63 0 0 25 0 4 0 518918008 511766528 80023 33554432000 4194304 4627427 140735822238880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=499772 CPUtime=1062.32 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 149816 0 0 0 106174 58 0 0 25 0 4 0 518918008 511766528 80023 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 499772

[startup+1122.3 s]
/proc/loadavg: 8.15 8.08 8.01 10/184 12587
/proc/meminfo: memFree=14830860/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=487160 CPUtime=4483.18 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 606686 0 0 0 448078 240 0 0 25 0 4 0 518918007 498851840 85455 33554432000 4194304 4627427 140735822238880 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 121790 85455 389 106 0 116761 0
[pid=12510/tid=12511] ppid=12508 vsize=487160 CPUtime=1122.32 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 156889 0 0 0 112175 57 0 0 25 0 4 0 518918008 498851840 85455 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=487160 CPUtime=1116.22 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 150178 0 0 0 111557 65 0 0 25 0 4 0 518918008 498851840 85455 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=487160 CPUtime=1122.31 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 155347 0 0 0 112170 61 0 0 25 0 4 0 518918008 498851840 85455 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 487160

[startup+1182.3 s]
/proc/loadavg: 8.16 8.09 8.02 10/184 12588
/proc/meminfo: memFree=14806632/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=504028 CPUtime=4722.85 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 627116 0 0 0 472034 251 0 0 25 0 4 0 518918007 516124672 92565 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 126007 92565 389 106 0 120978 0
[pid=12510/tid=12511] ppid=12508 vsize=504028 CPUtime=1182.32 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 161099 0 0 0 118172 60 0 0 25 0 4 0 518918008 516124672 92565 33554432000 4194304 4627427 140735822238880 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=504028 CPUtime=1175.89 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 157490 0 0 0 117521 68 0 0 25 0 4 0 518918008 516124672 92565 33554432000 4194304 4627427 140735822238880 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=504028 CPUtime=1182.32 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 160560 0 0 0 118168 64 0 0 25 0 4 0 518918008 516124672 92565 33554432000 4194304 4627427 140735822238880 18446744073709551615 4328576 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 504028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 12589
/proc/meminfo: memFree=14791872/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=567304 CPUtime=4800.36 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 634509 0 0 0 479782 254 0 0 25 0 4 0 518918007 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 141826 93690 389 106 0 136797 0
[pid=12510/tid=12511] ppid=12508 vsize=567304 CPUtime=1201.73 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 163327 0 0 0 120112 61 0 0 25 0 4 0 518918008 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=567304 CPUtime=1195.19 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 159134 0 0 0 119450 69 0 0 25 0 4 0 518918008 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=567304 CPUtime=1201.72 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 161877 0 0 0 120108 64 0 0 25 0 4 0 518918008 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 567304

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

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

[startup+1201.7 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 12589
/proc/meminfo: memFree=14791872/32951124 swapFree=67111528/67111528
[pid=12510] ppid=12508 vsize=567304 CPUtime=4800.36 cores=1,3,5,7
/proc/12510/stat : 12510 (strangenight2-m) R 12508 12510 12239 0 -1 4202496 634509 0 0 0 479782 254 0 0 25 0 4 0 518918007 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12510/statm: 141826 93690 389 106 0 136797 0
[pid=12510/tid=12511] ppid=12508 vsize=567304 CPUtime=1201.73 cores=1,3,5,7
/proc/12510/task/12511/stat : 12511 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 163327 0 0 0 120112 61 0 0 25 0 4 0 518918008 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12510/tid=12512] ppid=12508 vsize=567304 CPUtime=1195.19 cores=1,3,5,7
/proc/12510/task/12512/stat : 12512 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 159134 0 0 0 119450 69 0 0 25 0 4 0 518918008 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12510/tid=12513] ppid=12508 vsize=567304 CPUtime=1201.72 cores=1,3,5,7
/proc/12510/task/12513/stat : 12513 (strangenight2-m) R 12508 12510 12239 0 -1 4202560 161877 0 0 0 120108 64 0 0 25 0 4 0 518918008 580919296 93690 33554432000 4194304 4627427 140735822238880 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 567304

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.42
CPU user time (s): 4797.85
CPU system time (s): 2.56461
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 621648

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

runsolver used 1.86672 second user time and 4.68529 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 12:32:56
IDJOB=3173905
IDBENCH=82723
IDSOLVER=1586
FILE ID=node105/3173905-1304073176
RUNJOBID= node105-1304071971-12407
PBS_JOBID= 13170488
Free space on /tmp= 71940 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173905-1304073176/watcher-3173905-1304073176 -o /tmp/evaluation-result-3173905-1304073176/solver-3173905-1304073176 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173905-1304073176.cnf

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

MD5SUM BENCH= bc5d8e174b258480cce7431b84990bdd
RANDOM SEED=1639384764

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15573136 kB
Buffers:       2301840 kB
Cached:       14441288 kB
SwapCached:          0 kB
Active:        8962152 kB
Inactive:      7844464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15573136 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:       63320 kB
Mapped:          14388 kB
Slab:           507896 kB
PageTables:       4856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71928 MiB
End job on node105 at 2011-04-29 12:52:59