Trace number 3321168

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 3136.88 411.75

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_fb_unknown.cnf
MD5SUM2385047c56f7801a7fd110b2ffe2f293
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark99.5369
Satisfiable
(Un)Satisfiability was proved
Number of variables35819
Number of clauses773506
Sum of the clauses size2886709
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 255953
Number of clauses of size 395409
Number of clauses of size 4622144
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-3321168-1304324638.cnf'
0.00/0.01	c -- header says num vars:          35819
0.00/0.01	c -- header says num clauses:      773506
2.81/0.63	c -- clauses added:            0 learnts,       773506 normals,            0 xors
2.81/0.63	c -- vars added      35819
2.81/0.63	c Parsing time:  0.25 s
2.81/0.63	c  N st     0         0     35819    717553     55953         0   2886709         0   no data   no data
4.03/0.80	c asymm  cl-useful: 16/955/717553 lits-rem:16 time: 0.13
19.09/3.18	c Flit:   266 Blit:     32 bXBeca:    0 bXProp:  281 Bins:      0 BRemL:      0 BRemN:      0 P: 190.8M T:  1.68
19.84/3.21	c Cleaning up after failed var search:     0.03 s 
19.84/3.25	c Replacing      281 vars Replaced    12210 lits Time:     0.04 s 
23.40/3.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.40/3.89	c bin-w-bin subsume rem         6638 bins  time:  0.02 s
24.09/3.97	c subs with bin:     4680  lits-rem:      2967  v-fix:    0  time:  0.08 s
24.86/4.03	c Subs w/ non-existent bins:   2884 l-rem:   1331 v-fix:     0 done:   6127 time:  0.06 s
25.64/4.15	c Removed useless bin:    9676  fixed:     0  props:  20.00M  time:  0.11 s
39.18/5.80	c lits-rem:       715  cl-subs:    56375  v-elim:   2677  v-fix:    0  time:  1.61 s
39.18/5.85	c Finding binary XORs  T:     0.05 s  found:      44
39.18/5.88	c Replacing       44 vars Replaced     2583 lits Time:     0.03 s 
43.99/6.42	c Finding non-binary XORs:     0.49 s (found:       0, avg size: nan)
43.99/6.42	c calculated reachability. Time: 0.02
43.99/6.45	c Calc default polars -  time:   0.03 s pos:   10659 undec:   14318 neg:   10842
43.99/6.45	c =========================================================================================
43.99/6.45	c types(t): F = full restart, N = normal restart
43.99/6.45	c types(t): S = simplification begin/end, E = solution found
43.99/6.45	c restart types(rt): st = static, dy = dynamic
43.99/6.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.99/6.45	c  B st     0         0     32344    636599     39320         0   2546543         0   no data   no data
52.78/7.60	c  N dy    17      4364     32344    636599     39324      4309   2546543     50858      7.00      7.38
57.57/8.14	c Finding binary XORs  T:     0.04 s  found:       1
62.42/8.79	c  N dy    36      8588     32344    636599     43047      8501   2546542    110463      6.93      7.34
71.21/9.81	c  N dy    54     12596     32344    636599     44491     12476   2546541    159589      6.83      7.20
73.54/10.16	c Finding binary XORs  T:     0.04 s  found:       0
79.14/10.87	c  N dy    73     16678     32344    636599     44498     16524   2546541    212038      6.77      7.15
89.59/12.11	c  N dy    94     20992     32342    636599     44517     10888   2546541    114215      6.79      7.15
98.40/13.26	c  F st   116     25001     32342    636599     44611     14849   2546541    165391      6.82   no data
99.12/13.33	c Replacing        1 vars Replaced      928 lits Time:     0.04 s 
99.92/13.47	c Found part      254 vars:        317 clauses:       931 lits size:      2542
99.92/13.47	c Found part      695 vars:        475 clauses:      1338 lits size:      4008
99.92/13.47	c Found part      793 vars:        297 clauses:       909 lits size:      2586
99.92/13.47	c Found part     1071 vars:       1070 clauses:      8964 lits size:     31687
99.92/13.47	c Found part     1251 vars:        810 clauses:     10185 lits size:     37221
99.92/13.47	c Found part     1567 vars:       4524 clauses:     18640 lits size:     66911
99.92/13.47	c Found part     1716 vars:       1231 clauses:      4551 lits size:     14742
99.92/13.47	c Found part     1746 vars:       4876 clauses:    195294 lits size:    746020
99.92/13.47	c Found part     1828 vars:        948 clauses:      6259 lits size:     21719
99.92/13.47	c Found part     1846 vars:        203 clauses:       502 lits size:      1379
99.92/13.47	c Found part     1848 vars:      15823 clauses:    419108 lits size:   1585185
99.92/13.47	c Found part     1856 vars:        833 clauses:      5179 lits size:     18110
99.92/13.47	c Found part     1857 vars:        305 clauses:       965 lits size:      2986
99.92/13.47	c Found part     1858 vars:        629 clauses:      2871 lits size:     10544
99.92/13.47	c Found parts:         14 time: 0.21 s
99.92/13.47	c Solving part 1846
100.72/13.50	c  N st     0         0       203       227       313         0      1379        76   no data   no data
100.72/13.51	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
100.72/13.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
100.72/13.51	c Finding binary XORs  T:     0.00 s  found:       0
100.72/13.51	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
100.72/13.51	c calculated reachability. Time: 0.00
100.72/13.51	c Calc default polars -  time:   0.00 s pos:      58 undec:   35660 neg:     101
100.72/13.51	c =========================================================================================
100.72/13.51	c types(t): F = full restart, N = normal restart
100.72/13.51	c types(t): S = simplification begin/end, E = solution found
100.72/13.51	c restart types(rt): st = static, dy = dynamic
100.72/13.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
100.72/13.51	c  B st     0         0       203       227       313         0      1343        76   no data   no data
100.72/13.51	c  E st     1         0         0       227       313         0      1343        76   no data   no data
100.72/13.52	c Verified 227 clauses.
100.72/13.52	c Verified 227 clauses.
100.72/13.52	c Solved part
100.72/13.52	c =========================================================================================
100.72/13.52	c Solving part 793
100.72/13.55	c  N st     0         0       297       555       405         0      2586       102   no data   no data
100.72/13.56	c asymm  cl-useful: 52/555/555 lits-rem:53 time: 0.01
100.72/13.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
100.72/13.57	c Finding binary XORs  T:     0.00 s  found:       0
100.72/13.57	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
100.72/13.57	c calculated reachability. Time: 0.00
100.72/13.57	c Calc default polars -  time:   0.00 s pos:     142 undec:   35534 neg:     143
100.72/13.57	c =========================================================================================
100.72/13.57	c types(t): F = full restart, N = normal restart
100.72/13.57	c types(t): S = simplification begin/end, E = solution found
100.72/13.57	c restart types(rt): st = static, dy = dynamic
100.72/13.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
100.72/13.57	c  B st     0         0       297       555       405         0      2533       102   no data   no data
100.72/13.57	c  E st     1         0         0       555       405         0      2533       102   no data   no data
100.72/13.58	c Verified 555 clauses.
100.72/13.58	c Verified 555 clauses.
100.72/13.58	c Solved part
100.72/13.58	c =========================================================================================
100.72/13.58	c Solving part 1857
101.52/13.61	c  N st     0         0       305       600       483         0      2986       236   no data   no data
101.52/13.61	c asymm  cl-useful: 102/600/600 lits-rem:149 time: 0.01
101.52/13.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
101.52/13.62	c Finding binary XORs  T:     0.00 s  found:       0
101.52/13.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.52/13.62	c calculated reachability. Time: 0.00
101.52/13.62	c Calc default polars -  time:   0.00 s pos:     120 undec:   35559 neg:     140
101.52/13.62	c =========================================================================================
101.52/13.62	c types(t): F = full restart, N = normal restart
101.52/13.63	c types(t): S = simplification begin/end, E = solution found
101.52/13.63	c restart types(rt): st = static, dy = dynamic
101.52/13.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.52/13.63	c  B st     0         0       305       597       486         0      2843       236   no data   no data
101.52/13.63	c  E st     1         0         0       597       486         0      2843       236   no data   no data
101.52/13.63	c Verified 597 clauses.
101.52/13.63	c Verified 597 clauses.
101.52/13.63	c Solved part
101.52/13.63	c =========================================================================================
101.52/13.63	c Solving part 254
101.52/13.66	c  N st     0         0       317       499       457         0      2542        50   no data   no data
101.52/13.66	c asymm  cl-useful: 34/499/499 lits-rem:34 time: 0.00
101.52/13.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
101.52/13.67	c Finding binary XORs  T:     0.00 s  found:       0
101.52/13.67	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
101.52/13.67	c calculated reachability. Time: 0.00
101.52/13.67	c Calc default polars -  time:   0.00 s pos:     145 undec:   35571 neg:     103
101.52/13.67	c =========================================================================================
101.52/13.67	c types(t): F = full restart, N = normal restart
101.52/13.67	c types(t): S = simplification begin/end, E = solution found
101.52/13.67	c restart types(rt): st = static, dy = dynamic
101.52/13.67	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
101.52/13.67	c  B st     0         0       317       499       457         0      2508        50   no data   no data
101.52/13.67	c  E st     1         0         0       499       457         0      2508        50   no data   no data
101.52/13.68	c Verified 499 clauses.
101.52/13.68	c Verified 499 clauses.
101.52/13.68	c Solved part
101.52/13.68	c =========================================================================================
101.52/13.68	c Solving part 695
102.32/13.71	c  N st     0         0       475       776       617         0      4008       110   no data   no data
102.32/13.72	c asymm  cl-useful: 37/776/776 lits-rem:37 time: 0.01
102.32/13.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
102.32/13.73	c Finding binary XORs  T:     0.00 s  found:       0
102.32/13.73	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
102.32/13.73	c calculated reachability. Time: 0.00
102.32/13.73	c Calc default polars -  time:   0.00 s pos:     163 undec:   35496 neg:     160
102.32/13.73	c =========================================================================================
102.32/13.73	c types(t): F = full restart, N = normal restart
102.32/13.73	c types(t): S = simplification begin/end, E = solution found
102.32/13.73	c restart types(rt): st = static, dy = dynamic
102.32/13.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
102.32/13.73	c  B st     0         0       475       776       617         0      3971       110   no data   no data
102.32/13.73	c  E st     1         0         0       776       617         0      3971       110   no data   no data
102.32/13.73	c Verified 776 clauses.
102.32/13.73	c Verified 776 clauses.
102.32/13.73	c Solved part
102.32/13.73	c =========================================================================================
102.32/13.73	c Solving part 1858
102.32/13.77	c  N st     0         0       629      2163       726         0     10544        36   no data   no data
102.32/13.79	c asymm  cl-useful: 292/2163/2163 lits-rem:371 time: 0.02
103.11/13.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
103.11/13.81	c Finding binary XORs  T:     0.00 s  found:       0
103.11/13.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
103.11/13.81	c calculated reachability. Time: 0.00
103.11/13.81	c Calc default polars -  time:   0.00 s pos:     165 undec:   35506 neg:     148
103.11/13.81	c =========================================================================================
103.11/13.81	c types(t): F = full restart, N = normal restart
103.11/13.81	c types(t): S = simplification begin/end, E = solution found
103.11/13.81	c restart types(rt): st = static, dy = dynamic
103.11/13.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
103.11/13.81	c  B st     0         0       629      2163       726         0     10173        36   no data   no data
103.11/13.81	c  E st     1         0         0      2163       726         0     10173        36   no data   no data
103.11/13.81	c Verified 2163 clauses.
103.11/13.81	c Verified 2163 clauses.
103.11/13.81	c Solved part
103.11/13.81	c =========================================================================================
103.11/13.81	c Solving part 1251
103.11/13.86	c  N st     0         0       810      9090      1653         0     37221      1116   no data   no data
105.51/14.12	c asymm  cl-useful: 766/4053/9090 lits-rem:799 time: 0.27
105.51/14.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   42 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.05
105.51/14.18	c Finding binary XORs  T:     0.00 s  found:       3
105.51/14.18	c Replacing       45 vars Replaced     3488 lits Time:     0.00 s 
105.51/14.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
105.51/14.18	c calculated reachability. Time: 0.00
105.51/14.18	c Calc default polars -  time:   0.00 s pos:     300 undec:   35247 neg:     272
105.51/14.18	c =========================================================================================
105.51/14.18	c types(t): F = full restart, N = normal restart
105.51/14.18	c types(t): S = simplification begin/end, E = solution found
105.51/14.18	c restart types(rt): st = static, dy = dynamic
105.51/14.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
105.51/14.18	c  B st     0         0       765      8341      1614         0     33463      1114   no data   no data
105.51/14.18	c  E st     1         0         0      8341      1614         0     33463      1114   no data   no data
105.51/14.18	c Verified 8341 clauses.
105.51/14.18	c Verified 8341 clauses.
105.51/14.18	c Solved part
105.51/14.18	c =========================================================================================
105.51/14.19	c Solving part 1856
106.37/14.22	c  N st     0         0       833      4173      1021         0     18110        30   no data   no data
106.37/14.29	c asymm  cl-useful: 51/4173/4173 lits-rem:51 time: 0.07
107.18/14.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
107.18/14.31	c Finding binary XORs  T:     0.00 s  found:       0
107.18/14.31	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
107.18/14.31	c calculated reachability. Time: 0.00
107.18/14.31	c Calc default polars -  time:   0.00 s pos:     279 undec:   35288 neg:     252
107.18/14.31	c =========================================================================================
107.18/14.31	c types(t): F = full restart, N = normal restart
107.18/14.31	c types(t): S = simplification begin/end, E = solution found
107.18/14.31	c restart types(rt): st = static, dy = dynamic
107.18/14.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
107.18/14.31	c  B st     0         0       833      4173      1021         0     18059        30   no data   no data
107.18/14.31	c  E st     1         0         0      4173      1021         0     18059        30   no data   no data
107.18/14.31	c Verified 4173 clauses.
107.18/14.31	c Verified 4173 clauses.
107.18/14.31	c Solved part
107.18/14.31	c =========================================================================================
107.18/14.32	c Solving part 1828
107.18/14.35	c  N st     0         0       948      5035      1275         0     21719       102   no data   no data
107.91/14.45	c asymm  cl-useful: 128/5035/5035 lits-rem:140 time: 0.10
107.91/14.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.03
107.91/14.48	c Finding binary XORs  T:     0.00 s  found:       0
107.91/14.48	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
107.91/14.48	c calculated reachability. Time: 0.00
107.91/14.48	c Calc default polars -  time:   0.00 s pos:     366 undec:   35116 neg:     337
107.91/14.48	c =========================================================================================
107.91/14.48	c types(t): F = full restart, N = normal restart
107.91/14.48	c types(t): S = simplification begin/end, E = solution found
107.91/14.48	c restart types(rt): st = static, dy = dynamic
107.91/14.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
107.91/14.48	c  B st     0         0       948      5030      1280         0     21589       102   no data   no data
107.91/14.48	c  E st     1         0         0      5030      1280         0     21589       102   no data   no data
107.91/14.48	c Verified 5030 clauses.
107.91/14.48	c Verified 5030 clauses.
107.91/14.48	c Solved part
107.91/14.48	c =========================================================================================
107.91/14.48	c Solving part 1071
108.71/14.52	c  N st     0         0      1070      7514      1527         0     31687       154   no data   no data
109.51/14.69	c asymm  cl-useful: 171/7514/7514 lits-rem:171 time: 0.17
110.31/14.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.04
110.31/14.73	c Finding binary XORs  T:     0.00 s  found:       0
110.31/14.73	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
110.31/14.73	c calculated reachability. Time: 0.00
110.31/14.73	c Calc default polars -  time:   0.00 s pos:     426 undec:   34940 neg:     453
110.31/14.73	c =========================================================================================
110.31/14.73	c types(t): F = full restart, N = normal restart
110.31/14.73	c types(t): S = simplification begin/end, E = solution found
110.31/14.73	c restart types(rt): st = static, dy = dynamic
110.31/14.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
110.31/14.73	c  B st     0         0      1070      7514      1527         0     31516       154   no data   no data
110.31/14.73	c  E st     1         1         0      7514      1527         1     31516       159   no data   no data
110.31/14.74	c Verified 7514 clauses.
110.31/14.74	c Verified 7514 clauses.
110.31/14.74	c Solved part
110.31/14.74	c =========================================================================================
110.31/14.74	c Solving part 1716
110.31/14.78	c  N st     0         0      1231      3049      1531         0     14742        58   no data   no data
111.10/14.83	c asymm  cl-useful: 233/3049/3049 lits-rem:267 time: 0.05
111.10/14.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.03
111.10/14.86	c Finding binary XORs  T:     0.00 s  found:       0
111.10/14.86	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
111.10/14.86	c calculated reachability. Time: 0.00
111.10/14.86	c Calc default polars -  time:   0.00 s pos:     386 undec:   35009 neg:     424
111.10/14.86	c =========================================================================================
111.10/14.86	c types(t): F = full restart, N = normal restart
111.10/14.86	c types(t): S = simplification begin/end, E = solution found
111.10/14.86	c restart types(rt): st = static, dy = dynamic
111.10/14.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
111.10/14.86	c  B st     0         0      1231      3048      1532         0     14477        58   no data   no data
111.10/14.86	c  E st     1         0         0      3048      1532         0     14477        58   no data   no data
111.10/14.86	c Verified 3048 clauses.
111.10/14.86	c Verified 3048 clauses.
111.10/14.86	c Solved part
111.10/14.86	c =========================================================================================
111.10/14.86	c Solving part 1567
111.91/14.90	c  N st     0         0      4524     13809      5022         0     66911       382   no data   no data
113.51/15.15	c asymm  cl-useful: 1257/13809/13809 lits-rem:1956 time: 0.24
114.30/15.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.09
114.30/15.25	c Finding binary XORs  T:     0.01 s  found:       0
114.30/15.25	c Replacing        2 vars Replaced       46 lits Time:     0.00 s 
114.30/15.25	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
114.30/15.25	c calculated reachability. Time: 0.00
114.30/15.25	c Calc default polars -  time:   0.00 s pos:    1148 undec:   33541 neg:    1130
114.30/15.25	c =========================================================================================
114.30/15.25	c types(t): F = full restart, N = normal restart
114.30/15.25	c types(t): S = simplification begin/end, E = solution found
114.30/15.25	c restart types(rt): st = static, dy = dynamic
114.30/15.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
114.30/15.25	c  B st     0         0      4522     13807      5021         0     64948       382   no data   no data
114.30/15.25	c  E st     1         0         0     13807      5021         0     64948       382   no data   no data
114.30/15.26	c Verified 13807 clauses.
114.30/15.26	c Verified 13807 clauses.
114.30/15.26	c Solved part
114.30/15.26	c =========================================================================================
114.30/15.26	c Solving part 1746
115.97/15.42	c  N st     0         0      4876    189138      7355     14372    746020    151899   no data   no data
115.97/15.48	c asymm  cl-useful: 5/357/189138 lits-rem:5 time: 0.06
119.89/15.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 80.1M T:  0.51
120.69/16.00	c Finding binary XORs  T:     0.01 s  found:       0
121.49/16.10	c Finding non-binary XORs:     0.09 s (found:       0, avg size: nan)
121.49/16.10	c calculated reachability. Time: 0.00
121.49/16.10	c Calc default polars -  time:   0.01 s pos:    1571 undec:   32704 neg:    1544
121.49/16.10	c =========================================================================================
121.49/16.10	c types(t): F = full restart, N = normal restart
121.49/16.10	c types(t): S = simplification begin/end, E = solution found
121.49/16.10	c restart types(rt): st = static, dy = dynamic
121.49/16.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
121.49/16.10	c  B st     0         0      4876    189138      7355     14372    746015    151899   no data   no data
130.28/17.24	c  N dy    11      4124      4876    189138      7363     18439    746015    204691      7.18      7.60
139.88/18.48	c  N dy    28      8469      4875    189138      7374     22742    746015    258543      6.74      7.11
149.46/19.70	c  N dy    45     12592      4874    189138      7386     26822    746015    309386      6.65      7.14
162.25/21.27	c  N dy    65     17190      4873    189138      7401     31367    746013    364724      6.61      6.96
173.44/22.60	c  N dy    90     21588      4873    189138      7407     18656    746013    171721      6.69      7.07
181.43/23.66	c  F st   107     25000      4873    189138      7410     22031    746013    213281      6.68      5.81
183.03/23.88	c  N st   109     25627      4873    189138      7412     22649    746013    220684      6.68   no data
193.42/25.15	c  N dy   113     30196      4872    189138      7416     27185    746013    285248      6.68   no data
204.61/26.53	c  N dy   137     34411      4872    189138      7425     31350    746013    338727      6.73      7.10
215.00/27.87	c  N dy   162     38435      4872    189138      7428     35331    746013    391105      6.78      7.70
225.39/29.13	c  N dy   188     42494      4872    189138      7432     20427    746013    161598      6.84      7.24
226.99/29.38	c Finding binary XORs  T:     0.01 s  found:       0
236.58/30.50	c  N dy   210     47006      4872    188504      7291     21718    743474    197039      6.85      7.27
246.17/31.79	c  N dy   226     51177      4871    188504      7304     25839    743474    251124      6.84      7.22
256.62/33.04	c  N dy   241     55290      4870    188504      7321     29911    743473    306497      6.84      7.34
266.95/34.30	c  N dy   263     59330      4869    188504      7325     33920    743473    362796      6.86      7.74
276.54/35.58	c  N dy   281     63450      4869    188504      7328     19232    743473    145985      6.86      7.32
286.92/36.85	c  N dy   303     67603      4868    188504      7339     23337    743471    201620      6.87      7.23
298.11/38.20	c  N dy   324     71993      4867    188504      7349     27682    743471    259676      6.86      7.23
310.10/39.78	c  N dy   348     76729      4867    188504      7351     32373    743471    322731      6.87      7.24
322.89/41.32	c  N dy   374     81644      4867    188504      7352     37260    743471    389580      6.88      7.44
335.74/42.99	c  N dy   408     86977      4867    188504      7363     21757    743471    152884      6.93      7.31
337.27/43.18	c  F st   413     87501      4867    188504      7364     22274    743471    159738      6.94   no data
339.67/43.41	c Finding binary XORs  T:     0.01 s  found:       0
348.46/44.57	c  N dy   419     92694      4867    187491      7220     22894    739465    212139      6.94   no data
365.24/46.63	c  N dy   458     98647      4866    187491      7225     28793    739465    291145      6.98      7.38
382.82/48.83	c  N dy   484    105059      4865    187491      7246     35130    739465    378431      6.98      7.37
401.21/51.15	c  N dy   532    111810      4864    187491      7258     21807    739465    155458      7.03      7.45
421.19/53.61	c  N dy   575    119340      4863    187491      7264     29281    739465    262617      7.04      7.59
440.43/56.07	c  N dy   625    127058      4863    187491      7268     36956    739465    375125      7.08      7.46
463.54/58.92	c  N dy   673    135228      4863    187491      7276     22648    739464    145222      7.11      9.20
486.72/61.88	c  N dy   734    143865      4863    187491      7279     31239    739464    272505      7.15      8.07
512.29/65.02	c  N dy   782    153068      4863    187491      7286     40353    739462    399554      7.16      7.99
535.48/67.99	c Finding binary XORs  T:     0.01 s  found:       0
538.67/68.37	c  N dy   840    162866      4863    186908      7236     23859    737208    164030      7.18      7.65
565.05/71.68	c  N dy   903    173264      4861    186908      7255     34174    737208    311845      7.21      7.60
596.21/75.55	c  N dy   966    184395      4860    186908      7264     45237    737208    475367      7.23      7.61
630.56/79.80	c  N dy  1045    196269      4860    186908      7270     32630    737208    272303      7.27      7.73
665.65/84.21	c  N dy  1111    208825      4859    186908      7281     45090    737207    449866      7.28      7.67
703.99/89.03	c  N dy  1169    222176      4858    186908      7290     32235    737207    251488      7.28      7.67
745.44/94.25	c  N dy  1247    236595      4857    186908      7304     46557    737207    463392      7.30      7.72
788.60/99.62	c  N dy  1341    251694      4857    186908      7308     34123    737207    263068      7.33      8.38
806.17/101.80	c Finding binary XORs  T:     0.01 s  found:       3
833.34/105.25	c  N dy  1429    267774      4856    185940      7236     47837    733451    488283      7.36      9.43
885.30/111.75	c  N dy  1541    284969      4855    185940      7243     37427    733451    312427      7.39      7.85
939.64/118.58	c  N dy  1670    303193      4855    185940      7260     55524    733451    592731      7.43      8.94
948.43/119.61	c  F st  1696    306250      4855    185940      7260     29409    733451    170366      7.45   no data
994.04/125.39	c  N dy  1775    322612      4854    185940      7272     45678    733451    420102      7.46      8.19
1058.71/133.40	c  N dy  1877    343335      4851    185940      7294     35790    733451    249639      7.47      8.05
1117.10/140.80	c  N dy  2009    363403      4851    185940      7299     55756    733451    564361      7.51      8.28
1156.07/145.63	c Finding binary XORs  T:     0.01 s  found:       3
1177.52/148.36	c  N dy  2130    383452      4851    184911      7206     42491    729374    361907      7.54      8.57
1239.68/156.15	c  N dy  2255    403483      4851    184911      7220     62402    729374    676135      7.57      8.07
1301.22/163.87	c  N dy  2356    423633      4849    184911      7233     50485    729374    471965      7.57      8.05
1364.30/171.74	c  N dy  2464    443701      4849    184911      7238     37068    729374    242127      7.59      7.99
1426.64/179.57	c  N dy  2574    463759      4849    184911      7241     57030    729373    561645      7.60      8.13
1496.17/188.26	c  N dy  2683    484042      4848    184911      7253     42617    729372    316834      7.61      8.02
1562.50/196.57	c  N dy  2791    504151      4847    184911      7263     62613    729372    633355      7.62      8.05
1625.64/204.45	c  N dy  2916    524186      4847    184911      7272     46837    729372    374221      7.64      8.05
1691.18/212.70	c  N dy  3034    544573      4847    184911      7277     67102    729372    701589      7.66      8.30
1732.81/217.81	c Finding binary XORs  T:     0.01 s  found:       7
1755.12/220.64	c  N dy  3135    564623      4847    184158      7209     49690    726346    411514      7.67      8.08
1823.85/229.26	c  N dy  3245    584805      4847    184158      7210     69779    726346    744126      7.68      8.31
1894.18/238.02	c  N dy  3352    605084      4847    184158      7218     52484    726346    449109      7.69      8.27
1962.11/246.59	c  N dy  3470    625183      4847    184158      7227     72470    726346    768253      7.70      8.83
2026.06/254.57	c  N dy  3576    645344      4845    184158      7248     54291    726345    459707      7.70      8.14
2090.79/262.68	c  N dy  3672    665377      4845    184158      7255     74231    726345    792536      7.70      8.44
2158.72/271.12	c  N dy  3776    685507      4845    184158      7268     55244    726345    455102      7.70      8.34
2226.66/279.68	c  N dy  3894    705517      4839    184158      7280     75143    726345    792219      7.71      8.16
2237.85/281.09	c Finding binary XORs  T:     0.01 s  found:      17
2292.99/287.99	c  N dy  3987    725547      4837    181892      7198     54323    717033    440673      7.71      8.78
2360.13/296.33	c  N dy  4110    745564      4833    181892      7212     74217    717031    779113      7.72      8.26
2425.66/304.51	c  N dy  4219    765734      4829    181892      7226     53568    717031    400917      7.73      8.14
2492.80/312.97	c  N dy  4328    786146      4813    181892      7236     73859    717030    752133      7.73      8.15
2549.60/320.07	c Finding binary XORs  T:     0.01 s  found:      10
2559.92/321.32	c  N dy  4426    806214      4805    176198      7137     48617    693953    329784      7.73      8.26
2623.87/329.39	c  N dy  4501    826313      4793    176198      7161     68576    693953    664006      7.73      8.16
2691.80/337.87	c  N dy  4591    846326      4782    176198      7182     47192    693952    273376      7.72      8.27
2754.14/345.60	c  N dy  4659    866427      4773    176198      7203     67166    693952    623988      7.72      8.13
2772.51/347.96	c Finding binary XORs  T:     0.01 s  found:      44
2773.31/348.02	c Replacing       84 vars Replaced    76812 lits Time:     0.07 s 
2798.10/351.18	c Finding binary XORs  T:     0.01 s  found:      42
2819.67/353.84	c Finding binary XORs  T:     0.01 s  found:     282
2819.67/353.88	c Replacing      324 vars Replaced   126621 lits Time:     0.04 s 
2820.47/353.92	c  E dy  4724    887479      4113     79297      6029     18236    312968    124785      7.70      4.43
3136.67/411.64	c Following stats are for *FIRST FINISHED THREAD ONLY*
3136.67/411.64	c num threads              : 8          
3136.67/411.64	c restarts                 : 116        
3136.67/411.64	c dynamic restarts         : 110        
3136.67/411.64	c static restarts          : 6          
3136.67/411.64	c full restarts            : 0          
3136.67/411.64	c total simplify time      : 0.10       
3136.67/411.64	c learnts DL2              : 0          
3136.67/411.64	c learnts size 2           : 68266      
3136.67/411.64	c learnts size 1           : 475         (1.33      % of vars)
3136.67/411.64	c filedLit time            : 1.72        (0.42      % time)
3136.67/411.64	c v-elim SatELite          : 2677        (7.47      % vars)
3136.67/411.64	c SatELite time            : 1.36        (0.33      % time)
3136.67/411.64	c v-elim xor               : 0           (0.00      % vars)
3136.67/411.64	c xor elim time            : 0.00        (0.00      % time)
3136.67/411.64	c num binary xor trees     : 22         
3136.67/411.64	c binxor trees' crown      : 326         (14.82     leafs/tree)
3136.67/411.64	c bin xor find time        : 0.14       
3136.67/411.64	c OTF clause improved      : 211         (0.01      clauses/conflict)
3136.67/411.64	c OTF impr. size diff      : 286         (1.36       lits/clause)
3136.67/411.64	c OTF cl watch-shrink      : 16509       (0.66      clauses/conflict)
3136.67/411.64	c OTF cl watch-sh-lit      : 39823       (2.41       lits/clause)
3136.67/411.64	c tried to recurMin cls    : 4802        (19.21      % of conflicts)
3136.67/411.64	c updated cache            : 0           (0.00       lits/tried recurMin)
3136.67/411.64	c unit cls recevied        : 2           (0.42      % of units)
3136.67/411.64	c unit cls sent            : 0           (0.00      % of units)
3136.67/411.64	c bin cls recevied         : 5990       
3136.67/411.64	c bin cls sent             : 79         
3136.67/411.64	c clauses over max glue    : 0           (0.00      % of all clauses)
3136.67/411.64	c conflicts                : 25001       (60.98     / sec)
3136.67/411.64	c decisions                : 30771       (0.00      % random)
3136.67/411.64	c bogo-props               : 1367597944  (3335859.61 / sec)
3136.67/411.64	c conflict literals        : 310060      (55.17     % deleted)
3136.67/411.64	c Memory used              : 2271.62     MB
3136.67/411.64	c single-thread CPU time   : 409.97      s
3136.67/411.64	c all-threads sum CPU time : 3132.84     s
3136.67/411.64	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-3321168-1304324638/watcher-3321168-1304324638 -o /tmp/evaluation-result-3321168-1304324638/solver-3321168-1304324638 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321168-1304324638.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.01 8.02 7.41 1/247 23876
/proc/meminfo: memFree=30512260/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=92188 CPUtime=0.01 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 8 0 524879355 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172625330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 23047 352 299 106 0 18018 0
[pid=23876/tid=23877] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 524879355 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172625330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524879355 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524879355 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 228107248694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524879355 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 228107248694 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524879355 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172625330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524879356 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172625334 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=92188 CPUtime=0 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 524879356 94400512 352 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172625334 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.094862 s]
/proc/loadavg: 8.01 8.02 7.41 1/247 23876
/proc/meminfo: memFree=30512260/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=671904 CPUtime=0.34 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) S 23874 23876 23602 0 -1 4202496 35778 0 0 0 23 11 0 0 17 0 8 0 524879355 688029696 28548 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 167976 28632 339 106 0 162947 0
[pid=23876/tid=23877] ppid=23874 vsize=671904 CPUtime=0.02 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) D 23874 23876 23602 0 -1 4202560 4388 0 0 0 2 0 0 0 18 0 8 0 524879355 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=671904 CPUtime=0.04 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 4408 0 0 0 3 1 0 0 18 0 8 0 524879355 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=671904 CPUtime=0.05 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 4476 0 0 0 3 2 0 0 18 0 8 0 524879355 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=671904 CPUtime=0.02 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 3728 0 0 0 2 0 0 0 18 0 8 0 524879355 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=671904 CPUtime=0.03 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) D 23874 23876 23602 0 -1 4202560 4538 0 0 0 2 1 0 0 17 0 8 0 524879355 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=671904 CPUtime=0.05 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) D 23874 23876 23602 0 -1 4202560 4754 0 0 0 4 1 0 0 17 0 8 0 524879356 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=671904 CPUtime=0.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) D 23874 23876 23602 0 -1 4202560 4495 0 0 0 2 1 0 0 17 0 8 0 524879356 688029696 28632 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 671904

[startup+0.101532 s]
/proc/loadavg: 8.01 8.02 7.41 1/247 23876
/proc/meminfo: memFree=30512260/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=680108 CPUtime=0.38 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 36663 0 0 0 26 12 0 0 17 0 8 0 524879355 696430592 29433 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 170027 29450 339 106 0 164998 0
[pid=23876/tid=23877] ppid=23874 vsize=680108 CPUtime=0.02 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 4408 0 0 0 2 0 0 0 18 0 8 0 524879355 696430592 29492 33554432000 4194304 4627427 140736048061216 18446744073709551615 4360930 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=680108 CPUtime=0.04 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 4529 0 0 0 3 1 0 0 17 0 8 0 524879355 696430592 29535 33554432000 4194304 4627427 140736048061216 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=680108 CPUtime=0.05 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 4602 0 0 0 3 2 0 0 17 0 8 0 524879355 696430592 29567 33554432000 4194304 4627427 140736048061216 18446744073709551615 4302421 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=680108 CPUtime=0.03 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) D 23874 23876 23602 0 -1 4202560 3909 0 0 0 3 0 0 0 17 0 8 0 524879355 696430592 29578 33554432000 4194304 4627427 140736048061216 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=680108 CPUtime=0.03 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) D 23874 23876 23602 0 -1 4202560 4650 0 0 0 2 1 0 0 17 0 8 0 524879355 696430592 29613 33554432000 4194304 4627427 140736048061216 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=680108 CPUtime=0.05 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 4941 0 0 0 4 1 0 0 17 0 8 0 524879356 696430592 29626 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=680108 CPUtime=0.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 4640 0 0 0 2 1 0 0 17 0 8 0 524879356 696430592 29633 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 680108

[startup+0.302839 s]
/proc/loadavg: 8.01 8.02 7.41 1/247 23876
/proc/meminfo: memFree=30512260/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=745756 CPUtime=1.34 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 65676 0 0 0 96 38 0 0 16 0 8 0 524879355 763654144 57622 33554432000 4194304 4627427 140736048061216 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 186439 57623 339 106 0 181410 0
[pid=23876/tid=23877] ppid=23874 vsize=745756 CPUtime=0.11 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 6880 0 0 0 8 3 0 0 17 0 8 0 524879355 763654144 57623 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=745756 CPUtime=0.2 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 8536 0 0 0 15 5 0 0 18 0 8 0 524879355 763654144 57625 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 3 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=745756 CPUtime=0.2 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 8280 0 0 0 14 6 0 0 18 0 8 0 524879355 763654144 57625 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=745756 CPUtime=0.09 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 6818 0 0 0 7 2 0 0 17 0 8 0 524879355 763654144 57626 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095119727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=745756 CPUtime=0.14 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 8815 0 0 0 10 4 0 0 16 0 8 0 524879355 763654144 57626 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=745756 CPUtime=0.2 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 8800 0 0 0 15 5 0 0 16 0 8 0 524879356 763654144 57627 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=745756 CPUtime=0.18 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 8493 0 0 0 13 5 0 0 17 0 8 0 524879356 763654144 57629 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 18446604443214919680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 745756

[startup+0.700351 s]
/proc/loadavg: 8.01 8.02 7.41 1/247 23876
/proc/meminfo: memFree=30512260/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=1022996 CPUtime=3.43 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 115626 0 0 0 266 77 0 0 16 0 8 0 524879355 1047547904 107572 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23876/statm: 255749 107575 364 106 0 250720 0
[pid=23876/tid=23877] ppid=23874 vsize=1022996 CPUtime=0.32 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 14509 0 0 0 24 8 0 0 16 0 8 0 524879355 1047547904 107575 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=1022996 CPUtime=0.53 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 14909 0 0 0 42 11 0 0 18 0 8 0 524879355 1047547904 107576 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=1022996 CPUtime=0.52 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 14438 0 0 0 41 11 0 0 18 0 8 0 524879355 1047547904 107577 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=1022996 CPUtime=0.21 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 10814 0 0 0 16 5 0 0 16 0 8 0 524879355 1047547904 107577 33554432000 4194304 4627427 140736048061216 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=1022996 CPUtime=0.38 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 15152 0 0 0 29 9 0 0 16 0 8 0 524879355 1047547904 107578 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=1022996 CPUtime=0.49 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 14948 0 0 0 39 10 0 0 16 0 8 0 524879356 1047547904 107578 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=1022996 CPUtime=0.5 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 15422 0 0 0 40 10 0 0 18 0 8 0 524879356 1047547904 107578 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 1022996

[startup+1.50123 s]
/proc/loadavg: 8.01 8.02 7.41 8/255 23884
/proc/meminfo: memFree=30025924/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=1043660 CPUtime=8.3 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 149200 0 0 0 711 119 0 0 16 0 8 0 524879355 1068707840 141146 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 260915 141149 366 106 0 255886 0
[pid=23876/tid=23877] ppid=23874 vsize=1043660 CPUtime=0.87 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 18698 0 0 0 74 13 0 0 16 0 8 0 524879355 1068707840 141150 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=1043660 CPUtime=1.25 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 19445 0 0 0 111 14 0 0 18 0 8 0 524879355 1068707840 141151 33554432000 4194304 4627427 140736048061216 18446744073709551615 4237884 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=1043660 CPUtime=1.24 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 19133 0 0 0 109 15 0 0 18 0 8 0 524879355 1068707840 141151 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=1043660 CPUtime=0.63 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 18034 0 0 0 52 11 0 0 16 0 8 0 524879355 1068707840 141154 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=1043660 CPUtime=0.94 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 19343 0 0 0 76 18 0 0 16 0 8 0 524879355 1068707840 141154 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=1043660 CPUtime=1.03 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 18819 0 0 0 86 17 0 0 16 0 8 0 524879356 1068707840 141155 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=1043660 CPUtime=1.28 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 16221 0 0 0 117 11 0 0 18 0 8 0 524879356 1068707840 141157 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 1043660

[startup+3.10091 s]
/proc/loadavg: 8.01 8.02 7.41 9/255 23884
/proc/meminfo: memFree=29849472/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=1247732 CPUtime=19.09 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 205508 0 0 0 1737 172 0 0 16 0 8 0 524879355 1277677568 197454 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 311933 197461 373 106 0 306904 0
[pid=23876/tid=23877] ppid=23874 vsize=1247732 CPUtime=2.05 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 24157 0 0 0 184 21 0 0 16 0 8 0 524879355 1277677568 197465 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=1247732 CPUtime=2.73 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 34108 0 0 0 253 20 0 0 18 0 8 0 524879355 1277677568 197469 33554432000 4194304 4627427 140736048061216 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=1247732 CPUtime=2.72 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 32560 0 0 0 249 23 0 0 18 0 8 0 524879355 1277677568 197473 33554432000 4194304 4627427 140736048061216 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=1247732 CPUtime=1.85 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 25004 0 0 0 166 19 0 0 16 0 8 0 524879355 1277677568 197478 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=1247732 CPUtime=2.26 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 24028 0 0 0 200 26 0 0 17 0 8 0 524879355 1277677568 197482 33554432000 4194304 4627427 140736048061216 18446744073709551615 4449576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=1247732 CPUtime=2.33 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 24010 0 0 0 208 25 0 0 17 0 8 0 524879356 1277677568 197486 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=1247732 CPUtime=2.85 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 17125 0 0 0 274 11 0 0 18 0 8 0 524879356 1277677568 197490 33554432000 4194304 4627427 140736048061216 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 1247732

[startup+6.30033 s]
/proc/loadavg: 8.01 8.02 7.42 9/255 23884
/proc/meminfo: memFree=28983828/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=1944480 CPUtime=43.18 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 450058 0 0 0 4056 262 0 0 21 0 8 0 524879355 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4376990 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 486120 344384 385 106 0 481091 0
[pid=23876/tid=23877] ppid=23874 vsize=1944480 CPUtime=5.06 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 66185 0 0 0 470 36 0 0 21 0 8 0 524879355 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4377207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=1944480 CPUtime=5.75 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 60957 0 0 0 544 31 0 0 22 0 8 0 524879355 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=1944480 CPUtime=5.7 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 60937 0 0 0 537 33 0 0 19 0 8 0 524879355 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=1944480 CPUtime=4.93 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 60971 0 0 0 462 31 0 0 21 0 8 0 524879355 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4303006 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=1944480 CPUtime=5.21 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 60046 0 0 0 479 42 0 0 21 0 8 0 524879355 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=1944480 CPUtime=5.27 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 63739 0 0 0 488 39 0 0 21 0 8 0 524879356 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4372873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=1944480 CPUtime=6.01 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 17306 0 0 0 590 11 0 0 21 0 8 0 524879356 1991147520 344384 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0

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

[pid=23876] ppid=23874 vsize=2717832 CPUtime=2727.76 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 902453 0 0 0 272393 383 0 0 25 0 8 0 524879355 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 679458 478898 388 106 0 674429 0
[pid=23876/tid=23877] ppid=23874 vsize=2717832 CPUtime=341.07 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 129640 0 0 0 34055 52 0 0 25 0 8 0 524879355 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2717832 CPUtime=341.75 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 129612 0 0 0 34126 49 0 0 25 0 8 0 524879355 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2717832 CPUtime=339.03 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 101290 0 0 0 33860 43 0 0 25 0 8 0 524879355 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2717832 CPUtime=340.94 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 124132 0 0 0 34046 48 0 0 25 0 8 0 524879355 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2717832 CPUtime=340.48 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 118489 0 0 0 33990 58 0 0 25 0 8 0 524879355 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2717832 CPUtime=341.28 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 87657 0 0 0 34082 46 0 0 25 0 8 0 524879356 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2717832 CPUtime=342.02 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 88605 0 0 0 34169 33 0 0 25 0 8 0 524879356 2783059968 478898 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2727.76
Current children cumulated vsize (KiB) 2717832

[startup+402.301 s]
/proc/loadavg: 6.69 7.83 7.59 4/255 23898
/proc/meminfo: memFree=28703140/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=2457204 CPUtime=3116.04 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 927227 0 0 0 311211 393 0 0 25 0 8 0 524879355 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172600516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 614301 443546 388 106 0 609272 0
[pid=23876/tid=23877] ppid=23874 vsize=2457204 CPUtime=384.53 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 132239 0 0 0 38400 53 0 0 25 0 8 0 524879355 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2457204 CPUtime=374.35 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 131859 0 0 0 37385 50 0 0 25 0 8 0 524879355 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2457204 CPUtime=398.77 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 104022 0 0 0 39834 43 0 0 25 0 8 0 524879355 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2457204 CPUtime=400.94 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 130919 0 0 0 40044 50 0 0 25 0 8 0 524879355 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2457204 CPUtime=380.1 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 121084 0 0 0 37951 59 0 0 25 0 8 0 524879355 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2457204 CPUtime=383.11 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 87670 0 0 0 38265 46 0 0 25 0 8 0 524879356 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2457204 CPUtime=393.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 96406 0 0 0 39267 36 0 0 25 0 8 0 524879356 2516176896 443546 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3116.04
Current children cumulated vsize (KiB) 2457204

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

[startup+403.101 s]
/proc/loadavg: 6.69 7.83 7.59 4/255 23898
/proc/meminfo: memFree=28702644/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=2457204 CPUtime=3118.43 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 928776 0 0 0 311450 393 0 0 25 0 8 0 524879355 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172600363 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23876/statm: 614301 445095 388 106 0 609272 0
[pid=23876/tid=23877] ppid=23874 vsize=2457204 CPUtime=384.53 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 132239 0 0 0 38400 53 0 0 25 0 8 0 524879355 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2457204 CPUtime=374.35 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 131859 0 0 0 37385 50 0 0 25 0 8 0 524879355 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2457204 CPUtime=399.57 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 105529 0 0 0 39914 43 0 0 25 0 8 0 524879355 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2457204 CPUtime=401.74 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 130961 0 0 0 40124 50 0 0 25 0 8 0 524879355 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2457204 CPUtime=380.1 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 121084 0 0 0 37951 59 0 0 25 0 8 0 524879355 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2457204 CPUtime=383.11 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 87670 0 0 0 38265 46 0 0 25 0 8 0 524879356 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2457204 CPUtime=393.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 96406 0 0 0 39267 36 0 0 25 0 8 0 524879356 2516176896 445095 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3118.43
Current children cumulated vsize (KiB) 2457204

[startup+406.301 s]
/proc/loadavg: 6.32 7.73 7.56 3/255 23898
/proc/meminfo: memFree=28714752/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=2391668 CPUtime=3126.07 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 929040 0 0 0 312214 393 0 0 25 0 8 0 524879355 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172600516 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23876/statm: 597917 440300 388 106 0 592888 0
[pid=23876/tid=23877] ppid=23874 vsize=2391668 CPUtime=384.53 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 132239 0 0 0 38400 53 0 0 25 0 8 0 524879355 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2391668 CPUtime=374.35 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 131859 0 0 0 37385 50 0 0 25 0 8 0 524879355 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2391668 CPUtime=400.81 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 105597 0 0 0 40038 43 0 0 25 0 8 0 524879355 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2391668 CPUtime=404.94 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 131157 0 0 0 40444 50 0 0 25 0 8 0 524879355 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2391668 CPUtime=380.1 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 121084 0 0 0 37951 59 0 0 25 0 8 0 524879355 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2391668 CPUtime=383.11 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 87670 0 0 0 38265 46 0 0 25 0 8 0 524879356 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2391668 CPUtime=393.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 96406 0 0 0 39267 36 0 0 25 0 8 0 524879356 2449068032 440300 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3126.07
Current children cumulated vsize (KiB) 2391668

[startup+409.5 s]
/proc/loadavg: 6.32 7.73 7.56 3/255 23898
/proc/meminfo: memFree=28714004/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=2391668 CPUtime=3132.47 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 929228 0 0 0 312854 393 0 0 25 0 8 0 524879355 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172600516 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23876/statm: 597917 440488 388 106 0 592888 0
[pid=23876/tid=23877] ppid=23874 vsize=2391668 CPUtime=384.53 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 132239 0 0 0 38400 53 0 0 25 0 8 0 524879355 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2391668 CPUtime=374.35 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 131859 0 0 0 37385 50 0 0 25 0 8 0 524879355 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2391668 CPUtime=400.81 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 105597 0 0 0 40038 43 0 0 25 0 8 0 524879355 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2391668 CPUtime=408.14 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 131345 0 0 0 40764 50 0 0 25 0 8 0 524879355 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 4321535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2391668 CPUtime=380.1 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 121084 0 0 0 37951 59 0 0 25 0 8 0 524879355 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2391668 CPUtime=383.11 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 87670 0 0 0 38265 46 0 0 25 0 8 0 524879356 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2391668 CPUtime=393.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 96406 0 0 0 39267 36 0 0 25 0 8 0 524879356 2449068032 440488 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3132.47
Current children cumulated vsize (KiB) 2391668

[startup+411.101 s]
/proc/loadavg: 6.32 7.73 7.56 3/255 23898
/proc/meminfo: memFree=28713756/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=2391668 CPUtime=3135.67 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 929330 0 0 0 313174 393 0 0 25 0 8 0 524879355 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172600363 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23876/statm: 597917 440590 388 106 0 592888 0
[pid=23876/tid=23877] ppid=23874 vsize=2391668 CPUtime=384.53 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 132239 0 0 0 38400 53 0 0 25 0 8 0 524879355 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2391668 CPUtime=374.35 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 131859 0 0 0 37385 50 0 0 25 0 8 0 524879355 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2391668 CPUtime=400.81 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 105597 0 0 0 40038 43 0 0 25 0 8 0 524879355 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2391668 CPUtime=409.74 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 131447 0 0 0 40924 50 0 0 25 0 8 0 524879355 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2391668 CPUtime=380.1 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 121084 0 0 0 37951 59 0 0 25 0 8 0 524879355 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2391668 CPUtime=383.11 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 87670 0 0 0 38265 46 0 0 25 0 8 0 524879356 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2391668 CPUtime=393.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 96406 0 0 0 39267 36 0 0 25 0 8 0 524879356 2449068032 440590 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3135.67
Current children cumulated vsize (KiB) 2391668

[startup+411.501 s]
/proc/loadavg: 5.97 7.63 7.52 3/255 23898
/proc/meminfo: memFree=28713508/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=2391668 CPUtime=3136.47 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) R 23874 23876 23602 0 -1 4202496 929358 0 0 0 313254 393 0 0 25 0 8 0 524879355 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172600363 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23876/statm: 597917 440618 388 106 0 592888 0
[pid=23876/tid=23877] ppid=23874 vsize=2391668 CPUtime=384.53 cores=0-7
/proc/23876/task/23877/stat : 23877 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 132239 0 0 0 38400 53 0 0 25 0 8 0 524879355 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23878] ppid=23874 vsize=2391668 CPUtime=374.35 cores=0-7
/proc/23876/task/23878/stat : 23878 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 131859 0 0 0 37385 50 0 0 25 0 8 0 524879355 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 1 0 0 0
[pid=23876/tid=23879] ppid=23874 vsize=2391668 CPUtime=400.81 cores=0-7
/proc/23876/task/23879/stat : 23879 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 105597 0 0 0 40038 43 0 0 25 0 8 0 524879355 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 0 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=2391668 CPUtime=410.14 cores=0-7
/proc/23876/task/23880/stat : 23880 (strangenight2-m) R 23874 23876 23602 0 -1 4202560 131475 0 0 0 40964 50 0 0 25 0 8 0 524879355 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=2391668 CPUtime=380.1 cores=0-7
/proc/23876/task/23881/stat : 23881 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 121084 0 0 0 37951 59 0 0 25 0 8 0 524879355 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 2 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=2391668 CPUtime=383.11 cores=0-7
/proc/23876/task/23882/stat : 23882 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 87670 0 0 0 38265 46 0 0 25 0 8 0 524879356 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 6 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=2391668 CPUtime=393.03 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) S 23874 23876 23602 0 -1 4202560 96406 0 0 0 39267 36 0 0 25 0 8 0 524879356 2449068032 440618 33554432000 4194304 4627427 140736048061216 18446744073709551615 47105172624948 0 0 4096 2 18446604443214919680 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3136.47
Current children cumulated vsize (KiB) 2391668

[startup+411.701 s]
/proc/loadavg: 5.97 7.63 7.52 3/255 23898
/proc/meminfo: memFree=28713508/32951124 swapFree=67091720/67111528
[pid=23876] ppid=23874 vsize=0 CPUtime=3136.82 cores=0-7
/proc/23876/stat : 23876 (strangenight2-m) Z 23874 23876 23602 0 -1 4202524 929369 0 0 0 313284 398 0 0 18 0 2 0 524879355 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23876/statm: 0 0 0 0 0 0 0
[pid=23876/tid=23883] ppid=23874 vsize=0 CPUtime=393.08 cores=0-7
/proc/23876/task/23883/stat : 23883 (strangenight2-m) R 23874 23876 23602 0 -1 4203588 96406 0 0 0 39267 41 0 0 18 0 2 0 524879356 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) 3136.82
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 411.75
CPU time (s): 3136.88
CPU user time (s): 3132.84
CPU system time (s): 4.03639
CPU usage (%): 761.842
Max. virtual memory (cumulated for all children) (KiB): 2734472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3132.84
system time used= 4.03639
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929369
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= 236384
involuntary context switches= 21104

runsolver used 0.935857 second user time and 2.34164 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-02 10:23:59
IDJOB=3321168
IDBENCH=82494
IDSOLVER=1709
FILE ID=node142/3321168-1304324638
RUNJOBID= node142-1304322183-23616
PBS_JOBID= 13176784
Free space on /tmp= 73488 MiB

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

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

MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=1397645131

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30512540 kB
Buffers:        317960 kB
Cached:         616304 kB
SwapCached:        176 kB
Active:          38828 kB
Inactive:      2014400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30512540 kB
SwapTotal:    67111528 kB
SwapFree:     67091720 kB
Dirty:           24488 kB
Writeback:          80 kB
AnonPages:     1118600 kB
Mapped:          20504 kB
Slab:           305880 kB
PageTables:      14580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41703964 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= 73480 MiB
End job on node142 at 2011-05-02 10:30:51