Trace number 3394762

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 3151.28 394.854

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
MD5SUM77e0700cbaeeb3d63a4820608fc84761
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1129.19
Satisfiable
(Un)Satisfiability was proved
Number of variables11680
Number of clauses74581
Sum of the clauses size252050
Maximum clause length86
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 217176
Number of clauses of size 334696
Number of clauses of size 40
Number of clauses of size 522704
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3394762-1306105128.cnf'
0.00/0.03	c -- header says num vars:          11680
0.00/0.03	c -- header says num clauses:       74581
0.56/0.11	c -- clauses added:            0 learnts,        74581 normals,            0 xors
0.56/0.11	c -- vars added      11680
0.56/0.11	c Parsing time:  0.04 s
0.56/0.11	c  N st     0         0     11680     57394     17177         0    252027         0   no data   no data
0.56/0.87	c asymm  cl-useful: 0/5587/57393 lits-rem:0 time: 0.75
10.86/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.1M T:  0.61
11.66/1.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11.66/1.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.66/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
11.66/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11674 time:  0.04 s
12.44/1.63	c Removed useless bin:       0  fixed:     0  props:   4.94M  time:  0.03 s
13.24/1.72	c lits-rem:       148  cl-subs:      296  v-elim:    151  v-fix:    0  time:  0.08 s
13.24/1.73	c Finding binary XORs  T:     0.01 s  found:       0
13.24/1.76	c Finding non-binary XORs:     0.03 s (found:      81, avg size: 3.0)
13.24/1.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.24/1.77	c calculated reachability. Time: 0.00
13.24/1.78	c Calc default polars -  time:   0.00 s pos:    5667 undec:     169 neg:    5844
13.24/1.78	c =========================================================================================
13.24/1.78	c types(t): F = full restart, N = normal restart
13.24/1.78	c types(t): S = simplification begin/end, E = solution found
13.24/1.78	c restart types(rt): st = static, dy = dynamic
13.24/1.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
13.24/1.78	c  B st     0         0     11523     56768     17028         0    250683         0   no data   no data
20.37/2.64	c  N dy    20      4075     11523     56768     17105      3953    250683     45574      5.01      9.08
27.55/3.58	c  N dy    49      8175     11519     56768     17306      7920    250683    107304      5.31      5.59
35.54/4.52	c  N dy    82     12246     11514     56768     17866      7480    250683     72622      5.53      5.94
42.78/5.48	c  N dy   112     16257     11508     56768     17922     11377    250683    149516      5.67      6.02
48.32/6.12	c Finding binary XORs  T:     0.01 s  found:     129
48.32/6.14	c Replacing      130 vars Replaced     6298 lits Time:     0.01 s 
51.56/6.58	c  N dy   149     20345     11361     56543     18106      8643    249745     40828      6.01      9.93
61.22/7.75	c  N dy   176     24450     11359     56543     18797     12611    249745    130112      6.09      6.55
61.87/7.90	c  F st   182     25000     11359     56543     18801     13154    249745    142023      6.11   no data
62.67/7.91	c Replacing        1 vars Replaced      182 lits Time:     0.01 s 
72.26/9.13	c  N dy   188     30001     11339     56412     18788     17967    249171    396972      6.11   no data
72.26/9.13	c  S st   188     30001     11339     56412     18788     17967    249171    396972      6.11   no data
73.86/9.31	c  S st   188     30504     11339     56412     19169     18442    249171    404727      6.11   no data
73.86/9.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.57/11.05	c Flit:     6 Blit:      1 bXBeca:    0 bXProp:  102 Bins:  97886 BRemL:  39573 BRemN:     24 P: 29.5M T:  1.74
87.57/11.08	c Replacing      102 vars Replaced    12445 lits Time:     0.03 s 
87.57/11.10	c blocked clauses removed:        0 vars:      0 tried:       10981 T: 0.00 s
88.22/11.11	c bin-w-bin subsume rem         1046 bins  time:  0.01 s
88.22/11.13	c subs with bin:      618  lits-rem:       568  v-fix:    0  time:  0.02 s
88.22/11.17	c Subs w/ non-existent bins:     73 l-rem:     88 v-fix:     0 done:  11218 time:  0.04 s
88.22/11.18	c Removed useless bin:      63  fixed:     0  props:   1.81M  time:  0.01 s
89.01/11.24	c lits-rem:        16  cl-subs:     1341  v-elim:    105  v-fix:    0  time:  0.06 s
89.81/11.32	c subs with bin:      430  lits-rem:      2568  v-fix:    0  time:  0.06 s
89.81/11.39	c lits-rem:       538  cl-subs:      412  v-elim:      0  v-fix:    0  time:  0.06 s
89.81/11.39	c Added XOR as norm:79
93.01/11.76	c asymm  cl-useful: 3/1618/54810 lits-rem:3 time: 0.37
93.01/11.77	c calculated reachability. Time: 0.01
93.01/11.77	c  N dy   188     30504     11113     54810     50621     15317    242285    278087      6.11   no data
93.01/11.79	c Finding binary XORs  T:     0.02 s  found:       2
102.60/12.92	c  N dy   223     34568     11105     54810     50666     12298    242285    156532      6.30      7.45
112.17/14.16	c  N dy   256     38593     11092     54810     51483     16246    242285    275364      6.42      6.78
120.95/15.30	c  N dy   292     42696     11087     54810     69908     20285    242285    494390      6.65      7.04
123.34/15.50	c Finding binary XORs  T:     0.02 s  found:     165
123.34/15.52	c Replacing      167 vars Replaced    13638 lits Time:     0.03 s 
129.74/16.38	c  S st   315     45756     10917     54655     64057     13920    241539    177651      6.75   no data
131.47/16.54	c  S st   315     46257     10917     54655     64066     14405    241539    185370      6.75   no data
131.47/16.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.89/18.27	c Flit:    13 Blit:      4 bXBeca:    0 bXProp:    9 Bins:  56070 BRemL:  28314 BRemN:      6 P: 21.7M T:  1.71
144.89/18.29	c Replacing        9 vars Replaced     1282 lits Time:     0.02 s 
145.69/18.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.69/18.32	c bin-w-bin subsume rem         3971 bins  time:  0.01 s
145.69/18.34	c subs with bin:      332  lits-rem:       306  v-fix:    0  time:  0.02 s
145.69/18.38	c Subs w/ non-existent bins:     42 l-rem:     53 v-fix:     0 done:  10889 time:  0.04 s
145.69/18.39	c Removed useless bin:      34  fixed:     0  props:   1.98M  time:  0.01 s
146.48/18.46	c lits-rem:         5  cl-subs:      885  v-elim:     66  v-fix:    0  time:  0.06 s
146.48/18.49	c subs with bin:      186  lits-rem:       255  v-fix:    0  time:  0.02 s
147.29/18.52	c lits-rem:        52  cl-subs:      185  v-elim:      0  v-fix:    0  time:  0.02 s
147.29/18.56	c vivif2 --  cl tried    53437 cl shrink       75 lits rem         79 time: 0.04
147.29/18.57	c vivif2 --  cl tried    13837 cl shrink      446 lits rem       1762 time: 0.01
153.67/19.37	c asymm  cl-useful: 16/2828/53429 lits-rem:16 time: 0.80
153.67/19.38	c calculated reachability. Time: 0.01
153.67/19.38	c  N dy   315     46257     10823     53429     72773     13834    236353    194876      6.75   no data
154.47/19.40	c Finding binary XORs  T:     0.02 s  found:       5
160.85/20.26	c Finding binary XORs  T:     0.02 s  found:     111
160.85/20.28	c Replacing      116 vars Replaced    14317 lits Time:     0.02 s 
164.84/20.74	c  N dy   350     50374     10690     53348    128865     17751    235935    461169      6.86      7.44
176.01/22.10	c  N dy   380     54462     10688     53348    128892     21776    235935    634748      6.96      8.93
178.41/22.47	c Finding binary XORs  T:     0.02 s  found:      37
187.99/23.62	c  N dy   415     58529     10678     53285    141196     25699    235599    845448      7.08      8.38
199.97/25.10	c  N dy   446     62611     10671     53285    141696     18992    235599    484585      7.16      7.59
211.93/26.68	c  N dy   482     67000     10670     53285    141705     23341    235599    708243      7.28      7.71
213.53/26.80	c Finding binary XORs  T:     0.02 s  found:      75
213.53/26.83	c Replacing      112 vars Replaced    11392 lits Time:     0.03 s 
218.37/27.50	c  S st   502     69385     10543     53140    143133     25514    234942    841114      7.34      6.71
220.71/27.71	c  S st   502     69891     10543     53140    143162     25988    234942    852041      7.34   no data
220.71/27.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
237.47/29.85	c Flit:    13 Blit:      1 bXBeca:    0 bXProp:    5 Bins:  33901 BRemL:  31484 BRemN:      1 P: 29.3M T:  2.13
237.47/29.88	c Replacing        5 vars Replaced     3429 lits Time:     0.02 s 
237.47/29.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
238.27/29.93	c bin-w-bin subsume rem         9920 bins  time:  0.03 s
238.27/29.95	c subs with bin:      455  lits-rem:       362  v-fix:    0  time:  0.03 s
238.27/29.99	c Subs w/ non-existent bins:     54 l-rem:     93 v-fix:     0 done:  10524 time:  0.04 s
239.07/30.01	c Removed useless bin:      47  fixed:     0  props:   1.80M  time:  0.01 s
239.07/30.08	c lits-rem:         6  cl-subs:     1236  v-elim:     89  v-fix:    0  time:  0.07 s
241.47/30.32	c subs with bin:      282  lits-rem:      3948  v-fix:    0  time:  0.22 s
242.27/30.40	c lits-rem:       701  cl-subs:      347  v-elim:      0  v-fix:    0  time:  0.07 s
242.27/30.44	c vivif2 --  cl tried    51473 cl shrink      102 lits rem        102 time: 0.04
242.27/30.49	c vivif2 --  cl tried    22754 cl shrink     2932 lits rem      19271 time: 0.05
246.25/30.93	c asymm  cl-useful: 94/1213/51451 lits-rem:102 time: 0.43
246.25/30.94	c calculated reachability. Time: 0.01
246.25/30.94	c  N dy   502     69891     10435     51449    112899     22739    228134    520070      7.34   no data
246.25/30.96	c Finding binary XORs  T:     0.02 s  found:       7
259.03/32.58	c  N dy   526     74535     10434     51449    129007     17237    228134    313237      7.36      7.92
259.83/32.61	c Finding binary XORs  T:     0.02 s  found:     112
259.83/32.62	c Replacing      119 vars Replaced     7228 lits Time:     0.01 s 
273.40/34.38	c  N dy   560     79971     10295     51345    121916     22429    227631    512402      7.41      7.80
282.17/35.44	c Finding binary XORs  T:     0.02 s  found:      34
286.18/35.92	c  N dy   605     85117     10291     51319    129996     27536    227512    796736      7.53      8.06
291.76/36.64	c  F st   629     87500     10289     51319    130214     29897    227512    911164      7.59   no data
291.76/36.67	c Replacing       34 vars Replaced     2752 lits Time:     0.02 s 
301.34/37.85	c  N st   634     90800     10252     51290    129744     20037    227379    413055      7.59   no data
313.31/39.38	c Finding binary XORs  T:     0.02 s  found:      69
316.50/39.73	c  N dy   668     96597     10230     51164    133461     25729    226781    717382      7.67      8.19
334.86/42.01	c  N dy   721    102761     10226     51164    133794     31829    226781    983568      7.80     12.35
341.30/42.83	c  S st   741    104836     10225     51164    133956     33882    226781   1073316      7.84   no data
342.84/43.03	c  S st   741    105341     10222     51164    133965     34371    226781   1092611      7.84   no data
342.84/43.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
364.40/45.71	c Flit:    14 Blit:      1 bXBeca:    0 bXProp:   75 Bins:  38843 BRemL:  21639 BRemN:      6 P: 35.7M T:  2.67
364.40/45.77	c Replacing      144 vars Replaced    33692 lits Time:     0.06 s 
364.40/45.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
365.20/45.81	c bin-w-bin subsume rem         7330 bins  time:  0.02 s
365.20/45.84	c subs with bin:      559  lits-rem:       423  v-fix:    0  time:  0.03 s
365.20/45.88	c Subs w/ non-existent bins:     78 l-rem:    115 v-fix:     0 done:  10062 time:  0.04 s
365.20/45.89	c Removed useless bin:      73  fixed:     0  props:   1.89M  time:  0.01 s
366.00/45.96	c lits-rem:        13  cl-subs:     1552  v-elim:    124  v-fix:    0  time:  0.07 s
368.54/46.29	c subs with bin:      320  lits-rem:      6077  v-fix:    0  time:  0.30 s
369.19/46.39	c lits-rem:       855  cl-subs:      456  v-elim:      0  v-fix:    0  time:  0.09 s
369.99/46.43	c vivif2 --  cl tried    49101 cl shrink      161 lits rem        169 time: 0.04
370.79/46.50	c vivif2 --  cl tried    28798 cl shrink     4055 lits rem      20494 time: 0.07
373.99/46.96	c asymm  cl-useful: 114/1058/49075 lits-rem:118 time: 0.46
373.99/46.97	c calculated reachability. Time: 0.01
373.99/46.97	c  N dy   741    105341      9938     49074    118740     28785    218173    623402      7.84   no data
374.79/47.00	c Finding binary XORs  T:     0.03 s  found:       8
389.95/48.93	c  N dy   784    112193      9935     49074    119109     24895    218173    639056      7.87      8.32
402.77/50.60	c Finding binary XORs  T:     0.02 s  found:      93
403.66/50.63	c Replacing      101 vars Replaced    12380 lits Time:     0.03 s 
409.12/51.39	c  N dy   828    119551      9813     48958    115752     31656    217569   1000486      7.88      8.31
430.65/54.07	c  N dy   880    127464      9811     48958    116395     24383    217568    464466      7.95      8.66
452.22/56.76	c Finding binary XORs  T:     0.02 s  found:      75
453.02/56.84	c  N dy   950    135607      9800     48880    123634     32281    217220    850826      8.09     10.28
477.76/59.96	c  N dy  1018    144323      9796     48880    124063     24587    217220    391010      8.20     10.18
504.09/63.22	c  N dy  1095    153566      9792     48880    132032     33746    217220    845919      8.34     12.28
507.29/63.64	c Finding binary XORs  T:     0.02 s  found:      92
507.29/63.67	c Replacing      167 vars Replaced    17042 lits Time:     0.04 s 
519.25/65.13	c  S st  1124    158013      9599     48642    127724     37823    216207    997820      8.37   no data
520.85/65.31	c  S st  1124    158515      9599     48642    127727     38321    216207   1024785      8.37   no data
520.85/65.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
543.26/68.15	c Flit:     8 Blit:      3 bXBeca:    0 bXProp:   11 Bins:  31502 BRemL:  19759 BRemN:      6 P: 36.9M T:  2.83
543.26/68.18	c Replacing       11 vars Replaced     1515 lits Time:     0.03 s 
543.26/68.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
544.15/68.22	c bin-w-bin subsume rem         7231 bins  time:  0.02 s
544.15/68.25	c subs with bin:      515  lits-rem:       388  v-fix:    0  time:  0.03 s
544.15/68.28	c Subs w/ non-existent bins:     52 l-rem:     99 v-fix:     0 done:   9577 time:  0.04 s
544.15/68.30	c Removed useless bin:      59  fixed:     0  props:   1.78M  time:  0.01 s
544.80/68.36	c lits-rem:        17  cl-subs:     1495  v-elim:    117  v-fix:    0  time:  0.07 s
547.99/68.71	c subs with bin:      355  lits-rem:      5084  v-fix:    0  time:  0.33 s
548.80/68.84	c lits-rem:      1095  cl-subs:      559  v-elim:      0  v-fix:    0  time:  0.12 s
548.80/68.88	c vivif2 --  cl tried    46746 cl shrink      152 lits rem        162 time: 0.04
549.60/68.96	c vivif2 --  cl tried    33658 cl shrink     4920 lits rem      19960 time: 0.08
552.92/69.39	c asymm  cl-useful: 109/1045/46727 lits-rem:118 time: 0.44
553.57/69.41	c calculated reachability. Time: 0.01
553.57/69.41	c  N dy  1124    158515      9460     46725    113317     33641    208251    664111      8.37   no data
553.57/69.44	c Finding binary XORs  T:     0.03 s  found:      13
577.54/72.41	c  N dy  1173    168644      9454     46725    116326     28712    208251    629376      8.35      8.83
599.89/75.22	c Finding binary XORs  T:     0.03 s  found:     111
599.89/75.25	c Replacing      124 vars Replaced    12664 lits Time:     0.03 s 
605.61/75.93	c  N dy  1212    179520      9327     46683    122635     38146    208033   1274510      8.32      8.78
622.28/78.03	c Finding binary XORs  T:     0.03 s  found:      80
633.41/79.42	c  N dy  1274    191003      9297     46529    134976     31980    207285    803275      8.34      8.90
668.52/83.81	c  N dy  1358    203268      9289     46529    135758     44112    207285   1471519      8.41     10.02
703.65/88.27	c  N dy  1467    216295      9284     46529    135990     37233    207285    934939      8.53     10.02
737.33/92.43	c Finding binary XORs  T:     0.03 s  found:     117
737.33/92.48	c Replacing      197 vars Replaced    30019 lits Time:     0.06 s 
746.76/93.69	c  N dy  1580    230186      9085     46437    130504     29832    206843    485875      8.66      9.66
764.32/95.81	c Finding binary XORs  T:     0.03 s  found:      68
769.12/96.47	c  S st  1644    237772      9067     46322    140683     37287    206331    789806      8.73   no data
770.72/96.62	c  S st  1644    238274      9067     46322    140688     37784    206331    818729      8.73   no data
770.72/96.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
793.86/99.58	c Flit:    11 Blit:      0 bXBeca:    0 bXProp:    7 Bins:  33108 BRemL:  19065 BRemN:      3 P: 38.3M T:  2.95
794.67/99.62	c Replacing       75 vars Replaced    16199 lits Time:     0.04 s 
794.67/99.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
794.67/99.66	c bin-w-bin subsume rem        10196 bins  time:  0.03 s
794.67/99.69	c subs with bin:      563  lits-rem:       498  v-fix:    0  time:  0.03 s
795.47/99.72	c Subs w/ non-existent bins:     58 l-rem:     57 v-fix:     0 done:   8979 time:  0.03 s
795.47/99.73	c Removed useless bin:      63  fixed:     0  props:   1.82M  time:  0.01 s
796.27/99.81	c lits-rem:        23  cl-subs:     2076  v-elim:    127  v-fix:    0  time:  0.07 s
797.91/100.02	c subs with bin:      523  lits-rem:      2584  v-fix:    0  time:  0.19 s
797.91/100.11	c lits-rem:       818  cl-subs:      694  v-elim:      0  v-fix:    0  time:  0.08 s
798.80/100.15	c vivif2 --  cl tried    43788 cl shrink      166 lits rem        189 time: 0.04
799.45/100.22	c vivif2 --  cl tried    33472 cl shrink     3561 lits rem      10964 time: 0.07
802.64/100.68	c asymm  cl-useful: 125/888/43779 lits-rem:133 time: 0.46
802.64/100.69	c calculated reachability. Time: 0.01
802.64/100.69	c  N dy  1644    238274      8852     43777    123786     33450    196154    567393      8.73   no data
803.44/100.72	c Finding binary XORs  T:     0.03 s  found:      20
823.41/103.28	c Finding binary XORs  T:     0.03 s  found:      53
844.95/105.97	c  N dy  1738    253494      8840     43741    131632     28225    195965    409470      8.81      9.67
880.86/110.48	c Finding binary XORs  T:     0.03 s  found:      72
881.66/110.51	c Replacing      145 vars Replaced    14340 lits Time:     0.03 s 
888.04/111.37	c  N dy  1856    269769      8685     43670    126080     44180    195594   1130700      8.91      9.48
922.37/115.61	c Finding binary XORs  T:     0.03 s  found:      57
939.93/117.86	c  N dy  1954    287025      8660     43548    131570     38494    195002    809008      8.95     11.27
989.44/124.06	c Finding binary XORs  T:     0.03 s  found:      77
990.24/124.10	c Replacing      134 vars Replaced    17095 lits Time:     0.04 s 
995.82/124.84	c  N dy  2089    305515      8505     43419    142188     33007    194398    544533      9.05      9.59
997.42/125.08	c  F st  2093    306252      8505     43419    142189     33738    194398    575282      9.05   no data
1051.71/131.83	c  N dy  2176    325886      8499     43414    142498     53106    194372   1447658      9.07      9.57
1108.34/138.99	c  N dy  2299    345889      8496     43414    142753     48000    194371   1143109      9.14      9.70
1142.67/143.29	c  S st  2370    357413      8489     43414    142911     59444    194370   1635124      9.17      7.10
1144.27/143.49	c  S st  2370    357917      8488     43414    142922     34099    194370    476870      9.17   no data
1144.27/143.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1168.21/146.45	c Flit:    15 Blit:      0 bXBeca:    0 bXProp:   76 Bins:  29004 BRemL:  20583 BRemN:      4 P: 37.8M T:  2.95
1168.21/146.47	c Replacing       76 vars Replaced     6880 lits Time:     0.03 s 
1168.21/146.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1169.01/146.51	c bin-w-bin subsume rem        11401 bins  time:  0.03 s
1169.01/146.54	c subs with bin:      432  lits-rem:       363  v-fix:    0  time:  0.03 s
1169.01/146.57	c Subs w/ non-existent bins:     45 l-rem:     52 v-fix:     0 done:   8397 time:  0.03 s
1169.01/146.58	c Removed useless bin:      47  fixed:     0  props:   1.49M  time:  0.01 s
1169.81/146.65	c lits-rem:        23  cl-subs:     1846  v-elim:    155  v-fix:    0  time:  0.07 s
1170.61/146.71	c subs with bin:      542  lits-rem:      1405  v-fix:    0  time:  0.05 s
1170.61/146.76	c lits-rem:       425  cl-subs:      721  v-elim:      0  v-fix:    0  time:  0.04 s
1171.41/146.80	c vivif2 --  cl tried    41256 cl shrink      232 lits rem        257 time: 0.04
1171.41/146.84	c vivif2 --  cl tried    31397 cl shrink      654 lits rem       1049 time: 0.04
1174.60/147.28	c asymm  cl-useful: 86/765/41220 lits-rem:102 time: 0.44
1174.60/147.29	c calculated reachability. Time: 0.01
1174.60/147.29	c  N dy  2370    357917      8242     41216    110127     31352    184937    377073      9.17   no data
1175.45/147.33	c Finding binary XORs  T:     0.03 s  found:      22
1224.87/153.51	c  N dy  2437    377935      8234     41216    111412     51193    184937   1596514      9.15     12.88
1261.60/158.19	c Finding binary XORs  T:     0.03 s  found:      52
1279.17/160.39	c  N dy  2551    398004      8229     41181    106116     43002    184678    854401      9.19      9.72
1338.24/167.72	c  N dy  2677    418095      8226     41181    106277     35109    184678    423640      9.25      9.76
1351.95/169.48	c Finding binary XORs  T:     0.03 s  found:      96
1352.60/169.50	c Replacing      170 vars Replaced    18061 lits Time:     0.03 s 
1392.52/174.55	c  N dy  2812    438190      8020     40980    115147     54715    183726   1270470      9.31     16.16
1426.05/178.73	c Finding binary XORs  T:     0.03 s  found:      41
1449.19/181.68	c  N dy  2902    458277      8003     40870    117891     45887    183161    971482      9.32     15.19
1506.68/188.83	c  N dy  3018    478589      8002     40870    118066     66020    183161   2060462      9.37      9.99
1566.55/196.37	c  N dy  3144    498888      7997     40870    118263     56144    183161   1225396      9.42      9.94
1628.00/204.01	c  N dy  3289    518973      7987     40870    118426     45094    183160    694400      9.49     10.07
1670.31/209.31	c Finding binary XORs  T:     0.03 s  found:      95
1670.31/209.35	c Replacing      136 vars Replaced    18430 lits Time:     0.04 s 
1680.69/210.67	c  S st  3403    536875      7848     40773    113223     62335    182654   1322626      9.53      6.93
1682.29/210.86	c  S st  3403    537376      7848     40773    113228     62828    182654   1343509      9.53   no data
1682.29/210.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1707.03/213.97	c Flit:    28 Blit:      0 bXBeca:    0 bXProp:   15 Bins:  60359 BRemL:  20791 BRemN:      5 P: 40.3M T:  3.10
1707.83/214.00	c Replacing       15 vars Replaced     1665 lits Time:     0.03 s 
1707.83/214.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1707.83/214.04	c bin-w-bin subsume rem         8253 bins  time:  0.02 s
1707.83/214.07	c subs with bin:      445  lits-rem:       363  v-fix:    0  time:  0.03 s
1707.83/214.10	c Subs w/ non-existent bins:     28 l-rem:     31 v-fix:     0 done:   7805 time:  0.03 s
1708.63/214.11	c Removed useless bin:      47  fixed:     0  props:   1.45M  time:  0.01 s
1708.63/214.17	c lits-rem:        39  cl-subs:     1602  v-elim:    129  v-fix:    0  time:  0.07 s
1711.96/214.57	c subs with bin:      691  lits-rem:      6257  v-fix:    0  time:  0.36 s
1714.21/214.86	c lits-rem:      2171  cl-subs:     2021  v-elim:      0  v-fix:    0  time:  0.28 s
1715.01/214.90	c vivif2 --  cl tried    38791 cl shrink      175 lits rem        200 time: 0.04
1715.81/215.03	c vivif2 --  cl tried    52546 cl shrink     7657 lits rem      24004 time: 0.13
1719.00/215.49	c asymm  cl-useful: 172/818/38768 lits-rem:205 time: 0.46
1719.00/215.51	c calculated reachability. Time: 0.01
1719.00/215.51	c  N dy  3403    537376      7676     38757    114313     52516    173668    900042      9.53   no data
1719.86/215.54	c Finding binary XORs  T:     0.03 s  found:      14
1744.56/218.67	c Finding binary XORs  T:     0.03 s  found:      22
1768.49/221.63	c  N dy  3459    558386      7673     38749    120117     46617    173624    967017      9.50     10.03
1819.58/228.07	c  N dy  3531    578399      7668     38749    120336     66448    173624   2107355      9.49     10.19
1872.27/234.61	c  N dy  3620    598450      7667     38749    120463     53379    173624   1140917      9.50     12.36
1929.76/241.86	c  N dy  3733    618690      7664     38749    120547     39200    173624    480786      9.52     10.15
1984.16/248.68	c  N dy  3849    638774      7660     38749    120612     59079    173621   1296918      9.55     10.07
2008.78/251.78	c Finding binary XORs  T:     0.03 s  found:     107
2009.62/251.83	c Replacing      143 vars Replaced    24975 lits Time:     0.05 s 
2045.64/256.39	c  N dy  3982    658859      7484     38493    115678     43222    172374    619010      9.59     10.11
2102.18/263.42	c  N dy  4071    678925      7477     38493    115806     63104    172373   1457459      9.59     10.13
2171.62/272.18	c  N dy  4188    700625      7472     38493    115933     48445    172372    669153      9.61     10.15
2239.48/280.60	c  N dy  4293    721115      7468     38493    116039     68730    172372   1441212      9.63     10.23
2299.39/288.21	c  N dy  4354    741186      7460     38493    116166     51996    172371    878654      9.61     15.91
2362.39/296.01	c Finding binary XORs  T:     0.03 s  found:     100
2362.39/296.05	c Replacing      100 vars Replaced    15280 lits Time:     0.04 s 
2363.99/296.26	c  N dy  4495    761229      7332     38193    114235     70634    170827   1522050      9.65     11.71
2431.11/304.66	c  N dy  4616    782288      7325     38193    114656     53373    170827    784964      9.67     10.18
2494.11/312.54	c  N dy  4727    802331      7324     38193    114738     73220    170826   1470294      9.69     11.30
2506.90/314.15	c  S st  4758    806065      7324     38193    114749     76913    170826   1591134      9.70   no data
2508.50/314.38	c  S st  4758    806569      7324     38193    114751     77415    170826   1616519      9.70   no data
2508.50/314.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2532.44/317.36	c Flit:     7 Blit:      3 bXBeca:    0 bXProp:   31 Bins:  34425 BRemL:  23206 BRemN:      8 P: 44.1M T:  2.97
2533.24/317.41	c Replacing       31 vars Replaced     8490 lits Time:     0.05 s 
2533.24/317.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2533.24/317.44	c bin-w-bin subsume rem        10681 bins  time:  0.02 s
2533.24/317.46	c subs with bin:      379  lits-rem:       323  v-fix:    0  time:  0.02 s
2533.24/317.49	c Subs w/ non-existent bins:     27 l-rem:     26 v-fix:     0 done:   7283 time:  0.02 s
2534.04/317.50	c Removed useless bin:      42  fixed:     0  props:   1.31M  time:  0.01 s
2534.04/317.57	c lits-rem:        81  cl-subs:     1357  v-elim:    173  v-fix:    0  time:  0.07 s
2536.48/317.88	c subs with bin:      488  lits-rem:      3153  v-fix:    0  time:  0.28 s
2539.62/318.21	c lits-rem:      2255  cl-subs:     1774  v-elim:      0  v-fix:    0  time:  0.32 s
2539.62/318.24	c vivif2 --  cl tried    36603 cl shrink      188 lits rem        215 time: 0.03
2540.42/318.38	c vivif2 --  cl tried    59383 cl shrink     8958 lits rem      23685 time: 0.14
2544.41/318.82	c asymm  cl-useful: 139/780/36568 lits-rem:173 time: 0.43
2544.41/318.83	c calculated reachability. Time: 0.01
2544.41/318.83	c  N dy  4758    806569      7110     36555     94189     59359    163673    916120      9.70   no data
2544.41/318.86	c Finding binary XORs  T:     0.03 s  found:      13
2561.18/320.92	c Finding binary XORs  T:     0.03 s  found:      51
2593.90/325.07	c Finding binary XORs  T:     0.03 s  found:       4
2601.89/326.05	c  N dy  4820    826636      7093     36473    102556     52543    163266   1028458      9.68     10.25
2624.29/328.84	c Finding binary XORs  T:     0.03 s  found:      44
2624.29/328.88	c Replacing      112 vars Replaced    11690 lits Time:     0.04 s 
2662.54/333.64	c  N dy  4903    846694      6961     36358    108623     71855    162714   1867411      9.68     10.36
2724.01/341.32	c  N dy  5007    867949      6956     36358    108716     53494    162714    926702      9.68     10.20
2781.50/348.52	c  N dy  5116    888019      6953     36358    108763     73422    162714   1654897      9.69     11.96
2817.46/353.08	c Finding binary XORs  T:     0.03 s  found:      66
2842.97/356.28	c  N dy  5204    908028      6914     36174    109693     51951    161761    859551      9.69     10.40
2898.04/363.19	c Finding binary XORs  T:     0.03 s  found:     105
2898.84/363.24	c Replacing      171 vars Replaced    29297 lits Time:     0.05 s 
2906.82/364.28	c  N dy  5312    929174      6751     35223    109607     71020    157427   1446217      9.70     10.40
2968.29/371.90	c  N dy  5448    949245      6747     35223    110684     49734    157427    729450      9.72     13.15
2985.85/374.10	c Finding binary XORs  T:     0.03 s  found:      28
3032.94/380.05	c  N dy  5551    969863      6741     35194    110603     69717    157271   1243230      9.73     10.29
3044.12/381.48	c Finding binary XORs  T:     0.03 s  found:     257
3044.92/381.60	c Replacing      285 vars Replaced   112076 lits Time:     0.12 s 
3076.84/385.56	c Finding binary XORs  T:     0.03 s  found:       1
3104.00/388.95	c  N dy  5626    991365      6041     28977     56015     37484    129965    426298      9.71     10.31
3104.00/388.98	c Finding binary XORs  T:     0.03 s  found:      50
3130.34/392.22	c Finding binary XORs  T:     0.03 s  found:     153
3130.34/392.24	c Replacing      204 vars Replaced    16250 lits Time:     0.02 s 
3151.14/394.82	c Following stats are for *FIRST FINISHED THREAD ONLY*
3151.14/394.82	c num threads              : 8          
3151.14/394.82	c restarts                 : 4917       
3151.14/394.82	c dynamic restarts         : 4893       
3151.14/394.82	c static restarts          : 24         
3151.14/394.82	c full restarts            : 3          
3151.14/394.82	c total simplify time      : 2.06       
3151.14/394.82	c learnts DL2              : 0          
3151.14/394.82	c learnts size 2           : 811959     
3151.14/394.82	c learnts size 1           : 5008        (42.88     % of vars)
3151.14/394.82	c filedLit time            : 8.83        (2.24      % time)
3151.14/394.82	c v-elim SatELite          : 966         (8.27      % vars)
3151.14/394.82	c SatELite time            : 0.67        (0.17      % time)
3151.14/394.82	c v-elim xor               : 0           (0.00      % vars)
3151.14/394.82	c xor elim time            : 0.03        (0.01      % time)
3151.14/394.82	c num binary xor trees     : 602        
3151.14/394.82	c binxor trees' crown      : 3537        (5.88      leafs/tree)
3151.14/394.82	c bin xor find time        : 0.74       
3151.14/394.82	c OTF clause improved      : 10851       (0.01      clauses/conflict)
3151.14/394.82	c OTF impr. size diff      : 15026       (1.38       lits/clause)
3151.14/394.82	c OTF cl watch-shrink      : 709684      (0.74      clauses/conflict)
3151.14/394.82	c OTF cl watch-sh-lit      : 4210781     (5.93       lits/clause)
3151.14/394.82	c tried to recurMin cls    : 371714      (38.97      % of conflicts)
3151.14/394.82	c updated cache            : 45280       (0.12       lits/tried recurMin)
3151.14/394.82	c unit cls recevied        : 990         (19.77     % of units)
3151.14/394.82	c unit cls sent            : 437         (8.73      % of units)
3151.14/394.82	c bin cls recevied         : 745660     
3151.14/394.82	c bin cls sent             : 50760      
3151.14/394.82	c clauses over max glue    : 0           (0.00      % of all clauses)
3151.14/394.82	c conflicts                : 953943      (2417.49   / sec)
3151.14/394.82	c decisions                : 2280326     (0.86      % random)
3151.14/394.82	c bogo-props               : 20711726331 (52487768.03 / sec)
3151.14/394.82	c conflict literals        : 36837580    (43.07     % deleted)
3151.14/394.82	c Memory used              : 1078.30     MB
3151.14/394.82	c single-thread CPU time   : 394.60      s
3151.14/394.82	c all-threads sum CPU time : 3149.41     s
3151.14/394.82	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-3394762-1306105128/watcher-3394762-1306105128 -o /tmp/evaluation-result-3394762-1306105128/solver-3394762-1306105128 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394762-1306105128.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: 8.09 8.08 8.03 2/507 6142
/proc/meminfo: memFree=15325620/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=92144 CPUtime=0 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 8 0 800743578 94355456 352 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815180210 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6142/statm: 23036 352 299 95 0 18018 0
[pid=6142/tid=6143] ppid=6140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=92144 CPUtime=0 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815180210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179795 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=92144 CPUtime=0 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 800743578 94355456 360 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179795 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.086301 s]
/proc/loadavg: 8.09 8.08 8.03 2/507 6142
/proc/meminfo: memFree=15325620/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=569816 CPUtime=0.44 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 15510 0 0 0 36 8 0 0 17 0 8 0 800743578 583491584 13807 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 142454 13833 338 95 0 137436 0
[pid=6142/tid=6143] ppid=6140 vsize=569816 CPUtime=0.05 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1524 0 0 0 4 1 0 0 17 0 8 0 800743578 583491584 13872 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=569816 CPUtime=0.04 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) S 6140 6142 6081 0 -1 4202560 2269 0 0 0 4 0 0 0 18 0 8 0 800743578 583491584 13910 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697582 0 0 4096 2 18446604450560624704 0 0 -1 7 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=569816 CPUtime=0.03 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1613 0 0 0 3 0 0 0 18 0 8 0 800743578 583491584 13931 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=569816 CPUtime=0.05 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) S 6140 6142 6081 0 -1 4202560 1966 0 0 0 5 0 0 0 17 0 8 0 800743578 583491584 13941 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697582 0 0 4096 2 18446604450560624704 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=569816 CPUtime=0.06 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1896 0 0 0 5 1 0 0 18 0 8 0 800743578 583491584 13944 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=569816 CPUtime=0.06 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1835 0 0 0 5 1 0 0 18 0 8 0 800743578 583491584 13987 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=569816 CPUtime=0.04 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2236 0 0 0 4 0 0 0 17 0 8 0 800743578 583491584 14046 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 569816

[startup+0.108311 s]
/proc/loadavg: 8.09 8.08 8.03 2/507 6142
/proc/meminfo: memFree=15325620/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=570768 CPUtime=0.56 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 17498 0 0 0 45 11 0 0 17 0 8 0 800743578 584466432 15795 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 142692 15842 346 95 0 137674 0
[pid=6142/tid=6143] ppid=6140 vsize=570768 CPUtime=0.06 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1685 0 0 0 5 1 0 0 17 0 8 0 800743578 584466432 15912 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=570768 CPUtime=0.06 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) S 6140 6142 6081 0 -1 4202560 2471 0 0 0 5 1 0 0 18 0 8 0 800743578 584466432 15985 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697582 0 0 4096 2 18446604450560624704 0 0 -1 7 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=570768 CPUtime=0.05 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 1809 0 0 0 4 1 0 0 17 0 8 0 800743578 584466432 16052 33554432000 4194304 4580107 140735536519872 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=570768 CPUtime=0.07 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2312 0 0 0 6 1 0 0 17 0 8 0 800743578 584466432 16151 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=570768 CPUtime=0.08 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2263 0 0 0 7 1 0 0 18 0 8 0 800743578 584466432 16151 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=570768 CPUtime=0.09 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2133 0 0 0 7 2 0 0 17 0 8 0 800743578 584466432 16156 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=570768 CPUtime=0.07 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2466 0 0 0 6 1 0 0 17 0 8 0 800743578 584466432 16162 33554432000 4194304 4580107 140735536519872 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 570768

[startup+1.40697 s]
/proc/loadavg: 8.09 8.08 8.03 2/507 6142
/proc/meminfo: memFree=15325620/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=577640 CPUtime=10.86 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 30772 0 0 0 1067 19 0 0 18 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 144410 29069 360 95 0 139392 0
[pid=6142/tid=6143] ppid=6140 vsize=577640 CPUtime=1.29 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3734 0 0 0 128 1 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=577640 CPUtime=1.35 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 4089 0 0 0 133 2 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=577640 CPUtime=1.33 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 4075 0 0 0 131 2 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=577640 CPUtime=1.37 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 4043 0 0 0 135 2 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=577640 CPUtime=1.37 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3928 0 0 0 135 2 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4235738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=577640 CPUtime=1.37 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3752 0 0 0 135 2 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=577640 CPUtime=1.35 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2787 0 0 0 134 1 0 0 19 0 8 0 800743578 591503360 29069 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 577640

[startup+1.50696 s]
/proc/loadavg: 8.09 8.08 8.03 2/507 6142
/proc/meminfo: memFree=15325620/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=580404 CPUtime=11.66 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 32632 0 0 0 1147 19 0 0 18 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4439214 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 145101 30929 370 95 0 140083 0
[pid=6142/tid=6143] ppid=6140 vsize=580404 CPUtime=1.39 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3832 0 0 0 138 1 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=580404 CPUtime=1.45 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 5841 0 0 0 143 2 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4413093 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=580404 CPUtime=1.43 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 4075 0 0 0 141 2 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=580404 CPUtime=1.47 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 4043 0 0 0 145 2 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=580404 CPUtime=1.47 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3928 0 0 0 145 2 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=580404 CPUtime=1.47 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3753 0 0 0 145 2 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=580404 CPUtime=1.45 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2794 0 0 0 144 1 0 0 19 0 8 0 800743578 594333696 30929 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 580404

[startup+1.60694 s]
/proc/loadavg: 8.09 8.08 8.03 2/507 6142
/proc/meminfo: memFree=15325620/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=597624 CPUtime=12.44 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 43248 0 0 0 1223 21 0 0 18 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4491541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 149406 41163 374 95 0 144388 0
[pid=6142/tid=6143] ppid=6140 vsize=597624 CPUtime=1.49 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3832 0 0 0 148 1 0 0 19 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=597624 CPUtime=1.55 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7207 0 0 0 153 2 0 0 20 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=597624 CPUtime=1.52 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 6026 0 0 0 150 2 0 0 18 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4412381 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=597624 CPUtime=1.56 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 5894 0 0 0 154 2 0 0 19 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4515322 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=597624 CPUtime=1.56 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 5832 0 0 0 154 2 0 0 20 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4292044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=597624 CPUtime=1.57 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 5437 0 0 0 154 3 0 0 20 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4428667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=597624 CPUtime=1.55 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 2801 0 0 0 154 1 0 0 20 0 8 0 800743578 611966976 41163 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 597624

[startup+3.10068 s]
/proc/loadavg: 8.17 8.10 8.03 9/515 6150
/proc/meminfo: memFree=15144884/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=606784 CPUtime=24.37 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 54652 0 0 0 2414 23 0 0 21 0 8 0 800743578 621346816 45475 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 151696 45476 378 95 0 146678 0
[pid=6142/tid=6143] ppid=6140 vsize=606784 CPUtime=2.96 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7084 0 0 0 295 1 0 0 22 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=606784 CPUtime=3.04 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7719 0 0 0 302 2 0 0 24 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=606784 CPUtime=3.02 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 8021 0 0 0 299 3 0 0 20 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=606784 CPUtime=3.05 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7037 0 0 0 302 3 0 0 22 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=606784 CPUtime=3.07 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 6698 0 0 0 304 3 0 0 24 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=606784 CPUtime=3.07 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 6977 0 0 0 304 3 0 0 24 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=606784 CPUtime=3.05 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3040 0 0 0 304 1 0 0 24 0 8 0 800743578 621346816 45476 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 606784

[startup+6.30112 s]
/proc/loadavg: 8.17 8.10 8.03 9/515 6150
/proc/meminfo: memFree=15137320/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=609180 CPUtime=49.92 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 57688 0 0 0 4967 25 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 152295 47769 379 95 0 147277 0
[pid=6142/tid=6143] ppid=6140 vsize=609180 CPUtime=6.12 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7346 0 0 0 610 2 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=609180 CPUtime=6.24 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 8028 0 0 0 622 2 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=609180 CPUtime=6.22 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 8361 0 0 0 619 3 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=609180 CPUtime=6.25 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7361 0 0 0 622 3 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=609180 CPUtime=6.26 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 6992 0 0 0 623 3 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=609180 CPUtime=6.27 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 7323 0 0 0 624 3 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=609180 CPUtime=6.24 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 3780 0 0 0 623 1 0 0 25 0 8 0 800743578 623800320 47769 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 64115 0 0 0 35912 23 0 0 25 0 8 0 800743578 1119412224 181073 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1093176 CPUtime=359.37 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56709 0 0 0 35909 28 0 0 25 0 8 0 800743578 1119412224 181073 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1093176 CPUtime=359.35 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 54538 0 0 0 35915 20 0 0 25 0 8 0 800743578 1119412224 181073 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1093176 CPUtime=359.36 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 55954 0 0 0 35919 17 0 0 25 0 8 0 800743578 1119412224 181073 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2868.51
Current children cumulated vsize (KiB) 1093176

[startup+372.201 s]
/proc/loadavg: 8.14 8.09 8.03 9/515 6169
/proc/meminfo: memFree=14597324/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1093176 CPUtime=2970.69 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 475377 0 0 0 296892 177 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 273294 181752 380 95 0 268276 0
[pid=6142/tid=6143] ppid=6140 vsize=1093176 CPUtime=365.7 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 51382 0 0 0 36553 17 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1093176 CPUtime=372.15 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 71249 0 0 0 37189 26 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1093176 CPUtime=372.1 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58184 0 0 0 37193 17 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1093176 CPUtime=372.16 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 65021 0 0 0 37192 24 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1093176 CPUtime=372.16 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 57966 0 0 0 37188 28 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1093176 CPUtime=372.16 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 54660 0 0 0 37195 21 0 0 25 0 8 0 800743578 1119412224 181752 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1093176 CPUtime=372.15 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56914 0 0 0 37198 17 0 0 25 0 8 0 800743578 1119412224 181753 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2970.69
Current children cumulated vsize (KiB) 1093176

[startup+385.02 s]
/proc/loadavg: 8.20 8.10 8.03 9/515 6169
/proc/meminfo: memFree=14590188/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1104180 CPUtime=3073 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 483775 0 0 0 307121 179 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 276045 183659 380 95 0 271027 0
[pid=6142/tid=6143] ppid=6140 vsize=1104180 CPUtime=378.29 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 52831 0 0 0 37812 17 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1104180 CPUtime=384.96 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 71766 0 0 0 38470 26 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4316385 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1104180 CPUtime=384.93 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58992 0 0 0 38475 18 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1104180 CPUtime=384.97 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 68225 0 0 0 38473 24 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1104180 CPUtime=384.98 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58441 0 0 0 38469 29 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1104180 CPUtime=384.97 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 55665 0 0 0 38476 21 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1104180 CPUtime=384.97 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56914 0 0 0 38480 17 0 0 25 0 8 0 800743578 1130680320 183659 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3073
Current children cumulated vsize (KiB) 1104180

[startup+391.401 s]
/proc/loadavg: 8.18 8.10 8.03 9/515 6169
/proc/meminfo: memFree=14588576/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1104180 CPUtime=3123.95 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 486364 0 0 0 312214 181 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294910 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 276045 184353 380 95 0 271027 0
[pid=6142/tid=6143] ppid=6140 vsize=1104180 CPUtime=384.57 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 53179 0 0 0 38440 17 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1104180 CPUtime=391.35 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 71794 0 0 0 39109 26 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1104180 CPUtime=391.31 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 59420 0 0 0 39113 18 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4318673 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1104180 CPUtime=391.36 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 68814 0 0 0 39111 25 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1104180 CPUtime=391.37 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58441 0 0 0 39108 29 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1104180 CPUtime=391.35 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56045 0 0 0 39114 21 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1104180 CPUtime=391.35 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 57573 0 0 0 39118 17 0 0 25 0 8 0 800743578 1130680320 184353 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3123.95
Current children cumulated vsize (KiB) 1104180

[startup+393.001 s]
/proc/loadavg: 8.16 8.10 8.03 9/515 6169
/proc/meminfo: memFree=14585724/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1104180 CPUtime=3136.71 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 487405 0 0 0 313489 182 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 276045 185393 380 95 0 271027 0
[pid=6142/tid=6143] ppid=6140 vsize=1104180 CPUtime=386.13 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 53255 0 0 0 38596 17 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1104180 CPUtime=392.94 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 72366 0 0 0 39268 26 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1104180 CPUtime=392.91 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 59510 0 0 0 39273 18 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1104180 CPUtime=392.96 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 68921 0 0 0 39271 25 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1104180 CPUtime=392.97 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58441 0 0 0 39268 29 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1104180 CPUtime=392.95 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56141 0 0 0 39274 21 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1104180 CPUtime=392.96 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 57673 0 0 0 39278 18 0 0 25 0 8 0 800743578 1130680320 185393 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3136.71
Current children cumulated vsize (KiB) 1104180

[startup+393.819 s]
/proc/loadavg: 8.16 8.10 8.03 9/515 6169
/proc/meminfo: memFree=14582128/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1104180 CPUtime=3143.24 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 487680 0 0 0 314142 182 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 276045 185668 380 95 0 271027 0
[pid=6142/tid=6143] ppid=6140 vsize=1104180 CPUtime=386.93 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 53256 0 0 0 38676 17 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4321972 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1104180 CPUtime=393.76 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 72437 0 0 0 39350 26 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4295853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1104180 CPUtime=393.72 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 59560 0 0 0 39354 18 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1104180 CPUtime=393.78 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 68973 0 0 0 39353 25 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1104180 CPUtime=393.78 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58441 0 0 0 39349 29 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1104180 CPUtime=393.77 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56198 0 0 0 39356 21 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1104180 CPUtime=393.78 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 57717 0 0 0 39360 18 0 0 25 0 8 0 800743578 1130680320 185668 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3143.24
Current children cumulated vsize (KiB) 1104180

[startup+394.601 s]
/proc/loadavg: 8.16 8.10 8.03 9/515 6169
/proc/meminfo: memFree=14582128/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1104180 CPUtime=3149.5 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 487922 0 0 0 314768 182 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 276045 185910 380 95 0 271027 0
[pid=6142/tid=6143] ppid=6140 vsize=1104180 CPUtime=387.72 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 53256 0 0 0 38755 17 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1104180 CPUtime=394.54 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 72493 0 0 0 39428 26 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4295990 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1104180 CPUtime=394.51 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 59605 0 0 0 39433 18 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1104180 CPUtime=394.56 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 69016 0 0 0 39431 25 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4305991 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1104180 CPUtime=394.57 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58441 0 0 0 39428 29 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1104180 CPUtime=394.55 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56252 0 0 0 39434 21 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1104180 CPUtime=394.56 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 57761 0 0 0 39438 18 0 0 25 0 8 0 800743578 1130680320 185910 33554432000 4194304 4580107 140735536519872 18446744073709551615 4318711 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3149.5
Current children cumulated vsize (KiB) 1104180

[startup+394.801 s]
/proc/loadavg: 8.16 8.10 8.03 9/515 6169
/proc/meminfo: memFree=14580764/32950940 swapFree=67111364/67111528
[pid=6142] ppid=6140 vsize=1104180 CPUtime=3151.14 cores=0-7
/proc/6142/stat : 6142 (strangenight2-m) R 6140 6142 6081 0 -1 4202496 487982 0 0 0 314932 182 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6142/statm: 276045 185970 380 95 0 271027 0
[pid=6142/tid=6143] ppid=6140 vsize=1104180 CPUtime=387.92 cores=0-7
/proc/6142/task/6143/stat : 6143 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 53256 0 0 0 38775 17 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6142/tid=6144] ppid=6140 vsize=1104180 CPUtime=394.76 cores=0-7
/proc/6142/task/6144/stat : 6144 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 72508 0 0 0 39450 26 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179795 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6142/tid=6145] ppid=6140 vsize=1104180 CPUtime=394.72 cores=0-7
/proc/6142/task/6145/stat : 6145 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 59616 0 0 0 39454 18 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6142/tid=6146] ppid=6140 vsize=1104180 CPUtime=394.78 cores=0-7
/proc/6142/task/6146/stat : 6146 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 69026 0 0 0 39453 25 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6142/tid=6147] ppid=6140 vsize=1104180 CPUtime=394.78 cores=0-7
/proc/6142/task/6147/stat : 6147 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 58441 0 0 0 39449 29 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6142/tid=6148] ppid=6140 vsize=1104180 CPUtime=394.77 cores=0-7
/proc/6142/task/6148/stat : 6148 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 56266 0 0 0 39456 21 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815179792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6142/tid=6149] ppid=6140 vsize=1104180 CPUtime=394.78 cores=0-7
/proc/6142/task/6149/stat : 6149 (strangenight2-m) R 6140 6142 6081 0 -1 4202560 57771 0 0 0 39460 18 0 0 25 0 8 0 800743578 1130680320 185970 33554432000 4194304 4580107 140735536519872 18446744073709551615 47475815155243 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3151.14
Current children cumulated vsize (KiB) 1104180

Child status: 20
Real time (s): 394.854
CPU time (s): 3151.28
CPU user time (s): 3149.41
CPU system time (s): 1.86172
CPU usage (%): 798.086
Max. virtual memory (cumulated for all children) (KiB): 1175856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3149.41
system time used= 1.86172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487985
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= 21925
involuntary context switches= 15511

runsolver used 1.9957 second user time and 4.83626 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-23 00:58:48
IDJOB=3394762
IDBENCH=84215
IDSOLVER=1878
FILE ID=node117/3394762-1306105128
RUNJOBID= node117-1306105079-6095
PBS_JOBID= 13388018
Free space on /tmp= 73300 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394762-1306105128/watcher-3394762-1306105128 -o /tmp/evaluation-result-3394762-1306105128/solver-3394762-1306105128 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394762-1306105128.cnf

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

MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=682570708

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      15326024 kB
Buffers:        368896 kB
Cached:        7095684 kB
SwapCached:          0 kB
Active:       12804276 kB
Inactive:      4444964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      15326024 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7040 kB
Writeback:          36 kB
AnonPages:     9784604 kB
Mapped:          41412 kB
Slab:           247640 kB
PageTables:      57424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149472184 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= 73296 MiB
End job on node117 at 2011-05-23 01:05:23