Trace number 3288690

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 1893.4 489.759

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3288690-1304029976.cnf'
0.00/0.00	c -- header says num vars:          39151
0.00/0.00	c -- header says num clauses:      533919
1.05/0.31	c -- clauses added:            0 learnts,       533919 normals,            0 xors
1.05/0.31	c -- vars added      39151
1.05/0.31	c Parsing time:  0.19 s
1.05/0.31	c  N st     0         0     39151    482351     51568         0   1968248         0   no data   no data
1.45/0.41	c asymm  cl-useful: 11/1120/482351 lits-rem:11 time: 0.13
6.63/1.76	c Flit:   158 Blit:     16 bXBeca:    0 bXProp:   71 Bins:      0 BRemL:      0 BRemN:      0 P: 128.2M T:  1.33
6.63/1.76	c Cleaning up after failed var search:     0.00 s 
7.03/1.82	c Replacing       71 vars Replaced     2441 lits Time:     0.05 s 
7.79/2.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.79/2.07	c bin-w-bin subsume rem         3823 bins  time:  0.01 s
8.18/2.12	c subs with bin:     2602  lits-rem:      1320  v-fix:    0  time:  0.05 s
8.18/2.17	c Subs w/ non-existent bins:   3147 l-rem:   1398 v-fix:     0 done:   9361 time:  0.05 s
8.59/2.27	c Removed useless bin:    5785  fixed:     0  props:  17.42M  time:  0.10 s
12.16/3.10	c lits-rem:      1008  cl-subs:    38294  v-elim:   2804  v-fix:    0  time:  0.80 s
12.16/3.14	c Finding binary XORs  T:     0.04 s  found:      22
12.16/3.16	c Replacing       22 vars Replaced     1161 lits Time:     0.02 s 
13.38/3.46	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
13.38/3.46	c calculated reachability. Time: 0.02
13.38/3.48	c Calc default polars -  time:   0.02 s pos:    8602 undec:   21655 neg:    8894
13.38/3.48	c =========================================================================================
13.38/3.48	c types(t): F = full restart, N = normal restart
13.38/3.48	c types(t): S = simplification begin/end, E = solution found
13.38/3.48	c restart types(rt): st = static, dy = dynamic
13.38/3.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
13.38/3.48	c  B st     0         0     36016    428268     40877         0   1742833         0   no data   no data
17.77/4.54	c  N dy    12      4014     36016    428268     40878      3976   1742833     50835      7.57      8.89
20.14/5.12	c Finding binary XORs  T:     0.04 s  found:       2
22.16/5.65	c  N dy    22      8195     36015    428247     42785      8109   1742739    101164      6.97      7.41
26.56/6.73	c  N dy    36     12313     36014    428247     43424     12190   1742739    150913      6.84      7.21
32.13/8.19	c  N dy    63     17149     36014    428247     43427     16980   1742739    209599      6.95      7.40
38.12/9.68	c  N dy    83     21757     36014    428247     43445     11627   1742739    118635      7.02      7.44
38.53/9.74	c Finding binary XORs  T:     0.04 s  found:       0
42.12/10.66	c  F st   103     25000     36014    428109     43481     13859   1742290    148012      7.04      7.39
42.12/10.69	c Replacing        2 vars Replaced      638 lits Time:     0.03 s 
42.92/10.80	c Found part     1013 vars:        672 clauses:      9606 lits size:     35293
42.92/10.80	c Found part     1384 vars:       4872 clauses:    169873 lits size:    647088
42.92/10.80	c Found part     1459 vars:        952 clauses:      5148 lits size:     17950
42.92/10.80	c Found part     1475 vars:        948 clauses:      6259 lits size:     21705
42.92/10.80	c Found part     1488 vars:        238 clauses:       486 lits size:      1440
42.92/10.80	c Found part     1491 vars:        234 clauses:       476 lits size:      1440
42.92/10.80	c Found part     1501 vars:       9726 clauses:     52126 lits size:    185523
42.92/10.80	c Found part     1511 vars:        203 clauses:       502 lits size:      1379
42.92/10.80	c Found part     1512 vars:        234 clauses:       476 lits size:      1440
42.92/10.80	c Found part     1514 vars:      14222 clauses:    210098 lits size:    780937
42.92/10.80	c Found part     1522 vars:        833 clauses:      5179 lits size:     18093
42.92/10.80	c Found part     1527 vars:        305 clauses:       965 lits size:      2986
42.92/10.80	c Found part     1535 vars:        265 clauses:       792 lits size:      3175
42.92/10.80	c Found part     1537 vars:        236 clauses:       479 lits size:      1440
42.92/10.80	c Found part     1539 vars:        172 clauses:       504 lits size:      2317
42.92/10.80	c Found part     1540 vars:        236 clauses:       482 lits size:      1444
42.92/10.80	c Found part     1541 vars:        236 clauses:       482 lits size:      1444
42.92/10.80	c Found part     1543 vars:        476 clauses:      1702 lits size:      5744
42.92/10.80	c Found part     1544 vars:        476 clauses:      1687 lits size:      5724
42.92/10.80	c Found part     1545 vars:        476 clauses:      1687 lits size:      5724
42.92/10.80	c Found parts:         20 time: 0.13 s
42.92/10.80	c Solving part 1539
42.92/10.83	c  N st     0         0       172       335       169         0      2317         0   no data   no data
42.92/10.83	c asymm  cl-useful: 160/335/335 lits-rem:255 time: 0.00
42.92/10.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
42.92/10.84	c Finding binary XORs  T:     0.00 s  found:       0
42.92/10.84	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
42.92/10.84	c calculated reachability. Time: 0.00
42.92/10.84	c Calc default polars -  time:   0.00 s pos:      76 undec:   38988 neg:      87
42.92/10.84	c =========================================================================================
42.92/10.84	c types(t): F = full restart, N = normal restart
42.92/10.84	c types(t): S = simplification begin/end, E = solution found
42.92/10.84	c restart types(rt): st = static, dy = dynamic
42.92/10.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
42.92/10.84	c  B st     0         0       172       335       169         0      2062         0   no data   no data
42.92/10.84	c  E st     1         0         0       335       169         0      2062         0   no data   no data
42.92/10.84	c Verified 335 clauses.
42.92/10.84	c Verified 335 clauses.
42.92/10.84	c Solved part
42.92/10.84	c =========================================================================================
42.92/10.84	c Solving part 1511
42.92/10.87	c  N st     0         0       203       227       313         0      1379        76   no data   no data
42.92/10.87	c asymm  cl-useful: 36/227/227 lits-rem:36 time: 0.00
42.92/10.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
42.92/10.88	c Finding binary XORs  T:     0.00 s  found:       0
42.92/10.88	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
42.92/10.88	c calculated reachability. Time: 0.00
42.92/10.88	c Calc default polars -  time:   0.00 s pos:      58 undec:   38992 neg:     101
42.92/10.88	c =========================================================================================
42.92/10.88	c types(t): F = full restart, N = normal restart
42.92/10.88	c types(t): S = simplification begin/end, E = solution found
42.92/10.88	c restart types(rt): st = static, dy = dynamic
42.92/10.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
42.92/10.88	c  B st     0         0       203       227       313         0      1343        76   no data   no data
42.92/10.88	c  E st     1         0         0       227       313         0      1343        76   no data   no data
42.92/10.88	c Verified 227 clauses.
42.92/10.88	c Verified 227 clauses.
42.92/10.88	c Solved part
42.92/10.88	c =========================================================================================
42.92/10.88	c Solving part 1491
43.32/10.91	c  N st     0         0       234       244       232         0      1440         0   no data   no data
43.32/10.92	c asymm  cl-useful: 6/244/244 lits-rem:6 time: 0.00
43.32/10.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
43.32/10.92	c Finding binary XORs  T:     0.00 s  found:       0
43.32/10.92	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
43.32/10.92	c calculated reachability. Time: 0.00
43.32/10.92	c Calc default polars -  time:   0.00 s pos:      17 undec:   39121 neg:      13
43.32/10.92	c =========================================================================================
43.32/10.92	c types(t): F = full restart, N = normal restart
43.32/10.92	c types(t): S = simplification begin/end, E = solution found
43.32/10.92	c restart types(rt): st = static, dy = dynamic
43.32/10.92	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.32/10.92	c  B st     0         0       234       244       232         0      1434         0   no data   no data
43.32/10.92	c  E st     1         0         0       244       232         0      1434         0   no data   no data
43.32/10.92	c Verified 244 clauses.
43.32/10.92	c Verified 244 clauses.
43.32/10.92	c Solved part
43.32/10.92	c =========================================================================================
43.32/10.93	c Solving part 1512
43.32/10.96	c  N st     0         0       234       244       232         0      1440         0   no data   no data
43.32/10.96	c asymm  cl-useful: 6/244/244 lits-rem:6 time: 0.00
43.32/10.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
43.32/10.96	c Finding binary XORs  T:     0.00 s  found:       0
43.32/10.97	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
43.32/10.97	c calculated reachability. Time: 0.00
43.32/10.97	c Calc default polars -  time:   0.00 s pos:      17 undec:   39121 neg:      13
43.32/10.97	c =========================================================================================
43.32/10.97	c types(t): F = full restart, N = normal restart
43.32/10.97	c types(t): S = simplification begin/end, E = solution found
43.32/10.97	c restart types(rt): st = static, dy = dynamic
43.32/10.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.32/10.97	c  B st     0         0       234       244       232         0      1434         0   no data   no data
43.32/10.97	c  E st     1         0         0       244       232         0      1434         0   no data   no data
43.32/10.97	c Verified 244 clauses.
43.32/10.97	c Verified 244 clauses.
43.32/10.97	c Solved part
43.32/10.97	c =========================================================================================
43.32/10.97	c Solving part 1541
43.32/11.00	c  N st     0         0       236       244       238         0      1444         0   no data   no data
43.32/11.00	c asymm  cl-useful: 2/244/244 lits-rem:2 time: 0.00
43.74/11.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
43.74/11.01	c Finding binary XORs  T:     0.00 s  found:       0
43.74/11.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
43.74/11.01	c calculated reachability. Time: 0.00
43.74/11.01	c Calc default polars -  time:   0.00 s pos:      14 undec:   39123 neg:      14
43.74/11.01	c =========================================================================================
43.74/11.01	c types(t): F = full restart, N = normal restart
43.74/11.01	c types(t): S = simplification begin/end, E = solution found
43.74/11.01	c restart types(rt): st = static, dy = dynamic
43.74/11.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.74/11.01	c  B st     0         0       236       244       238         0      1442         0   no data   no data
43.74/11.01	c  E st     1         0         0       244       238         0      1442         0   no data   no data
43.74/11.01	c Verified 244 clauses.
43.74/11.01	c Verified 244 clauses.
43.74/11.01	c Solved part
43.74/11.01	c =========================================================================================
43.74/11.01	c Solving part 1540
43.74/11.04	c  N st     0         0       236       244       238         0      1444         0   no data   no data
43.74/11.04	c asymm  cl-useful: 2/244/244 lits-rem:2 time: 0.00
43.74/11.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
43.74/11.05	c Finding binary XORs  T:     0.00 s  found:       0
43.74/11.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
43.74/11.05	c calculated reachability. Time: 0.00
43.74/11.05	c Calc default polars -  time:   0.00 s pos:      14 undec:   39123 neg:      14
43.74/11.05	c =========================================================================================
43.74/11.05	c types(t): F = full restart, N = normal restart
43.74/11.05	c types(t): S = simplification begin/end, E = solution found
43.74/11.05	c restart types(rt): st = static, dy = dynamic
43.74/11.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.74/11.05	c  B st     0         0       236       244       238         0      1442         0   no data   no data
43.74/11.05	c  E st     1         0         0       244       238         0      1442         0   no data   no data
43.74/11.05	c Verified 244 clauses.
43.74/11.05	c Verified 244 clauses.
43.74/11.05	c Solved part
43.74/11.05	c =========================================================================================
43.74/11.05	c Solving part 1537
43.74/11.08	c  N st     0         0       236       243       236         0      1440         0   no data   no data
43.74/11.09	c asymm  cl-useful: 1/243/243 lits-rem:1 time: 0.00
43.74/11.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
43.74/11.09	c Finding binary XORs  T:     0.00 s  found:       0
43.74/11.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
43.74/11.09	c calculated reachability. Time: 0.00
43.74/11.09	c Calc default polars -  time:   0.00 s pos:      10 undec:   39131 neg:      10
43.74/11.09	c =========================================================================================
43.74/11.09	c types(t): F = full restart, N = normal restart
43.74/11.09	c types(t): S = simplification begin/end, E = solution found
43.74/11.09	c restart types(rt): st = static, dy = dynamic
43.74/11.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.74/11.09	c  B st     0         0       236       243       236         0      1439         0   no data   no data
43.74/11.09	c  E st     1         0         0       243       236         0      1439         0   no data   no data
43.74/11.09	c Verified 243 clauses.
43.74/11.09	c Verified 243 clauses.
43.74/11.09	c Solved part
43.74/11.09	c =========================================================================================
43.74/11.10	c Solving part 1488
44.14/11.12	c  N st     0         0       238       244       242         0      1440         0   no data   no data
44.14/11.13	c asymm  cl-useful: 0/244/244 lits-rem:0 time: 0.00
44.14/11.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
44.14/11.13	c Finding binary XORs  T:     0.00 s  found:       0
44.14/11.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
44.14/11.13	c calculated reachability. Time: 0.00
44.14/11.13	c Calc default polars -  time:   0.00 s pos:      18 undec:   39116 neg:      17
44.14/11.13	c =========================================================================================
44.14/11.13	c types(t): F = full restart, N = normal restart
44.14/11.13	c types(t): S = simplification begin/end, E = solution found
44.14/11.13	c restart types(rt): st = static, dy = dynamic
44.14/11.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.14/11.13	c  B st     0         0       238       244       242         0      1440         0   no data   no data
44.14/11.13	c  E st     1         0         0       244       242         0      1440         0   no data   no data
44.14/11.13	c Verified 244 clauses.
44.14/11.13	c Verified 244 clauses.
44.14/11.13	c Solved part
44.14/11.13	c =========================================================================================
44.14/11.14	c Solving part 1535
44.14/11.17	c  N st     0         0       265       522       270         0      3175         0   no data   no data
44.14/11.17	c asymm  cl-useful: 89/522/522 lits-rem:122 time: 0.00
44.14/11.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
44.14/11.18	c Finding binary XORs  T:     0.00 s  found:       0
44.14/11.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
44.14/11.18	c calculated reachability. Time: 0.00
44.14/11.18	c Calc default polars -  time:   0.00 s pos:     129 undec:   38912 neg:     110
44.14/11.18	c =========================================================================================
44.14/11.18	c types(t): F = full restart, N = normal restart
44.14/11.18	c types(t): S = simplification begin/end, E = solution found
44.14/11.18	c restart types(rt): st = static, dy = dynamic
44.14/11.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.14/11.18	c  B st     0         0       265       522       270         0      3053         0   no data   no data
44.14/11.18	c  E st     1         0         0       522       270         0      3053         0   no data   no data
44.14/11.18	c Verified 522 clauses.
44.14/11.18	c Verified 522 clauses.
44.14/11.18	c Solved part
44.14/11.18	c =========================================================================================
44.14/11.18	c Solving part 1527
44.51/11.22	c  N st     0         0       305       600       449         0      2986       168   no data   no data
44.51/11.22	c asymm  cl-useful: 122/600/600 lits-rem:169 time: 0.01
44.51/11.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
44.51/11.23	c Finding binary XORs  T:     0.00 s  found:       0
44.51/11.23	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
44.51/11.23	c calculated reachability. Time: 0.00
44.51/11.23	c Calc default polars -  time:   0.00 s pos:     115 undec:   38888 neg:     148
44.51/11.23	c =========================================================================================
44.51/11.23	c types(t): F = full restart, N = normal restart
44.51/11.23	c types(t): S = simplification begin/end, E = solution found
44.51/11.23	c restart types(rt): st = static, dy = dynamic
44.51/11.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.51/11.23	c  B st     0         0       305       597       452         0      2823       168   no data   no data
44.51/11.23	c  E st     1         0         0       597       452         0      2823       168   no data   no data
44.51/11.23	c Verified 597 clauses.
44.51/11.23	c Verified 597 clauses.
44.51/11.23	c Solved part
44.51/11.23	c =========================================================================================
44.51/11.23	c Solving part 1545
44.51/11.26	c  N st     0         0       476      1195       492         0      5724         0   no data   no data
44.51/11.27	c asymm  cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
44.51/11.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.51/11.28	c Finding binary XORs  T:     0.00 s  found:       0
44.51/11.28	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
44.51/11.28	c calculated reachability. Time: 0.00
44.51/11.28	c Calc default polars -  time:   0.00 s pos:      16 undec:   39119 neg:      16
44.51/11.28	c =========================================================================================
44.51/11.28	c types(t): F = full restart, N = normal restart
44.51/11.28	c types(t): S = simplification begin/end, E = solution found
44.51/11.28	c restart types(rt): st = static, dy = dynamic
44.51/11.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.51/11.28	c  B st     0         0       476      1195       492         0      5724         0   no data   no data
44.51/11.28	c  E st     1         0         0      1195       492         0      5724         0   no data   no data
44.51/11.28	c Verified 1195 clauses.
44.51/11.28	c Verified 1195 clauses.
44.51/11.28	c Solved part
44.51/11.28	c =========================================================================================
44.51/11.29	c Solving part 1544
44.91/11.31	c  N st     0         0       476      1195       492         0      5724         0   no data   no data
44.91/11.32	c asymm  cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
44.91/11.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.91/11.33	c Finding binary XORs  T:     0.00 s  found:       0
44.91/11.33	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
44.91/11.33	c calculated reachability. Time: 0.00
44.91/11.33	c Calc default polars -  time:   0.00 s pos:      16 undec:   39119 neg:      16
44.91/11.33	c =========================================================================================
44.91/11.33	c types(t): F = full restart, N = normal restart
44.91/11.33	c types(t): S = simplification begin/end, E = solution found
44.91/11.33	c restart types(rt): st = static, dy = dynamic
44.91/11.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.91/11.33	c  B st     0         0       476      1195       492         0      5724         0   no data   no data
44.91/11.33	c  E st     1         0         0      1195       492         0      5724         0   no data   no data
44.91/11.33	c Verified 1195 clauses.
44.91/11.33	c Verified 1195 clauses.
44.91/11.33	c Solved part
44.91/11.33	c =========================================================================================
44.91/11.33	c Solving part 1543
44.91/11.36	c  N st     0         0       476      1200       502         0      5744         0   no data   no data
44.91/11.37	c asymm  cl-useful: 0/1200/1200 lits-rem:0 time: 0.01
44.91/11.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.91/11.38	c Finding binary XORs  T:     0.00 s  found:       0
44.91/11.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
44.91/11.38	c calculated reachability. Time: 0.00
44.91/11.38	c Calc default polars -  time:   0.00 s pos:      24 undec:   39103 neg:      24
44.91/11.38	c =========================================================================================
44.91/11.38	c types(t): F = full restart, N = normal restart
44.91/11.38	c types(t): S = simplification begin/end, E = solution found
44.91/11.38	c restart types(rt): st = static, dy = dynamic
44.91/11.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.91/11.38	c  B st     0         0       476      1200       502         0      5744         0   no data   no data
44.91/11.38	c  E st     1         0         0      1200       502         0      5744         0   no data   no data
44.91/11.38	c Verified 1200 clauses.
44.91/11.38	c Verified 1200 clauses.
44.91/11.38	c Solved part
44.91/11.38	c =========================================================================================
44.91/11.38	c Solving part 1013
45.31/11.41	c  N st     0         0       672      8654      1431         0     35293       958   no data   no data
46.12/11.66	c asymm  cl-useful: 794/4121/8654 lits-rem:853 time: 0.25
46.51/11.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   36 Bins:      0 BRemL:      0 BRemN:      0 P:  2.8M T:  0.05
46.51/11.71	c Finding binary XORs  T:     0.00 s  found:       4
46.51/11.71	c Replacing       40 vars Replaced     2882 lits Time:     0.00 s 
46.51/11.71	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
46.51/11.71	c calculated reachability. Time: 0.00
46.51/11.72	c Calc default polars -  time:   0.00 s pos:     273 undec:   38619 neg:     259
46.51/11.72	c =========================================================================================
46.51/11.72	c types(t): F = full restart, N = normal restart
46.51/11.72	c types(t): S = simplification begin/end, E = solution found
46.51/11.72	c restart types(rt): st = static, dy = dynamic
46.51/11.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
46.51/11.72	c  B st     0         0       632      8145      1408         0     32414       958   no data   no data
46.51/11.72	c  E st     1         0         0      8145      1408         0     32414       958   no data   no data
46.51/11.72	c Verified 8145 clauses.
46.51/11.72	c Verified 8145 clauses.
46.51/11.72	c Solved part
46.51/11.72	c =========================================================================================
46.51/11.72	c Solving part 1522
46.51/11.74	c  N st     0         0       833      4156      1038         0     18093        30   no data   no data
46.91/11.81	c asymm  cl-useful: 46/4156/4156 lits-rem:46 time: 0.07
46.91/11.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.02
46.91/11.84	c Finding binary XORs  T:     0.00 s  found:       0
46.91/11.84	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
46.91/11.84	c calculated reachability. Time: 0.00
46.91/11.84	c Calc default polars -  time:   0.00 s pos:     288 undec:   38613 neg:     250
46.91/11.84	c =========================================================================================
46.91/11.84	c types(t): F = full restart, N = normal restart
46.91/11.84	c types(t): S = simplification begin/end, E = solution found
46.91/11.84	c restart types(rt): st = static, dy = dynamic
46.91/11.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
46.91/11.84	c  B st     0         0       833      4156      1038         0     18047        30   no data   no data
46.91/11.84	c  E st     1         0         0      4156      1038         0     18047        30   no data   no data
46.91/11.84	c Verified 4156 clauses.
46.91/11.84	c Verified 4156 clauses.
46.91/11.84	c Solved part
46.91/11.84	c =========================================================================================
46.91/11.84	c Solving part 1475
46.91/11.87	c  N st     0         0       948      5035      1256         0     21705        64   no data   no data
47.31/11.97	c asymm  cl-useful: 143/5035/5035 lits-rem:158 time: 0.10
47.31/12.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.03
47.70/12.00	c Finding binary XORs  T:     0.00 s  found:       0
47.70/12.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
47.70/12.00	c calculated reachability. Time: 0.00
47.70/12.00	c Calc default polars -  time:   0.00 s pos:     366 undec:   38451 neg:     334
47.70/12.00	c =========================================================================================
47.70/12.00	c types(t): F = full restart, N = normal restart
47.70/12.00	c types(t): S = simplification begin/end, E = solution found
47.70/12.00	c restart types(rt): st = static, dy = dynamic
47.70/12.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
47.70/12.00	c  B st     0         0       948      5029      1262         0     21559        64   no data   no data
47.70/12.00	c  E st     1         0         0      5029      1262         0     21559        64   no data   no data
47.70/12.00	c Verified 5029 clauses.
47.70/12.00	c Verified 5029 clauses.
47.70/12.00	c Solved part
47.70/12.00	c =========================================================================================
47.70/12.00	c Solving part 1459
47.70/12.03	c  N st     0         0       952      4089      1066         0     17950        14   no data   no data
47.70/12.10	c asymm  cl-useful: 108/4089/4089 lits-rem:108 time: 0.06
48.12/12.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.02
48.12/12.12	c Finding binary XORs  T:     0.00 s  found:       0
48.12/12.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
48.12/12.12	c calculated reachability. Time: 0.00
48.12/12.12	c Calc default polars -  time:   0.00 s pos:     215 undec:   38728 neg:     208
48.12/12.12	c =========================================================================================
48.12/12.12	c types(t): F = full restart, N = normal restart
48.12/12.12	c types(t): S = simplification begin/end, E = solution found
48.12/12.12	c restart types(rt): st = static, dy = dynamic
48.12/12.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
48.12/12.12	c  B st     0         0       952      4089      1066         0     17842        14   no data   no data
48.12/12.12	c  E st     1         0         0      4089      1066         0     17842        14   no data   no data
48.12/12.12	c Verified 4089 clauses.
48.12/12.12	c Verified 4089 clauses.
48.12/12.12	c Solved part
48.12/12.12	c =========================================================================================
48.12/12.13	c Solving part 1384
48.53/12.27	c  N st     0         0      4872    163938      6885     13859    647088    144754   no data   no data
48.90/12.34	c asymm  cl-useful: 0/448/163938 lits-rem:0 time: 0.07
50.50/12.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.2M T:  0.44
50.50/12.80	c Finding binary XORs  T:     0.01 s  found:       0
50.90/12.89	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
50.90/12.89	c calculated reachability. Time: 0.00
50.90/12.89	c Calc default polars -  time:   0.00 s pos:    1314 undec:   36531 neg:    1306
50.90/12.89	c =========================================================================================
50.90/12.89	c types(t): F = full restart, N = normal restart
50.90/12.89	c types(t): S = simplification begin/end, E = solution found
50.90/12.89	c restart types(rt): st = static, dy = dynamic
50.90/12.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
50.90/12.89	c  B st     0         0      4872    163938      6885     13859    647088    144754   no data   no data
56.10/14.12	c  N dy    14      4365      4872    163938      6892     18185    647088    201408      6.89      7.30
60.09/15.15	c  N dy    31      8547      4871    163938      6895     22328    647088    252625      6.71      7.07
64.88/16.37	c  N dy    45     12619      4870    163938      6906     26347    647088    301751      6.67      7.03
69.67/17.60	c  N dy    68     16720      4870    163938      6909     30423    647088    355675      6.77      7.19
74.49/18.80	c  N dy    86     20855      4870    163938      6917     17683    647088    154715      6.75      7.14
80.06/20.14	c  F st   120     25001      4870    163938      6919     21794    647088    211034      6.97      6.28
80.06/20.14	c  N st   120     25001      4870    163938      6919     21794    647088    211034      6.97      6.28
85.66/21.59	c  N dy   126     30193      4869    163938      6929     26958    647088    287090      6.97   no data
91.25/22.90	c  N dy   153     34246      4869    163938      6932     30977    647088    338431      7.06      7.47
96.46/24.20	c  N dy   176     38264      4869    163938      6939     34961    647088    392421      7.12      7.76
101.63/25.50	c  N dy   189     42424      4869    163938      6944     20246    647088    163222      7.07      7.52
106.83/26.80	c  N dy   211     46693      4869    163938      6948     24479    647088    217485      7.07      7.50
111.22/27.93	c  N dy   229     50724      4868    163938      6961     28461    647087    267546      7.06      7.45
113.22/28.44	c Finding binary XORs  T:     0.01 s  found:       0
116.41/29.24	c  N dy   250     54725      4868    163336      6836     25489    644691    247562      7.07      7.50
121.60/30.53	c  N dy   273     58838      4868    163336      6841     29574    644691    302529      7.10      7.48
127.22/31.95	c  N dy   298     63343      4867    163336      6850     17189    644691    122882      7.13      7.53
132.79/33.38	c  N dy   311     67513      4867    163336      6856     21304    644691    173966      7.12      7.54
138.78/34.80	c  N dy   330     71823      4867    163336      6859     25587    644691    230735      7.12      8.09
145.19/36.42	c  N dy   359     76555      4867    163336      6862     30289    644691    294198      7.14      7.53
151.96/38.14	c  N dy   377     81960      4866    163336      6881     35629    644691    363280      7.11      7.52
159.55/40.01	c  N dy   398     87471      4866    163336      6883     21276    644691    159180      7.11      7.57
159.55/40.02	c  F st   399     87502      4866    163336      6883     21307    644691    159645      7.11   no data
165.94/41.63	c  N dy   407     93080      4866    163336      6886     26855    644691    243818      7.11      7.55
173.53/43.55	c  N dy   439     99047      4866    163336      6890     32780    644691    324137      7.13      7.61
182.31/45.77	c  N dy   469    105876      4865    163336      6900     39559    644691    417885      7.12      7.51
191.91/48.18	c  N dy   499    112743      4865    163336      6907     24568    644691    179110      7.12      7.53
194.70/48.85	c Finding binary XORs  T:     0.01 s  found:       2
201.49/50.56	c  N dy   526    120205      4863    162744      6879     28496    642476    246889      7.10      7.54
211.48/53.05	c  N dy   564    128023      4862    162744      6894     36237    642476    360139      7.11      7.63
223.88/56.11	c  N dy   611    136551      4862    162744      6897     23123    642476    154932      7.12      7.53
235.05/58.94	c  N dy   665    145426      4861    162744      6905     31935    642475    279692      7.15      7.58
247.42/62.00	c  N dy   723    154844      4861    162744      6910     41303    642475    416039      7.18      7.59
260.61/65.31	c  N dy   794    164727      4861    162744      6914     27420    642475    200618      7.23      9.59
275.40/69.08	c  N dy   852    175470      4861    162744      6923     38108    642475    357645      7.25      7.76
291.36/73.02	c Finding binary XORs  T:     0.01 s  found:       0
292.16/73.29	c  N dy   913    187024      4859    161785      6846     41517    638750    434484      7.27      7.70
307.77/77.18	c  N dy   972    199355      4857    161785      6857     32526    638750    287732      7.27      7.67
326.12/81.72	c  N dy  1043    212123      4856    161785      6870     45197    638750    471306      7.29      7.71
345.29/86.55	c  N dy  1131    225708      4856    161785      6879     34162    638749    297053      7.33      8.27
365.27/91.51	c  N dy  1216    240355      4855    161785      6901     48685    638748    509185      7.35      7.82
387.64/97.10	c  N dy  1316    255883      4854    161785      6909     37475    638748    320462      7.38      7.98
412.40/103.31	c  N dy  1424    272263      4854    161785      6913     53765    638748    569629      7.42      7.92
422.39/105.80	c Finding binary XORs  T:     0.01 s  found:       4
438.37/109.88	c  N dy  1524    289713      4854    160952      6843     40259    635572    370674      7.44      8.62
465.14/116.54	c  F st  1636    306251      4853    160952      6851     28482    635572    167992      7.48   no data
467.53/117.13	c  N st  1640    308287      4853    160952      6851     30510    635572    201474      7.48   no data
493.49/123.69	c  N dy  1738    328068      4852    160952      6863     50192    635572    503785      7.50      7.99
524.65/131.43	c  N dy  1853    348248      4850    160952      6879     40214    635572    330952      7.52      8.02
555.01/139.04	c  N dy  1944    368465      4850    160952      6881     60344    635572    639550      7.53      7.93
585.37/146.64	c  N dy  2069    389148      4850    160952      6886     49489    635572    454363      7.55      8.04
618.13/154.89	c  N dy  2195    409303      4850    160952      6889     36922    635572    246231      7.58      7.98
649.29/162.65	c  N dy  2320    430086      4850    160952      6896     57590    635572    576844      7.60      8.00
680.45/170.49	c  N dy  2443    450092      4849    160952      6911     43766    635571    337402      7.62      9.04
702.84/176.10	c Finding binary XORs  T:     0.01 s  found:       5
714.80/179.07	c  N dy  2560    470835      4846    160193      6842     61528    632552    630088      7.63      8.04
744.76/186.59	c  N dy  2671    490922      4846    160193      6850     48167    632552    416607      7.65      8.70
775.92/194.31	c  N dy  2784    511121      4846    160193      6857     68262    632552    740712      7.66      8.19
806.28/201.95	c  N dy  2900    531147      4846    160193      6865     53114    632552    479674      7.68      9.56
839.05/210.16	c  N dy  3013    551243      4846    160193      6870     36682    632551    200144      7.69      8.13
869.39/217.79	c  N dy  3126    571296      4846    160193      6873     56637    632551    513376      7.70      8.47
902.95/226.14	c  N dy  3260    591360      4846    160193      6874     38992    632551    224822      7.72      9.24
934.51/234.08	c  N dy  3372    611380      4846    160193      6880     58913    632551    548999      7.73      8.22
969.26/242.74	c  N dy  3488    631420      4845    160193      6888     40125    632551    233333      7.75      9.42
996.42/249.57	c  N dy  3591    651429      4845    160193      6893     60041    632551    568980      7.75      8.18
1028.77/257.61	c  N dy  3683    671478      4845    160193      6899     40411    632550    224457      7.76      9.61
1060.73/265.66	c  N dy  3808    691545      4845    160193      6905     60379    632550    553451      7.77      8.24
1093.90/273.94	c  N dy  3924    711798      4845    160193      6908     80510    632550    887968      7.78      8.23
1105.88/276.97	c Finding binary XORs  T:     0.01 s  found:       5
1126.64/282.17	c  N dy  4029    731926      4845    159695      6856     60075    630461    535177      7.79      8.23
1159.41/290.30	c  N dy  4147    751931      4845    159695      6863     79969    630461    858676      7.79      8.63
1192.56/298.69	c  N dy  4249    771998      4844    159695      6878     59040    630461    494845      7.80      8.24
1226.13/307.03	c  N dy  4355    792267      4844    159695      6887     79194    630461    829702      7.80      8.28
1259.66/315.47	c  N dy  4470    813042      4844    159695      6892     57921    630461    465365      7.81      8.42
1293.62/323.94	c  N dy  4582    833092      4844    159695      6900     77872    630461    796153      7.82      8.29
1326.80/332.25	c  N dy  4699    853293      4844    159695      6907     55036    630461    398647      7.82      8.26
1360.74/340.78	c  N dy  4812    873566      4844    159695      6918     75218    630461    744516      7.83      8.27
1387.90/347.60	c Finding binary XORs  T:     0.01 s  found:       8
1398.68/350.27	c  N dy  4892    894138      4839    158749      6828     51518    626508    316280      7.83      8.40
1431.03/358.32	c  N dy  4992    914237      4839    158749      6835     71489    626508    650277      7.83      8.28
1466.05/367.11	c  N dy  5094    934366      4839    158749      6847     91519    626508    997948      7.83      8.28
1500.79/375.82	c  N dy  5207    954424      4839    158749      6854     66778    626507    543367      7.84      8.36
1533.95/384.19	c  N dy  5311    974486      4829    158749      6869     86702    626507    883274      7.84      8.55
1569.11/392.97	c  N dy  5417    994578      4829    158749      6876     61007    626507    436521      7.84      9.28
1603.06/401.46	c  N dy  5509   1014716      4829    158749      6885     81071    626506    792556      7.84      8.26
1639.80/410.60	c  N dy  5622   1034870      4829    158749      6888    101116    626506   1143416      7.85      8.31
1673.37/419.09	c  N dy  5709   1055032      4829    158749      6899     74401    626506    648315      7.85      8.33
1698.53/425.36	c Finding binary XORs  T:     0.01 s  found:      23
1705.31/427.01	c  F st  5770   1071876      4829    156533      6756     89663    617397    929696      7.84   no data
1711.31/428.54	c  N st  5775   1075173      4829    156533      6756     92945    617397    993302      7.84   no data
1745.26/437.08	c  N dy  5841   1095258      4796    156533      6781     65913    617397    488386      7.84      8.45
1771.23/443.56	c Finding binary XORs  T:     0.01 s  found:      35
1771.63/443.63	c Replacing       82 vars Replaced    73601 lits Time:     0.07 s 
1780.02/445.75	c  N dy  5912   1117016      4675    143323      6614     74650    565122    742271      7.83      8.28
1799.60/450.61	c  E dy  5949   1129508      4422     95184      6342     34796    375490    256263      7.82      3.05
1893.30/489.72	c Following stats are for *FIRST FINISHED THREAD ONLY*
1893.30/489.72	c num threads              : 4          
1893.30/489.72	c restarts                 : 110        
1893.30/489.72	c dynamic restarts         : 104        
1893.30/489.72	c static restarts          : 6          
1893.30/489.72	c full restarts            : 0          
1893.30/489.72	c total simplify time      : 0.07       
1893.30/489.72	c learnts DL2              : 0          
1893.30/489.72	c learnts size 2           : 59524      
1893.30/489.72	c learnts size 1           : 240         (0.61      % of vars)
1893.30/489.72	c filedLit time            : 1.33        (0.27      % time)
1893.30/489.72	c v-elim SatELite          : 2858        (7.30      % vars)
1893.30/489.72	c SatELite time            : 0.63        (0.13      % time)
1893.30/489.72	c v-elim xor               : 0           (0.00      % vars)
1893.30/489.72	c xor elim time            : 0.00        (0.00      % time)
1893.30/489.72	c num binary xor trees     : 15         
1893.30/489.72	c binxor trees' crown      : 95          (6.33      leafs/tree)
1893.30/489.72	c bin xor find time        : 0.08       
1893.30/489.72	c OTF clause improved      : 247         (0.01      clauses/conflict)
1893.30/489.72	c OTF impr. size diff      : 331         (1.34       lits/clause)
1893.30/489.72	c OTF cl watch-shrink      : 16389       (0.66      clauses/conflict)
1893.30/489.72	c OTF cl watch-sh-lit      : 37265       (2.27       lits/clause)
1893.30/489.72	c tried to recurMin cls    : 4561        (18.24      % of conflicts)
1893.30/489.72	c updated cache            : 0           (0.00       lits/tried recurMin)
1893.30/489.72	c unit cls recevied        : 2           (0.83      % of units)
1893.30/489.72	c unit cls sent            : 237         (98.75     % of units)
1893.30/489.72	c bin cls recevied         : 3159       
1893.30/489.72	c bin cls sent             : 4623       
1893.30/489.72	c clauses over max glue    : 0           (0.00      % of all clauses)
1893.30/489.72	c conflicts                : 25004       (51.09     / sec)
1893.30/489.72	c decisions                : 31070       (0.00      % random)
1893.30/489.72	c bogo-props               : 1462489009  (2987979.01 / sec)
1893.30/489.72	c conflict literals        : 300333      (55.80     % deleted)
1893.30/489.72	c Memory used              : 978.84      MB
1893.30/489.72	c single-thread CPU time   : 489.46      s
1893.30/489.72	c all-threads sum CPU time : 1892.21     s
1893.30/489.72	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-3288690-1304029976/watcher-3288690-1304029976 -o /tmp/evaluation-result-3288690-1304029976/solver-3288690-1304029976 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3288690-1304029976.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.05 7.94 5.99 6/180 17249
/proc/meminfo: memFree=10278872/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 593228366 52441088 347 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415448049 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17249/statm: 12803 347 299 106 0 7774 0
[pid=17249/tid=17250] ppid=17247 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593228367 52441088 347 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593228367 52441088 347 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593228367 52441088 347 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.10277 s]
/proc/loadavg: 8.05 7.94 5.99 6/180 17249
/proc/meminfo: memFree=10278872/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=315400 CPUtime=0.34 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 26733 0 0 0 28 6 0 0 18 0 4 0 593228366 322969600 22638 33554432000 4194304 4627427 140736815565520 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 78883 22820 339 106 0 73854 0
[pid=17249/tid=17250] ppid=17247 vsize=315532 CPUtime=0.08 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 7014 0 0 0 7 1 0 0 18 0 4 0 593228367 323104768 22822 33554432000 4194304 4627427 140736815565520 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=315532 CPUtime=0.08 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 6307 0 0 0 7 1 0 0 18 0 4 0 593228367 323104768 22822 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=315532 CPUtime=0.08 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 6662 0 0 0 7 1 0 0 18 0 4 0 593228367 323104768 22824 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415496686 0 0 4096 2 18446604452381550400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 315400

[startup+0.204232 s]
/proc/loadavg: 8.05 7.94 5.99 6/180 17249
/proc/meminfo: memFree=10278872/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=466188 CPUtime=0.68 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 38006 0 0 0 55 13 0 0 18 0 4 0 593228366 477376512 33350 33554432000 4194304 4627427 140736815565520 18446744073709551615 4507021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 116547 33354 339 106 0 111518 0
[pid=17249/tid=17250] ppid=17247 vsize=466188 CPUtime=0.17 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 10261 0 0 0 14 3 0 0 18 0 4 0 593228367 477376512 33355 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415496735 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=466188 CPUtime=0.17 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 9273 0 0 0 14 3 0 0 18 0 4 0 593228367 477376512 33356 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415496735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=466188 CPUtime=0.16 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 9360 0 0 0 13 3 0 0 18 0 4 0 593228367 477376512 33356 33554432000 4194304 4627427 140736815565520 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 466188

[startup+0.301211 s]
/proc/loadavg: 8.05 7.94 5.99 6/180 17249
/proc/meminfo: memFree=10278872/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=477628 CPUtime=1.05 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 46639 0 0 0 88 17 0 0 18 0 4 0 593228366 489091072 41983 33554432000 4194304 4627427 140736815565520 18446744073709551615 4519446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 119407 41983 364 106 0 114378 0
[pid=17249/tid=17250] ppid=17247 vsize=477628 CPUtime=0.26 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 12301 0 0 0 22 4 0 0 18 0 4 0 593228367 489091072 41983 33554432000 4194304 4627427 140736815565520 18446744073709551615 4519487 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=477628 CPUtime=0.25 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 11529 0 0 0 22 3 0 0 18 0 4 0 593228367 489091072 41983 33554432000 4194304 4627427 140736815565520 18446744073709551615 4519453 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=477628 CPUtime=0.25 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 11453 0 0 0 21 4 0 0 18 0 4 0 593228367 489091072 41983 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 477628

[startup+0.701131 s]
/proc/loadavg: 8.05 7.94 5.99 6/180 17249
/proc/meminfo: memFree=10278872/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=489100 CPUtime=2.64 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 57524 0 0 0 243 21 0 0 18 0 4 0 593228366 500838400 52868 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 122275 52868 366 106 0 117246 0
[pid=17249/tid=17250] ppid=17247 vsize=489100 CPUtime=0.66 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 15575 0 0 0 61 5 0 0 18 0 4 0 593228367 500838400 52868 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=489100 CPUtime=0.65 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 14779 0 0 0 61 4 0 0 18 0 4 0 593228367 500838400 52868 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=489100 CPUtime=0.65 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 12473 0 0 0 61 4 0 0 18 0 4 0 593228367 500838400 52868 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 489100

[startup+1.50098 s]
/proc/loadavg: 8.05 7.94 6.00 8/184 17253
/proc/meminfo: memFree=10010256/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=506600 CPUtime=5.83 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 74185 0 0 0 557 26 0 0 18 0 4 0 593228366 518758400 69529 33554432000 4194304 4627427 140736815565520 18446744073709551615 4237871 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 126650 69529 367 106 0 121621 0
[pid=17249/tid=17250] ppid=17247 vsize=506600 CPUtime=1.45 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 20964 0 0 0 139 6 0 0 18 0 4 0 593228367 518758400 69529 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=506600 CPUtime=1.45 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 20212 0 0 0 139 6 0 0 19 0 4 0 593228367 518758400 69529 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=506600 CPUtime=1.44 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 12927 0 0 0 139 5 0 0 19 0 4 0 593228367 518758400 69529 33554432000 4194304 4627427 140736815565520 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 506600

[startup+3.10068 s]
/proc/loadavg: 8.05 7.94 6.00 9/184 17253
/proc/meminfo: memFree=9817312/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=763700 CPUtime=12.16 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 147977 0 0 0 1172 44 0 0 19 0 4 0 593228366 782028800 118660 33554432000 4194304 4627427 140736815565520 18446744073709551615 4302447 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 190925 118660 382 106 0 185896 0
[pid=17249/tid=17250] ppid=17247 vsize=763700 CPUtime=3.03 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 45770 0 0 0 291 12 0 0 19 0 4 0 593228367 782028800 118660 33554432000 4194304 4627427 140736815565520 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=763700 CPUtime=3.03 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 43265 0 0 0 292 11 0 0 19 0 4 0 593228367 782028800 118660 33554432000 4194304 4627427 140736815565520 18446744073709551615 4515644 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=763700 CPUtime=3.03 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 13440 0 0 0 298 5 0 0 23 0 4 0 593228367 782028800 118660 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 763700

[startup+6.30106 s]
/proc/loadavg: 8.04 7.94 6.01 9/184 17253
/proc/meminfo: memFree=9776648/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=763700 CPUtime=24.94 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 152397 0 0 0 2450 44 0 0 25 0 4 0 593228366 782028800 119721 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 190925 119721 386 106 0 185896 0
[pid=17249/tid=17250] ppid=17247 vsize=763700 CPUtime=6.23 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 47602 0 0 0 611 12 0 0 25 0 4 0 593228367 782028800 119721 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=763700 CPUtime=6.23 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 43712 0 0 0 612 11 0 0 25 0 4 0 593228367 782028800 119721 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=763700 CPUtime=6.22 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 13664 0 0 0 617 5 0 0 25 0 4 0 593228367 782028800 119721 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 763700

[startup+12.7008 s]
/proc/loadavg: 8.12 7.96 6.02 9/184 17253
/proc/meminfo: memFree=9620152/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1000072 CPUtime=50.5 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 319626 0 0 0 4982 68 0 0 25 0 4 0 593228366 1024073728 168953 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 250018 168953 388 106 0 244989 0
[pid=17249/tid=17250] ppid=17247 vsize=1000072 CPUtime=12.63 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 96306 0 0 0 1243 20 0 0 25 0 4 0 593228367 1024073728 168953 33554432000 4194304 4627427 140736815565520 18446744073709551615 4498525 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1000072 CPUtime=12.62 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 60024 0 0 0 1248 14 0 0 25 0 4 0 593228367 1024073728 168953 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1000072 CPUtime=12.59 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 68021 0 0 0 1247 12 0 0 25 0 4 0 593228367 1024073728 168953 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 1000072

[startup+25.5004 s]
/proc/loadavg: 8.17 7.98 6.05 9/184 17254
/proc/meminfo: memFree=9606972/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1063268 CPUtime=101.63 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 331253 0 0 0 10092 71 0 0 25 0 4 0 593228366 1088786432 179582 33554432000 4194304 4627427 140736815565520 18446744073709551615 4299712 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 265817 179582 388 106 0 260788 0
[pid=17249/tid=17250] ppid=17247 vsize=1063268 CPUtime=25.44 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 99210 0 0 0 2523 21 0 0 25 0 4 0 593228367 1088786432 179582 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1063268 CPUtime=25.42 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 62932 0 0 0 2527 15 0 0 25 0 4 0 593228367 1088786432 179582 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1063268 CPUtime=25.31 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 70167 0 0 0 2519 12 0 0 25 0 4 0 593228367 1088786432 179582 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 1063268

[startup+51.1005 s]
/proc/loadavg: 8.10 7.98 6.11 9/184 17255
/proc/meminfo: memFree=9517100/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1062404 CPUtime=203.89 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 341644 0 0 0 20314 75 0 0 25 0 4 0 593228366 1087901696 180886 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 265601 180886 388 106 0 260572 0
[pid=17249/tid=17250] ppid=17247 vsize=1062404 CPUtime=51.03 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 101794 0 0 0 5081 22 0 0 25 0 4 0 593228367 1087901696 180886 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1062404 CPUtime=51.03 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 65308 0 0 0 5086 17 0 0 25 0 4 0 593228367 1087901696 180886 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1062404 CPUtime=50.77 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 73002 0 0 0 5064 13 0 0 25 0 4 0 593228367 1087901696 180886 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 1062404

[startup+102.301 s]
/proc/loadavg: 8.09 8.00 6.21 9/184 17256
/proc/meminfo: memFree=9407320/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1113500 CPUtime=408.43 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 364103 0 0 0 40762 81 0 0 25 0 4 0 593228366 1140224000 191723 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 278375 191723 388 106 0 273346 0
[pid=17249/tid=17250] ppid=17247 vsize=1113500 CPUtime=102.23 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 108201 0 0 0 10200 23 0 0 25 0 4 0 593228367 1140224000 191723 33554432000 4194304 4627427 140736815565520 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1113500 CPUtime=102.23 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 67907 0 0 0 10206 17 0 0 25 0 4 0 593228367 1140224000 191723 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1113500 CPUtime=101.7 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 80081 0 0 0 10155 15 0 0 25 0 4 0 593228367 1140224000 191723 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 1113500

[startup+162.3 s]

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

/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 99268 0 0 0 28052 21 0 0 25 0 4 0 593228367 1155796992 193331 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1127.44
Current children cumulated vsize (KiB) 1128708

[startup+342.301 s]
/proc/loadavg: 8.08 8.06 6.64 9/184 17262
/proc/meminfo: memFree=9107836/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1129128 CPUtime=1367.12 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 434922 0 0 0 136609 103 0 0 25 0 4 0 593228366 1156227072 194089 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 282282 194089 388 106 0 277253 0
[pid=17249/tid=17250] ppid=17247 vsize=1129128 CPUtime=342.21 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 129633 0 0 0 34192 29 0 0 25 0 4 0 593228367 1156227072 194089 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1129128 CPUtime=342.23 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 70713 0 0 0 34204 19 0 0 25 0 4 0 593228367 1156227072 194089 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1129128 CPUtime=340.4 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 106831 0 0 0 34018 22 0 0 25 0 4 0 593228367 1156227072 194089 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1367.12
Current children cumulated vsize (KiB) 1129128

[startup+402.3 s]
/proc/loadavg: 8.25 8.12 6.75 9/184 17267
/proc/meminfo: memFree=8789948/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1129752 CPUtime=1606.65 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) R 17247 17249 16932 0 -1 4202496 451154 0 0 0 160555 110 0 0 25 0 4 0 593228366 1156866048 196487 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 282438 196487 388 106 0 277409 0
[pid=17249/tid=17250] ppid=17247 vsize=1129752 CPUtime=402.21 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 134487 0 0 0 40189 32 0 0 25 0 4 0 593228367 1156866048 196487 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1129752 CPUtime=402.23 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 71342 0 0 0 40203 20 0 0 25 0 4 0 593228367 1156866048 196487 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1129752 CPUtime=399.93 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 112619 0 0 0 39969 24 0 0 25 0 4 0 593228367 1156866048 196487 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1606.65
Current children cumulated vsize (KiB) 1129752

[startup+462.301 s]
/proc/loadavg: 7.97 8.08 6.82 8/184 17268
/proc/meminfo: memFree=8758252/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1084420 CPUtime=1834.82 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 465961 0 0 0 183367 115 0 0 25 0 4 0 593228366 1110446080 182333 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 271105 182333 388 106 0 266076 0
[pid=17249/tid=17250] ppid=17247 vsize=1084420 CPUtime=462.2 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 139524 0 0 0 46187 33 0 0 25 0 4 0 593228367 1110446080 182333 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1084420 CPUtime=462.23 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 46202 21 0 0 25 0 4 0 593228367 1110446080 182333 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1084420 CPUtime=459.67 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 120446 0 0 0 45941 26 0 0 25 0 4 0 593228367 1110446080 182333 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1834.82
Current children cumulated vsize (KiB) 1084420

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

[startup+473.601 s]
/proc/loadavg: 7.74 8.02 6.81 7/184 17269
/proc/meminfo: memFree=8890560/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1861.11 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 468515 0 0 0 185996 115 0 0 25 0 4 0 593228366 1043402752 174405 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 174405 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 174405 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=473.54 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 47333 21 0 0 25 0 4 0 593228367 1043402752 174405 33554432000 4194304 4627427 140736815565520 18446744073709551615 4205600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=470.97 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 122803 0 0 0 47071 26 0 0 25 0 4 0 593228367 1043402752 174405 33554432000 4194304 4627427 140736815565520 18446744073709551615 4348352 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1861.11
Current children cumulated vsize (KiB) 1018948

[startup+480.001 s]
/proc/loadavg: 7.60 7.99 6.81 7/184 17269
/proc/meminfo: memFree=8864392/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1873.9 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 468849 0 0 0 187275 115 0 0 25 0 4 0 593228366 1043402752 174739 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 174739 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 174739 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=479.94 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 47973 21 0 0 25 0 4 0 593228367 1043402752 174739 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=477.38 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123137 0 0 0 47711 27 0 0 25 0 4 0 593228367 1043402752 174739 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1873.9
Current children cumulated vsize (KiB) 1018948

[startup+486.4 s]
/proc/loadavg: 7.36 7.92 6.80 7/184 17269
/proc/meminfo: memFree=8832524/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1886.7 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 469178 0 0 0 188555 115 0 0 25 0 4 0 593228366 1043402752 175068 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 175068 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 175068 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=486.34 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 48613 21 0 0 25 0 4 0 593228367 1043402752 175068 33554432000 4194304 4627427 140736815565520 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=483.78 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123466 0 0 0 48351 27 0 0 25 0 4 0 593228367 1043402752 175068 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1886.7
Current children cumulated vsize (KiB) 1018948

[startup+488.001 s]
/proc/loadavg: 7.36 7.92 6.80 7/184 17269
/proc/meminfo: memFree=8826820/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1889.9 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 469262 0 0 0 188875 115 0 0 25 0 4 0 593228366 1043402752 175152 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 175152 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 175152 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=487.94 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 48773 21 0 0 25 0 4 0 593228367 1043402752 175152 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=485.38 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123550 0 0 0 48511 27 0 0 25 0 4 0 593228367 1043402752 175152 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1889.9
Current children cumulated vsize (KiB) 1018948

[startup+488.801 s]
/proc/loadavg: 7.36 7.92 6.80 7/184 17269
/proc/meminfo: memFree=8910644/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1891.5 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 469301 0 0 0 189035 115 0 0 25 0 4 0 593228366 1043402752 175191 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 175191 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 175191 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=488.74 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 48853 21 0 0 25 0 4 0 593228367 1043402752 175191 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=486.18 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123589 0 0 0 48591 27 0 0 25 0 4 0 593228367 1043402752 175191 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1891.5
Current children cumulated vsize (KiB) 1018948

[startup+489.201 s]
/proc/loadavg: 7.36 7.92 6.80 7/184 17269
/proc/meminfo: memFree=8910644/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1892.3 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 469321 0 0 0 189115 115 0 0 25 0 4 0 593228366 1043402752 175211 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 175211 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 175211 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=489.14 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 48893 21 0 0 25 0 4 0 593228367 1043402752 175211 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=486.58 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123609 0 0 0 48631 27 0 0 25 0 4 0 593228367 1043402752 175211 33554432000 4194304 4627427 140736815565520 18446744073709551615 4322573 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1892.3
Current children cumulated vsize (KiB) 1018948

[startup+489.607 s]
/proc/loadavg: 7.36 7.92 6.80 7/184 17269
/proc/meminfo: memFree=8905560/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1893.12 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 469342 0 0 0 189197 115 0 0 25 0 4 0 593228366 1043402752 175232 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 175232 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 175232 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=489.54 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 48933 21 0 0 25 0 4 0 593228367 1043402752 175232 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=486.99 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123630 0 0 0 48672 27 0 0 25 0 4 0 593228367 1043402752 175232 33554432000 4194304 4627427 140736815565520 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1893.12
Current children cumulated vsize (KiB) 1018948

[startup+489.701 s]
/proc/loadavg: 7.36 7.92 6.80 7/184 17269
/proc/meminfo: memFree=8905560/32950928 swapFree=67111524/67111528
[pid=17249] ppid=17247 vsize=1018948 CPUtime=1893.3 cores=0,2,4,6
/proc/17249/stat : 17249 (strangenight2-m) S 17247 17249 16932 0 -1 4202496 469344 0 0 0 189215 115 0 0 25 0 4 0 593228366 1043402752 175234 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17249/statm: 254737 175234 388 106 0 249708 0
[pid=17249/tid=17250] ppid=17247 vsize=1018948 CPUtime=465.9 cores=0,2,4,6
/proc/17249/task/17250/stat : 17250 (strangenight2-m) S 17247 17249 16932 0 -1 4202560 139721 0 0 0 46556 34 0 0 25 0 4 0 593228367 1043402752 175234 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137832011316 0 0 4096 2 18446604452381550400 0 0 -1 4 0 0 0
[pid=17249/tid=17251] ppid=17247 vsize=1018948 CPUtime=489.64 cores=0,2,4,6
/proc/17249/task/17251/stat : 17251 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 72334 0 0 0 48943 21 0 0 25 0 4 0 593228367 1043402752 175234 33554432000 4194304 4627427 140736815565520 18446744073709551615 47137831986884 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17249/tid=17252] ppid=17247 vsize=1018948 CPUtime=487.08 cores=0,2,4,6
/proc/17249/task/17252/stat : 17252 (strangenight2-m) R 17247 17249 16932 0 -1 4202560 123632 0 0 0 48681 27 0 0 25 0 4 0 593228367 1043402752 175234 33554432000 4194304 4627427 140736815565520 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1893.3
Current children cumulated vsize (KiB) 1018948

Child status: 20
Real time (s): 489.759
CPU time (s): 1893.4
CPU user time (s): 1892.21
CPU system time (s): 1.19082
CPU usage (%): 386.599
Max. virtual memory (cumulated for all children) (KiB): 1149588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1892.21
system time used= 1.19082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469348
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= 33229
involuntary context switches= 9410

runsolver used 0.833873 second user time and 1.84372 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 00:32:57
IDJOB=3288690
IDBENCH=82502
IDSOLVER=1586
FILE ID=node115/3288690-1304029976
RUNJOBID= node115-1304028687-16951
PBS_JOBID= 13170337
Free space on /tmp= 72680 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/manthey/traffic/traffic_3b_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288690-1304029976/watcher-3288690-1304029976 -o /tmp/evaluation-result-3288690-1304029976/solver-3288690-1304029976 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3288690-1304029976.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b8621ec1841e055a001ab32c33f2b68c
RANDOM SEED=434695639

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      10279028 kB
Buffers:       2314280 kB
Cached:       17256864 kB
SwapCached:          4 kB
Active:       10106224 kB
Inactive:     12005772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10279028 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           18652 kB
Writeback:           0 kB
AnonPages:     2540248 kB
Mapped:          15496 kB
Slab:           492416 kB
PageTables:      10040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3068600 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= 72672 MiB
End job on node115 at 2011-04-29 00:41:07