Trace number 3366980

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) 4800.42 1203.55

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
MD5SUMe0b064ae815c6a8bb8a9898180562bec
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables153
Number of clauses316
Sum of the clauses size948
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3316
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366980-1305412650.cnf'
0.00/0.01	c -- header says num vars:            153
0.00/0.01	c -- header says num clauses:         316
0.00/0.01	c -- clauses added:            0 learnts,          316 normals,            0 xors
0.00/0.01	c -- vars added        153
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       153       316         0         0       948         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:       5 undec:     143 neg:       5
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       153       316         0         0       948         0   no data   no data
0.00/0.04	c Decided on static restart strategy
0.22/0.16	c  N st     8      4914       153       316         0      4409       948     95671   no data   no data
0.77/0.25	c  N st    10     11298       153       316         0      4021       948     68692   no data   no data
1.57/0.41	c  N st    11     17042       153       316         0      9069       948    196990   no data   no data
2.37/0.67	c  F st    12     25002       153       316         0     11023       948    227262   no data   no data
2.37/0.67	c  N st    12     25002       153       316         0     11023       948    227262   no data   no data
2.77/0.79	c Decided on static restart strategy
2.77/0.79	c  N st    18     30003       153       316         0      9569       948    164563   no data   no data
2.77/0.79	c  S st    18     30003       153       316         0      9569       948    164563   no data   no data
3.17/0.81	c  S st    18     30504       153       316         0     10057       948    175449   no data   no data
3.17/0.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.17/0.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.17/0.82	c blocked clauses removed:        0 vars:      0 tried:         153 T: 0.00 s
3.17/0.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
3.17/0.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.89	c lits-rem:       778  cl-subs:      520  v-elim:      0  v-fix:    0  time:  0.06 s
3.17/0.89	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.00
3.17/0.89	c calculated reachability. Time: 0.00
3.17/0.89	c  N st    18     30504       153       316         0      9537       948    161533   no data   no data
4.40/1.12	c  N st    20     37615       153       316         0      8785       948    138149   no data   no data
5.16/1.33	c  N st    21     44016       153       316         0     14567       948    292829   no data   no data
5.56/1.40	c  S st    22     45757       153       316         0      8194       948    117564   no data   no data
5.56/1.42	c  S st    22     46261       153       316         0      8685       948    127638   no data   no data
5.56/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.56/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
5.56/1.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.44	c lits-rem:       151  cl-subs:      107  v-elim:      0  v-fix:    0  time:  0.01 s
5.56/1.44	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
5.56/1.44	c vivif2 --  cl tried     8578 cl shrink        0 lits rem          0 time: 0.00
5.56/1.44	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.00
5.56/1.44	c calculated reachability. Time: 0.00
5.56/1.44	c  N st    22     46261       153       316         0      8578       948    124865   no data   no data
7.96/2.05	c  N st    23     60660       153       316         0     12512       948    224453   no data   no data
9.55/2.41	c  N st    24     69391       153       316         0     10419       948    155526   no data   no data
9.55/2.41	c  S st    24     69391       153       316         0     10419       948    155526   no data   no data
9.55/2.44	c  S st    24     69895       153       316         0     10912       948    165987   no data   no data
9.55/2.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
9.55/2.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.48	c lits-rem:       438  cl-subs:      209  v-elim:      0  v-fix:    0  time:  0.03 s
9.55/2.48	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
9.55/2.48	c vivif2 --  cl tried    10703 cl shrink        0 lits rem          0 time: 0.00
9.55/2.48	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.00
9.55/2.48	c calculated reachability. Time: 0.00
9.55/2.48	c  N st    24     69895       153       316         0     10703       948    159688   no data   no data
12.34/3.17	c  F st    25     87500       153       316         0     15211       948    265090   no data   no data
12.34/3.17	c  N st    25     87500       153       316         0     15211       948    265090   no data   no data
13.18/3.35	c Decided on static restart strategy
13.53/3.47	c  N st    32     95540       153       316         0     22534       948    432401   no data   no data
15.14/3.87	c  N st    34    104844       153       316         0     19741       948    378902   no data   no data
15.14/3.87	c  S st    34    104844       153       316         0     19741       948    378902   no data   no data
15.54/3.92	c  S st    34    105347       153       316         0     20222       948    389318   no data   no data
15.54/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
15.54/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.12	c lits-rem:      1277  cl-subs:      484  v-elim:      0  v-fix:    0  time:  0.18 s
16.33/4.12	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
16.33/4.12	c vivif2 --  cl tried    19738 cl shrink        0 lits rem          0 time: 0.00
16.33/4.12	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.00
16.33/4.13	c calculated reachability. Time: 0.00
16.33/4.13	c  N st    34    105347       153       316         0     19738       948    372230   no data   no data
17.93/4.59	c  N st    35    114946       153       316         0     15996       948    263144   no data   no data
20.72/5.27	c  N st    36    129344       153       316         0     15235       948    215623   no data   no data
24.31/6.15	c  N st    37    150940       153       316         0     19187       948    301838   no data   no data
25.51/6.46	c  S st    38    158021       153       316         0     25353       948    462815   no data   no data
25.51/6.50	c  S st    38    158524       153       316         0     25838       948    473683   no data   no data
25.51/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.93/6.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.93/6.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.93/6.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.93/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.93/6.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
25.93/6.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.93/6.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.93/6.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.70/7.22	c lits-rem:      3544  cl-subs:     2979  v-elim:      0  v-fix:    0  time:  0.69 s
28.70/7.22	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
28.70/7.22	c vivif2 --  cl tried    22859 cl shrink        0 lits rem          0 time: 0.00
28.70/7.23	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.00
28.70/7.23	c calculated reachability. Time: 0.00
28.70/7.23	c  N st    38    158524       153       316         0     22859       948    384581   no data   no data
39.86/10.00	c  N st    39    207112       153       316         0     18639       948    280418   no data   no data
46.65/11.72	c  N st    40    237786       153       316         0     27712       948    519990   no data   no data
46.65/11.72	c  S st    40    237786       153       316         0     27712       948    519990   no data   no data
46.65/11.77	c  S st    40    238288       153       316         0     28198       948    531362   no data   no data
46.65/11.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.65/11.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
46.65/11.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.65/11.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.65/11.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.65/11.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
46.65/11.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.65/11.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.05/11.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.03/13.37	c lits-rem:      5239  cl-subs:     3490  v-elim:      0  v-fix:    0  time:  1.56 s
53.03/13.37	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
53.03/13.37	c vivif2 --  cl tried    24708 cl shrink        0 lits rem          0 time: 0.00
53.03/13.38	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.01
53.03/13.38	c calculated reachability. Time: 0.00
53.03/13.38	c  N st    40    238288       153       316         0     24708       948    425667   no data   no data
70.58/17.77	c  F st    41    306251       153       316         0     26636       948    460799   no data   no data
70.58/17.77	c  N st    41    306251       153       316         0     26636       948    460799   no data   no data
71.77/18.04	c Decided on static restart strategy
76.97/19.30	c  N st    51    334554       153       316         0     30861       948    522456   no data   no data
82.55/20.78	c  N st    53    357432       153       316         0     28891       948    474769   no data   no data
82.55/20.78	c  S st    53    357432       153       316         0     28891       948    474769   no data   no data
82.98/20.83	c  S st    53    357934       153       316         0     29379       948    485893   no data   no data
82.98/20.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.98/20.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.98/20.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.98/20.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.98/20.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.98/20.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
82.98/20.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.98/20.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.98/20.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.94/21.37	c lits-rem:      3174  cl-subs:     1396  v-elim:      0  v-fix:    0  time:  0.51 s
84.94/21.37	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
84.94/21.37	c vivif2 --  cl tried    27983 cl shrink        0 lits rem          0 time: 0.01
84.94/21.38	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.01
84.94/21.38	c calculated reachability. Time: 0.00
84.94/21.38	c  N st    53    357934       153       316         0     27983       948    445201   no data   no data
92.52/23.27	c  N st    54    390327       153       316         0     32832       948    551287   no data   no data
106.48/26.76	c  N st    55    438917       153       316         0     27408       948    406306   no data   no data
125.23/31.49	c  N st    56    511799       153       316         0     38220       948    677898   no data   no data
132.01/33.13	c  N st    57    536901       153       316         0     33842       948    536125   no data   no data
132.01/33.13	c  S st    57    536901       153       316         0     33842       948    536125   no data   no data
132.01/33.19	c  S st    57    537405       153       316         0     34338       948    548080   no data   no data
132.01/33.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.41/33.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.41/33.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.41/33.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.41/33.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.41/33.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
132.41/33.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.41/33.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.41/33.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.21/33.98	c lits-rem:      5009  cl-subs:     1407  v-elim:      0  v-fix:    0  time:  0.76 s
135.21/33.98	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
135.21/33.99	c vivif2 --  cl tried    32931 cl shrink        0 lits rem          0 time: 0.01
135.21/33.99	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.01
135.21/34.00	c calculated reachability. Time: 0.00
135.21/34.00	c  N st    57    537405       153       316         0     32931       948    501370   no data   no data
187.46/47.08	c  N st    58    701390       153       316         0     58107       948   1091473   no data   no data
224.56/56.30	c  N st    59    806109       153       316         0     54096       948   1042060   no data   no data
224.56/56.30	c  S st    59    806109       153       316         0     54096       948   1042060   no data   no data
224.96/56.40	c  S st    59    806612       153       316         0     54592       948   1054118   no data   no data
224.96/56.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
224.96/56.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
224.96/56.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
224.96/56.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.96/56.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.96/56.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
224.96/56.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.96/56.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
224.96/56.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.09/62.24	c lits-rem:     13266  cl-subs:     5492  v-elim:      0  v-fix:    0  time:  5.77 s
248.09/62.24	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
248.09/62.25	c vivif2 --  cl tried    49100 cl shrink        0 lits rem          0 time: 0.01
248.09/62.27	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.02
248.09/62.27	c calculated reachability. Time: 0.00
248.09/62.27	c  N st    59    806612       153       316         0     49100       948    876725   no data   no data
348.62/87.43	c  F st    60   1071878       153       316         0     62544       948   1162690   no data   no data
348.62/87.43	c  N st    60   1071878       153       316         0     62544       948   1162690   no data   no data
351.06/88.02	c Decided on static restart strategy
359.42/90.19	c  N st    70   1100184       153       316         0     50231       948    788271   no data   no data
373.00/93.57	c  N st    72   1136178       153       316         0     41681       948    558490   no data   no data
385.33/96.67	c  N st    73   1168571       153       316         0     71222       948   1442595   no data   no data
406.06/101.86	c  N st    74   1209918       153       316         0     66062       948   1234451   no data   no data
406.06/101.86	c  S st    74   1209918       153       316         0     66062       948   1234451   no data   no data
406.86/102.07	c  S st    74   1210421       153       316         0     66558       948   1247757   no data   no data
406.86/102.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
407.26/102.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.05
407.26/102.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
407.26/102.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
407.26/102.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
407.26/102.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
407.26/102.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
407.26/102.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
407.26/102.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.56/113.21	c lits-rem:      7242  cl-subs:     5041  v-elim:      0  v-fix:    0  time: 11.03 s
451.56/113.21	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
451.56/113.23	c vivif2 --  cl tried    61517 cl shrink        0 lits rem          0 time: 0.02
451.56/113.26	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.03
451.56/113.26	c calculated reachability. Time: 0.00
451.56/113.26	c  N st    74   1210421       153       316         0     61517       948   1083746   no data   no data
485.42/121.71	c  N st    75   1283305       153       316         0     84136       948   1711188   no data   no data
540.06/135.46	c  N st    76   1392629       153       316         0     45072       948    606118   no data   no data
600.30/150.55	c  N st    77   1556614       153       316         0     48860       948    651681   no data   no data
661.74/165.94	c  N st    78   1710421       153       316         0     85212       948   1581746   no data   no data
661.74/165.94	c  S st    78   1710421       153       316         0     85212       948   1581746   no data   no data
662.58/166.12	c  S st    78   1710924       153       316         0     85705       948   1593952   no data   no data
662.58/166.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
662.58/166.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
662.58/166.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
662.58/166.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
662.58/166.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
662.58/166.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
662.58/166.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
662.58/166.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
662.93/166.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
732.77/183.74	c lits-rem:     28564  cl-subs:    12777  v-elim:      0  v-fix:    0  time: 17.53 s
732.77/183.74	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
732.77/183.76	c vivif2 --  cl tried    72928 cl shrink        0 lits rem          0 time: 0.02
732.77/183.78	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.02
732.77/183.79	c calculated reachability. Time: 0.00
732.77/183.79	c  N st    78   1710924       153       316         0     72928       948   1240243   no data   no data
914.63/229.36	c  N st    79   2079888       153       316         0     84538       948   1483320   no data   no data
979.64/245.60	c  N st    80   2210925       153       316         0     90085       948   1640183   no data   no data
979.64/245.60	c  S st    80   2210925       153       316         0     90085       948   1640183   no data   no data
980.04/245.77	c  S st    80   2211427       153       316         0     90581       948   1652722   no data   no data
980.04/245.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
980.44/245.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
980.44/245.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
980.44/245.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
980.44/245.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
980.44/245.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
980.44/245.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
980.44/245.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
980.44/245.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1042.26/261.31	c lits-rem:     15501  cl-subs:     8944  v-elim:      0  v-fix:    0  time: 15.43 s
1042.26/261.31	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
1042.26/261.33	c vivif2 --  cl tried    81637 cl shrink        0 lits rem          0 time: 0.02
1042.26/261.36	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.03
1042.26/261.36	c calculated reachability. Time: 0.00
1042.26/261.36	c  N st    80   2211427       153       316         0     81637       948   1370498   no data   no data
1310.73/328.65	c  N st    81   2711428       153       316         0    100295       948   1792304   no data   no data
1310.73/328.65	c  S st    81   2711428       153       316         0    100295       948   1792304   no data   no data
1311.55/328.85	c  S st    81   2711934       153       316         0    100786       948   1804623   no data   no data
1311.55/328.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1311.55/328.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1311.55/328.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1311.55/328.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1311.55/328.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1311.55/328.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
1311.55/328.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1311.97/328.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1311.97/328.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1399.71/350.95	c lits-rem:     13918  cl-subs:    13072  v-elim:      0  v-fix:    0  time: 21.99 s
1399.71/350.95	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
1399.71/350.97	c vivif2 --  cl tried    87714 cl shrink        0 lits rem          0 time: 0.02
1400.06/351.01	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.03
1400.06/351.01	c calculated reachability. Time: 0.00
1400.06/351.01	c  N st    81   2711934       153       316         0     87714       948   1418408   no data   no data
1695.24/425.00	c  N st    82   3211935       153       316         0     70898       948    962187   no data   no data
1695.24/425.01	c  S st    82   3211935       153       316         0     70898       948    962187   no data   no data
1696.03/425.20	c  S st    82   3212441       153       316         0     71393       948    975731   no data   no data
1696.03/425.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1696.03/425.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
1696.03/425.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1696.03/425.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1696.03/425.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1696.03/425.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
1696.03/425.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1696.03/425.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1696.03/425.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1702.46/426.85	c lits-rem:      1778  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  1.56 s
1702.46/426.85	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
1702.46/426.86	c vivif2 --  cl tried    70258 cl shrink        0 lits rem          0 time: 0.02
1702.81/426.90	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.04
1702.81/426.90	c calculated reachability. Time: 0.00
1702.81/426.90	c  N st    82   3212441       153       316         0     70258       948    940369   no data   no data
2026.30/508.11	c  N st    83   3712442       153       316         0     80982       948   1135708   no data   no data
2026.30/508.11	c  S st    83   3712442       153       316         0     80982       948   1135708   no data   no data
2027.14/508.29	c  S st    83   3712945       153       316         0     81472       948   1147875   no data   no data
2027.14/508.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2027.49/508.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
2027.49/508.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2027.49/508.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2027.49/508.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2027.49/508.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
2027.49/508.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2027.49/508.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2027.49/508.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2034.68/510.16	c lits-rem:      4209  cl-subs:     1070  v-elim:      0  v-fix:    0  time:  1.78 s
2034.68/510.16	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
2034.68/510.18	c vivif2 --  cl tried    80402 cl shrink        0 lits rem          0 time: 0.02
2035.08/510.21	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.04
2035.08/510.22	c calculated reachability. Time: 0.00
2035.08/510.22	c  N st    83   3712945       153       316         0     80402       948   1112005   no data   no data
2057.44/515.91	c  F st    84   3751562       153       316         0    113448       948   2009224   no data   no data
2057.44/515.91	c  N st    84   3751562       153       316         0    113448       948   2009224   no data   no data
2060.61/516.69	c Decided on static restart strategy
2074.99/520.31	c  N st    94   3779867       153       316         0    138382       948   2670704   no data   no data
2096.93/525.79	c  N st    96   3815860       153       316         0     97496       948   1617646   no data   no data
2119.29/531.38	c  N st    97   3848253       153       316         0    125574       948   2453469   no data   no data
2155.54/540.44	c  N st    98   3896841       153       316         0     92240       948   1389516   no data   no data
2213.78/555.02	c  N st    99   3969725       153       316         0     78887       948   1043893   no data   no data
2272.86/569.89	c  N st   100   4079048       153       316         0     94669       948   1441401   no data   no data
2356.58/590.87	c  N st   101   4212947       153       316         0    131189       948   2533573   no data   no data
2356.58/590.87	c  S st   101   4212947       153       316         0    131189       948   2533573   no data   no data
2357.78/591.12	c  S st   101   4213452       153       316         0    131690       948   2546528   no data   no data
2357.78/591.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2358.18/591.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2358.18/591.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2358.18/591.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2358.18/591.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2358.18/591.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
2358.18/591.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2358.18/591.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2358.59/591.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2530.89/634.58	c lits-rem:     22949  cl-subs:    14433  v-elim:      0  v-fix:    0  time: 43.28 s
2530.89/634.58	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
2531.31/634.61	c vivif2 --  cl tried   117257 cl shrink        0 lits rem          0 time: 0.03
2531.31/634.66	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.05
2531.31/634.67	c calculated reachability. Time: 0.00
2531.31/634.67	c  N st   101   4213452       153       316         0    117257       948   2083011   no data   no data
2738.67/686.67	c  N st   102   4459433       153       316         0     99146       948   1535211   no data   no data
2929.34/734.45	c  N st   103   4713455       153       316         0    151671       948   2828019   no data   no data
2929.34/734.45	c  S st   103   4713455       153       316         0    151671       948   2828019   no data   no data
2930.57/734.81	c  S st   103   4713958       153       316         0    152170       948   2839902   no data   no data
2930.98/734.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2930.98/734.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
2930.98/734.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2930.98/734.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2930.98/734.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2930.98/734.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
2930.98/734.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2931.33/734.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2931.33/734.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3307.84/829.40	c lits-rem:     32924  cl-subs:    32516  v-elim:      0  v-fix:    0  time: 94.41 s
3307.84/829.40	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
3308.25/829.44	c vivif2 --  cl tried   119654 cl shrink        0 lits rem          0 time: 0.04
3308.60/829.53	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.09
3308.60/829.54	c calculated reachability. Time: 0.00
3308.60/829.54	c  N st   103   4713958       153       316         0    119654       948   1918683   no data   no data
3669.98/920.10	c  N st   104   5213958       153       316         0    136734       948   2354815   no data   no data
3669.98/920.10	c  S st   104   5213958       153       316         0    136734       948   2354815   no data   no data
3670.78/920.37	c  S st   104   5214462       153       316         0    137230       948   2367917   no data   no data
3670.78/920.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3671.18/920.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.06
3671.18/920.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3671.18/920.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3671.18/920.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3671.18/920.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
3671.18/920.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3671.18/920.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3671.58/920.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3813.95/956.24	c lits-rem:     23751  cl-subs:    13810  v-elim:      0  v-fix:    0  time: 35.71 s
3813.95/956.24	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
3813.95/956.27	c vivif2 --  cl tried   123420 cl shrink        0 lits rem          0 time: 0.03
3814.35/956.32	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.05
3814.35/956.32	c calculated reachability. Time: 0.00
3814.35/956.32	c  N st   104   5214462       153       316         0    123420       948   1957274   no data   no data
4188.07/1050.00	c  N st   105   5714465       153       316         0    118988       948   1917219   no data   no data
4188.07/1050.00	c  S st   105   5714465       153       316         0    118988       948   1917219   no data   no data
4188.87/1050.28	c  S st   105   5714969       153       316         0    119481       948   1930578   no data   no data
4188.87/1050.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4189.27/1050.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4189.27/1050.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4189.27/1050.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4189.27/1050.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4189.27/1050.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
4189.27/1050.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4189.27/1050.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4189.69/1050.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4289.37/1075.44	c lits-rem:     14479  cl-subs:     7896  v-elim:      0  v-fix:    0  time: 25.02 s
4289.37/1075.44	c vivif2 --  cl tried      316 cl shrink        0 lits rem          0 time: 0.00
4289.37/1075.47	c vivif2 --  cl tried   111585 cl shrink        0 lits rem          0 time: 0.03
4289.77/1075.54	c asymm  cl-useful: 0/316/316 lits-rem:0 time: 0.06
4289.77/1075.54	c calculated reachability. Time: 0.00
4289.77/1075.54	c  N st   105   5714969       153       316         0    111585       948   1687798   no data   no data
4732.92/1186.61	c  N st   106   6214969       153       316         0    179079       948   3712943   no data   no data
4732.92/1186.61	c  S st   106   6214969       153       316         0    179079       948   3712943   no data   no data
4734.91/1187.16	c  S st   106   6215470       153       316         0    179567       948   3726107   no data   no data
4734.91/1187.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4735.31/1187.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.11
4735.31/1187.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4735.31/1187.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4735.31/1187.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4735.31/1187.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    153 time:  0.00 s
4735.31/1187.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4735.71/1187.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4736.11/1187.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 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-3366980-1305412650/watcher-3366980-1305412650 -o /tmp/evaluation-result-3366980-1305412650/solver-3366980-1305412650 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366980-1305412650.cnf 

running on 4 cores: 1,3,5,7

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.02 7.99 7.91 6/360 19652
/proc/meminfo: memFree=18501500/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 4 0 633680908 52396032 347 33554432000 4194304 4580107 140733533199488 18446744073709551615 47900692555698 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 12792 347 299 95 0 7774 0
[pid=19652/tid=19653] ppid=19650 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633680908 52396032 347 33554432000 4194304 4580107 140733533199488 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633680908 52396032 347 33554432000 4194304 4580107 140733533199488 18446744073709551615 47900692555698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633680908 52396032 347 33554432000 4194304 4580107 140733533199488 18446744073709551615 47900692555692 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.063396 s]
/proc/loadavg: 8.02 7.99 7.91 6/360 19652
/proc/meminfo: memFree=18501500/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=281812 CPUtime=0.22 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 1152 0 0 0 22 0 0 0 18 0 4 0 633680908 288575488 1034 33554432000 4194304 4580107 140733533199488 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 70453 1034 377 95 0 65435 0
[pid=19652/tid=19653] ppid=19650 vsize=281812 CPUtime=0.04 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 190 0 0 0 4 0 0 0 25 0 4 0 633680908 288575488 1034 33554432000 4194304 4580107 140733533199488 18446744073709551615 4306073 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=281812 CPUtime=0.05 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 197 0 0 0 5 0 0 0 18 0 4 0 633680908 288575488 1034 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=281812 CPUtime=0.05 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 171 0 0 0 5 0 0 0 18 0 4 0 633680908 288575488 1034 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 281812

[startup+0.163396 s]
/proc/loadavg: 8.02 7.99 7.91 6/360 19652
/proc/meminfo: memFree=18501500/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=282776 CPUtime=0.62 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 1972 0 0 0 62 0 0 0 18 0 4 0 633680908 289562624 1438 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 70694 1438 377 95 0 65676 0
[pid=19652/tid=19653] ppid=19650 vsize=282776 CPUtime=0.14 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 394 0 0 0 14 0 0 0 25 0 4 0 633680908 289562624 1438 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=282776 CPUtime=0.15 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 399 0 0 0 15 0 0 0 18 0 4 0 633680908 289562624 1438 33554432000 4194304 4580107 140733533199488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=282776 CPUtime=0.15 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 387 0 0 0 15 0 0 0 18 0 4 0 633680908 289562624 1438 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 282776

[startup+0.300355 s]
/proc/loadavg: 8.02 7.99 7.91 6/360 19652
/proc/meminfo: memFree=18501500/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=283552 CPUtime=1.17 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 2948 0 0 0 117 0 0 0 18 0 4 0 633680908 290357248 1642 33554432000 4194304 4580107 140733533199488 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 70888 1642 377 95 0 65870 0
[pid=19652/tid=19653] ppid=19650 vsize=283552 CPUtime=0.28 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 634 0 0 0 28 0 0 0 25 0 4 0 633680908 290357248 1642 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=283552 CPUtime=0.29 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 654 0 0 0 29 0 0 0 18 0 4 0 633680908 290357248 1642 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=283552 CPUtime=0.29 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 625 0 0 0 29 0 0 0 18 0 4 0 633680908 290357248 1642 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283552

[startup+0.700285 s]
/proc/loadavg: 8.02 7.99 7.91 6/360 19652
/proc/meminfo: memFree=18501500/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=284508 CPUtime=2.77 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 5090 0 0 0 276 1 0 0 18 0 4 0 633680908 291336192 2477 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 71127 2477 378 95 0 66109 0
[pid=19652/tid=19653] ppid=19650 vsize=284508 CPUtime=0.68 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 1110 0 0 0 68 0 0 0 25 0 4 0 633680908 291336192 2477 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=284508 CPUtime=0.69 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 1308 0 0 0 69 0 0 0 18 0 4 0 633680908 291336192 2477 33554432000 4194304 4580107 140733533199488 18446744073709551615 4306214 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=284508 CPUtime=0.69 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 1131 0 0 0 69 0 0 0 18 0 4 0 633680908 291336192 2477 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284508

[startup+1.50114 s]
/proc/loadavg: 8.02 7.99 7.91 9/364 19656
/proc/meminfo: memFree=18473368/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=289424 CPUtime=5.96 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 12593 0 0 0 594 2 0 0 20 0 4 0 633680908 296370176 6852 33554432000 4194304 4580107 140733533199488 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 72356 6852 379 95 0 67338 0
[pid=19652/tid=19653] ppid=19650 vsize=289424 CPUtime=1.46 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 3036 0 0 0 146 0 0 0 25 0 4 0 633680908 296370176 6852 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=289424 CPUtime=1.48 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 3869 0 0 0 148 0 0 0 20 0 4 0 633680908 296370176 6852 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=289424 CPUtime=1.49 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 2229 0 0 0 149 0 0 0 20 0 4 0 633680908 296370176 6853 33554432000 4194304 4580107 140733533199488 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289424

[startup+3.10086 s]
/proc/loadavg: 8.02 7.99 7.91 9/364 19656
/proc/meminfo: memFree=18456752/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=290080 CPUtime=12.34 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 21548 0 0 0 1231 3 0 0 25 0 4 0 633680908 297041920 9983 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 72520 9983 379 95 0 67502 0
[pid=19652/tid=19653] ppid=19650 vsize=290080 CPUtime=3.05 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 5551 0 0 0 305 0 0 0 25 0 4 0 633680908 297041920 9983 33554432000 4194304 4580107 140733533199488 18446744073709551615 4318887 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=290080 CPUtime=3.08 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 5550 0 0 0 308 0 0 0 25 0 4 0 633680908 297041920 9983 33554432000 4194304 4580107 140733533199488 18446744073709551615 4301441 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=290080 CPUtime=3.09 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 5351 0 0 0 308 1 0 0 25 0 4 0 633680908 297041920 9983 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 290080

[startup+6.30028 s]
/proc/loadavg: 8.02 7.99 7.91 9/364 19656
/proc/meminfo: memFree=18429068/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=299880 CPUtime=25.11 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 35554 0 0 0 2504 7 0 0 25 0 4 0 633680908 307077120 15774 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 74970 15774 379 95 0 69952 0
[pid=19652/tid=19653] ppid=19650 vsize=299880 CPUtime=6.22 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 8529 0 0 0 621 1 0 0 25 0 4 0 633680908 307077120 15774 33554432000 4194304 4580107 140733533199488 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=299880 CPUtime=6.29 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 9075 0 0 0 628 1 0 0 25 0 4 0 633680908 307077120 15775 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=299880 CPUtime=6.29 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 9020 0 0 0 627 2 0 0 25 0 4 0 633680908 307077120 15775 33554432000 4194304 4580107 140733533199488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 299880

[startup+12.7011 s]
/proc/loadavg: 8.02 7.99 7.91 9/364 19656
/proc/meminfo: memFree=18393852/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=314808 CPUtime=50.63 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 55663 0 0 0 5052 11 0 0 25 0 4 0 633680908 322363392 23011 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 78702 23011 379 95 0 73684 0
[pid=19652/tid=19653] ppid=19650 vsize=314808 CPUtime=12.55 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 13781 0 0 0 1253 2 0 0 25 0 4 0 633680908 322363392 23011 33554432000 4194304 4580107 140733533199488 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=314808 CPUtime=12.69 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 14625 0 0 0 1267 2 0 0 25 0 4 0 633680908 322363392 23011 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=314808 CPUtime=12.69 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 13481 0 0 0 1266 3 0 0 25 0 4 0 633680908 322363392 23011 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 314808

[startup+25.5009 s]
/proc/loadavg: 8.09 8.00 7.91 9/364 19657
/proc/meminfo: memFree=18357524/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=321280 CPUtime=101.69 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 83421 0 0 0 10153 16 0 0 25 0 4 0 633680908 328990720 32657 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 80320 32657 379 95 0 75302 0
[pid=19652/tid=19653] ppid=19650 vsize=321280 CPUtime=25.2 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 20817 0 0 0 2517 3 0 0 25 0 4 0 633680908 328990720 32657 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=321280 CPUtime=25.49 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 23299 0 0 0 2545 4 0 0 25 0 4 0 633680908 328990720 32657 33554432000 4194304 4580107 140733533199488 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=321280 CPUtime=25.48 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 21598 0 0 0 2544 4 0 0 25 0 4 0 633680908 328990720 32657 33554432000 4194304 4580107 140733533199488 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 321280

[startup+51.1003 s]
/proc/loadavg: 8.06 8.00 7.91 9/364 19657
/proc/meminfo: memFree=18272284/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=314408 CPUtime=203.81 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 124003 0 0 0 20356 25 0 0 25 0 4 0 633680908 321953792 39551 33554432000 4194304 4580107 140733533199488 18446744073709551615 4318389 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 78602 39551 379 95 0 73584 0
[pid=19652/tid=19653] ppid=19650 vsize=314408 CPUtime=50.52 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 28039 0 0 0 5048 4 0 0 25 0 4 0 633680908 321953792 39551 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=314408 CPUtime=51.09 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 34726 0 0 0 5103 6 0 0 25 0 4 0 633680908 321953792 39551 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=314408 CPUtime=51.09 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 36156 0 0 0 5101 8 0 0 25 0 4 0 633680908 321953792 39551 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 314408

[startup+102.314 s]
/proc/loadavg: 8.11 8.03 7.92 9/364 19659
/proc/meminfo: memFree=18141672/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=413740 CPUtime=408.1 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 198000 0 0 0 40767 43 0 0 25 0 4 0 633680908 423669760 60066 33554432000 4194304 4580107 140733533199488 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 103435 60066 379 95 0 98417 0
[pid=19652/tid=19653] ppid=19650 vsize=413740 CPUtime=101.16 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 45684 0 0 0 10108 8 0 0 25 0 4 0 633680908 423669760 60066 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=413740 CPUtime=102.3 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 53798 0 0 0 10219 11 0 0 25 0 4 0 633680908 423669760 60066 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=413740 CPUtime=102.3 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 61545 0 0 0 10216 14 0 0 25 0 4 0 633680908 423669760 60066 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 413740

[startup+162.3 s]

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

[pid=19652] ppid=19650 vsize=723836 CPUtime=2801.29 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 611160 0 0 0 279936 193 0 0 25 0 4 0 633680908 741208064 131084 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 180959 131084 379 95 0 175941 0
[pid=19652/tid=19653] ppid=19650 vsize=723836 CPUtime=694.35 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 155782 0 0 0 69388 47 0 0 25 0 4 0 633680908 741208064 131084 33554432000 4194304 4580107 140733533199488 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=723836 CPUtime=702.31 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 167769 0 0 0 70182 49 0 0 25 0 4 0 633680908 741208064 131084 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=723836 CPUtime=702.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 189596 0 0 0 70166 65 0 0 25 0 4 0 633680908 741208064 131084 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.29
Current children cumulated vsize (KiB) 723836

[startup+762.314 s]
/proc/loadavg: 8.16 8.10 8.01 9/364 19676
/proc/meminfo: memFree=17628228/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=778816 CPUtime=3040.66 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 637776 0 0 0 303862 204 0 0 25 0 4 0 633680908 797507584 131485 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 194704 131485 379 95 0 189686 0
[pid=19652/tid=19653] ppid=19650 vsize=778816 CPUtime=753.68 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 160885 0 0 0 75319 49 0 0 25 0 4 0 633680908 797507584 131485 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=778816 CPUtime=762.32 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 176179 0 0 0 76181 51 0 0 25 0 4 0 633680908 797507584 131485 33554432000 4194304 4580107 140733533199488 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=778816 CPUtime=762.32 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 200766 0 0 0 76161 71 0 0 25 0 4 0 633680908 797507584 131485 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.66
Current children cumulated vsize (KiB) 778816

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 8.01 9/364 19678
/proc/meminfo: memFree=17528508/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=761052 CPUtime=3279.9 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 663235 0 0 0 327773 217 0 0 25 0 4 0 633680908 779317248 141525 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 190263 141525 379 95 0 185245 0
[pid=19652/tid=19653] ppid=19650 vsize=761052 CPUtime=812.94 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 172894 0 0 0 81239 55 0 0 25 0 4 0 633680908 779317248 141525 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=761052 CPUtime=822.31 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 181288 0 0 0 82177 54 0 0 25 0 4 0 633680908 779317248 141525 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=761052 CPUtime=822.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 209107 0 0 0 82157 74 0 0 25 0 4 0 633680908 779317248 141525 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.9
Current children cumulated vsize (KiB) 761052

[startup+882.3 s]
/proc/loadavg: 8.19 8.12 8.02 9/364 19680
/proc/meminfo: memFree=17534924/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=812480 CPUtime=3519.19 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 680166 0 0 0 351691 228 0 0 25 0 4 0 633680908 831979520 139868 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 203120 139868 379 95 0 198102 0
[pid=19652/tid=19653] ppid=19650 vsize=812480 CPUtime=872.24 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 175541 0 0 0 87165 59 0 0 25 0 4 0 633680908 831979520 139868 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=812480 CPUtime=882.31 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 183488 0 0 0 88176 55 0 0 25 0 4 0 633680908 831979520 139868 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=812480 CPUtime=882.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 220399 0 0 0 88151 80 0 0 25 0 4 0 633680908 831979520 139868 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.19
Current children cumulated vsize (KiB) 812480

[startup+942.301 s]
/proc/loadavg: 8.16 8.12 8.02 9/364 19681
/proc/meminfo: memFree=17489496/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=867936 CPUtime=3758.52 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 710712 0 0 0 375613 239 0 0 25 0 4 0 633680908 888766464 151429 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 216984 151429 379 95 0 211966 0
[pid=19652/tid=19653] ppid=19650 vsize=867936 CPUtime=931.57 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 186683 0 0 0 93095 62 0 0 25 0 4 0 633680908 888766464 151429 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=867936 CPUtime=942.31 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 188685 0 0 0 94174 57 0 0 25 0 4 0 633680908 888766464 151429 33554432000 4194304 4580107 140733533199488 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=867936 CPUtime=942.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 228779 0 0 0 94148 83 0 0 25 0 4 0 633680908 888766464 151429 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.52
Current children cumulated vsize (KiB) 867936

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 8.02 9/364 19683
/proc/meminfo: memFree=17349484/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=924828 CPUtime=3997.82 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 738061 0 0 0 399530 252 0 0 25 0 4 0 633680908 947023872 155627 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 231207 155627 379 95 0 226189 0
[pid=19652/tid=19653] ppid=19650 vsize=924828 CPUtime=990.86 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 197543 0 0 0 99020 66 0 0 25 0 4 0 633680908 947023872 155627 33554432000 4194304 4580107 140733533199488 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=924828 CPUtime=1002.31 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 192874 0 0 0 100172 59 0 0 25 0 4 0 633680908 947023872 155627 33554432000 4194304 4580107 140733533199488 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=924828 CPUtime=1002.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 239780 0 0 0 100141 90 0 0 25 0 4 0 633680908 947023872 155627 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.82
Current children cumulated vsize (KiB) 924828

[startup+1062.3 s]
/proc/loadavg: 8.07 8.11 8.02 9/364 19684
/proc/meminfo: memFree=17307904/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=854508 CPUtime=4237.13 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 758222 0 0 0 423451 262 0 0 25 0 4 0 633680908 875016192 163159 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 213627 163159 379 95 0 208609 0
[pid=19652/tid=19653] ppid=19650 vsize=854508 CPUtime=1050.16 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 206772 0 0 0 104946 70 0 0 25 0 4 0 633680908 875016192 163159 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=854508 CPUtime=1062.31 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 200357 0 0 0 106168 63 0 0 25 0 4 0 633680908 875016192 163159 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=854508 CPUtime=1062.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 242644 0 0 0 106140 91 0 0 25 0 4 0 633680908 875016192 163159 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.13
Current children cumulated vsize (KiB) 854508

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 8.02 5/356 19704
/proc/meminfo: memFree=18026496/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=906024 CPUtime=4476.43 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 777001 0 0 0 447369 274 0 0 25 0 4 0 633680908 927768576 168715 33554432000 4194304 4580107 140733533199488 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 226506 168715 379 95 0 221488 0
[pid=19652/tid=19653] ppid=19650 vsize=906024 CPUtime=1109.46 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 206772 0 0 0 110876 70 0 0 25 0 4 0 633680908 927768576 168715 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=906024 CPUtime=1122.32 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 208352 0 0 0 112163 69 0 0 25 0 4 0 633680908 927768576 168715 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=906024 CPUtime=1122.31 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 252092 0 0 0 112135 96 0 0 25 0 4 0 633680908 927768576 168715 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.43
Current children cumulated vsize (KiB) 906024

[startup+1182.3 s]
/proc/loadavg: 5.55 7.37 7.77 5/355 19706
/proc/meminfo: memFree=18057400/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=886284 CPUtime=4715.78 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 801879 0 0 0 471291 287 0 0 25 0 4 0 633680908 907554816 161435 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 221571 161435 379 95 0 216553 0
[pid=19652/tid=19653] ppid=19650 vsize=886284 CPUtime=1168.8 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 212223 0 0 0 116806 74 0 0 25 0 4 0 633680908 907554816 161435 33554432000 4194304 4580107 140733533199488 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=886284 CPUtime=1182.32 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 216176 0 0 0 118158 74 0 0 25 0 4 0 633680908 907554816 161435 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=886284 CPUtime=1182.32 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 258727 0 0 0 118134 98 0 0 25 0 4 0 633680908 907554816 161435 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.78
Current children cumulated vsize (KiB) 886284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 5.09 7.11 7.67 5/355 19706
/proc/meminfo: memFree=18026264/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=897404 CPUtime=4800.34 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 813974 0 0 0 479742 292 0 0 25 0 4 0 633680908 918941696 169192 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 224351 169192 379 95 0 219333 0
[pid=19652/tid=19653] ppid=19650 vsize=897404 CPUtime=1189.74 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 215503 0 0 0 118898 76 0 0 25 0 4 0 633680908 918941696 169193 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=897404 CPUtime=1203.53 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 219532 0 0 0 120277 76 0 0 25 0 4 0 633680908 918941696 169193 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=897404 CPUtime=1203.53 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 258727 0 0 0 120255 98 0 0 25 0 4 0 633680908 918941696 169193 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 897404

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

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

[startup+1203.5 s]
/proc/loadavg: 5.09 7.11 7.67 5/355 19706
/proc/meminfo: memFree=18026264/32951124 swapFree=67111348/67111528
[pid=19652] ppid=19650 vsize=897404 CPUtime=4800.34 cores=1,3,5,7
/proc/19652/stat : 19652 (strangenight2-m) R 19650 19652 18878 0 -1 4202496 813974 0 0 0 479742 292 0 0 25 0 4 0 633680908 918941696 169192 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19652/statm: 224351 169192 379 95 0 219333 0
[pid=19652/tid=19653] ppid=19650 vsize=897404 CPUtime=1189.74 cores=1,3,5,7
/proc/19652/task/19653/stat : 19653 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 215503 0 0 0 118898 76 0 0 25 0 4 0 633680908 918941696 169193 33554432000 4194304 4580107 140733533199488 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19652/tid=19654] ppid=19650 vsize=897404 CPUtime=1203.53 cores=1,3,5,7
/proc/19652/task/19654/stat : 19654 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 219532 0 0 0 120277 76 0 0 25 0 4 0 633680908 918941696 169193 33554432000 4194304 4580107 140733533199488 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19652/tid=19655] ppid=19650 vsize=897404 CPUtime=1203.53 cores=1,3,5,7
/proc/19652/task/19655/stat : 19655 (strangenight2-m) R 19650 19652 18878 0 -1 4202560 258727 0 0 0 120255 98 0 0 25 0 4 0 633680908 918941696 169193 33554432000 4194304 4580107 140733533199488 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 897404

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.55
CPU time (s): 4800.42
CPU user time (s): 4797.46
CPU system time (s): 2.95955
CPU usage (%): 398.855
Max. virtual memory (cumulated for all children) (KiB): 1082756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.46
system time used= 2.95955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813976
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= 117
involuntary context switches= 31880

runsolver used 3.82642 second user time and 9.98148 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-15 00:37:31
IDJOB=3366980
IDBENCH=83143
IDSOLVER=1844
FILE ID=node145/3366980-1305412650
RUNJOBID= node145-1305412348-19562
PBS_JOBID= 13324499
Free space on /tmp= 73656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n150-s89334302-unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366980-1305412650/watcher-3366980-1305412650 -o /tmp/evaluation-result-3366980-1305412650/solver-3366980-1305412650 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366980-1305412650.cnf

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

MD5SUM BENCH= e0b064ae815c6a8bb8a9898180562bec
RANDOM SEED=2049636425

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18501780 kB
Buffers:        298256 kB
Cached:        8126184 kB
SwapCached:          0 kB
Active:        7473596 kB
Inactive:      6622068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18501780 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:     5670988 kB
Mapped:          27980 kB
Slab:           255484 kB
PageTables:      34032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79621484 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= 73656 MiB
End job on node145 at 2011-05-15 00:57:36