Trace number 3264839

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-mtSAT 4179.52 1046.62

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-3264839-1304128857.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
0.00/0.01	c lits-rem:      1529  cl-subs:      758  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     119 undec:     104 neg:     129
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       352      1734         0         0      6096         0   no data   no data
0.17/0.05	c Decided on static restart strategy
0.37/0.15	c  N st     8      4914       352      1734         2      4612      6096     97685   no data   no data
1.57/0.43	c  N st    10     11297       352      1734         2      4227      6096     56607   no data   no data
2.77/0.75	c  N st    11     17041       352      1734         2      9471      6096    182859   no data   no data
4.77/1.20	c  F st    12     25000       352      1734         2     11757      6096    233034   no data   no data
4.77/1.20	c  N st    12     25000       352      1734         2     11757      6096    233034   no data   no data
5.57/1.47	c Decided on static restart strategy
5.57/1.47	c  N st    18     30001       352      1734         2      9994      6096    174585   no data   no data
5.57/1.47	c  S st    18     30001       352      1734         2      9994      6096    174585   no data   no data
5.97/1.51	c  S st    18     30504       352      1734         2     10479      6096    186392   no data   no data
5.97/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.52	c Replacing        1 vars Replaced     2836 lits Time:     0.01 s 
5.97/1.52	c blocked clauses removed:        0 vars:      0 tried:         351 T: 0.00 s
5.97/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    351 time:  0.00 s
5.97/1.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.52	c lits-rem:         0  cl-subs:        6  v-elim:      2  v-fix:    0  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.76/1.75	c lits-rem:       996  cl-subs:     2305  v-elim:      0  v-fix:    0  time:  0.23 s
6.76/1.76	c asymm  cl-useful: 2/1724/1724 lits-rem:2 time: 0.01
6.76/1.76	c calculated reachability. Time: 0.00
6.76/1.76	c  N st    18     30504       349      1724         0      8138      6059    137536   no data   no data
8.39/2.16	c  N st    20     37615       349      1724         0      7555      6059    103285   no data   no data
9.96/2.55	c  N st    21     44015       349      1724         0     13507      6059    244299   no data   no data
10.36/2.67	c  S st    22     45758       349      1724         0     15133      6059    284993   no data   no data
10.76/2.72	c  S st    22     46259       349      1724         0     15609      6056    296872   no data   no data
10.76/2.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
10.76/2.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.76/2.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
10.76/2.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.73	c lits-rem:        10  cl-subs:        7  v-elim:      0  v-fix:    0  time:  0.00 s
10.76/2.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.56/3.46	c lits-rem:       638  cl-subs:     4596  v-elim:      0  v-fix:    0  time:  0.72 s
13.56/3.46	c vivif2 --  cl tried     1708 cl shrink        0 lits rem          0 time: 0.00
13.56/3.46	c vivif2 --  cl tried    11022 cl shrink        0 lits rem          0 time: 0.00
13.56/3.47	c asymm  cl-useful: 3/1708/1708 lits-rem:3 time: 0.01
13.56/3.47	c calculated reachability. Time: 0.00
13.56/3.47	c  N st    22     46259       349      1708         0     11022      5973    194187   no data   no data
17.57/4.45	c  N st    23     60657       349      1708         0     16139      5973    290838   no data   no data
20.33/5.13	c  N st    24     69388       349      1708         0     14940      5973    258999   no data   no data
20.33/5.13	c  S st    24     69388       349      1708         0     14940      5973    258999   no data   no data
20.33/5.18	c  S st    24     69896       349      1708         0     15432      5971    270825   no data   no data
20.33/5.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
20.33/5.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.33/5.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.33/5.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.33/5.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
20.33/5.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.33/5.19	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.00 s
20.33/5.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.72/5.71	c lits-rem:       853  cl-subs:     3373  v-elim:      0  v-fix:    0  time:  0.51 s
22.72/5.71	c vivif2 --  cl tried     1699 cl shrink        0 lits rem          0 time: 0.00
22.72/5.71	c vivif2 --  cl tried    12062 cl shrink        0 lits rem          0 time: 0.00
22.72/5.72	c asymm  cl-useful: 8/1699/1699 lits-rem:8 time: 0.01
22.72/5.72	c calculated reachability. Time: 0.00
22.72/5.72	c  N st    24     69896       349      1699         0     12062      5912    204904   no data   no data
27.51/6.97	c  F st    25     87500       349      1699         0     18191      5912    327277   no data   no data
27.51/6.97	c  N st    25     87500       349      1699         0     18191      5912    327277   no data   no data
29.51/7.43	c Decided on static restart strategy
30.33/7.64	c  N st    32     95540       349      1699         0     14842      5912    241533   no data   no data
33.11/8.36	c  N st    34    104845       349      1699         0     23432      5912    448728   no data   no data
33.11/8.36	c  S st    34    104845       349      1699         0     23432      5912    448728   no data   no data
33.51/8.46	c  S st    34    105351       349      1699         0     12011      5912    163936   no data   no data
33.51/8.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.51/8.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
33.51/8.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33.51/8.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.51/8.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.51/8.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
33.51/8.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.51/8.47	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
33.51/8.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.91/8.54	c lits-rem:       167  cl-subs:      724  v-elim:      0  v-fix:    0  time:  0.06 s
33.91/8.54	c vivif2 --  cl tried     1692 cl shrink        0 lits rem          0 time: 0.00
33.91/8.54	c vivif2 --  cl tried    11289 cl shrink        0 lits rem          0 time: 0.00
33.91/8.55	c asymm  cl-useful: 2/1692/1692 lits-rem:2 time: 0.01
33.91/8.55	c calculated reachability. Time: 0.00
33.91/8.55	c  N st    34    105351       349      1692         0     11289      5871    151460   no data   no data
36.70/9.23	c  N st    35    114949       349      1692         0     20147      5871    375981   no data   no data
41.50/10.43	c  N st    36    129347       349      1692         0     20238      5871    341846   no data   no data
49.48/12.45	c  N st    37    150942       349      1692         0     26379      5871    451597   no data   no data
51.89/13.04	c  S st    38    158026       349      1692         0     18452      5871    293491   no data   no data
51.89/13.10	c  S st    38    158529       349      1692         0     18939      5871    305781   no data   no data
51.89/13.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.89/13.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
51.89/13.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.89/13.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.89/13.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.89/13.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
51.89/13.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.30/13.11	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.01 s
52.30/13.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.48/13.45	c lits-rem:       546  cl-subs:     2081  v-elim:      0  v-fix:    0  time:  0.33 s
53.48/13.45	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
53.48/13.45	c vivif2 --  cl tried    16858 cl shrink        0 lits rem          0 time: 0.00
53.48/13.46	c asymm  cl-useful: 2/1690/1690 lits-rem:2 time: 0.01
53.48/13.46	c calculated reachability. Time: 0.00
53.48/13.46	c  N st    38    158529       349      1690         0     16858      5860    267602   no data   no data
69.47/17.47	c  N st    39    207117       349      1690         0     29682      5860    575565   no data   no data
82.24/20.68	c  N st    40    237793       349      1690         0     21858      5860    333193   no data   no data
82.24/20.68	c  S st    40    237793       349      1690         0     21858      5860    333193   no data   no data
82.64/20.75	c  S st    40    238295       349      1690         0     22344      5860    345498   no data   no data
82.64/20.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.64/20.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
82.64/20.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.64/20.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.64/20.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.64/20.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
82.64/20.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.64/20.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.64/20.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.64/21.27	c lits-rem:       443  cl-subs:     3272  v-elim:      0  v-fix:    0  time:  0.50 s
84.64/21.27	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
84.64/21.27	c vivif2 --  cl tried    19072 cl shrink        0 lits rem          0 time: 0.00
84.64/21.29	c asymm  cl-useful: 0/1690/1690 lits-rem:0 time: 0.01
84.64/21.29	c calculated reachability. Time: 0.00
84.64/21.29	c  N st    40    238295       349      1690         0     19072      5859    284940   no data   no data
113.41/28.46	c  F st    41    306250       349      1690         0     42451      5859    771394   no data   no data
113.41/28.46	c  N st    41    306250       349      1690         0     42451      5859    771394   no data   no data
115.80/29.02	c Decided on static restart strategy
126.19/31.60	c  N st    51    334555       349      1690         0     25248      5859    385767   no data   no data
136.98/34.37	c  N st    53    357443       349      1690         0     23211      5859    331513   no data   no data
136.98/34.37	c  S st    53    357443       349      1690         0     23211      5859    331513   no data   no data
137.38/34.44	c  S st    53    357947       349      1690         0     23695      5859    343339   no data   no data
137.38/34.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.38/34.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
137.38/34.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.38/34.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.38/34.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.38/34.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
137.38/34.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.38/34.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.38/34.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.57/34.74	c lits-rem:       715  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  0.28 s
138.57/34.74	c vivif2 --  cl tried     1690 cl shrink        0 lits rem          0 time: 0.00
138.57/34.75	c vivif2 --  cl tried    22578 cl shrink        0 lits rem          0 time: 0.00
138.57/34.76	c asymm  cl-useful: 1/1690/1690 lits-rem:1 time: 0.01
138.57/34.76	c calculated reachability. Time: 0.00
138.57/34.76	c  N st    53    357947       349      1690         0     22578      5858    325217   no data   no data
152.56/38.24	c  N st    54    390340       349      1690         0     28409      5858    446540   no data   no data
176.53/44.21	c  N st    55    438928       349      1690         0     47904      5858    879770   no data   no data
214.47/53.74	c  N st    56    511811       349      1690         0     35175      5858    556300   no data   no data
228.48/57.26	c  N st    57    536920       349      1690         0     29896      5858    442313   no data   no data
228.48/57.26	c  S st    57    536920       349      1690         0     29896      5858    442313   no data   no data
228.85/57.35	c  S st    57    537424       349      1690         0     30390      5858    455055   no data   no data
228.85/57.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
228.85/57.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
228.85/57.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
228.85/57.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
228.85/57.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
228.85/57.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
228.85/57.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
228.85/57.36	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
228.85/57.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.65/58.09	c lits-rem:       820  cl-subs:     2603  v-elim:      0  v-fix:    0  time:  0.71 s
231.65/58.09	c vivif2 --  cl tried     1689 cl shrink        0 lits rem          0 time: 0.00
231.65/58.09	c vivif2 --  cl tried    27787 cl shrink        0 lits rem          0 time: 0.00
232.05/58.11	c asymm  cl-useful: 15/1689/1689 lits-rem:15 time: 0.02
232.05/58.11	c calculated reachability. Time: 0.00
232.05/58.11	c  N st    57    537424       349      1689         0     27787      5837    411906   no data   no data
320.20/80.58	c  N st    58    701410       349      1689         0     56672      5837    963945   no data   no data
384.08/96.50	c  N st    59    806136       349      1689         0     49706      5837    813759   no data   no data
384.08/96.50	c  S st    59    806136       349      1689         0     49706      5837    813759   no data   no data
384.48/96.69	c  S st    59    806640       349      1689         0     50200      5837    827244   no data   no data
384.48/96.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
384.91/96.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
384.91/96.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
384.91/96.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
384.91/96.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
384.91/96.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
384.91/96.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
384.91/96.73	c lits-rem:         7  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
384.91/96.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
424.85/106.77	c lits-rem:      1329  cl-subs:    15373  v-elim:      0  v-fix:    0  time: 10.02 s
424.85/106.77	c vivif2 --  cl tried     1672 cl shrink        0 lits rem          0 time: 0.00
424.85/106.78	c vivif2 --  cl tried    34830 cl shrink        0 lits rem          0 time: 0.01
425.22/106.82	c asymm  cl-useful: 2/1672/1672 lits-rem:2 time: 0.03
425.22/106.82	c calculated reachability. Time: 0.00
425.22/106.82	c  N st    59    806640       349      1672         0     34830      5763    535026   no data   no data
585.81/147.06	c  F st    60   1071876       349      1672         0     51350      5763    827811   no data   no data
585.81/147.06	c  N st    60   1071876       349      1672         0     51350      5763    827811   no data   no data
588.61/147.80	c Decided on static restart strategy
602.99/151.37	c  N st    70   1100178       349      1672         0     77267      5763   1436688   no data   no data
624.56/156.71	c  N st    72   1136170       349      1672         0     69034      5763   1280067   no data   no data
644.55/161.77	c  N st    73   1168563       349      1672         0     56171      5763    942875   no data   no data
670.92/168.39	c  N st    74   1209960       349      1672         0     51030      5763    809076   no data   no data
670.92/168.39	c  S st    74   1209960       349      1672         0     51030      5763    809076   no data   no data
671.69/168.55	c  S st    74   1210460       349      1672         0     51520      5763    822517   no data   no data
671.69/168.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
671.69/168.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
671.69/168.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
671.69/168.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
671.69/168.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
671.69/168.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
671.69/168.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
671.69/168.59	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
672.09/168.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
686.48/172.27	c lits-rem:      2761  cl-subs:     8593  v-elim:      0  v-fix:    0  time:  3.67 s
686.48/172.27	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
686.48/172.28	c vivif2 --  cl tried    42927 cl shrink        0 lits rem          0 time: 0.01
686.88/172.32	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.03
686.88/172.32	c calculated reachability. Time: 0.00
686.88/172.32	c  N st    74   1210460       349      1671         0     42927      5759    671176   no data   no data
736.83/184.81	c  N st    75   1283342       349      1671         0     65948      5759   1106560   no data   no data
804.32/201.70	c  N st    76   1392666       349      1671         0     75199      5759   1332821   no data   no data
891.81/223.69	c  N st    77   1556650       349      1671         0     81198      5759   1367585   no data   no data
985.70/247.19	c  N st    78   1710461       349      1671         0     71343      5759   1170179   no data   no data
985.70/247.19	c  S st    78   1710461       349      1671         0     71343      5759   1170179   no data   no data
987.32/247.54	c  S st    78   1710962       349      1671         0     71832      5759   1182955   no data   no data
987.32/247.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
987.32/247.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
987.32/247.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
987.32/247.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
987.32/247.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
987.32/247.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
987.32/247.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
987.69/247.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
987.69/247.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1041.23/261.03	c lits-rem:      6868  cl-subs:    16955  v-elim:      0  v-fix:    0  time: 13.39 s
1041.23/261.03	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
1041.23/261.04	c vivif2 --  cl tried    54877 cl shrink        0 lits rem          0 time: 0.01
1041.23/261.09	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.05
1041.23/261.09	c calculated reachability. Time: 0.00
1041.23/261.09	c  N st    78   1710962       349      1671         0     54877      5759    895908   no data   no data
1274.93/319.54	c  N st    79   2079928       349      1671         0     67406      5759   1029442   no data   no data
1360.02/340.80	c  N st    80   2210962       349      1671         0     71286      5759   1104282   no data   no data
1360.02/340.80	c  S st    80   2210962       349      1671         0     71286      5759   1104282   no data   no data
1360.84/341.07	c  S st    80   2211464       349      1671         0     71778      5759   1116646   no data   no data
1360.84/341.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1361.21/341.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1361.21/341.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1361.21/341.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1361.21/341.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1361.21/341.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1361.21/341.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1361.21/341.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1361.21/341.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1404.78/352.02	c lits-rem:      5055  cl-subs:    11643  v-elim:      0  v-fix:    0  time: 10.86 s
1404.78/352.02	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
1404.78/352.03	c vivif2 --  cl tried    60135 cl shrink        0 lits rem          0 time: 0.01
1404.78/352.09	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.05
1404.78/352.09	c calculated reachability. Time: 0.00
1404.78/352.09	c  N st    80   2211464       349      1671         0     60135      5759    913171   no data   no data
1746.31/437.54	c  N st    81   2711465       349      1671         0     82858      5759   1275721   no data   no data
1746.31/437.54	c  S st    81   2711465       349      1671         0     82858      5759   1275721   no data   no data
1748.70/438.10	c  S st    81   2711968       349      1671         0     83346      5759   1288608   no data   no data
1748.70/438.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1748.70/438.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.06
1748.70/438.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1748.70/438.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1748.70/438.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1748.70/438.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
1748.70/438.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1749.10/438.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1749.10/438.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1837.79/460.49	c lits-rem:      2639  cl-subs:    18441  v-elim:      0  v-fix:    0  time: 22.24 s
1837.79/460.49	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
1838.19/460.50	c vivif2 --  cl tried    64905 cl shrink        0 lits rem          0 time: 0.01
1838.19/460.59	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.09
1838.19/460.59	c calculated reachability. Time: 0.00
1838.19/460.59	c  N st    81   2711968       349      1671         0     64905      5759    977481   no data   no data
2204.92/552.31	c  N st    82   3211969       349      1671         0    113286      5759   1849839   no data   no data
2204.92/552.31	c  S st    82   3211969       349      1671         0    113286      5759   1849839   no data   no data
2206.51/552.72	c  S st    82   3212470       349      1671         0    113778      5759   1863769   no data   no data
2206.51/552.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2206.51/552.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2206.51/552.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2206.51/552.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2206.51/552.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2206.51/552.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
2206.51/552.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2206.91/552.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2206.91/552.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2488.94/623.43	c lits-rem:      4117  cl-subs:    31908  v-elim:      0  v-fix:    0  time: 70.57 s
2488.94/623.43	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
2488.94/623.45	c vivif2 --  cl tried    81870 cl shrink        0 lits rem          0 time: 0.02
2489.34/623.60	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.14
2489.34/623.60	c calculated reachability. Time: 0.00
2489.34/623.60	c  N st    82   3212470       349      1671         0     81870      5759   1351662   no data   no data
2910.78/729.01	c  N st    83   3712471       349      1671         0    101247      5759   1572892   no data   no data
2910.78/729.01	c  S st    83   3712471       349      1671         0    101247      5759   1572892   no data   no data
2912.78/729.51	c  S st    83   3712975       349      1671         0    101738      5759   1586727   no data   no data
2912.78/729.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2912.78/729.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
2912.78/729.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2912.78/729.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2912.78/729.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2912.78/729.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
2912.78/729.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2912.78/729.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2913.18/729.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2991.47/749.23	c lits-rem:      3631  cl-subs:    20046  v-elim:      0  v-fix:    0  time: 19.61 s
2991.47/749.23	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
2991.47/749.26	c vivif2 --  cl tried    81692 cl shrink        0 lits rem          0 time: 0.02
2991.87/749.40	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.14
2992.27/749.40	c calculated reachability. Time: 0.00
2992.27/749.40	c  N st    83   3712975       349      1671         0     81692      5759   1266928   no data   no data
3022.23/756.98	c  F st    84   3751564       349      1671         0    116327      5759   1993783   no data   no data
3022.23/756.98	c  N st    84   3751564       349      1671         0    116327      5759   1993783   no data   no data
3027.03/758.19	c Decided on static restart strategy
3050.59/764.08	c  N st    94   3779867       349      1671         0    141839      5759   2574566   no data   no data
3086.16/772.98	c  N st    96   3815860       349      1671         0     99717      5759   1618024   no data   no data
3118.12/780.99	c  N st    97   3848252       349      1671         0    128905      5759   2251587   no data   no data
3167.24/793.28	c  N st    98   3896840       349      1671         0     96305      5759   1514378   no data   no data
3237.54/810.88	c  N st    99   3969722       349      1671         0     84577      5759   1252991   no data   no data
3323.44/832.34	c  N st   100   4079045       349      1671         0    104107      5759   1630999   no data   no data
3437.69/860.99	c  N st   101   4212975       349      1671         0    144578      5759   2447918   no data   no data
3437.69/860.99	c  S st   101   4212975       349      1671         0    144578      5759   2447918   no data   no data
3440.49/861.61	c  S st   101   4213479       349      1671         0    145071      5759   2461371   no data   no data
3440.49/861.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3440.49/861.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.06
3440.49/861.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3440.49/861.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3440.49/861.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3440.49/861.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    349 time:  0.00 s
3440.49/861.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3440.89/861.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3440.89/861.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4113.60/1030.13	c lits-rem:      5151  cl-subs:    47469  v-elim:      0  v-fix:    0  time: 168.35 s
4113.60/1030.14	c vivif2 --  cl tried     1671 cl shrink        0 lits rem          0 time: 0.00
4113.60/1030.17	c vivif2 --  cl tried    97602 cl shrink        0 lits rem          0 time: 0.03
4114.40/1030.38	c asymm  cl-useful: 0/1671/1671 lits-rem:0 time: 0.21
4114.40/1030.39	c calculated reachability. Time: 0.00
4114.40/1030.39	c  N st   101   4213479       349      1671         0     97602      5759   1626514   no data   no data
4179.10/1046.59	c  E st   102   4280888         0      1671         0     81768      5759   1194364   no data   no data
4179.10/1046.59	c Verified 1671 clauses.
4179.10/1046.59	c Solution needs extension. Extending.
4179.10/1046.59	c Verified 1671 clauses.
4179.10/1046.59	c Following stats are for *FIRST FINISHED THREAD ONLY*
4179.10/1046.59	c num threads              : 4          
4179.10/1046.59	c restarts                 : 102        
4179.10/1046.59	c dynamic restarts         : 0          
4179.10/1046.59	c static restarts          : 102        
4179.10/1046.59	c full restarts            : 5          
4179.10/1046.59	c total simplify time      : 0.00       
4179.10/1046.59	c learnts DL2              : 0          
4179.10/1046.59	c learnts size 2           : 2          
4179.10/1046.59	c learnts size 1           : 0           (0.00      % of vars)
4179.10/1046.59	c filedLit time            : 0.35        (0.03      % time)
4179.10/1046.59	c v-elim SatELite          : 2           (0.57      % vars)
4179.10/1046.59	c SatELite time            : 321.97      (30.78     % time)
4179.10/1046.59	c v-elim xor               : 0           (0.00      % vars)
4179.10/1046.59	c xor elim time            : 0.06        (0.01      % time)
4179.10/1046.59	c num binary xor trees     : 1          
4179.10/1046.59	c binxor trees' crown      : 1           (1.00      leafs/tree)
4179.10/1046.59	c bin xor find time        : 0.00       
4179.10/1046.59	c OTF clause improved      : 401919      (0.09      clauses/conflict)
4179.10/1046.59	c OTF impr. size diff      : 411240      (1.02       lits/clause)
4179.10/1046.59	c OTF cl watch-shrink      : 59814       (0.01      clauses/conflict)
4179.10/1046.59	c OTF cl watch-sh-lit      : 115582      (1.93       lits/clause)
4179.10/1046.59	c tried to recurMin cls    : 77524       (1.81       % of conflicts)
4179.10/1046.59	c updated cache            : 3095        (0.04       lits/tried recurMin)
4179.10/1046.59	c unit cls recevied        : 0           (nan       % of units)
4179.10/1046.59	c unit cls sent            : 0           (nan       % of units)
4179.10/1046.59	c bin cls recevied         : 0          
4179.10/1046.59	c bin cls sent             : 0          
4179.10/1046.59	c clauses over max glue    : 0           (0.00      % of all clauses)
4179.10/1046.59	c conflicts                : 4280888     (4092.67   / sec)
4179.10/1046.59	c decisions                : 4550055     (0.35      % random)
4179.10/1046.59	c bogo-props               : 232522598688 (222299280.42 / sec)
4179.10/1046.59	c conflict literals        : 89161274    (33.19     % deleted)
4179.10/1046.59	c Memory used              : 558.88      MB
4179.10/1046.59	c single-thread CPU time   : 1045.99     s
4179.10/1046.59	c all-threads sum CPU time : 4178.07     s
4179.10/1046.59	s SATISFIABLE
4179.10/1046.59	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.86 7.82 7.90 6/180 5690
/proc/meminfo: memFree=27499380/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 414 0 0 0 0 0 0 0 19 0 4 0 505301566 52441088 353 33554432000 4194304 4627427 140733260713760 18446744073709551615 220816236475 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 12803 353 303 106 0 7774 0
[pid=5690/tid=5691] ppid=5688 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 505301567 52441088 353 33554432000 4194304 4627427 140733260713760 18446744073709551615 47970188781488 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 505301567 52441088 353 33554432000 4194304 4627427 140733260713760 18446744073709551615 220811283542 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 505301567 52441088 353 33554432000 4194304 4627427 140733260713760 18446744073709551615 220811283542 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.050279 s]
/proc/loadavg: 7.86 7.82 7.90 6/180 5690
/proc/meminfo: memFree=27499380/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=282012 CPUtime=0.17 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 1560 0 0 0 17 0 0 0 21 0 4 0 505301566 288780288 1445 33554432000 4194304 4627427 140733260713760 18446744073709551615 220815895284 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 70503 1445 383 106 0 65474 0
[pid=5690/tid=5691] ppid=5688 vsize=282012 CPUtime=0.04 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 292 0 0 0 4 0 0 0 21 0 4 0 505301567 288780288 1445 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=282012 CPUtime=0.04 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 331 0 0 0 4 0 0 0 18 0 4 0 505301567 288780288 1445 33554432000 4194304 4627427 140733260713760 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=282012 CPUtime=0.04 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 213 0 0 0 4 0 0 0 22 0 4 0 505301567 288780288 1445 33554432000 4194304 4627427 140733260713760 18446744073709551615 4332778 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282012

[startup+0.100271 s]
/proc/loadavg: 7.86 7.82 7.90 6/180 5690
/proc/meminfo: memFree=27499380/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=282180 CPUtime=0.37 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 1782 0 0 0 37 0 0 0 21 0 4 0 505301566 288952320 1572 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 70545 1572 384 106 0 65516 0
[pid=5690/tid=5691] ppid=5688 vsize=282180 CPUtime=0.09 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 335 0 0 0 9 0 0 0 21 0 4 0 505301567 288952320 1572 33554432000 4194304 4627427 140733260713760 18446744073709551615 4330271 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=282180 CPUtime=0.09 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 371 0 0 0 9 0 0 0 18 0 4 0 505301567 288952320 1573 33554432000 4194304 4627427 140733260713760 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=282180 CPUtime=0.09 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 315 0 0 0 9 0 0 0 22 0 4 0 505301567 288952320 1573 33554432000 4194304 4627427 140733260713760 18446744073709551615 4310360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282180

[startup+0.300233 s]
/proc/loadavg: 7.86 7.82 7.90 6/180 5690
/proc/meminfo: memFree=27499380/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=283132 CPUtime=1.17 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 2576 0 0 0 117 0 0 0 21 0 4 0 505301566 289927168 1985 33554432000 4194304 4627427 140733260713760 18446744073709551615 4335607 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 70783 1985 384 106 0 65754 0
[pid=5690/tid=5691] ppid=5688 vsize=283132 CPUtime=0.29 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 535 0 0 0 29 0 0 0 21 0 4 0 505301567 289927168 1985 33554432000 4194304 4627427 140733260713760 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=283132 CPUtime=0.29 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 571 0 0 0 29 0 0 0 18 0 4 0 505301567 289927168 1985 33554432000 4194304 4627427 140733260713760 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=283132 CPUtime=0.29 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 507 0 0 0 29 0 0 0 22 0 4 0 505301567 289927168 1985 33554432000 4194304 4627427 140733260713760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283132

[startup+0.70016 s]
/proc/loadavg: 7.86 7.82 7.90 6/180 5690
/proc/meminfo: memFree=27499380/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=283932 CPUtime=2.77 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 3973 0 0 0 276 1 0 0 22 0 4 0 505301566 290746368 2382 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 70983 2382 384 106 0 65954 0
[pid=5690/tid=5691] ppid=5688 vsize=283932 CPUtime=0.68 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 873 0 0 0 68 0 0 0 22 0 4 0 505301567 290746368 2382 33554432000 4194304 4627427 140733260713760 18446744073709551615 4333312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=283932 CPUtime=0.69 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 900 0 0 0 69 0 0 0 18 0 4 0 505301567 290746368 2382 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=283932 CPUtime=0.69 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 921 0 0 0 69 0 0 0 24 0 4 0 505301567 290746368 2382 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 283932

[startup+1.50101 s]
/proc/loadavg: 7.86 7.82 7.90 10/184 5694
/proc/meminfo: memFree=27489676/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=284960 CPUtime=5.97 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 6418 0 0 0 596 1 0 0 25 0 4 0 505301566 291799040 2914 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 71240 2914 385 106 0 66211 0
[pid=5690/tid=5691] ppid=5688 vsize=284960 CPUtime=1.48 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 1550 0 0 0 148 0 0 0 25 0 4 0 505301567 291799040 2914 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=284960 CPUtime=1.49 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 1541 0 0 0 149 0 0 0 19 0 4 0 505301567 291799040 2914 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=284960 CPUtime=1.48 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 1422 0 0 0 148 0 0 0 25 0 4 0 505301567 291799040 2914 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 284960

[startup+3.10072 s]
/proc/loadavg: 7.86 7.82 7.90 9/184 5694
/proc/meminfo: memFree=27477704/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=292120 CPUtime=12.36 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 15773 0 0 0 1233 3 0 0 25 0 4 0 505301566 299130880 9270 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 73030 9270 390 106 0 68001 0
[pid=5690/tid=5691] ppid=5688 vsize=292120 CPUtime=3.07 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 3404 0 0 0 307 0 0 0 25 0 4 0 505301567 299130880 9270 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=292120 CPUtime=3.08 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 4088 0 0 0 308 0 0 0 25 0 4 0 505301567 299130880 9270 33554432000 4194304 4627427 140733260713760 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=292120 CPUtime=3.09 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 3709 0 0 0 308 1 0 0 25 0 4 0 505301567 299130880 9270 33554432000 4194304 4627427 140733260713760 18446744073709551615 4428383 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292120

[startup+6.30113 s]
/proc/loadavg: 7.87 7.82 7.90 9/184 5703
/proc/meminfo: memFree=27409364/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=291844 CPUtime=25.12 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 23240 0 0 0 2508 4 0 0 25 0 4 0 505301566 298848256 12495 33554432000 4194304 4627427 140733260713760 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 72961 12495 390 106 0 67932 0
[pid=5690/tid=5691] ppid=5688 vsize=291844 CPUtime=6.26 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 6075 0 0 0 625 1 0 0 25 0 4 0 505301567 298848256 12495 33554432000 4194304 4627427 140733260713760 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=291844 CPUtime=6.28 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 6481 0 0 0 628 0 0 0 25 0 4 0 505301567 298848256 12495 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420166 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=291844 CPUtime=6.27 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 4913 0 0 0 626 1 0 0 25 0 4 0 505301567 298848256 12495 33554432000 4194304 4627427 140733260713760 18446744073709551615 4305701 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 291844

[startup+12.701 s]
/proc/loadavg: 7.88 7.82 7.90 9/184 5703
/proc/meminfo: memFree=27337508/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=306780 CPUtime=50.69 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 34732 0 0 0 5062 7 0 0 25 0 4 0 505301566 314142720 16058 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 76695 16058 390 106 0 71666 0
[pid=5690/tid=5691] ppid=5688 vsize=306780 CPUtime=12.63 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 9831 0 0 0 1261 2 0 0 25 0 4 0 505301567 314142720 16058 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=306780 CPUtime=12.69 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 9142 0 0 0 1268 1 0 0 25 0 4 0 505301567 314142720 16058 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=306780 CPUtime=12.67 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 7276 0 0 0 1266 1 0 0 25 0 4 0 505301567 314142720 16058 33554432000 4194304 4627427 140733260713760 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 306780

[startup+25.5006 s]
/proc/loadavg: 7.98 7.85 7.90 9/184 5703
/proc/meminfo: memFree=27296896/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=327324 CPUtime=101.81 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 53705 0 0 0 10170 11 0 0 25 0 4 0 505301566 335179776 20568 33554432000 4194304 4627427 140733260713760 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 81831 20568 390 106 0 76802 0
[pid=5690/tid=5691] ppid=5688 vsize=327324 CPUtime=25.35 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 15871 0 0 0 2532 3 0 0 25 0 4 0 505301567 335179776 20568 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=327324 CPUtime=25.48 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 14862 0 0 0 2546 2 0 0 25 0 4 0 505301567 335179776 20568 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=327324 CPUtime=25.47 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 9029 0 0 0 2545 2 0 0 25 0 4 0 505301567 335179776 20568 33554432000 4194304 4627427 140733260713760 18446744073709551615 4332655 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 327324

[startup+51.1009 s]
/proc/loadavg: 7.99 7.86 7.91 9/184 5704
/proc/meminfo: memFree=27228968/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=310872 CPUtime=204.09 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 84290 0 0 0 20392 17 0 0 25 0 4 0 505301566 318332928 30333 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 77718 30333 390 106 0 72689 0
[pid=5690/tid=5691] ppid=5688 vsize=310872 CPUtime=50.82 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 25085 0 0 0 5078 4 0 0 25 0 4 0 505301567 318332928 30333 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=310872 CPUtime=51.08 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 24329 0 0 0 5104 4 0 0 25 0 4 0 505301567 318332928 30333 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=310872 CPUtime=51.07 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 12404 0 0 0 5104 3 0 0 25 0 4 0 505301567 318332928 30333 33554432000 4194304 4627427 140733260713760 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 310872

[startup+102.307 s]
/proc/loadavg: 8.49 8.00 7.95 10/189 6207
/proc/meminfo: memFree=27004828/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=380376 CPUtime=407.28 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 123980 0 0 0 40700 28 0 0 25 0 4 0 505301566 389505024 39766 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 95094 39766 390 106 0 90065 0
[pid=5690/tid=5691] ppid=5688 vsize=380376 CPUtime=101.71 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 36780 0 0 0 10164 7 0 0 25 0 4 0 505301567 389505024 39766 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=380376 CPUtime=102.26 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 34550 0 0 0 10219 7 0 0 25 0 4 0 505301567 389505024 39766 33554432000 4194304 4627427 140733260713760 18446744073709551615 4290603 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=380376 CPUtime=101.06 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 15265 0 0 0 10102 4 0 0 25 0 4 0 505301567 389505024 39766 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.28
Current children cumulated vsize (KiB) 380376

[startup+162.3 s]

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

/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 147832 0 0 0 81751 38 0 0 25 0 4 0 505301567 591699968 86605 33554432000 4194304 4627427 140733260713760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=577832 CPUtime=822.28 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 97176 0 0 0 82202 26 0 0 25 0 4 0 505301567 591699968 86605 33554432000 4194304 4627427 140733260713760 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=577832 CPUtime=821.08 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 30624 0 0 0 82094 14 0 0 25 0 4 0 505301567 591699968 86605 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.49
Current children cumulated vsize (KiB) 577832

[startup+882.301 s]
/proc/loadavg: 7.53 7.51 7.61 9/184 7954
/proc/meminfo: memFree=24904912/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=586304 CPUtime=3523.18 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 469613 0 0 0 352181 137 0 0 25 0 4 0 505301566 600375296 91906 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 146576 91906 390 106 0 141547 0
[pid=5690/tid=5691] ppid=5688 vsize=586304 CPUtime=877.57 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 157507 0 0 0 87716 41 0 0 25 0 4 0 505301567 600375296 91906 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=586304 CPUtime=882.28 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 102540 0 0 0 88200 28 0 0 25 0 4 0 505301567 600375296 91906 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=586304 CPUtime=881.09 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 32153 0 0 0 88094 15 0 0 25 0 4 0 505301567 600375296 91906 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.18
Current children cumulated vsize (KiB) 586304

[startup+942.301 s]
/proc/loadavg: 7.83 7.60 7.63 9/184 7956
/proc/meminfo: memFree=24881308/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=586304 CPUtime=3762.87 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 480714 0 0 0 376145 142 0 0 25 0 4 0 505301566 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 146576 97228 390 106 0 141547 0
[pid=5690/tid=5691] ppid=5688 vsize=586304 CPUtime=937.25 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162002 0 0 0 93683 42 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=586304 CPUtime=942.28 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 94197 31 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=586304 CPUtime=941.09 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33212 0 0 0 94093 16 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.87
Current children cumulated vsize (KiB) 586304

[startup+1002.3 s]
/proc/loadavg: 7.93 7.67 7.65 9/184 7957
/proc/meminfo: memFree=24860952/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=586304 CPUtime=4002.54 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 480714 0 0 0 400112 142 0 0 25 0 4 0 505301566 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 146576 97228 390 106 0 141547 0
[pid=5690/tid=5691] ppid=5688 vsize=586304 CPUtime=996.92 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162002 0 0 0 99650 42 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=586304 CPUtime=1002.28 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 100197 31 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=586304 CPUtime=1001.09 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33212 0 0 0 100093 16 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.54
Current children cumulated vsize (KiB) 586304

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

[startup+1023.9 s]
/proc/loadavg: 7.96 7.69 7.66 9/184 7958
/proc/meminfo: memFree=24874216/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=586304 CPUtime=4088.83 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 480714 0 0 0 408741 142 0 0 25 0 4 0 505301566 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 146576 97228 390 106 0 141547 0
[pid=5690/tid=5691] ppid=5688 vsize=586304 CPUtime=1018.41 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162002 0 0 0 101799 42 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=586304 CPUtime=1023.89 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 102358 31 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=586304 CPUtime=1022.69 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33212 0 0 0 102253 16 0 0 25 0 4 0 505301567 600375296 97228 33554432000 4194304 4627427 140733260713760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4088.83
Current children cumulated vsize (KiB) 586304

[startup+1036.7 s]
/proc/loadavg: 7.96 7.70 7.66 9/184 7958
/proc/meminfo: memFree=24878424/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=586304 CPUtime=4139.96 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 481331 0 0 0 413854 142 0 0 25 0 4 0 505301566 600375296 97845 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 146576 97845 390 106 0 141547 0
[pid=5690/tid=5691] ppid=5688 vsize=586304 CPUtime=1031.14 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162002 0 0 0 103072 42 0 0 25 0 4 0 505301567 600375296 97845 33554432000 4194304 4627427 140733260713760 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=586304 CPUtime=1036.69 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 103638 31 0 0 25 0 4 0 505301567 600375296 97845 33554432000 4194304 4627427 140733260713760 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=586304 CPUtime=1035.49 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33212 0 0 0 103533 16 0 0 25 0 4 0 505301567 600375296 97845 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4139.96
Current children cumulated vsize (KiB) 586304

[startup+1043.1 s]
/proc/loadavg: 7.97 7.71 7.66 9/184 7958
/proc/meminfo: memFree=24880904/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=645480 CPUtime=4165.53 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 482041 0 0 0 416410 143 0 0 25 0 4 0 505301566 660971520 98266 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 161370 98266 390 106 0 156341 0
[pid=5690/tid=5691] ppid=5688 vsize=645480 CPUtime=1037.5 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162128 0 0 0 103708 42 0 0 25 0 4 0 505301567 660971520 98266 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=645480 CPUtime=1043.09 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 104278 31 0 0 25 0 4 0 505301567 660971520 98266 33554432000 4194304 4627427 140733260713760 18446744073709551615 4427766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=645480 CPUtime=1041.89 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33250 0 0 0 104173 16 0 0 25 0 4 0 505301567 660971520 98266 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4165.53
Current children cumulated vsize (KiB) 645480

[startup+1044.7 s]
/proc/loadavg: 7.97 7.71 7.66 9/184 7958
/proc/meminfo: memFree=24879044/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=645480 CPUtime=4171.92 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 482400 0 0 0 417049 143 0 0 25 0 4 0 505301566 660971520 98625 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 161370 98625 390 106 0 156341 0
[pid=5690/tid=5691] ppid=5688 vsize=645480 CPUtime=1039.1 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162355 0 0 0 103868 42 0 0 25 0 4 0 505301567 660971520 98625 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=645480 CPUtime=1044.69 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 104438 31 0 0 25 0 4 0 505301567 660971520 98625 33554432000 4194304 4627427 140733260713760 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=645480 CPUtime=1043.49 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33250 0 0 0 104333 16 0 0 25 0 4 0 505301567 660971520 98625 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4171.92
Current children cumulated vsize (KiB) 645480

[startup+1045.5 s]
/proc/loadavg: 7.97 7.71 7.66 9/184 7958
/proc/meminfo: memFree=24876812/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=645480 CPUtime=4175.11 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 482511 0 0 0 417368 143 0 0 25 0 4 0 505301566 660971520 98736 33554432000 4194304 4627427 140733260713760 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 161370 98736 390 106 0 156341 0
[pid=5690/tid=5691] ppid=5688 vsize=645480 CPUtime=1039.89 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162461 0 0 0 103947 42 0 0 25 0 4 0 505301567 660971520 98736 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=645480 CPUtime=1045.49 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 104518 31 0 0 25 0 4 0 505301567 660971520 98736 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=645480 CPUtime=1044.29 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33250 0 0 0 104413 16 0 0 25 0 4 0 505301567 660971520 98736 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4175.11
Current children cumulated vsize (KiB) 645480

[startup+1046.3 s]
/proc/loadavg: 7.97 7.71 7.66 9/184 7958
/proc/meminfo: memFree=24886356/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=572284 CPUtime=4178.3 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 483974 0 0 0 417687 143 0 0 25 0 4 0 505301566 586018816 96050 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 143071 96050 390 106 0 138042 0
[pid=5690/tid=5691] ppid=5688 vsize=572284 CPUtime=1040.68 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162555 0 0 0 104026 42 0 0 25 0 4 0 505301567 586018816 96050 33554432000 4194304 4627427 140733260713760 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=572284 CPUtime=1046.29 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 104598 31 0 0 25 0 4 0 505301567 586018816 96050 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=572284 CPUtime=1045.09 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33250 0 0 0 104493 16 0 0 25 0 4 0 505301567 586018816 96050 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4178.3
Current children cumulated vsize (KiB) 572284

[startup+1046.5 s]
/proc/loadavg: 7.97 7.71 7.66 9/184 7958
/proc/meminfo: memFree=24886356/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=572284 CPUtime=4179.1 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) R 5688 5690 5257 0 -1 4202496 484032 0 0 0 417767 143 0 0 25 0 4 0 505301566 586018816 96108 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 143071 96109 390 106 0 138042 0
[pid=5690/tid=5691] ppid=5688 vsize=572284 CPUtime=1040.88 cores=1,3,5,7
/proc/5690/task/5691/stat : 5691 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 162579 0 0 0 104046 42 0 0 25 0 4 0 505301567 586018816 96109 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=572284 CPUtime=1046.49 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 108087 0 0 0 104618 31 0 0 25 0 4 0 505301567 586018816 96109 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5690/tid=5693] ppid=5688 vsize=572284 CPUtime=1045.29 cores=1,3,5,7
/proc/5690/task/5693/stat : 5693 (strangenight2-m) R 5688 5690 5257 0 -1 4202560 33250 0 0 0 104513 16 0 0 25 0 4 0 505301567 586018816 96109 33554432000 4194304 4627427 140733260713760 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4179.1
Current children cumulated vsize (KiB) 572284

[startup+1046.6 s]
/proc/loadavg: 7.97 7.71 7.66 9/184 7958
/proc/meminfo: memFree=24886356/32951124 swapFree=67105204/67111528
[pid=5690] ppid=5688 vsize=0 CPUtime=4179.5 cores=1,3,5,7
/proc/5690/stat : 5690 (strangenight2-m) Z 5688 5690 5257 0 -1 4202524 484067 0 0 0 417807 143 0 0 25 0 2 0 505301566 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5690/statm: 0 0 0 0 0 0 0
[pid=5690/tid=5692] ppid=5688 vsize=0 CPUtime=1046.58 cores=1,3,5,7
/proc/5690/task/5692/stat : 5692 (strangenight2-m) R 5688 5690 5257 0 -1 4203588 108087 0 0 0 104627 31 0 0 25 0 2 0 505301567 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4179.5
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1046.62
CPU time (s): 4179.52
CPU user time (s): 4178.07
CPU system time (s): 1.45178
CPU usage (%): 399.337
Max. virtual memory (cumulated for all children) (KiB): 701620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4178.07
system time used= 1.45178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484067
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= 293
involuntary context switches= 31755

runsolver used 1.53977 second user time and 4.07338 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-30 04:00:57
IDJOB=3264839
IDBENCH=85355
IDSOLVER=1586
FILE ID=node147/3264839-1304128857
RUNJOBID= node147-1304128647-5572
PBS_JOBID= 13170763
Free space on /tmp= 72444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3264839-1304128857/watcher-3264839-1304128857 -o /tmp/evaluation-result-3264839-1304128857/solver-3264839-1304128857 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3264839-1304128857.cnf

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

MD5SUM BENCH= 22bc1843113c53c5f8a8f8cec42dcbe5
RANDOM SEED=792495672

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27499536 kB
Buffers:        300460 kB
Cached:        1639576 kB
SwapCached:       3064 kB
Active:        3498648 kB
Inactive:      1623100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27499536 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:          190560 kB
Writeback:           0 kB
AnonPages:     3179528 kB
Mapped:          15400 kB
Slab:           260852 kB
PageTables:      11296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3631812 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= 72864 MiB
End job on node147 at 2011-04-30 04:18:23