Trace number 3366560

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf
MD5SUMb1bf2be38e1cea16efc5e7effa1a10c7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark688.356
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
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-3366560-1307654844.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 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:    500 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.01	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:     213 undec:      60 neg:     227
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       488      2120         0         0      6438         0   no data   no data
0.50/0.15	c Decided on static restart strategy
0.50/0.15	c  N st     8      4919       488      2120         0      4824      6438    103977   no data   no data
1.57/0.40	c  N st    10     11302       488      2120         0      4467      6438     73337   no data   no data
2.37/0.66	c  N st    11     17045       488      2120         0     10027      6438    193455   no data   no data
3.97/1.04	c  F st    12     25001       488      2120         0     12315      6438    245629   no data   no data
3.97/1.04	c  N st    12     25001       488      2120         0     12315      6438    245629   no data   no data
4.79/1.27	c Decided on static restart strategy
4.79/1.27	c  N st    18     30000       488      2120         0     10593      6438    186420   no data   no data
4.79/1.27	c  S st    18     30000       488      2120         0     10593      6438    186420   no data   no data
5.16/1.30	c  S st    18     30501       488      2120         0     11093      6438    197672   no data   no data
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.31	c blocked clauses removed:       11 vars:      2 tried:         488 T: 0.00 s
5.16/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
5.16/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.37	c lits-rem:       191  cl-subs:      741  v-elim:      0  v-fix:    0  time:  0.05 s
5.16/1.38	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
5.16/1.38	c calculated reachability. Time: 0.00
5.16/1.38	c  N st    18     30501       486      2109         0     10347      6405    180740   no data   no data
6.77/1.78	c  N st    20     37612       486      2109         0      9631      6405    149325   no data   no data
8.36/2.19	c  N st    21     44012       486      2109         0     15878      6405    290146   no data   no data
9.18/2.34	c  S st    22     45752       486      2109         0      8864      6405    118455   no data   no data
9.18/2.37	c  S st    22     46256       486      2109         0      9368      6405    130201   no data   no data
9.18/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.18/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.18/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
9.18/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.38	c lits-rem:        24  cl-subs:       71  v-elim:      0  v-fix:    0  time:  0.01 s
9.18/2.38	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
9.18/2.38	c vivif2 --  cl tried     9297 cl shrink        0 lits rem          0 time: 0.00
9.18/2.39	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
9.18/2.39	c calculated reachability. Time: 0.00
9.18/2.39	c  N st    22     46256       486      2109         0      9297      6405    128749   no data   no data
13.18/3.33	c  N st    23     60653       486      2109         0     13618      6405    218847   no data   no data
15.55/3.95	c  N st    24     69384       486      2109         0     11403      6405    157334   no data   no data
15.55/3.95	c  S st    24     69384       486      2109         0     11403      6405    157334   no data   no data
15.55/3.98	c  S st    24     69885       486      2109         0     11903      6405    168690   no data   no data
15.55/3.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
15.55/3.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.01	c lits-rem:        33  cl-subs:      177  v-elim:      0  v-fix:    0  time:  0.01 s
15.95/4.01	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
15.95/4.01	c vivif2 --  cl tried    11726 cl shrink        0 lits rem          0 time: 0.00
15.95/4.02	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
15.95/4.02	c calculated reachability. Time: 0.00
15.95/4.02	c  N st    24     69885       486      2109         0     11726      6405    164882   no data   no data
20.35/5.18	c  F st    25     87500       486      2109         0     17199      6405    279667   no data   no data
20.35/5.18	c  N st    25     87500       486      2109         0     17199      6405    279667   no data   no data
21.96/5.55	c Decided on static restart strategy
23.14/5.82	c  N st    32     95535       486      2109         0     25065      6405    463641   no data   no data
25.55/6.45	c  N st    34    104829       486      2109         0     21498      6405    369391   no data   no data
25.55/6.45	c  S st    34    104829       486      2109         0     21498      6405    369391   no data   no data
25.95/6.50	c  S st    34    105333       486      2109         0     22000      6405    381041   no data   no data
25.95/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.95/6.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
25.95/6.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.95/6.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.66	c lits-rem:        58  cl-subs:      872  v-elim:      0  v-fix:    0  time:  0.14 s
26.36/6.66	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
26.36/6.67	c vivif2 --  cl tried    21128 cl shrink        0 lits rem          0 time: 0.00
26.36/6.68	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
26.36/6.68	c calculated reachability. Time: 0.00
26.36/6.68	c  N st    34    105333       486      2109         0     21128      6405    360290   no data   no data
29.13/7.39	c  N st    35    114932       486      2109         0     16854      6405    240585   no data   no data
34.73/8.72	c  N st    36    129329       486      2109         0     16263      6405    209095   no data   no data
41.92/10.54	c  N st    37    150924       486      2109         0     21758      6405    336504   no data   no data
44.71/11.20	c  S st    38    158000       486      2109         0     28677      6405    497655   no data   no data
44.71/11.27	c  S st    38    158500       486      2109         0     29176      6405    508717   no data   no data
44.71/11.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.71/11.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.71/11.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.71/11.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.71/11.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.71/11.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
44.71/11.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.71/11.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.11/11.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.63	c lits-rem:       223  cl-subs:     1316  v-elim:      0  v-fix:    0  time:  0.32 s
46.31/11.63	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
46.31/11.64	c vivif2 --  cl tried    27860 cl shrink        0 lits rem          0 time: 0.01
46.31/11.65	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
46.31/11.65	c calculated reachability. Time: 0.00
46.31/11.65	c  N st    38    158500       486      2109         0     27860      6405    475415   no data   no data
66.68/16.71	c  N st    39    207088       486      2109         0     22490      6405    306861   no data   no data
79.49/19.92	c  N st    40    237751       486      2109         0     32916      6405    529357   no data   no data
79.49/19.92	c  S st    40    237751       486      2109         0     32916      6405    529357   no data   no data
79.87/20.01	c  S st    40    238254       486      2109         0     33419      6405    540880   no data   no data
79.87/20.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.87/20.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.87/20.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.87/20.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.87/20.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.87/20.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
79.87/20.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.87/20.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.87/20.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.87/20.58	c lits-rem:       470  cl-subs:     1951  v-elim:      0  v-fix:    0  time:  0.54 s
81.87/20.58	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
81.87/20.59	c vivif2 --  cl tried    31468 cl shrink        0 lits rem          0 time: 0.01
82.27/20.61	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
82.27/20.61	c calculated reachability. Time: 0.00
82.27/20.61	c  N st    40    238254       486      2109         0     31468      6405    498377   no data   no data
111.43/27.98	c  F st    41    306251       486      2109         0     33403      6405    485506   no data   no data
111.43/27.98	c  N st    41    306251       486      2109         0     33403      6405    485506   no data   no data
114.24/28.63	c Decided on static restart strategy
124.61/31.21	c  N st    51    334553       486      2109         0     37628      6405    584584   no data   no data
135.80/34.05	c  N st    53    357383       486      2109         0     35506      6405    506275   no data   no data
135.80/34.05	c  S st    53    357383       486      2109         0     35506      6405    506275   no data   no data
136.21/34.14	c  S st    53    357885       486      2109         0     36008      6405    517560   no data   no data
136.21/34.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.21/34.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.21/34.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.21/34.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.21/34.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.21/34.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
136.21/34.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.21/34.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.21/34.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.79/34.57	c lits-rem:       197  cl-subs:     1837  v-elim:      0  v-fix:    0  time:  0.38 s
137.79/34.57	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
137.79/34.57	c vivif2 --  cl tried    34171 cl shrink        0 lits rem          0 time: 0.01
137.79/34.59	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
137.79/34.59	c calculated reachability. Time: 0.00
137.79/34.59	c  N st    53    357885       486      2109         0     34171      6405    478041   no data   no data
154.96/38.80	c  N st    54    390279       486      2109         0     40452      6405    637350   no data   no data
183.32/45.95	c  N st    55    438869       486      2109         0     34224      6405    449400   no data   no data
224.50/56.23	c  N st    56    511751       486      2109         0     47678      6405    727938   no data   no data
238.85/59.80	c  N st    57    536830       486      2109         0     41949      6405    588412   no data   no data
238.85/59.80	c  S st    57    536830       486      2109         0     41949      6405    588412   no data   no data
239.25/59.92	c  S st    57    537331       486      2109         0     42450      6405    599849   no data   no data
239.25/59.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.25/59.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
239.25/59.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.25/59.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.25/59.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.25/59.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
239.25/59.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.25/59.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
239.25/59.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.25/60.41	c lits-rem:       123  cl-subs:     1512  v-elim:      0  v-fix:    0  time:  0.44 s
241.25/60.41	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
241.25/60.41	c vivif2 --  cl tried    40938 cl shrink        0 lits rem          0 time: 0.01
241.25/60.44	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.03
241.25/60.44	c calculated reachability. Time: 0.00
241.25/60.44	c  N st    57    537331       486      2109         0     40938      6405    564387   no data   no data
346.32/86.74	c  N st    58    701316       486      2109         0     69848      6405   1173583   no data   no data
416.23/104.24	c  N st    59    805996       486      2109         0     63964      6405   1014783   no data   no data
416.23/104.24	c  S st    59    805996       486      2109         0     63964      6405   1014783   no data   no data
417.03/104.44	c  S st    59    806498       486      2109         0     64465      6405   1026755   no data   no data
417.03/104.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
417.03/104.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
417.03/104.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
417.03/104.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
417.03/104.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.03/104.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
417.03/104.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
417.03/104.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
417.44/104.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.81/106.67	c lits-rem:       691  cl-subs:     3349  v-elim:      0  v-fix:    0  time:  2.15 s
425.81/106.67	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
425.81/106.68	c vivif2 --  cl tried    61116 cl shrink        0 lits rem          0 time: 0.01
426.23/106.74	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.05
426.23/106.74	c calculated reachability. Time: 0.00
426.23/106.74	c  N st    59    806498       486      2109         0     61116      6405    951896   no data   no data
631.14/158.05	c  F st    60   1071875       486      2109         0     76988      6405   1227404   no data   no data
631.14/158.05	c  N st    60   1071875       486      2109         0     76988      6405   1227404   no data   no data
636.73/159.45	c Decided on static restart strategy
654.72/163.97	c  N st    70   1100187       486      2109         0     60833      6405    812166   no data   no data
684.67/171.42	c  N st    72   1136180       486      2109         0     51234      6405    586568   no data   no data
713.42/178.61	c  N st    73   1168575       486      2109         0     82920      6405   1349884   no data   no data
752.17/188.31	c  N st    74   1209747       486      2109         0     77262      6405   1177295   no data   no data
752.17/188.31	c  S st    74   1209747       486      2109         0     77262      6405   1177295   no data   no data
753.37/188.60	c  S st    74   1210253       486      2109         0     77767      6405   1188980   no data   no data
753.37/188.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
753.37/188.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
753.37/188.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
753.37/188.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
753.37/188.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.37/188.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
753.37/188.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
753.37/188.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
753.77/188.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
776.14/194.34	c lits-rem:      1068  cl-subs:     4270  v-elim:      0  v-fix:    0  time:  5.62 s
776.14/194.34	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
776.14/194.35	c vivif2 --  cl tried    73497 cl shrink        0 lits rem          0 time: 0.02
776.54/194.44	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.09
776.54/194.45	c calculated reachability. Time: 0.00
776.54/194.45	c  N st    74   1210253       486      2109         0     73497      6405   1092159   no data   no data
849.24/212.63	c  N st    75   1283135       486      2109         0     50022      6405    498157   no data   no data
957.49/239.76	c  N st    76   1392459       486      2109         0     57994      6405    673777   no data   no data
1124.88/281.67	c  N st    77   1556443       486      2109         0     62767      6405    719802   no data   no data
1299.82/325.44	c  N st    78   1710253       486      2109         0    104585      6405   1693168   no data   no data
1299.82/325.44	c  S st    78   1710253       486      2109         0    104585      6405   1693168   no data   no data
1301.04/325.78	c  S st    78   1710759       486      2109         0    105090      6405   1704649   no data   no data
1301.04/325.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1301.42/325.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1301.42/325.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1301.42/325.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1301.42/325.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1301.42/325.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
1301.42/325.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1301.42/325.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1301.82/325.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1341.76/335.96	c lits-rem:       888  cl-subs:     7568  v-elim:      0  v-fix:    0  time: 10.05 s
1341.76/335.96	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1341.76/335.99	c vivif2 --  cl tried    97522 cl shrink        0 lits rem          0 time: 0.02
1342.16/336.09	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
1342.16/336.09	c calculated reachability. Time: 0.00
1342.16/336.09	c  N st    78   1710759       486      2109         0     97522      6405   1539650   no data   no data
1779.59/445.54	c  N st    79   2079723       486      2109         0    109396      6405   1695380   no data   no data
1932.96/483.90	c  N st    80   2210760       486      2109         0    113108      6405   1828419   no data   no data
1932.96/483.90	c  S st    80   2210760       486      2109         0    113108      6405   1828419   no data   no data
1934.16/484.27	c  S st    80   2211261       486      2109         0    113608      6405   1840180   no data   no data
1934.16/484.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1934.56/484.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1934.56/484.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1934.56/484.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1934.56/484.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1934.56/484.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
1934.56/484.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1934.56/484.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1934.96/484.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1975.70/494.67	c lits-rem:       635  cl-subs:     7113  v-elim:      0  v-fix:    0  time: 10.26 s
1975.70/494.67	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1975.70/494.70	c vivif2 --  cl tried   106495 cl shrink        0 lits rem          0 time: 0.02
1976.50/494.81	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.11
1976.50/494.81	c calculated reachability. Time: 0.00
1976.50/494.81	c  N st    80   2211261       486      2109         0    106495      6405   1679279   no data   no data
2623.24/656.71	c  N st    81   2711262       486      2109         0    129580      6405   2097487   no data   no data
2623.24/656.71	c  S st    81   2711262       486      2109         0    129580      6405   2097487   no data   no data
2624.82/657.16	c  S st    81   2711765       486      2109         0    130081      6405   2109066   no data   no data
2624.82/657.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2625.22/657.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2625.22/657.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2625.22/657.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2625.22/657.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2625.22/657.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
2625.22/657.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2625.22/657.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2625.62/657.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2694.72/674.63	c lits-rem:       845  cl-subs:    10487  v-elim:      0  v-fix:    0  time: 17.30 s
2694.72/674.63	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
2694.72/674.66	c vivif2 --  cl tried   119594 cl shrink        0 lits rem          0 time: 0.03
2695.12/674.79	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.13
2695.12/674.79	c calculated reachability. Time: 0.00
2695.12/674.80	c  N st    81   2711765       486      2109         0    119594      6405   1876433   no data   no data
3395.78/850.10	c  N st    82   3211768       486      2109         0     95570      6405   1124880   no data   no data
3395.78/850.10	c  S st    82   3211768       486      2109         0     95570      6405   1124880   no data   no data
3396.99/850.43	c  S st    82   3212275       486      2109         0     96076      6405   1136748   no data   no data
3396.99/850.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3396.99/850.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3396.99/850.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3396.99/850.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3396.99/850.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3396.99/850.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
3396.99/850.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3397.37/850.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3397.37/850.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3405.78/852.62	c lits-rem:       144  cl-subs:     4857  v-elim:      0  v-fix:    0  time:  2.08 s
3405.78/852.62	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
3405.78/852.63	c vivif2 --  cl tried    91219 cl shrink        0 lits rem          0 time: 0.02
3406.15/852.73	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.09
3406.15/852.73	c calculated reachability. Time: 0.00
3406.15/852.73	c  N st    82   3212275       486      2109         0     91219      6405   1043915   no data   no data
4117.21/1030.74	c  N st    83   3712275       486      2109         0    102079      6405   1232975   no data   no data
4117.21/1030.74	c  S st    83   3712275       486      2109         0    102079      6405   1232975   no data   no data
4118.39/1031.08	c  S st    83   3712780       486      2109         0    102582      6405   1245309   no data   no data
4118.39/1031.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4118.79/1031.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4118.79/1031.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4118.79/1031.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4118.79/1031.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4118.79/1031.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    486 time:  0.00 s
4118.79/1031.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4118.79/1031.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4119.19/1031.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4126.77/1033.18	c lits-rem:       227  cl-subs:     3464  v-elim:      0  v-fix:    0  time:  1.98 s
4126.77/1033.18	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
4127.16/1033.20	c vivif2 --  cl tried    99118 cl shrink        0 lits rem          0 time: 0.02
4127.56/1033.30	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
4127.56/1033.31	c calculated reachability. Time: 0.00
4127.56/1033.31	c  N st    83   3712780       486      2109         0     99118      6405   1171898   no data   no data
4187.51/1048.40	c  F st    84   3751564       486      2109         0    136546      6405   1998099   no data   no data
4187.51/1048.40	c  N st    84   3751564       486      2109         0    136546      6405   1998099   no data   no data
4197.48/1050.88	c Decided on static restart strategy
4242.22/1062.05	c  N st    94   3779867       486      2109         0    164125      6405   2656548   no data   no data
4292.55/1074.65	c  N st    96   3815861       486      2109         0    116794      6405   1556860   no data   no data
4341.71/1086.97	c  N st    97   3848253       486      2109         0    148147      6405   2303888   no data   no data
4422.36/1107.18	c  N st    98   3896841       486      2109         0    112096      6405   1410098   no data   no data
4533.41/1134.97	c  N st    99   3969724       486      2109         0     98488      6405   1081200   no data   no data
4701.19/1176.98	c  N st   100   4079050       486      2109         0    119295      6405   1543496   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: 977)

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-3366560-1307654844/watcher-3366560-1307654844 -o /tmp/evaluation-result-3366560-1307654844/solver-3366560-1307654844 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366560-1307654844.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.13 8.00 6.18 1/172 22151
/proc/meminfo: memFree=32052896/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 877085373 52396032 348 33554432000 4194304 4580107 140735969976736 18446744073709551615 47095099508658 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 12792 348 299 95 0 7774 0
[pid=22151/tid=22153] ppid=22149 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877085373 52396032 348 33554432000 4194304 4580107 140735969976736 18446744073709551615 47095099508658 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877085374 52396032 348 33554432000 4194304 4580107 140735969976736 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877085374 52396032 348 33554432000 4194304 4580107 140735969976736 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.131553 s]
/proc/loadavg: 8.13 8.00 6.18 1/172 22151
/proc/meminfo: memFree=32052896/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=282340 CPUtime=0.5 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 1769 0 0 0 50 0 0 0 25 0 4 0 877085373 289116160 1676 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 70585 1676 377 95 0 65567 0
[pid=22151/tid=22153] ppid=22149 vsize=282340 CPUtime=0.12 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 393 0 0 0 12 0 0 0 25 0 4 0 877085373 289116160 1676 33554432000 4194304 4580107 140735969976736 18446744073709551615 4324385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=282340 CPUtime=0.12 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 336 0 0 0 12 0 0 0 25 0 4 0 877085374 289116160 1676 33554432000 4194304 4580107 140735969976736 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=282340 CPUtime=0.12 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 272 0 0 0 12 0 0 0 25 0 4 0 877085374 289116160 1676 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 282340

[startup+0.200541 s]
/proc/loadavg: 8.13 8.00 6.18 1/172 22151
/proc/meminfo: memFree=32052896/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=283756 CPUtime=0.77 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 2275 0 0 0 77 0 0 0 25 0 4 0 877085373 290566144 1639 33554432000 4194304 4580107 140735969976736 18446744073709551615 4321348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 70939 1639 377 95 0 65921 0
[pid=22151/tid=22153] ppid=22149 vsize=283756 CPUtime=0.19 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 521 0 0 0 19 0 0 0 25 0 4 0 877085373 290566144 1639 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=283756 CPUtime=0.19 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 461 0 0 0 19 0 0 0 25 0 4 0 877085374 290566144 1639 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=283756 CPUtime=0.19 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 404 0 0 0 19 0 0 0 25 0 4 0 877085374 290566144 1639 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283756

[startup+0.300523 s]
/proc/loadavg: 8.13 8.00 6.18 1/172 22151
/proc/meminfo: memFree=32052896/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=283916 CPUtime=1.17 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 2658 0 0 0 117 0 0 0 25 0 4 0 877085373 290729984 2022 33554432000 4194304 4580107 140735969976736 18446744073709551615 4318850 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 70979 2022 377 95 0 65961 0
[pid=22151/tid=22153] ppid=22149 vsize=283916 CPUtime=0.29 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 621 0 0 0 29 0 0 0 25 0 4 0 877085373 290729984 2022 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=283916 CPUtime=0.29 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 541 0 0 0 29 0 0 0 25 0 4 0 877085374 290729984 2022 33554432000 4194304 4580107 140735969976736 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=283916 CPUtime=0.29 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 503 0 0 0 29 0 0 0 25 0 4 0 877085374 290729984 2022 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293138 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) 283916

[startup+0.700453 s]
/proc/loadavg: 8.13 8.00 6.18 1/172 22151
/proc/meminfo: memFree=32052896/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=284692 CPUtime=2.77 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 4171 0 0 0 277 0 0 0 25 0 4 0 877085373 291524608 2707 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 71173 2707 377 95 0 66155 0
[pid=22151/tid=22153] ppid=22149 vsize=284692 CPUtime=0.69 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 1017 0 0 0 69 0 0 0 25 0 4 0 877085373 291524608 2707 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=284692 CPUtime=0.69 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 896 0 0 0 69 0 0 0 25 0 4 0 877085374 291524608 2707 33554432000 4194304 4580107 140735969976736 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=284692 CPUtime=0.69 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 901 0 0 0 69 0 0 0 25 0 4 0 877085374 291524608 2707 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294551 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) 284692

[startup+1.50031 s]
/proc/loadavg: 8.13 8.00 6.18 9/184 22170
/proc/meminfo: memFree=32024668/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=285920 CPUtime=5.96 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 8298 0 0 0 595 1 0 0 25 0 4 0 877085373 292782080 4350 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 71480 4350 379 95 0 66462 0
[pid=22151/tid=22153] ppid=22149 vsize=285920 CPUtime=1.49 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 1756 0 0 0 149 0 0 0 25 0 4 0 877085373 292782080 4350 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=285920 CPUtime=1.48 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 1620 0 0 0 148 0 0 0 25 0 4 0 877085374 292782080 4350 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=285920 CPUtime=1.48 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 1628 0 0 0 148 0 0 0 25 0 4 0 877085374 292782080 4350 33554432000 4194304 4580107 140735969976736 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285920

[startup+3.10103 s]
/proc/loadavg: 8.13 8.00 6.18 9/184 22170
/proc/meminfo: memFree=31995028/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=283680 CPUtime=12.36 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 17088 0 0 0 1233 3 0 0 25 0 4 0 877085373 290488320 8254 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 70920 8254 379 95 0 65902 0
[pid=22151/tid=22153] ppid=22149 vsize=283680 CPUtime=3.09 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 4013 0 0 0 309 0 0 0 25 0 4 0 877085373 290488320 8254 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=283680 CPUtime=3.08 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 4701 0 0 0 308 0 0 0 25 0 4 0 877085374 290488320 8254 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=283680 CPUtime=3.07 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 3961 0 0 0 307 0 0 0 25 0 4 0 877085374 290488320 8254 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283680

[startup+6.30046 s]
/proc/loadavg: 8.12 8.00 6.19 9/184 22170
/proc/meminfo: memFree=31947312/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=297080 CPUtime=25.15 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 27124 0 0 0 2510 5 0 0 25 0 4 0 877085373 304209920 11757 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 74270 11757 379 95 0 69252 0
[pid=22151/tid=22153] ppid=22149 vsize=297080 CPUtime=6.29 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 7336 0 0 0 628 1 0 0 25 0 4 0 877085373 304209920 11757 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=297080 CPUtime=6.28 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 7678 0 0 0 627 1 0 0 25 0 4 0 877085374 304209920 11757 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=297080 CPUtime=6.26 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 5762 0 0 0 625 1 0 0 25 0 4 0 877085374 304209920 11757 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 297080

[startup+12.7003 s]
/proc/loadavg: 8.11 8.00 6.20 9/184 22170
/proc/meminfo: memFree=31870144/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=307468 CPUtime=50.7 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 44102 0 0 0 5062 8 0 0 25 0 4 0 877085373 314847232 17858 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 76867 17858 379 95 0 71849 0
[pid=22151/tid=22153] ppid=22149 vsize=307468 CPUtime=12.69 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 11306 0 0 0 1267 2 0 0 25 0 4 0 877085373 314847232 17858 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=307468 CPUtime=12.68 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 10617 0 0 0 1266 2 0 0 25 0 4 0 877085374 314847232 17858 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=307468 CPUtime=12.62 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 10636 0 0 0 1261 1 0 0 25 0 4 0 877085374 314847232 17858 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 307468

[startup+25.5011 s]
/proc/loadavg: 8.09 8.00 6.23 9/184 22171
/proc/meminfo: memFree=31829984/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=308460 CPUtime=101.83 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 66990 0 0 0 10171 12 0 0 25 0 4 0 877085373 315863040 23535 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 77115 23535 379 95 0 72097 0
[pid=22151/tid=22153] ppid=22149 vsize=308460 CPUtime=25.49 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 18024 0 0 0 2546 3 0 0 25 0 4 0 877085373 315863040 23535 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=308460 CPUtime=25.48 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 16359 0 0 0 2545 3 0 0 25 0 4 0 877085374 315863040 23535 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=308460 CPUtime=25.35 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 15148 0 0 0 2533 2 0 0 25 0 4 0 877085374 315863040 23535 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 308460

[startup+51.1005 s]
/proc/loadavg: 8.11 8.01 6.28 9/184 22171
/proc/meminfo: memFree=31784224/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=311828 CPUtime=204.1 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 102756 0 0 0 20388 22 0 0 25 0 4 0 877085373 319311872 28798 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 77957 28798 379 95 0 72939 0
[pid=22151/tid=22153] ppid=22149 vsize=311828 CPUtime=51.08 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 27880 0 0 0 5103 5 0 0 25 0 4 0 877085373 319311872 28798 33554432000 4194304 4580107 140735969976736 18446744073709551615 4322541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=311828 CPUtime=51.08 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 25535 0 0 0 5103 5 0 0 25 0 4 0 877085374 319311872 28798 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=311828 CPUtime=50.82 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 23248 0 0 0 5077 5 0 0 25 0 4 0 877085374 319311872 28798 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 311828

[startup+102.3 s]
/proc/loadavg: 8.16 8.04 6.38 9/184 22173
/proc/meminfo: memFree=31717112/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=316944 CPUtime=408.64 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 155799 0 0 0 40828 36 0 0 25 0 4 0 877085373 324550656 35477 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 79236 35477 379 95 0 74218 0
[pid=22151/tid=22153] ppid=22149 vsize=316944 CPUtime=102.29 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 42050 0 0 0 10220 9 0 0 25 0 4 0 877085373 324550656 35477 33554432000 4194304 4580107 140735969976736 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=316944 CPUtime=102.28 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 35986 0 0 0 10220 8 0 0 25 0 4 0 877085374 324550656 35477 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=316944 CPUtime=101.76 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 37569 0 0 0 10168 8 0 0 25 0 4 0 877085374 324550656 35477 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 316944

[startup+162.301 s]

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

[pid=22151] ppid=22149 vsize=486436 CPUtime=2565.7 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 478199 0 0 0 256418 152 0 0 25 0 4 0 877085373 498110464 80304 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 121609 80304 379 95 0 116591 0
[pid=22151/tid=22153] ppid=22149 vsize=486436 CPUtime=642.3 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 125792 0 0 0 64191 39 0 0 25 0 4 0 877085373 498110464 80304 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=486436 CPUtime=642.29 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 118024 0 0 0 64190 39 0 0 25 0 4 0 877085374 498110464 80304 33554432000 4194304 4580107 140735969976736 18446744073709551615 4322754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=486436 CPUtime=638.84 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 118182 0 0 0 63845 39 0 0 25 0 4 0 877085374 498110464 80304 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 486436

[startup+702.301 s]
/proc/loadavg: 8.11 8.10 7.19 9/184 22189
/proc/meminfo: memFree=31274640/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=553844 CPUtime=2805.38 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 506917 0 0 0 280375 163 0 0 25 0 4 0 877085373 567136256 85914 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 138461 85914 379 95 0 133443 0
[pid=22151/tid=22153] ppid=22149 vsize=553844 CPUtime=702.3 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 132285 0 0 0 70187 43 0 0 25 0 4 0 877085373 567136256 85914 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=553844 CPUtime=702.29 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 125046 0 0 0 70187 42 0 0 25 0 4 0 877085374 567136256 85914 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=553844 CPUtime=698.51 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 125441 0 0 0 69810 41 0 0 25 0 4 0 877085374 567136256 85914 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 553844

[startup+762.301 s]
/proc/loadavg: 8.04 8.08 7.24 9/184 22190
/proc/meminfo: memFree=31227496/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=541672 CPUtime=3045.06 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 527744 0 0 0 304332 174 0 0 25 0 4 0 877085373 554672128 86906 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 135418 86906 379 95 0 130400 0
[pid=22151/tid=22153] ppid=22149 vsize=541672 CPUtime=762.3 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 136323 0 0 0 76186 44 0 0 25 0 4 0 877085373 554672128 86906 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=541672 CPUtime=762.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 131248 0 0 0 76184 46 0 0 25 0 4 0 877085374 554672128 86906 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=541672 CPUtime=758.19 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 131718 0 0 0 75774 45 0 0 25 0 4 0 877085374 554672128 86906 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 541672

[startup+822.301 s]
/proc/loadavg: 8.01 8.06 7.28 9/184 22192
/proc/meminfo: memFree=31216804/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=607432 CPUtime=3284.72 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 550613 0 0 0 328289 183 0 0 25 0 4 0 877085373 622010368 95378 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 151858 95378 379 95 0 146840 0
[pid=22151/tid=22153] ppid=22149 vsize=607432 CPUtime=822.3 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 143131 0 0 0 82183 47 0 0 25 0 4 0 877085373 622010368 95378 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=607432 CPUtime=822.29 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 137023 0 0 0 82181 48 0 0 25 0 4 0 877085374 622010368 95378 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=607432 CPUtime=817.86 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 136201 0 0 0 81740 46 0 0 25 0 4 0 877085374 622010368 95378 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 607432

[startup+882.306 s]
/proc/loadavg: 8.07 8.06 7.33 9/184 22193
/proc/meminfo: memFree=31123532/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=618528 CPUtime=3524.42 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 573661 0 0 0 352250 192 0 0 25 0 4 0 877085373 633372672 109231 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 154632 109231 379 95 0 149614 0
[pid=22151/tid=22153] ppid=22149 vsize=618528 CPUtime=882.31 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 149470 0 0 0 88181 50 0 0 25 0 4 0 877085373 633372672 109231 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=618528 CPUtime=882.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 144300 0 0 0 88180 50 0 0 25 0 4 0 877085374 633372672 109231 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=618528 CPUtime=877.54 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 139482 0 0 0 87707 47 0 0 25 0 4 0 877085374 633372672 109231 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 618528

[startup+942.301 s]
/proc/loadavg: 8.08 8.06 7.37 9/184 22195
/proc/meminfo: memFree=31138756/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=618756 CPUtime=3764.07 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 590097 0 0 0 376208 199 0 0 25 0 4 0 877085373 633606144 104112 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 154689 104112 379 95 0 149671 0
[pid=22151/tid=22153] ppid=22149 vsize=618756 CPUtime=942.3 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 156109 0 0 0 94177 53 0 0 25 0 4 0 877085373 633606144 104112 33554432000 4194304 4580107 140735969976736 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=618756 CPUtime=942.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 147439 0 0 0 94179 51 0 0 25 0 4 0 877085374 633606144 104112 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=618756 CPUtime=937.21 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 142946 0 0 0 93672 49 0 0 25 0 4 0 877085374 633606144 104112 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 618756

[startup+1002.3 s]
/proc/loadavg: 8.08 8.06 7.41 9/184 22197
/proc/meminfo: memFree=31040644/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=683232 CPUtime=4003.74 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 614063 0 0 0 400164 210 0 0 25 0 4 0 877085373 699629568 108232 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 170808 108232 379 95 0 165790 0
[pid=22151/tid=22153] ppid=22149 vsize=683232 CPUtime=1002.31 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 163898 0 0 0 100175 56 0 0 25 0 4 0 877085373 699629568 108232 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=683232 CPUtime=1002.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 153412 0 0 0 100176 54 0 0 25 0 4 0 877085374 699629568 108232 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=683232 CPUtime=996.88 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 148698 0 0 0 99637 51 0 0 25 0 4 0 877085374 699629568 108232 33554432000 4194304 4580107 140735969976736 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 683232

[startup+1062.3 s]
/proc/loadavg: 8.08 8.06 7.46 9/184 22198
/proc/meminfo: memFree=31039740/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=632296 CPUtime=4243.42 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 632926 0 0 0 424121 221 0 0 25 0 4 0 877085373 647471104 110358 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 158074 110358 379 95 0 153056 0
[pid=22151/tid=22153] ppid=22149 vsize=632296 CPUtime=1062.31 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 169761 0 0 0 106171 60 0 0 25 0 4 0 877085373 647471104 110358 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=632296 CPUtime=1062.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 159224 0 0 0 106173 57 0 0 25 0 4 0 877085374 647471104 110358 33554432000 4194304 4580107 140735969976736 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=632296 CPUtime=1056.56 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 152635 0 0 0 105603 53 0 0 25 0 4 0 877085374 647471104 110358 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 632296

[startup+1122.3 s]
/proc/loadavg: 8.07 8.06 7.49 9/184 22200
/proc/meminfo: memFree=31054076/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=569220 CPUtime=4483.08 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 657812 0 0 0 448075 233 0 0 25 0 4 0 877085373 582881280 104386 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 142305 104386 379 95 0 137287 0
[pid=22151/tid=22153] ppid=22149 vsize=569220 CPUtime=1122.31 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 175879 0 0 0 112168 63 0 0 25 0 4 0 877085373 582881280 104386 33554432000 4194304 4580107 140735969976736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=569220 CPUtime=1122.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 165682 0 0 0 112170 60 0 0 25 0 4 0 877085374 582881280 104386 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=569220 CPUtime=1116.23 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 158864 0 0 0 111567 56 0 0 25 0 4 0 877085374 582881280 104386 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 569220

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 7.52 9/184 22201
/proc/meminfo: memFree=31026136/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=621840 CPUtime=4722.76 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 676846 0 0 0 472036 240 0 0 25 0 4 0 877085373 636764160 110023 33554432000 4194304 4580107 140735969976736 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 155460 110023 379 95 0 150442 0
[pid=22151/tid=22153] ppid=22149 vsize=621840 CPUtime=1182.31 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 177903 0 0 0 118167 64 0 0 25 0 4 0 877085373 636764160 110023 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=621840 CPUtime=1182.3 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 171045 0 0 0 118168 62 0 0 25 0 4 0 877085374 636764160 110023 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=621840 CPUtime=1175.9 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 164459 0 0 0 117533 57 0 0 25 0 4 0 877085374 636764160 110023 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 621840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.07 7.54 9/184 22202
/proc/meminfo: memFree=31029468/32951124 swapFree=67052292/67111528
[pid=22151] ppid=22149 vsize=635052 CPUtime=4800.26 cores=0,2,4,6
/proc/22151/stat : 22151 (strangenight2-m) R 22149 22151 21755 0 -1 4202496 684610 0 0 0 479784 242 0 0 25 0 4 0 877085373 650293248 114133 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22151/statm: 158763 114133 379 95 0 153745 0
[pid=22151/tid=22153] ppid=22149 vsize=635052 CPUtime=1201.72 cores=0,2,4,6
/proc/22151/task/22153/stat : 22153 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 179865 0 0 0 120107 65 0 0 25 0 4 0 877085373 650293248 114133 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22151/tid=22155] ppid=22149 vsize=635052 CPUtime=1201.71 cores=0,2,4,6
/proc/22151/task/22155/stat : 22155 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 173508 0 0 0 120108 63 0 0 25 0 4 0 877085374 650293248 114133 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22151/tid=22156] ppid=22149 vsize=635052 CPUtime=1195.2 cores=0,2,4,6
/proc/22151/task/22156/stat : 22156 (strangenight2-m) R 22149 22151 21755 0 -1 4202560 165610 0 0 0 119462 58 0 0 25 0 4 0 877085374 650293248 114133 33554432000 4194304 4580107 140735969976736 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 635052

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.32
CPU user time (s): 4797.87
CPU system time (s): 2.44763
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 698084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.44763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 684611
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= 346
involuntary context switches= 20688

runsolver used 2.03069 second user time and 4.50432 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-09 23:27:24
IDJOB=3366560
IDBENCH=82969
IDSOLVER=1844
FILE ID=node108/3366560-1307654844
RUNJOBID= node108-1307653640-22019
PBS_JOBID= 13549416
Free space on /tmp= 74084 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366560-1307654844/watcher-3366560-1307654844 -o /tmp/evaluation-result-3366560-1307654844/solver-3366560-1307654844 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366560-1307654844.cnf

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

MD5SUM BENCH= b1bf2be38e1cea16efc5e7effa1a10c7
RANDOM SEED=586902424

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32053332 kB
Buffers:        228360 kB
Cached:         425916 kB
SwapCached:      25900 kB
Active:         390320 kB
Inactive:       295592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32053332 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:       26552 kB
Mapped:           8868 kB
Slab:           147576 kB
PageTables:       4300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186644 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= 74076 MiB
End job on node108 at 2011-06-09 23:47:28