Trace number 3394338

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)UNSAT 3770.3 529.329

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_3b_unknown.cnf
MD5SUMb8621ec1841e055a001ab32c33f2b68c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark114.081
Satisfiable
(Un)Satisfiability was proved
Number of variables39151
Number of clauses533919
Sum of the clauses size1968248
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 251568
Number of clauses of size 364292
Number of clauses of size 4418059
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 8 threads
0.00/0.10	c This is CryptoMiniSat 3.0.0
0.00/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10	c Reading file 'HOME/instance-3394338-1306094543.cnf'
0.00/0.10	c -- header says num vars:          39151
0.00/0.10	c -- header says num clauses:      533919
2.76/0.63	c -- clauses added:            0 learnts,       533919 normals,            0 xors
2.76/0.63	c -- vars added      39151
2.76/0.63	c Parsing time:  0.15 s
2.76/0.63	c  N st     0         0     39151    482351     51568         0   1968248         0   no data   no data
3.41/0.76	c asymm  cl-useful: 11/1120/482351 lits-rem:11 time: 0.10
12.91/2.19	c Flit:   158 Blit:     16 bXBeca:    0 bXProp:   71 Bins:      0 BRemL:      0 BRemN:      0 P: 128.2M T:  1.25
12.91/2.19	c Cleaning up after failed var search:     0.00 s 
13.79/2.25	c Replacing       71 vars Replaced     2441 lits Time:     0.05 s 
16.13/2.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.13/2.74	c bin-w-bin subsume rem         3823 bins  time:  0.01 s
16.13/2.79	c subs with bin:     2602  lits-rem:      1320  v-fix:    0  time:  0.05 s
16.90/2.85	c Subs w/ non-existent bins:   3147 l-rem:   1398 v-fix:     0 done:   9361 time:  0.06 s
17.70/2.95	c Removed useless bin:    5785  fixed:     0  props:  17.42M  time:  0.09 s
24.81/3.87	c lits-rem:      1008  cl-subs:    38294  v-elim:   2804  v-fix:    0  time:  0.89 s
25.60/3.91	c Finding binary XORs  T:     0.05 s  found:      22
25.60/3.94	c Replacing       22 vars Replaced     1161 lits Time:     0.03 s 
28.00/4.22	c Finding non-binary XORs:     0.24 s (found:       0, avg size: nan)
28.00/4.22	c calculated reachability. Time: 0.02
28.00/4.24	c Calc default polars -  time:   0.02 s pos:    8602 undec:   21655 neg:    8894
28.00/4.24	c =========================================================================================
28.00/4.24	c types(t): F = full restart, N = normal restart
28.00/4.24	c types(t): S = simplification begin/end, E = solution found
28.00/4.24	c restart types(rt): st = static, dy = dynamic
28.00/4.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
28.00/4.24	c  B st     0         0     36016    428268     40877         0   1742833         0   no data   no data
36.77/5.33	c  N dy    12      4014     36016    428268     40878      3976   1742833     50835      7.57      8.89
41.56/5.91	c Finding binary XORs  T:     0.04 s  found:       0
46.36/6.52	c  N dy    23      8053     36015    428247     43311      7943   1742739     99931      7.08      7.51
54.33/7.59	c  N dy    38     12152     36015    428247     43315     11994   1742739    148998      6.99      7.38
63.92/8.81	c  N dy    61     16207     36013    428247     44104     16002   1742739    198783      7.08      8.70
70.29/9.51	c Finding binary XORs  T:     0.04 s  found:       0
75.07/10.16	c  N dy    75     20762     36012    427863     44128      9370   1741394     96299      7.00      7.42
83.22/11.18	c  N dy    92     24807     36011    427863     44137     13368   1741394    142670      6.98      7.35
83.85/11.24	c  F st    93     25000     36011    427863     44159     13556   1741394    144765      6.98      7.18
84.65/11.36	c Found part     1013 vars:        672 clauses:      9606 lits size:     35293
84.65/11.36	c Found part     1384 vars:       4871 clauses:    169546 lits size:    645773
84.65/11.36	c Found part     1459 vars:        952 clauses:      5148 lits size:     17950
84.65/11.36	c Found part     1475 vars:        948 clauses:      6259 lits size:     21705
84.65/11.36	c Found part     1488 vars:        238 clauses:       486 lits size:      1440
84.65/11.36	c Found part     1491 vars:        234 clauses:       476 lits size:      1440
84.65/11.36	c Found part     1501 vars:       9726 clauses:     52126 lits size:    185523
84.65/11.36	c Found part     1511 vars:        203 clauses:       502 lits size:      1379
84.65/11.36	c Found part     1512 vars:        234 clauses:       476 lits size:      1440
84.65/11.36	c Found part     1514 vars:      14222 clauses:    210098 lits size:    780937
84.65/11.36	c Found part     1522 vars:        833 clauses:      5179 lits size:     18093
84.65/11.36	c Found part     1527 vars:        305 clauses:       965 lits size:      2986
84.65/11.36	c Found part     1535 vars:        265 clauses:       792 lits size:      3175
84.65/11.36	c Found part     1537 vars:        236 clauses:       479 lits size:      1440
84.65/11.36	c Found part     1539 vars:        172 clauses:       504 lits size:      2317
84.65/11.36	c Found part     1540 vars:        236 clauses:       482 lits size:      1444
84.65/11.36	c Found part     1541 vars:        236 clauses:       482 lits size:      1444
84.65/11.36	c Found part     1543 vars:        476 clauses:      1702 lits size:      5744
84.65/11.36	c Found part     1544 vars:        476 clauses:      1687 lits size:      5724
84.65/11.36	c Found part     1545 vars:        476 clauses:      1687 lits size:      5724
84.65/11.36	c Found parts:         20 time: 0.12 s
84.65/11.36	c Solving part 1539
84.65/11.40	c  N st     0         0       172       335       169         0      2317         0   no data   no data
85.44/11.40	c asymm  cl-useful: 160/335/335 lits-rem:255 time: 0.00
85.44/11.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
85.44/11.40	c Finding binary XORs  T:     0.00 s  found:       0
85.44/11.40	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
85.44/11.40	c calculated reachability. Time: 0.00
85.44/11.40	c Calc default polars -  time:   0.00 s pos:      76 undec:   38988 neg:      87
85.44/11.40	c =========================================================================================
85.44/11.40	c types(t): F = full restart, N = normal restart
85.44/11.40	c types(t): S = simplification begin/end, E = solution found
85.44/11.40	c restart types(rt): st = static, dy = dynamic
85.44/11.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
85.44/11.40	c  B st     0         0       172       335       169         0      2062         0   no data   no data
85.44/11.40	c  E st     1         0         0       335       169         0      2062         0   no data   no data
85.44/11.40	c Verified 335 clauses.
85.44/11.40	c Verified 335 clauses.
85.44/11.40	c Solved part
85.44/11.40	c =========================================================================================
85.44/11.41	c Solving part 1511
85.44/11.44	c  N st     0         0       203       227       313         0      1379        76   no data   no data
85.44/11.44	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
85.44/11.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
85.44/11.44	c Finding binary XORs  T:     0.00 s  found:       0
85.44/11.45	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
85.44/11.45	c calculated reachability. Time: 0.00
85.44/11.45	c Calc default polars -  time:   0.00 s pos:      58 undec:   38992 neg:     101
85.44/11.45	c =========================================================================================
85.44/11.45	c types(t): F = full restart, N = normal restart
85.44/11.45	c types(t): S = simplification begin/end, E = solution found
85.44/11.45	c restart types(rt): st = static, dy = dynamic
85.44/11.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
85.44/11.45	c  B st     0         0       203       227       313         0      1343        76   no data   no data
85.44/11.45	c  E st     1         0         0       227       313         0      1343        76   no data   no data
85.44/11.45	c Verified 227 clauses.
85.44/11.45	c Verified 227 clauses.
85.44/11.45	c Solved part
85.44/11.45	c =========================================================================================
85.44/11.45	c Solving part 1491
85.44/11.48	c  N st     0         0       234       244       232         0      1440         0   no data   no data
85.44/11.48	c asymm  cl-useful: 6/244/244 lits-rem:6 time: 0.00
85.44/11.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
85.44/11.49	c Finding binary XORs  T:     0.00 s  found:       0
85.44/11.49	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
85.44/11.49	c calculated reachability. Time: 0.00
85.44/11.49	c Calc default polars -  time:   0.00 s pos:      17 undec:   39121 neg:      13
85.44/11.49	c =========================================================================================
85.44/11.49	c types(t): F = full restart, N = normal restart
85.44/11.49	c types(t): S = simplification begin/end, E = solution found
85.44/11.49	c restart types(rt): st = static, dy = dynamic
85.44/11.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
85.44/11.49	c  B st     0         0       234       244       232         0      1434         0   no data   no data
85.44/11.49	c  E st     1         0         0       244       232         0      1434         0   no data   no data
85.44/11.49	c Verified 244 clauses.
85.44/11.49	c Verified 244 clauses.
85.44/11.49	c Solved part
85.44/11.49	c =========================================================================================
85.44/11.49	c Solving part 1512
86.25/11.52	c  N st     0         0       234       244       232         0      1440         0   no data   no data
86.25/11.53	c asymm  cl-useful: 6/244/244 lits-rem:6 time: 0.00
86.25/11.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
86.25/11.53	c Finding binary XORs  T:     0.00 s  found:       0
86.25/11.53	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
86.25/11.53	c calculated reachability. Time: 0.00
86.25/11.53	c Calc default polars -  time:   0.00 s pos:      17 undec:   39121 neg:      13
86.25/11.53	c =========================================================================================
86.25/11.53	c types(t): F = full restart, N = normal restart
86.25/11.53	c types(t): S = simplification begin/end, E = solution found
86.25/11.53	c restart types(rt): st = static, dy = dynamic
86.25/11.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
86.25/11.53	c  B st     0         0       234       244       232         0      1434         0   no data   no data
86.25/11.53	c  E st     1         0         0       244       232         0      1434         0   no data   no data
86.25/11.53	c Verified 244 clauses.
86.25/11.53	c Verified 244 clauses.
86.25/11.53	c Solved part
86.25/11.53	c =========================================================================================
86.25/11.53	c Solving part 1541
86.25/11.57	c  N st     0         0       236       244       238         0      1444         0   no data   no data
86.25/11.57	c asymm  cl-useful: 2/244/244 lits-rem:2 time: 0.00
86.25/11.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
86.25/11.58	c Finding binary XORs  T:     0.00 s  found:       0
86.25/11.58	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
86.25/11.58	c calculated reachability. Time: 0.00
86.25/11.58	c Calc default polars -  time:   0.00 s pos:      14 undec:   39123 neg:      14
86.25/11.58	c =========================================================================================
86.25/11.58	c types(t): F = full restart, N = normal restart
86.25/11.58	c types(t): S = simplification begin/end, E = solution found
86.25/11.58	c restart types(rt): st = static, dy = dynamic
86.25/11.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
86.25/11.58	c  B st     0         0       236       244       238         0      1442         0   no data   no data
86.25/11.58	c  E st     1         0         0       244       238         0      1442         0   no data   no data
86.25/11.58	c Verified 244 clauses.
86.25/11.58	c Verified 244 clauses.
86.25/11.58	c Solved part
86.25/11.58	c =========================================================================================
86.25/11.58	c Solving part 1540
87.04/11.61	c  N st     0         0       236       244       238         0      1444         0   no data   no data
87.04/11.61	c asymm  cl-useful: 2/244/244 lits-rem:2 time: 0.00
87.04/11.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
87.04/11.62	c Finding binary XORs  T:     0.00 s  found:       0
87.04/11.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
87.04/11.62	c calculated reachability. Time: 0.00
87.04/11.62	c Calc default polars -  time:   0.00 s pos:      14 undec:   39123 neg:      14
87.04/11.62	c =========================================================================================
87.04/11.62	c types(t): F = full restart, N = normal restart
87.04/11.62	c types(t): S = simplification begin/end, E = solution found
87.04/11.62	c restart types(rt): st = static, dy = dynamic
87.04/11.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
87.04/11.62	c  B st     0         0       236       244       238         0      1442         0   no data   no data
87.04/11.62	c  E st     1         0         0       244       238         0      1442         0   no data   no data
87.04/11.62	c Verified 244 clauses.
87.04/11.62	c Verified 244 clauses.
87.04/11.62	c Solved part
87.04/11.62	c =========================================================================================
87.04/11.62	c Solving part 1537
87.04/11.66	c  N st     0         0       236       243       236         0      1440         0   no data   no data
87.04/11.66	c asymm  cl-useful: 1/243/243 lits-rem:1 time: 0.00
87.04/11.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
87.04/11.66	c Finding binary XORs  T:     0.00 s  found:       0
87.04/11.66	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
87.04/11.66	c calculated reachability. Time: 0.00
87.04/11.67	c Calc default polars -  time:   0.00 s pos:      10 undec:   39131 neg:      10
87.04/11.67	c =========================================================================================
87.04/11.67	c types(t): F = full restart, N = normal restart
87.04/11.67	c types(t): S = simplification begin/end, E = solution found
87.04/11.67	c restart types(rt): st = static, dy = dynamic
87.04/11.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
87.04/11.67	c  B st     0         0       236       243       236         0      1439         0   no data   no data
87.04/11.67	c  E st     1         0         0       243       236         0      1439         0   no data   no data
87.04/11.67	c Verified 243 clauses.
87.04/11.67	c Verified 243 clauses.
87.04/11.67	c Solved part
87.04/11.67	c =========================================================================================
87.04/11.67	c Solving part 1488
87.85/11.70	c  N st     0         0       238       244       242         0      1440         0   no data   no data
87.85/11.70	c asymm  cl-useful: 0/244/244 lits-rem:0 time: 0.00
87.85/11.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
87.85/11.71	c Finding binary XORs  T:     0.00 s  found:       0
87.85/11.71	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
87.85/11.71	c calculated reachability. Time: 0.00
87.85/11.71	c Calc default polars -  time:   0.00 s pos:      18 undec:   39116 neg:      17
87.85/11.71	c =========================================================================================
87.85/11.71	c types(t): F = full restart, N = normal restart
87.85/11.71	c types(t): S = simplification begin/end, E = solution found
87.85/11.71	c restart types(rt): st = static, dy = dynamic
87.85/11.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
87.85/11.71	c  B st     0         0       238       244       242         0      1440         0   no data   no data
87.85/11.71	c  E st     1         0         0       244       242         0      1440         0   no data   no data
87.85/11.71	c Verified 244 clauses.
87.85/11.71	c Verified 244 clauses.
87.85/11.71	c Solved part
87.85/11.71	c =========================================================================================
87.85/11.71	c Solving part 1535
87.85/11.74	c  N st     0         0       265       522       270         0      3175         0   no data   no data
87.85/11.74	c asymm  cl-useful: 89/522/522 lits-rem:122 time: 0.00
87.85/11.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
87.85/11.75	c Finding binary XORs  T:     0.00 s  found:       0
87.85/11.75	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
87.85/11.75	c calculated reachability. Time: 0.00
87.85/11.75	c Calc default polars -  time:   0.00 s pos:     129 undec:   38912 neg:     110
87.85/11.75	c =========================================================================================
87.85/11.75	c types(t): F = full restart, N = normal restart
87.85/11.75	c types(t): S = simplification begin/end, E = solution found
87.85/11.75	c restart types(rt): st = static, dy = dynamic
87.85/11.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
87.85/11.75	c  B st     0         0       265       522       270         0      3053         0   no data   no data
87.85/11.75	c  E st     1         0         0       522       270         0      3053         0   no data   no data
87.85/11.75	c Verified 522 clauses.
87.85/11.75	c Verified 522 clauses.
87.85/11.75	c Solved part
87.85/11.75	c =========================================================================================
87.85/11.75	c Solving part 1527
87.85/11.78	c  N st     0         0       305       600       483         0      2986       236   no data   no data
87.85/11.79	c asymm  cl-useful: 102/600/600 lits-rem:149 time: 0.01
87.85/11.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
88.64/11.80	c Finding binary XORs  T:     0.00 s  found:       0
88.64/11.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
88.64/11.80	c calculated reachability. Time: 0.00
88.64/11.80	c Calc default polars -  time:   0.00 s pos:     120 undec:   38891 neg:     140
88.64/11.80	c =========================================================================================
88.64/11.80	c types(t): F = full restart, N = normal restart
88.64/11.80	c types(t): S = simplification begin/end, E = solution found
88.64/11.80	c restart types(rt): st = static, dy = dynamic
88.64/11.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
88.64/11.80	c  B st     0         0       305       597       486         0      2843       236   no data   no data
88.64/11.80	c  E st     1         0         0       597       486         0      2843       236   no data   no data
88.64/11.80	c Verified 597 clauses.
88.64/11.80	c Verified 597 clauses.
88.64/11.80	c Solved part
88.64/11.80	c =========================================================================================
88.64/11.80	c Solving part 1545
88.64/11.84	c  N st     0         0       476      1195       492         0      5724         0   no data   no data
88.64/11.85	c asymm  cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
88.64/11.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
88.64/11.86	c Finding binary XORs  T:     0.00 s  found:       0
88.64/11.86	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
88.64/11.86	c calculated reachability. Time: 0.00
88.64/11.86	c Calc default polars -  time:   0.00 s pos:      16 undec:   39119 neg:      16
88.64/11.86	c =========================================================================================
88.64/11.86	c types(t): F = full restart, N = normal restart
88.64/11.86	c types(t): S = simplification begin/end, E = solution found
88.64/11.86	c restart types(rt): st = static, dy = dynamic
88.64/11.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
88.64/11.86	c  B st     0         0       476      1195       492         0      5724         0   no data   no data
88.64/11.86	c  E st     1         0         0      1195       492         0      5724         0   no data   no data
88.64/11.86	c Verified 1195 clauses.
88.64/11.86	c Verified 1195 clauses.
88.64/11.86	c Solved part
88.64/11.86	c =========================================================================================
88.64/11.86	c Solving part 1544
88.64/11.89	c  N st     0         0       476      1195       492         0      5724         0   no data   no data
89.44/11.90	c asymm  cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
89.44/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
89.44/11.91	c Finding binary XORs  T:     0.00 s  found:       0
89.44/11.91	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
89.44/11.91	c calculated reachability. Time: 0.00
89.44/11.91	c Calc default polars -  time:   0.00 s pos:      16 undec:   39119 neg:      16
89.44/11.91	c =========================================================================================
89.44/11.91	c types(t): F = full restart, N = normal restart
89.44/11.91	c types(t): S = simplification begin/end, E = solution found
89.44/11.91	c restart types(rt): st = static, dy = dynamic
89.44/11.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
89.44/11.91	c  B st     0         0       476      1195       492         0      5724         0   no data   no data
89.44/11.91	c  E st     1         0         0      1195       492         0      5724         0   no data   no data
89.44/11.91	c Verified 1195 clauses.
89.44/11.91	c Verified 1195 clauses.
89.44/11.91	c Solved part
89.44/11.91	c =========================================================================================
89.44/11.91	c Solving part 1543
89.44/11.95	c  N st     0         0       476      1200       502         0      5744         0   no data   no data
89.44/11.95	c asymm  cl-useful: 0/1200/1200 lits-rem:0 time: 0.01
89.44/11.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
89.44/11.96	c Finding binary XORs  T:     0.00 s  found:       0
89.44/11.96	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
89.44/11.96	c calculated reachability. Time: 0.00
89.44/11.97	c Calc default polars -  time:   0.00 s pos:      24 undec:   39103 neg:      24
89.44/11.97	c =========================================================================================
89.44/11.97	c types(t): F = full restart, N = normal restart
89.44/11.97	c types(t): S = simplification begin/end, E = solution found
89.44/11.97	c restart types(rt): st = static, dy = dynamic
89.44/11.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
89.44/11.97	c  B st     0         0       476      1200       502         0      5744         0   no data   no data
89.44/11.97	c  E st     1         0         0      1200       502         0      5744         0   no data   no data
89.44/11.97	c Verified 1200 clauses.
89.44/11.97	c Verified 1200 clauses.
89.44/11.97	c Solved part
89.44/11.97	c =========================================================================================
89.44/11.97	c Solving part 1013
90.24/12.00	c  N st     0         0       672      8654      1510         0     35293      1116   no data   no data
91.99/12.25	c asymm  cl-useful: 793/4120/8654 lits-rem:852 time: 0.25
92.61/12.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   36 Bins:      0 BRemL:      0 BRemN:      0 P:  2.8M T:  0.05
92.61/12.31	c Finding binary XORs  T:     0.00 s  found:       4
92.61/12.31	c Replacing       40 vars Replaced     2882 lits Time:     0.00 s 
92.61/12.31	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
92.61/12.31	c calculated reachability. Time: 0.00
92.61/12.31	c Calc default polars -  time:   0.00 s pos:     273 undec:   38619 neg:     259
92.61/12.31	c =========================================================================================
92.61/12.31	c types(t): F = full restart, N = normal restart
92.61/12.31	c types(t): S = simplification begin/end, E = solution found
92.61/12.31	c restart types(rt): st = static, dy = dynamic
92.61/12.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
92.61/12.31	c  B st     0         0       632      8145      1487         0     32415      1116   no data   no data
92.61/12.31	c  E st     1         0         0      8145      1487         0     32415      1116   no data   no data
92.61/12.31	c Verified 8145 clauses.
92.61/12.31	c Verified 8145 clauses.
92.61/12.31	c Solved part
92.61/12.31	c =========================================================================================
92.61/12.31	c Solving part 1522
92.61/12.34	c  N st     0         0       833      4156      1038         0     18093        30   no data   no data
93.42/12.41	c asymm  cl-useful: 46/4156/4156 lits-rem:46 time: 0.07
93.42/12.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
93.42/12.43	c Finding binary XORs  T:     0.00 s  found:       0
93.42/12.43	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
93.42/12.43	c calculated reachability. Time: 0.00
93.42/12.43	c Calc default polars -  time:   0.00 s pos:     288 undec:   38613 neg:     250
93.42/12.43	c =========================================================================================
93.42/12.43	c types(t): F = full restart, N = normal restart
93.42/12.43	c types(t): S = simplification begin/end, E = solution found
93.42/12.43	c restart types(rt): st = static, dy = dynamic
93.42/12.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
93.42/12.43	c  B st     0         0       833      4156      1038         0     18047        30   no data   no data
93.42/12.43	c  E st     1         0         0      4156      1038         0     18047        30   no data   no data
93.42/12.43	c Verified 4156 clauses.
93.42/12.43	c Verified 4156 clauses.
93.42/12.43	c Solved part
93.42/12.43	c =========================================================================================
93.42/12.43	c Solving part 1475
93.42/12.46	c  N st     0         0       948      5035      1256         0     21705        64   no data   no data
94.22/12.56	c asymm  cl-useful: 143/5035/5035 lits-rem:158 time: 0.10
94.22/12.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.02
94.22/12.59	c Finding binary XORs  T:     0.00 s  found:       0
94.22/12.59	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
94.22/12.59	c calculated reachability. Time: 0.00
94.22/12.59	c Calc default polars -  time:   0.00 s pos:     366 undec:   38451 neg:     334
94.22/12.59	c =========================================================================================
94.22/12.59	c types(t): F = full restart, N = normal restart
94.22/12.59	c types(t): S = simplification begin/end, E = solution found
94.22/12.59	c restart types(rt): st = static, dy = dynamic
94.22/12.59	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
94.22/12.59	c  B st     0         0       948      5029      1262         0     21559        64   no data   no data
94.22/12.59	c  E st     1         0         0      5029      1262         0     21559        64   no data   no data
94.22/12.59	c Verified 5029 clauses.
94.22/12.59	c Verified 5029 clauses.
94.22/12.59	c Solved part
94.22/12.59	c =========================================================================================
94.22/12.59	c Solving part 1459
95.01/12.62	c  N st     0         0       952      4089      1084         0     17950        50   no data   no data
95.01/12.68	c asymm  cl-useful: 107/4089/4089 lits-rem:107 time: 0.06
95.82/12.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.02
95.82/12.71	c Finding binary XORs  T:     0.00 s  found:       0
95.82/12.71	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
95.82/12.71	c calculated reachability. Time: 0.00
95.82/12.71	c Calc default polars -  time:   0.00 s pos:     215 undec:   38728 neg:     208
95.82/12.71	c =========================================================================================
95.82/12.71	c types(t): F = full restart, N = normal restart
95.82/12.71	c types(t): S = simplification begin/end, E = solution found
95.82/12.71	c restart types(rt): st = static, dy = dynamic
95.82/12.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
95.82/12.71	c  B st     0         0       952      4089      1084         0     17843        50   no data   no data
95.82/12.71	c  E st     1         0         0      4089      1084         0     17843        50   no data   no data
95.82/12.71	c Verified 4089 clauses.
95.82/12.71	c Verified 4089 clauses.
95.82/12.71	c Solved part
95.82/12.71	c =========================================================================================
95.82/12.71	c Solving part 1384
96.61/12.84	c  N st     0         0      4871    163589      6941     12694    645773    130995   no data   no data
97.40/12.91	c asymm  cl-useful: 0/473/163589 lits-rem:0 time: 0.07
100.74/13.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 64.8M T:  0.43
100.74/13.36	c Finding binary XORs  T:     0.01 s  found:       0
101.37/13.44	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
101.37/13.44	c calculated reachability. Time: 0.00
101.37/13.44	c Calc default polars -  time:   0.00 s pos:    1310 undec:   36519 neg:    1322
101.37/13.44	c =========================================================================================
101.37/13.44	c types(t): F = full restart, N = normal restart
101.37/13.44	c types(t): S = simplification begin/end, E = solution found
101.37/13.44	c restart types(rt): st = static, dy = dynamic
101.37/13.44	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.37/13.44	c  B st     0         0      4871    163589      6941     12694    645773    130995   no data   no data
110.16/14.53	c  N dy    19      4114      4871    163589      6947     16760    645772    182129      6.55      6.93
119.73/15.77	c  N dy    41      8216      4871    163589      6954     20820    645772    231445      6.73      7.15
129.32/16.92	c  N dy    63     12282      4871    163589      6958     24859    645772    282545      6.78      7.20
138.10/18.07	c  N dy    84     16359      4870    163589      6970     28891    645772    333698      6.79      7.17
147.67/19.26	c  N dy   102     20418      4870    163589      6974     16662    645772    143428      6.80      7.17
157.26/20.40	c  N dy   124     24504      4870    163589      6978     20723    645772    197351      6.85      7.21
158.05/20.54	c  F st   128     25002      4870    163589      6978     21220    645772    204373      6.86      6.31
169.24/21.98	c  N dy   134     30196      4870    163589      6980     26374    645772    276963      6.86   no data
182.00/23.55	c  N dy   154     35421      4870    163589      6984     31575    645772    340822      6.81      7.20
192.37/24.83	c  N dy   172     39445      4870    163589      6985     35569    645772    391890      6.82      7.19
201.15/25.95	c  N dy   192     43490      4869    163589      6994     21015    645772    171434      6.84      7.37
212.34/27.37	c  N dy   214     47836      4869    163589      6998     25329    645772    227446      6.85      7.21
221.91/28.61	c  N dy   240     51895      4869    163589      7007     29349    645772    279302      6.87      7.34
233.87/30.00	c  N dy   260     55899      4869    163589      7009     33321    645772    328969      6.87      8.27
244.25/31.37	c  N dy   281     60012      4869    163589      7015     37387    645772    378392      6.87      7.24
251.43/32.23	c Finding binary XORs  T:     0.01 s  found:       0
256.24/32.85	c  N dy   304     64397      4869    163277      6941     20423    644526    155403      6.87      7.25
266.76/34.17	c  N dy   326     68542      4868    163277      6955     24519    644526    207649      6.87      7.25
278.57/35.67	c  N dy   347     72972      4868    163277      6964     28910    644526    265463      6.86      7.25
291.35/37.22	c  N dy   371     77658      4868    163277      6969     33555    644526    329237      6.87      8.32
304.92/38.91	c  N dy   400     82667      4868    163277      6976     38523    644526    394920      6.89      7.39
317.68/40.59	c  F st   427     87504      4868    163277      6979     22404    644526    160187      6.91      6.06
319.42/40.81	c  N st   429     88131      4868    163277      6980     23028    644526    169404      6.91   no data
332.03/42.38	c  N dy   439     93882      4868    163277      6981     28737    644526    254033      6.91      7.28
347.19/44.27	c  N dy   463     99948      4868    163277      6982     34764    644526    337283      6.91      7.97
364.76/46.40	c  N dy   493    106359      4867    163277      7001     41093    644526    418456      6.90      8.56
383.11/48.76	c  N dy   527    113424      4866    163277      7014     25755    644526    186944      6.90      7.28
384.71/48.98	c Finding binary XORs  T:     0.01 s  found:       0
402.28/51.13	c  N dy   571    120850      4865    162583      6894     28212    641847    246681      6.91      7.32
423.83/53.84	c  N dy   613    128637      4865    162583      6902     35923    641847    350362      6.93      7.67
446.18/56.68	c  N dy   664    136887      4864    162583      6906     23004    641847    156291      6.96      7.33
470.91/59.72	c  N dy   709    145716      4864    162583      6917     31750    641847    273963      6.97      7.50
497.25/63.06	c  N dy   763    155168      4862    162583      6941     41115    641847    404272      6.98      7.43
525.99/66.65	c  N dy   823    165071      4861    162583      6947     27507    641847    206219      7.00      7.47
556.47/70.44	c  N dy   881    175634      4861    162583      6958     37990    641847    353757      7.02      7.57
583.62/73.88	c Finding binary XORs  T:     0.01 s  found:       0
588.26/74.47	c  N dy   944    187127      4859    161629      6881     42713    638146    448684      7.04      7.45
620.97/78.50	c  N dy  1015    199165      4857    161629      6899     32870    638146    293056      7.07      7.99
656.09/82.91	c  N dy  1108    211976      4856    161629      6908     45596    638146    484397      7.11      7.49
692.80/87.51	c  N dy  1220    225533      4855    161629      6923     34250    638144    289023      7.18     10.54
732.86/92.59	c  N dy  1302    239979      4853    161629      6942     48591    638144    502309      7.20      9.42
774.21/97.78	c Finding binary XORs  T:     0.01 s  found:       0
775.01/97.82	c  N dy  1410    255309      4853    160585      6837     33861    634093    297500      7.25      7.69
820.66/103.52	c  N dy  1508    271727      4852    160585      6852     50149    634093    533480      7.28      7.69
868.39/109.59	c  N dy  1598    289184      4852    160585      6861     40798    634092    362199      7.30      7.72
921.88/116.28	c  F st  1712    306250      4852    160585      6866     29011    634092    170592      7.33   no data
926.65/116.84	c  N st  1716    308282      4852    160585      6867     31031    634092    205057      7.33   no data
983.97/124.01	c  N dy  1822    328321      4851    160585      6877     50954    634092    517928      7.36      7.83
1045.86/131.86	c  N dy  1925    348428      4850    160585      6895     40648    634092    320522      7.37      8.15
1107.01/139.51	c  N dy  2054    368692      4849    160585      6908     60799    634091    623460      7.40      7.84
1127.12/142.08	c Finding binary XORs  T:     0.01 s  found:       1
1168.46/147.25	c  N dy  2186    388764      4848    160007      6865     46478    631885    407155      7.43      8.58
1229.92/154.94	c  N dy  2322    408861      4848    160007      6866     35152    631885    230203      7.46      9.21
1290.58/162.50	c  N dy  2462    428864      4848    160007      6870     55038    631885    549099      7.49      8.68
1356.03/170.78	c  N dy  2587    448967      4847    160007      6876     41967    631885    320200      7.52      7.93
1419.07/178.67	c  N dy  2698    469066      4844    160007      6885     61957    631885    626380      7.53      7.97
1483.73/186.70	c  N dy  2789    489473      4843    160007      6903     47826    631885    388191      7.54      7.94
1545.19/194.41	c  N dy  2893    509542      4842    160007      6920     67763    631885    704970      7.55      8.83
1606.66/202.11	c  N dy  3016    529638      4842    160007      6925     52157    631885    458116      7.57      8.01
1670.66/210.19	c  N dy  3160    549710      4841    160007      6928     72136    631885    787196      7.60      9.39
1731.18/217.76	c  N dy  3296    570755      4841    160007      6929     56377    631885    511450      7.62      8.02
1802.34/226.62	c  N dy  3427    590802      4841    160007      6931     38553    631885    216853      7.64     10.45
1818.96/228.78	c Finding binary XORs  T:     0.01 s  found:       1
1865.25/234.56	c  N dy  3532    612297      4841    158822      6752     58817    626885    547480      7.64      8.08
1930.70/242.74	c  N dy  3647    632355      4841    158822      6760     40537    626885    238633      7.66      8.23
1992.15/250.43	c  N dy  3759    652445      4841    158822      6765     60519    626885    560162      7.66      8.25
2057.75/258.67	c  N dy  3875    672453      4841    158822      6772     41144    626885    238385      7.67      8.18
2118.40/266.31	c  N dy  4008    692623      4841    158822      6775     61230    626885    566911      7.69      8.13
2190.07/275.27	c  N dy  4113    712735      4841    158822      6782     81241    626885    896377      7.69      8.11
2257.93/283.71	c  N dy  4205    733195      4838    158822      6805     61506    626885    544948      7.69      8.31
2326.57/292.32	c  N dy  4335    753240      4836    158822      6816     81432    626885    871516      7.70      8.16
2388.84/300.17	c  N dy  4466    773285      4836    158822      6820     60565    626884    526380      7.72      9.05
2444.05/307.06	c Finding binary XORs  T:     0.01 s  found:       4
2459.86/309.08	c  N dy  4595    793677      4836    157906      6751     80353    623113    868874      7.73      8.29
2528.49/317.68	c  N dy  4687    814082      4833    157906      6763     58795    623112    468608      7.73      8.19
2596.33/326.13	c  N dy  4810    834137      4833    157906      6770     78744    623112    803575      7.74      8.58
2662.73/334.47	c  N dy  4940    854390      4833    157906      6773     56031    623112    407233      7.75      8.19
2728.02/342.63	c  N dy  5061    874415      4833    157906      6776     75977    623112    747816      7.76      8.27
2798.26/351.49	c  N dy  5186    894460      4833    157906      6778     51957    623112    321144      7.77      9.44
2863.71/359.65	c  N dy  5284    914475      4833    157906      6783     71850    623112    645823      7.78      9.33
2934.89/368.57	c  N dy  5399    934531      4832    157906      6797     91796    623112    981317      7.79      8.63
3001.78/376.90	c  N dy  5491    954612      4832    157906      6802     66905    623112    546457      7.79      9.04
3072.82/385.83	c  N dy  5587    975159      4830    157906      6824     87317    623112    883089      7.79      8.26
3108.74/390.35	c Finding binary XORs  T:     0.01 s  found:      24
3140.67/394.38	c  N dy  5664    995188      4830    156804      6808     60998    618607    444118      7.79      8.36
3207.84/402.75	c  N dy  5766   1015365      4822    156804      6820     81051    618607    788541      7.79      8.31
3281.92/412.09	c  N dy  5861   1035618      4821    156804      6835     54697    618607    305996      7.79      8.30
3350.56/420.60	c  N dy  5945   1055839      4811    156804      6853     74794    618607    653021      7.79      8.27
3408.04/427.80	c  F st  6037   1071876      4811    156804      6858     90755    618607    941675      7.79   no data
3423.19/429.72	c  N dy  6043   1077068      4811    156804      6861     95925    618607   1049326      7.79   no data
3477.47/436.58	c Finding binary XORs  T:     0.01 s  found:      26
3478.27/436.62	c Replacing       56 vars Replaced    43115 lits Time:     0.04 s 
3485.45/437.56	c  N dy  6139   1097095      4742    150553      6611     64106    593532    485153      7.79      9.94
3534.14/443.60	c Finding binary XORs  T:     0.01 s  found:       2
3546.10/445.17	c  N dy  6225   1117664      4693    132972      6803     68617    524678    659046      7.79      8.23
3583.03/449.80	c Finding binary XORs  T:     0.01 s  found:       9
3596.87/452.25	c  N dy  6295   1137932      4646    118454      6515     41006    466812    248187      7.78      8.25
3599.76/452.86	c Finding binary XORs  T:     0.01 s  found:      60
3599.76/452.87	c Replacing       71 vars Replaced    29847 lits Time:     0.02 s 
3601.86/453.24	c  E dy  6302   1141776      4330     88561      6065     26038    349021    147355      7.78      3.79
3770.14/529.26	c Following stats are for *FIRST FINISHED THREAD ONLY*
3770.14/529.26	c num threads              : 8          
3770.14/529.26	c restarts                 : 108        
3770.14/529.26	c dynamic restarts         : 102        
3770.14/529.26	c static restarts          : 6          
3770.14/529.26	c full restarts            : 0          
3770.14/529.26	c total simplify time      : 0.14       
3770.14/529.26	c learnts DL2              : 0          
3770.14/529.26	c learnts size 2           : 60039      
3770.14/529.26	c learnts size 1           : 242         (0.62      % of vars)
3770.14/529.26	c filedLit time            : 1.22        (0.23      % time)
3770.14/529.26	c v-elim SatELite          : 2804        (7.16      % vars)
3770.14/529.26	c SatELite time            : 0.75        (0.14      % time)
3770.14/529.26	c v-elim xor               : 0           (0.00      % vars)
3770.14/529.26	c xor elim time            : 0.00        (0.00      % time)
3770.14/529.26	c num binary xor trees     : 14         
3770.14/529.26	c binxor trees' crown      : 93          (6.64      leafs/tree)
3770.14/529.26	c bin xor find time        : 0.14       
3770.14/529.26	c OTF clause improved      : 252         (0.01      clauses/conflict)
3770.14/529.26	c OTF impr. size diff      : 339         (1.35       lits/clause)
3770.14/529.26	c OTF cl watch-shrink      : 16109       (0.64      clauses/conflict)
3770.14/529.26	c OTF cl watch-sh-lit      : 37839       (2.35       lits/clause)
3770.14/529.26	c tried to recurMin cls    : 4460        (17.84      % of conflicts)
3770.14/529.26	c updated cache            : 0           (0.00       lits/tried recurMin)
3770.14/529.26	c unit cls recevied        : 3           (1.24      % of units)
3770.14/529.26	c unit cls sent            : 0           (0.00      % of units)
3770.14/529.26	c bin cls recevied         : 3401       
3770.14/529.26	c bin cls sent             : 741        
3770.14/529.26	c clauses over max glue    : 0           (0.00      % of all clauses)
3770.14/529.26	c conflicts                : 25003       (47.34     / sec)
3770.14/529.26	c decisions                : 30873       (0.00      % random)
3770.14/529.26	c bogo-props               : 1385791251  (2624089.19 / sec)
3770.14/529.26	c conflict literals        : 299623      (54.14     % deleted)
3770.14/529.26	c Memory used              : 2052.67     MB
3770.14/529.26	c single-thread CPU time   : 528.10      s
3770.14/529.26	c all-threads sum CPU time : 3766.81     s
3770.14/529.26	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3394338-1306094543/watcher-3394338-1306094543 -o /tmp/evaluation-result-3394338-1306094543/solver-3394338-1306094543 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394338-1306094543.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: 1.00 1.02 1.03 2/554 26488
/proc/meminfo: memFree=24568084/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=92144 CPUtime=0.06 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) R 26486 26488 26462 0 -1 4202496 412 0 0 0 6 0 0 0 24 0 8 0 721053045 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993500082 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26488/statm: 23036 352 299 95 0 18018 0
[pid=26488/tid=26489] ppid=26486 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993500082 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=92144 CPUtime=0 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993500082 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993500080 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993500086 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=92144 CPUtime=0 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993500082 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=92144 CPUtime=0 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=92144 CPUtime=0 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721053046 94355456 352 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.114866 s]
/proc/loadavg: 1.00 1.02 1.03 2/554 26488
/proc/meminfo: memFree=24568084/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=492936 CPUtime=0.49 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) R 26486 26488 26462 0 -1 4202496 6052 0 0 0 48 1 0 0 24 0 8 0 721053045 504766464 5403 33554432000 4194304 4580107 140736448117456 18446744073709551615 4307040 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26488/statm: 123417 5596 335 95 0 118399 0
[pid=26488/tid=26489] ppid=26486 vsize=493956 CPUtime=0.1 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 283 0 0 0 10 0 0 0 24 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 4 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=493956 CPUtime=0 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 818 0 0 0 0 0 0 0 17 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=493956 CPUtime=0.1 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 684 0 0 0 10 0 0 0 17 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 4 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=493956 CPUtime=0.1 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 1071 0 0 0 10 0 0 0 18 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813937255 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=493956 CPUtime=0.05 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 929 0 0 0 5 0 0 0 18 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=493956 CPUtime=0.04 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 976 0 0 0 4 0 0 0 18 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813937360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=493956 CPUtime=0 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 290 0 0 0 0 0 0 0 25 0 8 0 721053046 505810944 5774 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 492936

[startup+0.202856 s]
/proc/loadavg: 1.00 1.02 1.03 2/554 26488
/proc/meminfo: memFree=24568084/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=669880 CPUtime=0.79 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) R 26486 26488 26462 0 -1 4202496 37823 0 0 0 68 11 0 0 18 0 8 0 721053045 685957120 31538 33554432000 4194304 4580107 140736448117456 18446744073709551615 4353216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26488/statm: 167470 31587 337 95 0 162452 0
[pid=26488/tid=26489] ppid=26486 vsize=669880 CPUtime=0.12 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 4472 0 0 0 12 0 0 0 17 0 8 0 721053046 685957120 31589 33554432000 4194304 4580107 140736448117456 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=669880 CPUtime=0.04 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 4933 0 0 0 2 2 0 0 18 0 8 0 721053046 685957120 31591 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 7 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=669880 CPUtime=0.14 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 5866 0 0 0 13 1 0 0 17 0 8 0 721053046 685957120 31593 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=669880 CPUtime=0.14 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 5559 0 0 0 13 1 0 0 18 0 8 0 721053046 685957120 31594 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 1 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=669880 CPUtime=0.08 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 4320 0 0 0 7 1 0 0 17 0 8 0 721053046 685957120 31596 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=669880 CPUtime=0.1 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 4953 0 0 0 9 1 0 0 18 0 8 0 721053046 685957120 31596 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=669880 CPUtime=0.02 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 3852 0 0 0 2 0 0 0 17 0 8 0 721053046 685957120 31599 33554432000 4194304 4580107 140736448117456 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 669880

[startup+0.301761 s]
/proc/loadavg: 1.00 1.02 1.03 2/554 26488
/proc/meminfo: memFree=24568084/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=684904 CPUtime=1.26 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) D 26486 26488 26462 0 -1 4202496 53103 0 0 0 104 22 0 0 17 0 8 0 721053045 701341696 46256 33554432000 4194304 4580107 140736448117456 18446744073709551615 4489273 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 171226 46289 337 95 0 166208 0
[pid=26488/tid=26489] ppid=26486 vsize=684904 CPUtime=0.18 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 6279 0 0 0 17 1 0 0 16 0 8 0 721053046 701341696 46322 33554432000 4194304 4580107 140736448117456 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=684904 CPUtime=0.09 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 6944 0 0 0 6 3 0 0 18 0 8 0 721053046 701341696 46366 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345198 0 0 4096 2 18446604467645019456 0 0 -1 7 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=684904 CPUtime=0.2 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 7948 0 0 0 17 3 0 0 16 0 8 0 721053046 701341696 46378 33554432000 4194304 4580107 140736448117456 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=684904 CPUtime=0.22 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 7911 0 0 0 19 3 0 0 17 0 8 0 721053046 701341696 46465 33554432000 4194304 4580107 140736448117456 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=684904 CPUtime=0.13 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 5562 0 0 0 11 2 0 0 17 0 8 0 721053046 701341696 46465 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813905691 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=684904 CPUtime=0.17 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 7118 0 0 0 14 3 0 0 18 0 8 0 721053046 701341696 46486 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=684904 CPUtime=0.09 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 5744 0 0 0 7 2 0 0 18 0 8 0 721053046 701341696 46486 33554432000 4194304 4580107 140736448117456 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 684904

[startup+0.700668 s]
/proc/loadavg: 1.00 1.02 1.03 2/554 26488
/proc/meminfo: memFree=24568084/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=995432 CPUtime=3.41 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) R 26486 26488 26462 0 -1 4202496 93946 0 0 0 284 57 0 0 16 0 8 0 721053045 1019322368 85880 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 248858 85882 360 95 0 243840 0
[pid=26488/tid=26489] ppid=26486 vsize=995432 CPUtime=0.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 11540 0 0 0 46 5 0 0 16 0 8 0 721053046 1019322368 85883 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=995432 CPUtime=0.21 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 10276 0 0 0 15 6 0 0 17 0 8 0 721053046 1019322368 85885 33554432000 4194304 4580107 140736448117456 18446744073709551615 4511068 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=995432 CPUtime=0.48 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 13612 0 0 0 40 8 0 0 16 0 8 0 721053046 1019322368 85885 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=995432 CPUtime=0.54 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 13099 0 0 0 48 6 0 0 18 0 8 0 721053046 1019322368 85887 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=995432 CPUtime=0.39 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 11271 0 0 0 33 6 0 0 16 0 8 0 721053046 1019322368 85888 33554432000 4194304 4580107 140736448117456 18446744073709551615 4504103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=995432 CPUtime=0.48 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 12178 0 0 0 40 8 0 0 18 0 8 0 721053046 1019322368 85888 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=995432 CPUtime=0.37 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 10290 0 0 0 31 6 0 0 18 0 8 0 721053046 1019322368 85889 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 995432

[startup+1.50053 s]
/proc/loadavg: 1.56 1.14 1.07 9/562 26496
/proc/meminfo: memFree=24144684/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=1019308 CPUtime=8.38 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) D 26486 26488 26462 0 -1 4202496 139789 0 0 0 743 95 0 0 16 0 8 0 721053045 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813901345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 254827 131717 360 95 0 249809 0
[pid=26488/tid=26489] ppid=26486 vsize=1019308 CPUtime=1.24 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 18648 0 0 0 114 10 0 0 16 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=1019308 CPUtime=0.27 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 11808 0 0 0 20 7 0 0 17 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=1019308 CPUtime=1.15 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 21159 0 0 0 101 14 0 0 16 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=1019308 CPUtime=1.26 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 20352 0 0 0 114 12 0 0 18 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=1019308 CPUtime=1.06 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 18724 0 0 0 93 13 0 0 16 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=1019308 CPUtime=1.19 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 19211 0 0 0 106 13 0 0 18 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=1019308 CPUtime=1.11 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) D 26486 26488 26462 0 -1 4202560 11112 0 0 0 104 7 0 0 18 0 8 0 721053046 1043771392 131717 33554432000 4194304 4580107 140736448117456 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 1019308

[startup+3.10127 s]
/proc/loadavg: 1.56 1.14 1.07 7/562 26496
/proc/meminfo: memFree=23963768/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=1641180 CPUtime=19.29 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) R 26486 26488 26462 0 -1 4202496 265669 0 0 0 1781 148 0 0 18 0 8 0 721053045 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 410295 251059 412 95 0 405277 0
[pid=26488/tid=26489] ppid=26486 vsize=1641180 CPUtime=2.55 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 38443 0 0 0 237 18 0 0 17 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4487153 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=1641180 CPUtime=1.73 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 20670 0 0 0 161 12 0 0 18 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4234851 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=1641180 CPUtime=2.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 40353 0 0 0 229 21 0 0 18 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4406400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=1641180 CPUtime=2.62 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 38473 0 0 0 243 19 0 0 18 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 251813896149 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=1641180 CPUtime=2.39 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 38244 0 0 0 216 23 0 0 17 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=1641180 CPUtime=2.41 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 38525 0 0 0 220 21 0 0 18 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=1641180 CPUtime=2.65 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 11934 0 0 0 258 7 0 0 18 0 8 0 721053046 1680568320 251059 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.29
Current children cumulated vsize (KiB) 1641180

[startup+6.30073 s]
/proc/loadavg: 1.56 1.14 1.07 9/562 26496
/proc/meminfo: memFree=23528544/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=1658744 CPUtime=44.76 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) R 26486 26488 26462 0 -1 4202496 343435 0 0 0 4309 167 0 0 25 0 8 0 721053045 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 414686 259546 378 95 0 409668 0
[pid=26488/tid=26489] ppid=26486 vsize=1658744 CPUtime=5.74 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 47070 0 0 0 554 20 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=1658744 CPUtime=4.9 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 46588 0 0 0 472 18 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=1658744 CPUtime=5.7 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 49724 0 0 0 546 24 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=1658744 CPUtime=5.76 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 46747 0 0 0 555 21 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=1658744 CPUtime=5.59 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 46722 0 0 0 534 25 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=1658744 CPUtime=5.6 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 47104 0 0 0 537 23 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=1658744 CPUtime=5.85 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 12159 0 0 0 578 7 0 0 25 0 8 0 721053046 1698553856 259546 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0

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

[pid=26488] ppid=26486 vsize=2183972 CPUtime=3632.82 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 983567 0 0 0 362942 340 0 0 25 0 8 0 721053045 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 545993 370899 380 95 0 540975 0
[pid=26488/tid=26489] ppid=26486 vsize=2183972 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2183972 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2183972 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2183972 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2183972 CPUtime=461.58 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 46114 44 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993475268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2183972 CPUtime=461.6 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 132914 0 0 0 46112 48 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2183972 CPUtime=461.07 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 115081 0 0 0 46069 38 0 0 25 0 8 0 721053046 2236387328 370899 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3632.82
Current children cumulated vsize (KiB) 2183972

[startup+522.301 s]
/proc/loadavg: 3.91 5.60 3.62 3/562 26512
/proc/meminfo: memFree=23103332/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=2101932 CPUtime=3756.3 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 989970 0 0 0 375288 342 0 0 25 0 8 0 721053045 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 525483 365137 380 95 0 520465 0
[pid=26488/tid=26489] ppid=26486 vsize=2101932 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2101932 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2101932 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2101932 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2101932 CPUtime=521.58 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 52114 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993475268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2101932 CPUtime=465.09 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 133124 0 0 0 46460 49 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2101932 CPUtime=521.07 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 121274 0 0 0 52068 39 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3756.3
Current children cumulated vsize (KiB) 2101932

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

[startup+524.819 s]
/proc/loadavg: 3.91 5.60 3.62 3/562 26513
/proc/meminfo: memFree=23103328/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=2101932 CPUtime=3761.34 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 989970 0 0 0 375792 342 0 0 25 0 8 0 721053045 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 525483 365137 380 95 0 520465 0
[pid=26488/tid=26489] ppid=26486 vsize=2101932 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2101932 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2101932 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2101932 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2101932 CPUtime=524.1 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 52366 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2101932 CPUtime=465.09 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 133124 0 0 0 46460 49 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2101932 CPUtime=523.59 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 121274 0 0 0 52320 39 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.34
Current children cumulated vsize (KiB) 2101932

[startup+526.401 s]
/proc/loadavg: 3.91 5.60 3.62 3/562 26513
/proc/meminfo: memFree=23103328/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=2101932 CPUtime=3764.5 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 989970 0 0 0 376108 342 0 0 25 0 8 0 721053045 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 525483 365137 380 95 0 520465 0
[pid=26488/tid=26489] ppid=26486 vsize=2101932 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2101932 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2101932 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2101932 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2101932 CPUtime=525.68 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 52524 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993475268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2101932 CPUtime=465.09 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 133124 0 0 0 46460 49 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2101932 CPUtime=525.17 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 121274 0 0 0 52478 39 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.5
Current children cumulated vsize (KiB) 2101932

[startup+528.001 s]
/proc/loadavg: 3.84 5.56 3.62 3/562 26513
/proc/meminfo: memFree=23103328/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=2101932 CPUtime=3767.74 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 989970 0 0 0 376432 342 0 0 25 0 8 0 721053045 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 525483 365137 380 95 0 520465 0
[pid=26488/tid=26489] ppid=26486 vsize=2101932 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2101932 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2101932 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2101932 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2101932 CPUtime=527.3 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 52686 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993475268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2101932 CPUtime=465.09 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 133124 0 0 0 46460 49 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2101932 CPUtime=526.79 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 121274 0 0 0 52640 39 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3767.74
Current children cumulated vsize (KiB) 2101932

[startup+528.801 s]
/proc/loadavg: 3.84 5.56 3.62 3/562 26513
/proc/meminfo: memFree=23103328/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=2101932 CPUtime=3769.3 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 989970 0 0 0 376588 342 0 0 25 0 8 0 721053045 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 525483 365137 380 95 0 520465 0
[pid=26488/tid=26489] ppid=26486 vsize=2101932 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2101932 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2101932 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2101932 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2101932 CPUtime=528.08 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 52764 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993475115 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2101932 CPUtime=465.09 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 133124 0 0 0 46460 49 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2101932 CPUtime=527.57 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 121274 0 0 0 52718 39 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3769.3
Current children cumulated vsize (KiB) 2101932

[startup+529.22 s]
/proc/loadavg: 3.84 5.56 3.62 3/562 26513
/proc/meminfo: memFree=23103328/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=2101932 CPUtime=3770.14 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) S 26486 26488 26462 0 -1 4202496 989970 0 0 0 376672 342 0 0 25 0 8 0 721053045 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 525483 365137 380 95 0 520465 0
[pid=26488/tid=26489] ppid=26486 vsize=2101932 CPUtime=448.51 cores=0-7
/proc/26488/task/26489/stat : 26489 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 136851 0 0 0 44808 43 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 2 0 0 0
[pid=26488/tid=26490] ppid=26486 vsize=2101932 CPUtime=448.87 cores=0-7
/proc/26488/task/26490/stat : 26490 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 128650 0 0 0 44846 41 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26491] ppid=26486 vsize=2101932 CPUtime=450.5 cores=0-7
/proc/26488/task/26491/stat : 26491 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 78715 0 0 0 45017 33 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=2101932 CPUtime=448.02 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 127226 0 0 0 44758 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 5 0 0 0
[pid=26488/tid=26493] ppid=26486 vsize=2101932 CPUtime=528.5 cores=0-7
/proc/26488/task/26493/stat : 26493 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 131639 0 0 0 52806 44 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993475104 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26488/tid=26494] ppid=26486 vsize=2101932 CPUtime=465.09 cores=0-7
/proc/26488/task/26494/stat : 26494 (strangenight2-m) S 26486 26488 26462 0 -1 4202560 133124 0 0 0 46460 49 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 47126993499700 0 0 4096 2 18446604467645019456 0 0 -1 3 0 0 0
[pid=26488/tid=26495] ppid=26486 vsize=2101932 CPUtime=527.99 cores=0-7
/proc/26488/task/26495/stat : 26495 (strangenight2-m) R 26486 26488 26462 0 -1 4202560 121274 0 0 0 52760 39 0 0 25 0 8 0 721053046 2152378368 365137 33554432000 4194304 4580107 140736448117456 18446744073709551615 4305042 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3770.14
Current children cumulated vsize (KiB) 2101932

[startup+529.301 s]
/proc/loadavg: 3.84 5.56 3.62 3/562 26513
/proc/meminfo: memFree=23103328/32950928 swapFree=41934328/67111528
[pid=26488] ppid=26486 vsize=0 CPUtime=3770.26 cores=0-7
/proc/26488/stat : 26488 (strangenight2-m) Z 26486 26488 26462 0 -1 4203548 989973 0 0 0 376680 346 0 0 18 0 2 0 721053045 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26488/statm: 0 0 0 0 0 0 0
[pid=26488/tid=26492] ppid=26486 vsize=0 CPUtime=448.06 cores=0-7
/proc/26488/task/26492/stat : 26492 (strangenight2-m) R 26486 26488 26462 0 -1 4203588 127226 0 0 0 44758 48 0 0 18 0 2 0 721053046 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) 3770.26
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 529.329
CPU time (s): 3770.3
CPU user time (s): 3766.81
CPU system time (s): 3.48647
CPU usage (%): 712.279
Max. virtual memory (cumulated for all children) (KiB): 2446148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3766.81
system time used= 3.48647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 989973
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= 174008
involuntary context switches= 30007

runsolver used 2.79058 second user time and 6.92195 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-22 22:02:23
IDJOB=3394338
IDBENCH=82502
IDSOLVER=1878
FILE ID=node126/3394338-1306094543
RUNJOBID= node126-1306094543-26476
PBS_JOBID= 13387955
Free space on /tmp= 73268 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_3b_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394338-1306094543/watcher-3394338-1306094543 -o /tmp/evaluation-result-3394338-1306094543/solver-3394338-1306094543 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394338-1306094543.cnf

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

MD5SUM BENCH= b8621ec1841e055a001ab32c33f2b68c
RANDOM SEED=150154868

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24568364 kB
Buffers:        296160 kB
Cached:        5576252 kB
SwapCached:      49796 kB
Active:        3755760 kB
Inactive:      4311428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24568364 kB
SwapTotal:    67111528 kB
SwapFree:     41934328 kB
Dirty:           18648 kB
Writeback:           0 kB
AnonPages:     2159120 kB
Mapped:          24460 kB
Slab:           142868 kB
PageTables:      99592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176376960 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= 73264 MiB
End job on node126 at 2011-05-22 22:11:13