Trace number 3321170

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-mtUNSAT 3349.97 455.123

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.00	c Using 8 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3321170-1304324678.cnf'
0.00/0.01	c -- header says num vars:          34510
0.00/0.01	c -- header says num clauses:      701694
2.45/0.51	c -- clauses added:            0 learnts,       701694 normals,            0 xors
2.45/0.51	c -- vars added      34510
2.45/0.51	c Parsing time:  0.25 s
2.45/0.51	c  N st     0         0     34510    648825     52869         0   2616281         0   no data   no data
3.05/0.67	c asymm  cl-useful: 25/1994/648825 lits-rem:25 time: 0.14
17.01/2.44	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  282 Bins:      0 BRemL:      0 BRemN:      0 P: 168.0M T:  1.67
17.01/2.47	c Cleaning up after failed var search:     0.03 s 
17.81/2.50	c Replacing      282 vars Replaced    12225 lits Time:     0.03 s 
20.04/3.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.04/3.04	c bin-w-bin subsume rem         6083 bins  time:  0.01 s
20.52/3.12	c subs with bin:     4304  lits-rem:      2447  v-fix:    0  time:  0.07 s
20.52/3.19	c Subs w/ non-existent bins:   3481 l-rem:   1607 v-fix:     0 done:   6040 time:  0.06 s
21.49/3.31	c Removed useless bin:    8787  fixed:     0  props:  18.27M  time:  0.11 s
30.68/4.57	c lits-rem:       876  cl-subs:    50164  v-elim:   2866  v-fix:    0  time:  1.18 s
31.48/4.61	c Finding binary XORs  T:     0.05 s  found:      44
31.48/4.65	c Replacing       44 vars Replaced     2498 lits Time:     0.04 s 
35.45/5.12	c Finding non-binary XORs:     0.42 s (found:       0, avg size: nan)
35.45/5.12	c calculated reachability. Time: 0.02
35.45/5.15	c Calc default polars -  time:   0.03 s pos:   10091 undec:   13974 neg:   10445
35.45/5.15	c =========================================================================================
35.45/5.15	c types(t): F = full restart, N = normal restart
35.45/5.15	c types(t): S = simplification begin/end, E = solution found
35.45/5.15	c restart types(rt): st = static, dy = dynamic
35.45/5.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
35.45/5.15	c  B st     0         0     30845    573183     37159         0   2296820         0   no data   no data
45.84/6.42	c  N dy     8      4564     30845    573183     37161      4526   2296819     56229      7.03      7.40
55.49/7.69	c  N dy    30      9399     30845    573183     37179      9313   2296819    115674      7.06      7.52
61.82/8.46	c Finding binary XORs  T:     0.04 s  found:       0
64.27/8.77	c  N dy    51     13500     30844    573045     42078     11804   2296369    158065      7.03      7.43
75.40/10.18	c  N dy    73     17549     30844    573045     42081     15804   2296369    207596      7.09      7.47
85.00/11.37	c  N dy    94     22018     30842    573045     42111     11114   2296369    125610      7.15      7.61
92.18/12.26	c  F st   104     25001     30842    573045     42141     14074   2296369    163533      7.12      7.39
93.78/12.41	c Found part     1122 vars:       1070 clauses:      8964 lits size:     31683
93.78/12.41	c Found part     1129 vars:        952 clauses:      6858 lits size:     24029
93.78/12.41	c Found part     1162 vars:        810 clauses:     10185 lits size:     37221
93.78/12.41	c Found part     1769 vars:       4876 clauses:    193556 lits size:    739238
93.78/12.41	c Found part     2017 vars:        238 clauses:       573 lits size:      1598
93.78/12.41	c Found part     2027 vars:        203 clauses:       502 lits size:      1379
93.78/12.41	c Found part     2029 vars:      15764 clauses:    358039 lits size:   1350338
93.78/12.41	c Found part     2037 vars:        833 clauses:      5179 lits size:     18110
93.78/12.41	c Found part     2086 vars:        305 clauses:       965 lits size:      2986
93.78/12.41	c Found part     2090 vars:        265 clauses:       792 lits size:      3175
93.78/12.41	c Found part     2135 vars:        238 clauses:       574 lits size:      1602
93.78/12.41	c Found part     2136 vars:       3702 clauses:     20065 lits size:     72614
93.78/12.41	c Found part     2138 vars:        172 clauses:       504 lits size:      2317
93.78/12.41	c Found part     2139 vars:        236 clauses:       554 lits size:      1540
93.78/12.41	c Found part     2140 vars:        236 clauses:       557 lits size:      1550
93.78/12.41	c Found part     2155 vars:        234 clauses:       534 lits size:      1522
93.78/12.41	c Found part     2172 vars:        236 clauses:       533 lits size:      1512
93.78/12.41	c Found part     2189 vars:        236 clauses:       533 lits size:      1512
93.78/12.41	c Found part     2206 vars:        236 clauses:       533 lits size:      1512
93.78/12.41	c Found parts:         19 time: 0.16 s
93.78/12.41	c Solving part 2138
93.78/12.44	c  N st     0         0       172       335       169         0      2317         0   no data   no data
93.78/12.45	c asymm  cl-useful: 160/335/335 lits-rem:255 time: 0.00
93.78/12.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
93.78/12.45	c Finding binary XORs  T:     0.00 s  found:       0
93.78/12.45	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
93.78/12.45	c calculated reachability. Time: 0.00
93.78/12.45	c Calc default polars -  time:   0.00 s pos:      76 undec:   34347 neg:      87
93.78/12.45	c =========================================================================================
93.78/12.45	c types(t): F = full restart, N = normal restart
93.78/12.45	c types(t): S = simplification begin/end, E = solution found
93.78/12.45	c restart types(rt): st = static, dy = dynamic
93.78/12.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
93.78/12.45	c  B st     0         0       172       335       169         0      2062         0   no data   no data
93.78/12.45	c  E st     1         0         0       335       169         0      2062         0   no data   no data
93.78/12.45	c Verified 335 clauses.
93.78/12.45	c Verified 335 clauses.
93.78/12.45	c Solved part
93.78/12.45	c =========================================================================================
93.78/12.45	c Solving part 2027
93.78/12.48	c  N st     0         0       203       227       313         0      1379        76   no data   no data
93.78/12.49	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
93.78/12.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
93.78/12.49	c Finding binary XORs  T:     0.00 s  found:       0
93.78/12.49	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
93.78/12.49	c calculated reachability. Time: 0.00
93.78/12.49	c Calc default polars -  time:   0.00 s pos:      58 undec:   34351 neg:     101
93.78/12.49	c =========================================================================================
93.78/12.49	c types(t): F = full restart, N = normal restart
93.78/12.49	c types(t): S = simplification begin/end, E = solution found
93.78/12.49	c restart types(rt): st = static, dy = dynamic
93.78/12.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
93.78/12.49	c  B st     0         0       203       227       313         0      1343        76   no data   no data
93.78/12.49	c  E st     1         0         0       227       313         0      1343        76   no data   no data
93.78/12.49	c Verified 227 clauses.
93.78/12.49	c Verified 227 clauses.
93.78/12.49	c Solved part
93.78/12.49	c =========================================================================================
93.78/12.49	c Solving part 2155
94.59/12.53	c  N st     0         0       234       266       268         0      1522         0   no data   no data
94.59/12.53	c asymm  cl-useful: 4/266/266 lits-rem:4 time: 0.00
94.59/12.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
94.59/12.54	c Finding binary XORs  T:     0.00 s  found:       0
94.59/12.54	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
94.59/12.54	c calculated reachability. Time: 0.00
94.59/12.54	c Calc default polars -  time:   0.00 s pos:      83 undec:   34346 neg:      81
94.59/12.54	c =========================================================================================
94.59/12.54	c types(t): F = full restart, N = normal restart
94.59/12.54	c types(t): S = simplification begin/end, E = solution found
94.59/12.54	c restart types(rt): st = static, dy = dynamic
94.59/12.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
94.59/12.54	c  B st     0         0       234       266       268         0      1518         0   no data   no data
94.59/12.54	c  E st     1         0         0       266       268         0      1518         0   no data   no data
94.59/12.54	c Verified 266 clauses.
94.59/12.54	c Verified 266 clauses.
94.59/12.54	c Solved part
94.59/12.54	c =========================================================================================
94.59/12.54	c Solving part 2206
94.59/12.57	c  N st     0         0       236       261       272         0      1512         0   no data   no data
94.59/12.57	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
94.59/12.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
94.59/12.58	c Finding binary XORs  T:     0.00 s  found:       0
94.59/12.58	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
94.59/12.58	c calculated reachability. Time: 0.00
94.59/12.58	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
94.59/12.58	c =========================================================================================
94.59/12.58	c types(t): F = full restart, N = normal restart
94.59/12.58	c types(t): S = simplification begin/end, E = solution found
94.59/12.58	c restart types(rt): st = static, dy = dynamic
94.59/12.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
94.59/12.58	c  B st     0         0       236       261       272         0      1511         0   no data   no data
94.59/12.58	c  E st     1         0         0       261       272         0      1511         0   no data   no data
94.59/12.58	c Verified 261 clauses.
94.59/12.58	c Verified 261 clauses.
94.59/12.58	c Solved part
94.59/12.58	c =========================================================================================
94.59/12.58	c Solving part 2189
95.39/12.61	c  N st     0         0       236       261       272         0      1512         0   no data   no data
95.39/12.62	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
95.39/12.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
95.39/12.62	c Finding binary XORs  T:     0.00 s  found:       0
95.39/12.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
95.39/12.62	c calculated reachability. Time: 0.00
95.39/12.62	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
95.39/12.62	c =========================================================================================
95.39/12.62	c types(t): F = full restart, N = normal restart
95.39/12.62	c types(t): S = simplification begin/end, E = solution found
95.39/12.62	c restart types(rt): st = static, dy = dynamic
95.39/12.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
95.39/12.62	c  B st     0         0       236       261       272         0      1511         0   no data   no data
95.39/12.62	c  E st     1         0         0       261       272         0      1511         0   no data   no data
95.39/12.62	c Verified 261 clauses.
95.39/12.62	c Verified 261 clauses.
95.39/12.62	c Solved part
95.39/12.62	c =========================================================================================
95.39/12.63	c Solving part 2172
95.39/12.66	c  N st     0         0       236       261       272         0      1512         0   no data   no data
95.39/12.66	c asymm  cl-useful: 1/261/261 lits-rem:1 time: 0.00
95.39/12.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
95.39/12.67	c Finding binary XORs  T:     0.00 s  found:       0
95.39/12.67	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
95.39/12.67	c calculated reachability. Time: 0.00
95.39/12.67	c Calc default polars -  time:   0.00 s pos:      82 undec:   34346 neg:      82
95.39/12.67	c =========================================================================================
95.39/12.67	c types(t): F = full restart, N = normal restart
95.39/12.67	c types(t): S = simplification begin/end, E = solution found
95.39/12.67	c restart types(rt): st = static, dy = dynamic
95.39/12.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
95.39/12.67	c  B st     0         0       236       261       272         0      1511         0   no data   no data
95.39/12.67	c  E st     1         0         0       261       272         0      1511         0   no data   no data
95.39/12.67	c Verified 261 clauses.
95.39/12.67	c Verified 261 clauses.
95.39/12.67	c Solved part
95.39/12.67	c =========================================================================================
95.39/12.67	c Solving part 2140
96.18/12.71	c  N st     0         0       236       275       286         0      1550         8   no data   no data
96.18/12.71	c asymm  cl-useful: 1/275/275 lits-rem:1 time: 0.00
96.18/12.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
96.18/12.71	c Finding binary XORs  T:     0.00 s  found:       0
96.18/12.71	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.18/12.71	c calculated reachability. Time: 0.00
96.18/12.72	c Calc default polars -  time:   0.00 s pos:     113 undec:   34284 neg:     113
96.18/12.72	c =========================================================================================
96.18/12.72	c types(t): F = full restart, N = normal restart
96.18/12.72	c types(t): S = simplification begin/end, E = solution found
96.18/12.72	c restart types(rt): st = static, dy = dynamic
96.18/12.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.18/12.72	c  B st     0         0       236       275       286         0      1549         8   no data   no data
96.18/12.72	c  E st     1         0         0       275       286         0      1549         8   no data   no data
96.18/12.72	c Verified 275 clauses.
96.18/12.72	c Verified 275 clauses.
96.18/12.72	c Solved part
96.18/12.72	c =========================================================================================
96.18/12.72	c Solving part 2139
96.18/12.75	c  N st     0         0       236       268       286         0      1540         0   no data   no data
96.18/12.75	c asymm  cl-useful: 2/268/268 lits-rem:2 time: 0.00
96.18/12.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
96.18/12.76	c Finding binary XORs  T:     0.00 s  found:       0
96.18/12.76	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.18/12.76	c calculated reachability. Time: 0.00
96.18/12.76	c Calc default polars -  time:   0.00 s pos:     110 undec:   34290 neg:     110
96.18/12.76	c =========================================================================================
96.18/12.76	c types(t): F = full restart, N = normal restart
96.18/12.76	c types(t): S = simplification begin/end, E = solution found
96.18/12.76	c restart types(rt): st = static, dy = dynamic
96.18/12.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.18/12.76	c  B st     0         0       236       268       286         0      1538         0   no data   no data
96.18/12.76	c  E st     1         0         0       268       286         0      1538         0   no data   no data
96.18/12.76	c Verified 268 clauses.
96.18/12.76	c Verified 268 clauses.
96.18/12.76	c Solved part
96.18/12.76	c =========================================================================================
96.18/12.76	c Solving part 2017
96.99/12.80	c  N st     0         0       238       315       291         0      1598        66   no data   no data
96.99/12.80	c asymm  cl-useful: 0/315/315 lits-rem:0 time: 0.00
96.99/12.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
96.99/12.81	c Finding binary XORs  T:     0.00 s  found:       0
96.99/12.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.99/12.81	c calculated reachability. Time: 0.00
96.99/12.81	c Calc default polars -  time:   0.00 s pos:     115 undec:   34280 neg:     115
96.99/12.81	c =========================================================================================
96.99/12.81	c types(t): F = full restart, N = normal restart
96.99/12.81	c types(t): S = simplification begin/end, E = solution found
96.99/12.81	c restart types(rt): st = static, dy = dynamic
96.99/12.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.99/12.81	c  B st     0         0       238       315       291         0      1598        66   no data   no data
96.99/12.81	c  E st     1         0         0       315       291         0      1598        66   no data   no data
96.99/12.81	c Verified 315 clauses.
96.99/12.81	c Verified 315 clauses.
96.99/12.81	c Solved part
96.99/12.81	c =========================================================================================
96.99/12.81	c Solving part 2135
96.99/12.85	c  N st     0         0       238       318       273         0      1602        34   no data   no data
96.99/12.85	c asymm  cl-useful: 0/318/318 lits-rem:0 time: 0.00
96.99/12.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
96.99/12.86	c Finding binary XORs  T:     0.00 s  found:       0
96.99/12.86	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
96.99/12.86	c calculated reachability. Time: 0.00
96.99/12.86	c Calc default polars -  time:   0.00 s pos:     115 undec:   34280 neg:     115
96.99/12.86	c =========================================================================================
96.99/12.86	c types(t): F = full restart, N = normal restart
96.99/12.86	c types(t): S = simplification begin/end, E = solution found
96.99/12.86	c restart types(rt): st = static, dy = dynamic
96.99/12.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.99/12.86	c  B st     0         0       238       318       273         0      1602        34   no data   no data
96.99/12.86	c  E st     1         0         0       318       273         0      1602        34   no data   no data
96.99/12.86	c Verified 318 clauses.
96.99/12.86	c Verified 318 clauses.
96.99/12.86	c Solved part
96.99/12.86	c =========================================================================================
96.99/12.86	c Solving part 2090
96.99/12.89	c  N st     0         0       265       522       270         0      3175         0   no data   no data
96.99/12.90	c asymm  cl-useful: 89/522/522 lits-rem:122 time: 0.00
97.78/12.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
97.78/12.90	c Finding binary XORs  T:     0.00 s  found:       0
97.78/12.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
97.78/12.90	c calculated reachability. Time: 0.00
97.78/12.90	c Calc default polars -  time:   0.00 s pos:     129 undec:   34271 neg:     110
97.78/12.90	c =========================================================================================
97.78/12.90	c types(t): F = full restart, N = normal restart
97.78/12.90	c types(t): S = simplification begin/end, E = solution found
97.78/12.90	c restart types(rt): st = static, dy = dynamic
97.78/12.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
97.78/12.90	c  B st     0         0       265       522       270         0      3053         0   no data   no data
97.78/12.90	c  E st     1         0         0       522       270         0      3053         0   no data   no data
97.78/12.90	c Verified 522 clauses.
97.78/12.90	c Verified 522 clauses.
97.78/12.90	c Solved part
97.78/12.90	c =========================================================================================
97.78/12.91	c Solving part 2086
97.78/12.94	c  N st     0         0       305       600       483         0      2986       236   no data   no data
97.78/12.94	c asymm  cl-useful: 102/600/600 lits-rem:149 time: 0.01
97.78/12.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
97.78/12.95	c Finding binary XORs  T:     0.00 s  found:       0
97.78/12.96	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
97.78/12.96	c calculated reachability. Time: 0.00
97.78/12.96	c Calc default polars -  time:   0.00 s pos:     120 undec:   34250 neg:     140
97.78/12.96	c =========================================================================================
97.78/12.96	c types(t): F = full restart, N = normal restart
97.78/12.96	c types(t): S = simplification begin/end, E = solution found
97.78/12.96	c restart types(rt): st = static, dy = dynamic
97.78/12.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
97.78/12.96	c  B st     0         0       305       597       486         0      2843       236   no data   no data
97.78/12.96	c  E st     1         0         0       597       486         0      2843       236   no data   no data
97.78/12.96	c Verified 597 clauses.
97.78/12.96	c Verified 597 clauses.
97.78/12.96	c Solved part
97.78/12.96	c =========================================================================================
97.78/12.96	c Solving part 1162
98.59/13.00	c  N st     0         0       810      9090      1687         0     37221      1184   no data   no data
100.24/13.25	c asymm  cl-useful: 764/4062/9090 lits-rem:797 time: 0.26
100.97/13.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   35 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.05
100.97/13.31	c Finding binary XORs  T:     0.00 s  found:       5
100.97/13.31	c Replacing       40 vars Replaced     2984 lits Time:     0.00 s 
100.97/13.31	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
100.97/13.31	c calculated reachability. Time: 0.00
100.97/13.32	c Calc default polars -  time:   0.00 s pos:     303 undec:   33941 neg:     266
100.97/13.32	c =========================================================================================
100.97/13.32	c types(t): F = full restart, N = normal restart
100.97/13.32	c types(t): S = simplification begin/end, E = solution found
100.97/13.32	c restart types(rt): st = static, dy = dynamic
100.97/13.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
100.97/13.32	c  B st     0         0       770      8476      1662         0     34016      1184   no data   no data
100.97/13.32	c  E st     1         0         0      8476      1662         0     34016      1184   no data   no data
100.97/13.32	c Verified 8476 clauses.
100.97/13.32	c Verified 8476 clauses.
100.97/13.32	c Solved part
100.97/13.32	c =========================================================================================
100.97/13.32	c Solving part 2037
100.97/13.36	c  N st     0         0       833      4173      1021         0     18110        30   no data   no data
101.76/13.43	c asymm  cl-useful: 51/4173/4173 lits-rem:51 time: 0.07
101.76/13.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
101.76/13.45	c Finding binary XORs  T:     0.00 s  found:       0
101.76/13.46	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.76/13.46	c calculated reachability. Time: 0.00
101.76/13.46	c Calc default polars -  time:   0.00 s pos:     279 undec:   33979 neg:     252
101.76/13.46	c =========================================================================================
101.76/13.46	c types(t): F = full restart, N = normal restart
101.76/13.46	c types(t): S = simplification begin/end, E = solution found
101.76/13.46	c restart types(rt): st = static, dy = dynamic
101.76/13.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.76/13.46	c  B st     0         0       833      4173      1021         0     18059        30   no data   no data
101.76/13.46	c  E st     1         0         0      4173      1021         0     18059        30   no data   no data
101.76/13.46	c Verified 4173 clauses.
101.76/13.46	c Verified 4173 clauses.
101.76/13.46	c Solved part
101.76/13.46	c =========================================================================================
101.76/13.46	c Solving part 1129
101.76/13.49	c  N st     0         0       952      5641      1290         0     24029       146   no data   no data
103.36/13.61	c asymm  cl-useful: 178/5641/5641 lits-rem:187 time: 0.11
103.36/13.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.03
103.36/13.64	c Finding binary XORs  T:     0.00 s  found:       0
103.36/13.64	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
103.36/13.64	c calculated reachability. Time: 0.00
103.36/13.64	c Calc default polars -  time:   0.00 s pos:     358 undec:   33786 neg:     366
103.36/13.64	c =========================================================================================
103.36/13.64	c types(t): F = full restart, N = normal restart
103.36/13.64	c types(t): S = simplification begin/end, E = solution found
103.36/13.64	c restart types(rt): st = static, dy = dynamic
103.36/13.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
103.36/13.64	c  B st     0         0       952      5637      1294         0     23850       146   no data   no data
103.36/13.64	c  E st     1         0         0      5637      1294         0     23850       146   no data   no data
103.36/13.65	c Verified 5637 clauses.
103.36/13.65	c Verified 5637 clauses.
103.36/13.65	c Solved part
103.36/13.65	c =========================================================================================
103.36/13.65	c Solving part 1122
103.36/13.68	c  N st     0         0      1070      7514      1564         0     31683       228   no data   no data
104.96/13.85	c asymm  cl-useful: 173/7514/7514 lits-rem:173 time: 0.17
104.96/13.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.03
104.96/13.89	c Finding binary XORs  T:     0.00 s  found:       0
104.96/13.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
104.96/13.90	c calculated reachability. Time: 0.00
105.76/13.90	c Calc default polars -  time:   0.00 s pos:     429 undec:   33627 neg:     454
105.76/13.90	c =========================================================================================
105.76/13.90	c types(t): F = full restart, N = normal restart
105.76/13.90	c types(t): S = simplification begin/end, E = solution found
105.76/13.90	c restart types(rt): st = static, dy = dynamic
105.76/13.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
105.76/13.90	c  B st     0         0      1070      7514      1564         0     31510       228   no data   no data
105.76/13.90	c  E st     1         1         0      7514      1564         1     31510       233   no data   no data
105.76/13.90	c Verified 7514 clauses.
105.76/13.90	c Verified 7514 clauses.
105.76/13.90	c Solved part
105.76/13.90	c =========================================================================================
105.76/13.90	c Solving part 2136
105.76/13.94	c  N st     0         0      3702     15960      4496         0     72614       782   no data   no data
107.36/14.12	c asymm  cl-useful: 963/8623/15960 lits-rem:1440 time: 0.19
108.21/14.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.6M T:  0.09
108.21/14.22	c Finding binary XORs  T:     0.00 s  found:       0
108.21/14.23	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
108.21/14.23	c calculated reachability. Time: 0.00
108.21/14.23	c Calc default polars -  time:   0.00 s pos:    1030 undec:   32439 neg:    1041
108.21/14.23	c =========================================================================================
108.21/14.23	c types(t): F = full restart, N = normal restart
108.21/14.23	c types(t): S = simplification begin/end, E = solution found
108.21/14.23	c restart types(rt): st = static, dy = dynamic
108.21/14.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
108.21/14.23	c  B st     0         0      3702     15960      4496         0     71174       782   no data   no data
108.21/14.23	c  E st     1         0         0     15960      4496         0     71174       782   no data   no data
108.21/14.23	c Verified 15960 clauses.
108.21/14.23	c Verified 15960 clauses.
108.21/14.23	c Solved part
108.21/14.23	c =========================================================================================
108.21/14.23	c Solving part 1769
109.75/14.40	c  N st     0         0      4876    187407      7392     13976    739238    155246   no data   no data
109.75/14.47	c asymm  cl-useful: 7/340/187407 lits-rem:7 time: 0.07
113.74/14.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 78.2M T:  0.49
113.74/14.97	c Finding binary XORs  T:     0.01 s  found:       0
114.54/15.07	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
114.54/15.07	c calculated reachability. Time: 0.00
114.54/15.07	c Calc default polars -  time:   0.00 s pos:    1562 undec:   31390 neg:    1558
114.54/15.07	c =========================================================================================
114.54/15.07	c types(t): F = full restart, N = normal restart
114.54/15.07	c types(t): S = simplification begin/end, E = solution found
114.54/15.07	c restart types(rt): st = static, dy = dynamic
114.54/15.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
114.54/15.07	c  B st     0         0      4876    187407      7392     13976    739231    155246   no data   no data
124.92/16.31	c  N dy    14      4109      4876    187407      7394     18065    739231    207770      6.74      7.10
132.92/17.36	c  N dy    32      8306      4875    187407      7400     22224    739231    259419      6.70      7.13
145.70/18.96	c  N dy    54     12863      4875    187407      7407     26738    739231    314415      6.68      7.03
156.89/20.33	c  N dy    76     16933      4875    187407      7412     30779    739231    366147      6.77      8.44
168.08/21.73	c  N dy    95     21029      4875    187407      7416     17925    739231    157975      6.77      8.20
178.53/23.05	c  F st   117     25001      4875    187407      7420     21856    739231    206866      6.81   no data
179.34/23.13	c  N st   118     25253      4875    187407      7421     22104    739231    209940      6.81   no data
190.46/24.56	c  N dy   123     30198      4874    187407      7430     27002    739231    277756      6.81   no data
201.65/25.93	c  N dy   146     34245      4874    187407      7432     31035    739231    332139      6.83      7.20
212.05/27.22	c  N dy   168     38300      4874    187407      7435     35044    739231    380491      6.86      8.78
224.03/28.74	c  N dy   189     43224      4874    187407      7440     21069    739231    169367      6.86      7.22
234.42/30.08	c  N dy   218     47290      4874    187407      7441     25106    739231    223666      6.91      8.28
245.61/31.42	c  N dy   239     51370      4874    187407      7449     29141    739231    276020      6.92      7.82
255.21/32.67	c  N dy   256     55510      4874    187407      7454     33253    739231    331114      6.91      7.46
265.59/33.99	c  N dy   274     59573      4873    187407      7467     37257    739231    381254      6.91      7.32
271.99/34.72	c Finding binary XORs  T:     0.01 s  found:       0
277.58/35.42	c  N dy   298     64063      4873    186895      7356     18287    737201    136625      6.92      7.33
287.97/36.70	c  N dy   316     68339      4872    186895      7362     22524    737201    188708      6.90      7.27
299.96/38.20	c  N dy   347     73074      4872    186895      7363     27225    737201    253400      6.95      7.36
313.54/39.91	c  N dy   372     78122      4872    186895      7367     32222    737201    320346      6.95      7.34
327.99/41.73	c  N dy   403     83209      4871    186895      7381     37258    737201    384048      6.97      7.79
339.92/43.23	c  F st   422     87500      4871    186895      7385     21511    737201    155526      6.97      6.24
343.12/43.64	c  N st   425     88687      4871    186895      7387     22690    737201    171155      6.97   no data
359.10/45.62	c  N dy   433     94648      4870    186895      7396     28610    737201    250150      6.95      7.37
377.49/47.92	c  N dy   467    101000      4870    186895      7407     34905    737201    335740      6.96      7.42
395.87/50.23	c  N dy   506    107508      4869    186895      7418     41349    737200    420436      6.98      8.09
414.25/52.56	c  N dy   545    114434      4868    186895      7426     26300    737200    198938      7.00      8.87
416.72/52.83	c Finding binary XORs  T:     0.01 s  found:       0
434.29/55.05	c  N dy   575    122009      4866    185805      7287     28805    732890    267879      6.99      7.40
455.01/57.68	c  N dy   638    129849      4866    185805      7292     36580    732890    377190      7.05      7.44
479.79/60.70	c  N dy   687    138374      4865    185805      7303     24199    732890    175143      7.06      7.44
506.17/64.02	c  N dy   740    147285      4865    185805      7317     33036    732890    292445      7.09      7.87
531.01/67.17	c  N dy   781    156720      4864    185805      7338     42393    732890    422827      7.09      7.47
547.79/69.27	c Finding binary XORs  T:     0.01 s  found:       0
562.13/71.05	c  N dy   830    166794      4863    185181      7273     26805    730525    212875      7.08      7.48
590.89/74.60	c  N dy   900    177479      4862    185181      7286     37420    730525    369198      7.12      8.83
622.86/78.70	c  N dy   974    188828      4862    185181      7290     24777    730524    159988      7.14      8.05
657.23/82.93	c  N dy  1038    200951      4862    185181      7297     36822    730523    334996      7.15      7.53
694.00/87.59	c  N dy  1111    213850      4860    185181      7313     49618    730523    520686      7.17      8.27
734.76/92.60	c  N dy  1176    227504      4859    185181      7334     37271    730523    316923      7.17      7.56
781.91/98.57	c Finding binary XORs  T:     0.01 s  found:       1
782.71/98.62	c  N dy  1269    242328      4855    183897      7237     41551    725554    416100      7.20      7.62
833.86/105.01	c  N dy  1373    257817      4855    183897      7243     34869    725554    313583      7.24      7.66
892.22/112.32	c  N dy  1478    274354      4855    183897      7251     51298    725554    561174      7.29      8.78
945.77/119.06	c  N dy  1588    293174      4854    183897      7268     44026    725554    413981      7.32      7.71
987.40/124.22	c  F st  1668    306250      4854    183897      7273     28636    725553    167471      7.34   no data
1000.92/125.92	c  N dy  1677    311914      4854    183897      7273     34282    725553    265414      7.34      7.75
1060.86/133.42	c  N dy  1804    331888      4852    183897      7297     54101    725553    570940      7.37      7.78
1131.19/142.26	c  N dy  1921    352167      4852    183897      7302     44164    725553    383570      7.40      7.84
1208.71/151.96	c  N dy  2046    372171      4852    183897      7307     32601    725551    190214      7.43      9.35
1281.46/161.02	c  N dy  2176    392225      4852    183897      7311     52532    725551    497277      7.45      9.00
1307.83/164.32	c Finding binary XORs  T:     0.01 s  found:       5
1353.39/170.00	c  N dy  2297    412254      4851    183481      7288     39250    723940    282348      7.48      8.98
1416.54/177.92	c  N dy  2422    432301      4851    183481      7300     59178    723940    589900      7.50      8.25
1484.47/186.45	c  N dy  2544    452363      4851    183481      7305     45724    723940    373712      7.52      8.62
1550.87/194.76	c  N dy  2675    472553      4851    183481      7311     65811    723940    693410      7.54      8.00
1625.94/204.13	c  N dy  2786    493386      4851    183481      7323     51901    723940    456924      7.55      8.11
1702.67/213.72	c  N dy  2907    513433      4850    183481      7336     36139    723940    199515      7.57      7.99
1765.02/221.57	c  N dy  3027    533768      4849    183481      7351     56357    723940    520928      7.59      8.03
1782.60/223.71	c Finding binary XORs  T:     0.01 s  found:       5
1833.75/230.10	c  N dy  3152    553951      4849    182851      7314     39242    721443    244047      7.61      8.19
1913.67/240.11	c  N dy  3277    574909      4849    182851      7322     60082    721443    578671      7.62      8.03
1991.20/249.81	c  N dy  3376    595195      4849    182851      7325     42730    721443    289828      7.63      8.04
2054.35/257.76	c  N dy  3487    615285      4848    182851      7334     62692    721443    621806      7.64      8.05
2127.89/266.96	c  N dy  3612    635381      4848    182851      7342     44509    721443    303752      7.65      8.06
2207.01/276.83	c  N dy  3734    656220      4848    182851      7344     65240    721443    656166      7.66      8.08
2283.75/286.43	c  N dy  3867    676278      4848    182851      7350     46190    721443    314072      7.68      8.30
2354.08/295.22	c  N dy  3987    696380      4848    182851      7359     66189    721443    642350      7.69      8.12
2423.62/303.97	c  N dy  4099    716505      4846    182851      7380     46248    721443    294827      7.70      8.11
2496.35/313.05	c  N dy  4221    736539      4846    182851      7381     66199    721443    633893      7.71      8.37
2550.71/319.81	c Finding binary XORs  T:     0.01 s  found:      12
2585.87/324.24	c  N dy  4322    756582      4840    181551      7309     44549    716024    250141      7.71      8.94
2648.22/332.09	c  N dy  4419    776679      4840    181551      7318     64548    716024    589682      7.71      8.14
2724.14/341.51	c  N dy  4495    796737      4834    181551      7338     84474    716024    915328      7.71      8.13
2804.07/351.51	c  N dy  4604    816925      4834    181551      7344     63202    716024    545306      7.72      8.14
2896.05/363.03	c  N dy  4698    837017      4834    181551      7355     83175    716024    878316      7.72      8.16
2975.91/373.05	c  N dy  4798    858019      4834    181551      7370     61321    716024    486031      7.72      8.20
2999.10/375.96	c Finding binary XORs  T:     0.01 s  found:      11
3039.85/381.08	c  N dy  4891    878047      4828    180231      7339     79858    710578    814251      7.72      8.13
3104.60/389.19	c  N dy  4990    898077      4822    180231      7360     56717    710578    393953      7.72      8.86
3176.59/398.11	c  N dy  5090    918123      4822    180231      7372     76634    710578    727119      7.72      8.15
3222.85/404.90	c Finding binary XORs  T:     0.01 s  found:      21
3222.85/404.98	c Replacing       55 vars Replaced    79473 lits Time:     0.08 s 
3234.13/407.43	c  N dy  5193    938356      4757    175319      7012     49195    690522    274838      7.73      8.19
3253.32/413.81	c  N dy  5274    958432      4740    175319      7062     69098    690522    606228      7.72      9.23
3273.43/420.53	c  N dy  5351    978529      4713    175319      7083     89064    690522    956791      7.72     10.13
3278.53/422.30	c Finding binary XORs  T:     0.01 s  found:      47
3290.23/426.13	c Finding binary XORs  T:     0.01 s  found:      46
3290.23/426.15	c Replacing       93 vars Replaced    27989 lits Time:     0.03 s 
3293.23/427.18	c  N dy  5407    999054      4526    126119      6822     40129    496463    334969      7.70      8.11
3295.03/427.78	c  E dy  5413   1001171      4446    126119      6845     42189    496463    367355      7.70      4.48
3349.81/455.03	c Following stats are for *FIRST FINISHED THREAD ONLY*
3349.81/455.03	c num threads              : 8          
3349.81/455.03	c restarts                 : 87         
3349.81/455.03	c dynamic restarts         : 81         
3349.81/455.03	c static restarts          : 6          
3349.81/455.03	c full restarts            : 0          
3349.81/455.03	c total simplify time      : 0.13       
3349.81/455.03	c learnts DL2              : 0          
3349.81/455.03	c learnts size 2           : 64481      
3349.81/455.03	c learnts size 1           : 476         (1.38      % of vars)
3349.81/455.03	c filedLit time            : 1.71        (0.38      % time)
3349.81/455.03	c v-elim SatELite          : 2851        (8.26      % vars)
3349.81/455.03	c SatELite time            : 1.02        (0.23      % time)
3349.81/455.03	c v-elim xor               : 0           (0.00      % vars)
3349.81/455.03	c xor elim time            : 0.00        (0.00      % time)
3349.81/455.03	c num binary xor trees     : 22         
3349.81/455.03	c binxor trees' crown      : 326         (14.82     leafs/tree)
3349.81/455.03	c bin xor find time        : 0.13       
3349.81/455.03	c OTF clause improved      : 219         (0.01      clauses/conflict)
3349.81/455.03	c OTF impr. size diff      : 325         (1.48       lits/clause)
3349.81/455.03	c OTF cl watch-shrink      : 16934       (0.68      clauses/conflict)
3349.81/455.03	c OTF cl watch-sh-lit      : 42001       (2.48       lits/clause)
3349.81/455.03	c tried to recurMin cls    : 4634        (18.53      % of conflicts)
3349.81/455.03	c updated cache            : 0           (0.00       lits/tried recurMin)
3349.81/455.03	c unit cls recevied        : 3           (0.63      % of units)
3349.81/455.03	c unit cls sent            : 0           (0.00      % of units)
3349.81/455.03	c bin cls recevied         : 5807       
3349.81/455.03	c bin cls sent             : 993        
3349.81/455.03	c clauses over max glue    : 0           (0.00      % of all clauses)
3349.81/455.03	c conflicts                : 25002       (55.11     / sec)
3349.81/455.03	c decisions                : 30844       (0.00      % random)
3349.81/455.03	c bogo-props               : 1458703155  (3215148.15 / sec)
3349.81/455.03	c conflict literals        : 314469      (54.16     % deleted)
3349.81/455.03	c Memory used              : 2163.75     MB
3349.81/455.03	c single-thread CPU time   : 453.70      s
3349.81/455.03	c all-threads sum CPU time : 3346.24     s
3349.81/455.03	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321170-1304324678/watcher-3321170-1304324678 -o /tmp/evaluation-result-3321170-1304324678/solver-3321170-1304324678 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321170-1304324678.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: 7.62 7.83 7.26 1/233 7259
/proc/meminfo: memFree=24910176/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 414 0 0 0 1 0 0 0 23 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7259/statm: 23047 353 299 106 0 18018 0
[pid=7259/tid=7260] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=92188 CPUtime=0 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544066569 94400512 353 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472860082 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.037052 s]
/proc/loadavg: 7.62 7.83 7.26 1/233 7259
/proc/meminfo: memFree=24910176/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=570304 CPUtime=0.11 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) D 7257 7259 6848 0 -1 4202496 14043 0 0 0 8 3 0 0 18 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7259/statm: 142576 11785 338 106 0 137547 0
[pid=7259/tid=7260] ppid=7257 vsize=570304 CPUtime=0.01 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 2255 0 0 0 1 0 0 0 18 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=570304 CPUtime=0 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 487 0 0 0 0 0 0 0 25 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=570304 CPUtime=0.01 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 1985 0 0 0 1 0 0 0 18 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813937337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=570304 CPUtime=0.01 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 1842 0 0 0 1 0 0 0 17 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=570304 CPUtime=0.01 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 1930 0 0 0 1 0 0 0 18 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=570304 CPUtime=0 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 428 0 0 0 0 0 0 0 24 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 4314181 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=570304 CPUtime=0 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 2263 0 0 0 0 0 0 0 18 0 8 0 544066569 583991296 11785 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813937255 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 570304

[startup+0.101106 s]
/proc/loadavg: 7.62 7.83 7.26 1/233 7259
/proc/meminfo: memFree=24910176/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=647824 CPUtime=0.38 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 34360 0 0 0 27 11 0 0 17 0 8 0 544066569 663371776 28165 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 161956 28166 339 106 0 156927 0
[pid=7259/tid=7260] ppid=7257 vsize=647824 CPUtime=0.04 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 4877 0 0 0 3 1 0 0 17 0 8 0 544066569 663371776 28167 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=647824 CPUtime=0.02 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 1614 0 0 0 2 0 0 0 25 0 8 0 544066569 663371776 28171 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813937337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=647824 CPUtime=0.05 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 5450 0 0 0 4 1 0 0 18 0 8 0 544066569 663371776 28172 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345198 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=647824 CPUtime=0.05 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 5243 0 0 0 3 2 0 0 18 0 8 0 544066569 663371776 28173 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=647824 CPUtime=0.06 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 5360 0 0 0 4 2 0 0 17 0 8 0 544066569 663371776 28173 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345198 0 0 4096 2 18446604450618399680 0 0 -1 0 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=647824 CPUtime=0.01 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 1666 0 0 0 1 0 0 0 18 0 8 0 544066569 663371776 28175 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813898554 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=647824 CPUtime=0.03 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 4711 0 0 0 2 1 0 0 17 0 8 0 544066569 663371776 28177 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 647824

[startup+0.303131 s]
/proc/loadavg: 7.62 7.83 7.26 1/233 7259
/proc/meminfo: memFree=24910176/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=826248 CPUtime=1.4 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) D 7257 7259 6848 0 -1 4202496 63449 0 0 0 102 38 0 0 16 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4504795 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7259/statm: 206562 56609 339 106 0 201533 0
[pid=7259/tid=7260] ppid=7257 vsize=826248 CPUtime=0.2 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 8711 0 0 0 15 5 0 0 18 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=826248 CPUtime=0.06 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 3594 0 0 0 5 1 0 0 17 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=826248 CPUtime=0.21 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 9187 0 0 0 16 5 0 0 18 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=826248 CPUtime=0.21 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 7390 0 0 0 14 7 0 0 18 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=826248 CPUtime=0.2 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 9175 0 0 0 14 6 0 0 16 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=826248 CPUtime=0.11 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 6343 0 0 0 8 3 0 0 16 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4531973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=826248 CPUtime=0.13 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 9012 0 0 0 10 3 0 0 16 0 8 0 544066569 846077952 56609 33554432000 4194304 4627427 140734826336944 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 826248

[startup+0.700941 s]
/proc/loadavg: 7.62 7.83 7.26 1/233 7259
/proc/meminfo: memFree=24910176/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=961736 CPUtime=3.81 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 107418 0 0 0 308 73 0 0 16 0 8 0 544066569 984817664 100578 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 240434 100580 366 106 0 235405 0
[pid=7259/tid=7260] ppid=7257 vsize=961736 CPUtime=0.56 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 13833 0 0 0 45 11 0 0 18 0 8 0 544066569 984817664 100581 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=961736 CPUtime=0.21 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 7276 0 0 0 17 4 0 0 17 0 8 0 544066569 984817664 100581 33554432000 4194304 4627427 140734826336944 18446744073709551615 4530602 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=961736 CPUtime=0.56 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 14774 0 0 0 46 10 0 0 18 0 8 0 544066569 984817664 100583 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=961736 CPUtime=0.56 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 13388 0 0 0 44 12 0 0 18 0 8 0 544066569 984817664 100584 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=961736 CPUtime=0.54 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 14903 0 0 0 44 10 0 0 16 0 8 0 544066569 984817664 100585 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=961736 CPUtime=0.38 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 13781 0 0 0 31 7 0 0 16 0 8 0 544066569 984817664 100586 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=961736 CPUtime=0.43 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 14108 0 0 0 36 7 0 0 16 0 8 0 544066569 984817664 100587 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 961736

[startup+1.50081 s]
/proc/loadavg: 7.62 7.83 7.26 9/241 7267
/proc/meminfo: memFree=24436556/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=1017784 CPUtime=9.93 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 150791 0 0 0 891 102 0 0 16 0 8 0 544066569 1042210816 143913 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 254446 143915 367 106 0 249417 0
[pid=7259/tid=7260] ppid=7257 vsize=1017784 CPUtime=1.32 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 19314 0 0 0 118 14 0 0 18 0 8 0 544066569 1042210816 143916 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=1017784 CPUtime=0.97 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 17948 0 0 0 86 11 0 0 18 0 8 0 544066569 1042210816 143917 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=1017784 CPUtime=1.32 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 19952 0 0 0 117 15 0 0 18 0 8 0 544066569 1042210816 143919 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669470404561 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=1017784 CPUtime=1.32 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 18817 0 0 0 117 15 0 0 18 0 8 0 544066569 1042210816 143919 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=1017784 CPUtime=1.31 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 20272 0 0 0 118 13 0 0 16 0 8 0 544066569 1042210816 143920 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=1017784 CPUtime=1.15 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 18816 0 0 0 104 11 0 0 16 0 8 0 544066569 1042210816 143922 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=1017784 CPUtime=1.21 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 14807 0 0 0 114 7 0 0 16 0 8 0 544066569 1042210816 143922 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 1017784

[startup+3.10054 s]
/proc/loadavg: 7.62 7.83 7.26 9/241 7267
/proc/meminfo: memFree=24252416/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=1541704 CPUtime=20.52 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 242869 0 0 0 1898 154 0 0 18 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 385426 235990 377 106 0 380397 0
[pid=7259/tid=7260] ppid=7257 vsize=1541704 CPUtime=2.57 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 31935 0 0 0 234 23 0 0 17 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345198 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=1541704 CPUtime=2.4 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 25488 0 0 0 224 16 0 0 17 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345198 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=1541704 CPUtime=2.59 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 35771 0 0 0 236 23 0 0 18 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=1541704 CPUtime=2.55 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 27261 0 0 0 232 23 0 0 16 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814345198 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=1541704 CPUtime=2.57 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 35956 0 0 0 235 22 0 0 18 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=1541704 CPUtime=2.43 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) D 7257 7259 6848 0 -1 4202560 29245 0 0 0 225 18 0 0 17 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=1541704 CPUtime=2.77 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 15721 0 0 0 269 8 0 0 18 0 8 0 544066569 1578704896 235990 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.52
Current children cumulated vsize (KiB) 1541704

[startup+6.301 s]
/proc/loadavg: 7.65 7.83 7.27 9/241 7267
/proc/meminfo: memFree=23668388/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=1775220 CPUtime=45.04 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 407806 0 0 0 4282 222 0 0 24 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 443805 309988 386 106 0 438776 0
[pid=7259/tid=7260] ppid=7257 vsize=1775220 CPUtime=5.63 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 52907 0 0 0 530 33 0 0 22 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=1775220 CPUtime=5.35 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 58583 0 0 0 505 30 0 0 20 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=1775220 CPUtime=5.69 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 57837 0 0 0 539 30 0 0 23 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=1775220 CPUtime=5.54 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 53479 0 0 0 520 34 0 0 19 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=1775220 CPUtime=5.66 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 55072 0 0 0 537 29 0 0 22 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4310453 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=1775220 CPUtime=5.46 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 58124 0 0 0 514 32 0 0 19 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=1775220 CPUtime=5.95 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 15908 0 0 0 586 9 0 0 25 0 8 0 544066569 1817825280 309988 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/loadavg: 7.53 7.90 7.50 4/241 7278
/proc/meminfo: memFree=23200092/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2328588 CPUtime=3240.43 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) R 7257 7259 6848 0 -1 4202496 959251 0 0 0 323681 362 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 582147 426742 388 106 0 577118 0
[pid=7259/tid=7260] ppid=7257 vsize=2328588 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2328588 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2328588 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2328588 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2328588 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2328588 CPUtime=408.65 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 40816 49 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835115 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2328588 CPUtime=409.09 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 45107 0 0 0 40891 18 0 0 25 0 8 0 544066569 2384474112 426742 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3240.43
Current children cumulated vsize (KiB) 2328588

[startup+435.101 s]
/proc/loadavg: 5.83 7.47 7.37 3/241 7278
/proc/meminfo: memFree=23245172/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2232988 CPUtime=3310.01 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) S 7257 7259 6848 0 -1 4202496 962882 0 0 0 330638 363 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 558247 415547 388 106 0 553218 0
[pid=7259/tid=7260] ppid=7257 vsize=2232988 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2232988 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2232988 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2232988 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2232988 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2232988 CPUtime=434.25 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 43376 49 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2232988 CPUtime=434.7 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 47934 0 0 0 43451 19 0 0 25 0 8 0 544066569 2286579712 415547 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3310.01
Current children cumulated vsize (KiB) 2232988

[startup+447.901 s]
/proc/loadavg: 5.24 7.29 7.31 3/241 7278
/proc/meminfo: memFree=23247104/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2233092 CPUtime=3335.62 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) S 7257 7259 6848 0 -1 4202496 965461 0 0 0 333198 364 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 558273 415264 388 106 0 553244 0
[pid=7259/tid=7260] ppid=7257 vsize=2233092 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2233092 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2233092 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2233092 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2233092 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2233092 CPUtime=447.05 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 44656 49 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835115 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2233092 CPUtime=447.49 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 50513 0 0 0 44730 19 0 0 25 0 8 0 544066569 2286686208 415264 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3335.62
Current children cumulated vsize (KiB) 2233092

[startup+451.101 s]
/proc/loadavg: 4.98 7.20 7.29 3/241 7279
/proc/meminfo: memFree=23246436/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2233092 CPUtime=3342.02 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) S 7257 7259 6848 0 -1 4202496 965630 0 0 0 333838 364 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 558273 415433 388 106 0 553244 0
[pid=7259/tid=7260] ppid=7257 vsize=2233092 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2233092 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2233092 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2233092 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2233092 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2233092 CPUtime=450.25 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 44976 49 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835115 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2233092 CPUtime=450.69 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 50682 0 0 0 45050 19 0 0 25 0 8 0 544066569 2286686208 415433 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3342.02
Current children cumulated vsize (KiB) 2233092

[startup+452.701 s]
/proc/loadavg: 4.98 7.20 7.29 3/241 7279
/proc/meminfo: memFree=23246188/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2233092 CPUtime=3345.21 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) S 7257 7259 6848 0 -1 4202496 965719 0 0 0 334157 364 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 558273 415522 388 106 0 553244 0
[pid=7259/tid=7260] ppid=7257 vsize=2233092 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2233092 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2233092 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2233092 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2233092 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2233092 CPUtime=451.85 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 45136 49 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835115 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2233092 CPUtime=452.29 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 50771 0 0 0 45210 19 0 0 25 0 8 0 544066569 2286686208 415522 33554432000 4194304 4627427 140734826336944 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3345.21
Current children cumulated vsize (KiB) 2233092

[startup+454.309 s]
/proc/loadavg: 4.74 7.11 7.26 3/241 7279
/proc/meminfo: memFree=23245692/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2233092 CPUtime=3348.43 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) S 7257 7259 6848 0 -1 4202496 965818 0 0 0 334479 364 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 558273 415621 388 106 0 553244 0
[pid=7259/tid=7260] ppid=7257 vsize=2233092 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2233092 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2233092 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2233092 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2233092 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2233092 CPUtime=453.46 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 45297 49 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835115 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2233092 CPUtime=453.9 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 50870 0 0 0 45371 19 0 0 25 0 8 0 544066569 2286686208 415621 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3348.43
Current children cumulated vsize (KiB) 2233092

[startup+454.701 s]
/proc/loadavg: 4.74 7.11 7.26 3/241 7279
/proc/meminfo: memFree=23245692/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=2233092 CPUtime=3349.21 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) S 7257 7259 6848 0 -1 4202496 965835 0 0 0 334557 364 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 558273 415638 388 106 0 553244 0
[pid=7259/tid=7260] ppid=7257 vsize=2233092 CPUtime=406.38 cores=0-7
/proc/7259/task/7260/stat : 7260 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 133166 0 0 0 40582 56 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 1 0 0 0
[pid=7259/tid=7261] ppid=7257 vsize=2233092 CPUtime=402.71 cores=0-7
/proc/7259/task/7261/stat : 7261 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 134122 0 0 0 40220 51 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7262] ppid=7257 vsize=2233092 CPUtime=399.37 cores=0-7
/proc/7259/task/7262/stat : 7262 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 137958 0 0 0 39885 52 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 3 0 0 0
[pid=7259/tid=7263] ppid=7257 vsize=2233092 CPUtime=401.19 cores=0-7
/proc/7259/task/7263/stat : 7263 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 122884 0 0 0 40067 52 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7264] ppid=7257 vsize=2233092 CPUtime=404.08 cores=0-7
/proc/7259/task/7264/stat : 7264 (strangenight2-m) S 7257 7259 6848 0 -1 4202560 123313 0 0 0 40362 46 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472859700 0 0 4096 2 18446604450618399680 0 0 -1 5 0 0 0
[pid=7259/tid=7265] ppid=7257 vsize=2233092 CPUtime=453.85 cores=0-7
/proc/7259/task/7265/stat : 7265 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 137350 0 0 0 45336 49 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 47669472835268 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=2233092 CPUtime=454.29 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4202560 50887 0 0 0 45410 19 0 0 25 0 8 0 544066569 2286686208 415638 33554432000 4194304 4627427 140734826336944 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3349.21
Current children cumulated vsize (KiB) 2233092

[startup+455.1 s]
/proc/loadavg: 4.74 7.11 7.26 3/241 7279
/proc/meminfo: memFree=23245692/32950928 swapFree=67111448/67111528
[pid=7259] ppid=7257 vsize=0 CPUtime=3349.94 cores=0-7
/proc/7259/stat : 7259 (strangenight2-m) Z 7257 7259 6848 0 -1 4203548 965851 0 0 0 334623 371 0 0 18 0 2 0 544066569 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7259/statm: 0 0 0 0 0 0 0
[pid=7259/tid=7266] ppid=7257 vsize=0 CPUtime=454.7 cores=0-7
/proc/7259/task/7266/stat : 7266 (strangenight2-m) R 7257 7259 6848 0 -1 4203588 50900 0 0 0 45443 27 0 0 25 0 2 0 544066569 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3349.94
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 455.123
CPU time (s): 3349.97
CPU user time (s): 3346.24
CPU system time (s): 3.73643
CPU usage (%): 736.06
Max. virtual memory (cumulated for all children) (KiB): 2621736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3346.24
system time used= 3.73643
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965851
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= 267686
involuntary context switches= 29371

runsolver used 0.940856 second user time and 2.38364 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-02 10:24:39
IDJOB=3321170
IDBENCH=82496
IDSOLVER=1709
FILE ID=node126/3321170-1304324678
RUNJOBID= node126-1304322187-6862
PBS_JOBID= 13176800
Free space on /tmp= 73704 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321170-1304324678/watcher-3321170-1304324678 -o /tmp/evaluation-result-3321170-1304324678/solver-3321170-1304324678 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321170-1304324678.cnf

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

MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=629064145

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24910332 kB
Buffers:        328892 kB
Cached:        1859976 kB
SwapCached:         76 kB
Active:        5891180 kB
Inactive:      1804904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24910332 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           22944 kB
Writeback:           0 kB
AnonPages:     5507372 kB
Mapped:          20972 kB
Slab:           260892 kB
PageTables:      21544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 27244672 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= 73700 MiB
End job on node126 at 2011-05-02 10:32:14