Trace number 3421681

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 2418.08 305.09

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
MD5SUM9a6126d13f733e360922c2ae93b7b6b9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark173.21
Satisfiable
(Un)Satisfiability was proved
Number of variables354
Number of clauses2596
Sum of the clauses size11752
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 5640
Number of clauses of size over 5364

Solver Data 

0.00/0.00	c Outputting solution to console
0.34/0.08	c Using 8 threads
0.34/0.08	c This is CryptoMiniSat 3.0.0
0.34/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.34/0.08	c Reading file 'HOME/instance-3421681-1306701988.cnf'
0.34/0.08	c -- header says num vars:            354
0.34/0.08	c -- header says num clauses:        2596
0.34/0.08	c -- clauses added:            0 learnts,         2596 normals,            0 xors
0.34/0.08	c -- vars added        354
0.34/0.08	c Parsing time:  0.00 s
0.34/0.08	c  N st     0         0       354      2596         0         0     11752         0   no data   no data
0.34/0.09	c asymm  cl-useful: 96/2596/2596 lits-rem:96 time: 0.00
0.34/0.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.34/0.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.34/0.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.34/0.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.34/0.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    354 time:  0.00 s
0.34/0.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.34/0.10	c lits-rem:      1646  cl-subs:      790  v-elim:      0  v-fix:    0  time:  0.00 s
0.34/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.34/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.34/0.10	c calculated reachability. Time: 0.00
0.34/0.10	c Calc default polars -  time:   0.00 s pos:     120 undec:     110 neg:     124
0.34/0.10	c =========================================================================================
0.34/0.10	c types(t): F = full restart, N = normal restart
0.34/0.10	c types(t): S = simplification begin/end, E = solution found
0.34/0.10	c restart types(rt): st = static, dy = dynamic
0.34/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.34/0.10	c  B st     0         0       354      1806         0         0      6485         0   no data   no data
0.34/0.14	c Decided on static restart strategy
7.47/1.02	c  N st     8      4917       354      1806         2      4655      6481     91865   no data   no data
7.47/1.02	c  N st    10     11299       354      1806         4      4240      6480     53436   no data   no data
7.47/1.02	c  N st    11     17043       354      1806         4      9515      6480    186360   no data   no data
9.87/1.32	c  F st    12     25002       354      1806         6     11782      6480    229368   no data   no data
9.87/1.32	c  N st    12     25002       354      1806         6     11782      6480    229368   no data   no data
12.55/1.60	c Decided on static restart strategy
12.55/1.60	c  N st    18     30000       354      1806         6     10112      6480    169896   no data   no data
12.55/1.60	c  S st    18     30000       354      1806         6     10112      6480    169896   no data   no data
12.55/1.60	c  S st    18     30504       354      1806         6     10601      6479    181577   no data   no data
12.55/1.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.55/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
12.55/1.60	c Replacing        1 vars Replaced     2295 lits Time:     0.00 s 
12.55/1.60	c blocked clauses removed:        0 vars:      0 tried:         353 T: 0.00 s
12.55/1.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.55/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.55/1.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
12.55/1.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.55/1.60	c lits-rem:        13  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.00 s
12.55/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.35/1.75	c lits-rem:      1632  cl-subs:     1306  v-elim:      0  v-fix:    0  time:  0.15 s
13.35/1.76	c asymm  cl-useful: 7/1788/1788 lits-rem:7 time: 0.01
13.35/1.76	c calculated reachability. Time: 0.00
13.35/1.76	c  N st    18     30504       353      1788         4      9297      6367    155303   no data   no data
17.33/2.22	c  N st    20     37615       353      1788         4      8411      6367    111286   no data   no data
20.54/2.60	c  N st    21     44014       353      1788         4     14360      6367    258895   no data   no data
21.34/2.73	c  S st    22     45757       353      1788         4     15970      6367    295749   no data   no data
21.34/2.78	c  S st    22     46262       353      1788         4     16457      6366    308085   no data   no data
21.34/2.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.34/2.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
21.34/2.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.34/2.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.34/2.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.34/2.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
21.34/2.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.34/2.79	c lits-rem:         7  cl-subs:       17  v-elim:      0  v-fix:    0  time:  0.00 s
22.14/2.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.32/3.26	c lits-rem:       957  cl-subs:     2951  v-elim:      0  v-fix:    0  time:  0.46 s
25.32/3.26	c vivif2 --  cl tried     1766 cl shrink        0 lits rem          0 time: 0.00
25.32/3.26	c vivif2 --  cl tried    13511 cl shrink        0 lits rem          0 time: 0.00
25.32/3.27	c asymm  cl-useful: 6/1766/1766 lits-rem:6 time: 0.01
25.32/3.27	c calculated reachability. Time: 0.00
25.32/3.27	c  N st    22     46262       353      1766         4     13511      6258    248161   no data   no data
33.30/4.24	c  N st    23     60659       353      1766         4      9533      6258    119678   no data   no data
38.10/4.87	c  N st    24     69394       353      1766         6     17583      6258    305405   no data   no data
38.10/4.87	c  S st    24     69394       353      1766         6     17583      6258    305405   no data   no data
38.10/4.87	c Finding binary XORs  T:     0.00 s  found:       0
38.90/4.94	c  S st    24     69897       353      1766         8     18075      6257    318136   no data   no data
38.90/4.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.90/4.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
38.90/4.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
38.90/4.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.90/4.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.90/4.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
38.90/4.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
38.90/4.95	c lits-rem:         8  cl-subs:        9  v-elim:      0  v-fix:    0  time:  0.00 s
38.90/4.95	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
43.68/5.58	c lits-rem:       996  cl-subs:     3478  v-elim:      0  v-fix:    0  time:  0.63 s
43.68/5.58	c vivif2 --  cl tried     1755 cl shrink        0 lits rem          0 time: 0.00
43.68/5.58	c vivif2 --  cl tried    14598 cl shrink        0 lits rem          0 time: 0.00
43.68/5.59	c asymm  cl-useful: 17/1755/1755 lits-rem:17 time: 0.01
43.68/5.59	c calculated reachability. Time: 0.00
43.68/5.59	c  N st    24     69897       353      1755         8     14598      6186    246819   no data   no data
54.07/6.89	c  F st    25     87501       353      1755         8     20804      6186    356336   no data   no data
54.07/6.89	c  N st    25     87501       353      1755         8     20804      6186    356336   no data   no data
57.26/7.27	c Decided on static restart strategy
58.98/7.46	c  N st    32     95540       353      1755         8     17337      6186    283716   no data   no data
64.46/8.16	c  N st    34    104847       353      1755         8     13955      6186    188943   no data   no data
64.46/8.16	c  S st    34    104847       353      1755         8     13955      6186    188943   no data   no data
65.26/8.20	c  S st    34    105353       353      1755         8     14443      6183    200891   no data   no data
65.26/8.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.26/8.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
65.26/8.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.26/8.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.26/8.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.26/8.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
65.26/8.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.26/8.21	c lits-rem:        12  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.00 s
65.26/8.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.05/8.32	c lits-rem:       490  cl-subs:     1128  v-elim:      0  v-fix:    0  time:  0.11 s
66.05/8.32	c vivif2 --  cl tried     1739 cl shrink        0 lits rem          0 time: 0.00
66.05/8.32	c vivif2 --  cl tried    13321 cl shrink        0 lits rem          0 time: 0.00
66.05/8.33	c asymm  cl-useful: 8/1739/1739 lits-rem:8 time: 0.01
66.05/8.33	c calculated reachability. Time: 0.00
66.05/8.33	c  N st    34    105353       353      1739         8     13321      6082    180878   no data   no data
71.63/9.07	c  N st    35    114951       353      1739         8     22014      6082    372628   no data   no data
81.22/10.21	c  N st    36    129349       353      1739         8     22521      6082    378773   no data   no data
96.38/12.10	c  N st    37    150945       353      1739         8     28538      6082    496702   no data   no data
100.38/12.63	c  S st    38    158030       353      1739         8     20357      6082    309087   no data   no data
101.18/12.71	c  S st    38    158535       353      1739         8     20841      6082    320593   no data   no data
101.18/12.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
101.18/12.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
101.18/12.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.18/12.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.18/12.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.18/12.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
101.18/12.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.18/12.72	c lits-rem:         7  cl-subs:        7  v-elim:      0  v-fix:    0  time:  0.00 s
101.18/12.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.17/13.27	c lits-rem:       763  cl-subs:     3200  v-elim:      0  v-fix:    0  time:  0.55 s
105.17/13.27	c vivif2 --  cl tried     1729 cl shrink        0 lits rem          0 time: 0.00
105.17/13.28	c vivif2 --  cl tried    17644 cl shrink        0 lits rem          0 time: 0.00
105.17/13.29	c asymm  cl-useful: 2/1729/1729 lits-rem:2 time: 0.01
105.17/13.29	c calculated reachability. Time: 0.00
105.17/13.29	c  N st    38    158535       353      1729         8     17644      6027    257847   no data   no data
141.90/17.83	c  N st    39    207123       353      1729         8     30339      6027    527882   no data   no data
165.05/20.71	c  N st    40    237803       353      1729         8     22615      6027    326907   no data   no data
165.05/20.71	c  S st    40    237803       353      1729         8     22615      6027    326907   no data   no data
165.05/20.78	c  S st    40    238306       353      1729         8     23104      6024    339411   no data   no data
165.05/20.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
165.05/20.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
165.05/20.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
165.05/20.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
165.05/20.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
165.05/20.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
165.05/20.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
165.05/20.79	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.00 s
165.86/20.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.65/21.43	c lits-rem:       824  cl-subs:     3297  v-elim:      0  v-fix:    0  time:  0.63 s
170.65/21.43	c vivif2 --  cl tried     1717 cl shrink        0 lits rem          0 time: 0.00
170.65/21.44	c vivif2 --  cl tried    19815 cl shrink        0 lits rem          0 time: 0.00
170.65/21.45	c asymm  cl-useful: 4/1717/1717 lits-rem:4 time: 0.01
170.65/21.45	c calculated reachability. Time: 0.00
170.65/21.45	c  N st    40    238306       353      1717         8     19815      5961    282921   no data   no data
226.54/28.49	c  F st    41    306251       353      1717         8     21895      5961    296864   no data   no data
226.54/28.49	c  N st    41    306251       353      1717         8     21895      5961    296864   no data   no data
230.54/28.92	c Decided on static restart strategy
248.91/31.26	c  N st    51    334556       353      1717         8     25748      5961    374407   no data   no data
267.28/33.57	c  N st    53    357459       353      1717         8     23910      5961    323327   no data   no data
267.28/33.57	c  S st    53    357459       353      1717         8     23910      5961    323327   no data   no data
268.08/33.65	c  S st    53    357960       353      1717         8     24398      5961    334733   no data   no data
268.08/33.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
268.08/33.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
268.08/33.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
268.08/33.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.08/33.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.08/33.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
268.08/33.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
268.08/33.66	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.01 s
268.08/33.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.25/34.08	c lits-rem:      1489  cl-subs:     2095  v-elim:      0  v-fix:    0  time:  0.41 s
271.25/34.08	c vivif2 --  cl tried     1711 cl shrink        0 lits rem          0 time: 0.00
271.25/34.08	c vivif2 --  cl tried    22303 cl shrink        0 lits rem          0 time: 0.00
272.05/34.10	c asymm  cl-useful: 0/1711/1711 lits-rem:0 time: 0.01
272.05/34.10	c calculated reachability. Time: 0.00
272.05/34.10	c  N st    53    357960       353      1711         8     22303      5935    298740   no data   no data
300.81/37.72	c  N st    54    390352       353      1711         8     28230      5935    414535   no data   no data
343.92/43.12	c  N st    55    438940       353      1711         8     47795      5935    818083   no data   no data
411.79/51.63	c  N st    56    511823       353      1711         8     35073      5935    519043   no data   no data
436.67/54.78	c  N st    57    536941       353      1711         8     29676      5935    406741   no data   no data
436.67/54.78	c  S st    57    536941       353      1711         8     29676      5935    406741   no data   no data
437.34/54.86	c  S st    57    537447       353      1711         8     30171      5935    419386   no data   no data
437.34/54.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
437.34/54.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
437.34/54.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
437.34/54.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.34/54.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.34/54.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
437.34/54.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
437.34/54.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
437.34/54.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.95/55.51	c lits-rem:      1479  cl-subs:     2202  v-elim:      0  v-fix:    0  time:  0.62 s
442.95/55.51	c vivif2 --  cl tried     1711 cl shrink        0 lits rem          0 time: 0.00
442.95/55.51	c vivif2 --  cl tried    27969 cl shrink        0 lits rem          0 time: 0.00
442.95/55.53	c asymm  cl-useful: 6/1711/1711 lits-rem:6 time: 0.02
442.95/55.53	c calculated reachability. Time: 0.00
442.95/55.53	c  N st    57    537447       353      1711         8     27969      5929    382311   no data   no data
607.45/76.16	c  N st    58    701432       353      1711         8     55437      5929    928244   no data   no data
726.54/91.03	c  N st    59    806170       353      1711         8     49399      5929    769006   no data   no data
726.54/91.03	c  S st    59    806170       353      1711         8     49399      5929    769006   no data   no data
728.00/91.20	c  S st    59    806672       353      1711         8     49890      5928    782634   no data   no data
728.00/91.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
728.00/91.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
728.00/91.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
728.00/91.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
728.00/91.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
728.00/91.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
728.00/91.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
728.00/91.23	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
728.00/91.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
781.49/97.95	c lits-rem:      4374  cl-subs:    10987  v-elim:      0  v-fix:    0  time:  6.70 s
781.49/97.95	c vivif2 --  cl tried     1705 cl shrink        0 lits rem          0 time: 0.00
781.49/97.96	c vivif2 --  cl tried    38904 cl shrink        0 lits rem          0 time: 0.01
782.29/98.01	c asymm  cl-useful: 0/1705/1705 lits-rem:0 time: 0.05
782.29/98.01	c calculated reachability. Time: 0.00
782.29/98.01	c  N st    59    806672       353      1705         8     38904      5902    594576   no data   no data
1092.13/136.81	c  F st    60   1071875       353      1705         8     54163      5902    792679   no data   no data
1092.13/136.81	c  N st    60   1071875       353      1705         8     54163      5902    792679   no data   no data
1096.91/137.46	c Decided on static restart strategy
1123.27/140.76	c  N st    70   1100185       353      1705         8     79695      5902   1348004   no data   no data
1162.40/145.67	c  N st    72   1136177       353      1705         8     71519      5902   1194638   no data   no data
1201.52/150.55	c  N st    73   1168570       353      1705         8     59473      5902    943322   no data   no data
1256.63/157.44	c  N st    74   1210008       353      1705         8     54387      5902    803471   no data   no data
1256.63/157.44	c  S st    74   1210008       353      1705         8     54387      5902    803471   no data   no data
1258.23/157.68	c  S st    74   1210510       353      1705         8     54872      5902    815692   no data   no data
1258.23/157.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1259.03/157.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1259.03/157.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1259.03/157.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1259.03/157.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1259.03/157.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
1259.03/157.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1259.03/157.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1259.03/157.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1314.17/164.71	c lits-rem:      4296  cl-subs:    12787  v-elim:      0  v-fix:    0  time:  6.96 s
1314.17/164.71	c vivif2 --  cl tried     1705 cl shrink        0 lits rem          0 time: 0.00
1315.05/164.72	c vivif2 --  cl tried    42085 cl shrink        0 lits rem          0 time: 0.01
1315.05/164.76	c asymm  cl-useful: 1/1705/1705 lits-rem:1 time: 0.05
1315.05/164.76	c calculated reachability. Time: 0.00
1315.05/164.76	c  N st    74   1210510       353      1705         8     42085      5901    606081   no data   no data
1406.74/176.25	c  N st    75   1283392       353      1705         8     65285      5901   1017156   no data   no data
1552.86/194.54	c  N st    76   1392716       353      1705         8     75383      5901   1188400   no data   no data
1774.85/222.36	c  N st    77   1556700       353      1705         8     80985      5901   1268956   no data   no data
1988.86/249.18	c  N st    78   1710510       353      1705         8     71443      5901   1089848   no data   no data
1988.86/249.18	c  S st    78   1710510       353      1705         8     71443      5901   1089848   no data   no data
1990.50/249.40	c  S st    78   1711012       353      1705         8     71931      5901   1102735   no data   no data
1990.50/249.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1991.38/249.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1991.38/249.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1991.38/249.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1991.38/249.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1991.38/249.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    353 time:  0.00 s
1991.38/249.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1991.38/249.45	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1991.38/249.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2090.26/261.84	c lits-rem:      6946  cl-subs:    14364  v-elim:      0  v-fix:    0  time: 12.36 s
2090.26/261.84	c vivif2 --  cl tried     1704 cl shrink        0 lits rem          0 time: 0.00
2090.26/261.85	c vivif2 --  cl tried    57568 cl shrink        0 lits rem          0 time: 0.01
2091.06/261.94	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.08
2091.06/261.94	c calculated reachability. Time: 0.00
2091.06/261.94	c  N st    78   1711012       353      1704         8     57568      5897    876295   no data   no data
2417.91/305.06	c Following stats are for *FIRST FINISHED THREAD ONLY*
2417.91/305.06	c num threads              : 8          
2417.91/305.06	c restarts                 : 78         
2417.91/305.06	c dynamic restarts         : 0          
2417.91/305.06	c static restarts          : 78         
2417.91/305.06	c full restarts            : 4          
2417.91/305.06	c total simplify time      : 0.00       
2417.91/305.06	c learnts DL2              : 0          
2417.91/305.06	c learnts size 2           : 10         
2417.91/305.06	c learnts size 1           : 0           (0.00      % of vars)
2417.91/305.06	c filedLit time            : 0.07        (0.02      % time)
2417.91/305.06	c v-elim SatELite          : 0           (0.00      % vars)
2417.91/305.06	c SatELite time            : 20.36       (6.68      % time)
2417.91/305.06	c v-elim xor               : 0           (0.00      % vars)
2417.91/305.06	c xor elim time            : 0.01        (0.00      % time)
2417.91/305.06	c num binary xor trees     : 1          
2417.91/305.06	c binxor trees' crown      : 1           (1.00      leafs/tree)
2417.91/305.06	c bin xor find time        : 0.00       
2417.91/305.06	c OTF clause improved      : 184676      (0.10      clauses/conflict)
2417.91/305.06	c OTF impr. size diff      : 187938      (1.02       lits/clause)
2417.91/305.06	c OTF cl watch-shrink      : 40422       (0.02      clauses/conflict)
2417.91/305.06	c OTF cl watch-sh-lit      : 61366       (1.52       lits/clause)
2417.91/305.06	c tried to recurMin cls    : 80430       (4.43       % of conflicts)
2417.91/305.06	c updated cache            : 2038        (0.03       lits/tried recurMin)
2417.91/305.06	c unit cls recevied        : 0           (nan       % of units)
2417.91/305.06	c unit cls sent            : 0           (nan       % of units)
2417.91/305.06	c bin cls recevied         : 5          
2417.91/305.06	c bin cls sent             : 2          
2417.91/305.06	c clauses over max glue    : 0           (0.00      % of all clauses)
2417.91/305.06	c conflicts                : 1813551     (5947.66   / sec)
2417.91/305.06	c decisions                : 1909610     (1.77      % random)
2417.91/305.06	c bogo-props               : 70469197270 (231108193.70 / sec)
2417.91/305.06	c conflict literals        : 33938289    (35.62     % deleted)
2417.91/305.06	c Memory used              : 844.43      MB
2417.91/305.06	c single-thread CPU time   : 304.92      s
2417.91/305.06	c all-threads sum CPU time : 2416.88     s
2417.91/305.06	s SATISFIABLE
2417.91/305.06	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 -353 -354 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-3421681-1306701988/watcher-3421681-1306701988 -o /tmp/evaluation-result-3421681-1306701988/solver-3421681-1306701988 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421681-1306701988.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.02 8.05 7.99 2/457 6344
/proc/meminfo: memFree=14872916/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420722 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6344/statm: 23036 352 299 95 0 18018 0
[pid=6344/tid=6345] ppid=6342 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420722 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420720 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420722 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 352 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420726 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0626419 s]
/proc/loadavg: 8.02 8.05 7.99 2/457 6344
/proc/meminfo: memFree=14872916/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=92144 CPUtime=0.34 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 419 0 0 0 34 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420313 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 23036 360 302 95 0 18018 0
[pid=6344/tid=6345] ppid=6342 vsize=92144 CPUtime=0.05 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 4 0 0 0 5 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420313 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=92144 CPUtime=0.05 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=92144 CPUtime=0.04 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420716 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=92144 CPUtime=0 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420313 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420313 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=92144 CPUtime=0.04 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=92144 CPUtime=0.05 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 781798628 94355456 360 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420317 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 92144

[startup+0.103859 s]
/proc/loadavg: 8.02 8.05 7.99 2/457 6344
/proc/meminfo: memFree=14872916/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=557416 CPUtime=7.47 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 8699 0 0 0 743 4 0 0 19 0 8 0 781798628 570793984 4146 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 139354 4147 377 95 0 134336 0
[pid=6344/tid=6345] ppid=6342 vsize=557416 CPUtime=0.94 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1062 0 0 0 94 0 0 0 18 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=557416 CPUtime=0.94 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1121 0 0 0 94 0 0 0 19 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=557416 CPUtime=0.92 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1138 0 0 0 92 0 0 0 18 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=557416 CPUtime=0.86 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 969 0 0 0 86 0 0 0 18 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=557416 CPUtime=0.9 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1014 0 0 0 90 0 0 0 19 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=557416 CPUtime=0.94 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 956 0 0 0 94 0 0 0 19 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=557416 CPUtime=0.94 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 909 0 0 0 94 0 0 0 19 0 8 0 781798628 570793984 4147 33554432000 4194304 4580107 140736131876192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 557416

[startup+1.06547 s]
/proc/loadavg: 8.02 8.05 7.99 2/457 6344
/proc/meminfo: memFree=14872916/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=557556 CPUtime=8.27 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 9060 0 0 0 823 4 0 0 19 0 8 0 781798628 570937344 4507 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 139389 4507 377 95 0 134371 0
[pid=6344/tid=6345] ppid=6342 vsize=557556 CPUtime=1.04 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1097 0 0 0 104 0 0 0 19 0 8 0 781798628 570937344 4507 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=557556 CPUtime=1.04 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1165 0 0 0 104 0 0 0 19 0 8 0 781798628 570937344 4507 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=557556 CPUtime=1.02 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1191 0 0 0 102 0 0 0 19 0 8 0 781798628 570937344 4508 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=557556 CPUtime=0.96 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1011 0 0 0 96 0 0 0 19 0 8 0 781798628 570937344 4508 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=557556 CPUtime=1 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1052 0 0 0 100 0 0 0 19 0 8 0 781798628 570937344 4508 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=557556 CPUtime=1.04 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 999 0 0 0 104 0 0 0 19 0 8 0 781798628 570937344 4508 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=557556 CPUtime=1.04 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 956 0 0 0 104 0 0 0 19 0 8 0 781798628 570937344 4508 33554432000 4194304 4580107 140736131876192 18446744073709551615 4325784 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 557556

[startup+1.16545 s]
/proc/loadavg: 8.02 8.05 7.99 2/457 6344
/proc/meminfo: memFree=14872916/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=557556 CPUtime=9.07 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 9428 0 0 0 903 4 0 0 19 0 8 0 781798628 570937344 4875 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 139389 4875 377 95 0 134371 0
[pid=6344/tid=6345] ppid=6342 vsize=557556 CPUtime=1.14 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1141 0 0 0 114 0 0 0 19 0 8 0 781798628 570937344 4875 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=557556 CPUtime=1.14 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1209 0 0 0 114 0 0 0 19 0 8 0 781798628 570937344 4875 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=557556 CPUtime=1.12 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1258 0 0 0 112 0 0 0 19 0 8 0 781798628 570937344 4876 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=557556 CPUtime=1.06 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1051 0 0 0 106 0 0 0 19 0 8 0 781798628 570937344 4876 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=557556 CPUtime=1.1 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1090 0 0 0 110 0 0 0 19 0 8 0 781798628 570937344 4876 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=557556 CPUtime=1.14 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1048 0 0 0 114 0 0 0 19 0 8 0 781798628 570937344 4876 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=557556 CPUtime=1.14 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 994 0 0 0 114 0 0 0 19 0 8 0 781798628 570937344 4876 33554432000 4194304 4580107 140736131876192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 557556

[startup+1.56538 s]
/proc/loadavg: 8.02 8.05 7.99 2/457 6344
/proc/meminfo: memFree=14872916/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=558456 CPUtime=12.27 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 11998 0 0 0 1222 5 0 0 20 0 8 0 781798628 571858944 5190 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 139614 5190 378 95 0 134596 0
[pid=6344/tid=6345] ppid=6342 vsize=558456 CPUtime=1.54 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1450 0 0 0 154 0 0 0 19 0 8 0 781798628 571858944 5190 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=558456 CPUtime=1.54 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1545 0 0 0 154 0 0 0 20 0 8 0 781798628 571858944 5191 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=558456 CPUtime=1.52 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1567 0 0 0 152 0 0 0 19 0 8 0 781798628 571858944 5191 33554432000 4194304 4580107 140736131876192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=558456 CPUtime=1.46 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1376 0 0 0 146 0 0 0 19 0 8 0 781798628 571858944 5191 33554432000 4194304 4580107 140736131876192 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=558456 CPUtime=1.5 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1424 0 0 0 150 0 0 0 20 0 8 0 781798628 571858944 5191 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=558456 CPUtime=1.54 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1355 0 0 0 154 0 0 0 20 0 8 0 781798628 571858944 5191 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=558456 CPUtime=1.54 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 1277 0 0 0 154 0 0 0 20 0 8 0 781798628 571858944 5191 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 558456

[startup+3.10111 s]
/proc/loadavg: 8.09 8.07 8.00 9/465 6352
/proc/meminfo: memFree=14829408/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=559860 CPUtime=24.52 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 24421 0 0 0 2445 7 0 0 25 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4406408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 139965 12392 380 95 0 134947 0
[pid=6344/tid=6345] ppid=6342 vsize=559860 CPUtime=3.08 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 3138 0 0 0 308 0 0 0 24 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=559860 CPUtime=3.09 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 3856 0 0 0 308 1 0 0 24 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=559860 CPUtime=3.05 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 3681 0 0 0 305 0 0 0 25 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=559860 CPUtime=2.99 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 2250 0 0 0 299 0 0 0 24 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=559860 CPUtime=3.01 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 2269 0 0 0 300 1 0 0 25 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=559860 CPUtime=3.07 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 2320 0 0 0 307 0 0 0 25 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=559860 CPUtime=3.08 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 2135 0 0 0 308 0 0 0 25 0 8 0 781798628 573296640 12392 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 559860

[startup+6.31754 s]
/proc/loadavg: 8.09 8.07 8.00 9/465 6352
/proc/meminfo: memFree=14794492/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=562792 CPUtime=50.2 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 42490 0 0 0 5010 10 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 140698 19379 380 95 0 135680 0
[pid=6344/tid=6345] ppid=6342 vsize=562792 CPUtime=6.3 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 5254 0 0 0 629 1 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4324346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=562792 CPUtime=6.3 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 5498 0 0 0 629 1 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=562792 CPUtime=6.27 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 5167 0 0 0 627 0 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=562792 CPUtime=6.2 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 4744 0 0 0 620 0 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=562792 CPUtime=6.17 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 5182 0 0 0 616 1 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=562792 CPUtime=6.29 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 4717 0 0 0 628 1 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=562792 CPUtime=6.3 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 5135 0 0 0 629 1 0 0 25 0 8 0 781798628 576299008 19379 33554432000 4194304 4580107 140736131876192 18446744073709551615 4318848 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51643 0 0 0 27798 11 0 0 25 0 8 0 781798628 781279232 100623 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=762968 CPUtime=282.3 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 50198 0 0 0 28217 13 0 0 25 0 8 0 781798628 781279232 100623 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=762968 CPUtime=282.3 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 73799 0 0 0 28210 20 0 0 25 0 8 0 781798628 781279232 100623 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2254
Current children cumulated vsize (KiB) 762968

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

[startup+295.101 s]
/proc/loadavg: 8.00 8.02 8.00 9/465 6360
/proc/meminfo: memFree=14447472/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=774980 CPUtime=2356.16 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 452477 0 0 0 235502 114 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 193745 106617 380 95 0 188727 0
[pid=6344/tid=6345] ppid=6342 vsize=774980 CPUtime=295.09 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 59469 0 0 0 29493 16 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=774980 CPUtime=295.02 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 50087 0 0 0 29490 12 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=774980 CPUtime=295.07 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 50788 0 0 0 29495 12 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=774980 CPUtime=294.98 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 47468 0 0 0 29488 10 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=774980 CPUtime=290.69 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51659 0 0 0 29058 11 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=774980 CPUtime=295.08 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51183 0 0 0 29495 13 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=774980 CPUtime=295.08 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 76301 0 0 0 29487 21 0 0 25 0 8 0 781798628 793579520 106617 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2356.16
Current children cumulated vsize (KiB) 774980

[startup+301.5 s]
/proc/loadavg: 8.00 8.02 8.00 9/465 6360
/proc/meminfo: memFree=14431896/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=852712 CPUtime=2407.27 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) R 6342 6344 6111 0 -1 4202496 458643 0 0 0 240611 116 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 213178 108418 380 95 0 208160 0
[pid=6344/tid=6345] ppid=6342 vsize=852712 CPUtime=301.49 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 61040 0 0 0 30133 16 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=852712 CPUtime=301.42 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 50524 0 0 0 30130 12 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=852712 CPUtime=301.46 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51321 0 0 0 30134 12 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4406380 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=852712 CPUtime=301.38 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 47468 0 0 0 30128 10 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=852712 CPUtime=296.99 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51659 0 0 0 29688 11 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=852712 CPUtime=301.48 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 52528 0 0 0 30135 13 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=852712 CPUtime=301.48 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 77984 0 0 0 30127 21 0 0 25 0 8 0 781798628 873177088 108418 33554432000 4194304 4580107 140736131876192 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2407.27
Current children cumulated vsize (KiB) 852712

[startup+303.101 s]
/proc/loadavg: 8.00 8.02 8.00 4/465 6360
/proc/meminfo: memFree=14437848/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=864692 CPUtime=2414.11 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) S 6342 6344 6111 0 -1 4202496 459591 0 0 0 241295 116 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 216173 109365 380 95 0 211155 0
[pid=6344/tid=6345] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 61079 0 0 0 30190 16 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=864692 CPUtime=302.17 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51312 0 0 0 30205 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=864692 CPUtime=303.06 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51322 0 0 0 30294 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=864692 CPUtime=301.96 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 47468 0 0 0 30186 10 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=864692 CPUtime=297.57 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51660 0 0 0 29746 11 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=864692 CPUtime=303.08 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 52577 0 0 0 30295 13 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297395755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 78054 0 0 0 30185 21 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2414.11
Current children cumulated vsize (KiB) 864692

[startup+303.901 s]
/proc/loadavg: 8.00 8.02 8.00 3/465 6360
/proc/meminfo: memFree=14434844/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=864692 CPUtime=2415.71 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) S 6342 6344 6111 0 -1 4202496 459591 0 0 0 241455 116 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 216173 109365 380 95 0 211155 0
[pid=6344/tid=6345] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 61079 0 0 0 30190 16 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=864692 CPUtime=302.17 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51312 0 0 0 30205 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=864692 CPUtime=303.86 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51322 0 0 0 30374 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=864692 CPUtime=301.96 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 47468 0 0 0 30186 10 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=864692 CPUtime=297.57 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51660 0 0 0 29746 11 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=864692 CPUtime=303.88 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 52577 0 0 0 30375 13 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297395908 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 78054 0 0 0 30185 21 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2415.71
Current children cumulated vsize (KiB) 864692

[startup+304.701 s]
/proc/loadavg: 8.00 8.02 8.00 3/465 6360
/proc/meminfo: memFree=14434844/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=864692 CPUtime=2417.31 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) S 6342 6344 6111 0 -1 4202496 459591 0 0 0 241615 116 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 216173 109365 380 95 0 211155 0
[pid=6344/tid=6345] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 61079 0 0 0 30190 16 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=864692 CPUtime=302.17 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51312 0 0 0 30205 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=864692 CPUtime=304.66 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51322 0 0 0 30454 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=864692 CPUtime=301.96 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 47468 0 0 0 30186 10 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=864692 CPUtime=297.57 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51660 0 0 0 29746 11 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=864692 CPUtime=304.68 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 52577 0 0 0 30455 13 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297395908 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 78054 0 0 0 30185 21 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2417.31
Current children cumulated vsize (KiB) 864692

[startup+304.901 s]
/proc/loadavg: 8.00 8.02 8.00 3/465 6360
/proc/meminfo: memFree=14434844/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=864692 CPUtime=2417.71 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) S 6342 6344 6111 0 -1 4202496 459591 0 0 0 241655 116 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 216173 109365 380 95 0 211155 0
[pid=6344/tid=6345] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 61079 0 0 0 30190 16 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=864692 CPUtime=302.17 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51312 0 0 0 30205 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=864692 CPUtime=304.86 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51322 0 0 0 30474 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 4415787 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=864692 CPUtime=301.96 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 47468 0 0 0 30186 10 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=864692 CPUtime=297.57 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51660 0 0 0 29746 11 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=864692 CPUtime=304.88 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 52577 0 0 0 30475 13 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297395755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 78054 0 0 0 30185 21 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2417.71
Current children cumulated vsize (KiB) 864692

[startup+305.001 s]
/proc/loadavg: 8.00 8.02 8.00 3/465 6360
/proc/meminfo: memFree=14434844/32950928 swapFree=56743108/67111528
[pid=6344] ppid=6342 vsize=864692 CPUtime=2417.91 cores=0-7
/proc/6344/stat : 6344 (strangenight2-m) S 6342 6344 6111 0 -1 4202496 459591 0 0 0 241675 116 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6344/statm: 216173 109365 380 95 0 211155 0
[pid=6344/tid=6345] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6345/stat : 6345 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 61079 0 0 0 30190 16 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 0 0 0 0
[pid=6344/tid=6346] ppid=6342 vsize=864692 CPUtime=302.17 cores=0-7
/proc/6344/task/6346/stat : 6346 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51312 0 0 0 30205 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 6 0 0 0
[pid=6344/tid=6347] ppid=6342 vsize=864692 CPUtime=304.96 cores=0-7
/proc/6344/task/6347/stat : 6347 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 51322 0 0 0 30484 12 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6344/tid=6348] ppid=6342 vsize=864692 CPUtime=301.96 cores=0-7
/proc/6344/task/6348/stat : 6348 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 47468 0 0 0 30186 10 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 2 0 0 0
[pid=6344/tid=6349] ppid=6342 vsize=864692 CPUtime=297.57 cores=0-7
/proc/6344/task/6349/stat : 6349 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 51660 0 0 0 29746 11 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 7 0 0 0
[pid=6344/tid=6350] ppid=6342 vsize=864692 CPUtime=304.98 cores=0-7
/proc/6344/task/6350/stat : 6350 (strangenight2-m) R 6342 6344 6111 0 -1 4202560 52577 0 0 0 30485 13 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297395908 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6344/tid=6351] ppid=6342 vsize=864692 CPUtime=302.06 cores=0-7
/proc/6344/task/6351/stat : 6351 (strangenight2-m) S 6342 6344 6111 0 -1 4202560 78054 0 0 0 30185 21 0 0 25 0 8 0 781798628 885444608 109365 33554432000 4194304 4580107 140736131876192 18446744073709551615 47152297420340 0 0 4096 2 18446604457759543680 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2417.91
Current children cumulated vsize (KiB) 864692

Child status: 10
Real time (s): 305.09
CPU time (s): 2418.08
CPU user time (s): 2416.89
CPU system time (s): 1.18982
CPU usage (%): 792.578
Max. virtual memory (cumulated for all children) (KiB): 865572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2416.89
system time used= 1.18982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459599
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= 3022
involuntary context switches= 10697

runsolver used 1.3008 second user time and 3.22851 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-29 22:46:28
IDJOB=3421681
IDBENCH=85353
IDSOLVER=1878
FILE ID=node123/3421681-1306701988
RUNJOBID= node123-1306697298-6126
PBS_JOBID= 13471893
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421681-1306701988/watcher-3421681-1306701988 -o /tmp/evaluation-result-3421681-1306701988/solver-3421681-1306701988 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421681-1306701988.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 9a6126d13f733e360922c2ae93b7b6b9
RANDOM SEED=1774616058

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.838
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.838
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      14873196 kB
Buffers:        276160 kB
Cached:        4450236 kB
SwapCached:      18840 kB
Active:        3277444 kB
Inactive:     14528144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14873196 kB
SwapTotal:    67111528 kB
SwapFree:     56743108 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:    13067848 kB
Mapped:          31148 kB
Slab:           124780 kB
PageTables:      78116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133350048 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= 73440 MiB
End job on node123 at 2011-05-29 22:51:33