Trace number 3394326

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 3257.8 427.859

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_kkb_unknown.cnf
MD5SUM254fcd4eae8129ad5842f186e24e0793
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark105.068
Satisfiable
(Un)Satisfiability was proved
Number of variables34510
Number of clauses701694
Sum of the clauses size2616281
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252869
Number of clauses of size 384757
Number of clauses of size 4564068
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.02	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3394326-1306094295.cnf'
0.00/0.03	c -- header says num vars:          34510
0.00/0.03	c -- header says num clauses:      701694
2.94/0.55	c -- clauses added:            0 learnts,       701694 normals,            0 xors
2.94/0.55	c -- vars added      34510
2.94/0.55	c Parsing time:  0.28 s
2.94/0.55	c  N st     0         0     34510    648825     52869         0   2616281         0   no data   no data
4.39/0.72	c asymm  cl-useful: 25/1994/648825 lits-rem:25 time: 0.16
17.28/2.47	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  282 Bins:      0 BRemL:      0 BRemN:      0 P: 168.0M T:  1.59
18.08/2.50	c Cleaning up after failed var search:     0.03 s 
18.08/2.54	c Replacing      282 vars Replaced    12225 lits Time:     0.04 s 
21.33/3.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.33/3.30	c bin-w-bin subsume rem         6083 bins  time:  0.01 s
21.89/3.38	c subs with bin:     4304  lits-rem:      2447  v-fix:    0  time:  0.07 s
22.38/3.44	c Subs w/ non-existent bins:   3481 l-rem:   1607 v-fix:     0 done:   6040 time:  0.06 s
22.99/3.55	c Removed useless bin:    8787  fixed:     0  props:  18.27M  time:  0.10 s
33.21/4.87	c lits-rem:       876  cl-subs:    50164  v-elim:   2866  v-fix:    0  time:  1.28 s
34.01/4.91	c Finding binary XORs  T:     0.05 s  found:      44
34.01/4.95	c Replacing       44 vars Replaced     2498 lits Time:     0.03 s 
37.20/5.37	c Finding non-binary XORs:     0.38 s (found:       0, avg size: nan)
37.20/5.37	c calculated reachability. Time: 0.02
37.20/5.40	c Calc default polars -  time:   0.03 s pos:   10091 undec:   13974 neg:   10445
37.20/5.40	c =========================================================================================
37.20/5.40	c types(t): F = full restart, N = normal restart
37.20/5.40	c types(t): S = simplification begin/end, E = solution found
37.20/5.40	c restart types(rt): st = static, dy = dynamic
37.20/5.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
37.20/5.40	c  B st     0         0     30845    573183     37159         0   2296820         0   no data   no data
47.71/6.67	c  N dy     8      4564     30845    573183     37161      4526   2296819     56229      7.03      7.40
53.15/7.39	c Finding binary XORs  T:     0.04 s  found:       0
57.92/7.96	c  N dy    24      9472     30844    573183     41154      9365   2296819    123533      6.70      7.06
67.50/9.16	c  N dy    44     13717     30843    573183     42088     13561   2296819    177758      6.75      7.21
76.29/10.21	c Finding binary XORs  T:     0.04 s  found:       0
77.89/10.45	c  N dy    66     17975     30843    572906     42109     16472   2295919    216056      6.80      7.22
88.27/11.71	c  N dy    87     22133     30843    572906     42142     11364   2295919    124783      6.82      7.18
93.85/12.45	c  F st   106     25000     30843    572906     42169     14211   2295919    161047      6.88      5.56
94.65/12.58	c Found part     1122 vars:       1070 clauses:      8964 lits size:     31683
94.65/12.58	c Found part     1129 vars:        952 clauses:      6858 lits size:     24029
94.65/12.58	c Found part     1162 vars:        810 clauses:     10185 lits size:     37221
94.65/12.58	c Found part     1769 vars:       4877 clauses:    193676 lits size:    739719
94.65/12.58	c Found part     2017 vars:        238 clauses:       573 lits size:      1598
94.65/12.58	c Found part     2027 vars:        203 clauses:       502 lits size:      1379
94.65/12.58	c Found part     2029 vars:      15764 clauses:    358039 lits size:   1350338
94.65/12.58	c Found part     2037 vars:        833 clauses:      5179 lits size:     18110
94.65/12.58	c Found part     2086 vars:        305 clauses:       965 lits size:      2986
94.65/12.58	c Found part     2090 vars:        265 clauses:       792 lits size:      3175
94.65/12.58	c Found part     2135 vars:        238 clauses:       574 lits size:      1602
94.65/12.58	c Found part     2136 vars:       3702 clauses:     20065 lits size:     72614
94.65/12.58	c Found part     2138 vars:        172 clauses:       504 lits size:      2317
94.65/12.58	c Found part     2139 vars:        236 clauses:       554 lits size:      1540
94.65/12.58	c Found part     2140 vars:        236 clauses:       557 lits size:      1550
94.65/12.58	c Found part     2155 vars:        234 clauses:       534 lits size:      1522
94.65/12.58	c Found part     2172 vars:        236 clauses:       533 lits size:      1512
94.65/12.58	c Found part     2189 vars:        236 clauses:       533 lits size:      1512
94.65/12.58	c Found part     2206 vars:        236 clauses:       533 lits size:      1512
94.65/12.58	c Found parts:         19 time: 0.13 s
94.65/12.58	c Solving part 2138
95.44/12.61	c  N st     0         0       172       335       169         0      2317         0   no data   no data
95.44/12.61	c asymm  cl-useful: 160/335/335 lits-rem:255 time: 0.00
95.44/12.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
95.44/12.61	c Finding binary XORs  T:     0.00 s  found:       0
95.44/12.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
95.44/12.62	c calculated reachability. Time: 0.00
95.44/12.62	c Calc default polars -  time:   0.00 s pos:      76 undec:   34347 neg:      87
95.44/12.62	c =========================================================================================
95.44/12.62	c types(t): F = full restart, N = normal restart
95.44/12.62	c types(t): S = simplification begin/end, E = solution found
95.44/12.62	c restart types(rt): st = static, dy = dynamic
95.44/12.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
95.44/12.62	c  B st     0         0       172       335       169         0      2062         0   no data   no data
95.44/12.62	c  E st     1         0         0       335       169         0      2062         0   no data   no data
95.44/12.62	c Verified 335 clauses.
95.44/12.62	c Verified 335 clauses.
95.44/12.62	c Solved part
95.44/12.62	c =========================================================================================
95.44/12.62	c Solving part 2027
95.44/12.64	c  N st     0         0       203       227       313         0      1379        76   no data   no data
95.44/12.65	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
95.44/12.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
95.44/12.65	c Finding binary XORs  T:     0.00 s  found:       0
95.44/12.65	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
95.44/12.65	c calculated reachability. Time: 0.00
95.44/12.65	c Calc default polars -  time:   0.00 s pos:      58 undec:   34351 neg:     101
95.44/12.65	c =========================================================================================
95.44/12.65	c types(t): F = full restart, N = normal restart
95.44/12.65	c types(t): S = simplification begin/end, E = solution found
95.44/12.65	c restart types(rt): st = static, dy = dynamic
95.44/12.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
95.44/12.65	c  B st     0         0       203       227       313         0      1343        76   no data   no data
95.44/12.65	c  E st     1         0         0       227       313         0      1343        76   no data   no data
95.44/12.65	c Verified 227 clauses.
95.44/12.65	c Verified 227 clauses.
95.44/12.65	c Solved part
95.44/12.65	c =========================================================================================
95.44/12.66	c Solving part 2155
95.44/12.69	c  N st     0         0       234       266       268         0      1522         0   no data   no data
95.44/12.69	c asymm  cl-useful: 4/266/266 lits-rem:4 time: 0.00
95.44/12.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
96.24/12.70	c Finding binary XORs  T:     0.00 s  found:       0
96.24/12.70	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.24/12.70	c calculated reachability. Time: 0.00
96.24/12.70	c Calc default polars -  time:   0.00 s pos:      83 undec:   34346 neg:      81
96.24/12.70	c =========================================================================================
96.24/12.70	c types(t): F = full restart, N = normal restart
96.24/12.70	c types(t): S = simplification begin/end, E = solution found
96.24/12.70	c restart types(rt): st = static, dy = dynamic
96.24/12.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.24/12.70	c  B st     0         0       234       266       268         0      1518         0   no data   no data
96.24/12.70	c  E st     1         0         0       266       268         0      1518         0   no data   no data
96.24/12.70	c Verified 266 clauses.
96.24/12.70	c Verified 266 clauses.
96.24/12.70	c Solved part
96.24/12.70	c =========================================================================================
96.24/12.70	c Solving part 2206
96.24/12.73	c  N st     0         0       236       261       272         0      1512         0   no data   no data
96.24/12.74	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
96.24/12.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
96.24/12.74	c Finding binary XORs  T:     0.00 s  found:       0
96.24/12.74	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.24/12.74	c calculated reachability. Time: 0.00
96.24/12.74	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
96.24/12.74	c =========================================================================================
96.24/12.74	c types(t): F = full restart, N = normal restart
96.24/12.74	c types(t): S = simplification begin/end, E = solution found
96.24/12.74	c restart types(rt): st = static, dy = dynamic
96.24/12.74	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.24/12.74	c  B st     0         0       236       261       272         0      1511         0   no data   no data
96.24/12.74	c  E st     1         0         0       261       272         0      1511         0   no data   no data
96.24/12.74	c Verified 261 clauses.
96.24/12.74	c Verified 261 clauses.
96.24/12.74	c Solved part
96.24/12.74	c =========================================================================================
96.24/12.74	c Solving part 2189
96.24/12.78	c  N st     0         0       236       261       272         0      1512         0   no data   no data
96.24/12.78	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
96.24/12.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
96.24/12.79	c Finding binary XORs  T:     0.00 s  found:       0
96.24/12.79	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.24/12.79	c calculated reachability. Time: 0.00
96.24/12.79	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
96.24/12.79	c =========================================================================================
96.24/12.79	c types(t): F = full restart, N = normal restart
96.24/12.79	c types(t): S = simplification begin/end, E = solution found
96.24/12.79	c restart types(rt): st = static, dy = dynamic
96.24/12.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.24/12.79	c  B st     0         0       236       261       272         0      1511         0   no data   no data
96.24/12.79	c  E st     1         0         0       261       272         0      1511         0   no data   no data
96.24/12.79	c Verified 261 clauses.
96.24/12.79	c Verified 261 clauses.
96.24/12.79	c Solved part
96.24/12.79	c =========================================================================================
96.24/12.79	c Solving part 2172
97.04/12.83	c  N st     0         0       236       261       272         0      1512         0   no data   no data
97.04/12.83	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
97.04/12.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
97.04/12.83	c Finding binary XORs  T:     0.00 s  found:       0
97.04/12.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
97.04/12.83	c calculated reachability. Time: 0.00
97.04/12.83	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
97.04/12.83	c =========================================================================================
97.04/12.83	c types(t): F = full restart, N = normal restart
97.04/12.83	c types(t): S = simplification begin/end, E = solution found
97.04/12.83	c restart types(rt): st = static, dy = dynamic
97.04/12.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
97.04/12.83	c  B st     0         0       236       261       272         0      1511         0   no data   no data
97.04/12.83	c  E st     1         0         0       261       272         0      1511         0   no data   no data
97.04/12.83	c Verified 261 clauses.
97.04/12.83	c Verified 261 clauses.
97.04/12.83	c Solved part
97.04/12.83	c =========================================================================================
97.04/12.84	c Solving part 2140
97.04/12.87	c  N st     0         0       236       275       286         0      1550         8   no data   no data
97.04/12.88	c asymm  cl-useful: 1/275/275 lits-rem:1 time: 0.00
97.04/12.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
97.04/12.88	c Finding binary XORs  T:     0.00 s  found:       0
97.04/12.88	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
97.04/12.88	c calculated reachability. Time: 0.00
97.04/12.88	c Calc default polars -  time:   0.00 s pos:     113 undec:   34284 neg:     113
97.04/12.88	c =========================================================================================
97.04/12.88	c types(t): F = full restart, N = normal restart
97.04/12.88	c types(t): S = simplification begin/end, E = solution found
97.04/12.88	c restart types(rt): st = static, dy = dynamic
97.04/12.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
97.04/12.88	c  B st     0         0       236       275       286         0      1549         8   no data   no data
97.04/12.88	c  E st     1         0         0       275       286         0      1549         8   no data   no data
97.04/12.88	c Verified 275 clauses.
97.04/12.88	c Verified 275 clauses.
97.04/12.88	c Solved part
97.04/12.88	c =========================================================================================
97.04/12.88	c Solving part 2139
97.83/12.92	c  N st     0         0       236       268       286         0      1540         0   no data   no data
97.83/12.92	c asymm  cl-useful: 2/268/268 lits-rem:2 time: 0.00
97.83/12.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
97.83/12.93	c Finding binary XORs  T:     0.00 s  found:       0
97.83/12.93	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
97.83/12.93	c calculated reachability. Time: 0.00
97.83/12.93	c Calc default polars -  time:   0.00 s pos:     110 undec:   34290 neg:     110
97.83/12.93	c =========================================================================================
97.83/12.93	c types(t): F = full restart, N = normal restart
97.83/12.93	c types(t): S = simplification begin/end, E = solution found
97.83/12.93	c restart types(rt): st = static, dy = dynamic
97.83/12.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
97.83/12.93	c  B st     0         0       236       268       286         0      1538         0   no data   no data
97.83/12.93	c  E st     1         0         0       268       286         0      1538         0   no data   no data
97.83/12.93	c Verified 268 clauses.
97.83/12.93	c Verified 268 clauses.
97.83/12.93	c Solved part
97.83/12.93	c =========================================================================================
97.83/12.93	c Solving part 2017
97.83/12.99	c  N st     0         0       238       315       291         0      1598        66   no data   no data
97.83/12.99	c asymm  cl-useful: 0/315/315 lits-rem:0 time: 0.00
97.83/12.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
97.83/13.00	c Finding binary XORs  T:     0.00 s  found:       0
98.62/13.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
98.62/13.00	c calculated reachability. Time: 0.00
98.62/13.00	c Calc default polars -  time:   0.00 s pos:     115 undec:   34280 neg:     115
98.62/13.00	c =========================================================================================
98.62/13.00	c types(t): F = full restart, N = normal restart
98.62/13.00	c types(t): S = simplification begin/end, E = solution found
98.62/13.00	c restart types(rt): st = static, dy = dynamic
98.62/13.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
98.62/13.00	c  B st     0         0       238       315       291         0      1598        66   no data   no data
98.62/13.00	c  E st     1         0         0       315       291         0      1598        66   no data   no data
98.62/13.00	c Verified 315 clauses.
98.62/13.00	c Verified 315 clauses.
98.62/13.00	c Solved part
98.62/13.00	c =========================================================================================
98.62/13.00	c Solving part 2135
98.62/13.04	c  N st     0         0       238       318       273         0      1602        34   no data   no data
98.62/13.04	c asymm  cl-useful: 0/318/318 lits-rem:0 time: 0.00
98.62/13.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
98.62/13.04	c Finding binary XORs  T:     0.00 s  found:       0
98.62/13.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
98.62/13.05	c calculated reachability. Time: 0.00
98.62/13.05	c Calc default polars -  time:   0.00 s pos:     115 undec:   34280 neg:     115
98.62/13.05	c =========================================================================================
98.62/13.05	c types(t): F = full restart, N = normal restart
98.62/13.05	c types(t): S = simplification begin/end, E = solution found
98.62/13.05	c restart types(rt): st = static, dy = dynamic
98.62/13.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
98.62/13.05	c  B st     0         0       238       318       273         0      1602        34   no data   no data
98.62/13.05	c  E st     1         0         0       318       273         0      1602        34   no data   no data
98.62/13.05	c Verified 318 clauses.
98.62/13.05	c Verified 318 clauses.
98.62/13.05	c Solved part
98.62/13.05	c =========================================================================================
98.62/13.05	c Solving part 2090
98.62/13.08	c  N st     0         0       265       522       270         0      3175         0   no data   no data
98.62/13.09	c asymm  cl-useful: 89/522/522 lits-rem:122 time: 0.00
98.62/13.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
98.62/13.09	c Finding binary XORs  T:     0.00 s  found:       0
98.62/13.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
98.62/13.09	c calculated reachability. Time: 0.00
98.62/13.09	c Calc default polars -  time:   0.00 s pos:     129 undec:   34271 neg:     110
98.62/13.09	c =========================================================================================
98.62/13.09	c types(t): F = full restart, N = normal restart
98.62/13.09	c types(t): S = simplification begin/end, E = solution found
98.62/13.09	c restart types(rt): st = static, dy = dynamic
98.62/13.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
98.62/13.09	c  B st     0         0       265       522       270         0      3053         0   no data   no data
98.62/13.09	c  E st     1         0         0       522       270         0      3053         0   no data   no data
98.62/13.09	c Verified 522 clauses.
98.62/13.09	c Verified 522 clauses.
98.62/13.09	c Solved part
98.62/13.09	c =========================================================================================
98.62/13.10	c Solving part 2086
99.56/13.13	c  N st     0         0       305       600       483         0      2986       236   no data   no data
99.56/13.14	c asymm  cl-useful: 102/600/600 lits-rem:149 time: 0.01
99.56/13.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
99.56/13.15	c Finding binary XORs  T:     0.00 s  found:       0
99.56/13.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
99.56/13.15	c calculated reachability. Time: 0.00
99.56/13.15	c Calc default polars -  time:   0.00 s pos:     120 undec:   34250 neg:     140
99.56/13.15	c =========================================================================================
99.56/13.15	c types(t): F = full restart, N = normal restart
99.56/13.15	c types(t): S = simplification begin/end, E = solution found
99.56/13.15	c restart types(rt): st = static, dy = dynamic
99.56/13.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
99.56/13.15	c  B st     0         0       305       597       486         0      2843       236   no data   no data
99.56/13.15	c  E st     1         0         0       597       486         0      2843       236   no data   no data
99.56/13.15	c Verified 597 clauses.
99.56/13.15	c Verified 597 clauses.
99.56/13.15	c Solved part
99.56/13.15	c =========================================================================================
99.56/13.15	c Solving part 1162
99.56/13.19	c  N st     0         0       810      9090      1687         0     37221      1184   no data   no data
101.78/13.45	c asymm  cl-useful: 764/4062/9090 lits-rem:797 time: 0.26
102.59/13.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   35 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.05
102.59/13.51	c Finding binary XORs  T:     0.00 s  found:       5
102.59/13.51	c Replacing       40 vars Replaced     2984 lits Time:     0.00 s 
102.59/13.51	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.59/13.51	c calculated reachability. Time: 0.00
102.59/13.51	c Calc default polars -  time:   0.00 s pos:     303 undec:   33941 neg:     266
102.59/13.51	c =========================================================================================
102.59/13.51	c types(t): F = full restart, N = normal restart
102.59/13.51	c types(t): S = simplification begin/end, E = solution found
102.59/13.51	c restart types(rt): st = static, dy = dynamic
102.59/13.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
102.59/13.51	c  B st     0         0       770      8476      1662         0     34016      1184   no data   no data
102.59/13.51	c  E st     1         0         0      8476      1662         0     34016      1184   no data   no data
102.59/13.51	c Verified 8476 clauses.
102.59/13.51	c Verified 8476 clauses.
102.59/13.51	c Solved part
102.59/13.51	c =========================================================================================
102.59/13.51	c Solving part 2037
102.59/13.54	c  N st     0         0       833      4173      1021         0     18110        30   no data   no data
103.39/13.61	c asymm  cl-useful: 51/4173/4173 lits-rem:51 time: 0.07
103.39/13.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
103.39/13.64	c Finding binary XORs  T:     0.00 s  found:       0
103.39/13.64	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
103.39/13.64	c calculated reachability. Time: 0.00
103.39/13.64	c Calc default polars -  time:   0.00 s pos:     279 undec:   33979 neg:     252
103.39/13.64	c =========================================================================================
103.39/13.64	c types(t): F = full restart, N = normal restart
103.39/13.64	c types(t): S = simplification begin/end, E = solution found
103.39/13.64	c restart types(rt): st = static, dy = dynamic
103.39/13.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
103.39/13.64	c  B st     0         0       833      4173      1021         0     18059        30   no data   no data
103.39/13.64	c  E st     1         0         0      4173      1021         0     18059        30   no data   no data
103.39/13.64	c Verified 4173 clauses.
103.39/13.64	c Verified 4173 clauses.
103.39/13.64	c Solved part
103.39/13.64	c =========================================================================================
103.39/13.64	c Solving part 1129
103.39/13.67	c  N st     0         0       952      5641      1290         0     24029       146   no data   no data
104.19/13.78	c asymm  cl-useful: 178/5641/5641 lits-rem:187 time: 0.11
104.98/13.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.02
104.98/13.81	c Finding binary XORs  T:     0.00 s  found:       0
104.98/13.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
104.98/13.81	c calculated reachability. Time: 0.00
104.98/13.81	c Calc default polars -  time:   0.00 s pos:     358 undec:   33786 neg:     366
104.98/13.81	c =========================================================================================
104.98/13.81	c types(t): F = full restart, N = normal restart
104.98/13.81	c types(t): S = simplification begin/end, E = solution found
104.98/13.81	c restart types(rt): st = static, dy = dynamic
104.98/13.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
104.98/13.81	c  B st     0         0       952      5637      1294         0     23850       146   no data   no data
104.98/13.81	c  E st     1         0         0      5637      1294         0     23850       146   no data   no data
104.98/13.81	c Verified 5637 clauses.
104.98/13.81	c Verified 5637 clauses.
104.98/13.81	c Solved part
104.98/13.81	c =========================================================================================
104.98/13.81	c Solving part 1122
104.98/13.85	c  N st     0         0      1070      7514      1564         0     31683       228   no data   no data
106.59/14.02	c asymm  cl-useful: 173/7514/7514 lits-rem:173 time: 0.17
106.59/14.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.03
106.59/14.05	c Finding binary XORs  T:     0.00 s  found:       0
106.59/14.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
106.59/14.06	c calculated reachability. Time: 0.00
106.59/14.06	c Calc default polars -  time:   0.00 s pos:     429 undec:   33627 neg:     454
106.59/14.06	c =========================================================================================
106.59/14.06	c types(t): F = full restart, N = normal restart
106.59/14.06	c types(t): S = simplification begin/end, E = solution found
106.59/14.06	c restart types(rt): st = static, dy = dynamic
106.59/14.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
106.59/14.06	c  B st     0         0      1070      7514      1564         0     31510       228   no data   no data
106.59/14.06	c  E st     1         1         0      7514      1564         1     31510       233   no data   no data
106.59/14.06	c Verified 7514 clauses.
106.59/14.06	c Verified 7514 clauses.
106.59/14.06	c Solved part
106.59/14.06	c =========================================================================================
106.59/14.06	c Solving part 2136
106.59/14.09	c  N st     0         0      3702     15960      4496         0     72614       782   no data   no data
108.32/14.28	c asymm  cl-useful: 963/8623/15960 lits-rem:1440 time: 0.18
109.12/14.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.6M T:  0.08
109.12/14.36	c Finding binary XORs  T:     0.01 s  found:       0
109.12/14.37	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
109.12/14.37	c calculated reachability. Time: 0.00
109.12/14.37	c Calc default polars -  time:   0.00 s pos:    1030 undec:   32439 neg:    1041
109.12/14.37	c =========================================================================================
109.12/14.37	c types(t): F = full restart, N = normal restart
109.12/14.37	c types(t): S = simplification begin/end, E = solution found
109.12/14.37	c restart types(rt): st = static, dy = dynamic
109.12/14.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
109.12/14.37	c  B st     0         0      3702     15960      4496         0     71174       782   no data   no data
109.12/14.37	c  E st     1         0         0     15960      4496         0     71174       782   no data   no data
109.12/14.37	c Verified 15960 clauses.
109.12/14.37	c Verified 15960 clauses.
109.12/14.37	c Solved part
109.12/14.37	c =========================================================================================
109.12/14.37	c Solving part 1769
110.56/14.52	c  N st     0         0      4877    187523      7438     14211    739719    153707   no data   no data
110.56/14.60	c asymm  cl-useful: 12/354/187523 lits-rem:12 time: 0.08
114.56/15.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 74.5M T:  0.48
114.56/15.09	c Finding binary XORs  T:     0.01 s  found:       0
115.36/15.18	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
115.36/15.18	c calculated reachability. Time: 0.00
115.36/15.19	c Calc default polars -  time:   0.01 s pos:    1567 undec:   31398 neg:    1545
115.36/15.19	c =========================================================================================
115.36/15.19	c types(t): F = full restart, N = normal restart
115.36/15.19	c types(t): S = simplification begin/end, E = solution found
115.36/15.19	c restart types(rt): st = static, dy = dynamic
115.36/15.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
115.36/15.19	c  B st     0         0      4877    187523      7438     14211    739707    153707   no data   no data
124.94/16.35	c  N dy    19      4177      4877    187523      7440     18353    739707    208898      6.74      7.11
134.67/17.56	c  N dy    41      8298      4877    187523      7443     22448    739707    259316      6.85      7.21
144.88/18.82	c  N dy    59     12746      4875    187523      7453     26840    739706    313284      6.76      7.27
154.46/20.04	c  N dy    81     16763      4875    187523      7455     30823    739706    362698      6.82      7.20
165.63/21.40	c  N dy    93     20844      4875    187523      7457     17855    739705    157534      6.80      7.19
176.83/22.85	c  F st   114     25000      4874    187523      7466     21964    739705    206358      6.80      6.85
176.83/22.85	c  N st   114     25000      4874    187523      7466     21964    739705    206358      6.80      6.85
188.78/24.32	c  N dy   120     30194      4874    187523      7466     27130    739704    286814      6.80   no data
199.96/25.77	c  N dy   149     34670      4874    187523      7468     31568    739704    348423      6.92      7.33
210.34/27.02	c  N dy   173     38714      4874    187523      7468     35588    739704    399995      6.96      9.85
220.72/28.30	c  N dy   199     42870      4874    187523      7471     20785    739704    170102      7.01      7.43
230.30/29.61	c  N dy   213     46948      4874    187523      7474     24836    739703    223752      6.98      7.36
243.06/31.10	c  N dy   231     51400      4874    187523      7477     29261    739702    284018      6.98      7.42
253.44/32.43	c  N dy   249     55450      4874    187523      7484     33266    739702    332435      6.99      7.56
264.61/33.87	c  N dy   267     59479      4873    187523      7496     37235    739702    379866      6.97      7.37
275.94/35.27	c  N dy   296     63709      4873    187523      7498     21065    739702    154656      7.01      7.59
286.95/36.68	c  N dy   322     67775      4873    187523      7500     25101    739702    210190      7.04      8.99
301.47/38.49	c  N dy   346     73069      4872    187523      7512     30335    739701    280464      7.03      7.46
311.05/39.62	c Finding binary XORs  T:     0.01 s  found:       0
314.89/40.13	c  N dy   364     78041      4872    186670      7334     30096    736295    299832      7.03      7.44
329.26/41.99	c  N dy   393     83037      4872    186670      7335     35063    736294    368576      7.04      7.46
342.03/43.55	c  F st   418     87501      4872    186670      7339     20505    736294    148875      7.05   no data
344.43/43.91	c  N st   421     88694      4872    186670      7340     21694    736294    165479      7.05   no data
357.19/45.49	c  N dy   438     94451      4870    186670      7356     27413    736294    253269      7.07      8.78
374.76/47.65	c  N dy   462    100615      4869    186670      7372     33508    736293    336683      7.06      7.73
394.71/50.16	c  N dy   502    107361      4869    186670      7373     40219    736293    433263      7.09      7.47
413.87/52.53	c  N dy   532    114281      4868    186670      7382     25666    736292    199025      7.10      8.42
432.24/54.81	c  N dy   565    122051      4867    186670      7394     33376    736292    307900      7.09      7.47
452.98/57.42	c  N dy   613    129878      4866    186670      7401     41153    736292    420109      7.13      7.52
472.13/59.89	c Finding binary XORs  T:     0.01 s  found:       0
477.06/60.46	c  N dy   658    138234      4866    185602      7286     22706    732097    165183      7.14      7.54
498.46/63.18	c  N dy   694    147187      4864    185602      7309     31567    732097    290697      7.12      7.50
524.00/66.36	c  N dy   750    156671      4863    185602      7317     40985    732097    421844      7.15      7.62
554.35/70.12	c  N dy   815    166668      4863    185602      7324     28277    732097    219735      7.18      7.60
584.66/73.93	c  N dy   887    177432      4862    185602      7333     38975    732093    380352      7.22      7.66
618.33/78.15	c  N dy   944    188835      4861    185602      7356     25559    732092    163800      7.24      9.05
642.13/81.10	c Finding binary XORs  T:     0.01 s  found:       1
652.66/82.51	c  N dy   999    200979      4860    184534      7291     32884    728024    293982      7.24      7.98
694.81/87.71	c  N dy  1070    214131      4860    184534      7298     45953    728024    487281      7.26      7.85
730.73/92.31	c  N dy  1148    227939      4860    184534      7307     35763    728024    319901      7.28      7.77
773.83/97.65	c  N dy  1229    242520      4860    184534      7317     50270    728024    530591      7.30     10.27
819.48/103.33	c  N dy  1314    258027      4859    184534      7336     39300    728024    345054      7.32      9.39
868.80/109.58	c  N dy  1396    274567      4857    184534      7359     55715    728024    587973      7.33      7.74
921.48/116.15	c  N dy  1498    292192      4857    184534      7363     45155    728024    417912      7.36      7.87
935.84/117.93	c Finding binary XORs  T:     0.01 s  found:       0
967.78/121.93	c  F st  1584    306250      4855    184049      7333     28841    726200    166673      7.38   no data
982.14/123.77	c  N dy  1590    311449      4855    184049      7333     34023    726200    253445      7.38   no data
1043.60/131.48	c  N dy  1736    331472      4855    184049      7336     53917    726200    556365      7.43      7.84
1105.85/139.24	c  N dy  1870    351791      4854    184049      7351     43889    726200    374810      7.47      7.89
1168.92/147.13	c  N dy  1994    371820      4854    184049      7353     32326    726199    186406      7.49     10.98
1228.77/154.68	c  N dy  2126    391925      4854    184049      7358     52345    726199    506358      7.52      8.00
1293.57/162.77	c  N dy  2268    411986      4854    184049      7364     39640    726199    287830      7.57      9.49
1360.40/171.10	c  N dy  2390    432229      4854    184049      7373     59761    726199    595072      7.58      8.04
1426.80/179.44	c  N dy  2501    452465      4854    184049      7376     46123    726199    374436      7.60      8.01
1492.90/187.79	c  N dy  2615    472680      4854    184049      7387     66226    726199    691428      7.62      8.03
1554.33/195.47	c  N dy  2731    492788      4854    184049      7389     51477    726198    447964      7.63      8.05
1619.94/203.65	c  N dy  2876    512882      4854    184049      7395     71461    726198    771592      7.66      8.11
1672.62/210.24	c Finding binary XORs  T:     0.01 s  found:       7
1683.64/211.66	c  N dy  2973    532935      4854    183792      7372     55085    725214    503365      7.67      8.08
1749.09/219.86	c  N dy  3087    553014      4854    183792      7377     38534    725214    229596      7.68      8.10
1815.34/228.13	c  N dy  3199    573358      4851    183792      7382     58767    725214    556843      7.69      8.28
1888.77/237.35	c  N dy  3290    594342      4851    183792      7388     41991    725214    271313      7.69      8.20
1952.76/245.41	c  N dy  3423    614423      4851    183792      7392     61964    725214    598144      7.71      8.17
2021.25/253.95	c  N dy  3536    634783      4851    183792      7402     43899    725214    286918      7.72      8.38
2084.44/261.82	c  N dy  3632    654988      4847    183792      7428     63978    725214    610326      7.73      8.19
2158.51/271.10	c  N dy  3743    675285      4847    183792      7437     45281    725214    289870      7.73      8.21
2224.91/279.47	c  N dy  3862    695505      4847    183792      7438     65401    725213    614364      7.74      8.27
2295.14/288.23	c  N dy  3971    716172      4847    183792      7448     46042    725213    283455      7.75      8.22
2308.56/289.96	c Finding binary XORs  T:     0.01 s  found:       7
2366.18/297.12	c  N dy  4078    736549      4845    181879      7350     64012    717443    589077      7.75      8.28
2437.06/306.09	c  N dy  4186    756641      4845    181879      7352     44233    717443    249033      7.76      9.29
2503.31/314.38	c  N dy  4291    777109      4845    181879      7356     64611    717443    593775      7.76      8.22
2572.76/323.03	c  N dy  4396    797110      4844    181879      7360     84491    717443    930800      7.77     11.05
2638.35/331.22	c  N dy  4502    817165      4839    181879      7372     62589    717443    542509      7.77      9.14
2710.02/340.22	c  N dy  4601    837185      4839    181879      7387     82489    717443    872462      7.78     10.50
2781.06/349.10	c  N dy  4689    857449      4834    181879      7399     59869    717442    461634      7.78      8.22
2847.31/357.50	c  N dy  4774    877519      4832    181879      7413     79841    717442    799820      7.77      8.22
2869.66/360.20	c Finding binary XORs  T:     0.01 s  found:      11
2917.56/366.25	c  N dy  4873    897565      4831    179013      7254     54845    705612    374280      7.77      8.66
2986.99/374.91	c  N dy  4967    917950      4831    179013      7260     75120    705612    711176      7.77      8.23
3053.75/384.61	c  N dy  5037    939576      4808    179013      7291     52348    705612    305025      7.76      8.18
3099.96/392.32	c  N dy  5143    959708      4808    179013      7296     72392    705612    657916      7.77      8.22
3123.35/396.22	c Finding binary XORs  T:     0.01 s  found:      24
3123.35/396.28	c Replacing       50 vars Replaced    63124 lits Time:     0.06 s 
3151.56/400.93	c  N dy  5237    979834      4741    171768      7032     84191    676388    909997      7.77      8.32
3193.20/408.47	c  N dy  5324    999837      4731    171768      7061     62506    676388    504053      7.77      8.88
3207.99/412.19	c Finding binary XORs  T:     0.01 s  found:      40
3221.59/415.54	c  N dy  5388   1019902      4608    141907      7132     62350    559080    631162      7.76      8.18
3224.79/416.38	c  E dy  5392   1022193      4326     94898      6103     21042    373011    140154      7.76      4.75
3257.57/427.76	c Following stats are for *FIRST FINISHED THREAD ONLY*
3257.57/427.76	c num threads              : 8          
3257.57/427.76	c restarts                 : 121        
3257.57/427.76	c dynamic restarts         : 115        
3257.57/427.76	c static restarts          : 6          
3257.57/427.76	c full restarts            : 0          
3257.57/427.76	c total simplify time      : 0.12       
3257.57/427.76	c learnts DL2              : 0          
3257.57/427.76	c learnts size 2           : 64392      
3257.57/427.76	c learnts size 1           : 476         (1.38      % of vars)
3257.57/427.76	c filedLit time            : 1.61        (0.38      % time)
3257.57/427.76	c v-elim SatELite          : 2866        (8.30      % vars)
3257.57/427.76	c SatELite time            : 1.00        (0.24      % time)
3257.57/427.76	c v-elim xor               : 0           (0.00      % vars)
3257.57/427.76	c xor elim time            : 0.00        (0.00      % time)
3257.57/427.76	c num binary xor trees     : 22         
3257.57/427.76	c binxor trees' crown      : 326         (14.82     leafs/tree)
3257.57/427.76	c bin xor find time        : 0.13       
3257.57/427.76	c OTF clause improved      : 230         (0.01      clauses/conflict)
3257.57/427.76	c OTF impr. size diff      : 311         (1.35       lits/clause)
3257.57/427.76	c OTF cl watch-shrink      : 15881       (0.64      clauses/conflict)
3257.57/427.76	c OTF cl watch-sh-lit      : 37317       (2.35       lits/clause)
3257.57/427.76	c tried to recurMin cls    : 5098        (20.39      % of conflicts)
3257.57/427.76	c updated cache            : 0           (0.00       lits/tried recurMin)
3257.57/427.76	c unit cls recevied        : 2           (0.42      % of units)
3257.57/427.76	c unit cls sent            : 0           (0.00      % of units)
3257.57/427.76	c bin cls recevied         : 5724       
3257.57/427.76	c bin cls sent             : 81         
3257.57/427.76	c clauses over max glue    : 0           (0.00      % of all clauses)
3257.57/427.76	c conflicts                : 25000       (58.62     / sec)
3257.57/427.76	c decisions                : 31146       (0.00      % random)
3257.57/427.76	c bogo-props               : 1354539780  (3176202.62 / sec)
3257.57/427.76	c conflict literals        : 299707      (55.57     % deleted)
3257.57/427.76	c Memory used              : 2158.27     MB
3257.57/427.76	c single-thread CPU time   : 426.47      s
3257.57/427.76	c all-threads sum CPU time : 3253.63     s
3257.57/427.76	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-3394326-1306094295/watcher-3394326-1306094295 -o /tmp/evaluation-result-3394326-1306094295/solver-3394326-1306094295 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394326-1306094295.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=92144 CPUtime=0.08 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 412 0 0 0 8 0 0 0 21 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742704 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 23036 352 299 95 0 18018 0
[pid=32196/tid=32197] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742696 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=92144 CPUtime=0 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=92144 CPUtime=0 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0520931 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=569592 CPUtime=0.26 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) D 32194 32196 31798 0 -1 4202496 10745 0 0 0 23 3 0 0 18 0 8 0 799660235 583262208 9077 33554432000 4194304 4580107 140736047746176 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 142433 9106 335 95 0 137415 0
[pid=32196/tid=32197] ppid=32194 vsize=569732 CPUtime=0.03 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1240 0 0 0 3 0 0 0 17 0 8 0 799660235 583405568 9106 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284969095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=569472 CPUtime=0.03 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1398 0 0 0 3 0 0 0 18 0 8 0 799660235 583139328 9155 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=568956 CPUtime=0.01 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1324 0 0 0 1 0 0 0 18 0 8 0 799660235 582610944 9086 33554432000 4194304 4580107 140736047746176 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=569096 CPUtime=0.01 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1323 0 0 0 1 0 0 0 18 0 8 0 799660235 582754304 9088 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=569096 CPUtime=0.03 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1418 0 0 0 3 0 0 0 18 0 8 0 799660235 582754304 9093 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=569516 CPUtime=0.03 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1431 0 0 0 3 0 0 0 18 0 8 0 799660235 583184384 9348 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284593154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=569516 CPUtime=0.03 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1107 0 0 0 3 0 0 0 17 0 8 0 799660235 583184384 9394 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 569592

[startup+0.102061 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=684572 CPUtime=0.52 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 35621 0 0 0 39 13 0 0 18 0 8 0 799660235 701001728 27342 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 171143 27429 337 95 0 166125 0
[pid=32196/tid=32197] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 4651 0 0 0 5 1 0 0 18 0 8 0 799660235 701001728 27445 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=684572 CPUtime=0.05 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4752 0 0 0 4 1 0 0 18 0 8 0 799660235 701001728 27473 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=684572 CPUtime=0.05 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 4268 0 0 0 3 2 0 0 18 0 8 0 799660235 701001728 27531 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=684572 CPUtime=0.04 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4220 0 0 0 3 1 0 0 18 0 8 0 799660235 701001728 27555 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4620 0 0 0 5 1 0 0 18 0 8 0 799660235 701001728 27556 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4466 0 0 0 5 1 0 0 18 0 8 0 799660235 701001728 27563 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 4041 0 0 0 5 1 0 0 17 0 8 0 799660235 701001728 27579 33554432000 4194304 4580107 140736047746176 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 684572

[startup+0.303986 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=743280 CPUtime=1.74 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 67599 0 0 0 123 51 0 0 17 0 8 0 799660235 761118720 59318 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 185820 59326 337 95 0 180802 0
[pid=32196/tid=32197] ppid=32194 vsize=743280 CPUtime=0.2 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 7963 0 0 0 14 6 0 0 17 0 8 0 799660235 761118720 59328 33554432000 4194304 4580107 140736047746176 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=743280 CPUtime=0.21 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 9598 0 0 0 15 6 0 0 17 0 8 0 799660235 761118720 59334 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=743280 CPUtime=0.19 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 7685 0 0 0 12 7 0 0 17 0 8 0 799660235 761118720 59336 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=743280 CPUtime=0.19 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 8693 0 0 0 14 5 0 0 17 0 8 0 799660235 761118720 59342 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=743280 CPUtime=0.22 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 8930 0 0 0 15 7 0 0 17 0 8 0 799660235 761118720 59345 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=743280 CPUtime=0.2 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 9177 0 0 0 15 5 0 0 17 0 8 0 799660235 761118720 59350 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=743280 CPUtime=0.22 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 7022 0 0 0 17 5 0 0 17 0 8 0 799660235 761118720 59354 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 743280

[startup+0.700869 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1005012 CPUtime=4.39 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 114002 0 0 0 347 92 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 251253 105720 360 95 0 246235 0
[pid=32196/tid=32197] ppid=32194 vsize=1005012 CPUtime=0.53 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 13462 0 0 0 41 12 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284594417 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1005012 CPUtime=0.55 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14365 0 0 0 44 11 0 0 18 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1005012 CPUtime=0.53 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14066 0 0 0 41 12 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1005012 CPUtime=0.55 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14615 0 0 0 45 10 0 0 18 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1005012 CPUtime=0.55 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 15209 0 0 0 44 11 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1005012 CPUtime=0.51 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 15500 0 0 0 40 11 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1005012 CPUtime=0.56 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 12323 0 0 0 45 11 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 1005012

[startup+1.50074 s]
/proc/loadavg: 8.12 7.97 6.73 9/559 32205
/proc/meminfo: memFree=25058196/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1026044 CPUtime=10.41 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 152901 0 0 0 913 128 0 0 18 0 8 0 799660235 1050669056 144619 33554432000 4194304 4580107 140736047746176 18446744073709551615 4239629 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 256511 144622 360 95 0 251493 0
[pid=32196/tid=32197] ppid=32194 vsize=1026044 CPUtime=1.27 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 18943 0 0 0 110 17 0 0 18 0 8 0 799660235 1050669056 144622 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1026044 CPUtime=1.3 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 19648 0 0 0 114 16 0 0 18 0 8 0 799660235 1050669056 144623 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1026044 CPUtime=1.28 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 19604 0 0 0 111 17 0 0 18 0 8 0 799660235 1050669056 144625 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1026044 CPUtime=1.29 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 19991 0 0 0 116 13 0 0 18 0 8 0 799660235 1050669056 144626 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1026044 CPUtime=1.3 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 20633 0 0 0 114 16 0 0 18 0 8 0 799660235 1050669056 144627 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1026044 CPUtime=1.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 21042 0 0 0 109 18 0 0 18 0 8 0 799660235 1050669056 144627 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1026044 CPUtime=1.35 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 13151 0 0 0 123 12 0 0 18 0 8 0 799660235 1050669056 144630 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 1026044

[startup+3.10047 s]
/proc/loadavg: 8.12 7.97 6.73 10/559 32205
/proc/meminfo: memFree=24878520/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1482548 CPUtime=20.91 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) D 32194 32196 31798 0 -1 4202496 249166 0 0 0 1891 200 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284969143 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 370637 240884 366 95 0 365619 0
[pid=32196/tid=32197] ppid=32194 vsize=1482548 CPUtime=2.55 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 35379 0 0 0 228 27 0 0 18 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1482548 CPUtime=2.6 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 37673 0 0 0 232 28 0 0 18 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1482548 CPUtime=2.55 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 32856 0 0 0 228 27 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1482548 CPUtime=2.59 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 36708 0 0 0 235 24 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284586693 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1482548 CPUtime=2.54 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 28498 0 0 0 229 25 0 0 16 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1482548 CPUtime=2.52 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 29128 0 0 0 224 28 0 0 16 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1482548 CPUtime=2.91 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 14058 0 0 0 278 13 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.91
Current children cumulated vsize (KiB) 1482548

[startup+6.30094 s]
/proc/loadavg: 8.11 7.97 6.74 9/559 32205
/proc/meminfo: memFree=24272064/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1769852 CPUtime=45.16 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 406935 0 0 0 4252 264 0 0 24 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 442463 311126 378 95 0 437445 0
[pid=32196/tid=32197] ppid=32194 vsize=1769852 CPUtime=5.35 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 56180 0 0 0 500 35 0 0 20 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1769852 CPUtime=5.69 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 55647 0 0 0 534 35 0 0 20 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1769852 CPUtime=5.61 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 56269 0 0 0 524 37 0 0 22 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1769852 CPUtime=5.69 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 56600 0 0 0 538 31 0 0 20 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1769852 CPUtime=5.55 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 58267 0 0 0 521 34 0 0 19 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1769852 CPUtime=5.47 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 54543 0 0 0 504 43 0 0 19 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1769852 CPUtime=6.08 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14245 0 0 0 595 13 0 0 23 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 5 0 0 0

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

[pid=32196] ppid=32194 vsize=2456740 CPUtime=3159.96 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 935977 0 0 0 315591 405 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 614185 446107 380 95 0 609167 0
[pid=32196/tid=32197] ppid=32194 vsize=2456740 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2456740 CPUtime=394.87 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98051 0 0 0 39441 46 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2456740 CPUtime=401.62 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 131546 0 0 0 40106 56 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2456740 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2456740 CPUtime=401.52 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 40100 52 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2456740 CPUtime=401.47 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 115161 0 0 0 40091 56 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2456740 CPUtime=402.09 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 106660 0 0 0 40172 37 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3159.96
Current children cumulated vsize (KiB) 2456740

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

[startup+409.601 s]
/proc/loadavg: 7.25 7.82 7.11 5/559 32225
/proc/meminfo: memFree=23797732/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2325768 CPUtime=3198 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 938718 0 0 0 319394 406 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 581442 432751 380 95 0 576424 0
[pid=32196/tid=32197] ppid=32194 vsize=2325768 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2325768 CPUtime=402.17 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98066 0 0 0 40171 46 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2325768 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2325768 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2325768 CPUtime=408.82 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 40830 52 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2325768 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2325768 CPUtime=409.39 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 109164 0 0 0 40901 38 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3198
Current children cumulated vsize (KiB) 2325768

[startup+416.001 s]
/proc/loadavg: 6.75 7.70 7.08 5/559 32225
/proc/meminfo: memFree=23826984/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2278432 CPUtime=3223.59 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 939143 0 0 0 321953 406 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 4316395 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 569608 425316 380 95 0 564590 0
[pid=32196/tid=32197] ppid=32194 vsize=2278432 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2278432 CPUtime=408.57 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98140 0 0 0 40810 47 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2278432 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2278432 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2278432 CPUtime=415.22 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 41470 52 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2278432 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2278432 CPUtime=415.79 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 109515 0 0 0 41541 38 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3223.59
Current children cumulated vsize (KiB) 2278432

[startup+422.401 s]
/proc/loadavg: 6.45 7.62 7.06 4/559 32225
/proc/meminfo: memFree=23846204/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2261192 CPUtime=3243.34 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941443 0 0 0 323927 407 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 565298 420313 380 95 0 560280 0
[pid=32196/tid=32197] ppid=32194 vsize=2261192 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2261192 CPUtime=414.99 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98140 0 0 0 41452 47 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2261192 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2261192 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2261192 CPUtime=421.64 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42112 52 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2261192 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2261192 CPUtime=422.22 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 111815 0 0 0 42183 39 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3243.34
Current children cumulated vsize (KiB) 2261192

[startup+425.601 s]
/proc/loadavg: 6.45 7.62 7.06 4/559 32225
/proc/meminfo: memFree=23846448/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2261192 CPUtime=3252.88 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941632 0 0 0 324881 407 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 565298 420502 380 95 0 560280 0
[pid=32196/tid=32197] ppid=32194 vsize=2261192 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2261192 CPUtime=418.17 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98140 0 0 0 41770 47 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2261192 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2261192 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2261192 CPUtime=424.82 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42430 52 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2261192 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2261192 CPUtime=425.4 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 112004 0 0 0 42501 39 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3252.88
Current children cumulated vsize (KiB) 2261192

[startup+427.201 s]
/proc/loadavg: 6.17 7.54 7.04 3/559 32225
/proc/meminfo: memFree=23884268/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2210060 CPUtime=3256.57 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941734 0 0 0 325250 407 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 552515 410973 380 95 0 547497 0
[pid=32196/tid=32197] ppid=32194 vsize=2210060 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2210060 CPUtime=418.66 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 98140 0 0 0 41819 47 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2210060 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2210060 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2210060 CPUtime=426.42 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42590 52 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2210060 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2210060 CPUtime=427 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 112106 0 0 0 42661 39 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3256.57
Current children cumulated vsize (KiB) 2210060

[startup+427.601 s]
/proc/loadavg: 6.17 7.54 7.04 3/559 32225
/proc/meminfo: memFree=23884268/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2210060 CPUtime=3257.37 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941754 0 0 0 325330 407 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 552515 410993 380 95 0 547497 0
[pid=32196/tid=32197] ppid=32194 vsize=2210060 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2210060 CPUtime=418.66 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 98140 0 0 0 41819 47 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2210060 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2210060 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2210060 CPUtime=426.82 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42630 52 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2210060 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2210060 CPUtime=427.4 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 112126 0 0 0 42701 39 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3257.37
Current children cumulated vsize (KiB) 2210060

[startup+427.801 s]
/proc/loadavg: 6.17 7.54 7.04 3/559 32225
/proc/meminfo: memFree=23884268/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=0 CPUtime=3257.73 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) Z 32194 32196 31798 0 -1 4203548 941768 0 0 0 325362 411 0 0 18 0 2 0 799660235 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 0 0 0 0 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=0 CPUtime=378.8 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4203588 108776 0 0 0 37829 51 0 0 18 0 2 0 799660235 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3257.73
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 427.859
CPU time (s): 3257.8
CPU user time (s): 3253.63
CPU system time (s): 4.17137
CPU usage (%): 761.419
Max. virtual memory (cumulated for all children) (KiB): 2652436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3253.63
system time used= 4.17136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941768
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= 313509
involuntary context switches= 22506

runsolver used 2.25266 second user time and 5.66614 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-22 21:58:16
IDJOB=3394326
IDBENCH=82496
IDSOLVER=1878
FILE ID=node118/3394326-1306094295
RUNJOBID= node118-1306092896-31812
PBS_JOBID= 13387946
Free space on /tmp= 72928 MiB

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

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

MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=1101577288

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25537064 kB
Buffers:          4352 kB
Cached:         165580 kB
SwapCached:      50464 kB
Active:         468428 kB
Inactive:      6683692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25537064 kB
SwapTotal:    67111528 kB
SwapFree:     39849776 kB
Dirty:           22560 kB
Writeback:           0 kB
AnonPages:     6944644 kB
Mapped:          24936 kB
Slab:            75072 kB
PageTables:     115024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 183776536 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= 72924 MiB
End job on node118 at 2011-05-22 22:05:24