Trace number 3264709

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-1-mt? (TO) 4800.16 1201.83

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
MD5SUM51d9aefd9da7f94abc32dd024090dc46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables270
Number of clauses1080
Sum of the clauses size3240
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31080
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3264709-1304180128.cnf'
0.00/0.00	c -- header says num vars:            270
0.00/0.00	c -- header says num clauses:        1080
0.00/0.00	c -- clauses added:            0 learnts,         1080 normals,            0 xors
0.00/0.00	c -- vars added        270
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       270      1080         0         0      3240         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1080/1080 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    270 time:  0.00 s
0.00/0.00	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:     270, avg size: 3.0)
0.00/0.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.00
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     270
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       270         0         2         0       814         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.40/0.13	c  N st     8      4914       270         0         2      4603       814    124974   no data   no data  --
1.17/0.35	c  N st    10     11297       270         0         2      4216       814     77248   no data   no data  --
2.37/0.60	c  N st    11     17041       270         0         2      9507       814    224919   no data   no data  --
3.98/1.00	c  F st    12     25000       270         0         2     11782       814    260963   no data   no data  --
3.98/1.00	c Replacing        1 vars Replaced     2855 lits Time:     0.02 s 
3.98/1.00	c  N st    12     25000       269         0         0     11782       810    260963   no data   no data  --
4.79/1.24	c Decided on static restart strategy
4.79/1.24	c  N st    18     30001       269         0         0     10120       810    216363   no data   no data  --
4.79/1.24	c  S st    18     30001       269         0         0     10120       810    216363   no data   no data  --
4.79/1.28	c  S st    18     30503       269         0         0     10595       810    230199   no data   no data  --
4.79/1.28	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
4.79/1.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.79/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.79/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    268 time:  0.00 s
4.79/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.47	c lits-rem:       662  cl-subs:     1071  v-elim:      0  v-fix:    0  time:  0.69 s
5.57/1.47	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
5.57/1.47	c calculated reachability. Time: 0.00
5.57/1.47	c  N st    18     30503       268         0         0      9367       805    200949   no data   no data  --
7.57/1.90	c  N st    20     37614       268         0         0      8750       805    161891   no data   no data  --
9.19/2.34	c  N st    21     44013       268         0         0     14803       805    331387   no data   no data  --
9.57/2.47	c  S st    22     45754       268         0         0     16439       805    378803   no data   no data  --
9.97/2.55	c  S st    22     46255       268         0         0      8562       805    146553   no data   no data  --
9.97/2.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
9.97/2.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.97/2.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.97/2.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
9.97/2.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.37/2.62	c lits-rem:       321  cl-subs:      602  v-elim:      0  v-fix:    0  time:  0.24 s
10.37/2.62	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
10.37/2.62	c vivif2 --  cl tried     7951 cl shrink        0 lits rem          0 time: 0.00
10.37/2.62	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
10.37/2.62	c calculated reachability. Time: 0.00
10.37/2.62	c  N st    22     46255       267         0         0      7951       803    133792   no data   no data  --
14.76/3.78	c  N st    23     60653       267         0         0     12202       803    226963   no data   no data  --
17.57/4.48	c  N st    24     69383       267         0         0     20222       803    437834   no data   no data  --
17.57/4.48	c  S st    24     69383       267         0         0     20222       803    437834   no data   no data  --
17.98/4.56	c  S st    24     69886       267         0         0     10461       803    160332   no data   no data  --
17.98/4.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.98/4.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.98/4.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
17.98/4.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.98/4.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.98/4.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
17.98/4.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.67	c lits-rem:       226  cl-subs:      579  v-elim:      0  v-fix:    0  time:  0.41 s
18.35/4.67	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
18.35/4.67	c vivif2 --  cl tried     9882 cl shrink        0 lits rem          0 time: 0.00
18.35/4.67	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
18.35/4.67	c calculated reachability. Time: 0.00
18.35/4.67	c  N st    24     69886       267         0         0      9882       803    150768   no data   no data  --
24.35/6.17	c  F st    25     87501       267         0         0     15027       803    269030   no data   no data  --
24.35/6.17	c  N st    25     87501       267         0         0     15027       803    269030   no data   no data  --
25.95/6.54	c Decided on static restart strategy
27.14/6.81	c  N st    32     95538       267         0         0     22509       803    469477   no data   no data  --
29.95/7.55	c  N st    34    104830       267         0         0     19129       803    367722   no data   no data  --
29.95/7.55	c  S st    34    104830       267         0         0     19129       803    367722   no data   no data  --
30.35/7.63	c  S st    34    105332       267         0         0     19601       803    380980   no data   no data  --
30.35/7.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.35/7.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.35/7.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
30.35/7.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.35/7.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.35/7.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
30.35/7.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.53/9.41	c lits-rem:      1184  cl-subs:     3447  v-elim:      0  v-fix:    0  time:  7.03 s
37.53/9.41	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
37.53/9.41	c vivif2 --  cl tried    16154 cl shrink        0 lits rem          0 time: 0.01
37.53/9.41	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
37.53/9.41	c calculated reachability. Time: 0.00
37.53/9.41	c  N st    34    105332       267         0         0     16154       803    306914   no data   no data  --
41.12/10.35	c  N st    35    114931       267         0         0     25072       803    547159   no data   no data  --
46.32/11.60	c  N st    36    129328       267         0         0     25470       803    512130   no data   no data  --
53.51/13.44	c  N st    37    150924       267         0         0     16725       803    267374   no data   no data  --
55.91/14.04	c  S st    38    157998       267         0         0     23214       803    431351   no data   no data  --
56.31/14.13	c  S st    38    158503       267         0         0     23706       803    445236   no data   no data  --
56.31/14.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
56.31/14.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.31/14.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
56.31/14.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.31/14.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.31/14.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
56.31/14.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.49/16.44	c lits-rem:      1169  cl-subs:     4410  v-elim:      0  v-fix:    0  time:  9.18 s
65.49/16.44	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
65.49/16.45	c vivif2 --  cl tried    19296 cl shrink        0 lits rem          0 time: 0.01
65.49/16.45	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
65.49/16.45	c calculated reachability. Time: 0.00
65.49/16.45	c  N st    38    158503       267         0         0     19296       803    352195   no data   no data  --
83.90/21.01	c  N st    39    207092       267         0         0     32135       803    624414   no data   no data  --
93.86/23.59	c  N st    40    237755       267         0         0     24476       803    415942   no data   no data  --
93.86/23.59	c  S st    40    237755       267         0         0     24476       803    415942   no data   no data  --
94.26/23.67	c  S st    40    238256       267         0         0     24958       803    430013   no data   no data  --
94.26/23.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.26/23.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.26/23.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
94.26/23.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.26/23.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.26/23.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
94.26/23.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.25/25.68	c lits-rem:       974  cl-subs:     2929  v-elim:      0  v-fix:    0  time:  7.94 s
102.25/25.68	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
102.25/25.68	c vivif2 --  cl tried    22029 cl shrink        0 lits rem          0 time: 0.02
102.25/25.68	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
102.25/25.68	c calculated reachability. Time: 0.00
102.25/25.68	c  N st    40    238256       267         0         0     22029       803    376307   no data   no data  --
130.22/32.67	c  F st    41    306250       267         0         0     24051       803    375346   no data   no data  --
130.22/32.67	c  N st    41    306250       267         0         0     24051       803    375346   no data   no data  --
139.01/34.84	c  N dy    84    325970       267         0         0     42358       803    863626     17.78     18.74  --
149.00/37.36	c  N dy   174    346426       267         0         0     39488       803    774700     18.16     19.17  --
155.79/39.07	c  S st   226    357384       267         0         0     26474       803    402675     18.29     17.63  --
156.19/39.17	c  S st   226    357886       267         0         0     26951       803    416406     18.29   no data  --
156.19/39.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
156.19/39.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
156.19/39.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
156.19/39.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.19/39.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.19/39.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
156.19/39.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
164.18/41.12	c lits-rem:       966  cl-subs:     1345  v-elim:      0  v-fix:    0  time:  7.69 s
164.18/41.12	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
164.18/41.12	c vivif2 --  cl tried    25606 cl shrink        0 lits rem          0 time: 0.02
164.18/41.12	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
164.18/41.12	c calculated reachability. Time: 0.00
164.18/41.12	c  N dy   226    357886       267         0         0     25606       803    393551     18.29   no data  --
176.18/44.14	c  N dy   299    380233       267         0         0     46657       803    961283     18.31     19.34  --
186.56/46.76	c  N dy   355    400919       267         0         0     41814       803    798806     18.33     19.45  --
199.73/50.06	c  N dy   445    422656       267         0         0     37030       803    645588     18.38     19.38  --
212.92/53.39	c  N dy   521    442917       267         0         0     29799       803    431409     18.40     19.56  --
226.10/56.61	c  N dy   614    462961       267         0         0     48676       803    930146     18.46     20.13  --
238.88/59.85	c  N dy   703    483712       267         0         0     40970       803    702217     18.48     19.49  --
252.48/63.29	c  N dy   763    504246       267         0         0     31987       803    458083     18.48     19.51  --
265.66/66.57	c  N dy   831    524919       267         0         0     51520       803    973292     18.47     19.53  --
275.64/69.06	c  S st   916    536829       267         0         0     33496       803    478259     18.53   no data  --
276.04/69.18	c  S st   916    537333       267         0         0     33981       803    492237     18.53   no data  --
276.04/69.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
276.04/69.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
276.04/69.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
276.45/69.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
276.45/69.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
276.45/69.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
276.45/69.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
285.24/71.41	c lits-rem:       787  cl-subs:     1399  v-elim:      0  v-fix:    0  time:  8.84 s
285.24/71.41	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
285.24/71.42	c vivif2 --  cl tried    32582 cl shrink        0 lits rem          0 time: 0.02
285.24/71.42	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
285.24/71.42	c calculated reachability. Time: 0.00
285.24/71.42	c  N dy   916    537333       267         0         0     32582       803    466349     18.53   no data  --
300.01/75.17	c  N dy  1040    557427       267         0         0     51584       803    973856     18.61     20.41  --
314.00/78.68	c  N dy  1077    577478       267         0         0     40182       803    636944     18.58     19.65  --
331.58/83.07	c  N dy  1190    597576       267         0         0     59226       803   1138920     18.62     20.13  --
346.36/86.75	c  N dy  1275    617628       267         0         0     47117       803    813475     18.64     19.89  --
365.17/91.43	c  N dy  1404    637812       267         0         0     34084       803    448783     18.70     19.69  --
380.72/95.38	c  N dy  1449    662505       267         0         0     57355       803   1061085     18.64     19.64  --
401.90/100.66	c  N dy  1553    692295       267         0         0     52582       803    937276     18.62     19.63  --
420.27/105.27	c  N dy  1657    712911       267         0         0     38044       803    523587     18.65     19.67  --
435.08/109.00	c  N dy  1736    734067       267         0         0     58070       803   1059124     18.66     19.69  --
452.65/113.39	c  N dy  1816    754138       267         0         0     42001       803    608356     18.67     19.95  --
469.82/117.64	c  N dy  1881    775302       267         0         0     62217       803   1149811     18.65     19.66  --
488.99/122.48	c  N dy  1979    796373       267         0         0     46101       803    704511     18.67     19.66  --
496.19/124.23	c  S st  2007    806000       267         0         0     55250       803    947800     18.67     17.86  --
497.00/124.44	c  S st  2007    806506       267         0         0     55738       803    962361     18.67   no data  --
497.00/124.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
497.00/124.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
497.00/124.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
497.00/124.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
497.00/124.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
497.00/124.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
497.00/124.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
519.36/130.06	c lits-rem:      2320  cl-subs:     4635  v-elim:      0  v-fix:    0  time: 22.22 s
519.36/130.06	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
519.36/130.07	c vivif2 --  cl tried    51103 cl shrink        0 lits rem          0 time: 0.04
519.36/130.07	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
519.36/130.07	c calculated reachability. Time: 0.00
519.36/130.07	c  N dy  2007    806506       267         0         0     51103       803    862226     18.67   no data  --
549.34/137.60	c  N dy  2080    841802       267         0         0     47365       803    706924     18.61     19.66  --
568.50/142.34	c  N dy  2220    861849       267         0         0     66443       803   1222589     18.66     22.01  --
587.27/147.06	c  N dy  2302    882073       267         0         0     47948       803    728181     18.67     19.67  --
610.05/152.78	c  N dy  2414    906080       267         0         0     70782       803   1345605     18.68     19.70  --
629.22/157.58	c  N dy  2540    927054       267         0         0     51824       803    819421     18.71     19.71  --
648.01/162.28	c  N dy  2564    949957       267         0         0     73475       803   1392808     18.67     19.66  --
668.78/167.41	c  N dy  2628    972474       267         0         0     55020       803    876918     18.66     19.72  --
687.96/172.26	c  N dy  2707    992525       267         0         0     74045       803   1382652     18.66     21.42  --
709.94/177.73	c  N dy  2772   1012715       267         0         0     52401       803    788891     18.66     19.81  --
728.72/182.40	c  N dy  2821   1032756       267         0         0     71258       803   1293476     18.65     19.70  --
750.29/187.80	c  N dy  2907   1052944       267         0         0     48774       803    690484     18.66     19.66  --
767.06/192.10	c  F st  2937   1071876       267         0         0     66803       803   1159428     18.64   no data  --
768.26/192.36	c  N st  2940   1073064       267         0         0     67930       803   1188969     18.64   no data  --
792.22/198.32	c  N dy  3027   1093975       267         0         0     45074       803    573121     18.65     19.67  --
809.40/202.66	c  N dy  3139   1114027       267         0         0     64080       803   1084614     18.67     21.06  --
828.58/207.48	c  N dy  3197   1134031       267         0         0     82993       803   1598087     18.66     19.65  --
891.30/223.17	c  N dy  3271   1204196       267         0         0     61036       803    930494     18.54     19.53  --
897.29/224.66	c  S st  3305   1209759       267         0         0     66283       803   1068827     18.54   no data  --
898.09/224.89	c  S st  3305   1210259       267         0         0     66764       803   1082800     18.54   no data  --
898.09/224.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
898.09/224.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
898.49/224.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
898.49/224.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
898.49/224.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
898.49/224.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
898.49/224.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
922.88/231.09	c lits-rem:      1267  cl-subs:     7369  v-elim:      0  v-fix:    0  time: 24.52 s
922.88/231.09	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
922.88/231.10	c vivif2 --  cl tried    59395 cl shrink        0 lits rem          0 time: 0.04
922.88/231.10	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
923.29/231.10	c calculated reachability. Time: 0.00
923.29/231.10	c  N dy  3305   1210259       267         0         0     59395       803    942825     18.54   no data  --
948.43/237.41	c  N dy  3400   1232321       267         0         0     80241       803   1484651     18.55     19.57  --
972.00/243.36	c  N dy  3508   1253525       267         0         0     55245       803    805037     18.56     19.57  --
991.97/248.35	c  N dy  3590   1273546       267         0         0     74169       803   1302615     18.56     19.68  --
1017.14/254.63	c  N dy  3659   1295121       267         0         0     48345       803    603857     18.56     19.55  --
1035.52/259.21	c  N dy  3759   1315154       267         0         0     67213       803   1093234     18.57     19.63  --
1059.52/265.28	c  N dy  3844   1338268       267         0         0     88961       803   1660582     18.58     19.64  --
1078.68/270.08	c  N dy  3930   1358276       267         0         0     60752       803    910053     18.58     21.54  --
1101.05/275.64	c  N dy  4019   1378853       267         0         0     80034       803   1408077     18.59     19.60  --
1128.61/282.59	c  N dy  4125   1399050       267         0         0     51117       803    645757     18.59     19.69  --
1151.79/288.36	c  N dy  4242   1419449       267         0         0     70512       803   1158581     18.61     19.59  --
1176.95/294.67	c  N dy  4339   1439531       267         0         0     89406       803   1655973     18.61     19.62  --
1197.71/299.88	c  N dy  4392   1459746       267         0         0     59341       803    845500     18.60     19.62  --
1219.29/305.22	c  N dy  4460   1480024       267         0         0     78368       803   1332398     18.60     19.59  --
1243.26/311.26	c  N dy  4518   1501179       267         0         0     98327       803   1862309     18.60     19.60  --
1264.03/316.49	c  N dy  4612   1521818       267         0         0     67882       803   1061413     18.61     19.63  --
1286.81/322.15	c  N dy  4706   1542568       267         0         0     87415       803   1577624     18.62     19.60  --
1318.38/330.07	c  N dy  4788   1563440       267         0         0     56153       803    731738     18.62     19.63  --
1343.54/336.30	c  N dy  4859   1586348       267         0         0     77670       803   1283919     18.62     19.65  --
1375.92/344.41	c  N dy  4955   1610700       267         0         0    100554       803   1878657     18.63     19.80  --
1402.29/351.02	c  N dy  5076   1632613       267         0         0     69478       803   1071501     18.64     19.66  --
1433.82/358.91	c  N dy  5183   1657398       267         0         0     92673       803   1663642     18.65     19.69  --
1462.99/366.22	c  N dy  5288   1677513       267         0         0     58975       803    783711     18.65     19.70  --
1484.96/371.79	c  N dy  5396   1697616       267         0         0     77878       803   1278531     18.66     19.68  --
1499.34/375.34	c  S st  5429   1710260       267         0         0     89827       803   1587873     18.66   no data  --
1501.34/375.85	c  S st  5429   1710761       267         0         0     90315       803   1602034     18.66   no data  --
1501.34/375.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1501.34/375.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1501.74/375.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1501.74/375.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1501.74/375.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1501.74/375.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
1501.74/375.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1570.85/393.20	c lits-rem:      5257  cl-subs:    10135  v-elim:      0  v-fix:    0  time: 68.90 s
1570.85/393.20	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
1570.85/393.22	c vivif2 --  cl tried    80180 cl shrink        0 lits rem          0 time: 0.07
1570.85/393.22	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1570.85/393.22	c calculated reachability. Time: 0.00
1570.85/393.22	c  N dy  5429   1710761       267         0         0     80180       803   1391900     18.66   no data  --
1598.02/400.02	c  N dy  5516   1730847       267         0         0     98981       803   1882328     18.66     21.08  --
1625.19/406.89	c  N dy  5629   1750898       267         0         0     64599       803    928080     18.67     21.27  --
1663.53/416.45	c  N dy  5676   1786310       267         0         0     97404       803   1750793     18.65     19.68  --
1693.89/424.02	c  N dy  5759   1806346       267         0         0     62075       803    845479     18.65     20.36  --
1715.86/429.56	c  N dy  5829   1826695       267         0         0     81196       803   1337859     18.65     19.75  --
1745.42/436.93	c  N dy  5921   1846978       267         0         0    100229       803   1827561     18.66     19.69  --
1772.59/443.78	c  N dy  5992   1867544       267         0         0     64279       803    881996     18.65     19.85  --
1793.38/448.94	c  N dy  6056   1888057       267         0         0     83651       803   1395894     18.65     19.66  --
1824.13/456.69	c  N dy  6157   1908104       267         0         0    102558       803   1891266     18.66     20.93  --
1852.07/463.62	c  N dy  6243   1928203       267         0         0     65051       803    893306     18.66     22.07  --
1878.05/470.15	c  N dy  6321   1948391       267         0         0     83891       803   1381649     18.66     19.71  --
1913.60/479.02	c  N dy  6417   1968943       267         0         0    103172       803   1885424     18.67     19.75  --
1949.15/487.90	c  N dy  6499   1989294       267         0         0     65058       803    874705     18.67     19.80  --
1972.32/493.79	c  N dy  6583   2009298       267         0         0     83822       803   1359812     18.68     20.06  --
1999.91/500.69	c  N dy  6652   2030329       267         0         0    103607       803   1876089     18.68     19.70  --
2029.84/508.17	c  N dy  6712   2050598       267         0         0     64395       803    837943     18.68     19.90  --
2054.61/514.30	c  N dy  6801   2070684       267         0         0     83245       803   1325219     18.68     20.19  --
2079.77/520.64	c  N dy  6870   2090685       267         0         0    101961       803   1816627     18.68     21.18  --
2120.52/530.83	c  N dy  6974   2113319       267         0         0     64201       803    827478     18.69     19.69  --
2149.31/538.01	c  N dy  7072   2136255       267         0         0     85735       803   1387501     18.69     19.81  --
2183.64/546.68	c  N dy  7189   2157802       267         0         0    106111       803   1929391     18.70     19.69  --
2215.99/554.72	c  N dy  7271   2177808       267         0         0     64763       803    831984     18.70     20.51  --
2236.78/559.95	c  N dy  7312   2197849       267         0         0     83675       803   1304327     18.70     19.72  --
2255.14/564.52	c  S st  7352   2210762       267         0         0     95841       803   1609577     18.70   no data  --
2257.14/565.02	c  S st  7352   2211264       267         0         0     96320       803   1622822     18.70   no data  --
2257.14/565.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2257.14/565.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2257.14/565.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2257.54/565.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2257.54/565.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2257.54/565.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
2257.54/565.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2316.97/580.08	c lits-rem:      1423  cl-subs:    11278  v-elim:      0  v-fix:    0  time: 59.65 s
2316.97/580.08	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
2316.97/580.09	c vivif2 --  cl tried    85042 cl shrink        0 lits rem          0 time: 0.07
2316.97/580.09	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2316.97/580.10	c calculated reachability. Time: 0.00
2316.97/580.10	c  N dy  7352   2211264       267         0         0     85042       803   1393858     18.70   no data  --
2346.68/587.60	c  N dy  7376   2238068       267         0         0    109812       803   1997310     18.68     19.90  --
2381.79/596.41	c  N dy  7465   2262549       267         0         0     72172       803   1014881     18.68     19.69  --
2406.93/602.76	c  N dy  7567   2282564       267         0         0     90987       803   1506160     18.68     21.76  --
2439.28/610.84	c  N dy  7643   2303951       267         0         0    111134       803   2026356     18.69     19.69  --
2470.44/618.61	c  N dy  7678   2324550       267         0         0     68557       803    901987     18.68     19.67  --
2492.41/624.11	c  N dy  7747   2344662       267         0         0     87428       803   1390896     18.68     19.68  --
2517.98/630.51	c  N dy  7793   2365298       267         0         0    106500       803   1858386     18.66     19.66  --
2554.74/639.75	c  N dy  7859   2385564       267         0         0     62920       803    749273     18.66     19.67  --
2578.72/645.77	c  N dy  7946   2406613       267         0         0     82632       803   1261856     18.67     19.73  --
2606.66/652.70	c  N dy  8032   2426778       267         0         0    101528       803   1754291     18.67     19.76  --
2643.81/662.06	c  N dy  8118   2446913       267         0         0    120481       803   2246059     18.67     19.68  --
2679.79/671.10	c  N dy  8217   2466951       267         0         0     75737       803   1067687     18.68     19.70  --
2709.32/678.41	c  N dy  8314   2487597       267         0         0     95167       803   1582050     18.68     19.79  --
2744.87/687.33	c  N dy  8371   2512370       267         0         0    118273       803   2167742     18.68     19.68  --
2777.23/695.40	c  N dy  8433   2532405       267         0         0     72401       803    965544     18.68     20.59  --
2806.39/702.70	c  N dy  8545   2553199       267         0         0     91944       803   1475289     18.68     19.69  --
2839.95/711.16	c  N dy  8663   2573275       267         0         0    110775       803   1969071     18.69     19.72  --
2876.30/720.25	c  N dy  8765   2593296       267         0         0    129614       803   2460189     18.70     20.95  --
2904.66/727.39	c  N dy  8896   2613299       267         0         0     82758       803   1230899     18.71     19.83  --
2932.62/734.37	c  N dy  8980   2633640       267         0         0    101951       803   1744805     18.71     19.73  --
2965.79/742.65	c  N dy  9054   2654622       267         0         0    121673       803   2265776     18.71     19.73  --
3008.12/753.21	c  N dy  9084   2680859       267         0         0     79234       803   1097386     18.70     19.75  --
3040.09/761.24	c  N dy  9129   2704187       267         0         0    101281       803   1671399     18.69     19.71  --
3052.86/764.45	c  S st  9156   2711265       267         0         0    107947       803   1842899     18.69     18.66  --
3055.66/765.17	c  S st  9156   2711766       267         0         0    108429       803   1857000     18.69   no data  --
3055.66/765.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3055.66/765.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3056.06/765.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
3056.06/765.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3056.06/765.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3056.06/765.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
3056.06/765.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3147.13/788.03	c lits-rem:      2574  cl-subs:    12118  v-elim:      0  v-fix:    0  time: 90.77 s
3147.13/788.03	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
3147.13/788.05	c vivif2 --  cl tried    96311 cl shrink        0 lits rem          0 time: 0.08
3147.13/788.05	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
3147.13/788.05	c calculated reachability. Time: 0.00
3147.13/788.05	c  N dy  9156   2711766       267         0         0     96311       803   1609982     18.69   no data  --
3182.28/796.86	c  N dy  9218   2733519       267         0         0    116708       803   2139465     18.69     19.74  --
3220.25/806.31	c  N dy  9309   2753551       267         0         0     68340       803    831607     18.70     19.73  --
3243.80/812.21	c  N dy  9372   2774851       267         0         0     88292       803   1342550     18.70     19.68  --
3272.98/819.58	c  N dy  9443   2795816       267         0         0    107966       803   1857350     18.69     19.85  --
3314.90/830.02	c  N dy  9551   2819311       267         0         0    130008       803   2430759     18.70     19.70  --
3347.67/838.26	c  N dy  9627   2843474       267         0         0     84289       803   1210778     18.70     19.87  --
3376.02/845.30	c  N dy  9712   2863782       267         0         0    103374       803   1710034     18.70     19.77  --
3411.57/854.23	c  N dy  9776   2885641       267         0         0    123752       803   2236288     18.70     19.70  --
3459.11/866.11	c  N dy  9868   2913045       267         0         0     80152       803   1097501     18.69     19.69  --
3490.67/874.07	c  N dy  9935   2933051       267         0         0     98876       803   1575966     18.69     19.75  --
3550.59/889.01	c  N dy 10014   2967049       267         0         0    130314       803   2379248     18.69     19.82  --
3589.36/898.77	c  N dy 10096   2987142       267         0         0     79345       803   1083490     18.69     19.69  --
3619.69/906.36	c  N dy 10175   3007158       267         0         0     98201       803   1577486     18.69     19.69  --
3656.84/915.68	c  N dy 10259   3028367       267         0         0    118196       803   2101787     18.69     19.75  --
3697.99/925.99	c  N dy 10357   3048951       267         0         0    137524       803   2608703     18.70     19.97  --
3735.93/935.47	c  N dy 10437   3074199       267         0         0     89941       803   1320117     18.69     19.68  --
3767.89/943.46	c  N dy 10560   3094665       267         0         0    109214       803   1829957     18.70     19.73  --
3802.25/952.09	c  N dy 10622   3114685       267         0         0    128001       803   2311729     18.70     20.12  --
3843.00/962.27	c  N dy 10683   3136190       267         0         0     75767       803    953669     18.70     19.76  --
3880.14/971.55	c  N dy 10766   3165917       267         0         0    103688       803   1674766     18.69     19.86  --
3927.28/983.33	c  N dy 10795   3193476       267         0         0    129879       803   2373048     18.68     19.86  --
3969.62/993.95	c  S st 10903   3211766       267         0         0     73796       803    887586     18.68   no data  --
3971.22/994.30	c  S st 10903   3212270       267         0         0     74283       803    901619     18.68   no data  --
3971.22/994.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3971.22/994.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3971.22/994.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
3971.22/994.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3971.22/994.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3971.22/994.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
3971.22/994.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3990.40/999.17	c lits-rem:       465  cl-subs:     1349  v-elim:      0  v-fix:    0  time: 19.21 s
3990.40/999.17	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
3990.40/999.18	c vivif2 --  cl tried    72934 cl shrink        0 lits rem          0 time: 0.05
3990.40/999.18	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
3990.40/999.18	c calculated reachability. Time: 0.00
3990.40/999.18	c  N dy 10903   3212270       267         0         0     72934       803    885130     18.68   no data  --
4019.55/1006.49	c  N dy 10966   3234312       267         0         0     93666       803   1428639     18.68     19.72  --
4056.31/1015.63	c  N dy 11060   3256417       267         0         0    114399       803   1968723     18.68     19.70  --
4093.86/1025.01	c  N dy 11135   3276469       267         0         0    133182       803   2453864     18.68     19.68  --
4132.60/1034.75	c  N dy 11198   3296476       267         0         0     77787       803    980043     18.68     19.67  --
4159.77/1041.55	c  N dy 11295   3316487       267         0         0     96608       803   1475451     18.69     21.25  --
4193.32/1049.96	c  N dy 11378   3336567       267         0         0    115618       803   1964348     18.69     20.93  --
4228.47/1058.71	c  N dy 11454   3356678       267         0         0    134553       803   2452300     18.69     19.68  --
4262.82/1067.32	c  N dy 11477   3376774       267         0         0     78108       803    974380     18.68     20.90  --
4289.99/1074.19	c  N dy 11534   3397601       267         0         0     97780       803   1486970     18.68     19.68  --
4321.95/1082.18	c  N dy 11615   3417618       267         0         0    116619       803   1978173     18.68     19.85  --
4352.30/1089.73	c  N dy 11651   3437918       267         0         0    135630       803   2472479     18.67     19.68  --
4393.47/1100.06	c  N dy 11716   3458033       267         0         0     78235       803    968031     18.67     19.81  --
4422.61/1107.33	c  N dy 11787   3478053       267         0         0     97176       803   1469300     18.67     19.67  --
4456.56/1115.84	c  N dy 11871   3498057       267         0         0    115919       803   1963810     18.68     20.63  --
4493.32/1125.09	c  N dy 11952   3518085       267         0         0    134796       803   2463209     18.68     19.69  --
4545.64/1138.18	c  N dy 12053   3538883       267         0         0     77301       803    928791     18.68     19.72  --
4577.20/1146.01	c  N dy 12157   3558934       267         0         0     96194       803   1424116     18.69     21.22  --
4609.55/1154.15	c  N dy 12259   3578985       267         0         0    115028       803   1914843     18.69     20.19  --
4647.11/1163.57	c  N dy 12365   3599050       267         0         0    133925       803   2416156     18.69     19.81  --
4695.05/1175.59	c  N dy 12483   3619699       267         0         0    153375       803   2927230     18.70     19.71  --
4730.99/1184.52	c  N dy 12586   3639746       267         0         0     94104       803   1351454     18.70     19.75  --
4764.14/1192.83	c  N dy 12659   3662068       267         0         0    115184       803   1908403     18.71     19.93  --
4798.12/1201.36	c  N dy 12711   3682095       267         0         0    133857       803   2386999     18.70     19.89  --

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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3264709-1304180128/watcher-3264709-1304180128 -o /tmp/evaluation-result-3264709-1304180128/solver-3264709-1304180128 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3264709-1304180128.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.14 8.13 8.03 5/180 28042
/proc/meminfo: memFree=20699984/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 640 0 0 0 0 0 0 0 25 0 4 0 510428385 288550912 563 33554432000 4194304 4650419 140735150658480 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 70447 564 343 112 0 65412 0
[pid=28042/tid=28043] ppid=28040 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 58 0 0 0 0 0 0 0 25 0 4 0 510428385 288550912 570 33554432000 4194304 4650419 140735150658480 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 4 0 510428385 288550912 572 33554432000 4194304 4650419 140735150658480 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=281788 CPUtime=0 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) S 28040 28042 27899 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 510428385 288550912 573 33554432000 4194304 4650419 140735150658480 18446744073709551615 264726510062 0 0 4096 2 18446604453969786688 0 0 -1 0 0 0 0

[startup+0.106583 s]
/proc/loadavg: 8.14 8.13 8.03 5/180 28042
/proc/meminfo: memFree=20699984/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=282464 CPUtime=0.4 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 1552 0 0 0 40 0 0 0 18 0 4 0 510428385 289243136 1451 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 70616 1451 392 112 0 65581 0
[pid=28042/tid=28043] ppid=28040 vsize=282464 CPUtime=0.1 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 291 0 0 0 10 0 0 0 25 0 4 0 510428385 289243136 1451 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=282464 CPUtime=0.09 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 282 0 0 0 9 0 0 0 25 0 4 0 510428385 289243136 1452 33554432000 4194304 4650419 140735150658480 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=282464 CPUtime=0.1 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 242 0 0 0 10 0 0 0 25 0 4 0 510428385 289243136 1452 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282464

[startup+0.200566 s]
/proc/loadavg: 8.14 8.13 8.03 5/180 28042
/proc/meminfo: memFree=20699984/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=283796 CPUtime=0.77 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 2246 0 0 0 77 0 0 0 18 0 4 0 510428385 290607104 1516 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 70949 1516 394 112 0 65914 0
[pid=28042/tid=28043] ppid=28040 vsize=283796 CPUtime=0.19 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 470 0 0 0 19 0 0 0 25 0 4 0 510428385 290607104 1516 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364030 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=283796 CPUtime=0.19 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 458 0 0 0 19 0 0 0 25 0 4 0 510428385 290607104 1516 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=283796 CPUtime=0.19 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 410 0 0 0 19 0 0 0 25 0 4 0 510428385 290607104 1517 33554432000 4194304 4650419 140735150658480 18446744073709551615 4311027 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283796

[startup+0.300547 s]
/proc/loadavg: 8.14 8.13 8.03 5/180 28042
/proc/meminfo: memFree=20699984/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=283796 CPUtime=1.17 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 2627 0 0 0 117 0 0 0 18 0 4 0 510428385 290607104 1897 33554432000 4194304 4650419 140735150658480 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 70949 1897 394 112 0 65914 0
[pid=28042/tid=28043] ppid=28040 vsize=283796 CPUtime=0.29 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 570 0 0 0 29 0 0 0 25 0 4 0 510428385 290607104 1897 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364017 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=283796 CPUtime=0.29 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 556 0 0 0 29 0 0 0 25 0 4 0 510428385 290607104 1897 33554432000 4194304 4650419 140735150658480 18446744073709551615 4330713 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=283796 CPUtime=0.29 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 496 0 0 0 29 0 0 0 25 0 4 0 510428385 290607104 1897 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283796

[startup+0.700473 s]
/proc/loadavg: 8.14 8.13 8.03 5/180 28042
/proc/meminfo: memFree=20699984/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=285092 CPUtime=2.78 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 4547 0 0 0 277 1 0 0 18 0 4 0 510428385 291934208 2328 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 71273 2328 394 112 0 66238 0
[pid=28042/tid=28043] ppid=28040 vsize=285092 CPUtime=0.69 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 949 0 0 0 69 0 0 0 25 0 4 0 510428385 291934208 2328 33554432000 4194304 4650419 140735150658480 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=285092 CPUtime=0.69 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 1092 0 0 0 69 0 0 0 25 0 4 0 510428385 291934208 2328 33554432000 4194304 4650419 140735150658480 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=285092 CPUtime=0.69 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 953 0 0 0 69 0 0 0 25 0 4 0 510428385 291934208 2328 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285092

[startup+1.50039 s]
/proc/loadavg: 8.13 8.13 8.03 5/180 28047
/proc/meminfo: memFree=21940108/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=286428 CPUtime=5.97 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 8582 0 0 0 595 2 0 0 20 0 4 0 510428385 293302272 4286 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364738 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 71607 4286 395 112 0 66572 0
[pid=28042/tid=28043] ppid=28040 vsize=286428 CPUtime=1.48 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 1775 0 0 0 148 0 0 0 25 0 4 0 510428385 293302272 4286 33554432000 4194304 4650419 140735150658480 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=286428 CPUtime=1.49 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 1707 0 0 0 149 0 0 0 25 0 4 0 510428385 293302272 4286 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=286428 CPUtime=1.49 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 1720 0 0 0 149 0 0 0 25 0 4 0 510428385 293302272 4286 33554432000 4194304 4650419 140735150658480 18446744073709551615 4330626 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286428

[startup+3.10102 s]
/proc/loadavg: 8.13 8.13 8.03 5/179 28047
/proc/meminfo: memFree=21929072/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=295544 CPUtime=12.37 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 16791 0 0 0 1233 4 0 0 19 0 4 0 510428385 302637056 9422 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 73886 9422 395 112 0 68851 0
[pid=28042/tid=28043] ppid=28040 vsize=295544 CPUtime=3.08 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 3883 0 0 0 307 1 0 0 25 0 4 0 510428385 302637056 9422 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364656 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=295544 CPUtime=3.08 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 4148 0 0 0 308 0 0 0 25 0 4 0 510428385 302637056 9422 33554432000 4194304 4650419 140735150658480 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=295544 CPUtime=3.08 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 4212 0 0 0 308 0 0 0 25 0 4 0 510428385 302637056 9422 33554432000 4194304 4650419 140735150658480 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 295544

[startup+6.30042 s]
/proc/loadavg: 8.13 8.13 8.03 9/184 28077
/proc/meminfo: memFree=21901460/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=296200 CPUtime=25.15 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 23724 0 0 0 2510 5 0 0 25 0 4 0 510428385 303308800 11622 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 74050 11622 395 112 0 69015 0
[pid=28042/tid=28043] ppid=28040 vsize=296200 CPUtime=6.26 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 5832 0 0 0 625 1 0 0 25 0 4 0 510428385 303308800 11622 33554432000 4194304 4650419 140735150658480 18446744073709551615 4313327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=296200 CPUtime=6.29 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 5806 0 0 0 628 1 0 0 25 0 4 0 510428385 303308800 11622 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=296200 CPUtime=6.29 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 5643 0 0 0 628 1 0 0 25 0 4 0 510428385 303308800 11622 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 296200

[startup+12.7002 s]
/proc/loadavg: 8.11 8.12 8.03 9/184 28077
/proc/meminfo: memFree=21860688/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=310884 CPUtime=50.71 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 35935 0 0 0 5064 7 0 0 25 0 4 0 510428385 318345216 17127 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 77721 17127 395 112 0 72686 0
[pid=28042/tid=28043] ppid=28040 vsize=310884 CPUtime=12.63 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 8568 0 0 0 1261 2 0 0 25 0 4 0 510428385 318345216 17127 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=310884 CPUtime=12.68 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 8762 0 0 0 1267 1 0 0 25 0 4 0 510428385 318345216 17127 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=310884 CPUtime=12.69 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 8782 0 0 0 1268 1 0 0 25 0 4 0 510428385 318345216 17127 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 310884

[startup+25.5008 s]
/proc/loadavg: 8.09 8.12 8.03 9/184 28078
/proc/meminfo: memFree=21810380/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=311760 CPUtime=101.85 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 55021 0 0 0 10174 11 0 0 25 0 4 0 510428385 319242240 21874 33554432000 4194304 4650419 140735150658480 18446744073709551615 4476454 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 77940 21874 395 112 0 72905 0
[pid=28042/tid=28043] ppid=28040 vsize=311760 CPUtime=25.37 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 14186 0 0 0 2534 3 0 0 25 0 4 0 510428385 319242240 21875 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=311760 CPUtime=25.48 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 13751 0 0 0 2546 2 0 0 25 0 4 0 510428385 319242240 21875 33554432000 4194304 4650419 140735150658480 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=311760 CPUtime=25.49 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 11987 0 0 0 2547 2 0 0 25 0 4 0 510428385 319242240 21875 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 311760

[startup+51.101 s]
/proc/loadavg: 8.06 8.10 8.03 9/184 28078
/proc/meminfo: memFree=21759812/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=333224 CPUtime=204.13 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 83416 0 0 0 20396 17 0 0 25 0 4 0 510428385 341221376 28092 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 83306 28092 395 112 0 78271 0
[pid=28042/tid=28043] ppid=28040 vsize=333224 CPUtime=50.85 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 23099 0 0 0 5080 5 0 0 25 0 4 0 510428385 341221376 28092 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=333224 CPUtime=51.08 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 22627 0 0 0 5104 4 0 0 25 0 4 0 510428385 341221376 28092 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=333224 CPUtime=51.09 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 15964 0 0 0 5106 3 0 0 25 0 4 0 510428385 341221376 28092 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 333224

[startup+102.3 s]
/proc/loadavg: 8.02 8.09 8.02 9/184 28080
/proc/meminfo: memFree=21698160/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=324980 CPUtime=408.71 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 125500 0 0 0 40843 28 0 0 25 0 4 0 510428385 332779520 34419 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 81245 34419 395 112 0 76210 0
[pid=28042/tid=28043] ppid=28040 vsize=324980 CPUtime=101.81 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 37147 0 0 0 10172 9 0 0 25 0 4 0 510428385 332779520 34419 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=324980 CPUtime=102.28 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 32230 0 0 0 10222 6 0 0 25 0 4 0 510428385 332779520 34419 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=324980 CPUtime=102.3 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 22397 0 0 0 10225 5 0 0 25 0 4 0 510428385 332779520 34419 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.71
Current children cumulated vsize (KiB) 324980

[startup+162.301 s]

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

[pid=28042] ppid=28040 vsize=487324 CPUtime=2804.79 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 376357 0 0 0 280366 113 0 0 25 0 4 0 510428385 499019776 76769 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 121831 76769 395 112 0 116796 0
[pid=28042/tid=28043] ppid=28040 vsize=487324 CPUtime=698.72 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 101413 0 0 0 69840 32 0 0 25 0 4 0 510428385 499019776 76769 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=487324 CPUtime=701.43 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 102206 0 0 0 70114 29 0 0 25 0 4 0 510428385 499019776 76769 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=487324 CPUtime=702.31 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 82368 0 0 0 70209 22 0 0 25 0 4 0 510428385 499019776 76769 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.79
Current children cumulated vsize (KiB) 487324

[startup+762.301 s]
/proc/loadavg: 8.13 8.13 8.05 9/184 28130
/proc/meminfo: memFree=20691724/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=449460 CPUtime=3044.49 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 396624 0 0 0 304328 121 0 0 25 0 4 0 510428385 460247040 76808 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 112365 76808 395 112 0 107330 0
[pid=28042/tid=28043] ppid=28040 vsize=449460 CPUtime=758.4 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 106267 0 0 0 75806 34 0 0 25 0 4 0 510428385 460247040 76808 33554432000 4194304 4650419 140735150658480 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=449460 CPUtime=761.43 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 106706 0 0 0 76112 31 0 0 25 0 4 0 510428385 460247040 76808 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=449460 CPUtime=762.32 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 87377 0 0 0 76208 24 0 0 25 0 4 0 510428385 460247040 76808 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.49
Current children cumulated vsize (KiB) 449460

[startup+822.3 s]
/proc/loadavg: 8.15 8.13 8.06 9/184 28132
/proc/meminfo: memFree=20595712/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=528176 CPUtime=3284.14 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 415880 0 0 0 328286 128 0 0 25 0 4 0 510428385 540852224 86165 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 132044 86165 395 112 0 127009 0
[pid=28042/tid=28043] ppid=28040 vsize=528176 CPUtime=818.08 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 107552 0 0 0 81773 35 0 0 25 0 4 0 510428385 540852224 86165 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=528176 CPUtime=821.42 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 112065 0 0 0 82108 34 0 0 25 0 4 0 510428385 540852224 86165 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=528176 CPUtime=822.32 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 93187 0 0 0 82205 27 0 0 25 0 4 0 510428385 540852224 86165 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.14
Current children cumulated vsize (KiB) 528176

[startup+882.307 s]
/proc/loadavg: 8.23 8.15 8.07 9/184 28134
/proc/meminfo: memFree=20595660/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=566140 CPUtime=3523.84 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 434229 0 0 0 352247 137 0 0 25 0 4 0 510428385 579727360 89845 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 141535 89845 395 112 0 136500 0
[pid=28042/tid=28043] ppid=28040 vsize=566140 CPUtime=877.76 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 110431 0 0 0 87740 36 0 0 25 0 4 0 510428385 579727360 89845 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=566140 CPUtime=881.43 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 115986 0 0 0 88107 36 0 0 25 0 4 0 510428385 579727360 89845 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=566140 CPUtime=882.32 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 98777 0 0 0 88203 29 0 0 25 0 4 0 510428385 579727360 89845 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.84
Current children cumulated vsize (KiB) 566140

[startup+942.301 s]
/proc/loadavg: 8.17 8.15 8.07 9/184 28135
/proc/meminfo: memFree=20616332/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=541216 CPUtime=3763.5 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 446758 0 0 0 376206 144 0 0 25 0 4 0 510428385 554205184 90174 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 135304 90174 395 112 0 130269 0
[pid=28042/tid=28043] ppid=28040 vsize=541216 CPUtime=937.42 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 113317 0 0 0 93705 37 0 0 25 0 4 0 510428385 554205184 90174 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=541216 CPUtime=941.42 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 118727 0 0 0 94105 37 0 0 25 0 4 0 510428385 554205184 90174 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=541216 CPUtime=942.32 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 101904 0 0 0 94202 30 0 0 25 0 4 0 510428385 554205184 90174 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.5
Current children cumulated vsize (KiB) 541216

[startup+1002.3 s]
/proc/loadavg: 8.14 8.15 8.08 9/184 28137
/proc/meminfo: memFree=20542876/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=568004 CPUtime=4003.17 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 462207 0 0 0 400166 151 0 0 25 0 4 0 510428385 581636096 93359 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 142001 93359 395 112 0 136966 0
[pid=28042/tid=28043] ppid=28040 vsize=568004 CPUtime=997.1 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 115892 0 0 0 99672 38 0 0 25 0 4 0 510428385 581636096 93359 33554432000 4194304 4650419 140735150658480 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=568004 CPUtime=1001.41 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 124263 0 0 0 100101 40 0 0 25 0 4 0 510428385 581636096 93359 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=568004 CPUtime=1002.33 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 104689 0 0 0 100201 32 0 0 25 0 4 0 510428385 581636096 93359 33554432000 4194304 4650419 140735150658480 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.17
Current children cumulated vsize (KiB) 568004

[startup+1062.3 s]
/proc/loadavg: 8.17 8.16 8.09 9/184 28138
/proc/meminfo: memFree=20435428/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=568124 CPUtime=4242.86 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 474629 0 0 0 424128 158 0 0 25 0 4 0 510428385 581758976 93400 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 142031 93400 395 112 0 136996 0
[pid=28042/tid=28043] ppid=28040 vsize=568124 CPUtime=1056.79 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 117898 0 0 0 105640 39 0 0 25 0 4 0 510428385 581758976 93400 33554432000 4194304 4650419 140735150658480 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=568124 CPUtime=1061.41 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 128537 0 0 0 106098 43 0 0 25 0 4 0 510428385 581758976 93400 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=568124 CPUtime=1062.32 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 105915 0 0 0 106199 33 0 0 25 0 4 0 510428385 581758976 93400 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.86
Current children cumulated vsize (KiB) 568124

[startup+1122.3 s]
/proc/loadavg: 8.13 8.16 8.09 9/184 28140
/proc/meminfo: memFree=20430056/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=580884 CPUtime=4482.53 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 490811 0 0 0 448089 164 0 0 25 0 4 0 510428385 594825216 93515 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 145221 93515 395 112 0 140186 0
[pid=28042/tid=28043] ppid=28040 vsize=580884 CPUtime=1116.46 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 119509 0 0 0 111606 40 0 0 25 0 4 0 510428385 594825216 93515 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=580884 CPUtime=1121.4 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 133948 0 0 0 112096 44 0 0 25 0 4 0 510428385 594825216 93515 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=580884 CPUtime=1122.33 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 108914 0 0 0 112198 35 0 0 25 0 4 0 510428385 594825216 93515 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.53
Current children cumulated vsize (KiB) 580884

[startup+1182.3 s]
/proc/loadavg: 8.16 8.16 8.09 9/184 28142
/proc/meminfo: memFree=20334532/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=621672 CPUtime=4722.2 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 500311 0 0 0 472052 168 0 0 25 0 4 0 510428385 636592128 96253 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 155418 96253 395 112 0 150383 0
[pid=28042/tid=28043] ppid=28040 vsize=621672 CPUtime=1176.13 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 122503 0 0 0 117572 41 0 0 25 0 4 0 510428385 636592128 96253 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=621672 CPUtime=1181.39 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 136273 0 0 0 118094 45 0 0 25 0 4 0 510428385 636592128 96253 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=621672 CPUtime=1182.33 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 108948 0 0 0 118198 35 0 0 25 0 4 0 510428385 636592128 96253 33554432000 4194304 4650419 140735150658480 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.2
Current children cumulated vsize (KiB) 621672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.11 8.15 8.09 9/184 28142
/proc/meminfo: memFree=20330060/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=570408 CPUtime=4800.11 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 504946 0 0 0 479841 170 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 142602 97311 395 112 0 137567 0
[pid=28042/tid=28043] ppid=28040 vsize=570408 CPUtime=1195.53 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 124745 0 0 0 119511 42 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=570408 CPUtime=1200.9 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 138516 0 0 0 120044 46 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=570408 CPUtime=1201.84 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 109098 0 0 0 120149 35 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 570408

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

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

[startup+1201.8 s]
/proc/loadavg: 8.11 8.15 8.09 9/184 28142
/proc/meminfo: memFree=20330060/32951124 swapFree=67111524/67111528
[pid=28042] ppid=28040 vsize=570408 CPUtime=4800.11 cores=0,2,4,6
/proc/28042/stat : 28042 (strangenight1-m) R 28040 28042 27899 0 -1 4202496 504946 0 0 0 479841 170 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 142602 97311 395 112 0 137567 0
[pid=28042/tid=28043] ppid=28040 vsize=570408 CPUtime=1195.53 cores=0,2,4,6
/proc/28042/task/28043/stat : 28043 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 124745 0 0 0 119511 42 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28042/tid=28044] ppid=28040 vsize=570408 CPUtime=1200.9 cores=0,2,4,6
/proc/28042/task/28044/stat : 28044 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 138516 0 0 0 120044 46 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28042/tid=28045] ppid=28040 vsize=570408 CPUtime=1201.84 cores=0,2,4,6
/proc/28042/task/28045/stat : 28045 (strangenight1-m) R 28040 28042 27899 0 -1 4202560 109098 0 0 0 120149 35 0 0 25 0 4 0 510428385 584097792 97311 33554432000 4194304 4650419 140735150658480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 570408

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.16
CPU user time (s): 4798.44
CPU system time (s): 1.72474
CPU usage (%): 399.404
Max. virtual memory (cumulated for all children) (KiB): 643432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.44
system time used= 1.72474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504946
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= 237
involuntary context switches= 21525

runsolver used 1.86172 second user time and 4.45332 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 18:15:28
IDJOB=3264709
IDBENCH=85304
IDSOLVER=1588
FILE ID=node141/3264709-1304180128
RUNJOBID= node141-1304178924-27917
PBS_JOBID= 13172451
Free space on /tmp= 72572 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264709-1304180128/watcher-3264709-1304180128 -o /tmp/evaluation-result-3264709-1304180128/solver-3264709-1304180128 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3264709-1304180128.cnf

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

MD5SUM BENCH= 51d9aefd9da7f94abc32dd024090dc46
RANDOM SEED=957437670

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20700264 kB
Buffers:       1411196 kB
Cached:        8949792 kB
SwapCached:          4 kB
Active:        3938360 kB
Inactive:      7735808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20700264 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:     1313044 kB
Mapped:          15524 kB
Slab:           510900 kB
PageTables:       7492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1604860 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= 72588 MiB
End job on node141 at 2011-04-30 18:35:32