Trace number 3368831

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 (fixed)? (TO) 4800.4 1203.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf
MD5SUMc6bf5481c82f3a24100e294aa3a73c9c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark366.523
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368831-1305404062.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.42/0.13	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.42/0.13	c -- vars added         60
0.42/0.13	c Parsing time:  0.01 s
0.42/0.13	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.57/0.90	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
3.57/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      36
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.57/0.90	c  N dy     7      5218        60      5340         0      2431     37380     47570     17.78     18.75  --
3.57/0.90	c  N dy    21      9264        60      5340         0      6074     37380    125599     18.01     19.78  --
3.57/0.90	c  N dy    40     13319        60      5340         0      5921     37380    114197     18.30     19.31  --
3.57/0.90	c  N dy    47     18471        60      5340         0      5462     37380     95187     18.11     19.13  --
3.57/1.00	c  N dy    71     22556        60      5340         0      9125     37380    174647     18.29     19.29  --
3.99/1.10	c  F st    81     25000        60      5340         0     11317     37380    221166     18.33     17.88  --
4.76/1.20	c  N st    85     27033        60      5340         0      7033     37380    119123     18.33   no data  --
5.16/1.30	c  S st    87     30000        60      5340         0      9682     37380    174473     18.33   no data  --
5.56/1.40	c  S st    87     30501        60      5340         0     10135     37380    184586     18.33   no data  --
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.29	c lits-rem:      1307  cl-subs:     1072  v-elim:      0  v-fix:    0  time:  3.81 s
9.95/2.56	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.07
9.95/2.56	c calculated reachability. Time: 0.00
9.95/2.56	c  N dy    87     30501        60      5340         0      9063     37380    161186     18.33   no data  --
12.35/3.16	c  N dy    89     42068        60      5340         0     12293     37380    218833     17.92     18.87  --
13.19/3.39	c  S st   109     45753        60      5340         0     15591     37380    289702     18.00   no data  --
13.54/3.44	c  S st   109     46257        60      5340         0      8116     37380    124541     18.00   no data  --
13.54/3.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.54/3.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.54/3.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.54/3.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.54/3.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.54/3.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.54/3.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.18	c lits-rem:       171  cl-subs:       38  v-elim:      0  v-fix:    0  time:  2.93 s
16.33/4.18	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.33/4.18	c vivif2 --  cl tried     8078 cl shrink        0 lits rem          0 time: 0.00
17.15/4.40	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.86
17.15/4.40	c calculated reachability. Time: 0.00
17.15/4.40	c  N dy   109     46257        60      5340         0      8078     37380    123558     18.00   no data  --
18.73/4.72	c  N dy   112     52794        60      5340         0     13819     37380    242418     17.85     18.85  --
19.93/5.04	c  N dy   139     57528        60      5340         0      9236     37380    137568     17.91     18.90  --
21.55/5.42	c  N dy   172     64669        60      5340         0     15630     37380    273800     17.98     18.93  --
22.72/5.74	c  N dy   198     68974        60      5340         0     19481     37380    357173     18.06     19.02  --
22.72/5.78	c  S st   202     69386        60      5340         0     10052     37380    145428     18.07   no data  --
23.12/5.82	c  S st   202     69889        60      5340         0     10516     37380    155728     18.07   no data  --
23.12/5.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.12/5.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.12/5.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.12/5.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.12/5.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.12/5.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
23.12/5.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.35/6.67	c lits-rem:       261  cl-subs:      105  v-elim:      0  v-fix:    0  time:  3.36 s
26.35/6.67	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.35/6.67	c vivif2 --  cl tried    10411 cl shrink        0 lits rem          0 time: 0.01
27.51/6.95	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.13
27.51/6.96	c calculated reachability. Time: 0.00
27.51/6.96	c  N dy   202     69889        60      5340         0     10411     37380    152938     18.07   no data  --
28.71/7.22	c  N dy   233     74433        60      5340         0     14478     37380    241176     18.15     21.85  --
29.91/7.57	c  N dy   259     79452        60      5340         0     18985     37380    337591     18.18     19.21  --
31.49/7.98	c  N dy   284     85024        60      5340         0     13242     37380    203335     18.23     19.23  --
32.29/8.13	c  F st   288     87502        60      5340         0     15434     37380    249036     18.22     18.74  --
33.09/8.34	c  N st   293     90804        60      5340         0     18363     37380    311580     18.22   no data  --
35.13/8.87	c  N dy   299     97975        60      5340         0     13127     37380    189145     18.19     19.16  --
37.08/9.32	c  N dy   318    104833        60      5340         0     19193     37380    318178     18.19     15.95  --
37.08/9.32	c  S st   318    104833        60      5340         0     19193     37380    318178     18.19     15.95  --
37.08/9.38	c  S st   318    105335        60      5340         0     19649     37380    328330     18.19   no data  --
37.08/9.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.08/9.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.08/9.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.48/9.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.48/9.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.48/9.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.48/9.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.49/10.92	c lits-rem:      1889  cl-subs:     2144  v-elim:      0  v-fix:    0  time:  6.07 s
43.49/10.92	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.49/10.93	c vivif2 --  cl tried    17505 cl shrink        0 lits rem          0 time: 0.01
44.66/11.29	c asymm  cl-useful: 0/4443/5340 lits-rem:0 time: 1.46
44.66/11.29	c calculated reachability. Time: 0.00
44.66/11.29	c  N dy   318    105335        60      5340         0     17505     37380    282137     18.19   no data  --
47.87/12.06	c  N dy   334    115618        60      5340         0     14301     37380    205617     18.13     19.17  --
50.24/12.69	c  N dy   359    125029        60      5340         0     22677     37380    383135     18.12     19.26  --
54.63/13.70	c  N dy   368    139739        60      5340         0     22447     37380    362709     17.95     18.92  --
57.82/14.52	c  N dy   400    149527        60      5340         0     16964     37380    241284     17.95     18.90  --
59.82/15.09	c  S st   403    158002        60      5340         0     24418     37380    392468     17.84     14.96  --
60.22/15.16	c  S st   403    158506        60      5340         0     24876     37380    402457     17.84   no data  --
60.22/15.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.22/15.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.22/15.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
60.22/15.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.22/15.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.22/15.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.22/15.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.80/17.03	c lits-rem:      2264  cl-subs:     3258  v-elim:      0  v-fix:    0  time:  7.37 s
67.80/17.03	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.80/17.03	c vivif2 --  cl tried    21618 cl shrink        0 lits rem          0 time: 0.02
68.20/17.15	c asymm  cl-useful: 0/897/5340 lits-rem:0 time: 0.46
68.20/17.15	c calculated reachability. Time: 0.00
68.20/17.15	c  N dy   403    158506        60      5340         0     21618     37380    339812     17.84   no data  --
73.79/18.57	c  N dy   443    175622        60      5340         0     21908     37380    332795     17.79     18.80  --
78.60/19.71	c  N dy   482    186926        60      5340         0     16130     37380    207722     17.79     19.79  --
82.57/20.74	c  N dy   563    198912        60      5340         0     26893     37380    440320     17.87     19.20  --
88.54/22.24	c  N dy   640    213367        60      5340         0     22907     37380    343982     17.92     18.92  --
95.34/23.90	c  N dy   688    229631        60      5340         0     19552     37380    255971     17.91     18.89  --
98.12/24.65	c  S st   746    237760        60      5340         0     26842     37380    414038     17.95     17.69  --
98.52/24.72	c  S st   746    238266        60      5340         0     27303     37380    424340     17.95   no data  --
98.52/24.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
98.52/24.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.52/24.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.52/24.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.52/24.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.52/24.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.52/24.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.30/26.91	c lits-rem:      2018  cl-subs:     2252  v-elim:      0  v-fix:    0  time:  8.65 s
107.30/26.92	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.30/26.92	c vivif2 --  cl tried    25051 cl shrink        0 lits rem          0 time: 0.02
108.90/27.30	c asymm  cl-useful: 0/3362/5340 lits-rem:0 time: 1.52
108.90/27.30	c calculated reachability. Time: 0.00
108.90/27.30	c  N dy   746    238266        60      5340         0     25051     37380    374410     17.95   no data  --
116.48/29.23	c  N dy   853    254128        60      5340         0     20583     37380    267679     18.03     19.19  --
123.25/30.90	c  N dy   924    270587        60      5340         0     35173     37380    578831     18.05     19.05  --
132.84/33.36	c  N dy  1011    294008        60      5340         0     36467     37380    593020     18.06     19.11  --
138.42/34.72	c  F st  1064    306251        60      5340         0     26990     37380    384391     18.08     17.76  --
141.21/35.42	c  N dy  1076    313358        60      5340         0     33286     37380    519377     18.08     19.07  --
149.99/37.64	c  N dy  1133    333430        60      5340         0     29817     37380    431829     18.08     19.67  --
160.77/40.38	c  N dy  1199    356694        60      5340         0     28215     37380    387552     18.07     19.03  --
161.17/40.47	c  S st  1206    357403        60      5340         0     28844     37380    401292     18.08     19.78  --
161.57/40.54	c  S st  1206    357906        60      5340         0     29294     37380    411480     18.08   no data  --
161.57/40.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
161.57/40.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.57/40.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
161.57/40.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.57/40.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.57/40.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
161.57/40.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.35/42.76	c lits-rem:      1554  cl-subs:     2091  v-elim:      0  v-fix:    0  time:  8.74 s
170.35/42.76	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.35/42.77	c vivif2 --  cl tried    27203 cl shrink        0 lits rem          0 time: 0.02
171.54/43.05	c asymm  cl-useful: 0/1978/5340 lits-rem:0 time: 1.12
171.54/43.05	c calculated reachability. Time: 0.00
171.54/43.05	c  N dy  1206    357906        60      5340         0     27203     37380    368637     18.08   no data  --
182.31/45.75	c  N dy  1238    378029        60      5340         0     44999     37380    739942     18.05     19.00  --
193.88/48.64	c  N dy  1286    400483        60      5340         0     42013     37380    667595     18.01     19.06  --
212.63/53.38	c  N dy  1371    440062        60      5340         0     28353     37380    356667     17.95     19.09  --
223.43/56.04	c  N dy  1448    460907        60      5340         0     46860     37380    749762     17.96     18.92  --
234.57/58.85	c  N dy  1531    482928        60      5340         0     40682     37380    608850     17.96     18.96  --
246.95/61.95	c  N dy  1637    502941        60      5340         0     31906     37380    417471     17.98     18.96  --
258.96/64.99	c  N dy  1754    522971        60      5340         0     49739     37380    800418     18.02     19.06  --
267.74/67.12	c  S st  1815    536860        60      5340         0     34527     37380    461893     18.03     16.41  --
268.10/67.21	c  S st  1815    537367        60      5340         0     34978     37380    472031     18.03   no data  --
268.10/67.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
268.10/67.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
268.10/67.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
268.10/67.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.10/67.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.10/67.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
268.10/67.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
276.87/69.41	c lits-rem:      1156  cl-subs:     1905  v-elim:      0  v-fix:    0  time:  8.68 s
276.87/69.41	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
276.87/69.42	c vivif2 --  cl tried    33073 cl shrink        0 lits rem          0 time: 0.02
278.07/69.79	c asymm  cl-useful: 0/2635/5340 lits-rem:0 time: 1.48
278.07/69.79	c calculated reachability. Time: 0.00
278.07/69.79	c  N dy  1815    537367        60      5340         0     33073     37380    430837     18.03   no data  --
297.23/74.53	c  N dy  1931    571408        60      5340         0     34876     37380    454881     18.02     19.03  --
310.39/77.87	c  N dy  2058    591429        60      5340         0     52703     37380    840050     18.06     20.61  --
327.14/82.06	c  N dy  2152    619803        60      5340         0     48570     37380    734367     18.05     19.18  --
341.51/85.60	c  N dy  2243    639991        60      5340         0     36380     37380    473431     18.06     19.08  --
359.07/90.01	c  N dy  2271    669374        60      5340         0     31325     37380    355619     18.00     18.98  --
370.24/92.80	c  N dy  2335    689423        60      5340         0     49007     37380    724870     17.99     18.98  --
385.83/96.80	c  N dy  2443    709471        60      5340         0     35050     37380    425170     18.01     20.33  --
398.17/99.89	c  N dy  2489    730332        60      5340         0     53469     37380    811463     18.00     19.00  --
415.33/104.14	c  N dy  2560    752122        60      5340         0     39994     37380    511695     18.00     18.99  --
429.30/107.68	c  N dy  2653    772169        60      5340         0     57803     37380    894158     18.02     18.97  --
444.05/111.39	c  N dy  2744    792223        60      5340         0     41916     37380    550720     18.03     20.53  --
454.02/113.87	c  S st  2822    806052        60      5340         0     54214     37380    814858     18.04   no data  --
454.83/114.02	c  S st  2822    806554        60      5340         0     54667     37380    825058     18.04   no data  --
454.83/114.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.83/114.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
454.83/114.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
454.83/114.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
454.83/114.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.83/114.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
454.83/114.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
483.55/121.21	c lits-rem:      2847  cl-subs:     5214  v-elim:      0  v-fix:    0  time: 28.49 s
483.55/121.22	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
483.55/121.22	c vivif2 --  cl tried    49453 cl shrink        0 lits rem          0 time: 0.04
484.35/121.47	c asymm  cl-useful: 0/774/5340 lits-rem:0 time: 0.99
484.35/121.48	c calculated reachability. Time: 0.00
484.35/121.48	c  N dy  2822    806554        60      5340         0     49453     37380    708990     18.04   no data  --
508.71/127.52	c  N dy  2967    832037        60      5340         0     37789     37380    448976     18.06     19.05  --
523.85/131.34	c  N dy  3026    857086        60      5340         0     59830     37380    908436     18.04     19.00  --
543.41/136.25	c  N dy  3054    885717        60      5340         0     49805     37380    680690     18.00     19.02  --
570.16/142.94	c  N dy  3147    921143        60      5340         0     44857     37380    571727     17.98     18.96  --
590.08/147.99	c  N dy  3241    947839        60      5340         0     68435     37380   1071413     17.98     19.01  --
606.83/152.17	c  N dy  3364    967840        60      5340         0     49191     37380    666409     18.00     19.51  --
623.99/156.46	c  N dy  3480    987848        60      5340         0     66901     37380   1049008     18.02     19.02  --
640.37/160.58	c  N dy  3543   1008124        60      5340         0     46829     37380    599492     18.01     18.99  --
656.72/164.62	c  N dy  3642   1028202        60      5340         0     64656     37380    982359     18.03     19.48  --
676.66/169.66	c  N dy  3719   1050054        60      5340         0     45013     37380    547028     18.02     19.01  --
693.04/173.71	c  N dy  3829   1070316        60      5340         0     62960     37380    934717     18.04     18.99  --
694.21/174.09	c  F st  3835   1071875        60      5340         0     64346     37380    964197     18.04     17.66  --
716.16/179.52	c  N dy  3907   1094912        60      5340         0     44986     37380    537957     18.04     19.11  --
731.32/183.34	c  N dy  3973   1114993        60      5340         0     62689     37380    913967     18.04     20.29  --
754.06/189.05	c  N dy  4098   1135313        60      5340         0     80776     37380   1307815     18.06     19.02  --
770.02/193.02	c  N dy  4177   1155365        60      5340         0     57724     37380    801474     18.06     19.02  --
801.54/200.99	c  N dy  4286   1182106        60      5340         0     81404     37380   1309156     18.07     19.14  --
824.70/206.75	c  N dy  4384   1207037        60      5340         0     61901     37380    884116     18.07     19.12  --
828.27/207.63	c  S st  4411   1209832        60      5340         0     64389     37380    939307     18.08     17.87  --
829.09/207.82	c  S st  4411   1210334        60      5340         0     64842     37380    949420     18.08   no data  --
829.09/207.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
829.09/207.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
829.09/207.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
829.09/207.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
829.09/207.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.09/207.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
829.09/207.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
897.69/225.04	c lits-rem:      3405  cl-subs:     6064  v-elim:      0  v-fix:    0  time: 68.40 s
897.69/225.04	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
897.69/225.05	c vivif2 --  cl tried    58778 cl shrink        0 lits rem          0 time: 0.04
898.89/225.40	c asymm  cl-useful: 0/636/5340 lits-rem:0 time: 1.41
898.89/225.40	c calculated reachability. Time: 0.00
898.89/225.40	c  N dy  4411   1210334        60      5340         0     58778     37380    819098     18.08   no data  --
920.83/230.88	c  N dy  4490   1230404        60      5340         0     76563     37380   1199650     18.08     19.39  --
941.18/235.90	c  N dy  4584   1252141        60      5340         0     53678     37380    702624     18.09     19.06  --
961.92/241.16	c  N dy  4644   1276029        60      5340         0     74784     37380   1146459     18.08     19.13  --
991.89/248.67	c  N dy  4802   1297985        60      5340         0     51082     37380    636671     18.11     19.09  --
1059.28/265.59	c  N dy  4815   1377349        60      5340         0     76058     37380   1100870     17.97     19.06  --
1082.82/271.40	c  N dy  4947   1397406        60      5340         0     49271     37380    581287     17.99     20.60  --
1099.18/275.52	c  N dy  5043   1417723        60      5340         0     67124     37380    962594     17.99     18.99  --
1122.72/281.42	c  N dy  5164   1437783        60      5340         0     84883     37380   1346681     18.01     18.98  --
1144.67/286.92	c  N dy  5289   1457789        60      5340         0     56947     37380    732885     18.02     20.89  --
1164.61/291.94	c  N dy  5403   1477810        60      5340         0     74662     37380   1116368     18.03     20.13  --
1191.35/298.64	c  N dy  5537   1497842        60      5340         0     92362     37380   1501950     18.05     19.84  --
1208.51/302.92	c  N dy  5630   1517943        60      5340         0     63200     37380    853852     18.05     19.09  --
1230.45/308.48	c  N dy  5734   1538011        60      5340         0     80997     37380   1237994     18.06     19.06  --
1257.58/315.25	c  N dy  5865   1558329        60      5340         0     51372     37380    590792     18.08     19.08  --
1274.74/319.56	c  N dy  5944   1578382        60      5340         0     69062     37380    967156     18.08     20.49  --
1299.47/325.73	c  N dy  6078   1598452        60      5340         0     86815     37380   1354024     18.09     19.81  --
1324.62/332.07	c  N dy  6208   1618458        60      5340         0     55985     37380    680912     18.11     20.98  --
1343.76/336.83	c  N dy  6259   1640550        60      5340         0     75381     37380   1089369     18.10     19.22  --
1367.71/342.89	c  N dy  6324   1660629        60      5340         0     93089     37380   1465501     18.10     19.66  --
1395.25/349.77	c  N dy  6340   1689155        60      5340         0     68615     37380    920714     18.08     19.41  --
1422.35/356.52	c  N dy  6413   1709609        60      5340         0     86555     37380   1301502     18.07     19.23  --
1423.55/356.85	c  S st  6421   1710335        60      5340         0     87202     37380   1315955     18.08   no data  --
1424.75/357.18	c  S st  6421   1710838        60      5340         0     87650     37380   1325761     18.08   no data  --
1424.75/357.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1424.75/357.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1425.15/357.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1425.15/357.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1425.15/357.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1425.15/357.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1425.15/357.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1603.05/401.85	c lits-rem:      4901  cl-subs:    11898  v-elim:      0  v-fix:    0  time: 177.73 s
1603.05/401.86	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1603.05/401.87	c vivif2 --  cl tried    75752 cl shrink        0 lits rem          0 time: 0.07
1605.05/402.33	c asymm  cl-useful: 0/533/5340 lits-rem:0 time: 1.82
1605.05/402.33	c calculated reachability. Time: 0.00
1605.05/402.33	c  N dy  6421   1710838        60      5340         0     75752     37380   1090773     18.08   no data  --
1640.98/411.33	c  N dy  6549   1730882        60      5340         0     93632     37380   1479612     18.09     19.77  --
1669.67/418.55	c  N dy  6654   1750968        60      5340         0     61869     37380    793946     18.10     19.65  --
1702.41/426.78	c  N dy  6799   1771040        60      5340         0     79699     37380   1184998     18.11     20.88  --
1740.68/436.32	c  N dy  6848   1792211        60      5340         0     98308     37380   1571109     18.10     19.08  --
1773.03/444.46	c  N dy  6957   1812227        60      5340         0     65165     37380    850094     18.11     20.96  --
1808.89/453.46	c  N dy  7096   1832323        60      5340         0     83040     37380   1241707     18.12     19.61  --
1848.38/463.38	c  N dy  7207   1852342        60      5340         0    100775     37380   1627231     18.13     19.96  --
1877.10/470.56	c  N dy  7319   1872407        60      5340         0     66535     37380    869525     18.14     20.22  --
1909.82/478.78	c  N dy  7439   1894255        60      5340         0     85836     37380   1286839     18.15     19.18  --
1943.34/487.13	c  N dy  7528   1914290        60      5340         0    103576     37380   1668192     18.16     20.82  --
1971.66/494.23	c  N dy  7536   1947426        60      5340         0     79431     37380   1100019     18.12     19.17  --
2031.53/509.27	c  N dy  7608   2009059        60      5340         0     79597     37380   1095257     18.08     19.05  --
2062.26/516.95	c  N dy  7751   2030264        60      5340         0     98386     37380   1505848     18.09     19.08  --
2088.18/523.44	c  N dy  7793   2052231        60      5340         0     63348     37380    763218     18.09     19.22  --
2111.71/529.36	c  N dy  7933   2072263        60      5340         0     81149     37380   1155253     18.10     20.13  --
2142.43/537.03	c  N dy  8078   2092375        60      5340         0     99008     37380   1548064     18.11     19.07  --
2172.40/544.55	c  N dy  8189   2112429        60      5340         0     61157     37380    710242     18.12     19.97  --
2191.10/549.20	c  N dy  8242   2132459        60      5340         0     78689     37380   1079534     18.12     19.18  --
2220.68/556.68	c  N dy  8410   2152604        60      5340         0     96620     37380   1476943     18.13     19.09  --
2276.10/570.51	c  N dy  8419   2210839        60      5340         0     90928     37380   1280521     18.07     16.36  --
2276.10/570.51	c  S st  8419   2210839        60      5340         0     90928     37380   1280521     18.07     16.36  --
2276.90/570.76	c  S st  8419   2211340        60      5340         0     91378     37380   1290736     18.07   no data  --
2276.90/570.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2276.90/570.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2277.32/570.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2277.32/570.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2277.32/570.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2277.32/570.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2277.32/570.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2380.23/596.66	c lits-rem:      4936  cl-subs:    13969  v-elim:      0  v-fix:    0  time: 102.96 s
2380.23/596.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2380.23/596.68	c vivif2 --  cl tried    77409 cl shrink        0 lits rem          0 time: 0.06
2381.83/597.01	c asymm  cl-useful: 0/474/5340 lits-rem:0 time: 1.33
2381.83/597.01	c calculated reachability. Time: 0.00
2381.83/597.01	c  N dy  8419   2211340        60      5340         0     77409     37380   1042807     18.07   no data  --
2408.16/603.61	c  N dy  8503   2231404        60      5340         0     95194     37380   1428229     18.07     19.07  --
2443.67/612.55	c  N dy  8635   2251446        60      5340         0     56678     37380    605034     18.08     20.64  --
2462.07/617.12	c  N dy  8705   2271517        60      5340         0     74358     37380    977674     18.08     19.83  --
2492.78/624.82	c  N dy  8848   2291577        60      5340         0     92173     37380   1368438     18.09     21.41  --
2536.25/635.75	c  N dy  8951   2311585        60      5340         0    109828     37380   1750168     18.10     20.03  --
2570.13/644.29	c  N dy  9093   2331638        60      5340         0     69851     37380    876470     18.11     19.10  --
2606.45/653.34	c  N dy  9233   2351726        60      5340         0     87679     37380   1268472     18.12     20.39  --
2647.12/663.59	c  N dy  9331   2372440        60      5340         0    106056     37380   1665610     18.13     19.18  --
2687.01/673.59	c  N dy  9452   2392511        60      5340         0     64801     37380    751845     18.13     20.15  --
2714.15/680.31	c  N dy  9542   2413556        60      5340         0     83322     37380   1148198     18.14     19.11  --
2748.46/688.97	c  N dy  9665   2433642        60      5340         0    101113     37380   1534947     18.14     19.88  --
2791.94/699.81	c  N dy  9815   2453739        60      5340         0    118914     37380   1926364     18.16     19.69  --
2818.28/706.45	c  N dy  9892   2474585        60      5340         0     77270     37380   1004218     18.16     19.16  --
2847.42/713.80	c  N dy  9948   2495959        60      5340         0     95985     37380   1399871     18.15     19.16  --
2886.92/723.61	c  N dy 10054   2516006        60      5340         0    113706     37380   1783492     18.16     20.67  --
2925.21/733.21	c  N dy 10180   2536912        60      5340         0     71309     37380    870834     18.17     19.16  --
2954.34/740.57	c  N dy 10231   2563549        60      5340         0     94694     37380   1362747     18.16     19.12  --
2988.69/749.15	c  N dy 10355   2583619        60      5340         0    112430     37380   1751005     18.17     20.04  --
3020.58/757.11	c  N dy 10457   2603624        60      5340         0     68445     37380    800983     18.17     20.18  --
3040.13/762.01	c  N dy 10485   2623890        60      5340         0     86194     37380   1173069     18.17     19.16  --
3080.87/772.26	c  N dy 10617   2651626        60      5340         0    110636     37380   1700275     18.17     19.13  --
3118.72/781.74	c  N dy 10697   2675548        60      5340         0     69229     37380    803305     18.17     19.15  --
3143.46/787.95	c  N dy 10815   2695648        60      5340         0     86990     37380   1192632     18.18     19.28  --
3162.21/792.63	c  S st 10840   2711340        60      5340         0    100743     37380   1476520     18.17   no data  --
3163.41/792.94	c  S st 10840   2711844        60      5340         0    101190     37380   1486521     18.17   no data  --
3163.41/792.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3163.41/792.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3163.41/793.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3163.83/793.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3163.83/793.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3163.83/793.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3163.83/793.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3572.35/895.46	c lits-rem:      5383  cl-subs:    11240  v-elim:      0  v-fix:    0  time: 408.49 s
3572.35/895.46	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3572.35/895.48	c vivif2 --  cl tried    89950 cl shrink        0 lits rem          0 time: 0.08
3573.90/895.88	c asymm  cl-useful: 0/551/5340 lits-rem:0 time: 1.63
3573.90/895.89	c calculated reachability. Time: 0.00
3573.90/895.89	c  N dy 10840   2711844        60      5340         0     89950     37380   1252448     18.17   no data  --
3612.60/905.57	c  N dy 10944   2733821        60      5340         0    109322     37380   1671209     18.18     19.30  --
3673.28/920.79	c  N dy 11032   2771098        60      5340         0     79269     37380   1003266     18.17     19.31  --
3721.56/932.87	c  N dy 11142   2799718        60      5340         0    104492     37380   1545384     18.17     19.28  --
3766.60/944.14	c  N dy 11189   2820944        60      5340         0    123005     37380   1932466     18.17     19.17  --
3805.28/953.82	c  N dy 11294   2841224        60      5340         0     77104     37380    961481     18.17     19.26  --
3839.19/962.32	c  N dy 11338   2864324        60      5340         0     97196     37380   1380568     18.16     19.25  --
3887.89/974.55	c  N dy 11466   2885323        60      5340         0    115827     37380   1788570     18.17     19.19  --
3938.52/987.25	c  N dy 11597   2905345        60      5340         0     68615     37380    769044     18.18     19.48  --
3974.43/996.23	c  N dy 11761   2925556        60      5340         0     86559     37380   1167112     18.19     19.16  --
4013.92/1006.19	c  N dy 11816   2950210        60      5340         0    108137     37380   1620032     18.19     19.38  --
4050.25/1015.23	c  N dy 11822   2972842        60      5340         0    127805     37380   2023762     18.17     19.15  --
4103.33/1028.54	c  N dy 11884   3011646        60      5340         0     95950     37380   1321663     18.16     19.13  --
4142.84/1038.46	c  N dy 11994   3031708        60      5340         0    113636     37380   1705176     18.17     21.49  --
4187.07/1049.51	c  N dy 12092   3051754        60      5340         0    131332     37380   2088190     18.17     20.67  --
4224.98/1059.01	c  N dy 12189   3076468        60      5340         0     86307     37380   1123836     18.17     19.23  --
4256.11/1066.85	c  N dy 12258   3096550        60      5340         0    103969     37380   1501546     18.17     19.98  --
4292.41/1075.97	c  N dy 12347   3117817        60      5340         0    122759     37380   1906152     18.18     19.15  --
4324.33/1083.93	c  N dy 12391   3137846        60      5340         0     72631     37380    817460     18.17     21.25  --
4355.85/1091.86	c  N dy 12515   3160536        60      5340         0     92648     37380   1252212     18.17     19.16  --
4391.36/1100.75	c  N dy 12539   3184716        60      5340         0    113650     37380   1685198     18.17     19.13  --
4429.66/1110.32	c  N dy 12583   3204992        60      5340         0    131379     37380   2057049     18.16     19.33  --
4449.22/1115.30	c  S st 12638   3211845        60      5340         0     68978     37380    736834     18.16   no data  --
4450.41/1115.54	c  S st 12638   3212347        60      5340         0     69430     37380    746966     18.16   no data  --
4450.41/1115.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4450.41/1115.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4450.41/1115.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
4450.81/1115.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4450.81/1115.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4450.81/1115.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4450.81/1115.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4513.04/1131.26	c lits-rem:       111  cl-subs:      213  v-elim:      0  v-fix:    0  time: 62.42 s
4513.04/1131.26	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4513.04/1131.27	c vivif2 --  cl tried    69217 cl shrink        0 lits rem          0 time: 0.05
4514.64/1131.64	c asymm  cl-useful: 0/623/5340 lits-rem:0 time: 1.47
4514.64/1131.64	c calculated reachability. Time: 0.00
4514.64/1131.64	c  N dy 12638   3212347        60      5340         0     69217     37380    742053     18.16   no data  --
4541.37/1138.36	c  N dy 12711   3232441        60      5340         0     86895     37380   1122748     18.16     19.13  --
4574.48/1146.64	c  N dy 12781   3253362        60      5340         0    105226     37380   1511450     18.16     19.13  --
4621.96/1158.51	c  N dy 12879   3277032        60      5340         0    126030     37380   1960775     18.17     19.16  --
4664.68/1169.27	c  N dy 12968   3297077        60      5340         0     74264     37380    841554     18.17     19.13  --
4697.38/1177.41	c  N dy 13087   3319199        60      5340         0     93773     37380   1265571     18.18     19.16  --
4728.89/1185.31	c  N dy 13176   3339288        60      5340         0    111424     37380   1647179     18.18     19.78  --
4777.57/1197.54	c  N dy 13241   3369464        60      5340         0    137785     37380   2200649     18.17     19.16  --

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368831-1305404062/watcher-3368831-1305404062 -o /tmp/evaluation-result-3368831-1305404062/solver-3368831-1305404062 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368831-1305404062.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: 4.65 4.80 6.29 5/319 8229
/proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 384597466 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942557 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 12809 356 306 112 0 7774 0
[pid=8229/tid=8230] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 384597467 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942962 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 384597467 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 384597467 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942553 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.091415 s]
/proc/loadavg: 4.65 4.80 6.29 5/319 8229
/proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=281904 CPUtime=0.34 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 1297 0 0 0 34 0 0 0 18 0 4 0 384597466 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 70476 1207 366 112 0 65441 0
[pid=8229/tid=8230] ppid=8227 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 191 0 0 0 8 0 0 0 25 0 4 0 384597467 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 188 0 0 0 8 0 0 0 18 0 4 0 384597467 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) D 8227 8229 7660 0 -1 4202560 300 0 0 0 8 0 0 0 18 0 4 0 384597467 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 268660359287 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 281904

[startup+0.111961 s]
/proc/loadavg: 4.65 4.80 6.29 5/319 8229
/proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=281904 CPUtime=0.42 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 1336 0 0 0 42 0 0 0 18 0 4 0 384597466 288669696 1246 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 70476 1246 366 112 0 65441 0
[pid=8229/tid=8230] ppid=8227 vsize=281904 CPUtime=0.1 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 194 0 0 0 10 0 0 0 25 0 4 0 384597467 288669696 1246 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=281904 CPUtime=0.1 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 191 0 0 0 10 0 0 0 18 0 4 0 384597467 288669696 1247 33554432000 4194304 4650419 140734762564384 18446744073709551615 268660323013 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=281904 CPUtime=0.1 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 331 0 0 0 10 0 0 0 18 0 4 0 384597467 288669696 1247 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 281904

[startup+0.30093 s]
/proc/loadavg: 4.65 4.80 6.29 5/319 8229
/proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=285420 CPUtime=1.17 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 3627 0 0 0 117 0 0 0 18 0 4 0 384597466 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 71355 2678 390 112 0 66320 0
[pid=8229/tid=8230] ppid=8227 vsize=285420 CPUtime=0.29 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 851 0 0 0 29 0 0 0 25 0 4 0 384597467 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=285420 CPUtime=0.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 863 0 0 0 29 0 0 0 18 0 4 0 384597467 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=285420 CPUtime=0.29 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 636 0 0 0 29 0 0 0 18 0 4 0 384597467 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364785 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) 285420

[startup+0.700862 s]
/proc/loadavg: 4.65 4.80 6.29 5/319 8229
/proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=286316 CPUtime=2.78 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 5627 0 0 0 277 1 0 0 18 0 4 0 384597466 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 71579 3481 390 112 0 66544 0
[pid=8229/tid=8230] ppid=8227 vsize=286316 CPUtime=0.69 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1317 0 0 0 69 0 0 0 25 0 4 0 384597467 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=286316 CPUtime=0.69 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1290 0 0 0 69 0 0 0 18 0 4 0 384597467 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=286316 CPUtime=0.69 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1263 0 0 0 69 0 0 0 18 0 4 0 384597467 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4333767 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) 286316

[startup+1.50072 s]
/proc/loadavg: 4.65 4.80 6.29 10/323 8233
/proc/meminfo: memFree=27242264/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=287560 CPUtime=5.96 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 10036 0 0 0 595 1 0 0 20 0 4 0 384597466 294461440 5378 33554432000 4194304 4650419 140734762564384 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 71890 5379 392 112 0 66855 0
[pid=8229/tid=8230] ppid=8227 vsize=287560 CPUtime=1.47 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 2129 0 0 0 147 0 0 0 25 0 4 0 384597467 294461440 5379 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=287560 CPUtime=1.49 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 2105 0 0 0 149 0 0 0 19 0 4 0 384597467 294461440 5379 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=287560 CPUtime=1.49 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 2079 0 0 0 149 0 0 0 19 0 4 0 384597467 294461440 5379 33554432000 4194304 4650419 140734762564384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287560

[startup+3.10044 s]
/proc/loadavg: 4.65 4.80 6.29 9/323 8233
/proc/meminfo: memFree=27221556/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=295744 CPUtime=12.35 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 16367 0 0 0 1232 3 0 0 25 0 4 0 384597466 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 73936 9908 392 112 0 68901 0
[pid=8229/tid=8230] ppid=8227 vsize=295744 CPUtime=3.06 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 3529 0 0 0 306 0 0 0 25 0 4 0 384597467 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=295744 CPUtime=3.08 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 4351 0 0 0 308 0 0 0 25 0 4 0 384597467 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=295744 CPUtime=3.09 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 4337 0 0 0 308 1 0 0 25 0 4 0 384597467 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 295744

[startup+6.30088 s]
/proc/loadavg: 4.91 4.85 6.30 9/323 8234
/proc/meminfo: memFree=27204196/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=304888 CPUtime=25.12 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 24434 0 0 0 2507 5 0 0 25 0 4 0 384597466 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 76222 12688 392 112 0 71187 0
[pid=8229/tid=8230] ppid=8227 vsize=304888 CPUtime=6.22 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 6093 0 0 0 622 0 0 0 25 0 4 0 384597467 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=304888 CPUtime=6.28 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 5949 0 0 0 628 0 0 0 25 0 4 0 384597467 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=304888 CPUtime=6.29 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 6371 0 0 0 628 1 0 0 25 0 4 0 384597467 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 304888

[startup+12.7008 s]
/proc/loadavg: 5.16 4.90 6.31 9/323 8234
/proc/meminfo: memFree=27165412/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=296356 CPUtime=50.64 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 35703 0 0 0 5057 7 0 0 25 0 4 0 384597466 303468544 17630 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 74089 17631 392 112 0 69054 0
[pid=8229/tid=8230] ppid=8227 vsize=296356 CPUtime=12.56 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 8789 0 0 0 1255 1 0 0 25 0 4 0 384597467 303468544 17631 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=296356 CPUtime=12.69 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 7908 0 0 0 1268 1 0 0 25 0 4 0 384597467 303468544 17631 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=296356 CPUtime=12.69 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 9967 0 0 0 1267 2 0 0 25 0 4 0 384597467 303468544 17631 33554432000 4194304 4650419 140734762564384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 296356

[startup+25.5005 s]
/proc/loadavg: 5.86 5.07 6.34 9/323 8234
/proc/meminfo: memFree=27143068/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=297284 CPUtime=101.71 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 54500 0 0 0 10159 12 0 0 25 0 4 0 384597466 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 74321 22431 392 112 0 69286 0
[pid=8229/tid=8230] ppid=8227 vsize=297284 CPUtime=25.23 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 14569 0 0 0 2521 2 0 0 25 0 4 0 384597467 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=297284 CPUtime=25.48 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 12797 0 0 0 2546 2 0 0 25 0 4 0 384597467 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=297284 CPUtime=25.49 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 14566 0 0 0 2546 3 0 0 25 0 4 0 384597467 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 297284

[startup+51.101 s]
/proc/loadavg: 6.59 5.30 6.38 9/323 8235
/proc/meminfo: memFree=27104204/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=290248 CPUtime=203.86 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 80194 0 0 0 20367 19 0 0 25 0 4 0 384597466 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 72562 27337 392 112 0 67527 0
[pid=8229/tid=8230] ppid=8227 vsize=290248 CPUtime=50.58 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 21910 0 0 0 5054 4 0 0 25 0 4 0 384597467 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=290248 CPUtime=51.08 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 18230 0 0 0 5105 3 0 0 25 0 4 0 384597467 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=290248 CPUtime=51.09 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 22030 0 0 0 5104 5 0 0 25 0 4 0 384597467 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 290248

[startup+102.312 s]
/proc/loadavg: 7.39 5.72 6.47 9/323 8236
/proc/meminfo: memFree=27073740/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=302980 CPUtime=408.18 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 117762 0 0 0 40789 29 0 0 25 0 4 0 384597466 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 75745 30840 392 112 0 70710 0
[pid=8229/tid=8230] ppid=8227 vsize=302980 CPUtime=101.27 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 30356 0 0 0 10121 6 0 0 25 0 4 0 384597467 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=302980 CPUtime=102.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 27304 0 0 0 10223 6 0 0 25 0 4 0 384597467 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=302980 CPUtime=102.3 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 35430 0 0 0 10221 9 0 0 25 0 4 0 384597467 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 302980

[startup+162.301 s]

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

[pid=8229] ppid=8227 vsize=395564 CPUtime=2562.57 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 357583 0 0 0 256125 132 0 0 25 0 4 0 384597466 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 98891 71432 392 112 0 93856 0
[pid=8229/tid=8230] ppid=8227 vsize=395564 CPUtime=635.74 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 93196 0 0 0 63542 32 0 0 25 0 4 0 384597467 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=395564 CPUtime=642.3 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 78657 0 0 0 64198 32 0 0 25 0 4 0 384597467 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=395564 CPUtime=642.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 97838 0 0 0 64202 29 0 0 25 0 4 0 384597467 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.57
Current children cumulated vsize (KiB) 395564

[startup+702.301 s]
/proc/loadavg: 8.07 7.79 7.24 9/323 8252
/proc/meminfo: memFree=26749516/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=395708 CPUtime=2801.93 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 371716 0 0 0 280056 137 0 0 25 0 4 0 384597466 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 98927 73835 392 112 0 93892 0
[pid=8229/tid=8230] ppid=8227 vsize=395708 CPUtime=695.11 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 101132 0 0 0 69478 33 0 0 25 0 4 0 384597467 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=395708 CPUtime=702.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 78938 0 0 0 70197 32 0 0 25 0 4 0 384597467 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=395708 CPUtime=702.3 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 99023 0 0 0 70200 30 0 0 25 0 4 0 384597467 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.93
Current children cumulated vsize (KiB) 395708

[startup+762.312 s]
/proc/loadavg: 8.08 7.84 7.29 9/323 8254
/proc/meminfo: memFree=26758884/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=383708 CPUtime=3041.36 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 386854 0 0 0 303995 141 0 0 25 0 4 0 384597466 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 95927 72661 392 112 0 90892 0
[pid=8229/tid=8230] ppid=8227 vsize=383708 CPUtime=754.52 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 109977 0 0 0 75417 35 0 0 25 0 4 0 384597467 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=383708 CPUtime=762.3 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 79417 0 0 0 76198 32 0 0 25 0 4 0 384597467 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=383708 CPUtime=762.32 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 99408 0 0 0 76201 31 0 0 25 0 4 0 384597467 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.36
Current children cumulated vsize (KiB) 383708

[startup+822.301 s]
/proc/loadavg: 8.06 7.88 7.33 9/323 8255
/proc/meminfo: memFree=26722392/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=449304 CPUtime=3280.69 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 396456 0 0 0 327923 146 0 0 25 0 4 0 384597466 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 112326 76674 392 112 0 107291 0
[pid=8229/tid=8230] ppid=8227 vsize=449304 CPUtime=813.9 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 110538 0 0 0 81355 35 0 0 25 0 4 0 384597467 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=449304 CPUtime=822.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 81958 0 0 0 82195 34 0 0 25 0 4 0 384597467 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=449304 CPUtime=822.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 101710 0 0 0 82199 32 0 0 25 0 4 0 384597467 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.69
Current children cumulated vsize (KiB) 449304

[startup+882.3 s]
/proc/loadavg: 8.15 7.93 7.38 9/323 8257
/proc/meminfo: memFree=26701404/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=514840 CPUtime=3520.04 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 401354 0 0 0 351855 149 0 0 25 0 4 0 384597466 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 128710 81285 392 112 0 123675 0
[pid=8229/tid=8230] ppid=8227 vsize=514840 CPUtime=873.25 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 112668 0 0 0 87289 36 0 0 25 0 4 0 384597467 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=514840 CPUtime=882.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 81958 0 0 0 88195 34 0 0 25 0 4 0 384597467 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=514840 CPUtime=882.3 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 104478 0 0 0 88197 33 0 0 25 0 4 0 384597467 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.04
Current children cumulated vsize (KiB) 514840

[startup+942.301 s]
/proc/loadavg: 8.18 7.97 7.43 9/323 8258
/proc/meminfo: memFree=26652652/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=567888 CPUtime=3759.42 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 408391 0 0 0 375788 154 0 0 25 0 4 0 384597466 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 141972 85554 392 112 0 136937 0
[pid=8229/tid=8230] ppid=8227 vsize=567888 CPUtime=932.63 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115873 0 0 0 93225 38 0 0 25 0 4 0 384597467 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=567888 CPUtime=942.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 82247 0 0 0 94195 34 0 0 25 0 4 0 384597467 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=567888 CPUtime=942.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 104541 0 0 0 94198 33 0 0 25 0 4 0 384597467 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.42
Current children cumulated vsize (KiB) 567888

[startup+1002.3 s]
/proc/loadavg: 8.18 8.00 7.47 9/323 8260
/proc/meminfo: memFree=26658444/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=514992 CPUtime=3998.75 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 413318 0 0 0 399719 156 0 0 25 0 4 0 384597466 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 128748 85212 392 112 0 123713 0
[pid=8229/tid=8230] ppid=8227 vsize=514992 CPUtime=991.99 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115873 0 0 0 99160 39 0 0 25 0 4 0 384597467 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=514992 CPUtime=1002.29 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 82479 0 0 0 100195 34 0 0 25 0 4 0 384597467 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=514992 CPUtime=1002.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 104607 0 0 0 100198 33 0 0 25 0 4 0 384597467 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.75
Current children cumulated vsize (KiB) 514992

[startup+1062.3 s]
/proc/loadavg: 8.21 8.04 7.52 9/323 8262
/proc/meminfo: memFree=26662628/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=515112 CPUtime=4238.15 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 421894 0 0 0 423653 162 0 0 25 0 4 0 384597466 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 128778 83939 392 112 0 123743 0
[pid=8229/tid=8230] ppid=8227 vsize=515112 CPUtime=1051.39 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115885 0 0 0 105100 39 0 0 25 0 4 0 384597467 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=515112 CPUtime=1062.3 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 82514 0 0 0 106195 35 0 0 25 0 4 0 384597467 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=515112 CPUtime=1062.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 107885 0 0 0 106196 35 0 0 25 0 4 0 384597467 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.15
Current children cumulated vsize (KiB) 515112

[startup+1122.3 s]
/proc/loadavg: 8.13 8.05 7.55 9/323 8263
/proc/meminfo: memFree=26638536/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=515220 CPUtime=4477.53 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 436170 0 0 0 447582 171 0 0 25 0 4 0 384597466 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 128805 88140 392 112 0 123770 0
[pid=8229/tid=8230] ppid=8227 vsize=515220 CPUtime=1110.77 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 119275 0 0 0 111036 41 0 0 25 0 4 0 384597467 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=515220 CPUtime=1122.3 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 83015 0 0 0 112195 35 0 0 25 0 4 0 384597467 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=515220 CPUtime=1122.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 112937 0 0 0 112193 38 0 0 25 0 4 0 384597467 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.53
Current children cumulated vsize (KiB) 515220

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 7.58 9/323 8265
/proc/meminfo: memFree=26599316/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=580812 CPUtime=4716.93 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 447413 0 0 0 471515 178 0 0 25 0 4 0 384597466 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 145203 91132 392 112 0 140168 0
[pid=8229/tid=8230] ppid=8227 vsize=580812 CPUtime=1170.17 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 123966 0 0 0 116973 44 0 0 25 0 4 0 384597467 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=580812 CPUtime=1182.3 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 83015 0 0 0 118195 35 0 0 25 0 4 0 384597467 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=580812 CPUtime=1182.31 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115365 0 0 0 118191 40 0 0 25 0 4 0 384597467 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.93
Current children cumulated vsize (KiB) 580812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 7.17 7.85 7.53 5/314 8283
/proc/meminfo: memFree=26967312/32951124 swapFree=46575252/67111528
[pid=8229] ppid=8227 vsize=580868 CPUtime=4800.33 cores=1,3,5,7
/proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 452490 0 0 0 479853 180 0 0 25 0 4 0 384597466 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8229/statm: 145217 93527 392 112 0 140182 0
[pid=8229/tid=8230] ppid=8227 vsize=580868 CPUtime=1190.87 cores=1,3,5,7
/proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 125031 0 0 0 119042 45 0 0 25 0 4 0 384597467 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8229/tid=8231] ppid=8227 vsize=580868 CPUtime=1203.21 cores=1,3,5,7
/proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 83015 0 0 0 120286 35 0 0 25 0 4 0 384597467 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8229/tid=8232] ppid=8227 vsize=580868 CPUtime=1203.23 cores=1,3,5,7
/proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 117326 0 0 0 120282 41 0 0 25 0 4 0 384597467 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 580868

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): 1203.23
CPU time (s): 4800.4
CPU user time (s): 4798.57
CPU system time (s): 1.82472
CPU usage (%): 398.958
Max. virtual memory (cumulated for all children) (KiB): 593572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.57
system time used= 1.82472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452491
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= 192
involuntary context switches= 34721

runsolver used 3.24451 second user time and 9.14461 second system time

The end

Launcher Data

Begin job on node107 at 2011-05-14 22:14:22
IDJOB=3368831
IDBENCH=82840
IDSOLVER=1846
FILE ID=node107/3368831-1305404062
RUNJOBID= node107-1305404047-8177
PBS_JOBID= 13324475
Free space on /tmp= 73428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368831-1305404062/watcher-3368831-1305404062 -o /tmp/evaluation-result-3368831-1305404062/solver-3368831-1305404062 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368831-1305404062.cnf

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

MD5SUM BENCH= c6bf5481c82f3a24100e294aa3a73c9c
RANDOM SEED=1102892261

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27258076 kB
Buffers:        126684 kB
Cached:         924536 kB
SwapCached:       9832 kB
Active:        5343208 kB
Inactive:        70492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27258076 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:           12848 kB
Writeback:           0 kB
AnonPages:     4359332 kB
Mapped:          19700 kB
Slab:           146748 kB
PageTables:      68932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65111036 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= 73428 MiB
End job on node107 at 2011-05-14 22:34:27