Trace number 3175245

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.1 1201.63

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf
MD5SUMd549c96b17fdae3a10d8538216eeee78
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.168973
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

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-3175245-1304103333.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.38/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.38/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.38/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.38/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.14	c calculated reachability. Time: 0.00
0.38/0.14	c Calc default polars -  time:   0.00 s pos:      30 undec:       0 neg:      30
0.38/0.14	c =========================================================================================
0.38/0.14	c types(t): F = full restart, N = normal restart
0.38/0.14	c types(t): S = simplification begin/end, E = solution found
0.38/0.14	c restart types(rt): st = static, dy = dynamic
0.38/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.28	c  N dy    10      5075        60      5340         0      2296     37380     43771     17.82     18.79  --
1.57/0.41	c  N dy    32      9211        60      5340         0      5990     37380    123365     18.36     19.34  --
1.98/0.57	c  N dy    35     13515        60      5340         0      6020     37380    114244     17.98     18.93  --
2.78/0.78	c  N dy    52     18265        60      5340         0      5249     37380     89665     18.05     19.00  --
3.58/0.95	c  N dy    66     22535        60      5340         0      8993     37380    168153     18.10     19.15  --
3.99/1.08	c  F st    85     25002        60      5340         0     11194     37380    215560     18.21   no data  --
4.39/1.18	c  N st    89     27034        60      5340         0      6964     37380    116239     18.21   no data  --
5.17/1.31	c  S st    91     30000        60      5340         0      9542     37380    170192     18.21   no data  --
5.17/1.34	c  S st    91     30501        60      5340         0      9989     37380    179952     18.21   no data  --
5.17/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.17/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.23	c lits-rem:      1207  cl-subs:     1069  v-elim:      0  v-fix:    0  time:  3.50 s
9.56/2.48	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.02
9.56/2.48	c calculated reachability. Time: 0.00
9.56/2.48	c  N dy    91     30501        60      5340         0      8920     37380    156484     18.21   no data  --
11.16/2.81	c  N dy    96     37412        60      5340         0      8130     37380    131368     17.94     19.03  --
11.96/3.05	c  N dy   120     42207        60      5340         0     12424     37380    223284     18.04     19.02  --
12.78/3.28	c  S st   135     45752        60      5340         0     15599     37380    291504     18.09     17.39  --
13.17/3.33	c  S st   135     46255        60      5340         0      8118     37380    123383     18.09   no data  --
13.17/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.17/3.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.17/3.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.17/3.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.17/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.17/3.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.17/3.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.95/4.07	c lits-rem:       164  cl-subs:       20  v-elim:      0  v-fix:    0  time:  2.93 s
15.95/4.07	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.95/4.07	c vivif2 --  cl tried     8098 cl shrink        0 lits rem          0 time: 0.01
17.17/4.30	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.92
17.17/4.30	c calculated reachability. Time: 0.00
17.17/4.30	c  N dy   135     46255        60      5340         0      8098     37380    122757     18.09   no data  --
17.95/4.51	c  N dy   165     50290        60      5340         0     11706     37380    201149     18.22     19.41  --
21.97/5.56	c  N dy   173     69385        60      5340         0     10003     37380    145584     17.83     16.49  --
21.97/5.56	c  S st   173     69385        60      5340         0     10003     37380    145584     17.83     16.49  --
22.35/5.60	c  S st   173     69888        60      5340         0     10459     37380    155589     17.83   no data  --
22.35/5.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.35/5.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.35/5.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.35/5.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.35/5.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.35/5.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.35/5.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.14/6.39	c lits-rem:       287  cl-subs:      132  v-elim:      0  v-fix:    0  time:  3.11 s
25.14/6.39	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.14/6.39	c vivif2 --  cl tried    10327 cl shrink        0 lits rem          0 time: 0.00
26.36/6.67	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
26.36/6.67	c calculated reachability. Time: 0.00
26.36/6.67	c  N dy   173     69888        60      5340         0     10327     37380    152577     17.83   no data  --
27.53/6.99	c  N dy   190     75582        60      5340         0     15365     37380    257831     17.83     18.79  --
29.53/7.45	c  N dy   217     82021        60      5340         0     21150     37380    380898     17.87     18.85  --
30.76/7.79	c  F st   230     87500        60      5340         0     15341     37380    244935     17.85     15.82  --
30.76/7.79	c  N st   230     87500        60      5340         0     15341     37380    244935     17.85     15.82  --
32.33/8.18	c  N dy   240     93269        60      5340         0     20468     37380    356224     17.85     18.81  --
34.33/8.66	c  N dy   277     99423        60      5340         0     14416     37380    219749     17.94     18.89  --
35.92/9.03	c  S st   290    104833        60      5340         0     19246     37380    320948     17.93     16.37  --
35.92/9.08	c  S st   290    105337        60      5340         0     19695     37380    330733     17.93   no data  --
35.92/9.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.92/9.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.92/9.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.32/9.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.32/9.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.32/10.66	c lits-rem:      1968  cl-subs:     1982  v-elim:      0  v-fix:    0  time:  6.23 s
42.32/10.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.32/10.66	c vivif2 --  cl tried    17713 cl shrink        0 lits rem          0 time: 0.01
43.94/11.02	c asymm  cl-useful: 0/4314/5340 lits-rem:0 time: 1.43
43.94/11.02	c calculated reachability. Time: 0.00
43.94/11.02	c  N dy   290    105337        60      5340         0     17713     37380    286679     17.93   no data  --
46.31/11.60	c  N dy   319    112851        60      5340         0     24383     37380    428074     17.96     18.91  --
48.34/12.14	c  N dy   358    120247        60      5340         0     18633     37380    299784     18.00     19.04  --
52.32/13.15	c  N dy   388    133702        60      5340         0     17275     37380    253913     17.92     19.10  --
55.10/13.84	c  N dy   431    142239        60      5340         0     24878     37380    415500     17.96     18.91  --
58.70/14.78	c  N dy   458    154552        60      5340         0     21624     37380    338730     17.93     18.90  --
60.30/15.10	c  S st   477    158005        60      5340         0     24700     37380    404864     17.96     18.75  --
60.30/15.16	c  S st   477    158508        60      5340         0     25161     37380    414951     17.96   no data  --
60.30/15.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.30/15.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.30/15.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
60.30/15.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.30/15.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.30/15.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.30/15.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.89/17.04	c lits-rem:      2056  cl-subs:     2991  v-elim:      0  v-fix:    0  time:  7.39 s
67.89/17.04	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.89/17.04	c vivif2 --  cl tried    22170 cl shrink        0 lits rem          0 time: 0.02
68.29/17.18	c asymm  cl-useful: 0/1026/5340 lits-rem:0 time: 0.58
68.29/17.19	c calculated reachability. Time: 0.00
68.29/17.19	c  N dy   477    158508        60      5340         0     22170     37380    352083     17.96   no data  --
71.88/18.04	c  N dy   491    168783        60      5340         0     16299     37380    219838     17.91     18.91  --
77.07/19.30	c  N dy   549    183488        60      5340         0     29366     37380    495939     17.93     19.00  --
80.67/20.27	c  N dy   587    195224        60      5340         0     23901     37380    367640     17.93     19.53  --
86.26/21.67	c  N dy   660    207846        60      5340         0     18309     37380    243128     17.98     18.93  --
91.46/22.95	c  N dy   726    221147        60      5340         0     30155     37380    495394     18.02     20.98  --
97.44/24.47	c  N dy   797    236325        60      5340         0     25913     37380    394630     18.06     19.08  --
98.25/24.60	c  S st   800    237765        60      5340         0     27183     37380    420821     18.06     17.28  --
98.25/24.67	c  S st   800    238269        60      5340         0     27652     37380    431362     18.06   no data  --
98.25/24.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.25/24.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.25/24.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.25/24.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.25/24.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.25/24.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.25/24.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.63/26.77	c lits-rem:      2008  cl-subs:     2344  v-elim:      0  v-fix:    0  time:  8.30 s
106.63/26.77	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.63/26.78	c vivif2 --  cl tried    25308 cl shrink        0 lits rem          0 time: 0.02
108.23/27.15	c asymm  cl-useful: 0/3297/5340 lits-rem:0 time: 1.48
108.23/27.15	c calculated reachability. Time: 0.00
108.23/27.15	c  N dy   800    238269        60      5340         0     25308     37380    379202     18.06   no data  --
115.02/28.89	c  N dy   865    255613        60      5340         0     22171     37380    302752     18.08     19.08  --
121.82/30.56	c  N dy   938    271933        60      5340         0     36619     37380    610786     18.11     19.37  --
131.00/32.84	c  N dy   995    296351        60      5340         0     38813     37380    643890     18.08     19.15  --
134.60/33.78	c  F st  1008    306250        60      5340         0     27205     37380    382502     18.05   no data  --
138.58/34.79	c  N dy  1044    315779        60      5340         0     35615     37380    564217     18.06     19.04  --
152.97/38.30	c  N dy  1066    350812        60      5340         0     23022     37380    281301     17.85     19.11  --
155.37/38.93	c  S st  1097    357405        60      5340         0     28887     37380    407160     17.86     17.25  --
155.77/39.00	c  S st  1097    357909        60      5340         0     29337     37380    417050     17.86   no data  --
155.77/39.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.77/39.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.77/39.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
155.77/39.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.77/39.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.77/39.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
155.77/39.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
164.56/41.22	c lits-rem:      1663  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  8.77 s
164.56/41.22	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
164.56/41.23	c vivif2 --  cl tried    27419 cl shrink        0 lits rem          0 time: 0.02
165.76/41.53	c asymm  cl-useful: 0/2043/5340 lits-rem:0 time: 1.20
165.76/41.53	c calculated reachability. Time: 0.00
165.76/41.53	c  N dy  1097    357909        60      5340         0     27419     37380    376900     17.86   no data  --
176.54/44.29	c  N dy  1197    377995        60      5340         0     45332     37380    759400     17.90     18.86  --
188.55/47.28	c  N dy  1270    400381        60      5340         0     42224     37380    676813     17.90     18.95  --
199.71/50.00	c  N dy  1369    420675        60      5340         0     36469     37380    546689     17.93     19.01  --
211.69/53.00	c  N dy  1498    440970        60      5340         0     29698     37380    392129     17.98     19.03  --
223.28/55.95	c  N dy  1619    461909        60      5340         0     48348     37380    794775     18.03     18.98  --
234.86/58.88	c  N dy  1704    484934        60      5340         0     43024     37380    662535     18.04     19.02  --
246.45/61.79	c  N dy  1778    505029        60      5340         0     34144     37380    459278     18.03     19.35  --
258.85/64.84	c  N dy  1872    525407        60      5340         0     52251     37380    847638     18.05     19.03  --
264.82/66.32	c  S st  1893    536865        60      5340         0     34884     37380    465532     18.04     17.39  --
265.22/66.41	c  S st  1893    537369        60      5340         0     35348     37380    475721     18.04   no data  --
265.22/66.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
265.22/66.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
265.22/66.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
265.22/66.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
265.22/66.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.22/66.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
265.22/66.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
274.01/68.60	c lits-rem:      1494  cl-subs:     2550  v-elim:      0  v-fix:    0  time:  8.64 s
274.01/68.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
274.01/68.60	c vivif2 --  cl tried    32798 cl shrink        0 lits rem          0 time: 0.02
275.21/68.98	c asymm  cl-useful: 0/2545/5340 lits-rem:0 time: 1.50
275.21/68.98	c calculated reachability. Time: 0.00
275.21/68.98	c  N dy  1893    537369        60      5340         0     32798     37380    424599     18.04   no data  --
287.20/71.97	c  N dy  1978    557837        60      5340         0     50956     37380    812789     18.05     19.05  --
302.38/75.76	c  N dy  2055    585364        60      5340         0     47059     37380    708815     18.04     19.25  --
315.56/79.03	c  N dy  2167    606212        60      5340         0     36461     37380    486227     18.06     19.03  --
328.35/82.20	c  N dy  2207    629894        60      5340         0     57351     37380    919211     18.02     19.05  --
339.12/84.90	c  N dy  2272    649947        60      5340         0     45034     37380    653172     18.02     19.01  --
357.10/89.46	c  N dy  2355    673981        60      5340         0     35432     37380    440986     18.02     19.00  --
372.29/93.25	c  N dy  2435    698164        60      5340         0     56832     37380    894152     18.03     18.99  --
387.86/97.10	c  N dy  2578    719522        60      5340         0     43977     37380    617181     18.06     19.16  --
404.64/101.34	c  N dy  2675    740383        60      5340         0     62354     37380   1008646     18.07     19.02  --
418.62/104.85	c  N dy  2678    765773        60      5340         0     51679     37380    745344     18.01     18.99  --
435.80/109.14	c  N dy  2775    788017        60      5340         0     37947     37380    463140     18.03     19.06  --
445.78/111.63	c  S st  2833    806054        60      5340         0     53942     37380    802785     18.02   no data  --
446.18/111.78	c  S st  2833    806558        60      5340         0     54408     37380    813485     18.02   no data  --
446.18/111.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
446.18/111.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.58/111.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
446.58/111.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
446.58/111.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.58/111.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
446.58/111.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
473.35/118.53	c lits-rem:      3037  cl-subs:     5619  v-elim:      0  v-fix:    0  time: 26.74 s
473.35/118.53	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
473.35/118.54	c vivif2 --  cl tried    48789 cl shrink        0 lits rem          0 time: 0.04
474.56/118.85	c asymm  cl-useful: 0/776/5340 lits-rem:0 time: 1.21
474.56/118.85	c calculated reachability. Time: 0.00
474.56/118.85	c  N dy  2833    806558        60      5340         0     48789     37380    697327     18.02   no data  --
491.74/123.14	c  N dy  2909    826572        60      5340         0     66584     37380   1075933     18.02     19.81  --
505.70/126.62	c  N dy  3042    846692        60      5340         0     50278     37380    725314     18.05     19.00  --
524.48/131.38	c  N dy  3124    870190        60      5340         0     35795     37380    396726     18.05     19.36  --
571.62/143.12	c  N dy  3227    950945        60      5340         0     70005     37380   1058352     17.89     18.97  --
585.20/146.57	c  N dy  3251    972822        60      5340         0     52596     37380    714228     17.86     18.92  --
604.38/151.35	c  N dy  3393    992854        60      5340         0     70469     37380   1102242     17.88     20.61  --
621.55/155.65	c  N dy  3547   1012865        60      5340         0     50494     37380    689896     17.91     18.87  --
638.73/159.90	c  N dy  3632   1032929        60      5340         0     68228     37380   1064620     17.91     20.70  --
656.71/164.44	c  N dy  3731   1052997        60      5340         0     47175     37380    602690     17.93     19.95  --
671.09/168.01	c  F st  3817   1071875        60      5340         0     63879     37380    960125     17.94     17.56  --
671.91/168.25	c  N st  3820   1073063        60      5340         0     64927     37380    982891     17.94   no data  --
691.46/173.11	c  N dy  3899   1093100        60      5340         0     42889     37380    497343     17.94     21.25  --
706.64/176.97	c  N dy  3983   1113834        60      5340         0     61258     37380    885739     17.95     18.92  --
726.21/181.88	c  N dy  4065   1135168        60      5340         0     80100     37380   1287808     17.95     18.98  --
742.62/185.92	c  N dy  4190   1155193        60      5340         0     57178     37380    798348     17.97     20.39  --
762.57/190.98	c  N dy  4312   1175308        60      5340         0     75024     37380   1185921     17.99     18.98  --
786.55/196.93	c  N dy  4418   1198072        60      5340         0     53555     37380    707502     18.00     19.05  --
798.52/199.98	c  S st  4492   1209837        60      5340         0     63988     37380    933671     18.01     18.04  --
799.74/200.21	c  S st  4492   1210342        60      5340         0     64438     37380    943738     18.01   no data  --
799.74/200.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
799.74/200.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
799.74/200.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
799.74/200.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.74/200.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.74/200.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
799.74/200.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
871.23/218.10	c lits-rem:      3295  cl-subs:     5672  v-elim:      0  v-fix:    0  time: 71.16 s
871.23/218.10	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
871.23/218.11	c vivif2 --  cl tried    58766 cl shrink        0 lits rem          0 time: 0.04
872.43/218.47	c asymm  cl-useful: 0/640/5340 lits-rem:0 time: 1.44
872.43/218.47	c calculated reachability. Time: 0.00
872.43/218.47	c  N dy  4492   1210342        60      5340         0     58766     37380    818255     18.01   no data  --
894.80/224.03	c  N dy  4550   1230993        60      5340         0     76937     37380   1199912     18.00     18.96  --
914.77/229.03	c  N dy  4673   1251041        60      5340         0     52595     37380    687237     18.02     19.99  --
936.73/234.54	c  N dy  4788   1275777        60      5340         0     74480     37380   1155203     18.03     19.01  --
961.50/240.76	c  N dy  4937   1299641        60      5340         0     52374     37380    664618     18.05     19.05  --
983.90/246.37	c  N dy  5048   1320733        60      5340         0     71116     37380   1070891     18.06     19.07  --
1014.23/253.95	c  N dy  5174   1341092        60      5340         0     44952     37380    493199     18.08     19.24  --
1059.00/265.13	c  N dy  5223   1393854        60      5340         0     46240     37380    509623     18.01     19.26  --
1072.55/268.58	c  N dy  5279   1413936        60      5340         0     63924     37380    882677     18.01     20.02  --
1093.32/273.74	c  N dy  5380   1433946        60      5340         0     81540     37380   1259131     18.01     20.92  --
1116.12/279.48	c  N dy  5487   1455112        60      5340         0     54446     37380    676520     18.02     19.08  --
1134.07/283.92	c  N dy  5575   1475464        60      5340         0     72429     37380   1062848     18.03     19.01  --
1158.84/290.10	c  N dy  5693   1495469        60      5340         0     90147     37380   1446555     18.04     21.02  --
1183.61/296.32	c  N dy  5799   1523420        60      5340         0     68050     37380    956293     18.04     19.06  --
1209.57/302.87	c  N dy  5884   1546632        60      5340         0     88533     37380   1389937     18.04     19.00  --
1231.15/308.28	c  N dy  5975   1566707        60      5340         0     58538     37380    741354     18.05     20.97  --
1250.33/313.07	c  N dy  6079   1586788        60      5340         0     76310     37380   1125255     18.06     19.88  --
1276.68/319.61	c  N dy  6196   1606875        60      5340         0     94115     37380   1511364     18.07     20.36  --
1294.26/324.03	c  N dy  6257   1626917        60      5340         0     63184     37380    829993     18.07     19.81  --
1326.64/332.13	c  N dy  6300   1662738        60      5340         0     94361     37380   1470923     18.04     19.17  --
1346.99/337.29	c  N dy  6387   1682837        60      5340         0     62918     37380    817125     18.05     20.72  --
1370.97/343.22	c  N dy  6474   1705961        60      5340         0     83216     37380   1245529     18.05     19.03  --
1377.34/344.82	c  S st  6490   1710343        60      5340         0     87095     37380   1328527     18.05     17.55  --
1378.54/345.13	c  S st  6490   1710846        60      5340         0     87553     37380   1338764     18.05   no data  --
1378.54/345.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1378.54/345.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1378.54/345.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1378.94/345.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1378.94/345.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1378.94/345.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1378.94/345.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1570.29/393.15	c lits-rem:      7150  cl-subs:    10977  v-elim:      0  v-fix:    0  time: 191.37 s
1570.29/393.15	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1570.29/393.17	c vivif2 --  cl tried    76576 cl shrink        0 lits rem          0 time: 0.07
1572.29/393.60	c asymm  cl-useful: 0/491/5340 lits-rem:0 time: 1.75
1572.29/393.61	c calculated reachability. Time: 0.00
1572.29/393.61	c  N dy  6490   1710846        60      5340         0     76576     37380   1107517     18.05   no data  --
1605.45/401.95	c  N dy  6584   1730852        60      5340         0     94249     37380   1486602     18.05     20.05  --
1635.00/409.36	c  N dy  6695   1753066        60      5340         0     64340     37380    848597     18.06     19.07  --
1662.97/416.39	c  N dy  6775   1773169        60      5340         0     82104     37380   1230361     18.07     19.02  --
1709.33/427.93	c  N dy  6827   1800034        60      5340         0     54988     37380    625458     18.06     19.01  --
1750.46/438.28	c  N dy  6954   1829916        60      5340         0     81194     37380   1180597     18.06     19.12  --
1791.60/448.59	c  N dy  7070   1850057        60      5340         0     99026     37380   1567697     18.07     19.04  --
1825.16/456.94	c  N dy  7168   1873643        60      5340         0     68056     37380    898215     18.08     19.09  --
1854.34/464.21	c  N dy  7260   1893672        60      5340         0     85782     37380   1280444     18.08     19.75  --
1890.67/473.36	c  N dy  7352   1914269        60      5340         0    103906     37380   1669087     18.09     19.08  --
1916.23/479.73	c  N dy  7481   1934279        60      5340         0     68776     37380    909447     18.10     21.02  --
1942.22/486.29	c  N dy  7607   1954523        60      5340         0     86686     37380   1297906     18.11     19.07  --
1973.36/494.02	c  N dy  7675   1979649        60      5340         0     54977     37380    596572     18.10     19.15  --
1994.96/499.42	c  N dy  7763   2003347        60      5340         0     75791     37380   1038152     18.10     19.12  --
2022.49/506.32	c  N dy  7900   2023390        60      5340         0     93526     37380   1425261     18.11     19.44  --
2050.46/513.38	c  N dy  7973   2043493        60      5340         0     56600     37380    624862     18.11     19.13  --
2088.81/522.94	c  N dy  7976   2089201        60      5340         0     96387     37380   1425440     18.06     19.16  --
2119.16/530.54	c  N dy  8106   2109257        60      5340         0     58876     37380    665415     18.07     19.42  --
2136.34/534.83	c  N dy  8141   2129313        60      5340         0     76401     37380   1031578     18.07     19.06  --
2161.93/541.22	c  N dy  8225   2149326        60      5340         0     94113     37380   1412086     18.07     20.41  --
2194.66/549.40	c  N dy  8350   2169404        60      5340         0    111889     37380   1797288     18.08     20.52  --
2215.84/554.73	c  N dy  8464   2189441        60      5340         0     73270     37380    965978     18.09     19.70  --
2237.41/560.16	c  N dy  8509   2209516        60      5340         0     90917     37380   1338532     18.08     20.68  --
2239.41/560.60	c  S st  8514   2210847        60      5340         0     92099     37380   1363797     18.09   no data  --
2240.21/560.87	c  S st  8514   2211351        60      5340         0     92552     37380   1373962     18.09   no data  --
2240.21/560.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2240.21/560.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2240.63/560.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2240.63/560.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2240.63/560.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2240.63/560.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2240.63/560.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2347.67/587.74	c lits-rem:      5366  cl-subs:     9990  v-elim:      0  v-fix:    0  time: 106.95 s
2347.67/587.74	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2347.67/587.76	c vivif2 --  cl tried    82562 cl shrink        0 lits rem          0 time: 0.06
2348.87/588.08	c asymm  cl-useful: 0/472/5340 lits-rem:0 time: 1.29
2348.87/588.08	c calculated reachability. Time: 0.00
2348.87/588.08	c  N dy  8514   2211351        60      5340         0     82562     37380   1161871     18.09   no data  --
2372.04/593.84	c  N dy  8535   2235939        60      5340         0    103955     37380   1603394     18.07     19.04  --
2405.19/602.17	c  N dy  8634   2262904        60      5340         0     71141     37380    905528     18.07     19.05  --
2429.58/608.30	c  N dy  8741   2282956        60      5340         0     88780     37380   1284716     18.08     20.93  --
2465.51/617.20	c  N dy  8899   2302984        60      5340         0    106549     37380   1676066     18.09     19.16  --
2496.66/625.07	c  N dy  8993   2323071        60      5340         0     66423     37380    792895     18.09     19.98  --
2540.21/635.92	c  N dy  9123   2356565        60      5340         0     95741     37380   1410437     18.09     19.05  --
2587.77/647.84	c  N dy  9270   2377029        60      5340         0    113876     37380   1808647     18.10     19.08  --
2620.10/655.95	c  N dy  9363   2397165        60      5340         0     72855     37380    925793     18.11     19.19  --
2652.06/663.93	c  N dy  9433   2417211        60      5340         0     90449     37380   1300100     18.11     21.00  --
2695.61/674.83	c  N dy  9588   2437282        60      5340         0    108202     37380   1690610     18.12     19.09  --
2739.55/685.89	c  N dy  9707   2459609        60      5340         0     68087     37380    810711     18.13     19.10  --
2795.88/699.97	c  N dy  9790   2500731        60      5340         0    104114     37380   1565102     18.12     19.14  --
2861.38/716.30	c  N dy  9868   2544937        60      5340         0     82321     37380   1093674     18.10     19.29  --
2894.94/724.76	c  N dy  9940   2565779        60      5340         0    100701     37380   1485527     18.10     19.08  --
2932.89/734.29	c  N dy  9999   2585829        60      5340         0    118313     37380   1861321     18.10     19.51  --
2964.85/742.23	c  N dy 10065   2605905        60      5340         0     74399     37380    924162     18.10     19.08  --
3000.82/751.28	c  N dy 10193   2625981        60      5340         0     92123     37380   1311264     18.10     20.57  --
3040.78/761.24	c  N dy 10332   2646049        60      5340         0    109834     37380   1699108     18.11     20.56  --
3085.09/772.36	c  N dy 10487   2671884        60      5340         0     70130     37380    825369     18.12     19.16  --
3110.26/778.63	c  N dy 10630   2691941        60      5340         0     87896     37380   1217123     18.13     20.59  --
3137.05/785.34	c  S st 10713   2711352        60      5340         0    105007     37380   1582002     18.14     17.14  --
3138.22/785.69	c  S st 10713   2711854        60      5340         0    105457     37380   1592133     18.14   no data  --
3138.62/785.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3138.62/785.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3138.62/785.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
3139.02/785.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3139.02/785.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3139.02/785.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3139.02/785.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3530.50/883.81	c lits-rem:      6522  cl-subs:    11346  v-elim:      0  v-fix:    0  time: 391.41 s
3530.50/883.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3530.50/883.83	c vivif2 --  cl tried    94111 cl shrink        0 lits rem          0 time: 0.07
3531.70/884.16	c asymm  cl-useful: 0/539/5340 lits-rem:0 time: 1.33
3531.70/884.16	c calculated reachability. Time: 0.00
3531.70/884.16	c  N dy 10713   2711854        60      5340         0     94111     37380   1344883     18.14   no data  --
3564.86/892.40	c  N dy 10831   2731891        60      5340         0    111869     37380   1732887     18.14     19.12  --
3599.61/901.13	c  N dy 10943   2752027        60      5340         0     66773     37380    751814     18.15     19.24  --
3620.41/906.30	c  N dy 11002   2772065        60      5340         0     84406     37380   1126614     18.15     20.92  --
3649.94/913.79	c  N dy 11135   2792117        60      5340         0    102180     37380   1516216     18.16     20.81  --
3685.90/922.78	c  N dy 11242   2813377        60      5340         0    120879     37380   1921566     18.16     19.14  --
3717.48/930.63	c  N dy 11379   2833436        60      5340         0     74515     37380    909023     18.17     19.39  --
3745.82/937.76	c  N dy 11508   2854355        60      5340         0     93021     37380   1310225     18.18     19.31  --
3788.96/948.51	c  N dy 11643   2874442        60      5340         0    110751     37380   1697828     18.18     19.88  --
3862.86/967.08	c  N dy 11734   2913062        60      5340         0     79422     37380    981191     18.17     19.25  --
3896.03/975.37	c  N dy 11823   2933091        60      5340         0     96987     37380   1360001     18.18     20.83  --
3937.57/985.79	c  N dy 11903   2953162        60      5340         0    114657     37380   1739423     18.18     19.33  --
3987.50/998.23	c  N dy 11978   2973214        60      5340         0     66365     37380    708784     18.18     19.16  --
4017.06/1005.69	c  N dy 12060   2994460        60      5340         0     85058     37380   1107680     18.18     19.14  --
4057.81/1015.81	c  N dy 12130   3018847        60      5340         0    106375     37380   1563092     18.18     19.26  --
4105.74/1027.83	c  N dy 12225   3039214        60      5340         0    124366     37380   1952066     18.18     19.17  --
4154.88/1040.10	c  N dy 12293   3066557        60      5340         0     81596     37380   1019655     18.18     19.16  --
4190.83/1049.14	c  N dy 12388   3086559        60      5340         0     99215     37380   1399314     18.18     19.75  --
4233.98/1059.93	c  N dy 12471   3107042        60      5340         0    117148     37380   1785675     18.19     19.15  --
4291.50/1074.30	c  N dy 12603   3127071        60      5340         0    134854     37380   2173069     18.19     21.37  --
4337.44/1085.86	c  N dy 12738   3151689        60      5340         0     88929     37380   1178380     18.20     19.25  --
4400.96/1101.70	c  N dy 12838   3181808        60      5340         0    115449     37380   1744071     18.20     19.24  --
4453.28/1114.89	c  N dy 12925   3202400        60      5340         0    133639     37380   2135342     18.20     19.16  --
4470.87/1119.28	c  S st 12960   3211858        60      5340         0     73291     37380    828445     18.20   no data  --
4472.06/1119.54	c  S st 12960   3212362        60      5340         0     73741     37380    838580     18.20   no data  --
4472.06/1119.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4472.06/1119.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4472.06/1119.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4472.46/1119.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4472.46/1119.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4472.46/1119.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4472.46/1119.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4551.56/1139.44	c lits-rem:       950  cl-subs:     1216  v-elim:      0  v-fix:    0  time: 79.16 s
4551.56/1139.44	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4551.56/1139.45	c vivif2 --  cl tried    72525 cl shrink        0 lits rem          0 time: 0.05
4553.15/1139.82	c asymm  cl-useful: 0/590/5340 lits-rem:0 time: 1.45
4553.15/1139.82	c calculated reachability. Time: 0.00
4553.15/1139.82	c  N dy 12960   3212362        60      5340         0     72525     37380    810862     18.20   no data  --
4582.31/1147.16	c  N dy 13077   3232400        60      5340         0     90255     37380   1198246     18.21     19.30  --
4618.29/1156.15	c  N dy 13198   3252412        60      5340         0    107899     37380   1585283     18.22     19.75  --
4663.00/1167.32	c  N dy 13265   3275742        60      5340         0    128243     37380   2015516     18.21     19.19  --
4698.96/1176.31	c  N dy 13356   3296862        60      5340         0     77385     37380    905400     18.21     19.22  --
4725.73/1183.02	c  N dy 13447   3317249        60      5340         0     95309     37380   1292673     18.22     19.20  --
4760.48/1191.71	c  N dy 13488   3342621        60      5340         0    117497     37380   1759130     18.21     19.23  --
4799.64/1201.55	c  N dy 13594   3362634        60      5340         0    135105     37380   2142049     18.22     20.04  --

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-3175245-1304103333/watcher-3175245-1304103333 -o /tmp/evaluation-result-3175245-1304103333/solver-3175245-1304103333 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175245-1304103333.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.17 8.13 7.86 5/180 29686
/proc/meminfo: memFree=30896840/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 521930032 52465664 356 33554432000 4194304 4650419 140734954907232 18446744073709551615 47311968187929 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 12809 356 306 112 0 7774 0
[pid=29686/tid=29687] ppid=29684 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521930032 52465664 356 33554432000 4194304 4650419 140734954907232 18446744073709551615 47311968188338 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521930032 52465664 356 33554432000 4194304 4650419 140734954907232 18446744073709551615 47311968188338 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521930032 52465664 356 33554432000 4194304 4650419 140734954907232 18446744073709551615 47311968187929 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0961011 s]
/proc/loadavg: 8.17 8.13 7.86 5/180 29686
/proc/meminfo: memFree=30896840/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=282196 CPUtime=0.36 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 1320 0 0 0 36 0 0 0 18 0 4 0 521930032 288968704 1236 33554432000 4194304 4650419 140734954907232 18446744073709551615 4370604 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 70549 1236 366 112 0 65514 0
[pid=29686/tid=29687] ppid=29684 vsize=282196 CPUtime=0.08 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 177 0 0 0 8 0 0 0 25 0 4 0 521930032 288968704 1236 33554432000 4194304 4650419 140734954907232 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=282196 CPUtime=0.08 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 196 0 0 0 8 0 0 0 18 0 4 0 521930032 288968704 1236 33554432000 4194304 4650419 140734954907232 18446744073709551615 4370693 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=282196 CPUtime=0.09 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 341 0 0 0 9 0 0 0 18 0 4 0 521930032 288968704 1236 33554432000 4194304 4650419 140734954907232 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282196

[startup+0.101099 s]
/proc/loadavg: 8.17 8.13 7.86 5/180 29686
/proc/meminfo: memFree=30896840/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=282196 CPUtime=0.38 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 1329 0 0 0 38 0 0 0 18 0 4 0 521930032 288968704 1245 33554432000 4194304 4650419 140734954907232 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 70549 1245 366 112 0 65514 0
[pid=29686/tid=29687] ppid=29684 vsize=282196 CPUtime=0.09 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 178 0 0 0 9 0 0 0 25 0 4 0 521930032 288968704 1245 33554432000 4194304 4650419 140734954907232 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=282196 CPUtime=0.09 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 196 0 0 0 9 0 0 0 18 0 4 0 521930032 288968704 1245 33554432000 4194304 4650419 140734954907232 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=282196 CPUtime=0.09 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 349 0 0 0 9 0 0 0 18 0 4 0 521930032 288968704 1245 33554432000 4194304 4650419 140734954907232 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282196

[startup+0.30106 s]
/proc/loadavg: 8.17 8.13 7.86 5/180 29686
/proc/meminfo: memFree=30896840/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=287172 CPUtime=1.17 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 3610 0 0 0 117 0 0 0 18 0 4 0 521930032 294064128 2695 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 71793 2695 390 112 0 66758 0
[pid=29686/tid=29687] ppid=29684 vsize=287172 CPUtime=0.29 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 812 0 0 0 29 0 0 0 25 0 4 0 521930032 294064128 2695 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=287172 CPUtime=0.29 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 871 0 0 0 29 0 0 0 18 0 4 0 521930032 294064128 2695 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=287172 CPUtime=0.29 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 602 0 0 0 29 0 0 0 18 0 4 0 521930032 294064128 2695 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365346 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) 287172

[startup+0.700982 s]
/proc/loadavg: 8.17 8.13 7.86 5/180 29686
/proc/meminfo: memFree=30896840/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=287836 CPUtime=2.78 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 5567 0 0 0 277 1 0 0 18 0 4 0 521930032 294744064 3464 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 71959 3464 390 112 0 66924 0
[pid=29686/tid=29687] ppid=29684 vsize=287836 CPUtime=0.69 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 1263 0 0 0 69 0 0 0 25 0 4 0 521930032 294744064 3464 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=287836 CPUtime=0.69 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 1314 0 0 0 69 0 0 0 18 0 4 0 521930032 294744064 3464 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=287836 CPUtime=0.69 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 1191 0 0 0 69 0 0 0 18 0 4 0 521930032 294744064 3464 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287836

[startup+1.50083 s]
/proc/loadavg: 8.17 8.13 7.86 9/184 29690
/proc/meminfo: memFree=30880192/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=294312 CPUtime=5.97 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 9954 0 0 0 596 1 0 0 20 0 4 0 521930032 301375488 5365 33554432000 4194304 4650419 140734954907232 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 73578 5365 392 112 0 68543 0
[pid=29686/tid=29687] ppid=29684 vsize=294312 CPUtime=1.48 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 1981 0 0 0 148 0 0 0 25 0 4 0 521930032 301375488 5365 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=294312 CPUtime=1.49 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 2145 0 0 0 149 0 0 0 20 0 4 0 521930032 301375488 5365 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=294312 CPUtime=1.49 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 2043 0 0 0 149 0 0 0 20 0 4 0 521930032 301375488 5365 33554432000 4194304 4650419 140734954907232 18446744073709551615 4332154 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294312

[startup+3.10051 s]
/proc/loadavg: 8.17 8.13 7.86 9/184 29690
/proc/meminfo: memFree=30863708/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=295964 CPUtime=12.36 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 16037 0 0 0 1234 2 0 0 25 0 4 0 521930032 303067136 9938 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 73991 9938 392 112 0 68956 0
[pid=29686/tid=29687] ppid=29684 vsize=295964 CPUtime=3.07 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 3303 0 0 0 307 0 0 0 25 0 4 0 521930032 303067136 9938 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=295964 CPUtime=3.08 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 4440 0 0 0 308 0 0 0 25 0 4 0 521930032 303067136 9938 33554432000 4194304 4650419 140734954907232 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=295964 CPUtime=3.09 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 3998 0 0 0 309 0 0 0 25 0 4 0 521930032 303067136 9938 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 295964

[startup+6.30087 s]
/proc/loadavg: 8.16 8.12 7.86 9/184 29690
/proc/meminfo: memFree=30844736/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=310956 CPUtime=25.14 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 23592 0 0 0 2510 4 0 0 25 0 4 0 521930032 318418944 13111 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476354 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 77739 13111 392 112 0 72704 0
[pid=29686/tid=29687] ppid=29684 vsize=310956 CPUtime=6.25 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 5531 0 0 0 625 0 0 0 25 0 4 0 521930032 318418944 13111 33554432000 4194304 4650419 140734954907232 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=310956 CPUtime=6.29 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 6430 0 0 0 628 1 0 0 25 0 4 0 521930032 318418944 13111 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=310956 CPUtime=6.29 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 6013 0 0 0 628 1 0 0 25 0 4 0 521930032 318418944 13111 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 310956

[startup+12.7006 s]
/proc/loadavg: 8.14 8.12 7.86 9/184 29690
/proc/meminfo: memFree=30825508/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=315132 CPUtime=50.71 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 33966 0 0 0 5064 7 0 0 25 0 4 0 521930032 322695168 17153 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 78783 17153 392 112 0 73748 0
[pid=29686/tid=29687] ppid=29684 vsize=315132 CPUtime=12.62 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 7607 0 0 0 1261 1 0 0 25 0 4 0 521930032 322695168 17153 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=315132 CPUtime=12.69 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 9012 0 0 0 1267 2 0 0 25 0 4 0 521930032 322695168 17153 33554432000 4194304 4650419 140734954907232 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=315132 CPUtime=12.68 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 8929 0 0 0 1267 1 0 0 25 0 4 0 521930032 322695168 17153 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 315132

[startup+25.5011 s]
/proc/loadavg: 8.11 8.11 7.86 9/184 29690
/proc/meminfo: memFree=30775412/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=316476 CPUtime=101.84 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 51896 0 0 0 10172 12 0 0 25 0 4 0 521930032 324071424 23967 33554432000 4194304 4650419 140734954907232 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 79119 23967 392 112 0 74084 0
[pid=29686/tid=29687] ppid=29684 vsize=316476 CPUtime=25.35 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 11384 0 0 0 2533 2 0 0 25 0 4 0 521930032 324071424 23967 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=316476 CPUtime=25.49 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 13453 0 0 0 2546 3 0 0 25 0 4 0 521930032 324071424 23967 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=316476 CPUtime=25.49 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 13710 0 0 0 2545 4 0 0 25 0 4 0 521930032 324071424 23967 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 316476

[startup+51.101 s]
/proc/loadavg: 8.13 8.12 7.87 9/184 29691
/proc/meminfo: memFree=30733532/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=324820 CPUtime=204.1 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 79988 0 0 0 20389 21 0 0 25 0 4 0 521930032 332615680 26503 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 81205 26503 392 112 0 76170 0
[pid=29686/tid=29687] ppid=29684 vsize=324820 CPUtime=50.81 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 18508 0 0 0 5077 4 0 0 25 0 4 0 521930032 332615680 26503 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=324820 CPUtime=51.08 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 20550 0 0 0 5104 4 0 0 25 0 4 0 521930032 332615680 26503 33554432000 4194304 4650419 140734954907232 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=324820 CPUtime=51.09 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 20310 0 0 0 5103 6 0 0 25 0 4 0 521930032 332615680 26503 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 324820

[startup+102.307 s]
/proc/loadavg: 8.05 8.10 7.88 9/184 29692
/proc/meminfo: memFree=30711404/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=349252 CPUtime=408.65 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 122741 0 0 0 40829 36 0 0 25 0 4 0 521930032 357634048 28701 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 87313 28701 392 112 0 82278 0
[pid=29686/tid=29687] ppid=29684 vsize=349252 CPUtime=101.73 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 27351 0 0 0 10166 7 0 0 25 0 4 0 521930032 357634048 28701 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=349252 CPUtime=102.29 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 30764 0 0 0 10221 8 0 0 25 0 4 0 521930032 357634048 28701 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=349252 CPUtime=102.3 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 32809 0 0 0 10220 10 0 0 25 0 4 0 521930032 357634048 28701 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 349252

[startup+162.301 s]

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

[pid=29686] ppid=29684 vsize=511152 CPUtime=2565.8 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 349347 0 0 0 256446 134 0 0 25 0 4 0 521930032 523419648 68277 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 127788 68277 392 112 0 122753 0
[pid=29686/tid=29687] ppid=29684 vsize=511152 CPUtime=638.81 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 83783 0 0 0 63850 31 0 0 25 0 4 0 521930032 523419648 68277 33554432000 4194304 4650419 140734954907232 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=511152 CPUtime=642.32 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 93719 0 0 0 64196 36 0 0 25 0 4 0 521930032 523419648 68277 33554432000 4194304 4650419 140734954907232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=511152 CPUtime=642.32 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 81080 0 0 0 64203 29 0 0 25 0 4 0 521930032 523419648 68277 33554432000 4194304 4650419 140734954907232 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.8
Current children cumulated vsize (KiB) 511152

[startup+702.3 s]
/proc/loadavg: 8.16 8.17 8.00 9/184 29720
/proc/meminfo: memFree=30369052/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=499092 CPUtime=2805.46 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 362434 0 0 0 280406 140 0 0 25 0 4 0 521930032 511070208 71287 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 124773 71287 392 112 0 119738 0
[pid=29686/tid=29687] ppid=29684 vsize=499092 CPUtime=698.48 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 87772 0 0 0 69817 31 0 0 25 0 4 0 521930032 511070208 71288 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=499092 CPUtime=702.32 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 98189 0 0 0 70194 38 0 0 25 0 4 0 521930032 511070208 71288 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=499092 CPUtime=702.31 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 81167 0 0 0 70202 29 0 0 25 0 4 0 521930032 511070208 71288 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 499092

[startup+762.306 s]
/proc/loadavg: 8.10 8.15 8.00 9/184 29722
/proc/meminfo: memFree=30385124/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=511632 CPUtime=3045.17 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 388416 0 0 0 304368 149 0 0 25 0 4 0 521930032 523911168 68406 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 127908 68406 392 112 0 122873 0
[pid=29686/tid=29687] ppid=29684 vsize=511632 CPUtime=758.16 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 104179 0 0 0 75782 34 0 0 25 0 4 0 521930032 523911168 68406 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=511632 CPUtime=762.33 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 102793 0 0 0 76191 42 0 0 25 0 4 0 521930032 523911168 68406 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=511632 CPUtime=762.32 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 81167 0 0 0 76203 29 0 0 25 0 4 0 521930032 523911168 68406 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.17
Current children cumulated vsize (KiB) 511632

[startup+822.3 s]
/proc/loadavg: 8.08 8.14 8.00 9/184 29724
/proc/meminfo: memFree=30371680/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=542720 CPUtime=3284.82 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 404864 0 0 0 328324 158 0 0 25 0 4 0 521930032 555745280 72958 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 135680 72958 392 112 0 130645 0
[pid=29686/tid=29687] ppid=29684 vsize=542720 CPUtime=817.83 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 110196 0 0 0 81747 36 0 0 25 0 4 0 521930032 555745280 72958 33554432000 4194304 4650419 140734954907232 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=542720 CPUtime=822.32 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 105983 0 0 0 82188 44 0 0 25 0 4 0 521930032 555745280 72958 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=542720 CPUtime=822.32 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 86096 0 0 0 82200 32 0 0 25 0 4 0 521930032 555745280 72958 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 542720

[startup+882.301 s]
/proc/loadavg: 8.06 8.12 8.00 9/184 29725
/proc/meminfo: memFree=30397436/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=531364 CPUtime=3524.51 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 415262 0 0 0 352287 164 0 0 25 0 4 0 521930032 544116736 69934 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 132841 69934 392 112 0 127806 0
[pid=29686/tid=29687] ppid=29684 vsize=531364 CPUtime=877.5 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 112750 0 0 0 87713 37 0 0 25 0 4 0 521930032 544116736 69934 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=531364 CPUtime=882.33 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 109154 0 0 0 88187 46 0 0 25 0 4 0 521930032 544116736 69934 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=531364 CPUtime=882.33 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 90769 0 0 0 88197 36 0 0 25 0 4 0 521930032 544116736 69934 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 531364

[startup+942.301 s]
/proc/loadavg: 8.09 8.12 8.00 9/184 29727
/proc/meminfo: memFree=30302524/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=518648 CPUtime=3764.19 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 434146 0 0 0 376244 175 0 0 25 0 4 0 521930032 531095552 78558 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 129662 78558 392 112 0 124627 0
[pid=29686/tid=29687] ppid=29684 vsize=518648 CPUtime=937.18 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 118081 0 0 0 93677 41 0 0 25 0 4 0 521930032 531095552 78558 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=518648 CPUtime=942.32 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 114276 0 0 0 94184 48 0 0 25 0 4 0 521930032 531095552 78558 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=518648 CPUtime=942.32 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 94148 0 0 0 94195 37 0 0 25 0 4 0 521930032 531095552 78558 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.19
Current children cumulated vsize (KiB) 518648

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 8.00 9/184 29728
/proc/meminfo: memFree=30300472/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=533356 CPUtime=4003.88 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 438596 0 0 0 400209 179 0 0 25 0 4 0 521930032 546156544 80529 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 133339 80529 392 112 0 128304 0
[pid=29686/tid=29687] ppid=29684 vsize=533356 CPUtime=996.86 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 119068 0 0 0 99645 41 0 0 25 0 4 0 521930032 546156544 80529 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=533356 CPUtime=1002.33 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 116889 0 0 0 100183 50 0 0 25 0 4 0 521930032 546156544 80529 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=533356 CPUtime=1002.33 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 94148 0 0 0 100196 37 0 0 25 0 4 0 521930032 546156544 80529 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 533356

[startup+1062.3 s]
/proc/loadavg: 8.09 8.10 8.00 9/184 29730
/proc/meminfo: memFree=30300180/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=533252 CPUtime=4243.57 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 441837 0 0 0 424175 182 0 0 25 0 4 0 521930032 546050048 81176 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 133313 81176 392 112 0 128278 0
[pid=29686/tid=29687] ppid=29684 vsize=533252 CPUtime=1056.53 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 119153 0 0 0 105612 41 0 0 25 0 4 0 521930032 546050048 81176 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=533252 CPUtime=1062.33 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 117205 0 0 0 106183 50 0 0 25 0 4 0 521930032 546050048 81176 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=533252 CPUtime=1062.33 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 94185 0 0 0 106196 37 0 0 25 0 4 0 521930032 546050048 81176 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.57
Current children cumulated vsize (KiB) 533252

[startup+1122.3 s]
/proc/loadavg: 8.08 8.10 8.00 9/184 29732
/proc/meminfo: memFree=30286620/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=504188 CPUtime=4483.24 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 443244 0 0 0 448141 183 0 0 25 0 4 0 521930032 516288512 76561 33554432000 4194304 4650419 140734954907232 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 126047 76561 392 112 0 121012 0
[pid=29686/tid=29687] ppid=29684 vsize=504188 CPUtime=1116.2 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 119643 0 0 0 111579 41 0 0 25 0 4 0 521930032 516288512 76561 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=504188 CPUtime=1122.33 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 117687 0 0 0 112183 50 0 0 25 0 4 0 521930032 516288512 76561 33554432000 4194304 4650419 140734954907232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=504188 CPUtime=1122.34 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 94243 0 0 0 112196 38 0 0 25 0 4 0 521930032 516288512 76561 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.24
Current children cumulated vsize (KiB) 504188

[startup+1182.3 s]
/proc/loadavg: 6.03 7.55 7.82 5/175 29751
/proc/meminfo: memFree=30694040/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=554712 CPUtime=4722.94 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 454919 0 0 0 472106 188 0 0 25 0 4 0 521930032 568025088 81431 33554432000 4194304 4650419 140734954907232 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 138678 81431 392 112 0 133643 0
[pid=29686/tid=29687] ppid=29684 vsize=554712 CPUtime=1175.88 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 122296 0 0 0 117545 43 0 0 25 0 4 0 521930032 568025088 81431 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=554712 CPUtime=1182.34 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 119470 0 0 0 118183 51 0 0 25 0 4 0 521930032 568025088 81431 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=554712 CPUtime=1182.34 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 99078 0 0 0 118194 40 0 0 25 0 4 0 521930032 568025088 81431 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.94
Current children cumulated vsize (KiB) 554712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 5.46 7.32 7.74 5/175 29752
/proc/meminfo: memFree=30681744/32950928 swapFree=67111464/67111528
[pid=29686] ppid=29684 vsize=567748 CPUtime=4800.06 cores=1,3,5,7
/proc/29686/stat : 29686 (strangenight1-m) R 29684 29686 29397 0 -1 4202496 458057 0 0 0 479816 190 0 0 25 0 4 0 521930032 581373952 84569 33554432000 4194304 4650419 140734954907232 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29686/statm: 141937 84569 392 112 0 136902 0
[pid=29686/tid=29687] ppid=29684 vsize=567748 CPUtime=1195.08 cores=1,3,5,7
/proc/29686/task/29687/stat : 29687 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 122296 0 0 0 119465 43 0 0 25 0 4 0 521930032 581373952 84569 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29686/tid=29688] ppid=29684 vsize=567748 CPUtime=1201.65 cores=1,3,5,7
/proc/29686/task/29688/stat : 29688 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 121324 0 0 0 120113 52 0 0 25 0 4 0 521930032 581373952 84569 33554432000 4194304 4650419 140734954907232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29686/tid=29689] ppid=29684 vsize=567748 CPUtime=1201.65 cores=1,3,5,7
/proc/29686/task/29689/stat : 29689 (strangenight1-m) R 29684 29686 29397 0 -1 4202560 99368 0 0 0 120125 40 0 0 25 0 4 0 521930032 581373952 84569 33554432000 4194304 4650419 140734954907232 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 567748

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.1
CPU user time (s): 4798.18
CPU system time (s): 1.91571
CPU usage (%): 399.466
Max. virtual memory (cumulated for all children) (KiB): 567748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.18
system time used= 1.91571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458057
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= 344
involuntary context switches= 18499

runsolver used 1.66375 second user time and 4.90925 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 20:55:33
IDJOB=3175245
IDBENCH=82863
IDSOLVER=1588
FILE ID=node149/3175245-1304103333
RUNJOBID= node149-1304100922-29416
PBS_JOBID= 13170626
Free space on /tmp= 71928 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175245-1304103333/watcher-3175245-1304103333 -o /tmp/evaluation-result-3175245-1304103333/solver-3175245-1304103333 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175245-1304103333.cnf

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

MD5SUM BENCH= d549c96b17fdae3a10d8538216eeee78
RANDOM SEED=801961473

node149.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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:     32950928 kB
MemFree:      30896996 kB
Buffers:        427132 kB
Cached:        1075048 kB
SwapCached:         60 kB
Active:         218736 kB
Inactive:      1466256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30896996 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:      182396 kB
Mapped:          15520 kB
Slab:           305148 kB
PageTables:       5100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   422208 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= 71928 MiB
End job on node149 at 2011-04-29 21:15:37