Trace number 3368838

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.42 1203.45

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf
MD5SUM4227d784a99fd8c0304137876add0b08
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark398.758
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-3368838-1305404249.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	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.13	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.38/0.13	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:      25 undec:       1 neg:      34
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     8      4014        60      5340         0      3577     37380     76791     17.99     19.36  --
3.57/0.90	c  N dy    25      8614        60      5340         0      5420     37380    110244     18.16     19.21  --
3.57/0.90	c  N dy    39     17226        60      5340         0      9222     37380    176960     17.56     18.60  --
3.57/0.90	c  N dy    68     21238        60      5340         0      7883     37380    147271     17.83     18.92  --
3.97/1.10	c  F st    93     25000        60      5340         0     11240     37380    219499     18.02     16.55  --
3.97/1.10	c  N st    94     25251        60      5340         0     11467     37380    224384     18.02   no data  --
4.80/1.30	c  N dy    99     30001        60      5340         0      9656     37380    173843     18.02   no data  --
5.16/1.30	c  S st    99     30001        60      5340         0      9656     37380    173843     18.02   no data  --
5.16/1.33	c  S st    99     30505        60      5340         0     10116     37380    184040     18.02   no data  --
5.16/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.16/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.23	c lits-rem:      1544  cl-subs:     1134  v-elim:      0  v-fix:    0  time:  3.57 s
9.95/2.52	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.15
9.95/2.52	c calculated reachability. Time: 0.00
9.95/2.52	c  N dy    99     30505        60      5340         0      8982     37380    160061     18.02   no data  --
11.15/2.83	c  N dy   121     36397        60      5340         0      7219     37380    112535     18.07     19.03  --
11.94/3.03	c  N dy   135     41109        60      5340         0     11408     37380    201436     18.06     19.20  --
13.18/3.31	c  N dy   149     45758        60      5340         0     15544     37380    289375     18.07     17.96  --
13.18/3.31	c  S st   149     45758        60      5340         0     15544     37380    289375     18.07     17.96  --
13.18/3.36	c  S st   149     46262        60      5340         0      8063     37380    122834     18.07   no data  --
13.18/3.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.18/3.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.18/3.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.18/3.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.18/3.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.18/3.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.18/3.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.94/4.09	c lits-rem:        82  cl-subs:       22  v-elim:      0  v-fix:    0  time:  2.86 s
15.94/4.09	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.94/4.09	c vivif2 --  cl tried     8041 cl shrink        0 lits rem          0 time: 0.00
17.13/4.31	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.90
17.13/4.32	c calculated reachability. Time: 0.00
17.13/4.32	c  N dy   149     46262        60      5340         0      8041     37380    122243     18.07   no data  --
17.56/4.50	c  N dy   164     50323        60      5340         0     11666     37380    199937     18.10     19.18  --
19.12/4.80	c  N dy   185     55358        60      5340         0     16173     37380    296454     18.16     19.12  --
19.92/5.04	c  N dy   204     59404        60      5340         0     10897     37380    172048     18.20     19.95  --
20.72/5.26	c  N dy   207     63461        60      5340         0     14494     37380    246689     18.13     19.13  --
22.35/5.64	c  N dy   211     69393        60      5340         0      9996     37380    144531     18.01     15.60  --
22.35/5.64	c  S st   211     69393        60      5340         0      9996     37380    144531     18.01     15.60  --
22.35/5.67	c  S st   211     69894        60      5340         0     10448     37380    154646     18.01   no data  --
22.35/5.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.35/5.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.35/5.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.35/5.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.35/5.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.35/5.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.35/5.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.91/6.51	c lits-rem:       304  cl-subs:      116  v-elim:      0  v-fix:    0  time:  3.32 s
25.91/6.51	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.91/6.51	c vivif2 --  cl tried    10332 cl shrink        0 lits rem          0 time: 0.01
27.10/6.80	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.14
27.10/6.80	c calculated reachability. Time: 0.00
27.10/6.80	c  N dy   211     69894        60      5340         0     10332     37380    151792     18.01   no data  --
27.90/7.06	c  N dy   243     74367        60      5340         0     14295     37380    237198     18.09     19.66  --
29.10/7.40	c  N dy   265     79167        60      5340         0     18592     37380    328360     18.11     19.14  --
30.73/7.74	c  N dy   283     84302        60      5340         0     12499     37380    187558     18.12     19.59  --
31.49/7.91	c  F st   287     87500        60      5340         0     15337     37380    247413     18.11   no data  --
32.29/8.12	c  N st   292     90799        60      5340         0     18250     37380    307423     18.11   no data  --
33.89/8.56	c  N dy   304     96644        60      5340         0     11869     37380    163080     18.11     19.11  --
35.87/9.04	c  N dy   310    104842        60      5340         0     19108     37380    312873     18.04     15.83  --
35.87/9.04	c  S st   310    104842        60      5340         0     19108     37380    312873     18.04     15.83  --
35.87/9.09	c  S st   310    105345        60      5340         0     19555     37380    322831     18.04   no data  --
35.87/9.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
35.87/9.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.27/9.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.27/9.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.27/9.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.27/9.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.27/9.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.46/10.43	c lits-rem:      1632  cl-subs:     2358  v-elim:      0  v-fix:    0  time:  5.26 s
41.46/10.43	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
41.46/10.43	c vivif2 --  cl tried    17197 cl shrink        0 lits rem          0 time: 0.01
42.66/10.79	c asymm  cl-useful: 0/4457/5340 lits-rem:0 time: 1.44
42.66/10.79	c calculated reachability. Time: 0.00
42.66/10.79	c  N dy   310    105345        60      5340         0     17197     37380    273962     18.04   no data  --
45.85/11.50	c  N dy   327    114333        60      5340         0     12886     37380    176840     18.01     18.97  --
57.82/14.55	c  N dy   336    158021        60      5340         0     23878     37380    376506     17.39     15.53  --
57.82/14.55	c  S st   336    158021        60      5340         0     23878     37380    376506     17.39     15.53  --
58.22/14.61	c  S st   336    158522        60      5340         0     24330     37380    386653     17.39   no data  --
58.22/14.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.22/14.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.22/14.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
58.22/14.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.22/14.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.22/14.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
58.22/14.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.24/16.66	c lits-rem:      1791  cl-subs:     3875  v-elim:      0  v-fix:    0  time:  8.11 s
66.24/16.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
66.24/16.67	c vivif2 --  cl tried    20455 cl shrink        0 lits rem          0 time: 0.02
66.59/16.76	c asymm  cl-useful: 0/883/5340 lits-rem:0 time: 0.36
66.59/16.76	c calculated reachability. Time: 0.00
66.59/16.76	c  N dy   336    158522        60      5340         0     20455     37380    317145     17.39   no data  --
70.98/17.86	c  N dy   425    168700        60      5340         0     14867     37380    193078     17.52     18.48  --
75.01/18.83	c  N dy   507    180436        60      5340         0     25331     37380    419091     17.63     18.62  --
79.40/19.96	c  N dy   570    192050        60      5340         0     19905     37380    287707     17.68     18.75  --
84.53/21.23	c  N dy   673    204397        60      5340         0     30979     37380    528731     17.79     18.79  --
89.33/22.47	c  N dy   713    217492        60      5340         0     25735     37380    397544     17.78     19.87  --
95.71/24.08	c  N dy   779    233001        60      5340         0     21778     37380    305571     17.81     18.88  --
97.70/24.54	c  S st   819    237784        60      5340         0     26050     37380    398075     17.84   no data  --
98.10/24.60	c  S st   819    238285        60      5340         0     26511     37380    408315     17.84   no data  --
98.10/24.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
98.10/24.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.10/24.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.10/24.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.10/24.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.10/24.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.10/24.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
105.72/26.56	c lits-rem:      1858  cl-subs:     1933  v-elim:      0  v-fix:    0  time:  7.71 s
105.72/26.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
105.72/26.56	c vivif2 --  cl tried    24578 cl shrink        0 lits rem          0 time: 0.02
107.27/26.93	c asymm  cl-useful: 0/3329/5340 lits-rem:0 time: 1.47
107.27/26.93	c calculated reachability. Time: 0.00
107.27/26.93	c  N dy   819    238285        60      5340         0     24578     37380    363481     17.84   no data  --
114.50/28.77	c  N dy   884    255492        60      5340         0     21265     37380    281960     17.87     18.90  --
121.24/30.45	c  N dy   965    271844        60      5340         0     35802     37380    591511     17.91     18.97  --
129.22/32.43	c  N dy  1025    291184        60      5340         0     33506     37380    530125     17.91     18.86  --
136.04/34.11	c  F st  1076    306251        60      5340         0     26429     37380    367576     17.91     14.66  --
137.59/34.59	c  N dy  1082    311446        60      5340         0     31003     37380    464490     17.91   no data  --
150.75/37.81	c  N dy  1147    342254        60      5340         0     36907     37380    568923     17.83     18.79  --
158.38/39.79	c  S st  1226    357427        60      5340         0     28339     37380    397949     17.86     17.16  --
158.73/39.87	c  S st  1226    357932        60      5340         0     28794     37380    408039     17.86   no data  --
158.73/39.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
158.73/39.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
158.73/39.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
158.73/39.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.73/39.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.73/39.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
158.73/39.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
167.15/41.96	c lits-rem:      1289  cl-subs:     1489  v-elim:      0  v-fix:    0  time:  8.23 s
167.15/41.96	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
167.15/41.96	c vivif2 --  cl tried    27305 cl shrink        0 lits rem          0 time: 0.02
168.30/42.23	c asymm  cl-useful: 0/2011/5340 lits-rem:0 time: 1.10
168.30/42.24	c calculated reachability. Time: 0.00
168.30/42.24	c  N dy  1226    357932        60      5340         0     27305     37380    374049     17.86   no data  --
181.07/45.46	c  N dy  1309    377933        60      5340         0     45024     37380    748271     17.87     19.41  --
192.24/48.23	c  N dy  1442    397938        60      5340         0     39877     37380    635429     17.93     18.96  --
227.75/57.14	c  N dy  1542    477814        60      5340         0     35683     37380    490274     17.62     18.77  --
241.34/60.58	c  N dy  1709    497840        60      5340         0     27220     37380    321289     17.69     18.83  --
252.48/63.31	c  N dy  1849    517908        60      5340         0     45111     37380    708792     17.75     19.15  --
264.03/66.29	c  S st  1956    536898        60      5340         0     34516     37380    464539     17.78     18.16  --
264.43/66.38	c  S st  1956    537404        60      5340         0     34982     37380    474948     17.78   no data  --
264.43/66.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
264.43/66.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
264.43/66.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
264.83/66.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
264.83/66.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.83/66.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
264.83/66.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
273.62/68.61	c lits-rem:      1068  cl-subs:     1864  v-elim:      0  v-fix:    0  time:  8.79 s
273.62/68.61	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
273.62/68.62	c vivif2 --  cl tried    33118 cl shrink        0 lits rem          0 time: 0.02
274.81/68.99	c asymm  cl-useful: 0/2706/5340 lits-rem:0 time: 1.51
274.81/68.99	c calculated reachability. Time: 0.00
274.81/68.99	c  N dy  1956    537404        60      5340         0     33118     37380    434974     17.78   no data  --
287.58/72.13	c  N dy  2076    557621        60      5340         0     51015     37380    817651     17.82     18.78  --
299.94/75.23	c  N dy  2193    577935        60      5340         0     40853     37380    595321     17.86     18.87  --
314.30/78.82	c  N dy  2286    597986        60      5340         0     29402     37380    336082     17.86     19.54  --
326.26/81.84	c  N dy  2451    618052        60      5340         0     47310     37380    725133     17.91     19.77  --
349.00/87.57	c  N dy  2544    655741        60      5340         0     50335     37380    756644     17.87     18.82  --
364.60/91.47	c  N dy  2634    675756        60      5340         0     37172     37380    482879     17.89     21.68  --
381.75/95.71	c  N dy  2783    700106        60      5340         0     58850     37380    950024     17.92     18.88  --
396.48/99.48	c  N dy  2901    720189        60      5340         0     44693     37380    631930     17.95     18.90  --
412.04/103.33	c  N dy  2985    740740        60      5340         0     62929     37380   1018831     17.96     18.92  --
424.81/106.59	c  N dy  3068    760766        60      5340         0     47891     37380    688844     17.97     18.99  --
439.95/110.35	c  N dy  3107    782483        60      5340         0     67060     37380   1089568     17.96     18.99  --
453.92/113.80	c  N dy  3256    802523        60      5340         0     51263     37380    758006     17.99     20.81  --
456.35/114.47	c  S st  3274    806106        60      5340         0     54429     37380    825581     17.99     18.26  --
457.10/114.62	c  S st  3274    806607        60      5340         0     54883     37380    835780     17.99   no data  --
457.10/114.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.10/114.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.10/114.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
457.10/114.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.10/114.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.10/114.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
457.10/114.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
492.61/123.54	c lits-rem:      2998  cl-subs:     4872  v-elim:      0  v-fix:    0  time: 35.35 s
492.61/123.54	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
492.61/123.55	c vivif2 --  cl tried    50011 cl shrink        0 lits rem          0 time: 0.04
493.81/123.85	c asymm  cl-useful: 0/773/5340 lits-rem:0 time: 1.24
493.81/123.86	c calculated reachability. Time: 0.00
493.81/123.86	c  N dy  3274    806607        60      5340         0     50011     37380    724696     17.99   no data  --
514.15/128.94	c  N dy  3407    827865        60      5340         0     34549     37380    383461     18.02     18.99  --
524.53/131.55	c  N dy  3437    847931        60      5340         0     52222     37380    752895     18.00     19.81  --
540.48/135.52	c  N dy  3473    867954        60      5340         0     69875     37380   1120679     17.99     19.07  --
554.04/138.94	c  N dy  3584    887964        60      5340         0     52419     37380    757516     18.01     21.00  --
572.00/143.45	c  N dy  3678    908025        60      5340         0     70087     37380   1134184     18.02     19.43  --
586.75/147.14	c  N dy  3794    928092        60      5340         0     51748     37380    735626     18.04     19.04  --
605.11/151.80	c  N dy  3903    949267        60      5340         0     70572     37380   1141907     18.05     19.02  --
620.25/155.52	c  N dy  3996    969409        60      5340         0     51139     37380    706482     18.07     19.12  --
636.25/159.56	c  N dy  4050    989508        60      5340         0     68728     37380   1075364     18.06     19.01  --
652.17/163.54	c  N dy  4099   1010395        60      5340         0     49205     37380    650472     18.05     19.08  --
668.52/167.65	c  N dy  4173   1030440        60      5340         0     66963     37380   1027385     18.05     19.01  --
685.67/171.91	c  N dy  4228   1050577        60      5340         0     45903     37380    573540     18.05     19.06  --
701.64/175.96	c  N dy  4353   1070834        60      5340         0     63877     37380    962207     18.07     19.09  --
702.83/176.25	c  F st  4364   1071875        60      5340         0     64804     37380    982536     18.07   no data  --
724.42/181.64	c  N dy  4448   1095460        60      5340         0     45839     37380    559024     18.07     19.13  --
740.34/185.67	c  N dy  4541   1116277        60      5340         0     64304     37380    953335     18.08     19.09  --
761.47/190.99	c  N dy  4625   1138169        60      5340         0     42928     37380    488210     18.08     19.04  --
779.43/195.43	c  N dy  4754   1158224        60      5340         0     60763     37380    876498     18.10     19.53  --
804.54/201.72	c  N dy  4867   1178326        60      5340         0     78644     37380   1264473     18.12     19.23  --
827.69/207.51	c  N dy  4953   1198373        60      5340         0     54750     37380    732230     18.13     20.39  --
842.49/211.25	c  S st  5037   1209910        60      5340         0     64965     37380    955764     18.14     18.30  --
843.24/211.48	c  S st  5037   1210412        60      5340         0     65425     37380    965850     18.14   no data  --
843.24/211.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
843.24/211.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
843.64/211.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
843.64/211.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.64/211.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.64/211.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
843.64/211.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
907.88/227.67	c lits-rem:      3390  cl-subs:     5829  v-elim:      0  v-fix:    0  time: 64.27 s
907.88/227.67	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
907.88/227.68	c vivif2 --  cl tried    59596 cl shrink        0 lits rem          0 time: 0.04
909.06/227.95	c asymm  cl-useful: 0/623/5340 lits-rem:0 time: 1.08
909.06/227.96	c calculated reachability. Time: 0.00
909.06/227.96	c  N dy  5037   1210412        60      5340         0     59596     37380    837210     18.14   no data  --
931.80/233.64	c  N dy  5117   1234728        60      5340         0     81045     37380   1293191     18.14     19.11  --
948.20/237.74	c  N dy  5189   1254880        60      5340         0     56627     37380    764030     18.14     19.22  --
968.11/242.78	c  N dy  5296   1274943        60      5340         0     74411     37380   1148643     18.15     20.75  --
991.24/248.59	c  N dy  5351   1295015        60      5340         0     48945     37380    592838     18.15     19.39  --
1019.16/255.56	c  N dy  5427   1326010        60      5340         0     76114     37380   1159433     18.14     19.18  --
1045.09/262.04	c  N dy  5537   1346038        60      5340         0     49821     37380    601830     18.15     19.38  --
1066.67/267.48	c  N dy  5629   1370568        60      5340         0     71449     37380   1060030     18.15     19.11  --
1104.93/277.05	c  N dy  5698   1418118        60      5340         0     68044     37380    942810     18.10     19.27  --
1123.32/281.69	c  N dy  5745   1438728        60      5340         0     86103     37380   1318461     18.10     19.12  --
1160.37/290.91	c  N dy  5830   1484564        60      5340         0     80695     37380   1221913     18.07     19.13  --
1184.31/296.96	c  N dy  5986   1504590        60      5340         0     51929     37380    618640     18.09     19.62  --
1202.69/301.54	c  N dy  6116   1524684        60      5340         0     69714     37380   1007420     18.11     19.07  --
1224.64/307.04	c  N dy  6182   1545101        60      5340         0     87773     37380   1393681     18.11     19.16  --
1246.58/312.51	c  N dy  6283   1565123        60      5340         0     57888     37380    731218     18.12     21.25  --
1266.08/317.45	c  N dy  6387   1585301        60      5340         0     75774     37380   1116913     18.13     19.08  --
1288.43/323.07	c  N dy  6450   1605316        60      5340         0     93467     37380   1494044     18.12     20.45  --
1308.76/328.19	c  N dy  6551   1626010        60      5340         0     63179     37380    834375     18.13     19.09  --
1326.71/332.69	c  N dy  6564   1646720        60      5340         0     81199     37380   1203905     18.11     19.13  --
1353.84/339.45	c  N dy  6662   1666734        60      5340         0     49586     37380    533461     18.11     19.10  --
1374.18/344.54	c  N dy  6765   1689317        60      5340         0     69491     37380    961409     18.12     19.09  --
1400.90/351.28	c  N dy  6817   1709338        60      5340         0     87086     37380   1331599     18.12     21.28  --
1403.70/351.92	c  S st  6828   1710412        60      5340         0     88054     37380   1353307     18.12   no data  --
1404.89/352.27	c  S st  6828   1710913        60      5340         0     88509     37380   1363599     18.12   no data  --
1404.89/352.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1404.89/352.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.29/352.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.24
1405.29/352.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1405.29/352.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.29/352.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1405.29/352.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1598.76/400.82	c lits-rem:      5677  cl-subs:    10949  v-elim:      0  v-fix:    0  time: 193.12 s
1598.76/400.82	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1598.76/400.83	c vivif2 --  cl tried    77560 cl shrink        0 lits rem          0 time: 0.07
1600.36/401.28	c asymm  cl-useful: 0/515/5340 lits-rem:0 time: 1.79
1600.36/401.28	c calculated reachability. Time: 0.00
1600.36/401.28	c  N dy  6828   1710913        60      5340         0     77560     37380   1130296     18.12   no data  --
1635.06/409.95	c  N dy  6922   1731758        60      5340         0     96001     37380   1526803     18.12     19.14  --
1660.98/416.40	c  N dy  7045   1751809        60      5340         0     64137     37380    843924     18.14     21.54  --
1687.31/423.09	c  N dy  7116   1771853        60      5340         0     81759     37380   1217220     18.14     19.17  --
1725.20/432.54	c  N dy  7159   1797471        60      5340         0     53410     37380    595342     18.13     19.09  --
1746.79/437.93	c  N dy  7213   1817483        60      5340         0     71016     37380    964074     18.12     19.09  --
1777.85/445.75	c  N dy  7327   1840341        60      5340         0     91298     37380   1403366     18.13     19.14  --
1810.17/453.87	c  N dy  7355   1869760        60      5340         0     65092     37380    813574     18.10     19.24  --
1835.70/460.26	c  N dy  7477   1889800        60      5340         0     82866     37380   1199992     18.11     20.06  --
1863.63/467.23	c  N dy  7584   1909881        60      5340         0    100626     37380   1582397     18.12     19.78  --
1889.15/473.62	c  N dy  7728   1930243        60      5340         0     65910     37380    849938     18.13     19.10  --
1911.09/479.10	c  N dy  7821   1950294        60      5340         0     83616     37380   1231850     18.14     20.46  --
1940.20/486.47	c  N dy  7954   1970328        60      5340         0    101321     37380   1616606     18.15     20.41  --
1964.15/492.41	c  N dy  8045   1990409        60      5340         0     65199     37380    815605     18.15     19.26  --
1986.89/498.18	c  N dy  8157   2011768        60      5340         0     84034     37380   1223846     18.16     19.18  --
2012.82/504.63	c  N dy  8223   2031781        60      5340         0    101657     37380   1597344     18.16     19.15  --
2038.34/511.04	c  N dy  8316   2051930        60      5340         0     64844     37380    801084     18.16     19.13  --
2057.92/516.00	c  N dy  8365   2072323        60      5340         0     82765     37380   1182762     18.16     19.33  --
2090.59/524.14	c  N dy  8399   2103128        60      5340         0    109574     37380   1732917     18.14     19.28  --
2112.13/529.52	c  N dy  8478   2124194        60      5340         0     72805     37380    959760     18.14     19.11  --
2134.47/535.15	c  N dy  8550   2144600        60      5340         0     90854     37380   1349395     18.14     19.16  --
2163.99/542.56	c  N dy  8645   2164819        60      5340         0    108706     37380   1734880     18.15     19.19  --
2187.93/548.58	c  N dy  8716   2187092        60      5340         0     71852     37380    928661     18.15     19.44  --
2212.25/554.66	c  N dy  8791   2208294        60      5340         0     90603     37380   1331693     18.15     19.15  --
2215.47/555.50	c  S st  8800   2210916        60      5340         0     92930     37380   1380850     18.15     17.41  --
2216.65/555.79	c  S st  8800   2211424        60      5340         0     93383     37380   1391041     18.15   no data  --
2217.05/555.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2217.05/555.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2217.05/555.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
2217.05/555.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2217.05/555.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2217.05/555.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2217.05/555.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2521.81/632.23	c lits-rem:      5164  cl-subs:    10369  v-elim:      0  v-fix:    0  time: 304.47 s
2521.81/632.23	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2521.81/632.24	c vivif2 --  cl tried    83014 cl shrink        0 lits rem          0 time: 0.07
2523.44/632.65	c asymm  cl-useful: 0/459/5340 lits-rem:0 time: 1.61
2523.44/632.65	c calculated reachability. Time: 0.00
2523.44/632.65	c  N dy  8800   2211424        60      5340         0     83014     37380   1171694     18.15   no data  --
2557.31/641.18	c  N dy  8912   2231459        60      5340         0    100777     37380   1557944     18.16     22.08  --
2604.37/652.94	c  N dy  8991   2265512        60      5340         0     73983     37380    953265     18.15     19.16  --
2637.12/661.18	c  N dy  9074   2289551        60      5340         0     95090     37380   1401560     18.15     19.19  --
2675.78/670.81	c  N dy  9177   2309574        60      5340         0    112769     37380   1782735     18.15     20.27  --
2702.50/677.52	c  N dy  9272   2330105        60      5340         0     73137     37380    943021     18.16     19.19  --
2728.84/684.12	c  N dy  9311   2352942        60      5340         0     93202     37380   1366874     18.15     19.13  --
2761.54/692.38	c  N dy  9391   2373006        60      5340         0    110936     37380   1746021     18.15     19.96  --
2791.10/699.72	c  N dy  9454   2393047        60      5340         0     69715     37380    857823     18.15     19.55  --
2817.43/706.31	c  N dy  9537   2413057        60      5340         0     87393     37380   1237966     18.15     20.20  --
2861.66/717.42	c  N dy  9556   2445303        60      5340         0    115501     37380   1815638     18.13     19.14  --
2888.78/724.27	c  N dy  9653   2465393        60      5340         0     73479     37380    926475     18.14     19.40  --
2910.73/729.79	c  N dy  9714   2486485        60      5340         0     91979     37380   1318880     18.14     19.10  --
2943.04/737.87	c  N dy  9825   2506559        60      5340         0    109721     37380   1704390     18.14     20.77  --
2984.16/748.13	c  N dy  9914   2538228        60      5340         0     76792     37380    968615     18.13     19.18  --
3008.46/754.30	c  N dy  9995   2558304        60      5340         0     94389     37380   1346670     18.14     19.96  --
3051.54/765.04	c  N dy 10048   2592263        60      5340         0     62639     37380    676401     18.12     19.09  --
3111.01/780.00	c  N dy 10147   2651793        60      5340         0    114431     37380   1725432     18.08     19.12  --
3143.28/788.09	c  N dy 10276   2671815        60      5340         0     70035     37380    831359     18.09     19.06  --
3168.46/794.34	c  N dy 10403   2692005        60      5340         0     87897     37380   1221805     18.10     19.09  --
3201.52/802.68	c  S st 10508   2711424        60      5340         0    105001     37380   1591346     18.10     16.83  --
3203.16/803.07	c  S st 10508   2711928        60      5340         0    105451     37380   1601490     18.10   no data  --
3203.16/803.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3203.16/803.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3203.56/803.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.25
3203.56/803.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3203.56/803.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3203.56/803.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3203.56/803.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3654.26/916.18	c lits-rem:      7924  cl-subs:    11096  v-elim:      0  v-fix:    0  time: 450.63 s
3654.26/916.18	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3654.66/916.20	c vivif2 --  cl tried    94355 cl shrink        0 lits rem          0 time: 0.07
3655.85/916.53	c asymm  cl-useful: 0/551/5340 lits-rem:0 time: 1.29
3655.85/916.53	c calculated reachability. Time: 0.00
3655.85/916.53	c  N dy 10508   2711928        60      5340         0     94355     37380   1354999     18.10   no data  --
3693.75/926.07	c  N dy 10627   2732007        60      5340         0    112066     37380   1740319     18.11     20.33  --
3738.03/937.13	c  N dy 10790   2752159        60      5340         0     67271     37380    765729     18.12     19.08  --
3764.35/943.81	c  N dy 10885   2772195        60      5340         0     84913     37380   1147189     18.13     20.73  --
3806.64/954.31	c  N dy 10903   2802732        60      5340         0    111547     37380   1696574     18.11     19.29  --
3869.27/970.05	c  N dy 10949   2848681        60      5340         0     87887     37380   1157781     18.09     19.10  --
3905.21/979.02	c  N dy 11058   2869071        60      5340         0    105840     37380   1543111     18.10     19.05  --
3950.64/990.42	c  N dy 11202   2889366        60      5340         0    123821     37380   1936840     18.10     19.16  --
3984.19/998.87	c  N dy 11288   2911520        60      5340         0     78535     37380    980122     18.10     19.06  --
4012.87/1006.08	c  N dy 11363   2931588        60      5340         0     96091     37380   1349898     18.10     20.20  --
4059.18/1017.66	c  N dy 11511   2953501        60      5340         0    115410     37380   1772803     18.11     19.17  --
4109.80/1030.30	c  N dy 11606   2979776        60      5340         0     72604     37380    840809     18.11     19.17  --
4138.17/1037.46	c  N dy 11698   3001275        60      5340         0     91450     37380   1243741     18.11     19.18  --
4174.83/1046.61	c  N dy 11848   3021357        60      5340         0    109282     37380   1636506     18.12     20.97  --
4209.92/1055.48	c  N dy 11941   3041365        60      5340         0    126897     37380   2018136     18.13     20.73  --
4245.82/1064.49	c  N dy 12064   3061455        60      5340         0     77851     37380    948813     18.13     19.30  --
4281.33/1073.33	c  N dy 12156   3081485        60      5340         0     95531     37380   1331457     18.14     20.60  --
4318.42/1082.62	c  N dy 12247   3101523        60      5340         0    113160     37380   1710549     18.14     19.10  --
4365.50/1094.47	c  N dy 12361   3124755        60      5340         0    133582     37380   2153607     18.15     19.23  --
4408.98/1105.37	c  N dy 12420   3156931        60      5340         0     93808     37380   1259556     18.14     19.10  --
4444.08/1114.15	c  N dy 12515   3176996        60      5340         0    111518     37380   1641387     18.14     20.10  --
4489.96/1125.62	c  N dy 12616   3197064        60      5340         0    129153     37380   2022584     18.15     19.26  --
4514.29/1131.78	c  S st 12619   3211928        60      5340         0     73745     37380    833329     18.14     13.94  --
4515.53/1132.02	c  S st 12619   3212432        60      5340         0     74195     37380    843566     18.14   no data  --
4515.53/1132.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4515.53/1132.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4515.53/1132.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4515.53/1132.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4515.53/1132.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4515.53/1132.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4515.53/1132.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4587.68/1150.17	c lits-rem:      1322  cl-subs:     1813  v-elim:      0  v-fix:    0  time: 72.12 s
4587.68/1150.17	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4587.68/1150.19	c vivif2 --  cl tried    72382 cl shrink        0 lits rem          0 time: 0.05
4588.88/1150.47	c asymm  cl-useful: 0/614/5340 lits-rem:0 time: 1.14
4588.88/1150.47	c calculated reachability. Time: 0.00
4588.88/1150.47	c  N dy 12619   3212432        60      5340         0     72382     37380    809588     18.14   no data  --
4614.41/1156.85	c  N dy 12715   3234228        60      5340         0     91512     37380   1221616     18.14     19.19  --
4645.52/1164.69	c  N dy 12823   3254639        60      5340         0    109489     37380   1611509     18.15     19.20  --
4678.63/1172.98	c  N dy 12897   3274686        60      5340         0    127047     37380   1987442     18.15     19.99  --
4711.34/1181.11	c  N dy 12927   3298001        60      5340         0     78103     37380    919729     18.14     19.11  --
4739.30/1188.19	c  N dy 13042   3318179        60      5340         0     95829     37380   1303657     18.14     19.10  --
4774.00/1196.81	c  N dy 13165   3338759        60      5340         0    114028     37380   1701868     18.15     19.12  --

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-3368838-1305404249/watcher-3368838-1305404249 -o /tmp/evaluation-result-3368838-1305404249/solver-3368838-1305404249 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368838-1305404249.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.44 7.97 8.04 3/332 31740
/proc/meminfo: memFree=17854152/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 413 0 0 0 2 0 0 0 22 0 4 0 652025807 52465664 353 33554432000 4194304 4650419 140734330588752 18446744073709551615 47519854073778 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 12809 353 303 112 0 7774 0
[pid=31740/tid=31741] ppid=31738 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652025807 52465664 353 33554432000 4194304 4650419 140734330588752 18446744073709551615 47519854073782 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652025807 52465664 353 33554432000 4194304 4650419 140734330588752 18446744073709551615 47519854073778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652025807 52465664 353 33554432000 4194304 4650419 140734330588752 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.101261 s]
/proc/loadavg: 7.44 7.97 8.04 3/332 31740
/proc/meminfo: memFree=17854152/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=282208 CPUtime=0.38 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 1325 0 0 0 38 0 0 0 18 0 4 0 652025807 288980992 1236 33554432000 4194304 4650419 140734330588752 18446744073709551615 4370541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 70552 1236 366 112 0 65517 0
[pid=31740/tid=31741] ppid=31738 vsize=282208 CPUtime=0.09 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 180 0 0 0 9 0 0 0 18 0 4 0 652025807 288980992 1236 33554432000 4194304 4650419 140734330588752 18446744073709551615 4370593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=282208 CPUtime=0.09 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 192 0 0 0 9 0 0 0 18 0 4 0 652025807 288980992 1236 33554432000 4194304 4650419 140734330588752 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=282208 CPUtime=0.08 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 325 0 0 0 8 0 0 0 25 0 4 0 652025807 288980992 1236 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282208

[startup+0.200246 s]
/proc/loadavg: 7.44 7.97 8.04 3/332 31740
/proc/meminfo: memFree=17854152/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=284968 CPUtime=0.77 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 2983 0 0 0 77 0 0 0 18 0 4 0 652025807 291807232 2570 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 71242 2570 390 112 0 66207 0
[pid=31740/tid=31741] ppid=31738 vsize=284968 CPUtime=0.19 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 648 0 0 0 19 0 0 0 18 0 4 0 652025807 291807232 2570 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=284968 CPUtime=0.19 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 678 0 0 0 19 0 0 0 18 0 4 0 652025807 291807232 2570 33554432000 4194304 4650419 140734330588752 18446744073709551615 4413888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=284968 CPUtime=0.18 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 545 0 0 0 18 0 0 0 25 0 4 0 652025807 291807232 2570 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284968

[startup+0.300227 s]
/proc/loadavg: 7.44 7.97 8.04 3/332 31740
/proc/meminfo: memFree=17854152/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=285660 CPUtime=1.17 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 3610 0 0 0 117 0 0 0 18 0 4 0 652025807 292515840 2719 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 71415 2719 390 112 0 66380 0
[pid=31740/tid=31741] ppid=31738 vsize=285660 CPUtime=0.29 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 823 0 0 0 29 0 0 0 18 0 4 0 652025807 292515840 2719 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=285660 CPUtime=0.29 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 873 0 0 0 29 0 0 0 18 0 4 0 652025807 292515840 2720 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=285660 CPUtime=0.28 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 605 0 0 0 28 0 0 0 25 0 4 0 652025807 292515840 2720 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285660

[startup+0.700156 s]
/proc/loadavg: 7.44 7.97 8.04 3/332 31740
/proc/meminfo: memFree=17854152/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=286756 CPUtime=2.77 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 5531 0 0 0 277 0 0 0 18 0 4 0 652025807 293638144 3464 33554432000 4194304 4650419 140734330588752 18446744073709551615 4333011 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 71689 3464 390 112 0 66654 0
[pid=31740/tid=31741] ppid=31738 vsize=286756 CPUtime=0.69 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 1248 0 0 0 69 0 0 0 18 0 4 0 652025807 293638144 3464 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=286756 CPUtime=0.69 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 1351 0 0 0 69 0 0 0 18 0 4 0 652025807 293638144 3464 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=286756 CPUtime=0.68 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 1164 0 0 0 68 0 0 0 25 0 4 0 652025807 293638144 3464 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286756

[startup+1.50102 s]
/proc/loadavg: 7.44 7.97 8.04 10/343 31752
/proc/meminfo: memFree=17819732/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=293104 CPUtime=5.96 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 9883 0 0 0 595 1 0 0 19 0 4 0 652025807 300138496 5318 33554432000 4194304 4650419 140734330588752 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 73276 5318 392 112 0 68241 0
[pid=31740/tid=31741] ppid=31738 vsize=293104 CPUtime=1.49 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 2040 0 0 0 149 0 0 0 19 0 4 0 652025807 300138496 5318 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=293104 CPUtime=1.49 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 2162 0 0 0 149 0 0 0 20 0 4 0 652025807 300138496 5318 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=293104 CPUtime=1.47 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 1948 0 0 0 147 0 0 0 25 0 4 0 652025807 300138496 5318 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 293104

[startup+3.10073 s]
/proc/loadavg: 7.48 7.97 8.04 10/343 31752
/proc/meminfo: memFree=17782640/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=290584 CPUtime=12.34 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 16115 0 0 0 1233 1 0 0 25 0 4 0 652025807 297558016 9579 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 72646 9579 392 112 0 67611 0
[pid=31740/tid=31741] ppid=31738 vsize=290584 CPUtime=3.09 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 3480 0 0 0 309 0 0 0 24 0 4 0 652025807 297558016 9579 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=290584 CPUtime=3.09 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 4432 0 0 0 309 0 0 0 25 0 4 0 652025807 297558016 9579 33554432000 4194304 4650419 140734330588752 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=290584 CPUtime=3.06 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 3977 0 0 0 306 0 0 0 25 0 4 0 652025807 297558016 9579 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 290584

[startup+6.30117 s]
/proc/loadavg: 7.48 7.97 8.04 9/343 31752
/proc/meminfo: memFree=17752576/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=292184 CPUtime=25.11 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 23888 0 0 0 2507 4 0 0 25 0 4 0 652025807 299196416 12247 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 73046 12247 392 112 0 68011 0
[pid=31740/tid=31741] ppid=31738 vsize=292184 CPUtime=6.28 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 5973 0 0 0 628 0 0 0 25 0 4 0 652025807 299196416 12247 33554432000 4194304 4650419 140734330588752 18446744073709551615 4370596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=292184 CPUtime=6.28 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 6294 0 0 0 628 0 0 0 25 0 4 0 652025807 299196416 12247 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=292184 CPUtime=6.22 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 6082 0 0 0 621 1 0 0 25 0 4 0 652025807 299196416 12247 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 292184

[startup+12.701 s]
/proc/loadavg: 7.56 7.97 8.04 10/343 31752
/proc/meminfo: memFree=17705132/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=293912 CPUtime=50.64 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 36461 0 0 0 5057 7 0 0 25 0 4 0 652025807 300965888 16807 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 73478 16807 392 112 0 68443 0
[pid=31740/tid=31741] ppid=31738 vsize=293912 CPUtime=12.69 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 8380 0 0 0 1268 1 0 0 25 0 4 0 652025807 300965888 16807 33554432000 4194304 4650419 140734330588752 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=293912 CPUtime=12.68 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 9648 0 0 0 1267 1 0 0 25 0 4 0 652025807 300965888 16807 33554432000 4194304 4650419 140734330588752 18446744073709551615 4333799 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=293912 CPUtime=12.55 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 9510 0 0 0 1253 2 0 0 25 0 4 0 652025807 300965888 16807 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 293912

[startup+25.5008 s]
/proc/loadavg: 7.71 7.99 8.05 9/343 31753
/proc/meminfo: memFree=17664452/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=288172 CPUtime=101.69 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 52418 0 0 0 10158 11 0 0 25 0 4 0 652025807 295088128 22365 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 72043 22365 392 112 0 67008 0
[pid=31740/tid=31741] ppid=31738 vsize=288172 CPUtime=25.49 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 13149 0 0 0 2547 2 0 0 25 0 4 0 652025807 295088128 22365 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=288172 CPUtime=25.48 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 11719 0 0 0 2546 2 0 0 25 0 4 0 652025807 295088128 22365 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=288172 CPUtime=25.21 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 14146 0 0 0 2518 3 0 0 25 0 4 0 652025807 295088128 22365 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 288172

[startup+51.1012 s]
/proc/loadavg: 7.87 8.00 8.05 10/343 31754
/proc/meminfo: memFree=17629432/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=301044 CPUtime=203.81 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 78481 0 0 0 20365 16 0 0 25 0 4 0 652025807 308269056 26246 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 75261 26246 392 112 0 70226 0
[pid=31740/tid=31741] ppid=31738 vsize=301044 CPUtime=51.09 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 21089 0 0 0 5105 4 0 0 25 0 4 0 652025807 308269056 26246 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=301044 CPUtime=51.07 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 17227 0 0 0 5104 3 0 0 25 0 4 0 652025807 308269056 26246 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=301044 CPUtime=50.53 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 20773 0 0 0 5049 4 0 0 25 0 4 0 652025807 308269056 26246 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 301044

[startup+102.301 s]
/proc/loadavg: 8.06 8.03 8.06 9/343 31755
/proc/meminfo: memFree=17567904/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=335596 CPUtime=408.09 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 123685 0 0 0 40778 31 0 0 25 0 4 0 652025807 343650304 32503 33554432000 4194304 4650419 140734330588752 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 83899 32503 392 112 0 78864 0
[pid=31740/tid=31741] ppid=31738 vsize=335596 CPUtime=102.3 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 31711 0 0 0 10223 7 0 0 25 0 4 0 652025807 343650304 32503 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=335596 CPUtime=102.28 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 28548 0 0 0 10221 7 0 0 25 0 4 0 652025807 343650304 32503 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=335596 CPUtime=101.18 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 32851 0 0 0 10110 8 0 0 25 0 4 0 652025807 343650304 32503 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 335596

[startup+162.301 s]

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

[pid=31740] ppid=31738 vsize=438008 CPUtime=2801.43 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 360320 0 0 0 280020 123 0 0 25 0 4 0 652025807 448520192 73643 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 109502 73643 392 112 0 104467 0
[pid=31740/tid=31741] ppid=31738 vsize=438008 CPUtime=702.3 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 96836 0 0 0 70197 33 0 0 25 0 4 0 652025807 448520192 73643 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=438008 CPUtime=702.16 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 99728 0 0 0 70179 37 0 0 25 0 4 0 652025807 448520192 73643 33554432000 4194304 4650419 140734330588752 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=438008 CPUtime=694.63 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 75143 0 0 0 69442 21 0 0 25 0 4 0 652025807 448520192 73643 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.43
Current children cumulated vsize (KiB) 438008

[startup+762.3 s]
/proc/loadavg: 8.18 8.10 8.08 9/343 31772
/proc/meminfo: memFree=17246364/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=479448 CPUtime=3040.81 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 375706 0 0 0 303951 130 0 0 25 0 4 0 652025807 490954752 70377 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 119862 70377 392 112 0 114827 0
[pid=31740/tid=31741] ppid=31738 vsize=479448 CPUtime=762.32 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 97818 0 0 0 76198 34 0 0 25 0 4 0 652025807 490954752 70377 33554432000 4194304 4650419 140734330588752 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=479448 CPUtime=762.16 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 106289 0 0 0 76177 39 0 0 25 0 4 0 652025807 490954752 70377 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=479448 CPUtime=753.99 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 77363 0 0 0 75377 22 0 0 25 0 4 0 652025807 490954752 70377 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.81
Current children cumulated vsize (KiB) 479448

[startup+822.301 s]
/proc/loadavg: 8.20 8.11 8.09 10/343 31774
/proc/meminfo: memFree=17180124/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=486568 CPUtime=3280.11 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 388331 0 0 0 327875 136 0 0 25 0 4 0 652025807 498245632 77322 33554432000 4194304 4650419 140734330588752 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 121642 77322 392 112 0 116607 0
[pid=31740/tid=31741] ppid=31738 vsize=486568 CPUtime=822.31 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 100060 0 0 0 82196 35 0 0 25 0 4 0 652025807 498245632 77322 33554432000 4194304 4650419 140734330588752 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=486568 CPUtime=822.15 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 112115 0 0 0 82173 42 0 0 25 0 4 0 652025807 498245632 77322 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=486568 CPUtime=813.32 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 77363 0 0 0 81310 22 0 0 25 0 4 0 652025807 498245632 77322 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.11
Current children cumulated vsize (KiB) 486568

[startup+882.313 s]
/proc/loadavg: 8.18 8.12 8.09 9/343 31776
/proc/meminfo: memFree=17203928/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=453504 CPUtime=3519.47 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 394812 0 0 0 351807 140 0 0 25 0 4 0 652025807 464388096 71864 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 113376 71864 392 112 0 108341 0
[pid=31740/tid=31741] ppid=31738 vsize=453504 CPUtime=882.32 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 102800 0 0 0 88195 37 0 0 25 0 4 0 652025807 464388096 71864 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=453504 CPUtime=882.15 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 115856 0 0 0 88171 44 0 0 25 0 4 0 652025807 464388096 71864 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=453504 CPUtime=872.66 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 77363 0 0 0 87244 22 0 0 25 0 4 0 652025807 464388096 71864 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.47
Current children cumulated vsize (KiB) 453504

[startup+942.301 s]
/proc/loadavg: 8.13 8.11 8.09 10/343 31777
/proc/meminfo: memFree=17125292/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=531592 CPUtime=3758.77 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 408135 0 0 0 375730 147 0 0 25 0 4 0 652025807 544350208 82369 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 132898 82369 392 112 0 127863 0
[pid=31740/tid=31741] ppid=31738 vsize=531592 CPUtime=942.31 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 107771 0 0 0 94192 39 0 0 25 0 4 0 652025807 544350208 82369 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=531592 CPUtime=942.12 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 119825 0 0 0 94165 47 0 0 25 0 4 0 652025807 544350208 82369 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=531592 CPUtime=932.01 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 79690 0 0 0 93177 24 0 0 25 0 4 0 652025807 544350208 82369 33554432000 4194304 4650419 140734330588752 18446744073709551615 4438617 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.77
Current children cumulated vsize (KiB) 531592

[startup+1002.3 s]
/proc/loadavg: 8.20 8.13 8.10 9/343 31779
/proc/meminfo: memFree=17152548/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=544376 CPUtime=3998.1 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 424148 0 0 0 399655 155 0 0 25 0 4 0 652025807 557441024 74978 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 136094 74978 392 112 0 131059 0
[pid=31740/tid=31741] ppid=31738 vsize=544376 CPUtime=1002.31 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 113066 0 0 0 100189 42 0 0 25 0 4 0 652025807 557441024 74978 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=544376 CPUtime=1002.11 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 125570 0 0 0 100162 49 0 0 25 0 4 0 652025807 557441024 74978 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=544376 CPUtime=991.35 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 79690 0 0 0 99111 24 0 0 25 0 4 0 652025807 557441024 74978 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476778 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.1
Current children cumulated vsize (KiB) 544376

[startup+1062.3 s]
/proc/loadavg: 8.18 8.14 8.10 10/343 31780
/proc/meminfo: memFree=17105280/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=544484 CPUtime=4237.45 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 439849 0 0 0 423582 163 0 0 25 0 4 0 652025807 557551616 82646 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 136121 82646 392 112 0 131086 0
[pid=31740/tid=31741] ppid=31738 vsize=544484 CPUtime=1062.31 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 117948 0 0 0 106186 45 0 0 25 0 4 0 652025807 557551616 82646 33554432000 4194304 4650419 140734330588752 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=544484 CPUtime=1062.1 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 131040 0 0 0 106158 52 0 0 25 0 4 0 652025807 557551616 82646 33554432000 4194304 4650419 140734330588752 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=544484 CPUtime=1050.7 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 80254 0 0 0 105046 24 0 0 25 0 4 0 652025807 557551616 82646 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.45
Current children cumulated vsize (KiB) 544484

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.09 10/343 31782
/proc/meminfo: memFree=17086532/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=544484 CPUtime=4476.78 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 445857 0 0 0 447512 166 0 0 25 0 4 0 652025807 557551616 83384 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 136121 83384 392 112 0 131086 0
[pid=31740/tid=31741] ppid=31738 vsize=544484 CPUtime=1122.32 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 120021 0 0 0 112185 47 0 0 25 0 4 0 652025807 557551616 83384 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=544484 CPUtime=1122.1 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 131040 0 0 0 112158 52 0 0 25 0 4 0 652025807 557551616 83384 33554432000 4194304 4650419 140734330588752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=544484 CPUtime=1110.04 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 80254 0 0 0 110980 24 0 0 25 0 4 0 652025807 557551616 83384 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.78
Current children cumulated vsize (KiB) 544484

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/343 31784
/proc/meminfo: memFree=17152356/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=558228 CPUtime=4716.13 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 455111 0 0 0 471443 170 0 0 25 0 4 0 652025807 571625472 81946 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 139557 81946 392 112 0 134522 0
[pid=31740/tid=31741] ppid=31738 vsize=558228 CPUtime=1182.32 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 123004 0 0 0 118184 48 0 0 25 0 4 0 652025807 571625472 81946 33554432000 4194304 4650419 140734330588752 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=558228 CPUtime=1182.08 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 133792 0 0 0 118156 52 0 0 25 0 4 0 652025807 571625472 81946 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=558228 CPUtime=1169.39 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 80405 0 0 0 116915 24 0 0 25 0 4 0 652025807 571625472 81946 33554432000 4194304 4650419 140734330588752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.13
Current children cumulated vsize (KiB) 558228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.13 8.12 8.09 10/343 31784
/proc/meminfo: memFree=17138936/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=558284 CPUtime=4800.38 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 458610 0 0 0 479865 173 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 139571 82733 392 112 0 134536 0
[pid=31740/tid=31741] ppid=31738 vsize=558284 CPUtime=1203.44 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 125333 0 0 0 120295 49 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=558284 CPUtime=1203.2 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 134962 0 0 0 120267 53 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=558284 CPUtime=1190.27 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 80405 0 0 0 119002 25 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 558284

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

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

[startup+1203.4 s]
/proc/loadavg: 8.13 8.12 8.09 10/343 31784
/proc/meminfo: memFree=17138936/32951124 swapFree=67056804/67111528
[pid=31740] ppid=31738 vsize=558284 CPUtime=4800.38 cores=0,2,4,6
/proc/31740/stat : 31740 (strangenight1-m) R 31738 31740 31208 0 -1 4202496 458610 0 0 0 479865 173 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31740/statm: 139571 82733 392 112 0 134536 0
[pid=31740/tid=31741] ppid=31738 vsize=558284 CPUtime=1203.44 cores=0,2,4,6
/proc/31740/task/31741/stat : 31741 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 125333 0 0 0 120295 49 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31740/tid=31742] ppid=31738 vsize=558284 CPUtime=1203.2 cores=0,2,4,6
/proc/31740/task/31742/stat : 31742 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 134962 0 0 0 120267 53 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31740/tid=31743] ppid=31738 vsize=558284 CPUtime=1190.27 cores=0,2,4,6
/proc/31740/task/31743/stat : 31743 (strangenight1-m) R 31738 31740 31208 0 -1 4202560 80405 0 0 0 119002 25 0 0 25 0 4 0 652025807 571682816 82733 33554432000 4194304 4650419 140734330588752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 558284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.42
CPU user time (s): 4798.67
CPU system time (s): 1.74673
CPU usage (%): 398.889
Max. virtual memory (cumulated for all children) (KiB): 623764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.67
system time used= 1.74673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458610
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= 435
involuntary context switches= 21340

runsolver used 3.76143 second user time and 9.42157 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 22:17:29
IDJOB=3368838
IDBENCH=82847
IDSOLVER=1846
FILE ID=node108/3368838-1305404249
RUNJOBID= node108-1305404249-31725
PBS_JOBID= 13324481
Free space on /tmp= 73556 MiB

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

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

MD5SUM BENCH= 4227d784a99fd8c0304137876add0b08
RANDOM SEED=447285100

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.77
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.820
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.820
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.820
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.820
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:      17856044 kB
Buffers:        278276 kB
Cached:        4402784 kB
SwapCached:       8700 kB
Active:       11029344 kB
Inactive:      3755280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17856044 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:            7892 kB
Writeback:           0 kB
AnonPages:    10100312 kB
Mapped:          26364 kB
Slab:           208024 kB
PageTables:      38408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52251536 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= 73544 MiB
End job on node108 at 2011-05-14 22:37:34