Trace number 3421677

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 40001 5009.02

General information on the benchmark

NameSAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
MD5SUMb3ddb2ee2bb2b83e1c98b2a9018351fc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark930.14
Satisfiable
(Un)Satisfiability was proved
Number of variables4487
Number of clauses18555
Sum of the clauses size54310
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317200
Number of clauses of size 40
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.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3421677-1306700767.cnf'
0.00/0.03	c -- header says num vars:           4487
0.00/0.03	c -- header says num clauses:       18555
0.62/0.09	c -- clauses added:            0 learnts,        18555 normals,            0 xors
0.62/0.09	c -- vars added       4487
0.62/0.09	c Parsing time:  0.01 s
0.62/0.09	c  N st     0         0      4487     17200      1355         0     54310         0   no data   no data
0.62/0.09	c asymm  cl-useful: 0/17200/17200 lits-rem:0 time: 0.03
0.62/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.70/0.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.70/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.70/0.12	c subs with bin:      369  lits-rem:       246  v-fix:    0  time:  0.00 s
0.70/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4487 time:  0.00 s
0.70/0.12	c Removed useless bin:       3  fixed:     0  props:   0.33M  time:  0.00 s
3.00/0.40	c lits-rem:         3  cl-subs:        9  v-elim:   1495  v-fix:    0  time:  0.03 s
3.00/0.40	c Finding binary XORs  T:     0.00 s  found:       0
3.00/0.40	c Finding non-binary XORs:     0.01 s (found:    2561, avg size: 3.6)
3.00/0.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1122 locsubst:    64 time:   0.01
3.00/0.40	c calculated reachability. Time: 0.00
3.00/0.40	c Calc default polars -  time:   0.00 s pos:       3 undec:    2738 neg:    1746
3.00/0.40	c =========================================================================================
3.00/0.40	c types(t): F = full restart, N = normal restart
3.00/0.40	c types(t): S = simplification begin/end, E = solution found
3.00/0.40	c restart types(rt): st = static, dy = dynamic
3.00/0.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.00/0.40	c  B st     0         0      1870       618      1613         0     12009         0   no data   no data
3.00/0.40	c Decided on static restart strategy
3.00/0.40	c  N st     8      4916      1870       618      1613      4531     12009    156111   no data   no data
7.00/0.93	c  N st    10     11300      1870       618      1616      4232     12009     87789   no data   no data
7.00/0.93	c  N st    11     17044      1870       618      1616      9343     12009    198580   no data   no data
11.79/1.57	c  F st    12     25000      1870       618      1616     12005     12009    417351   no data   no data
11.79/1.57	c Replacing       13 vars Replaced      200 lits Time:     0.00 s 
11.79/1.57	c  N st    12     25000      1857       618      1590     12005     11957    417351   no data   no data
14.18/1.82	c Decided on static restart strategy
14.18/1.82	c  N st    18     30001      1857       618      1590     10228     11957    251163   no data   no data
14.18/1.82	c  S st    18     30001      1857       618      1590     10228     11957    251163   no data   no data
14.18/1.84	c  S st    18     30505      1857       618      1590     10689     11957    261305   no data   no data
14.18/1.87	c x-sub:    13 x-cut:      0 vfix:      0 v-elim:    553 locsubst:     0 time:   0.02
14.18/1.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  0.5M T:  0.02
14.18/1.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.18/1.89	c bin-w-bin subsume rem          242 bins  time:  0.00 s
14.18/1.89	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.00 s
14.18/1.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1304 time:  0.00 s
14.18/1.89	c Removed useless bin:       1  fixed:     0  props:   0.20M  time:  0.00 s
14.18/1.89	c lits-rem:         0  cl-subs:        0  v-elim:     81  v-fix:    0  time:  0.00 s
14.18/1.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.18/1.89	c lits-rem:        43  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.00 s
14.18/1.89	c asymm  cl-useful: 0/537/537 lits-rem:0 time: 0.00
14.18/1.89	c calculated reachability. Time: 0.00
14.18/1.89	c  N st    18     30505      1223       537      1380       359     10208      4718   no data   no data
15.79/2.10	c  N st    20     37616      1223       537      1380      4711     10208    168353   no data   no data
17.49/2.25	c  N st    21     44016      1223       537      1380     10614     10208    355828   no data   no data
17.49/2.25	c Finding binary XORs  T:     0.00 s  found:       0
17.49/2.29	c  S st    22     45757      1223       537      1380      6460     10208    168025   no data   no data
18.17/2.31	c  S st    22     46259      1223       537      1380      6909     10208    181068   no data   no data
18.17/2.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    283 locsubst:     0 time:   0.03
18.17/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:    121 P:  0.3M T:  0.01
18.17/2.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18.17/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.17/2.36	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
18.17/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    940 time:  0.00 s
18.17/2.36	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
18.17/2.36	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.00 s
18.17/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.17/2.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
18.17/2.36	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
18.17/2.36	c vivif2 --  cl tried      154 cl shrink        1 lits rem         16 time: 0.00
18.17/2.36	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
18.17/2.36	c calculated reachability. Time: 0.00
18.17/2.36	c  N st    22     46259       938       546      1248       154      9404      1814   no data   no data
20.57/2.68	c  N st    23     60656       938       546      1248      8669      9404    329060   no data   no data
24.57/3.20	c  N st    24     69388       938       546      1248      9343      9404    333492   no data   no data
24.57/3.20	c  S st    24     69388       938       546      1248      9343      9404    333492   no data   no data
25.44/3.21	c  S st    24     69890       938       546      1248      9803      9404    352010   no data   no data
25.44/3.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    149 locsubst:     0 time:   0.06
25.44/3.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.44/3.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.44/3.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.44/3.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.44/3.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    789 time:  0.00 s
25.44/3.29	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
25.44/3.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.44/3.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.44/3.30	c lits-rem:        49  cl-subs:       41  v-elim:      0  v-fix:    0  time:  0.01 s
25.44/3.30	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
25.44/3.30	c vivif2 --  cl tried     1022 cl shrink        6 lits rem          9 time: 0.00
25.44/3.30	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
25.44/3.30	c calculated reachability. Time: 0.00
25.44/3.30	c  N st    24     69890       789       546      1248      1022      9106     30920   no data   no data
34.23/4.32	c  F st    25     87500       789       546      1248     11489      9106    596760   no data   no data
34.23/4.32	c  N st    25     87500       789       546      1248     11489      9106    596760   no data   no data
37.35/4.71	c Decided on static restart strategy
38.95/4.94	c  N st    32     95538       789       546      1248      9755      9106    476026   no data   no data
44.53/5.63	c  N st    34    104837       789       546      1248     18323      9106    955110   no data   no data
44.53/5.63	c  S st    34    104837       789       546      1248     18323      9106    955110   no data   no data
44.53/5.65	c  S st    34    105342       789       546      1248     18786      9106    980336   no data   no data
45.33/5.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     51 locsubst:     0 time:   0.07
45.33/5.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
45.33/5.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.33/5.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.33/5.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.33/5.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    738 time:  0.00 s
45.33/5.74	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
45.33/5.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.33/5.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.97/18.36	c lits-rem:       459  cl-subs:    10715  v-elim:      0  v-fix:    0  time: 12.58 s
145.97/18.36	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
145.97/18.36	c vivif2 --  cl tried     6813 cl shrink      557 lits rem       1626 time: 0.00
145.97/18.37	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
145.97/18.37	c calculated reachability. Time: 0.00
145.97/18.37	c  N st    34    105342       738       546      1248      6813      9004    332930   no data   no data
150.76/19.00	c  N st    35    114940       738       546      1248     15512      9004    818607   no data   no data
159.55/20.05	c  N st    36    129341       738       546      1248     18285      9004    933431   no data   no data
173.13/21.75	c  N st    37    150936       738       546      1248     25562      9004   1314190   no data   no data
177.93/22.33	c  S st    38    158013       738       546      1248     17919      9004    884820   no data   no data
177.93/22.36	c  S st    38    158517       738       546      1248     18390      9004    910520   no data   no data
178.72/22.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      7 locsubst:     0 time:   0.07
178.72/22.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
178.72/22.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
178.72/22.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
178.72/22.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
178.72/22.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
178.72/22.46	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
178.72/22.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
179.52/22.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
372.00/46.69	c lits-rem:       108  cl-subs:     9731  v-elim:      0  v-fix:    0  time: 24.19 s
372.00/46.69	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
372.80/46.70	c vivif2 --  cl tried     8520 cl shrink      432 lits rem       1200 time: 0.01
372.80/46.70	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
372.80/46.70	c calculated reachability. Time: 0.00
372.80/46.70	c  N st    38    158517       731       546      1248      8520      8990    396449   no data   no data
406.35/50.94	c  N st    39    207107       731       546      1248     22233      8990   1095086   no data   no data
429.60/53.86	c  N st    40    237776       731       546      1248     33030      8990   1681566   no data   no data
429.60/53.86	c  S st    40    237776       731       546      1248     33030      8990   1681566   no data   no data
429.60/53.90	c  S st    40    238279       731       546      1248     33494      8990   1707919   no data   no data
430.42/53.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
431.11/54.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
431.11/54.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.11/54.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.11/54.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.11/54.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
431.11/54.01	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
431.11/54.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.92/54.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
983.88/123.24	c lits-rem:       116  cl-subs:    18495  v-elim:      0  v-fix:    0  time: 69.14 s
983.88/123.24	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
983.88/123.26	c vivif2 --  cl tried    14999 cl shrink      786 lits rem       2406 time: 0.02
983.88/123.26	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
983.88/123.26	c calculated reachability. Time: 0.00
983.88/123.26	c  N st    40    238279       731       546      1248     14999      8990    749059   no data   no data
1042.88/130.60	c  F st    41    306251       731       546      1248     21039      8990   1003853   no data   no data
1042.88/130.60	c  N st    41    306251       731       546      1248     21039      8990   1003853   no data   no data
1066.04/133.58	c  N dy    48    335478       731       546      1248     26857      8990   1314198     51.30     54.14
1082.01/135.56	c  N dy    69    357418       731       546      1248     25009      8990   1241286     50.90     48.86
1082.01/135.56	c  S st    69    357418       731       546      1248     25009      8990   1241286     50.90     48.86
1082.81/135.61	c  S st    69    357922       731       546      1248     25463      8990   1266323     50.90   no data
1082.81/135.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1083.61/135.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1083.61/135.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1083.61/135.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1083.61/135.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1083.61/135.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
1083.61/135.73	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
1083.61/135.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1084.41/135.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1191.42/149.26	c lits-rem:       399  cl-subs:     3444  v-elim:      0  v-fix:    0  time: 13.46 s
1191.42/149.26	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
1191.42/149.30	c vivif2 --  cl tried    22019 cl shrink      935 lits rem       1719 time: 0.03
1192.22/149.30	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
1192.22/149.30	c calculated reachability. Time: 0.00
1192.22/149.30	c  N dy    69    357922       731       546      1248     22019      8990   1097412     50.90   no data
1274.48/159.62	c  N dy   182    454987       731       546      1248     39846      8990   1980507     50.98     53.68
1340.79/167.97	c  N dy   196    536883       731       546      1248     34453      8990   1686804     50.14     48.21
1340.79/167.97	c  S st   196    536883       731       546      1248     34453      8990   1686804     50.14     48.21
1341.59/168.03	c  S st   196    537383       731       546      1248     34907      8990   1712585     50.14   no data
1342.39/168.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1342.39/168.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
1342.39/168.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1342.39/168.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1342.39/168.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1342.39/168.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
1342.39/168.14	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
1342.39/168.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1343.26/168.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1418.26/177.60	c lits-rem:      1188  cl-subs:     1751  v-elim:      0  v-fix:    0  time:  9.37 s
1418.26/177.60	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
1418.26/177.64	c vivif2 --  cl tried    33156 cl shrink     1293 lits rem       2185 time: 0.03
1418.26/177.64	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
1418.26/177.64	c calculated reachability. Time: 0.00
1418.26/177.64	c  N dy   196    537383       731       546      1248     33156      8990   1625314     50.14   no data
1434.24/179.63	c  N dy   349    557411       731       546      1248     51510      8990   2677058     50.41     54.21
1650.76/206.72	c  N dy   360    795966       731       546      1248     49520      8990   2391406     48.78     51.53
1659.54/207.87	c  S st   417    806075       731       546      1248     58616      8990   2902598     48.83     48.74
1660.38/207.99	c  S st   417    806578       731       546      1248     59083      8990   2928824     48.83   no data
1661.06/208.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1661.86/208.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
1661.86/208.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1661.86/208.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1661.86/208.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1661.86/208.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
1661.86/208.16	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
1662.65/208.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1663.45/208.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
2357.44/295.20	c lits-rem:      3588  cl-subs:     5980  v-elim:      0  v-fix:    0  time: 86.84 s
2357.44/295.20	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
2357.44/295.26	c vivif2 --  cl tried    53103 cl shrink      507 lits rem        793 time: 0.05
2357.44/295.26	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
2357.44/295.26	c calculated reachability. Time: 0.00
2357.44/295.26	c  N dy   417    806578       731       546      1248     53103      8990   2609862     48.83   no data
2417.33/302.71	c  N dy   528    878447       731       546      1248     50079      8990   2380879     48.74     51.34
2436.51/305.11	c  N dy   655    898580       731       546      1248     68370      8990   3421855     48.84     51.47
2453.27/307.28	c  N dy   780    918584       731       546      1248     51291      8990   2419151     48.95     54.12
2601.81/325.81	c  F st   797   1071875       731       546      1248     76170      8990   3730714     48.44     47.11
2601.81/325.81	c  N st   797   1071875       731       546      1248     76170      8990   3730714     48.44     47.11
2608.29/326.71	c Decided on static restart strategy
2632.17/329.64	c  N st   807   1100177       731       546      1248     62579      8990   2931200     48.44   no data
2676.90/335.28	c  N st   809   1136171       731       546      1248     54665      8990   2796630     48.44   no data
2724.02/341.14	c  N st   810   1168564       731       546      1248     42481      8990   2036106     48.44   no data
2776.73/347.71	c  N st   811   1209867       731       546      1248     79870      8990   4063285     48.44   no data
2776.73/347.71	c  S st   811   1209867       731       546      1248     79870      8990   4063285     48.44   no data
2777.54/347.82	c  S st   811   1210371       731       546      1248     80336      8990   4090938     48.44   no data
2778.34/347.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2779.14/348.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.08
2779.14/348.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2779.14/348.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2779.14/348.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2779.14/348.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
2779.14/348.00	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
2779.14/348.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2780.74/348.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
8322.93/1042.28	c lits-rem:       285  cl-subs:    53145  v-elim:      0  v-fix:    0  time: 694.10 s
8322.93/1042.29	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
8323.73/1042.32	c vivif2 --  cl tried    27191 cl shrink     1681 lits rem       4049 time: 0.03
8323.73/1042.32	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
8323.73/1042.33	c calculated reachability. Time: 0.00
8323.73/1042.33	c  N st   811   1210371       731       546      1248     27191      8990   1347787     48.44   no data
8423.63/1054.85	c  N st   812   1283254       731       546      1248     52959      8990   2570592     48.44   no data
8583.26/1074.81	c  N st   813   1392577       731       546      1248     67074      8990   3273362     48.44   no data
8827.74/1105.49	c  N st   814   1556562       731       546      1248     76732      8990   3757560     48.44   no data
9052.89/1133.66	c  N st   815   1710371       731       546      1248     70382      8990   3442339     48.44   no data
9052.89/1133.66	c  S st   815   1710371       731       546      1248     70382      8990   3442339     48.44   no data
9053.69/1133.75	c  S st   815   1710874       731       546      1248     70843      8990   3468555     48.44   no data
9054.49/1133.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
9055.28/1133.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
9055.28/1133.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9055.28/1133.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9055.28/1133.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9055.28/1133.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
9055.28/1133.91	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
9055.28/1133.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
9056.16/1134.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
12066.13/1510.91	c lits-rem:       193  cl-subs:    43094  v-elim:      0  v-fix:    0  time: 376.87 s
12066.13/1510.91	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
12066.13/1510.95	c vivif2 --  cl tried    27749 cl shrink     1070 lits rem       2292 time: 0.04
12066.13/1510.96	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.01
12066.13/1510.96	c calculated reachability. Time: 0.00
12066.13/1510.96	c  N st   815   1710874       731       546      1248     27749      8990   1317981     48.44   no data
12703.42/1590.76	c  N st   816   2079839       731       546      1248    102758      8990   5106579     48.44   no data
12959.79/1622.86	c  N st   817   2210874       731       546      1248    111253      8990   5572757     48.44   no data
12959.79/1622.86	c  S st   817   2210874       731       546      1248    111253      8990   5572757     48.44   no data
12961.39/1623.01	c  S st   817   2211377       731       546      1248    111716      8990   5598870     48.44   no data
12962.19/1623.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
12962.19/1623.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.09
12962.19/1623.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12962.19/1623.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12962.99/1623.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12962.99/1623.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
12962.99/1623.20	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
12962.99/1623.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
12964.60/1623.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
22259.48/2787.45	c lits-rem:       139  cl-subs:    62882  v-elim:      0  v-fix:    0  time: 1163.98 s
22259.48/2787.45	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
22260.16/2787.50	c vivif2 --  cl tried    48834 cl shrink     1369 lits rem       3286 time: 0.05
22260.16/2787.50	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
22260.16/2787.50	c calculated reachability. Time: 0.00
22260.16/2787.50	c  N st   817   2211377       731       546      1248     48834      8990   2451525     48.44   no data
23150.67/2899.08	c  N st   818   2711377       731       546      1248     87455      8990   4189122     48.44   no data
23150.67/2899.08	c  S st   818   2711377       731       546      1248     87455      8990   4189122     48.44   no data
23152.26/2899.21	c  S st   818   2711878       731       546      1248     87888      8990   4213952     48.44   no data
23153.07/2899.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
23153.87/2899.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.10
23153.87/2899.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23153.87/2899.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23153.87/2899.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23153.87/2899.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
23153.87/2899.41	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
23153.87/2899.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
23155.57/2899.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
29134.85/3648.33	c lits-rem:       451  cl-subs:    50463  v-elim:      0  v-fix:    0  time: 748.73 s
29134.85/3648.33	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
29134.85/3648.38	c vivif2 --  cl tried    37425 cl shrink     1165 lits rem       2631 time: 0.04
29134.85/3648.38	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.01
29134.85/3648.38	c calculated reachability. Time: 0.00
29134.85/3648.38	c  N st   818   2711878       731       546      1248     37425      8990   1730171     48.44   no data
30138.82/3774.11	c  N st   819   3211878       731       546      1248    101597      8990   4879829     48.44   no data
30138.82/3774.11	c  S st   819   3211878       731       546      1248    101597      8990   4879829     48.44   no data
30141.12/3774.30	c  S st   819   3212381       731       546      1248    102060      8990   4905266     48.44   no data
30141.92/3774.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
30142.72/3774.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
30142.72/3774.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30142.72/3774.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30142.72/3774.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30142.72/3774.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
30142.72/3774.54	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
30143.52/3774.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
30145.12/3774.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
37622.32/4711.12	c lits-rem:       359  cl-subs:    50202  v-elim:      0  v-fix:    0  time: 936.33 s
37622.32/4711.12	c vivif2 --  cl tried      546 cl shrink        0 lits rem          0 time: 0.00
37622.32/4711.17	c vivif2 --  cl tried    51858 cl shrink      966 lits rem       2180 time: 0.06
37622.32/4711.18	c asymm  cl-useful: 0/546/546 lits-rem:0 time: 0.00
37622.32/4711.18	c calculated reachability. Time: 0.00
37622.32/4711.18	c  N st   819   3212381       731       546      1248     51858      8990   2438097     48.44   no data
38646.19/4839.33	c  N st   820   3712383       731       546      1248     81669      8990   3764623     48.44   no data
38646.19/4839.33	c  S st   820   3712383       731       546      1248     81669      8990   3764623     48.44   no data
38646.99/4839.44	c  S st   820   3712883       731       546      1248     82096      8990   3787833     48.44   no data
38647.79/4839.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
38648.59/4839.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.08
38648.59/4839.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
38648.59/4839.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38648.59/4839.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38648.59/4839.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.00 s
38648.59/4839.62	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
38648.59/4839.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
38650.19/4839.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421677-1306700767/watcher-3421677-1306700767 -o /tmp/evaluation-result-3421677-1306700767/solver-3421677-1306700767 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421677-1306700767.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.05 8.04 8.00 2/366 17606
/proc/meminfo: memFree=22680204/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=92144 CPUtime=0.03 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 419 0 0 0 3 0 0 0 25 0 8 0 781677161 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691225 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 23036 360 302 95 0 18018 0
[pid=17606/tid=17607] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=92144 CPUtime=0 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 781677162 94355456 360 33554432000 4194304 4580107 140736267240912 18446744073709551615 47340456691219 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.091488 s]
/proc/loadavg: 8.05 8.04 8.00 2/366 17606
/proc/meminfo: memFree=22680204/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=559732 CPUtime=0.62 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) D 17604 17606 17397 0 -1 4202496 7023 0 0 0 54 8 0 0 18 0 8 0 781677161 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 230809209015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 139933 6435 359 95 0 134915 0
[pid=17606/tid=17607] ppid=17604 vsize=559732 CPUtime=0.07 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 852 0 0 0 6 1 0 0 18 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 230808826565 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=559732 CPUtime=0.04 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 921 0 0 0 4 0 0 0 18 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=559732 CPUtime=0.07 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 894 0 0 0 6 1 0 0 18 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=559732 CPUtime=0.07 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 611 0 0 0 7 0 0 0 17 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=559732 CPUtime=0.07 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 837 0 0 0 7 0 0 0 18 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=559732 CPUtime=0.07 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 938 0 0 0 6 1 0 0 18 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=559732 CPUtime=0.07 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 709 0 0 0 7 0 0 0 17 0 8 0 781677162 573165568 6435 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 559732

[startup+0.106439 s]
/proc/loadavg: 8.05 8.04 8.00 2/366 17606
/proc/meminfo: memFree=22680204/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=561232 CPUtime=0.7 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 7877 0 0 0 62 8 0 0 18 0 8 0 781677161 574701568 7289 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 140308 7408 363 95 0 135290 0
[pid=17606/tid=17607] ppid=17604 vsize=561232 CPUtime=0.09 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 925 0 0 0 8 1 0 0 18 0 8 0 781677162 574701568 7610 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=562048 CPUtime=0.06 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 1406 0 0 0 6 0 0 0 18 0 8 0 781677162 575537152 8016 33554432000 4194304 4580107 140736267240912 18446744073709551615 4515971 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=562048 CPUtime=0.08 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 1203 0 0 0 7 1 0 0 18 0 8 0 781677162 575537152 8033 33554432000 4194304 4580107 140736267240912 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=562048 CPUtime=0.09 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 760 0 0 0 8 1 0 0 17 0 8 0 781677162 575537152 8050 33554432000 4194304 4580107 140736267240912 18446744073709551615 230808862823 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=562180 CPUtime=0.08 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 928 0 0 0 8 0 0 0 18 0 8 0 781677162 575672320 8067 33554432000 4194304 4580107 140736267240912 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=562180 CPUtime=0.09 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) D 17604 17606 17397 0 -1 4202560 1271 0 0 0 8 1 0 0 18 0 8 0 781677162 575672320 8162 33554432000 4194304 4580107 140736267240912 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=563784 CPUtime=0.08 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 716 0 0 0 8 0 0 0 18 0 8 0 781677162 577314816 9157 33554432000 4194304 4580107 140736267240912 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 561232

[startup+0.300998 s]
/proc/loadavg: 8.05 8.04 8.00 2/366 17606
/proc/meminfo: memFree=22680204/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=569360 CPUtime=2.2 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 18706 0 0 0 209 11 0 0 18 0 8 0 781677161 583024640 15912 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 142340 15912 379 95 0 137322 0
[pid=17606/tid=17607] ppid=17604 vsize=569360 CPUtime=0.27 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2322 0 0 0 25 2 0 0 18 0 8 0 781677162 583024640 15912 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=569360 CPUtime=0.24 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2572 0 0 0 24 0 0 0 18 0 8 0 781677162 583024640 15912 33554432000 4194304 4580107 140736267240912 18446744073709551615 4318305 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=569360 CPUtime=0.26 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2666 0 0 0 25 1 0 0 18 0 8 0 781677162 583024640 15912 33554432000 4194304 4580107 140736267240912 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=569360 CPUtime=0.27 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2302 0 0 0 26 1 0 0 18 0 8 0 781677162 583024640 15912 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=569360 CPUtime=0.26 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2594 0 0 0 26 0 0 0 18 0 8 0 781677162 583024640 15912 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=569360 CPUtime=0.27 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2320 0 0 0 26 1 0 0 18 0 8 0 781677162 583024640 15913 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=569360 CPUtime=0.27 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 808 0 0 0 27 0 0 0 18 0 8 0 781677162 583024640 15913 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 569360

[startup+0.700926 s]
/proc/loadavg: 8.05 8.04 8.00 2/366 17606
/proc/meminfo: memFree=22680204/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=573248 CPUtime=5.41 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 22342 0 0 0 529 12 0 0 18 0 8 0 781677161 587005952 15595 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 143312 15595 379 95 0 138294 0
[pid=17606/tid=17607] ppid=17604 vsize=573248 CPUtime=0.67 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2705 0 0 0 65 2 0 0 18 0 8 0 781677162 587005952 15595 33554432000 4194304 4580107 140736267240912 18446744073709551615 4321144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=573248 CPUtime=0.64 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 3002 0 0 0 64 0 0 0 18 0 8 0 781677162 587005952 15595 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=573248 CPUtime=0.66 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 3276 0 0 0 65 1 0 0 18 0 8 0 781677162 587005952 15595 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=573248 CPUtime=0.67 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2631 0 0 0 66 1 0 0 18 0 8 0 781677162 587005952 15596 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=573248 CPUtime=0.66 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 3148 0 0 0 66 0 0 0 18 0 8 0 781677162 587005952 15596 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=573248 CPUtime=0.66 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2887 0 0 0 65 1 0 0 18 0 8 0 781677162 587005952 15596 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=573248 CPUtime=0.67 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 938 0 0 0 67 0 0 0 18 0 8 0 781677162 587005952 15596 33554432000 4194304 4580107 140736267240912 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 573248

[startup+1.50078 s]
/proc/loadavg: 8.05 8.04 8.00 9/374 17614
/proc/meminfo: memFree=22616460/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=576372 CPUtime=11.79 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 28843 0 0 0 1166 13 0 0 19 0 8 0 781677161 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295461 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 144093 17702 381 95 0 139075 0
[pid=17606/tid=17607] ppid=17604 vsize=576372 CPUtime=1.47 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 3651 0 0 0 145 2 0 0 19 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=576372 CPUtime=1.43 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 4172 0 0 0 143 0 0 0 19 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=576372 CPUtime=1.46 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 4159 0 0 0 145 1 0 0 19 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=576372 CPUtime=1.47 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 3345 0 0 0 146 1 0 0 19 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=576372 CPUtime=1.47 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 4223 0 0 0 146 1 0 0 20 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=576372 CPUtime=1.47 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 3586 0 0 0 145 2 0 0 19 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4316784 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=576372 CPUtime=1.48 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 1444 0 0 0 147 1 0 0 19 0 8 0 781677162 590204928 17702 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.79
Current children cumulated vsize (KiB) 576372

[startup+3.10049 s]
/proc/loadavg: 8.04 8.04 8.00 9/374 17615
/proc/meminfo: memFree=22606664/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=542136 CPUtime=24.57 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 42815 0 0 0 2441 16 0 0 24 0 8 0 781677161 555147264 21894 33554432000 4194304 4580107 140736267240912 18446744073709551615 4304867 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 135534 21894 381 95 0 130516 0
[pid=17606/tid=17607] ppid=17604 vsize=542136 CPUtime=3.07 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 5568 0 0 0 304 3 0 0 24 0 8 0 781677162 555147264 21894 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=542136 CPUtime=3.02 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 5836 0 0 0 301 1 0 0 25 0 8 0 781677162 555147264 21894 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295146 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=542136 CPUtime=3.07 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 5985 0 0 0 305 2 0 0 25 0 8 0 781677162 555147264 21895 33554432000 4194304 4580107 140736267240912 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=542136 CPUtime=3.06 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 4902 0 0 0 305 1 0 0 25 0 8 0 781677162 555147264 21895 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=542136 CPUtime=3.07 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 5696 0 0 0 306 1 0 0 24 0 8 0 781677162 555147264 21895 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=542136 CPUtime=3.07 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 5180 0 0 0 305 2 0 0 24 0 8 0 781677162 555147264 21895 33554432000 4194304 4580107 140736267240912 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=542136 CPUtime=3.07 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 2814 0 0 0 306 1 0 0 24 0 8 0 781677162 555147264 21895 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 542136

[startup+6.3009 s]
/proc/loadavg: 8.04 8.04 8.00 9/374 17615
/proc/meminfo: memFree=22558568/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=573748 CPUtime=50.13 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 69392 0 0 0 4992 21 0 0 25 0 8 0 781677161 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17606/statm: 143437 36875 381 95 0 138419 0
[pid=17606/tid=17607] ppid=17604 vsize=573748 CPUtime=6.27 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 8096 0 0 0 624 3 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=573748 CPUtime=6.18 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 9181 0 0 0 617 1 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=573748 CPUtime=6.27 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 9144 0 0 0 624 3 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=573748 CPUtime=6.27 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 8577 0 0 0 625 2 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=573748 CPUtime=6.26 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 8741 0 0 0 625 1 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=573748 CPUtime=6.26 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 7645 0 0 0 624 2 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=573748 CPUtime=6.27 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 4175 0 0 0 626 1 0 0 25 0 8 0 781677162 587517952 36875 33554432000 4194304 4580107 140736267240912 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 2 0 0 0

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


[startup+4722.32 s]
/proc/loadavg: 8.01 8.04 8.00 9/374 17752
/proc/meminfo: memFree=20487256/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3040688 CPUtime=37711.9 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 2873066 0 0 0 3768965 2224 0 0 25 0 8 0 781677161 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 760172 547335 390 95 0 755154 0
[pid=17606/tid=17607] ppid=17604 vsize=3040688 CPUtime=4721.29 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 471895 234 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3040688 CPUtime=4659.62 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 465584 378 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3040688 CPUtime=4722.43 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 352303 0 0 0 471954 289 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3040688 CPUtime=4722.4 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 383015 0 0 0 471916 324 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3040688 CPUtime=4722.36 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 314461 0 0 0 471998 238 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3040688 CPUtime=4722.41 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 497503 0 0 0 471898 343 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3040688 CPUtime=4718.91 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 253909 0 0 0 471609 282 0 0 25 0 8 0 781677162 3113664512 547335 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37711.9
Current children cumulated vsize (KiB) 3040688

[startup+4782.3 s]
/proc/loadavg: 8.06 8.04 8.00 9/374 17754
/proc/meminfo: memFree=20352084/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3167668 CPUtime=38191 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 2932154 0 0 0 3816826 2270 0 0 25 0 8 0 781677161 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4295272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 791917 581731 390 95 0 786899 0
[pid=17606/tid=17607] ppid=17604 vsize=3167668 CPUtime=4781.26 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 477892 234 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3167668 CPUtime=4718.8 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 471502 378 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3167668 CPUtime=4782.41 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 352303 0 0 0 477952 289 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3167668 CPUtime=4782.39 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 392279 0 0 0 477907 332 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3167668 CPUtime=4782.35 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 334248 0 0 0 477980 255 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3167668 CPUtime=4782.4 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 504079 0 0 0 477892 348 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3167668 CPUtime=4778.89 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 255708 0 0 0 477605 284 0 0 25 0 8 0 781677162 3243692032 581731 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38191
Current children cumulated vsize (KiB) 3167668

[startup+4842.3 s]
/proc/loadavg: 8.02 8.03 8.00 9/374 17756
/proc/meminfo: memFree=20373896/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3271484 CPUtime=38670.1 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 2953791 0 0 0 3864722 2292 0 0 25 0 8 0 781677161 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 817871 575677 390 95 0 812853 0
[pid=17606/tid=17607] ppid=17604 vsize=3271484 CPUtime=4841.25 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 483891 234 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3271484 CPUtime=4777.98 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 477420 378 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3271484 CPUtime=4842.41 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 352303 0 0 0 483952 289 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3271484 CPUtime=4842.39 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 393136 0 0 0 483906 333 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3271484 CPUtime=4842.35 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 334248 0 0 0 483980 255 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3271484 CPUtime=4842.4 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 520353 0 0 0 483878 362 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3271484 CPUtime=4838.9 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 255828 0 0 0 483605 285 0 0 25 0 8 0 781677162 3349999616 575677 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38670.1
Current children cumulated vsize (KiB) 3271484

[startup+4902.3 s]
/proc/loadavg: 8.05 8.04 8.00 9/374 17757
/proc/meminfo: memFree=20316720/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3231192 CPUtime=39149.3 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 2973239 0 0 0 3912620 2312 0 0 25 0 8 0 781677161 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 807798 590089 390 95 0 802780 0
[pid=17606/tid=17607] ppid=17604 vsize=3231192 CPUtime=4901.24 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 489890 234 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3231192 CPUtime=4837.17 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 483339 378 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3231192 CPUtime=4902.41 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 356007 0 0 0 489947 294 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3231192 CPUtime=4902.39 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 393136 0 0 0 489906 333 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3231192 CPUtime=4902.36 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 334248 0 0 0 489981 255 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3231192 CPUtime=4902.4 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 534653 0 0 0 489865 375 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3231192 CPUtime=4898.89 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 257272 0 0 0 489602 287 0 0 25 0 8 0 781677162 3308740608 590089 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39149.3
Current children cumulated vsize (KiB) 3231192

[startup+4962.3 s]
/proc/loadavg: 8.06 8.04 8.00 9/374 17759
/proc/meminfo: memFree=20321792/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3167092 CPUtime=39628.5 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 2987907 0 0 0 3960525 2326 0 0 25 0 8 0 781677161 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 791773 588411 390 95 0 786755 0
[pid=17606/tid=17607] ppid=17604 vsize=3167092 CPUtime=4961.22 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 495888 234 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3167092 CPUtime=4896.37 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 489259 378 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3167092 CPUtime=4962.41 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 366331 0 0 0 495937 304 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3167092 CPUtime=4962.39 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 393136 0 0 0 495906 333 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3167092 CPUtime=4962.36 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 334248 0 0 0 495981 255 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3167092 CPUtime=4962.4 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 538625 0 0 0 495862 378 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3167092 CPUtime=4958.89 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 257644 0 0 0 495601 288 0 0 25 0 8 0 781677162 3243102208 588411 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39628.5
Current children cumulated vsize (KiB) 3167092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5008.9 s]
/proc/loadavg: 8.08 8.05 8.00 9/374 17760
/proc/meminfo: memFree=20364188/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3279400 CPUtime=40000.8 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 3015156 0 0 0 3997726 2353 0 0 25 0 8 0 781677161 3358105600 578119 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 819850 578119 390 95 0 814832 0
[pid=17606/tid=17607] ppid=17604 vsize=3279400 CPUtime=5007.83 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 500549 234 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3279400 CPUtime=4942.38 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 493860 378 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3279400 CPUtime=5009.04 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 376843 0 0 0 500590 314 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3279400 CPUtime=5009.01 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 393136 0 0 0 500568 333 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406324 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3279400 CPUtime=5008.97 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 338531 0 0 0 500638 259 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3279400 CPUtime=5009.02 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 549626 0 0 0 500513 389 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3279400 CPUtime=5005.51 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 259099 0 0 0 500261 290 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 3279400

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+5008.9 s]
/proc/loadavg: 8.08 8.05 8.00 9/374 17760
/proc/meminfo: memFree=20364188/32951124 swapFree=37160472/67111528
[pid=17606] ppid=17604 vsize=3279400 CPUtime=40000.8 cores=0-7
/proc/17606/stat : 17606 (strangenight2-m) R 17604 17606 17397 0 -1 4202496 3015156 0 0 0 3997726 2353 0 0 25 0 8 0 781677161 3358105600 578119 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17606/statm: 819850 578119 390 95 0 814832 0
[pid=17606/tid=17607] ppid=17604 vsize=3279400 CPUtime=5007.83 cores=0-7
/proc/17606/task/17607/stat : 17607 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 386779 0 0 0 500549 234 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17606/tid=17608] ppid=17604 vsize=3279400 CPUtime=4942.38 cores=0-7
/proc/17606/task/17608/stat : 17608 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 460550 0 0 0 493860 378 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17606/tid=17609] ppid=17604 vsize=3279400 CPUtime=5009.04 cores=0-7
/proc/17606/task/17609/stat : 17609 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 376843 0 0 0 500590 314 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17606/tid=17610] ppid=17604 vsize=3279400 CPUtime=5009.01 cores=0-7
/proc/17606/task/17610/stat : 17610 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 393136 0 0 0 500568 333 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4406324 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17606/tid=17611] ppid=17604 vsize=3279400 CPUtime=5008.97 cores=0-7
/proc/17606/task/17611/stat : 17611 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 338531 0 0 0 500638 259 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17606/tid=17612] ppid=17604 vsize=3279400 CPUtime=5009.02 cores=0-7
/proc/17606/task/17612/stat : 17612 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 549626 0 0 0 500513 389 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17606/tid=17613] ppid=17604 vsize=3279400 CPUtime=5005.51 cores=0-7
/proc/17606/task/17613/stat : 17613 (strangenight2-m) R 17604 17606 17397 0 -1 4202560 259099 0 0 0 500261 290 0 0 25 0 8 0 781677162 3358105600 578121 33554432000 4194304 4580107 140736267240912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 3279400

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.02
CPU time (s): 40001
CPU user time (s): 39977.3
CPU system time (s): 23.6314
CPU usage (%): 798.579
Max. virtual memory (cumulated for all children) (KiB): 3456760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39977.3
system time used= 23.6314
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3015160
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= 12916
involuntary context switches= 187626

runsolver used 13.8739 second user time and 54.9886 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-29 22:26:07
IDJOB=3421677
IDBENCH=84761
IDSOLVER=1878
FILE ID=node104/3421677-1306700767
RUNJOBID= node104-1306695757-17411
PBS_JOBID= 13471890
Free space on /tmp= 73416 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/handmade/marijn/equilarge-l/equilarge_l2.used-as.sat04-894.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421677-1306700767/watcher-3421677-1306700767 -o /tmp/evaluation-result-3421677-1306700767/solver-3421677-1306700767 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421677-1306700767.cnf

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

MD5SUM BENCH= b3ddb2ee2bb2b83e1c98b2a9018351fc
RANDOM SEED=127842169

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22680492 kB
Buffers:        370896 kB
Cached:        7815204 kB
SwapCached:     152248 kB
Active:        3465416 kB
Inactive:      6494880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22680492 kB
SwapTotal:    67111528 kB
SwapFree:     37160472 kB
Dirty:            5864 kB
Writeback:           0 kB
AnonPages:     1635896 kB
Mapped:          10612 kB
Slab:           154624 kB
PageTables:      88636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87700544 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= 73412 MiB
End job on node104 at 2011-05-29 23:49:38