Trace number 3366802

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)SAT 4197.82 1054.15

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
MD5SUM22bc1843113c53c5f8a8f8cec42dcbe5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark240.682
Satisfiable
(Un)Satisfiability was proved
Number of variables352
Number of clauses2492
Sum of the clauses size11032
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41592
Number of clauses of size 5736
Number of clauses of size over 5164

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-3366802-1305416363.cnf'
0.00/0.00	c -- header says num vars:            352
0.00/0.00	c -- header says num clauses:        2492
0.00/0.00	c -- clauses added:            0 learnts,         2492 normals,            0 xors
0.00/0.00	c -- vars added        352
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       352      2492         0         0     11032         0   no data   no data
0.00/0.01	c asymm  cl-useful: 115/2492/2492 lits-rem:115 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:    352 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.36/0.65	c lits-rem:      1529  cl-subs:      758  v-elim:      0  v-fix:    0  time:  0.00 s
2.36/0.65	c Finding binary XORs  T:     0.00 s  found:       0
2.36/0.65	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.36/0.65	c calculated reachability. Time: 0.00
2.36/0.65	c Calc default polars -  time:   0.00 s pos:     119 undec:     104 neg:     129
2.36/0.65	c =========================================================================================
2.36/0.65	c types(t): F = full restart, N = normal restart
2.36/0.65	c types(t): S = simplification begin/end, E = solution found
2.36/0.65	c restart types(rt): st = static, dy = dynamic
2.36/0.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.36/0.65	c  B st     0         0       352      1734         0         0      6096         0   no data   no data
2.36/0.65	c Decided on static restart strategy
2.36/0.65	c  N st     8      4914       352      1734         2      4612      6096     97685   no data   no data
2.36/0.65	c  N st    10     11297       352      1734         2      4227      6096     56607   no data   no data
2.36/0.81	c  N st    11     17041       352      1734         2      9471      6096    182859   no data   no data
2.88/1.21	c  F st    12     25000       352      1734         2     11757      6096    233034   no data   no data
2.88/1.21	c  N st    12     25000       352      1734         2     11757      6096    233034   no data   no data
2.88/1.49	c Decided on static restart strategy
2.88/1.49	c  N st    18     30001       352      1734         2      9994      6096    174585   no data   no data
2.88/1.49	c  S st    18     30001       352      1734         2      9994      6096    174585   no data   no data
2.88/1.52	c  S st    18     30504       352      1734         2     10479      6096    186392   no data   no data
2.88/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2.88/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
2.88/1.53	c Replacing        1 vars Replaced     2836 lits Time:     0.00 s 
2.88/1.53	c blocked clauses removed:        0 vars:      0 tried:         351 T: 0.00 s
2.88/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.88/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.88/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    351 time:  0.00 s
2.88/1.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.88/1.54	c lits-rem:         0  cl-subs:        6  v-elim:      2  v-fix:    0  time:  0.00 s
2.88/1.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.88/1.84	c lits-rem:       996  cl-subs:     2305  v-elim:      0  v-fix:    0  time:  0.23 s
2.88/1.85	c asymm  cl-useful: 2/1724/1724 lits-rem:2 time: 0.01
2.88/1.85	c calculated reachability. Time: 0.00
2.88/1.85	c  N st    18     30504       349      1724         0      8138      6059    137536   no data   no data
5.66/2.24	c  N st    20     37615       349      1724         0      7555      6059    103285   no data   no data
5.66/2.64	c  N st    21     44015       349      1724         0     13507      6059    244299   no data   no data
5.66/2.76	c  S st    22     45758       349      1724         0     15133      6059    284993   no data   no data
8.69/2.81	c  S st    22     46259       349      1724         0     15609      6056    296872   no data   no data
8.69/2.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.69/2.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.69/2.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.69/2.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.69/2.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.69/2.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
8.69/2.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.69/2.82	c lits-rem:        10  cl-subs:        7  v-elim:      0  v-fix:    0  time:  0.00 s
8.69/2.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.69/3.56	c lits-rem:       638  cl-subs:     4596  v-elim:      0  v-fix:    0  time:  0.71 s
8.69/3.56	c vivif2 --  cl tried     1708 cl shrink        0 lits rem          0 time: 0.00
8.69/3.56	c vivif2 --  cl tried    11022 cl shrink        0 lits rem          0 time: 0.00
8.69/3.57	c asymm  cl-useful: 3/1708/1708 lits-rem:3 time: 0.01
8.69/3.57	c calculated reachability. Time: 0.00
8.69/3.57	c  N st    22     46259       349      1708         0     11022      5973    194187   no data   no data
14.84/4.56	c  N st    23     60657       349      1708         0     16139      5973    290838   no data   no data
17.68/5.24	c  N st    24     69388       349      1708         0     14940      5973    258999   no data   no data
17.68/5.24	c  S st    24     69388       349      1708         0     14940      5973    258999   no data   no data
17.68/5.29	c  S st    24     69896       349      1708         0     15432      5971    270825   no data   no data
17.68/5.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.03/5.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
18.03/5.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18.03/5.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.03/5.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.03/5.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
18.03/5.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.03/5.30	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.00 s
18.03/5.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.02/5.83	c lits-rem:       853  cl-subs:     3373  v-elim:      0  v-fix:    0  time:  0.52 s
20.02/5.83	c vivif2 --  cl tried     1699 cl shrink        0 lits rem          0 time: 0.00
20.02/5.83	c vivif2 --  cl tried    12062 cl shrink        0 lits rem          0 time: 0.00
20.02/5.84	c asymm  cl-useful: 8/1699/1699 lits-rem:8 time: 0.01
20.02/5.84	c calculated reachability. Time: 0.00
20.02/5.84	c  N st    24     69896       349      1699         0     12062      5912    204904   no data   no data
25.20/7.10	c  F st    25     87500       349      1699         0     18191      5912    327277   no data   no data
25.20/7.10	c  N st    25     87500       349      1699         0     18191      5912    327277   no data   no data
26.78/7.56	c Decided on static restart strategy
27.58/7.77	c  N st    32     95540       349      1699         0     14842      5912    241533   no data   no data
30.41/8.50	c  N st    34    104845       349      1699         0     23432      5912    448728   no data   no data
30.41/8.50	c  S st    34    104845       349      1699         0     23432      5912    448728   no data   no data
30.82/8.59	c  S st    34    105351       349      1699         0     12011      5912    163936   no data   no data
30.82/8.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.82/8.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
30.82/8.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30.82/8.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.82/8.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.82/8.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
31.17/8.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.17/8.60	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
31.17/8.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.17/8.67	c lits-rem:       167  cl-subs:      724  v-elim:      0  v-fix:    0  time:  0.06 s
31.17/8.67	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
31.17/8.67	c vivif2 --  cl tried    11289 cl shrink        0 lits rem          0 time: 0.00
31.17/8.68	c asymm  cl-useful: 2/1692/1692 lits-rem:2 time: 0.01
31.17/8.68	c calculated reachability. Time: 0.00
31.17/8.68	c  N st    34    105351       349      1692         0     11289      5871    151460   no data   no data
33.97/9.37	c  N st    35    114949       349      1692         0     20147      5871    375981   no data   no data
38.76/10.58	c  N st    36    129347       349      1692         0     20238      5871    341846   no data   no data
47.13/12.61	c  N st    37    150942       349      1692         0     26379      5871    451597   no data   no data
49.52/13.20	c  S st    38    158026       349      1692         0     18452      5871    293491   no data   no data
49.52/13.26	c  S st    38    158529       349      1692         0     18939      5871    305781   no data   no data
49.52/13.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.52/13.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
49.52/13.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.52/13.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.52/13.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.52/13.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
49.52/13.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.52/13.27	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.00 s
49.52/13.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.12/13.61	c lits-rem:       546  cl-subs:     2081  v-elim:      0  v-fix:    0  time:  0.33 s
51.12/13.61	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
51.12/13.61	c vivif2 --  cl tried    16858 cl shrink        0 lits rem          0 time: 0.00
51.12/13.62	c asymm  cl-useful: 2/1690/1690 lits-rem:2 time: 0.01
51.12/13.62	c calculated reachability. Time: 0.00
51.12/13.62	c  N st    38    158529       349      1690         0     16858      5860    267602   no data   no data
67.04/17.64	c  N st    39    207117       349      1690         0     29682      5860    575565   no data   no data
79.80/20.88	c  N st    40    237793       349      1690         0     21858      5860    333193   no data   no data
79.80/20.88	c  S st    40    237793       349      1690         0     21858      5860    333193   no data   no data
80.20/20.96	c  S st    40    238295       349      1690         0     22344      5860    345498   no data   no data
80.20/20.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.20/20.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
80.20/20.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.20/20.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.20/20.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.20/20.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
80.20/20.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.20/20.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
80.20/20.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.20/21.49	c lits-rem:       443  cl-subs:     3272  v-elim:      0  v-fix:    0  time:  0.51 s
82.20/21.49	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
82.20/21.49	c vivif2 --  cl tried    19072 cl shrink        0 lits rem          0 time: 0.00
82.60/21.50	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.01
82.60/21.51	c calculated reachability. Time: 0.00
82.60/21.51	c  N st    40    238295       349      1690         0     19072      5859    284940   no data   no data
111.30/28.73	c  F st    41    306250       349      1690         0     42451      5859    771394   no data   no data
111.30/28.73	c  N st    41    306250       349      1690         0     42451      5859    771394   no data   no data
113.31/29.27	c Decided on static restart strategy
123.65/31.85	c  N st    51    334555       349      1690         0     25248      5859    385767   no data   no data
134.82/34.63	c  N st    53    357443       349      1690         0     23211      5859    331513   no data   no data
134.82/34.63	c  S st    53    357443       349      1690         0     23211      5859    331513   no data   no data
135.23/34.70	c  S st    53    357947       349      1690         0     23695      5859    343339   no data   no data
135.23/34.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.23/34.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
135.23/34.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.23/34.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.23/34.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.23/34.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
135.23/34.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.23/34.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
135.23/34.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.10/35.00	c lits-rem:       715  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  0.28 s
136.10/35.00	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
136.10/35.01	c vivif2 --  cl tried    22578 cl shrink        0 lits rem          0 time: 0.00
136.10/35.02	c asymm  cl-useful: 1/1690/1690 lits-rem:1 time: 0.02
136.10/35.02	c calculated reachability. Time: 0.00
136.10/35.02	c  N st    53    357947       349      1690         0     22578      5858    325217   no data   no data
149.93/38.47	c  N st    54    390340       349      1690         0     28409      5858    446540   no data   no data
173.87/44.46	c  N st    55    438928       349      1690         0     47904      5858    879770   no data   no data
212.14/54.01	c  N st    56    511811       349      1690         0     35175      5858    556300   no data   no data
226.09/57.54	c  N st    57    536920       349      1690         0     29896      5858    442313   no data   no data
226.09/57.54	c  S st    57    536920       349      1690         0     29896      5858    442313   no data   no data
226.49/57.63	c  S st    57    537424       349      1690         0     30390      5858    455055   no data   no data
226.49/57.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.49/57.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
226.49/57.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.49/57.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.49/57.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.49/57.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
226.49/57.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
226.49/57.65	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
226.49/57.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
229.28/58.36	c lits-rem:       820  cl-subs:     2603  v-elim:      0  v-fix:    0  time:  0.70 s
229.28/58.36	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
229.28/58.37	c vivif2 --  cl tried    27787 cl shrink        0 lits rem          0 time: 0.00
229.28/58.39	c asymm  cl-useful: 15/1689/1689 lits-rem:15 time: 0.02
229.28/58.39	c calculated reachability. Time: 0.00
229.28/58.39	c  N st    57    537424       349      1689         0     27787      5837    411906   no data   no data
319.40/80.94	c  N st    58    701410       349      1689         0     56672      5837    963945   no data   no data
381.40/96.94	c  N st    59    806136       349      1689         0     49706      5837    813759   no data   no data
381.40/96.94	c  S st    59    806136       349      1689         0     49706      5837    813759   no data   no data
382.19/97.13	c  S st    59    806640       349      1689         0     50200      5837    827244   no data   no data
382.19/97.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
382.19/97.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
382.19/97.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
382.19/97.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.19/97.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.19/97.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
382.19/97.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
382.19/97.17	c lits-rem:         7  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
382.59/97.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.67/107.02	c lits-rem:      1329  cl-subs:    15373  v-elim:      0  v-fix:    0  time:  9.81 s
421.67/107.02	c vivif2 --  cl tried     1672 cl shrink        0 lits rem          0 time: 0.00
421.67/107.03	c vivif2 --  cl tried    34830 cl shrink        0 lits rem          0 time: 0.01
421.67/107.07	c asymm  cl-useful: 2/1672/1672 lits-rem:2 time: 0.04
421.67/107.07	c calculated reachability. Time: 0.00
421.67/107.07	c  N st    59    806640       349      1672         0     34830      5763    535026   no data   no data
583.09/147.55	c  F st    60   1071876       349      1672         0     51350      5763    827811   no data   no data
583.09/147.55	c  N st    60   1071876       349      1672         0     51350      5763    827811   no data   no data
586.29/148.30	c Decided on static restart strategy
600.30/151.89	c  N st    70   1100178       349      1672         0     77267      5763   1436688   no data   no data
621.80/157.26	c  N st    72   1136170       349      1672         0     69034      5763   1280067   no data   no data
642.51/162.46	c  N st    73   1168563       349      1672         0     56171      5763    942875   no data   no data
669.22/169.17	c  N st    74   1209960       349      1672         0     51030      5763    809076   no data   no data
669.22/169.17	c  S st    74   1209960       349      1672         0     51030      5763    809076   no data   no data
670.04/169.33	c  S st    74   1210460       349      1672         0     51520      5763    822517   no data   no data
670.04/169.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
670.04/169.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
670.04/169.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
670.04/169.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
670.04/169.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
670.04/169.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
670.04/169.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
670.04/169.36	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
670.04/169.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
684.77/173.05	c lits-rem:      2761  cl-subs:     8593  v-elim:      0  v-fix:    0  time:  3.67 s
684.77/173.05	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
684.77/173.06	c vivif2 --  cl tried    42927 cl shrink        0 lits rem          0 time: 0.01
684.77/173.09	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.03
684.77/173.09	c calculated reachability. Time: 0.00
684.77/173.09	c  N st    74   1210460       349      1671         0     42927      5759    671176   no data   no data
734.61/185.51	c  N st    75   1283342       349      1671         0     65948      5759   1106560   no data   no data
802.79/202.68	c  N st    76   1392666       349      1671         0     75199      5759   1332821   no data   no data
891.32/224.89	c  N st    77   1556650       349      1671         0     81198      5759   1367585   no data   no data
985.41/248.45	c  N st    78   1710461       349      1671         0     71343      5759   1170179   no data   no data
985.41/248.45	c  S st    78   1710461       349      1671         0     71343      5759   1170179   no data   no data
986.99/248.82	c  S st    78   1710962       349      1671         0     71832      5759   1182955   no data   no data
986.99/248.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
986.99/248.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
986.99/248.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
986.99/248.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
986.99/248.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
986.99/248.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
986.99/248.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
986.99/248.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
987.39/248.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1042.01/262.62	c lits-rem:      6868  cl-subs:    16955  v-elim:      0  v-fix:    0  time: 13.70 s
1042.01/262.62	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
1042.01/262.64	c vivif2 --  cl tried    54877 cl shrink        0 lits rem          0 time: 0.01
1042.01/262.69	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.05
1042.01/262.69	c calculated reachability. Time: 0.00
1042.01/262.69	c  N st    78   1710962       349      1671         0     54877      5759    895908   no data   no data
1276.88/321.51	c  N st    79   2079928       349      1671         0     67406      5759   1029442   no data   no data
1362.21/342.92	c  N st    80   2210962       349      1671         0     71286      5759   1104282   no data   no data
1362.21/342.92	c  S st    80   2210962       349      1671         0     71286      5759   1104282   no data   no data
1363.03/343.18	c  S st    80   2211464       349      1671         0     71778      5759   1116646   no data   no data
1363.03/343.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1363.44/343.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1363.44/343.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1363.44/343.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1363.44/343.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1363.44/343.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1363.44/343.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1363.44/343.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1363.44/343.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1406.89/354.13	c lits-rem:      5055  cl-subs:    11643  v-elim:      0  v-fix:    0  time: 10.85 s
1406.89/354.13	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
1406.89/354.14	c vivif2 --  cl tried    60135 cl shrink        0 lits rem          0 time: 0.01
1406.89/354.20	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.06
1406.89/354.20	c calculated reachability. Time: 0.00
1406.89/354.20	c  N st    80   2211464       349      1671         0     60135      5759    913171   no data   no data
1749.42/440.04	c  N st    81   2711465       349      1671         0     82858      5759   1275721   no data   no data
1749.42/440.04	c  S st    81   2711465       349      1671         0     82858      5759   1275721   no data   no data
1750.96/440.49	c  S st    81   2711968       349      1671         0     83346      5759   1288608   no data   no data
1751.36/440.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1751.36/440.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
1751.36/440.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1751.36/440.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1751.36/440.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1751.36/440.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1751.36/440.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1751.36/440.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1751.76/440.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1854.23/466.35	c lits-rem:      2639  cl-subs:    18441  v-elim:      0  v-fix:    0  time: 25.73 s
1854.23/466.35	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
1854.23/466.36	c vivif2 --  cl tried    64905 cl shrink        0 lits rem          0 time: 0.02
1854.64/466.45	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.08
1854.64/466.45	c calculated reachability. Time: 0.00
1854.64/466.45	c  N st    81   2711968       349      1671         0     64905      5759    977481   no data   no data
2222.25/558.69	c  N st    82   3211969       349      1671         0    113286      5759   1849839   no data   no data
2222.25/558.69	c  S st    82   3211969       349      1671         0    113286      5759   1849839   no data   no data
2224.24/559.10	c  S st    82   3212470       349      1671         0    113778      5759   1863769   no data   no data
2224.24/559.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2224.24/559.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2224.24/559.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2224.24/559.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2224.24/559.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2224.24/559.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
2224.24/559.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2224.24/559.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2224.64/559.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2508.46/630.41	c lits-rem:      4117  cl-subs:    31908  v-elim:      0  v-fix:    0  time: 71.18 s
2508.46/630.41	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
2508.46/630.43	c vivif2 --  cl tried    81870 cl shrink        0 lits rem          0 time: 0.02
2508.86/630.57	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.14
2508.86/630.58	c calculated reachability. Time: 0.00
2508.86/630.58	c  N st    82   3212470       349      1671         0     81870      5759   1351662   no data   no data
2930.67/736.37	c  N st    83   3712471       349      1671         0    101247      5759   1572892   no data   no data
2930.67/736.37	c  S st    83   3712471       349      1671         0    101247      5759   1572892   no data   no data
2932.66/736.88	c  S st    83   3712975       349      1671         0    101738      5759   1586727   no data   no data
2932.66/736.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2933.09/736.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
2933.09/736.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2933.09/736.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2933.09/736.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2933.09/736.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
2933.09/736.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2933.09/736.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2933.09/736.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3006.02/755.29	c lits-rem:      3631  cl-subs:    20046  v-elim:      0  v-fix:    0  time: 18.29 s
3006.02/755.29	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
3006.42/755.31	c vivif2 --  cl tried    81692 cl shrink        0 lits rem          0 time: 0.02
3006.82/755.40	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.09
3006.82/755.40	c calculated reachability. Time: 0.00
3006.82/755.40	c  N st    83   3712975       349      1671         0     81692      5759   1266928   no data   no data
3033.97/762.22	c  F st    84   3751564       349      1671         0    116327      5759   1993783   no data   no data
3033.97/762.22	c  N st    84   3751564       349      1671         0    116327      5759   1993783   no data   no data
3037.93/763.30	c Decided on static restart strategy
3061.04/769.00	c  N st    94   3779867       349      1671         0    141839      5759   2574566   no data   no data
3095.77/777.71	c  N st    96   3815860       349      1671         0     99717      5759   1618024   no data   no data
3127.61/785.70	c  N st    97   3848252       349      1671         0    128905      5759   2251587   no data   no data
3176.26/797.91	c  N st    98   3896840       349      1671         0     96305      5759   1514378   no data   no data
3256.80/818.16	c  N st    99   3969722       349      1671         0     84577      5759   1252991   no data   no data
3343.33/839.86	c  N st   100   4079045       349      1671         0    104107      5759   1630999   no data   no data
3458.96/868.83	c  N st   101   4212975       349      1671         0    144578      5759   2447918   no data   no data
3458.96/868.83	c  S st   101   4212975       349      1671         0    144578      5759   2447918   no data   no data
3461.35/869.46	c  S st   101   4213479       349      1671         0    145071      5759   2461371   no data   no data
3461.35/869.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3461.75/869.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.06
3461.75/869.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3461.75/869.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3461.75/869.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3461.75/869.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
3461.75/869.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3461.75/869.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3462.15/869.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4132.67/1037.81	c lits-rem:      5151  cl-subs:    47469  v-elim:      0  v-fix:    0  time: 168.18 s
4132.67/1037.81	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
4132.67/1037.85	c vivif2 --  cl tried    97602 cl shrink        0 lits rem          0 time: 0.03
4133.47/1038.07	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.23
4133.47/1038.08	c calculated reachability. Time: 0.00
4133.47/1038.08	c  N st   101   4213479       349      1671         0     97602      5759   1626514   no data   no data
4197.66/1054.12	c  E st   102   4280888         0      1671         0     81768      5759   1194364   no data   no data
4197.66/1054.13	c Verified 1671 clauses.
4197.66/1054.13	c Solution needs extension. Extending.
4197.66/1054.13	c Verified 1671 clauses.
4197.66/1054.13	c Following stats are for *FIRST FINISHED THREAD ONLY*
4197.66/1054.13	c num threads              : 4          
4197.66/1054.13	c restarts                 : 102        
4197.66/1054.13	c dynamic restarts         : 0          
4197.66/1054.13	c static restarts          : 102        
4197.66/1054.13	c full restarts            : 5          
4197.66/1054.13	c total simplify time      : 0.00       
4197.66/1054.13	c learnts DL2              : 0          
4197.66/1054.13	c learnts size 2           : 2          
4197.66/1054.13	c learnts size 1           : 0           (0.00      % of vars)
4197.66/1054.13	c filedLit time            : 0.34        (0.03      % time)
4197.66/1054.13	c v-elim SatELite          : 2           (0.57      % vars)
4197.66/1054.13	c SatELite time            : 324.60      (30.81     % time)
4197.66/1054.13	c v-elim xor               : 0           (0.00      % vars)
4197.66/1054.13	c xor elim time            : 0.06        (0.01      % time)
4197.66/1054.13	c num binary xor trees     : 1          
4197.66/1054.13	c binxor trees' crown      : 1           (1.00      leafs/tree)
4197.66/1054.13	c bin xor find time        : 0.00       
4197.66/1054.13	c OTF clause improved      : 401919      (0.09      clauses/conflict)
4197.66/1054.13	c OTF impr. size diff      : 411240      (1.02       lits/clause)
4197.66/1054.13	c OTF cl watch-shrink      : 59814       (0.01      clauses/conflict)
4197.66/1054.13	c OTF cl watch-sh-lit      : 115582      (1.93       lits/clause)
4197.66/1054.13	c tried to recurMin cls    : 77524       (1.81       % of conflicts)
4197.66/1054.13	c updated cache            : 3095        (0.04       lits/tried recurMin)
4197.66/1054.13	c unit cls recevied        : 0           (nan       % of units)
4197.66/1054.13	c unit cls sent            : 0           (nan       % of units)
4197.66/1054.13	c bin cls recevied         : 0          
4197.66/1054.13	c bin cls sent             : 0          
4197.66/1054.13	c clauses over max glue    : 0           (0.00      % of all clauses)
4197.66/1054.13	c conflicts                : 4280888     (4063.45   / sec)
4197.66/1054.13	c decisions                : 4550055     (0.35      % random)
4197.66/1054.13	c bogo-props               : 232522598688 (220712317.45 / sec)
4197.66/1054.13	c conflict literals        : 89161274    (33.19     % deleted)
4197.66/1054.13	c Memory used              : 577.93      MB
4197.66/1054.13	c single-thread CPU time   : 1053.51     s
4197.66/1054.13	c all-threads sum CPU time : 4196.01     s
4197.66/1054.13	s SATISFIABLE
4197.66/1054.13	v -1 2 -3 4 -5 -6 7 -8 -9 10 11 12 13 -14 -15 16 17 18 -19 -20 21 22 23 -24 -25 -26 27 28 -29 30 31 32 -33 -34 35 -36 37 -38 -39 40 -41 -42 43 44 -45 -46 -47 48 49 50 51 -52 -53 -54 -55 56 57 -58 -59 -60 -61 -62 63 -64 -65 -66 67 68 -69 -70 71 -72 -73 -74 75 76 77 -78 79 -80 -81 82 -83 84 85 -86 -87 -88 89 -90 91 -92 93 -94 95 -96 -97 98 -99 -100 -101 -102 -103 -104 105 106 -107 108 -109 110 111 -112 113 -114 -115 116 117 -118 119 -120 -121 122 -123 124 -125 126 127 128 -129 130 131 -132 -133 134 135 136 -137 138 139 -140 -141 -142 -143 144 -145 146 147 148 149 -150 -151 -152 153 154 -155 -156 157 -158 159 160 -161 162 -163 -164 165 166 -167 168 -169 170 171 172 173 -174 -175 -176 177 -178 -179 -180 181 -182 183 -184 185 -186 -187 -188 -189 190 191 -192 -193 194 195 -196 -197 -198 -199 200 201 202 203 204 -205 -206 -207 208 -209 -210 -211 212 -213 -214 -215 -216 -217 -218 -219 220 -221 222 223 224 -225 -226 227 228 -229 230 231 232 -233 234 -235 236 -237 238 -239 240 241 -242 -243 244 -245 246 247 -248 249 250 251 -252 253 -254 -255 256 257 -258 259 -260 -261 262 -263 264 -265 -266 267 268 -269 -270 -271 272 273 274 -275 276 277 278 279 -280 281 -282 283 -284 -285 286 -287 288 -289 -290 -291 292 293 -294 295 296 297 -298 -299 300 -301 -302 -303 304 -305 306 307 -308 -309 -310 311 -312 313 -314 -315 -316 -317 -318 319 -320 -321 322 323 -324 -325 -326 327 328 -329 330 331 332 333 -334 -335 -336 -337 -338 -339 340 -341 -342 -343 344 -345 346 347 -348 -349 350 351 352 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.48 7.86 5.88 8/358 14936
/proc/meminfo: memFree=21732692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=216284 CPUtime=0.01 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 833 0 0 0 1 0 0 0 25 0 4 0 653235911 221474816 753 33554432000 4194304 4580107 140737417830992 18446744073709551615 210647251487 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 54071 753 352 95 0 49053 0
[pid=14936/tid=14937] ppid=14934 vsize=216416 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 146 0 0 0 0 0 0 0 18 0 4 0 653235911 221609984 853 33554432000 4194304 4580107 140737417830992 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=216416 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 143 0 0 0 0 0 0 0 25 0 4 0 653235911 221609984 856 33554432000 4194304 4580107 140737417830992 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=216416 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 4 0 653235911 221609984 857 33554432000 4194304 4580107 140737417830992 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.108057 s]
/proc/loadavg: 7.48 7.86 5.88 8/358 14936
/proc/meminfo: memFree=21732692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=282744 CPUtime=0.39 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 1799 0 0 0 39 0 0 0 18 0 4 0 653235911 289529856 1558 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 70686 1558 377 95 0 65668 0
[pid=14936/tid=14937] ppid=14934 vsize=282744 CPUtime=0.09 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 370 0 0 0 9 0 0 0 18 0 4 0 653235911 289529856 1558 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=282744 CPUtime=0.09 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 408 0 0 0 9 0 0 0 25 0 4 0 653235911 289529856 1558 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=282744 CPUtime=0.09 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 241 0 0 0 9 0 0 0 18 0 4 0 653235911 289529856 1558 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282744

[startup+0.201041 s]
/proc/loadavg: 7.48 7.86 5.88 8/358 14936
/proc/meminfo: memFree=21732692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=283388 CPUtime=0.76 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 2243 0 0 0 76 0 0 0 18 0 4 0 653235911 290189312 1621 33554432000 4194304 4580107 140737417830992 18446744073709551615 4321207 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 70847 1621 377 95 0 65829 0
[pid=14936/tid=14937] ppid=14934 vsize=283388 CPUtime=0.19 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 487 0 0 0 19 0 0 0 18 0 4 0 653235911 290189312 1621 33554432000 4194304 4580107 140737417830992 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=283388 CPUtime=0.19 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 520 0 0 0 19 0 0 0 25 0 4 0 653235911 290189312 1621 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=283388 CPUtime=0.18 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 333 0 0 0 18 0 0 0 18 0 4 0 653235911 290189312 1622 33554432000 4194304 4580107 140737417830992 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 283388

[startup+0.301024 s]
/proc/loadavg: 7.48 7.86 5.88 8/358 14936
/proc/meminfo: memFree=21732692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=283704 CPUtime=1.16 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 2576 0 0 0 116 0 0 0 18 0 4 0 653235911 290512896 1954 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 70926 1954 377 95 0 65908 0
[pid=14936/tid=14937] ppid=14934 vsize=283704 CPUtime=0.29 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 551 0 0 0 29 0 0 0 18 0 4 0 653235911 290512896 1954 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=283704 CPUtime=0.29 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 601 0 0 0 29 0 0 0 25 0 4 0 653235911 290512896 1954 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=283704 CPUtime=0.28 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 434 0 0 0 28 0 0 0 18 0 4 0 653235911 290512896 1954 33554432000 4194304 4580107 140737417830992 18446744073709551615 4320780 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283704

[startup+0.704809 s]
/proc/loadavg: 7.48 7.86 5.88 8/358 14936
/proc/meminfo: memFree=21732692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=284804 CPUtime=2.88 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 4019 0 0 0 285 3 0 0 18 0 4 0 653235911 291639296 2397 33554432000 4194304 4580107 140737417830992 18446744073709551615 4321828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 71230 2359 377 95 0 66212 0
[pid=14936/tid=14937] ppid=14934 vsize=285020 CPUtime=0.91 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 1161 0 0 0 91 0 0 0 19 0 4 0 653235911 291860480 2407 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=285020 CPUtime=0.69 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 893 0 0 0 67 2 0 0 25 0 4 0 653235911 291860480 2496 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=285020 CPUtime=1 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 1026 0 0 0 100 0 0 0 19 0 4 0 653235911 291860480 2565 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 284804

[startup+1.61755 s]
/proc/loadavg: 7.48 7.86 5.88 8/358 14936
/proc/meminfo: memFree=21732692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=276908 CPUtime=5.66 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 6997 0 0 0 552 14 0 0 18 0 4 0 653235911 283553792 3993 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 69227 4073 380 95 0 64209 0
[pid=14936/tid=14937] ppid=14934 vsize=276972 CPUtime=1.76 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 1856 0 0 0 174 2 0 0 20 0 4 0 653235911 283619328 3936 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=286096 CPUtime=0.83 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 893 0 0 0 80 3 0 0 25 0 4 0 653235911 292962304 4802 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=286244 CPUtime=2.1 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 1745 0 0 0 209 1 0 0 21 0 4 0 653235911 293113856 4929 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 276908

[startup+3.77527 s]
/proc/loadavg: 7.68 7.90 5.90 9/362 14940
/proc/meminfo: memFree=21672996/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=278820 CPUtime=13.48 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 13836 0 0 0 1329 19 0 0 22 0 4 0 653235911 285511680 7135 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294418 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 69705 7135 380 95 0 64687 0
[pid=14936/tid=14937] ppid=14934 vsize=278820 CPUtime=3.39 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 3461 0 0 0 336 3 0 0 25 0 4 0 653235911 285511680 7140 33554432000 4194304 4580107 140737417830992 18446744073709551615 4339051 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=278820 CPUtime=1.83 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 1441 0 0 0 178 5 0 0 25 0 4 0 653235911 285511680 7140 33554432000 4194304 4580107 140737417830992 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=278820 CPUtime=4.1 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 4067 0 0 0 409 1 0 0 25 0 4 0 653235911 285511680 7140 33554432000 4194304 4580107 140737417830992 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 278820

[startup+6.31301 s]
/proc/loadavg: 7.68 7.90 5.90 9/362 14940
/proc/meminfo: memFree=21651692/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=296800 CPUtime=22.06 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 19987 0 0 0 2185 21 0 0 25 0 4 0 653235911 303923200 11075 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 74200 11075 380 95 0 69182 0
[pid=14936/tid=14937] ppid=14934 vsize=296800 CPUtime=5.51 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 4904 0 0 0 547 4 0 0 25 0 4 0 653235911 303923200 11075 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=296800 CPUtime=3.98 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 4002 0 0 0 393 5 0 0 25 0 4 0 653235911 303923200 11075 33554432000 4194304 4580107 140737417830992 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=296800 CPUtime=6.25 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 4976 0 0 0 624 1 0 0 25 0 4 0 653235911 303923200 11075 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 296800

[startup+12.7009 s]
/proc/loadavg: 7.71 7.90 5.91 9/362 14940
/proc/meminfo: memFree=21632256/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=306992 CPUtime=47.53 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 32701 0 0 0 4730 23 0 0 25 0 4 0 653235911 314359808 14297 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 76748 14297 380 95 0 71730 0
[pid=14936/tid=14937] ppid=14934 vsize=306992 CPUtime=11.82 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 7916 0 0 0 1177 5 0 0 25 0 4 0 653235911 314359808 14297 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=306992 CPUtime=10.37 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 7344 0 0 0 1032 5 0 0 25 0 4 0 653235911 314359808 14297 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=306992 CPUtime=12.63 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 8406 0 0 0 1261 2 0 0 25 0 4 0 653235911 314359808 14297 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.53
Current children cumulated vsize (KiB) 306992

[startup+25.5008 s]
/proc/loadavg: 7.77 7.90 5.94 9/362 14940
/proc/meminfo: memFree=21596984/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=286276 CPUtime=98.55 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 53425 0 0 0 9823 32 0 0 25 0 4 0 653235911 293146624 18636 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 71569 18636 380 95 0 66551 0
[pid=14936/tid=14937] ppid=14934 vsize=286276 CPUtime=24.45 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 13378 0 0 0 2434 11 0 0 25 0 4 0 653235911 293146624 18636 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=286276 CPUtime=23.16 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 12823 0 0 0 2310 6 0 0 25 0 4 0 653235911 293146624 18636 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=286276 CPUtime=25.43 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 12663 0 0 0 2540 3 0 0 25 0 4 0 653235911 293146624 18636 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.55
Current children cumulated vsize (KiB) 286276

[startup+51.1005 s]
/proc/loadavg: 7.85 7.91 6.00 9/362 14941
/proc/meminfo: memFree=21519952/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=296604 CPUtime=200.57 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 84180 0 0 0 20019 38 0 0 25 0 4 0 653235911 303722496 26727 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 74151 26727 380 95 0 69133 0
[pid=14936/tid=14937] ppid=14934 vsize=296604 CPUtime=49.69 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 21727 0 0 0 4956 13 0 0 25 0 4 0 653235911 303722496 26727 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=296604 CPUtime=48.77 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 20923 0 0 0 4869 8 0 0 25 0 4 0 653235911 303722496 26727 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=296604 CPUtime=51.02 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 18657 0 0 0 5098 4 0 0 25 0 4 0 653235911 303722496 26727 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.57
Current children cumulated vsize (KiB) 296604

[startup+102.314 s]
/proc/loadavg: 7.93 7.92 6.10 9/362 15002
/proc/meminfo: memFree=21208500/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=385332 CPUtime=402.98 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 118626 0 0 0 40250 48 0 0 25 0 4 0 653235911 394579968 38574 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 96333 38574 380 95 0 91315 0
[pid=14936/tid=14937] ppid=14934 vsize=385332 CPUtime=100.05 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 30026 0 0 0 9989 16 0 0 25 0 4 0 653235911 394579968 38574 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=385332 CPUtime=99.98 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 27831 0 0 0 9989 9 0 0 25 0 4 0 653235911 394579968 38574 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=385332 CPUtime=100.65 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 27216 0 0 0 10060 5 0 0 25 0 4 0 653235911 394579968 38574 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 402.98
Current children cumulated vsize (KiB) 385332

[startup+162.301 s]

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

/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 65369 0 0 0 81119 33 0 0 25 0 4 0 653235911 606142464 92359 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3273.54
Current children cumulated vsize (KiB) 591936

[startup+882.3 s]
/proc/loadavg: 8.16 8.12 7.24 9/362 15023
/proc/meminfo: memFree=19196796/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=606120 CPUtime=3512.78 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 436197 0 0 0 351112 166 0 0 25 0 4 0 653235911 620666880 92102 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 151530 92102 380 95 0 146512 0
[pid=14936/tid=14937] ppid=14934 vsize=606120 CPUtime=879.9 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 142429 0 0 0 87938 52 0 0 25 0 4 0 653235911 620666880 92102 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=606120 CPUtime=879.94 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 100646 0 0 0 87962 32 0 0 25 0 4 0 653235911 620666880 92102 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=606120 CPUtime=870.76 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 68137 0 0 0 87041 35 0 0 25 0 4 0 653235911 620666880 92102 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3512.78
Current children cumulated vsize (KiB) 606120

[startup+942.301 s]
/proc/loadavg: 8.13 8.11 7.29 9/362 15025
/proc/meminfo: memFree=19253192/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=606120 CPUtime=3751.97 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 449193 0 0 0 375024 173 0 0 25 0 4 0 653235911 620666880 99430 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 151530 99430 380 95 0 146512 0
[pid=14936/tid=14937] ppid=14934 vsize=606120 CPUtime=939.89 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 146601 0 0 0 93935 54 0 0 25 0 4 0 653235911 620666880 99430 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=606120 CPUtime=939.93 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 106726 0 0 0 93959 34 0 0 25 0 4 0 653235911 620666880 99430 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=606120 CPUtime=929.97 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 70881 0 0 0 92960 37 0 0 25 0 4 0 653235911 620666880 99430 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3751.97
Current children cumulated vsize (KiB) 606120

[startup+1002.3 s]
/proc/loadavg: 8.16 8.12 7.34 9/362 15026
/proc/meminfo: memFree=19112932/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=606432 CPUtime=3991.15 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 451166 0 0 0 398940 175 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406375 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 151608 101403 380 95 0 146590 0
[pid=14936/tid=14937] ppid=14934 vsize=606432 CPUtime=999.88 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 146601 0 0 0 99933 55 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=606432 CPUtime=999.93 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 99958 35 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=606432 CPUtime=989.17 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71900 0 0 0 98878 39 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3991.15
Current children cumulated vsize (KiB) 606432

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

[startup+1028.3 s]
/proc/loadavg: 8.10 8.11 7.36 9/362 15027
/proc/meminfo: memFree=19041248/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=606432 CPUtime=4094.8 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 451166 0 0 0 409305 175 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 151608 101403 380 95 0 146590 0
[pid=14936/tid=14937] ppid=14934 vsize=606432 CPUtime=1025.88 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 146601 0 0 0 102533 55 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=606432 CPUtime=1025.93 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 102558 35 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=606432 CPUtime=1014.82 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71900 0 0 0 101443 39 0 0 25 0 4 0 653235911 620986368 101403 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4094.8
Current children cumulated vsize (KiB) 606432

[startup+1041.1 s]
/proc/loadavg: 8.08 8.10 7.37 9/362 15028
/proc/meminfo: memFree=19120976/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=606432 CPUtime=4145.82 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 451462 0 0 0 414405 177 0 0 25 0 4 0 653235911 620986368 101139 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 151608 101139 380 95 0 146590 0
[pid=14936/tid=14937] ppid=14934 vsize=606432 CPUtime=1038.67 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 146601 0 0 0 103812 55 0 0 25 0 4 0 653235911 620986368 101139 33554432000 4194304 4580107 140737417830992 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=606432 CPUtime=1038.73 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 103838 35 0 0 25 0 4 0 653235911 620986368 101139 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=606432 CPUtime=1027.45 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71900 0 0 0 102705 40 0 0 25 0 4 0 653235911 620986368 101139 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4145.82
Current children cumulated vsize (KiB) 606432

[startup+1047.5 s]
/proc/loadavg: 8.07 8.10 7.37 9/362 15028
/proc/meminfo: memFree=19137336/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=664988 CPUtime=4171.34 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 452260 0 0 0 416956 178 0 0 25 0 4 0 653235911 680947712 101653 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 166247 101653 380 95 0 161229 0
[pid=14936/tid=14937] ppid=14934 vsize=664988 CPUtime=1045.07 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 146812 0 0 0 104452 55 0 0 25 0 4 0 653235911 680947712 101653 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=664988 CPUtime=1045.13 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 104478 35 0 0 25 0 4 0 653235911 680947712 101653 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=664988 CPUtime=1033.77 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71900 0 0 0 103337 40 0 0 25 0 4 0 653235911 680947712 101653 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4171.34
Current children cumulated vsize (KiB) 664988

[startup+1050.7 s]
/proc/loadavg: 8.07 8.10 7.37 9/362 15028
/proc/meminfo: memFree=19108940/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=664988 CPUtime=4184.1 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 452917 0 0 0 418232 178 0 0 25 0 4 0 653235911 680947712 102310 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 166247 102310 380 95 0 161229 0
[pid=14936/tid=14937] ppid=14934 vsize=664988 CPUtime=1048.27 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 147193 0 0 0 104772 55 0 0 25 0 4 0 653235911 680947712 102310 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=664988 CPUtime=1048.33 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 104798 35 0 0 25 0 4 0 653235911 680947712 102310 33554432000 4194304 4580107 140737417830992 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=664988 CPUtime=1036.93 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71900 0 0 0 103653 40 0 0 25 0 4 0 653235911 680947712 102310 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4184.1
Current children cumulated vsize (KiB) 664988

[startup+1052.3 s]
/proc/loadavg: 8.07 8.10 7.37 9/362 15028
/proc/meminfo: memFree=19101248/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=664988 CPUtime=4190.49 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 453207 0 0 0 418871 178 0 0 25 0 4 0 653235911 680947712 102600 33554432000 4194304 4580107 140737417830992 18446744073709551615 4317025 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 166247 102600 380 95 0 161229 0
[pid=14936/tid=14937] ppid=14934 vsize=664988 CPUtime=1049.86 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 147353 0 0 0 104931 55 0 0 25 0 4 0 653235911 680947712 102600 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=664988 CPUtime=1049.93 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 104958 35 0 0 25 0 4 0 653235911 680947712 102600 33554432000 4194304 4580107 140737417830992 18446744073709551615 4416085 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=664988 CPUtime=1038.52 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71900 0 0 0 103812 40 0 0 25 0 4 0 653235911 680947712 102600 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4190.49
Current children cumulated vsize (KiB) 664988

[startup+1053.1 s]
/proc/loadavg: 8.07 8.10 7.37 9/362 15028
/proc/meminfo: memFree=19092940/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=664988 CPUtime=4193.67 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 453301 0 0 0 419189 178 0 0 25 0 4 0 653235911 680947712 102694 33554432000 4194304 4580107 140737417830992 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 166247 102694 380 95 0 161229 0
[pid=14936/tid=14937] ppid=14934 vsize=664988 CPUtime=1050.66 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 147423 0 0 0 105011 55 0 0 25 0 4 0 653235911 680947712 102694 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=664988 CPUtime=1050.73 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107680 0 0 0 105038 35 0 0 25 0 4 0 653235911 680947712 102694 33554432000 4194304 4580107 140737417830992 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=664988 CPUtime=1039.31 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71913 0 0 0 103891 40 0 0 25 0 4 0 653235911 680947712 102694 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4193.67
Current children cumulated vsize (KiB) 664988

[startup+1053.9 s]
/proc/loadavg: 8.14 8.11 7.38 9/362 15028
/proc/meminfo: memFree=19096164/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=591792 CPUtime=4196.86 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 454860 0 0 0 419507 179 0 0 25 0 4 0 653235911 605995008 100104 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 147948 100104 380 95 0 142930 0
[pid=14936/tid=14937] ppid=14934 vsize=591792 CPUtime=1051.46 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 147509 0 0 0 105091 55 0 0 25 0 4 0 653235911 605995008 100104 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=591792 CPUtime=1051.53 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107740 0 0 0 105118 35 0 0 25 0 4 0 653235911 605995008 100104 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=591792 CPUtime=1040.1 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71977 0 0 0 103970 40 0 0 25 0 4 0 653235911 605995008 100104 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4196.86
Current children cumulated vsize (KiB) 591792

[startup+1054.1 s]
/proc/loadavg: 8.14 8.11 7.38 9/362 15028
/proc/meminfo: memFree=19096164/32951132 swapFree=64495980/67111528
[pid=14936] ppid=14934 vsize=591792 CPUtime=4197.66 cores=0,2,4,6
/proc/14936/stat : 14936 (strangenight2-m) R 14934 14936 14801 0 -1 4202496 454955 0 0 0 419587 179 0 0 25 0 4 0 653235911 605995008 100199 33554432000 4194304 4580107 140737417830992 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14936/statm: 147948 100199 380 95 0 142930 0
[pid=14936/tid=14937] ppid=14934 vsize=591792 CPUtime=1051.66 cores=0,2,4,6
/proc/14936/task/14937/stat : 14937 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 147528 0 0 0 105111 55 0 0 25 0 4 0 653235911 605995008 100199 33554432000 4194304 4580107 140737417830992 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14936/tid=14938] ppid=14934 vsize=591792 CPUtime=1051.73 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 107765 0 0 0 105138 35 0 0 25 0 4 0 653235911 605995008 100199 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14936/tid=14939] ppid=14934 vsize=591792 CPUtime=1040.3 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (strangenight2-m) R 14934 14936 14801 0 -1 4202560 71995 0 0 0 103990 40 0 0 25 0 4 0 653235911 605995008 100199 33554432000 4194304 4580107 140737417830992 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4197.66
Current children cumulated vsize (KiB) 591792

Child status: 10
Real time (s): 1054.15
CPU time (s): 4197.82
CPU user time (s): 4196.01
CPU system time (s): 1.80672
CPU usage (%): 398.218
Max. virtual memory (cumulated for all children) (KiB): 664988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4196.01
system time used= 1.80672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454977
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= 1014
involuntary context switches= 20880

runsolver used 4.04638 second user time and 9.76851 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-15 01:39:23
IDJOB=3366802
IDBENCH=85355
IDSOLVER=1844
FILE ID=node129/3366802-1305416363
RUNJOBID= node129-1305415156-14819
PBS_JOBID= 13324559
Free space on /tmp= 73356 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366802-1305416363/watcher-3366802-1305416363 -o /tmp/evaluation-result-3366802-1305416363/solver-3366802-1305416363 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366802-1305416363.cnf

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

MD5SUM BENCH= 22bc1843113c53c5f8a8f8cec42dcbe5
RANDOM SEED=1881824755

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.82
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.831
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.74
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.831
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.83
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.831
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.831
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:     32951132 kB
MemFree:      21732972 kB
Buffers:        245584 kB
Cached:        5794084 kB
SwapCached:      52668 kB
Active:        2892060 kB
Inactive:      8104524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      21732972 kB
SwapTotal:    67111528 kB
SwapFree:     64495980 kB
Dirty:           11004 kB
Writeback:          40 kB
AnonPages:     4913692 kB
Mapped:          17696 kB
Slab:           118560 kB
PageTables:      37848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 79829612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73352 MiB
End job on node129 at 2011-05-15 01:56:57