Trace number 3394676

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 3118.66 390.739

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark440.727
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3394676-1306102932.cnf'
0.00/0.05	c -- header says num vars:           6664
0.00/0.05	c -- header says num clauses:       89966
0.62/0.11	c -- clauses added:            0 learnts,        89966 normals,            0 xors
0.62/0.11	c -- vars added       6664
0.62/0.11	c Parsing time:  0.03 s
0.62/0.11	c  N st     0         0      6664     73004     16962         0    425665         0   no data   no data
3.78/0.57	c asymm  cl-useful: 0/7956/73004 lits-rem:0 time: 0.45
5.38/0.76	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   68 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  0.19
5.38/0.78	c Replacing       68 vars Replaced    42354 lits Time:     0.01 s 
6.08/0.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.08/0.86	c bin-w-bin subsume rem           28 bins  time:  0.00 s
6.08/0.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.08/0.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6592 time:  0.01 s
6.08/0.88	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
8.36/1.13	c lits-rem:         0  cl-subs:        4  v-elim:    672  v-fix:    0  time:  0.23 s
8.36/1.14	c Finding binary XORs  T:     0.00 s  found:       0
8.36/1.19	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
8.36/1.19	c calculated reachability. Time: 0.00
8.36/1.19	c Calc default polars -  time:   0.00 s pos:     272 undec:     744 neg:    5648
8.36/1.19	c =========================================================================================
8.36/1.19	c types(t): F = full restart, N = normal restart
8.36/1.19	c types(t): S = simplification begin/end, E = solution found
8.36/1.19	c restart types(rt): st = static, dy = dynamic
8.36/1.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
8.36/1.19	c  B st     0         0      5920     73880     14834         0    439069         0   no data   no data
9.86/1.37	c  N dy    20      4097      5920     73880     14948      3929    439069    120548      8.26      8.87
12.27/1.60	c  N dy    45      8146      5920     73880     15804      7844    439069    241745      8.42      9.87
13.86/1.89	c  N dy    67     12371      5916     73880     15866     11978    439069    379263      8.41      8.95
17.14/2.22	c Finding binary XORs  T:     0.00 s  found:       0
17.14/2.31	c  N dy    80     16744      5915     73877     16494     16232    438952    518347      8.21      8.66
21.04/2.72	c  N dy   109     20816      5913     73877     17065     10544    438952    221330      8.44      8.90
23.45/3.07	c  N dy   128     24824      5912     73877     17419     14504    438952    350706      8.45     11.34
23.45/3.09	c  F st   130     25000      5912     73877     17420     14676    438952    357363      8.47   no data
27.43/3.59	c  N dy   136     30001      5912     73874     17417     19602    438925    553470      8.47   no data
27.43/3.59	c  S st   136     30001      5912     73874     17417     19602    438925    553470      8.47   no data
29.02/3.72	c  S st   136     30503      5912     73874     17442     20078    438925    566412      8.47   no data
29.02/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.22/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 108868 BRemL: 101265 BRemN:      0 P: 13.2M T:  0.41
32.22/4.15	c blocked clauses removed:        0 vars:      0 tried:        5912 T: 0.00 s
32.22/4.15	c bin-w-bin subsume rem          202 bins  time:  0.00 s
32.22/4.16	c subs with bin:       50  lits-rem:       100  v-fix:    0  time:  0.01 s
32.22/4.18	c Subs w/ non-existent bins:      2 l-rem:     80 v-fix:     0 done:   5912 time:  0.02 s
32.22/4.18	c Removed useless bin:       0  fixed:     0  props:   0.66M  time:  0.01 s
33.02/4.22	c lits-rem:         0  cl-subs:       32  v-elim:     62  v-fix:    0  time:  0.04 s
33.83/4.32	c subs with bin:      242  lits-rem:      3044  v-fix:    0  time:  0.08 s
35.53/4.52	c lits-rem:       787  cl-subs:      655  v-elim:      0  v-fix:    0  time:  0.17 s
37.02/4.73	c asymm  cl-useful: 0/2570/73912 lits-rem:0 time: 0.21
37.02/4.74	c calculated reachability. Time: 0.00
37.02/4.74	c  N dy   136     30503      5850     73912     24165     12694    440308    315069      8.47   no data
37.02/4.74	c Finding binary XORs  T:     0.00 s  found:       0
40.19/5.15	c  N dy   165     34570      5850     73912     24244     16731    440308    444752      8.60      9.07
42.59/5.48	c  N dy   194     38658      5849     73912    121358     20778    440308    802179      8.71     11.08
44.97/5.71	c Finding binary XORs  T:     0.01 s  found:       0
45.78/5.84	c  N dy   223     42702      5848     73912    121320     12805    440220    429251      8.89      9.37
48.18/6.11	c  S st   241     45754      5848     73912    121340     15844    440220    523867      8.87   no data
48.97/6.22	c  S st   241     46256      5848     73912    121340     16346    440220    542638      8.87   no data
48.97/6.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.38/6.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    222 BRemL:  96615 BRemN:      0 P: 12.6M T:  0.34
51.38/6.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.38/6.58	c bin-w-bin subsume rem          761 bins  time:  0.00 s
51.38/6.59	c subs with bin:       16  lits-rem:       107  v-fix:    0  time:  0.01 s
52.26/6.62	c Subs w/ non-existent bins:      0 l-rem:     16 v-fix:     0 done:   5848 time:  0.02 s
52.26/6.63	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
52.26/6.66	c lits-rem:         0  cl-subs:      312  v-elim:      1  v-fix:    0  time:  0.03 s
53.09/6.78	c subs with bin:       38  lits-rem:       105  v-fix:    0  time:  0.11 s
53.76/6.87	c lits-rem:       240  cl-subs:      353  v-elim:      0  v-fix:    0  time:  0.07 s
53.76/6.88	c vivif2 --  cl tried    73586 cl shrink        0 lits rem          0 time: 0.02
54.56/6.90	c vivif2 --  cl tried    15817 cl shrink      865 lits rem       3766 time: 0.01
56.16/7.10	c asymm  cl-useful: 0/3277/73586 lits-rem:0 time: 0.20
56.16/7.10	c calculated reachability. Time: 0.00
56.16/7.10	c  N dy   241     46256      5847     73586     24177     15817    437652    331871      8.87   no data
59.36/7.56	c  N dy   261     50382      5846     73586     25370     19922    437652    479076      8.88      9.44
63.34/8.05	c  N dy   284     54427      5846     73586     25371     23950    437652    617436      8.91      9.52
65.74/8.37	c Finding binary XORs  T:     0.00 s  found:       0
68.14/8.60	c  N dy   304     58459      5846     73586     26069     27965    437608    763871      8.91      9.38
72.92/9.20	c  N dy   325     62561      5846     73586     26079     32049    437608    905706      8.91      9.60
76.92/9.73	c  N dy   345     66735      5846     73586     26082     19309    437608    351074      8.89      9.38
79.44/10.03	c  S st   362     69387      5846     73586     26780     21946    437608    444063      8.92   no data
80.11/10.14	c  S st   362     69890      5845     73586     26780     22448    437608    464106      8.92   no data
80.11/10.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
82.51/10.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    140 BRemL:   1074 BRemN:      0 P: 12.8M T:  0.33
82.51/10.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.51/10.49	c bin-w-bin subsume rem            6 bins  time:  0.00 s
83.31/10.50	c subs with bin:       48  lits-rem:       224  v-fix:    0  time:  0.01 s
83.31/10.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5845 time:  0.01 s
83.31/10.52	c Removed useless bin:       0  fixed:     0  props:   0.54M  time:  0.01 s
83.31/10.55	c lits-rem:         0  cl-subs:      736  v-elim:      1  v-fix:    0  time:  0.03 s
84.90/10.73	c subs with bin:       52  lits-rem:       451  v-fix:    0  time:  0.16 s
85.70/10.89	c lits-rem:       526  cl-subs:      573  v-elim:      0  v-fix:    0  time:  0.14 s
86.50/10.90	c vivif2 --  cl tried    72803 cl shrink        0 lits rem          0 time: 0.02
86.50/10.92	c vivif2 --  cl tried    21591 cl shrink      981 lits rem       6290 time: 0.02
88.21/11.14	c asymm  cl-useful: 0/2842/72803 lits-rem:0 time: 0.20
88.21/11.15	c calculated reachability. Time: 0.00
88.21/11.15	c  N dy   362     69890      5844     72803     25821     21591    432365    437562      8.92   no data
93.68/11.87	c  N dy   367     74788      5844     72803     25823     26459    432365    736514      8.80      9.26
94.48/11.92	c Finding binary XORs  T:     0.01 s  found:       0
100.06/12.64	c  N dy   396     79628      5843     72803     26780     31261    432321    903865      8.82      9.56
106.45/13.45	c  N dy   411     85024      5843     72803     26816     36616    432321   1176504      8.75      9.28
109.65/13.88	c  F st   424     87504      5843     72803     27036     39081    432321   1270571      8.76   no data
113.74/14.33	c  N st   429     90802      5843     72803     27036     22632    432321    464251      8.76   no data
120.03/15.10	c  N dy   453     96657      5843     72803     27053     28441    432321    671530      8.77     10.76
127.22/16.04	c  N dy   467    103060      5842     72803     27081     34783    432321   1072820      8.69      9.16
129.62/16.32	c  S st   480    104836      5842     72803     27082     36549    432321   1150691      8.70   no data
130.42/16.46	c  S st   480    105338      5842     72803     27082     37049    432321   1168187      8.70   no data
130.42/16.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.60/16.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    215 BRemL:    307 BRemN:      0 P: 15.2M T:  0.39
133.60/16.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
134.40/16.90	c bin-w-bin subsume rem           17 bins  time:  0.00 s
134.40/16.91	c subs with bin:        1  lits-rem:        11  v-fix:    0  time:  0.01 s
134.40/16.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5842 time:  0.01 s
134.40/16.93	c Removed useless bin:       0  fixed:     0  props:   0.51M  time:  0.01 s
134.40/16.96	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  0.03 s
140.91/17.79	c subs with bin:      113  lits-rem:      1043  v-fix:    0  time:  0.78 s
145.58/18.33	c lits-rem:      1041  cl-subs:      659  v-elim:      0  v-fix:    0  time:  0.53 s
145.58/18.35	c vivif2 --  cl tried    72806 cl shrink        0 lits rem          0 time: 0.02
145.58/18.39	c vivif2 --  cl tried    31949 cl shrink     2695 lits rem      22783 time: 0.04
147.99/18.61	c asymm  cl-useful: 0/2607/72806 lits-rem:0 time: 0.22
147.99/18.62	c calculated reachability. Time: 0.00
147.99/18.62	c  N dy   480    105338      5838     72806     26860     31949    432361    965720      8.70   no data
152.76/19.22	c Finding binary XORs  T:     0.00 s  found:       0
157.64/19.82	c  N dy   511    112093      5838     72806     26906     38663    432361   1313362      8.72      9.36
164.75/20.77	c  N dy   551    119348      5837     72806     27456     26267    432361    577072      8.73      9.47
174.33/21.95	c  N dy   603    126983      5837     72806     27469     33841    432361    868000      8.79     12.03
187.10/23.50	c Finding binary XORs  T:     0.00 s  found:       0
187.10/23.56	c  N dy   652    135187      5836     72806     27428     42011    432273   1170155      8.80      9.42
198.29/24.98	c  N dy   693    143886      5836     72806     27460     28409    432273    554930      8.80      9.44
211.19/26.56	c  N dy   758    153077      5836     72806     27978     37534    432273    894108      8.86     10.46
219.14/27.55	c  S st   775    158009      5835     72806     28011     42439    432273   1094606      8.84   no data
220.64/27.72	c  S st   775    158511      5835     72806     28011     42941    432273   1114591      8.84   no data
220.64/27.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
223.84/28.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    255 BRemL:    522 BRemN:      0 P: 16.0M T:  0.43
223.84/28.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
223.84/28.17	c bin-w-bin subsume rem           22 bins  time:  0.00 s
223.84/28.18	c subs with bin:       15  lits-rem:        24  v-fix:    0  time:  0.01 s
224.64/28.20	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:   5835 time:  0.01 s
224.64/28.20	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.01 s
224.64/28.24	c lits-rem:         0  cl-subs:       32  v-elim:      2  v-fix:    0  time:  0.04 s
231.03/29.01	c subs with bin:      541  lits-rem:      3760  v-fix:    0  time:  0.71 s
237.54/29.84	c lits-rem:      2080  cl-subs:      955  v-elim:      0  v-fix:    0  time:  0.80 s
237.54/29.85	c vivif2 --  cl tried    72759 cl shrink        0 lits rem          0 time: 0.02
238.22/29.91	c vivif2 --  cl tried    39769 cl shrink     4913 lits rem      23893 time: 0.05
239.82/30.15	c asymm  cl-useful: 0/2594/72759 lits-rem:0 time: 0.24
239.82/30.16	c calculated reachability. Time: 0.00
239.82/30.16	c  N dy   775    158511      5833     72759     27594     39768    431632   1011680      8.84   no data
239.82/30.16	c Finding binary XORs  T:     0.01 s  found:       0
257.38/32.35	c  N dy   825    169833      5832     72759     28014     27816    431632    504754      8.83      9.46
269.37/33.86	c Finding binary XORs  T:     0.00 s  found:       0
272.67/34.26	c  N dy   902    180713      5831     72757     28212     38221    431614    976745      8.89      9.37
292.52/36.73	c  N dy   979    192502      5830     72757     28254     25140    431614    364863      8.94      9.49
309.28/38.83	c  N dy  1047    204813      5830     72757     28281     37377    431614    875066      8.97      9.49
315.77/39.66	c Finding binary XORs  T:     0.00 s  found:       1
334.84/42.00	c  N dy  1138    217903      5830     72756     29210     50185    431605   1439352      9.04     13.20
356.41/44.80	c  N dy  1218    232510      5829     72756     29516     38487    431605    915146      9.05      9.58
365.99/45.97	c  S st  1233    237766      5829     72756     29519     43649    431605   1147738      9.04      7.08
367.59/46.20	c  S st  1233    238268      5828     72756     29525     44150    431605   1165612      9.04   no data
368.47/46.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
371.57/46.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    230 BRemL:    984 BRemN:      0 P: 16.3M T:  0.44
371.57/46.68	c Replacing        1 vars Replaced      597 lits Time:     0.02 s 
372.37/46.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.37/46.70	c bin-w-bin subsume rem           25 bins  time:  0.00 s
372.37/46.71	c subs with bin:       46  lits-rem:       121  v-fix:    0  time:  0.01 s
372.37/46.72	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   5827 time:  0.01 s
372.37/46.73	c Removed useless bin:       0  fixed:     0  props:   0.48M  time:  0.01 s
372.37/46.78	c lits-rem:         0  cl-subs:      295  v-elim:     19  v-fix:    0  time:  0.05 s
377.25/47.36	c subs with bin:      309  lits-rem:      2245  v-fix:    0  time:  0.54 s
381.95/47.90	c lits-rem:      1240  cl-subs:      713  v-elim:      0  v-fix:    0  time:  0.53 s
381.95/47.92	c vivif2 --  cl tried    72454 cl shrink        2 lits rem          2 time: 0.02
381.95/47.96	c vivif2 --  cl tried    32844 cl shrink     3151 lits rem      19207 time: 0.04
383.55/48.19	c asymm  cl-useful: 3/3369/72454 lits-rem:6 time: 0.23
384.35/48.20	c calculated reachability. Time: 0.00
384.35/48.20	c  N dy  1233    238268      5808     72454     28365     32844    429807    734443      9.04   no data
384.35/48.20	c Finding binary XORs  T:     0.01 s  found:       0
409.11/51.35	c  N dy  1322    253792      5808     72454     28808     25938    429807    416246      9.07      9.60
429.07/53.85	c Finding binary XORs  T:     0.01 s  found:       0
434.66/54.54	c  N dy  1403    270794      5808     72454     28828     42846    429807   1103858      9.06      9.57
462.61/58.04	c  N dy  1481    288162      5808     72454     29127     34001    429807    616109      9.05      9.59
488.16/61.29	c Finding binary XORs  T:     0.01 s  found:       0
493.74/61.96	c  F st  1573    306251      5808     72454     29162     51983    429807   1341247      9.06      6.71
495.34/62.11	c  N st  1575    306877      5808     72454     29163     52603    429807   1372905      9.06   no data
527.40/66.17	c  N dy  1666    326564      5808     72454     29195     43753    429807   1029389      9.09     12.01
567.22/71.13	c  N dy  1774    346999      5808     72454     29234     33923    429807    524641      9.11      9.70
583.98/73.21	c  S st  1837    357402      5808     72454     29251     44267    429807    959523      9.13      6.70
585.59/73.40	c  S st  1837    357904      5808     72454     29251     44768    429807    976699      9.13   no data
585.59/73.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
588.89/73.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    309 BRemL:    450 BRemN:      0 P: 16.7M T:  0.44
588.89/73.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
588.89/73.88	c bin-w-bin subsume rem           28 bins  time:  0.00 s
588.89/73.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
589.56/73.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5808 time:  0.01 s
589.56/73.91	c Removed useless bin:       0  fixed:     0  props:   0.48M  time:  0.01 s
589.56/73.95	c lits-rem:         0  cl-subs:       10  v-elim:      2  v-fix:    0  time:  0.04 s
595.17/74.65	c subs with bin:      504  lits-rem:      1739  v-fix:    0  time:  0.67 s
601.55/75.50	c lits-rem:      2269  cl-subs:     1176  v-elim:      0  v-fix:    0  time:  0.82 s
602.35/75.51	c vivif2 --  cl tried    72449 cl shrink        2 lits rem          2 time: 0.02
602.35/75.56	c vivif2 --  cl tried    42420 cl shrink     4584 lits rem      26405 time: 0.05
604.75/75.82	c asymm  cl-useful: 66/2100/72449 lits-rem:131 time: 0.26
604.75/75.83	c calculated reachability. Time: 0.00
604.75/75.83	c  N dy  1837    357904      5806     72449     29075     42420    429671    900174      9.13   no data
604.75/75.84	c Finding binary XORs  T:     0.01 s  found:       0
646.27/81.08	c  N dy  1936    378370      5806     72449     29280     31610    429671    401308      9.13      9.65
655.86/82.29	c Finding binary XORs  T:     0.01 s  found:       0
682.21/85.55	c  N dy  2044    398544      5805     72449     30008     51564    429671   1239699      9.13      9.65
693.48/86.93	c Finding binary XORs  T:     0.01 s  found:       1
721.33/90.46	c  N dy  2140    418670      5802     72447     30201     38577    429651    656117      9.14      9.85
736.52/92.38	c Finding binary XORs  T:     0.01 s  found:       0
763.75/95.80	c  N dy  2236    438679      5801     72446     30072     57946    429600   1451589      9.15     10.15
805.98/101.09	c  N dy  2365    458731      5800     72446     30106     44842    429600    891938      9.18     11.57
847.51/106.23	c Finding binary XORs  T:     0.01 s  found:       0
852.42/106.89	c  N dy  2509    478886      5799     72443     30875     63730    429571   1759212      9.23      9.78
893.03/111.98	c  N dy  2620    499279      5799     72443     30934     50128    429571   1066669      9.25     10.07
944.93/118.44	c  N dy  2744    519881      5797     72443     30978     35270    429571    415604      9.28      9.78
978.47/122.66	c  S st  2839    536858      5797     72443     30988     52110    429571   1132047      9.29   no data
980.87/122.94	c  S st  2839    537361      5797     72443     31003     52611    429571   1151212      9.29   no data
980.87/122.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
985.65/123.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    476 BRemL:   1380 BRemN:      0 P: 17.4M T:  0.57
985.65/123.55	c Replacing        1 vars Replaced      599 lits Time:     0.02 s 
985.65/123.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
985.65/123.57	c bin-w-bin subsume rem           48 bins  time:  0.00 s
985.65/123.58	c subs with bin:      233  lits-rem:       181  v-fix:    0  time:  0.01 s
985.65/123.59	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:   5796 time:  0.01 s
986.45/123.60	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.01 s
986.45/123.66	c lits-rem:         0  cl-subs:      466  v-elim:     28  v-fix:    0  time:  0.06 s
988.85/123.98	c subs with bin:      286  lits-rem:      1680  v-fix:    0  time:  0.30 s
992.13/124.39	c lits-rem:       952  cl-subs:     1367  v-elim:      0  v-fix:    0  time:  0.39 s
992.96/124.41	c vivif2 --  cl tried    71768 cl shrink        2 lits rem          2 time: 0.02
992.96/124.45	c vivif2 --  cl tried    35454 cl shrink     2412 lits rem      10128 time: 0.04
995.23/124.75	c asymm  cl-useful: 33/2902/71768 lits-rem:33 time: 0.30
995.23/124.76	c calculated reachability. Time: 0.00
995.23/124.76	c  N dy  2839    537361      5768     71768     29400     35453    425562    580560      9.29   no data
995.23/124.77	c Finding binary XORs  T:     0.01 s  found:       0
1035.17/129.72	c  N dy  2914    557689      5767     71768     29641     55624    425562   1298733      9.27      9.78
1067.91/133.86	c  N dy  2990    577779      5767     71768     29659     46834    425562    925551      9.25      9.79
1075.89/134.83	c Finding binary XORs  T:     0.00 s  found:       0
1111.83/139.37	c  N dy  3094    597797      5767     71768     29645     66581    425518   1641198      9.26     10.72
1146.17/143.66	c  N dy  3180    617835      5766     71768     29674     52810    425518   1045835      9.25     11.70
1192.48/149.45	c  N dy  3283    637951      5766     71768     29699     72773    425518   1764748      9.26     10.00
1229.31/154.07	c  N dy  3384    658060      5764     71768     29724     56034    425518   1115145      9.26      9.78
1278.72/160.23	c  N dy  3482    678096      5764     71768     29745     75876    425518   1810054      9.27     10.82
1321.85/165.65	c  N dy  3601    698286      5764     71768     29759     57286    425518   1127073      9.28      9.83
1325.05/166.05	c Finding binary XORs  T:     0.01 s  found:       0
1378.63/172.79	c  N dy  3706    718409      5762     71764     30334     75722    425478   1831632      9.29      9.92
1407.28/176.33	c Finding binary XORs  T:     0.01 s  found:       0
1425.54/178.65	c  N dy  3802    738759      5762     71763     30704     56338    425469   1062114      9.29      9.80
1468.48/184.01	c Finding binary XORs  T:     0.01 s  found:       0
1481.19/185.68	c  N dy  3914    758902      5762     71763     31070     76340    425469   1800667      9.30      9.79
1528.13/191.56	c  N dy  3996    778956      5762     71763     31108     55269    425469    983331      9.29     11.31
1576.58/197.61	c  N dy  4099    799127      5762     71763     31151     75297    425469   1724227      9.30      9.81
1595.74/200.06	c  S st  4139    806042      5761     71763     31170     82148    425469   1972149      9.30   no data
1598.26/200.37	c  S st  4139    806543      5761     71763     31184     82648    425469   1990638      9.30   no data
1598.26/200.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1602.94/200.99	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:    900 BRemL:   1604 BRemN:      0 P: 20.6M T:  0.61
1603.74/201.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1603.74/201.01	c bin-w-bin subsume rem           28 bins  time:  0.00 s
1603.74/201.02	c subs with bin:      147  lits-rem:        79  v-fix:    0  time:  0.01 s
1603.74/201.03	c Subs w/ non-existent bins:     76 l-rem:     15 v-fix:     0 done:   5760 time:  0.01 s
1603.74/201.04	c Removed useless bin:       0  fixed:     0  props:   0.44M  time:  0.01 s
1603.74/201.08	c lits-rem:         0  cl-subs:      122  v-elim:     15  v-fix:    0  time:  0.04 s
1609.32/201.79	c subs with bin:      879  lits-rem:      5480  v-fix:    0  time:  0.64 s
1621.30/203.22	c lits-rem:      4713  cl-subs:     2782  v-elim:      0  v-fix:    0  time:  1.41 s
1621.30/203.24	c vivif2 --  cl tried    71403 cl shrink        2 lits rem          2 time: 0.02
1622.10/203.31	c vivif2 --  cl tried    55293 cl shrink     7211 lits rem      23482 time: 0.07
1624.62/203.63	c asymm  cl-useful: 12/2233/71403 lits-rem:12 time: 0.30
1624.62/203.64	c calculated reachability. Time: 0.00
1624.62/203.64	c  N dy  4139    806543      5745     71403     29917     55292    423237   1079281      9.30   no data
1624.62/203.64	c Finding binary XORs  T:     0.01 s  found:       0
1656.44/207.67	c  N dy  4215    826577      5743     71403     30425     44731    423237    806005      9.29     10.70
1666.02/208.80	c Finding binary XORs  T:     0.01 s  found:       1
1698.76/212.93	c  N dy  4304    846797      5743     71402     30388     64549    423184   1488941      9.28      9.78
1705.95/213.81	c Finding binary XORs  T:     0.01 s  found:       0
1741.08/218.25	c  N dy  4390    867084      5743     71402     31247     47232    423184    752620      9.27      9.77
1754.66/219.96	c Finding binary XORs  T:     0.00 s  found:       0
1785.00/223.70	c  N dy  4466    887441      5741     71400     31559     66922    423162   1413651      9.26      9.83
1834.61/229.93	c  N dy  4555    907818      5740     71400     31607     45854    423162    623945      9.26      9.77
1876.04/235.18	c  N dy  4650    928076      5736     71400     31649     65901    423162   1310256      9.26      9.80
1904.87/238.76	c Finding binary XORs  T:     0.01 s  found:       1
1931.23/242.11	c  N dy  4739    948094      5736     71395     32674     83384    423109   1946944      9.26      9.82
1976.65/247.75	c  N dy  4841    968175      5735     71395     32713     60529    423109   1075118      9.26      9.78
2035.75/255.19	c  N dy  4973    988274      5734     71395     32781     80403    423109   1775469      9.28      9.85
2091.65/262.14	c  N dy  5088   1008346      5732     71395     32830     55143    423109    864814      9.28      9.98
2134.77/267.52	c Finding binary XORs  T:     0.01 s  found:       0
2140.36/268.25	c  N dy  5208   1028562      5732     71391     32678     72749    423073   1522309      9.30      9.81
2200.25/275.76	c  N dy  5299   1048893      5727     71391     32731     47259    423073    572663      9.30      9.86
2244.16/281.22	c  N dy  5441   1069033      5726     71391     32775     67197    423073   1283823      9.32      9.84
2251.35/282.18	c  F st  5461   1071877      5726     71391     32775     70015    423073   1378073      9.32      9.35
2252.15/282.21	c Replacing        2 vars Replaced     1181 lits Time:     0.01 s 
2300.99/288.37	c  N dy  5541   1089149      5723     71383     32559     84970    422999   1964839      9.33      9.87
2358.37/295.56	c  N dy  5660   1109252      5722     71383     32594     58378    422999    927485      9.34      9.95
2419.86/303.22	c  N dy  5777   1129655      5722     71383     32632     78532    422999   1637053      9.36      9.88
2431.04/304.67	c Finding binary XORs  T:     0.01 s  found:       0
2494.24/312.58	c  N dy  5897   1149751      5717     71381     32620     49921    422933    597642      9.37     10.22
2536.45/317.85	c  N dy  6002   1169763      5716     71381     32669     69636    422933   1262367      9.38      9.89
2536.45/317.87	c Finding binary XORs  T:     0.01 s  found:       0
2594.74/325.15	c  N dy  6112   1189765      5710     71374     34643     88016    422857   1893311      9.39     12.64
2651.53/332.24	c  N dy  6235   1209815      5707     71374     34709     58661    422857    867770      9.40      6.75
2651.53/332.24	c  S st  6235   1209815      5707     71374     34709     58661    422857    867770      9.40      6.75
2653.03/332.44	c  S st  6235   1210315      5707     71374     34709     59161    422857    882383      9.40   no data
2653.03/332.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2657.03/332.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1832 BRemL:   4761 BRemN:      0 P: 19.6M T:  0.53
2657.83/333.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2657.83/333.00	c bin-w-bin subsume rem           73 bins  time:  0.00 s
2657.83/333.02	c subs with bin:     1915  lits-rem:       378  v-fix:    0  time:  0.02 s
2657.83/333.04	c Subs w/ non-existent bins:    539 l-rem:     19 v-fix:     0 done:   5707 time:  0.02 s
2657.83/333.05	c Removed useless bin:       8  fixed:     0  props:   0.43M  time:  0.01 s
2658.63/333.11	c lits-rem:         0  cl-subs:      676  v-elim:     84  v-fix:    0  time:  0.06 s
2659.43/333.28	c subs with bin:     1086  lits-rem:      5192  v-fix:    0  time:  0.15 s
2662.61/333.61	c lits-rem:      2229  cl-subs:     2239  v-elim:      0  v-fix:    0  time:  0.31 s
2662.61/333.63	c vivif2 --  cl tried    68413 cl shrink       44 lits rem         50 time: 0.02
2662.61/333.66	c vivif2 --  cl tried    36452 cl shrink     3890 lits rem       9177 time: 0.03
2665.01/333.94	c asymm  cl-useful: 12/2521/68413 lits-rem:12 time: 0.29
2665.01/333.95	c calculated reachability. Time: 0.00
2665.01/333.95	c  N dy  6235   1210315      5623     68413     29377     36445    407218    438767      9.40   no data
2665.01/333.96	c Finding binary XORs  T:     0.01 s  found:       0
2687.48/336.79	c Finding binary XORs  T:     0.01 s  found:       0
2698.54/338.19	c  N dy  6312   1230385      5622     68412     30225     56295    407207   1089198      9.39      9.96
2737.68/343.04	c Finding binary XORs  T:     0.01 s  found:       0
2745.66/344.01	c  N dy  6363   1250815      5619     68409     30372     74403    407178   1639186      9.38      9.93
2786.38/349.19	c  N dy  6447   1270856      5615     68409     30435     54169    407178    877525      9.37     11.16
2801.68/351.07	c Finding binary XORs  T:     0.01 s  found:       0
2834.30/355.13	c  N dy  6537   1291012      5611     68403     30581     71333    407122   1436167      9.37     10.01
2894.20/362.66	c  N dy  6614   1311053      5609     68403     30636     45775    407122    522699      9.37     11.16
2938.12/368.10	c  N dy  6696   1332387      5604     68403     30681     66686    407122   1121854      9.36      9.89
2995.59/375.38	c  N dy  6778   1352421      5602     68403     30741     86340    407122   1696397      9.36      9.96
3014.77/377.76	c Finding binary XORs  T:     0.01 s  found:       1
3040.32/380.90	c Finding binary XORs  T:     0.01 s  found:       0
3049.10/382.03	c  N dy  6862   1372522      5589     68382     31967     50871    406853    698073      9.36     14.61
3095.42/387.83	c  N dy  6951   1392576      5578     68382     32055     70380    406853   1208872      9.35     11.60
3118.58/390.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
3118.58/390.70	c num threads              : 8          
3118.58/390.70	c restarts                 : 6816       
3118.58/390.70	c dynamic restarts         : 6786       
3118.58/390.70	c static restarts          : 30         
3118.58/390.70	c full restarts            : 4          
3118.58/390.70	c total simplify time      : 0.59       
3118.58/390.70	c learnts DL2              : 0          
3118.58/390.70	c learnts size 2           : 158066     
3118.58/390.70	c learnts size 1           : 1277        (19.16     % of vars)
3118.58/390.70	c filedLit time            : 2.10        (0.54      % time)
3118.58/390.70	c v-elim SatELite          : 820         (12.30     % vars)
3118.58/390.70	c SatELite time            : 2.93        (0.75      % time)
3118.58/390.70	c v-elim xor               : 0           (0.00      % vars)
3118.58/390.70	c xor elim time            : 0.03        (0.01      % time)
3118.58/390.70	c num binary xor trees     : 73         
3118.58/390.70	c binxor trees' crown      : 73          (1.00      leafs/tree)
3118.58/390.70	c bin xor find time        : 0.20       
3118.58/390.70	c OTF clause improved      : 13767       (0.01      clauses/conflict)
3118.58/390.70	c OTF impr. size diff      : 17077       (1.24       lits/clause)
3118.58/390.70	c OTF cl watch-shrink      : 1074100     (0.77      clauses/conflict)
3118.58/390.70	c OTF cl watch-sh-lit      : 6328065     (5.89       lits/clause)
3118.58/390.70	c tried to recurMin cls    : 434731      (31.03      % of conflicts)
3118.58/390.70	c updated cache            : 16159       (0.04       lits/tried recurMin)
3118.58/390.70	c unit cls recevied        : 103         (8.07      % of units)
3118.58/390.70	c unit cls sent            : 26          (2.04      % of units)
3118.58/390.70	c bin cls recevied         : 136303     
3118.58/390.70	c bin cls sent             : 3613       
3118.58/390.70	c clauses over max glue    : 0           (0.00      % of all clauses)
3118.58/390.70	c conflicts                : 1401127     (3589.88   / sec)
3118.58/390.70	c decisions                : 1995625     (0.91      % random)
3118.58/390.70	c bogo-props               : 34255301698 (87766894.36 / sec)
3118.58/390.70	c conflict literals        : 53030391    (45.87     % deleted)
3118.58/390.70	c Memory used              : 1026.14     MB
3118.58/390.70	c single-thread CPU time   : 390.30      s
3118.58/390.70	c all-threads sum CPU time : 3116.33     s
3118.58/390.70	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3394676-1306102932/watcher-3394676-1306102932 -o /tmp/evaluation-result-3394676-1306102932/solver-3394676-1306102932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394676-1306102932.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.83 2/430 27008
/proc/meminfo: memFree=13822536/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=92144 CPUtime=0.03 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 413 0 0 0 3 0 0 0 25 0 8 0 702708812 94355456 353 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692991410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27008/statm: 23036 353 299 95 0 18018 0
[pid=27008/tid=27009] ppid=27006 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692991001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=92144 CPUtime=0 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692991410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692990995 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692991001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=92144 CPUtime=0 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692990999 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=92144 CPUtime=0 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692991001 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=92144 CPUtime=0 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 702708812 94355456 361 33554432000 4194304 4580107 140735800524720 18446744073709551615 47437692991001 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.105225 s]
/proc/loadavg: 0.00 0.00 0.83 2/430 27008
/proc/meminfo: memFree=13822536/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=569824 CPUtime=0.62 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) D 27006 27008 26947 0 -1 4202496 15104 0 0 0 54 8 0 0 17 0 8 0 702708812 583499776 14668 33554432000 4194304 4580107 140735800524720 18446744073709551615 4489196 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 142495 14874 340 95 0 137477 0
[pid=27008/tid=27009] ppid=27006 vsize=569980 CPUtime=0.07 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1728 0 0 0 7 0 0 0 17 0 8 0 702708812 583659520 14897 33554432000 4194304 4580107 140735800524720 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=569980 CPUtime=0.03 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) S 27006 27008 26947 0 -1 4202560 1864 0 0 0 2 1 0 0 17 0 8 0 702708812 583659520 15184 33554432000 4194304 4580107 140735800524720 18446744073709551615 270338488814 0 0 4096 2 18446604453945068544 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=569980 CPUtime=0.09 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2111 0 0 0 8 1 0 0 17 0 8 0 702708812 583659520 15284 33554432000 4194304 4580107 140735800524720 18446744073709551615 4288561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=569980 CPUtime=0.08 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1834 0 0 0 8 0 0 0 17 0 8 0 702708812 583659520 15325 33554432000 4194304 4580107 140735800524720 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=570344 CPUtime=0.08 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2126 0 0 0 7 1 0 0 17 0 8 0 702708812 584032256 15516 33554432000 4194304 4580107 140735800524720 18446744073709551615 270338488863 0 0 4096 2 18446604453945068544 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=570344 CPUtime=0.07 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 1950 0 0 0 6 1 0 0 17 0 8 0 702708812 584032256 15516 33554432000 4194304 4580107 140735800524720 18446744073709551615 270338441642 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=570344 CPUtime=0.07 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) S 27006 27008 26947 0 -1 4202560 1962 0 0 0 7 0 0 0 17 0 8 0 702708812 584032256 15516 33554432000 4194304 4580107 140735800524720 18446744073709551615 270338488814 0 0 4096 2 18446604453945068544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 569824

[startup+0.205192 s]
/proc/loadavg: 0.00 0.00 0.83 2/430 27008
/proc/meminfo: memFree=13822536/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=575996 CPUtime=1.41 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 20895 0 0 0 131 10 0 0 18 0 8 0 702708812 589819904 20459 33554432000 4194304 4580107 140735800524720 18446744073709551615 270338488814 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 143999 20459 360 95 0 138981 0
[pid=27008/tid=27009] ppid=27006 vsize=575996 CPUtime=0.18 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2636 0 0 0 17 1 0 0 18 0 8 0 702708812 589819904 20459 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=575996 CPUtime=0.12 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2638 0 0 0 11 1 0 0 18 0 8 0 702708812 589819904 20461 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=575996 CPUtime=0.18 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2579 0 0 0 17 1 0 0 18 0 8 0 702708812 589819904 20461 33554432000 4194304 4580107 140735800524720 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=575996 CPUtime=0.17 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2612 0 0 0 17 0 0 0 18 0 8 0 702708812 589819904 20462 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=575996 CPUtime=0.17 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2548 0 0 0 16 1 0 0 18 0 8 0 702708812 589819904 20463 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=575996 CPUtime=0.17 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2627 0 0 0 16 1 0 0 18 0 8 0 702708812 589819904 20463 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=575996 CPUtime=0.17 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2371 0 0 0 17 0 0 0 18 0 8 0 702708812 589819904 20464 33554432000 4194304 4580107 140735800524720 18446744073709551615 4316580 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 575996

[startup+0.301082 s]
/proc/loadavg: 0.00 0.00 0.83 2/430 27008
/proc/meminfo: memFree=13822536/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=576144 CPUtime=2.18 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 21470 0 0 0 208 10 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 144036 21034 360 95 0 139018 0
[pid=27008/tid=27009] ppid=27006 vsize=576144 CPUtime=0.27 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2820 0 0 0 26 1 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=576144 CPUtime=0.21 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2771 0 0 0 20 1 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=576144 CPUtime=0.28 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2609 0 0 0 27 1 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=576144 CPUtime=0.27 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2656 0 0 0 27 0 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=576144 CPUtime=0.27 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2572 0 0 0 26 1 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=576144 CPUtime=0.26 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2652 0 0 0 25 1 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=576144 CPUtime=0.26 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2470 0 0 0 26 0 0 0 18 0 8 0 702708812 589971456 21034 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 576144

[startup+0.701001 s]
/proc/loadavg: 0.00 0.00 0.83 2/430 27008
/proc/meminfo: memFree=13822536/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=579232 CPUtime=5.38 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 26511 0 0 0 525 13 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4234976 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 144808 26075 364 95 0 139790 0
[pid=27008/tid=27009] ppid=27006 vsize=579232 CPUtime=0.68 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3518 0 0 0 66 2 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4239992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=579232 CPUtime=0.62 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3505 0 0 0 60 2 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=579232 CPUtime=0.68 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3090 0 0 0 67 1 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4223027 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=579232 CPUtime=0.67 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3372 0 0 0 66 1 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4234999 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=579232 CPUtime=0.67 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3138 0 0 0 66 1 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=579232 CPUtime=0.66 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3373 0 0 0 65 1 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=579232 CPUtime=0.66 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 2886 0 0 0 66 0 0 0 18 0 8 0 702708812 593133568 26075 33554432000 4194304 4580107 140735800524720 18446744073709551615 4306066 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 579232

[startup+1.50084 s]
/proc/loadavg: 0.00 0.00 0.83 9/438 27016
/proc/meminfo: memFree=13633876/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=608172 CPUtime=11.47 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 60563 0 0 0 1122 25 0 0 18 0 8 0 702708812 622768128 50675 33554432000 4194304 4580107 140735800524720 18446744073709551615 4292997 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 152043 50675 378 95 0 147025 0
[pid=27008/tid=27009] ppid=27006 vsize=608172 CPUtime=1.42 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 8133 0 0 0 138 4 0 0 18 0 8 0 702708812 622768128 50675 33554432000 4194304 4580107 140735800524720 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=608172 CPUtime=1.37 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 8270 0 0 0 133 4 0 0 18 0 8 0 702708812 622768128 50675 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294240 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=608172 CPUtime=1.47 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 8104 0 0 0 145 2 0 0 18 0 8 0 702708812 622768128 50675 33554432000 4194304 4580107 140735800524720 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=608172 CPUtime=1.42 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 8260 0 0 0 139 3 0 0 18 0 8 0 702708812 622768128 50677 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=608172 CPUtime=1.46 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 8081 0 0 0 143 3 0 0 18 0 8 0 702708812 622768128 50678 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=608172 CPUtime=1.42 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 7891 0 0 0 140 2 0 0 18 0 8 0 702708812 622768128 50678 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=608172 CPUtime=1.44 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 3287 0 0 0 143 1 0 0 18 0 8 0 702708812 622768128 50678 33554432000 4194304 4580107 140735800524720 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 608172

[startup+3.10052 s]
/proc/loadavg: 0.64 0.13 0.87 9/438 27016
/proc/meminfo: memFree=13611804/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=636700 CPUtime=24.24 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 74204 0 0 0 2396 28 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4221981 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 159175 53012 379 95 0 154157 0
[pid=27008/tid=27009] ppid=27006 vsize=636700 CPUtime=3.02 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 9838 0 0 0 298 4 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=636700 CPUtime=2.97 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 10197 0 0 0 293 4 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=636700 CPUtime=3.07 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 9791 0 0 0 304 3 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=636700 CPUtime=3.02 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 9745 0 0 0 299 3 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=636700 CPUtime=3.06 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 9721 0 0 0 303 3 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=636700 CPUtime=3.02 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 9752 0 0 0 299 3 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=636700 CPUtime=3.04 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 5028 0 0 0 303 1 0 0 21 0 8 0 702708812 651980800 53012 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.24
Current children cumulated vsize (KiB) 636700

[startup+6.30089 s]
/proc/loadavg: 0.64 0.13 0.87 10/438 27016
/proc/meminfo: memFree=13550812/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=643300 CPUtime=49.77 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 103074 0 0 0 4942 35 0 0 25 0 8 0 702708812 658739200 69237 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294400 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 160825 69238 380 95 0 155807 0
[pid=27008/tid=27009] ppid=27006 vsize=643300 CPUtime=6.22 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 15529 0 0 0 616 6 0 0 25 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=643300 CPUtime=6.17 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 14518 0 0 0 611 6 0 0 19 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=643300 CPUtime=6.27 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 12645 0 0 0 624 3 0 0 20 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=643300 CPUtime=6.22 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 12556 0 0 0 618 4 0 0 25 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=643300 CPUtime=6.26 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 12597 0 0 0 622 4 0 0 25 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=643300 CPUtime=6.23 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 12343 0 0 0 619 4 0 0 25 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=643300 CPUtime=6.24 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 7760 0 0 0 622 2 0 0 20 0 8 0 702708812 658739200 69238 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 90468 0 0 0 37080 33 0 0 25 0 8 0 702708812 979869696 183429 33554432000 4194304 4580107 140735800524720 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=956904 CPUtime=371.01 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 91979 0 0 0 37071 30 0 0 25 0 8 0 702708812 979869696 183429 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=956904 CPUtime=371.14 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 71553 0 0 0 37093 21 0 0 25 0 8 0 702708812 979869696 183429 33554432000 4194304 4580107 140735800524720 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=956904 CPUtime=371.14 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80745 0 0 0 37087 27 0 0 25 0 8 0 702708812 979869696 183429 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2962.85
Current children cumulated vsize (KiB) 956904

[startup+384.017 s]
/proc/loadavg: 8.10 5.90 3.30 9/438 27029
/proc/meminfo: memFree=13098960/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3065.2 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 660678 0 0 0 306292 228 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 181059 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=383.19 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38292 27 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=383.89 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 38362 27 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=383.99 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 38373 26 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=383.96 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 92844 0 0 0 38361 35 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=383.83 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 94950 0 0 0 38351 32 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=383.96 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 73898 0 0 0 38374 22 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=383.96 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83094 0 0 0 38368 28 0 0 25 0 8 0 702708812 1075982336 181059 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3065.2
Current children cumulated vsize (KiB) 1050764

[startup+387.201 s]
/proc/loadavg: 8.09 5.93 3.33 9/438 27029
/proc/meminfo: memFree=13092884/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3090.73 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 662184 0 0 0 308844 229 0 0 25 0 8 0 702708812 1075982336 182565 33554432000 4194304 4580107 140735800524720 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 182565 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=386.39 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38612 27 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=387.1 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 38683 27 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=387.19 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 38693 26 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=387.16 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 93060 0 0 0 38681 35 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=387.03 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 95420 0 0 0 38671 32 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=387.16 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 74199 0 0 0 38694 22 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=387.17 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83338 0 0 0 38689 28 0 0 25 0 8 0 702708812 1075982336 182568 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3090.73
Current children cumulated vsize (KiB) 1050764

[startup+388.801 s]
/proc/loadavg: 8.09 5.93 3.33 9/438 27029
/proc/meminfo: memFree=13091024/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3103.41 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 662814 0 0 0 310111 230 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 183195 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=387.97 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38770 27 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=388.68 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 38841 27 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=388.77 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 38851 26 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=388.74 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 93155 0 0 0 38839 35 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=388.62 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 95575 0 0 0 38830 32 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=388.74 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 74331 0 0 0 38852 22 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=388.75 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83455 0 0 0 38847 28 0 0 25 0 8 0 702708812 1075982336 183195 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3103.41
Current children cumulated vsize (KiB) 1050764

[startup+389.601 s]
/proc/loadavg: 8.09 5.93 3.33 9/438 27029
/proc/meminfo: memFree=13089412/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3109.8 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 663134 0 0 0 310750 230 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 183514 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=388.77 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38850 27 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=389.48 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 38921 27 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=389.57 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 38931 26 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=389.54 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 93208 0 0 0 38919 35 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=389.42 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 95660 0 0 0 38910 32 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4319218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=389.54 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 74412 0 0 0 38932 22 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=389.55 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83508 0 0 0 38927 28 0 0 25 0 8 0 702708812 1075982336 183514 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3109.8
Current children cumulated vsize (KiB) 1050764

[startup+390.401 s]
/proc/loadavg: 8.09 5.93 3.33 9/438 27029
/proc/meminfo: memFree=13089412/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3116.19 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 663468 0 0 0 311389 230 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 183848 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=389.57 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38930 27 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=390.28 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 39001 27 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=390.37 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 39011 26 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=390.34 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 93254 0 0 0 38999 35 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=390.21 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 95777 0 0 0 38989 32 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=390.34 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 74484 0 0 0 39012 22 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=390.35 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83558 0 0 0 39007 28 0 0 25 0 8 0 702708812 1075982336 183848 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3116.19
Current children cumulated vsize (KiB) 1050764

[startup+390.617 s]
/proc/loadavg: 8.09 5.93 3.33 9/438 27029
/proc/meminfo: memFree=13087552/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3117.9 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 663547 0 0 0 311560 230 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 183927 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=389.79 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38952 27 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=390.49 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 39022 27 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=390.59 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 39033 26 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=390.55 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 93261 0 0 0 39020 35 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4305594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=390.43 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 95803 0 0 0 39011 32 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=390.55 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 74502 0 0 0 39033 22 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=390.56 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83572 0 0 0 39028 28 0 0 25 0 8 0 702708812 1075982336 183927 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3117.9
Current children cumulated vsize (KiB) 1050764

[startup+390.701 s]
/proc/loadavg: 8.09 5.93 3.33 9/438 27029
/proc/meminfo: memFree=13087552/32951124 swapFree=57171228/67111528
[pid=27008] ppid=27006 vsize=1050764 CPUtime=3118.58 cores=0-7
/proc/27008/stat : 27008 (strangenight2-m) R 27006 27008 26947 0 -1 4202496 663575 0 0 0 311628 230 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27008/statm: 262691 183955 380 95 0 257673 0
[pid=27008/tid=27009] ppid=27006 vsize=1050764 CPUtime=389.87 cores=0-7
/proc/27008/task/27009/stat : 27009 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 80019 0 0 0 38960 27 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27008/tid=27010] ppid=27006 vsize=1050764 CPUtime=390.58 cores=0-7
/proc/27008/task/27010/stat : 27010 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 69153 0 0 0 39031 27 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27008/tid=27011] ppid=27006 vsize=1050764 CPUtime=390.67 cores=0-7
/proc/27008/task/27011/stat : 27011 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 81060 0 0 0 39041 26 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27008/tid=27012] ppid=27006 vsize=1050764 CPUtime=390.64 cores=0-7
/proc/27008/task/27012/stat : 27012 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 93263 0 0 0 39029 35 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27008/tid=27013] ppid=27006 vsize=1050764 CPUtime=390.51 cores=0-7
/proc/27008/task/27013/stat : 27013 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 95810 0 0 0 39019 32 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4292924 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27008/tid=27014] ppid=27006 vsize=1050764 CPUtime=390.64 cores=0-7
/proc/27008/task/27014/stat : 27014 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 74511 0 0 0 39042 22 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27008/tid=27015] ppid=27006 vsize=1050764 CPUtime=390.65 cores=0-7
/proc/27008/task/27015/stat : 27015 (strangenight2-m) R 27006 27008 26947 0 -1 4202560 83578 0 0 0 39037 28 0 0 25 0 8 0 702708812 1075982336 183955 33554432000 4194304 4580107 140735800524720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3118.58
Current children cumulated vsize (KiB) 1050764

Child status: 20
Real time (s): 390.739
CPU time (s): 3118.66
CPU user time (s): 3116.33
CPU system time (s): 2.33664
CPU usage (%): 798.146
Max. virtual memory (cumulated for all children) (KiB): 1102800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3116.33
system time used= 2.33664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663579
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= 28791
involuntary context switches= 14112

runsolver used 1.51977 second user time and 4.19136 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-23 00:22:12
IDJOB=3394676
IDBENCH=83451
IDSOLVER=1878
FILE ID=node143/3394676-1306102932
RUNJOBID= node143-1306102930-26961
PBS_JOBID= 13387994
Free space on /tmp= 73368 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394676-1306102932/watcher-3394676-1306102932 -o /tmp/evaluation-result-3394676-1306102932/solver-3394676-1306102932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394676-1306102932.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=1331703354

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.75
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.846
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.83
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.846
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.74
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.846
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:      13822700 kB
Buffers:        293804 kB
Cached:        5046228 kB
SwapCached:      39952 kB
Active:        9438984 kB
Inactive:      9387996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13822700 kB
SwapTotal:    67111528 kB
SwapFree:     57171228 kB
Dirty:            7580 kB
Writeback:           0 kB
AnonPages:    13446768 kB
Mapped:          30424 kB
Slab:           150796 kB
PageTables:      79696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115656084 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= 73360 MiB
End job on node143 at 2011-05-23 00:28:43