Trace number 3393894

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 2324.67 308.686

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
MD5SUMcf1b8194ff6d413d396ac9e26bb031ef
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark164.562
Satisfiable
(Un)Satisfiability was proved
Number of variables50797
Number of clauses177980
Sum of the clauses size470252
Maximum clause length37
Minimum clause length1
Number of clauses of size 11318
Number of clauses of size 295086
Number of clauses of size 374860
Number of clauses of size 4486
Number of clauses of size 5945
Number of clauses of size over 55285

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.17/0.06	c This is CryptoMiniSat 3.0.0
0.17/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.17/0.06	c Reading file 'HOME/instance-3393894-1306070708.cnf'
0.17/0.07	c -- header says num vars:          50797
0.17/0.07	c -- header says num clauses:      177980
1.13/0.30	c -- clauses added:            0 learnts,       177980 normals,            0 xors
1.13/0.30	c -- vars added      50797
1.13/0.30	c Parsing time:  0.09 s
1.13/0.30	c  N st     0         0     50797     81576     95086         0    468934         0   no data   no data
8.86/1.24	c asymm  cl-useful: 32/2745/81426 lits-rem:64 time: 0.94
66.14/8.47	c Flit:   189 Blit:      3 bXBeca:    0 bXProp: 17530 Bins:      0 BRemL:      0 BRemN:      0 P: 127.3M T:  7.12
66.14/8.48	c Cleaning up after failed var search:     0.01 s 
66.94/8.51	c Replacing    17530 vars Replaced   329681 lits Time:     0.03 s 
66.94/8.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.94/8.55	c bin-w-bin subsume rem            6 bins  time:  0.01 s
66.94/8.56	c subs with bin:        2  lits-rem:         6  v-fix:    0  time:  0.01 s
70.12/8.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  31751 time:  0.39 s
71.71/9.14	c Removed useless bin:       2  fixed:     0  props:  20.01M  time:  0.19 s
74.09/9.43	c lits-rem:       283  cl-subs:       68  v-elim:  10583  v-fix:    0  time:  0.28 s
74.89/9.60	c Finding binary XORs  T:     0.16 s  found:    1023
75.69/9.61	c Replacing     1023 vars Replaced    21429 lits Time:     0.01 s 
75.69/9.68	c Finding non-binary XORs:     0.04 s (found:   12949, avg size: 3.0)
75.69/9.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5468 locsubst: 46782 time:   0.03
75.69/9.69	c Replacing      512 vars Replaced     5823 lits Time:     0.01 s 
76.49/9.71	c calculated reachability. Time: 0.02
76.49/9.71	c Calc default polars -  time:   0.00 s pos:    3299 undec:   38367 neg:    9131
76.49/9.71	c =========================================================================================
76.49/9.71	c types(t): F = full restart, N = normal restart
76.49/9.71	c types(t): S = simplification begin/end, E = solution found
76.49/9.71	c restart types(rt): st = static, dy = dynamic
76.49/9.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
76.49/9.71	c  B st     0         0     14165     22849     34135         0    229493         0   no data   no data
79.68/10.18	c  N dy    14      4270     14165     22849     34168      3839    229492    215946     11.25     11.99
82.08/10.47	c  N dy    34      8352     14165     22849     35351      7102    229489    303111     11.67     25.84
84.47/10.71	c  N dy    49     12560     14165     22849     35391     10377    229488    372221     10.90     11.76
86.18/10.94	c  N dy    61     16651     14164     22849     35818     13276    229487    415692     10.30     10.86
87.65/11.11	c Finding binary XORs  T:     0.11 s  found:     263
87.65/11.13	c Replacing      263 vars Replaced    17277 lits Time:     0.02 s 
89.26/11.30	c  N dy    71     20826     13901     22838     35732      8124    229440     84666      9.93     10.62
91.65/11.68	c  N dy   100     24927     13901     22838     35781     11619    229439    175362     10.44     11.39
91.65/11.69	c  F st   101     25001     13901     22838     36326     11686    229439    178350     10.46   no data
98.84/12.54	c  N dy   107     30000     13901     22838     36338     16403    229439    552950     10.46   no data
98.84/12.54	c  S st   107     30000     13901     22838     36338     16403    229439    552950     10.46   no data
99.64/12.61	c  S st   107     30504     13901     22838     36348     16842    229439    562632     10.46   no data
99.64/12.64	c x-sub:   632 x-cut:      0 vfix:      0 v-elim:   2756 locsubst:  1562 time:   0.03
124.38/15.77	c Flit:     7 Blit:     10 bXBeca:    1 bXProp: 2308 Bins:  85674 BRemL:  18035 BRemN:      0 P: 68.0M T:  3.12
125.19/15.81	c Replacing     2446 vars Replaced   285876 lits Time:     0.04 s 
125.19/15.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
125.19/15.86	c bin-w-bin subsume rem        67996 bins  time:  0.04 s
125.99/15.92	c subs with bin:     7682  lits-rem:     16199  v-fix:    0  time:  0.06 s
125.99/15.95	c Subs w/ non-existent bins:   2028 l-rem:   1879 v-fix:     0 done:   8682 time:  0.03 s
125.99/15.96	c Removed useless bin:     881  fixed:     0  props:   0.84M  time:  0.01 s
125.99/15.99	c lits-rem:        36  cl-subs:     3627  v-elim:    129  v-fix:    0  time:  0.03 s
126.78/16.00	c subs with bin:       86  lits-rem:      2852  v-fix:    0  time:  0.01 s
126.78/16.01	c lits-rem:        79  cl-subs:      239  v-elim:      0  v-fix:    0  time:  0.01 s
127.58/16.19	c asymm  cl-useful: 327/6403/9148 lits-rem:327 time: 0.18
127.58/16.19	c calculated reachability. Time: 0.00
127.58/16.19	c  N dy   107     30504      8553      9148     31253       998    106714     35831     10.46   no data
128.38/16.28	c Finding binary XORs  T:     0.08 s  found:      19
130.89/16.53	c  N dy   136     34867      8553      9148     31922      4331    106709    117104     11.13     12.11
133.17/16.81	c  N dy   168     38881      8552      9148    106367      7866    106707    372729     12.13     12.87
133.97/16.99	c  N dy   187     43524      8552      9148    106383      6508    106704    249705     12.10     13.10
135.57/17.12	c Finding binary XORs  T:     0.07 s  found:     146
135.57/17.13	c Replacing      165 vars Replaced     5851 lits Time:     0.01 s 
136.37/17.21	c  S st   203     45757      8382      9071    106477      8256    106236    304288     12.38   no data
136.37/17.27	c  S st   203     46258      8382      9071    106481      8682    106236    308947     12.38   no data
136.37/17.29	c x-sub:   305 x-cut:      0 vfix:      0 v-elim:   1234 locsubst:   889 time:   0.03
139.67/17.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:   3677 BRemL:  39485 BRemN:   1422 P:  5.8M T:  0.34
139.67/17.65	c Replacing       73 vars Replaced     1605 lits Time:     0.00 s 
139.67/17.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.67/17.67	c bin-w-bin subsume rem        44545 bins  time:  0.02 s
139.67/17.69	c subs with bin:      400  lits-rem:       121  v-fix:    0  time:  0.01 s
140.36/17.70	c Subs w/ non-existent bins:    108 l-rem:     85 v-fix:     0 done:   7075 time:  0.01 s
140.36/17.70	c Removed useless bin:      99  fixed:     0  props:   0.43M  time:  0.01 s
140.36/17.71	c lits-rem:        21  cl-subs:      105  v-elim:     36  v-fix:    0  time:  0.01 s
140.36/17.72	c subs with bin:        8  lits-rem:       128  v-fix:    0  time:  0.00 s
140.36/17.73	c lits-rem:        35  cl-subs:      293  v-elim:      0  v-fix:    0  time:  0.01 s
140.36/17.73	c vivif2 --  cl tried     8514 cl shrink       56 lits rem        100 time: 0.00
140.36/17.73	c vivif2 --  cl tried     1342 cl shrink       34 lits rem         40 time: 0.00
141.95/17.92	c asymm  cl-useful: 326/8514/8514 lits-rem:404 time: 0.19
141.95/17.92	c calculated reachability. Time: 0.00
141.95/17.92	c  N dy   203     46258      7039      8511     24333      1341     92409     31715     12.38   no data
142.75/18.00	c Finding binary XORs  T:     0.07 s  found:       2
142.75/18.07	c  N dy   212     51174      7039      8511     24842      4478     92409     78225     12.10     13.20
143.55/18.19	c  N dy   230     55903      7039      8511     24843      8441     92406    149576     12.13     13.90
145.16/18.34	c  N dy   258     59968      7039      8511     27526     11481     92399    237583     12.62     17.32
145.96/18.48	c  N dy   277     65153      7039      8511     27531      7968     92396    103943     12.78     13.95
146.76/18.61	c  N dy   294     69388      7039      8511     27533     11682     92395    187292     12.89     12.70
146.76/18.61	c  S st   294     69388      7039      8511     27533     11682     92395    187292     12.89     12.70
147.66/18.65	c  S st   294     69890      7039      8511     27535     12122     92395    192261     12.89   no data
147.66/18.67	c x-sub:    83 x-cut:      0 vfix:      0 v-elim:    254 locsubst:   419 time:   0.03
149.14/18.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   22 Bins:     48 BRemL:  10547 BRemN:     46 P:  4.5M T:  0.17
149.14/18.85	c Replacing       43 vars Replaced     1049 lits Time:     0.00 s 
149.14/18.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.14/18.86	c bin-w-bin subsume rem          352 bins  time:  0.00 s
149.14/18.87	c subs with bin:      166  lits-rem:         0  v-fix:    0  time:  0.01 s
149.14/18.88	c Subs w/ non-existent bins:     31 l-rem:      0 v-fix:     0 done:   6742 time:  0.01 s
149.14/18.88	c Removed useless bin:     103  fixed:     0  props:   0.86M  time:  0.00 s
149.14/18.89	c lits-rem:         3  cl-subs:       40  v-elim:     17  v-fix:    0  time:  0.01 s
149.14/18.90	c subs with bin:        4  lits-rem:       131  v-fix:    0  time:  0.00 s
149.94/18.91	c lits-rem:       114  cl-subs:      951  v-elim:      0  v-fix:    0  time:  0.01 s
149.94/18.91	c vivif2 --  cl tried     8296 cl shrink        7 lits rem         19 time: 0.00
149.94/18.91	c vivif2 --  cl tried     3292 cl shrink        9 lits rem         13 time: 0.00
150.74/19.09	c asymm  cl-useful: 1073/8296/8296 lits-rem:2942 time: 0.18
150.74/19.09	c calculated reachability. Time: 0.00
150.74/19.09	c  N dy   294     69890      6725      7423     17223      3292     88568     41769     12.89   no data
151.54/19.16	c Finding binary XORs  T:     0.07 s  found:     217
151.54/19.17	c Replacing      217 vars Replaced     5713 lits Time:     0.00 s 
153.14/19.35	c  N dy   333     74425      6508      7409     17045      7122     87610    181430     13.81     22.23
155.54/19.60	c  F st   355     87500      6508      7409     17053     14538     87609    347389     14.11     11.84
155.54/19.60	c  N st   355     87500      6508      7409     17053     14538     87609    347389     14.11     11.84
156.44/19.76	c Decided on static restart strategy
156.44/19.81	c  N st   362     95536      6508      7409     17152     14183     87608    288077     14.11   no data
159.52/20.11	c  N st   364    104835      6508      7409     17165     22558     87608    682283     14.11   no data
159.52/20.11	c  S st   364    104835      6508      7409     17165     22558     87608    682283     14.11   no data
159.52/20.16	c  S st   364    105338      6508      7409     17306     22988     87608    694374     14.11   no data
160.32/20.20	c x-sub:    22 x-cut:      0 vfix:      0 v-elim:    105 locsubst:   493 time:   0.04
161.12/20.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   86 Bins:   3667 BRemL:   3330 BRemN:    421 P:  4.4M T:  0.18
161.12/20.39	c Replacing      137 vars Replaced    10607 lits Time:     0.01 s 
161.92/20.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
161.92/20.40	c bin-w-bin subsume rem          247 bins  time:  0.00 s
161.92/20.41	c subs with bin:      161  lits-rem:         0  v-fix:    0  time:  0.01 s
161.92/20.42	c Subs w/ non-existent bins:     68 l-rem:      0 v-fix:     0 done:   6266 time:  0.01 s
161.92/20.43	c Removed useless bin:     130  fixed:     0  props:   0.63M  time:  0.00 s
161.92/20.44	c lits-rem:         0  cl-subs:      447  v-elim:     19  v-fix:    0  time:  0.01 s
161.92/20.46	c subs with bin:       24  lits-rem:      1390  v-fix:    0  time:  0.01 s
163.52/20.62	c lits-rem:       646  cl-subs:     1011  v-elim:      0  v-fix:    0  time:  0.16 s
163.52/20.62	c vivif2 --  cl tried     6721 cl shrink       22 lits rem         25 time: 0.00
163.52/20.63	c vivif2 --  cl tried    11446 cl shrink      342 lits rem       1420 time: 0.01
164.32/20.77	c asymm  cl-useful: 491/6721/6721 lits-rem:1581 time: 0.14
164.32/20.77	c calculated reachability. Time: 0.00
164.32/20.77	c  N st   364    105338      6247      6354     16962     11446     82065    304328     14.11   no data
166.70/21.03	c  N st   365    114937      6247      6354     16962     10885     82065    333005     14.11   no data
167.50/21.11	c Finding binary XORs  T:     0.07 s  found:     276
167.50/21.12	c Replacing      276 vars Replaced    10714 lits Time:     0.01 s 
170.70/21.57	c  N st   366    129334      5971      6235     16647     22121     80627    932146     14.11   no data
171.50/21.64	c Finding binary XORs  T:     0.07 s  found:      39
177.09/22.32	c  N st   367    150929      5971      6235     20184     25412     80627   1020399     14.11   no data
177.88/22.47	c  S st   368    158007      5971      6235     20223     30795     80627   1223374     14.11   no data
180.27/22.71	c  S st   368    158508      5971      6235     78986     31185     80627   1347080     14.11   no data
180.27/22.78	c x-sub:    51 x-cut:      0 vfix:      0 v-elim:    102 locsubst:    40 time:   0.07
182.78/23.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   49 Bins:    128 BRemL:  27153 BRemN:    116 P:  4.6M T:  0.26
182.78/23.07	c Replacing       95 vars Replaced    16235 lits Time:     0.02 s 
182.78/23.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.78/23.09	c bin-w-bin subsume rem        31703 bins  time:  0.02 s
182.78/23.11	c subs with bin:      159  lits-rem:         0  v-fix:    0  time:  0.01 s
183.58/23.12	c Subs w/ non-existent bins:     31 l-rem:      0 v-fix:     0 done:   5774 time:  0.01 s
183.58/23.12	c Removed useless bin:     149  fixed:     0  props:   0.66M  time:  0.01 s
183.58/23.13	c lits-rem:         0  cl-subs:      692  v-elim:     33  v-fix:    0  time:  0.01 s
184.27/23.20	c subs with bin:       13  lits-rem:       145  v-fix:    0  time:  0.05 s
202.63/25.58	c lits-rem:       865  cl-subs:     2101  v-elim:      0  v-fix:    0  time:  2.38 s
202.63/25.58	c vivif2 --  cl tried     5336 cl shrink       14 lits rem         22 time: 0.00
203.43/25.60	c vivif2 --  cl tried    16512 cl shrink       40 lits rem        114 time: 0.02
203.43/25.69	c asymm  cl-useful: 246/5336/5336 lits-rem:770 time: 0.09
204.23/25.70	c calculated reachability. Time: 0.00
204.23/25.70	c  N st   368    158508      5741      5150     19471     16512     74500    591210     14.11   no data
204.23/25.78	c Finding binary XORs  T:     0.08 s  found:      42
215.42/27.16	c  N st   369    207096      5741      5150     19471     23612     74500    593884     14.11   no data
216.22/27.23	c Finding binary XORs  T:     0.06 s  found:     355
216.22/27.25	c Replacing      397 vars Replaced    18235 lits Time:     0.02 s 
224.20/28.21	c  N st   370    237763      5344      4703     23247     27380     72222   1070857     14.11   no data
224.20/28.21	c  S st   370    237763      5344      4703     23247     27380     72222   1070857     14.11   no data
224.20/28.25	c  S st   370    238266      5344      4703     23325     27740     72222   1077588     14.11   no data
225.00/28.34	c x-sub:    32 x-cut:      0 vfix:      0 v-elim:     83 locsubst:  2097 time:   0.09
225.80/28.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    936 BRemL:   6968 BRemN:    204 P:  3.3M T:  0.14
225.80/28.51	c Replacing      173 vars Replaced    16580 lits Time:     0.02 s 
225.80/28.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
225.80/28.51	c bin-w-bin subsume rem          463 bins  time:  0.00 s
226.69/28.52	c subs with bin:      183  lits-rem:         0  v-fix:    0  time:  0.01 s
226.69/28.53	c Subs w/ non-existent bins:     31 l-rem:      0 v-fix:     0 done:   5088 time:  0.01 s
226.69/28.53	c Removed useless bin:      34  fixed:     0  props:   0.31M  time:  0.00 s
226.69/28.55	c lits-rem:         1  cl-subs:      672  v-elim:     74  v-fix:    0  time:  0.01 s
226.69/28.57	c subs with bin:        5  lits-rem:        11  v-fix:    0  time:  0.00 s
259.34/32.67	c lits-rem:      1347  cl-subs:     4070  v-elim:      0  v-fix:    0  time:  4.11 s
259.34/32.67	c vivif2 --  cl tried     4066 cl shrink       16 lits rem         33 time: 0.00
259.34/32.69	c vivif2 --  cl tried    15601 cl shrink        6 lits rem          6 time: 0.01
260.15/32.74	c asymm  cl-useful: 400/4066/4066 lits-rem:1317 time: 0.05
260.15/32.74	c calculated reachability. Time: 0.00
260.15/32.74	c  N st   370    238266      5014      3708     16350     15601     66887    532538     14.11   no data
311.25/39.16	c  F st   371    306251      5014      3708     16351     41523     66886   3235117     14.11   no data
311.25/39.17	c  N st   371    306251      5014      3708     16351     41523     66886   3235117     14.11   no data
312.05/39.26	c Finding binary XORs  T:     0.09 s  found:     112
313.64/39.40	c Replacing      112 vars Replaced    71007 lits Time:     0.14 s 
316.83/39.83	c Decided on static restart strategy
325.62/40.96	c Finding binary XORs  T:     0.06 s  found:      72
326.42/41.02	c Replacing       72 vars Replaced    10300 lits Time:     0.06 s 
334.40/42.03	c  N st   381    334554      4830      3605     24807     42573     66355   3057775     14.11   no data
347.19/43.66	c Finding binary XORs  T:     0.06 s  found:       8
349.68/43.96	c  N st   383    357399      4830      3605     25253     35378     66355   2231596     14.11   no data
349.68/43.96	c  S st   383    357399      4830      3605     25253     35378     66355   2231596     14.11   no data
349.68/44.00	c  S st   383    357900      4830      3605     25258     35710     66355   2235156     14.11   no data
350.49/44.09	c x-sub:   267 x-cut:      0 vfix:      0 v-elim:     49 locsubst:   217 time:   0.08
351.97/44.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    299 BRemL:   5604 BRemN:     80 P:  2.8M T:  0.12
351.97/44.24	c Replacing       34 vars Replaced     5824 lits Time:     0.03 s 
351.97/44.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
351.97/44.24	c bin-w-bin subsume rem          482 bins  time:  0.00 s
351.97/44.26	c subs with bin:      101  lits-rem:         0  v-fix:    0  time:  0.01 s
351.97/44.26	c Subs w/ non-existent bins:     26 l-rem:      0 v-fix:     0 done:   4747 time:  0.01 s
351.97/44.27	c Removed useless bin:      10  fixed:     0  props:   0.26M  time:  0.00 s
351.97/44.29	c lits-rem:         0  cl-subs:      158  v-elim:     98  v-fix:    0  time:  0.02 s
352.77/44.33	c subs with bin:        6  lits-rem:        14  v-fix:    0  time:  0.01 s
406.29/51.07	c lits-rem:       552  cl-subs:     2087  v-elim:      0  v-fix:    0  time:  6.73 s
406.29/51.07	c vivif2 --  cl tried     3658 cl shrink       20 lits rem         41 time: 0.00
407.08/51.10	c vivif2 --  cl tried    26128 cl shrink        9 lits rem          9 time: 0.03
407.08/51.14	c asymm  cl-useful: 452/3658/3658 lits-rem:1363 time: 0.04
407.08/51.14	c calculated reachability. Time: 0.00
407.08/51.14	c  N st   383    357900      4649      3250     19026     26128     61190   1378734     14.11   no data
412.67/51.82	c  N st   384    390292      4649      3250     19026     28551     61190   1142206     14.11   no data
413.47/51.90	c Finding binary XORs  T:     0.08 s  found:      17
423.05/53.12	c  N st   385    438880      4649      3250     20762     42686     61190   1439916     14.11   no data
435.84/54.71	c  N st   386    511762      4649      3250     20801     43809     61190   1842642     14.11   no data
453.41/56.92	c  N st   387    536851      4649      3250     20810     39837     61190   2280123     14.11   no data
453.41/56.92	c  S st   387    536851      4649      3250     20810     39837     61190   2280123     14.11   no data
453.41/56.97	c  S st   387    537354      4616      3250     20827     40196     61190   2286141     14.11   no data
454.21/57.05	c x-sub:    28 x-cut:      0 vfix:      0 v-elim:     21 locsubst:    36 time:   0.08
455.11/57.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   42 Bins:   6835 BRemL:   6726 BRemN:     61 P:  2.7M T:  0.12
455.91/57.25	c Replacing       95 vars Replaced    18742 lits Time:     0.08 s 
455.91/57.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
455.91/57.26	c bin-w-bin subsume rem          758 bins  time:  0.00 s
455.91/57.27	c subs with bin:      121  lits-rem:        13  v-fix:    0  time:  0.01 s
455.91/57.28	c Subs w/ non-existent bins:     15 l-rem:      0 v-fix:     0 done:   4500 time:  0.00 s
455.91/57.28	c Removed useless bin:      17  fixed:     0  props:   0.21M  time:  0.00 s
456.60/57.31	c lits-rem:         3  cl-subs:       90  v-elim:     58  v-fix:    0  time:  0.02 s
456.60/57.36	c subs with bin:        6  lits-rem:        40  v-fix:    0  time:  0.01 s
505.31/63.41	c lits-rem:      1723  cl-subs:     2912  v-elim:      0  v-fix:    0  time:  6.05 s
505.31/63.41	c vivif2 --  cl tried     3160 cl shrink       28 lits rem         59 time: 0.00
505.31/63.44	c vivif2 --  cl tried    30790 cl shrink       12 lits rem         14 time: 0.03
505.31/63.48	c asymm  cl-useful: 107/3159/3159 lits-rem:113 time: 0.04
505.31/63.48	c calculated reachability. Time: 0.00
505.31/63.48	c  N st   387    537354      4442      3158     18721     30790     56662   1716607     14.11   no data
554.82/69.67	c  N st   388    701339      4442      3158     18723     39616     56661   1654007     14.11   no data
555.62/69.75	c Finding binary XORs  T:     0.06 s  found:      54
555.62/69.76	c Replacing       54 vars Replaced     2808 lits Time:     0.01 s 
696.98/87.42	c  N st   389    806031      4352      3115     23745     68277     55057   5385967     14.11   no data
696.98/87.42	c  S st   389    806031      4352      3115     23745     68277     55057   5385967     14.11   no data
697.78/87.51	c Finding binary XORs  T:     0.04 s  found:      42
697.78/87.59	c  S st   389    806533      4351      3115     29327     68651     55027   5414941     14.11   no data
698.58/87.67	c x-sub:    12 x-cut:      0 vfix:      0 v-elim:      7 locsubst:    42 time:   0.08
700.18/87.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    347 BRemL:   8029 BRemN:      2 P:  2.9M T:  0.13
701.89/88.05	c Replacing       49 vars Replaced    66370 lits Time:     0.25 s 
701.89/88.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
701.89/88.06	c bin-w-bin subsume rem         1482 bins  time:  0.00 s
701.89/88.07	c subs with bin:      221  lits-rem:        51  v-fix:    0  time:  0.01 s
701.89/88.08	c Subs w/ non-existent bins:     22 l-rem:      0 v-fix:     0 done:   4295 time:  0.00 s
701.89/88.08	c Removed useless bin:       4  fixed:     0  props:   0.17M  time:  0.00 s
702.57/88.13	c lits-rem:         0  cl-subs:       70  v-elim:     43  v-fix:    0  time:  0.05 s
704.17/88.38	c subs with bin:       14  lits-rem:      2807  v-fix:    0  time:  0.11 s
953.34/119.56	c lits-rem:       761  cl-subs:     4527  v-elim:      0  v-fix:    0  time: 31.17 s
953.34/119.56	c vivif2 --  cl tried     2915 cl shrink       10 lits rem         27 time: 0.00
954.14/119.64	c vivif2 --  cl tried    63741 cl shrink       44 lits rem         45 time: 0.08
954.14/119.69	c asymm  cl-useful: 149/2915/2915 lits-rem:410 time: 0.05
954.14/119.70	c calculated reachability. Time: 0.00
954.14/119.70	c  N st   389    806533      4252      2800     19854     63741     52814   4991160     14.11   no data
1377.50/172.64	c  F st   390   1071875      4252      2800     19859     59262     52814   4591686     14.11   no data
1377.50/172.65	c  N st   390   1071875      4252      2800     19859     59262     52814   4591686     14.11   no data
1378.30/172.74	c Finding binary XORs  T:     0.05 s  found:     226
1379.78/172.90	c Replacing      227 vars Replaced    45795 lits Time:     0.16 s 
1383.78/173.42	c Decided on static restart strategy
1395.87/174.99	c  N st   400   1100177      3594      2619     11119     80980     36852   6746796     14.11   no data
1404.66/176.03	c  N st   402   1136170      3593      2619     11119     65028     36852   3841123     14.11   no data
1412.64/177.09	c  N st   403   1168562      3593      2619     11119     48478     36852   2690368     14.11   no data
1413.44/177.15	c Finding binary XORs  T:     0.04 s  found:      29
1413.44/177.17	c Replacing       59 vars Replaced     8156 lits Time:     0.02 s 
1424.50/178.55	c  N st   404   1209800      3435      2577      8327     43121     33025   2630290     14.11   no data
1424.50/178.55	c  S st   404   1209800      3435      2577      8327     43121     33025   2630290     14.11   no data
1425.30/178.60	c  S st   404   1210303      3435      2577      8390     43486     33024   2639508     14.11   no data
1425.30/178.69	c x-sub:    17 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    70 time:   0.09
1426.10/178.76	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   20 Bins:   4110 BRemL:   4097 BRemN:     16 P:  1.6M T:  0.07
1426.90/178.80	c Replacing       27 vars Replaced     3691 lits Time:     0.03 s 
1426.90/178.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1426.90/178.80	c bin-w-bin subsume rem          814 bins  time:  0.00 s
1426.90/178.80	c subs with bin:       72  lits-rem:       244  v-fix:    0  time:  0.00 s
1426.90/178.81	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   3402 time:  0.00 s
1426.90/178.81	c Removed useless bin:       8  fixed:     0  props:   0.09M  time:  0.00 s
1426.90/178.84	c lits-rem:         0  cl-subs:      198  v-elim:     99  v-fix:    0  time:  0.03 s
1427.70/178.90	c subs with bin:       17  lits-rem:        64  v-fix:    0  time:  0.00 s
1624.27/203.58	c lits-rem:      6804  cl-subs:     3656  v-elim:      0  v-fix:    0  time: 24.68 s
1624.27/203.58	c vivif2 --  cl tried     2425 cl shrink       11 lits rem         21 time: 0.00
1624.94/203.62	c vivif2 --  cl tried    36220 cl shrink        0 lits rem          0 time: 0.03
1624.94/203.65	c asymm  cl-useful: 143/2425/2425 lits-rem:216 time: 0.03
1624.94/203.65	c calculated reachability. Time: 0.00
1624.94/203.65	c  N st   404   1210303      3303      2425      6664     36220     30360   2099630     14.11   no data
1655.31/207.41	c  N st   405   1283186      3303      2425      6664     55531     30360   2874283     14.11   no data
1655.31/207.47	c Finding binary XORs  T:     0.05 s  found:       2
1704.82/213.69	c  N st   406   1392510      3303      2425      6733     56704     30360   3609457     14.11   no data
1705.62/213.73	c Finding binary XORs  T:     0.04 s  found:       1
1770.29/221.83	c  N st   407   1556494      3303      2425      9324     49984     30360   3060779     14.11   no data
1813.43/227.20	c  N st   408   1710303      3303      2425      9325     76605     30360   3497471     14.11   no data
1813.43/227.20	c  S st   408   1710303      3303      2425      9325     76605     30360   3497471     14.11   no data
1813.43/227.27	c  S st   408   1710808      3303      2425      9326     76950     30360   3502235     14.11   no data
1814.22/227.35	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     6 time:   0.08
1815.02/227.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      7 BRemL:    743 BRemN:      0 P:  1.6M T:  0.07
1815.02/227.45	c Replacing        7 vars Replaced     3644 lits Time:     0.03 s 
1815.02/227.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1815.02/227.45	c bin-w-bin subsume rem         2059 bins  time:  0.00 s
1815.02/227.46	c subs with bin:      249  lits-rem:         6  v-fix:    0  time:  0.00 s
1815.02/227.46	c Subs w/ non-existent bins:     34 l-rem:      0 v-fix:     0 done:   3296 time:  0.00 s
1815.02/227.46	c Removed useless bin:       2  fixed:     0  props:   0.07M  time:  0.00 s
1815.82/227.50	c lits-rem:         1  cl-subs:       52  v-elim:     11  v-fix:    0  time:  0.04 s
1815.82/227.59	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  0.00 s
2324.40/308.52	c lits-rem:      2377  cl-subs:    32277  v-elim:      0  v-fix:    0  time: 80.93 s
2324.40/308.52	c vivif2 --  cl tried     2102 cl shrink        4 lits rem          6 time: 0.00
2324.40/308.55	c vivif2 --  cl tried    44491 cl shrink        0 lits rem          0 time: 0.03
2324.40/308.57	c asymm  cl-useful: 87/2102/2102 lits-rem:130 time: 0.02
2324.40/308.57	c calculated reachability. Time: 0.00
2324.40/308.57	c  N st   408   1710808      3285      2102      6445     44491     28835   2367985     14.11   no data
2324.40/308.58	c Following stats are for *FIRST FINISHED THREAD ONLY*
2324.40/308.58	c num threads              : 8          
2324.40/308.58	c restarts                 : 9515       
2324.40/308.58	c dynamic restarts         : 9485       
2324.40/308.58	c static restarts          : 30         
2324.40/308.58	c full restarts            : 4          
2324.40/308.58	c total simplify time      : 2.86       
2324.40/308.58	c learnts DL2              : 0          
2324.40/308.58	c learnts size 2           : 542751     
2324.40/308.58	c learnts size 1           : 3148        (6.20      % of vars)
2324.40/308.58	c filedLit time            : 9.60        (3.11      % time)
2324.40/308.58	c v-elim SatELite          : 15176       (29.88     % vars)
2324.40/308.58	c SatELite time            : 2.11        (0.68      % time)
2324.40/308.58	c v-elim xor               : 0           (0.00      % vars)
2324.40/308.58	c xor elim time            : 0.05        (0.02      % time)
2324.40/308.58	c num binary xor trees     : 4049       
2324.40/308.58	c binxor trees' crown      : 26957       (6.66      leafs/tree)
2324.40/308.58	c bin xor find time        : 2.00       
2324.40/308.58	c OTF clause improved      : 154903      (0.07      clauses/conflict)
2324.40/308.58	c OTF impr. size diff      : 158332      (1.02       lits/clause)
2324.40/308.58	c OTF cl watch-shrink      : 555295      (0.26      clauses/conflict)
2324.40/308.58	c OTF cl watch-sh-lit      : 965748      (1.74       lits/clause)
2324.40/308.58	c tried to recurMin cls    : 866668      (40.96      % of conflicts)
2324.40/308.58	c updated cache            : 64055       (0.07       lits/tried recurMin)
2324.40/308.58	c unit cls recevied        : 128         (4.07      % of units)
2324.40/308.58	c unit cls sent            : 2712        (86.15     % of units)
2324.40/308.58	c bin cls recevied         : 289672     
2324.40/308.58	c bin cls sent             : 195167     
2324.40/308.58	c clauses over max glue    : 0           (0.00      % of all clauses)
2324.40/308.58	c conflicts                : 2115859     (6865.41   / sec)
2324.40/308.58	c decisions                : 5435028     (5.86      % random)
2324.40/308.58	c bogo-props               : 24795349569 (80454451.11 / sec)
2324.40/308.58	c conflict literals        : 45594469    (8.95      % deleted)
2324.40/308.58	c Memory used              : 3058.24     MB
2324.40/308.58	c single-thread CPU time   : 308.19      s
2324.40/308.58	c all-threads sum CPU time : 2320.65     s
2324.40/308.58	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-3393894-1306070708/watcher-3393894-1306070708 -o /tmp/evaluation-result-3393894-1306070708/solver-3393894-1306070708 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393894-1306070708.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: 4.13 5.88 3.71 2/408 31509
/proc/meminfo: memFree=15080748/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=92144 CPUtime=0.04 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 413 0 0 0 4 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575474 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 23036 353 299 95 0 18018 0
[pid=31509/tid=31510] ppid=31507 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=92144 CPUtime=0 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=92144 CPUtime=0 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=92144 CPUtime=0 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=92144 CPUtime=0 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=92144 CPUtime=0 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 174680249 94355456 353 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575474 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.03656 s]
/proc/loadavg: 4.13 5.88 3.71 2/408 31509
/proc/meminfo: memFree=15080748/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=92144 CPUtime=0.17 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 419 0 0 0 17 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575059 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 23036 359 302 95 0 18018 0
[pid=31509/tid=31510] ppid=31507 vsize=92144 CPUtime=0.03 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575059 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=92144 CPUtime=0.03 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=92144 CPUtime=0.02 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575059 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=92144 CPUtime=0 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 174680249 94355456 359 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575474 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 92144

[startup+0.100719 s]
/proc/loadavg: 4.13 5.88 3.71 2/408 31509
/proc/meminfo: memFree=15080748/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=563176 CPUtime=0.58 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 9844 0 0 0 53 5 0 0 17 0 8 0 174680249 576692224 9001 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 140794 9002 338 95 0 135776 0
[pid=31509/tid=31510] ppid=31507 vsize=563176 CPUtime=0.07 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 1254 0 0 0 7 0 0 0 17 0 8 0 174680249 576692224 9007 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=563176 CPUtime=0.08 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 1079 0 0 0 8 0 0 0 17 0 8 0 174680249 576692224 9039 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=563176 CPUtime=0.08 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 1122 0 0 0 8 0 0 0 17 0 8 0 174680249 576692224 9059 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=563176 CPUtime=0.05 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 1157 0 0 0 5 0 0 0 17 0 8 0 174680249 576692224 9077 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 18446604451132932352 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=563176 CPUtime=0.06 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 1121 0 0 0 6 0 0 0 17 0 8 0 174680249 576692224 9082 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=563176 CPUtime=0.06 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 1262 0 0 0 6 0 0 0 17 0 8 0 174680249 576692224 9096 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=563176 CPUtime=0.02 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 1274 0 0 0 2 0 0 0 17 0 8 0 174680249 576692224 9100 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880261899 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 563176

[startup+0.30286 s]
/proc/loadavg: 4.13 5.88 3.71 2/408 31509
/proc/meminfo: memFree=15080748/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=639428 CPUtime=1.68 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 54049 0 0 0 119 49 0 0 17 0 8 0 174680249 654774272 45770 33554432000 4194304 4580107 140734792475536 18446744073709551615 4501068 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 159857 45775 355 95 0 154839 0
[pid=31509/tid=31510] ppid=31507 vsize=639428 CPUtime=0.22 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6417 0 0 0 16 6 0 0 17 0 8 0 174680249 654774272 45775 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=639428 CPUtime=0.21 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6453 0 0 0 16 5 0 0 17 0 8 0 174680249 654774272 45777 33554432000 4194304 4580107 140734792475536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=639428 CPUtime=0.22 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6813 0 0 0 16 6 0 0 17 0 8 0 174680249 654774272 45778 33554432000 4194304 4580107 140734792475536 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=639428 CPUtime=0.2 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6632 0 0 0 14 6 0 0 17 0 8 0 174680249 654774272 45779 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=639428 CPUtime=0.2 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 7200 0 0 0 15 5 0 0 17 0 8 0 174680249 654774272 45783 33554432000 4194304 4580107 140734792475536 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=639428 CPUtime=0.2 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6730 0 0 0 14 6 0 0 17 0 8 0 174680249 654774272 45784 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=639428 CPUtime=0.16 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6455 0 0 0 10 6 0 0 17 0 8 0 174680249 654774272 45785 33554432000 4194304 4580107 140734792475536 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 639428

[startup+0.70045 s]
/proc/loadavg: 4.13 5.88 3.71 2/408 31509
/proc/meminfo: memFree=15080748/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=639688 CPUtime=4.87 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 54864 0 0 0 437 50 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 159922 46433 360 95 0 154904 0
[pid=31509/tid=31510] ppid=31507 vsize=639688 CPUtime=0.62 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6424 0 0 0 56 6 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=639688 CPUtime=0.61 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6467 0 0 0 56 5 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=639688 CPUtime=0.61 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6943 0 0 0 55 6 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=639688 CPUtime=0.59 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6639 0 0 0 53 6 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=639688 CPUtime=0.6 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 7206 0 0 0 55 5 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=639688 CPUtime=0.6 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 6736 0 0 0 54 6 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=639688 CPUtime=0.55 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 7066 0 0 0 49 6 0 0 18 0 8 0 174680249 655040512 46433 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 639688

[startup+1.5003 s]
/proc/loadavg: 4.13 5.88 3.71 10/416 31517
/proc/meminfo: memFree=14896664/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=653636 CPUtime=11.23 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 71591 0 0 0 1069 54 0 0 18 0 8 0 174680249 669323264 63160 33554432000 4194304 4580107 140734792475536 18446744073709551615 4231546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 163409 63164 362 95 0 158391 0
[pid=31509/tid=31510] ppid=31507 vsize=653636 CPUtime=1.42 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 8638 0 0 0 135 7 0 0 18 0 8 0 174680249 669323264 63164 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=653636 CPUtime=1.42 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 8559 0 0 0 136 6 0 0 19 0 8 0 174680249 669323264 63166 33554432000 4194304 4580107 140734792475536 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=653636 CPUtime=1.41 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 9194 0 0 0 135 6 0 0 19 0 8 0 174680249 669323264 63166 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=653636 CPUtime=1.39 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 8926 0 0 0 133 6 0 0 18 0 8 0 174680249 669323264 63166 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=653636 CPUtime=1.38 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 9536 0 0 0 132 6 0 0 19 0 8 0 174680249 669323264 63166 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=653636 CPUtime=1.4 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 9134 0 0 0 133 7 0 0 18 0 8 0 174680249 669323264 63166 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=653636 CPUtime=1.36 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 7867 0 0 0 129 7 0 0 19 0 8 0 174680249 669323264 63166 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 653636

[startup+3.10102 s]
/proc/loadavg: 4.60 5.95 3.74 9/416 31517
/proc/meminfo: memFree=14698636/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=1036720 CPUtime=23.94 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 158650 0 0 0 2320 74 0 0 18 0 8 0 174680249 1061601280 150219 33554432000 4194304 4580107 140734792475536 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 259180 150219 362 95 0 254162 0
[pid=31509/tid=31510] ppid=31507 vsize=1036720 CPUtime=3.01 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 20769 0 0 0 292 9 0 0 19 0 8 0 174680249 1061601280 150219 33554432000 4194304 4580107 140734792475536 18446744073709551615 4234877 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=1036720 CPUtime=3.01 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 20797 0 0 0 292 9 0 0 22 0 8 0 174680249 1061601280 150219 33554432000 4194304 4580107 140734792475536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=1036720 CPUtime=3 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 21395 0 0 0 291 9 0 0 18 0 8 0 174680249 1061601280 150219 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=1036720 CPUtime=2.97 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 21584 0 0 0 289 8 0 0 18 0 8 0 174680249 1061601280 150222 33554432000 4194304 4580107 140734792475536 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=1036720 CPUtime=2.95 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 22006 0 0 0 287 8 0 0 18 0 8 0 174680249 1061601280 150226 33554432000 4194304 4580107 140734792475536 18446744073709551615 4235628 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=1036720 CPUtime=3 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 21729 0 0 0 289 11 0 0 20 0 8 0 174680249 1061601280 150230 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=1036720 CPUtime=2.95 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 8242 0 0 0 288 7 0 0 20 0 8 0 174680249 1061601280 150231 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.94
Current children cumulated vsize (KiB) 1036720

[startup+6.30044 s]
/proc/loadavg: 4.60 5.95 3.74 10/416 31517
/proc/meminfo: memFree=14077476/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=1425328 CPUtime=49.36 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 262512 0 0 0 4831 105 0 0 19 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 356332 250952 363 95 0 351314 0
[pid=31509/tid=31510] ppid=31507 vsize=1425328 CPUtime=6.19 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 35384 0 0 0 606 13 0 0 20 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=1425328 CPUtime=6.19 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 35469 0 0 0 605 14 0 0 19 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=1425328 CPUtime=6.19 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 35867 0 0 0 606 13 0 0 19 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4235738 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=1425328 CPUtime=6.16 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 35480 0 0 0 604 12 0 0 20 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=1425328 CPUtime=6.08 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 36121 0 0 0 596 12 0 0 19 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=1425328 CPUtime=6.18 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 35476 0 0 0 602 16 0 0 19 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4236333 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=1425328 CPUtime=6.14 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 12438 0 0 0 606 8 0 0 25 0 8 0 174680249 1459535872 250952 33554432000 4194304 4580107 140734792475536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0

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

/proc/loadavg: 7.34 7.12 4.85 4/416 31525
/proc/meminfo: memFree=12584620/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3197168 CPUtime=2286.77 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374586 0 0 0 228286 391 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 799292 623008 381 95 0 794274 0
[pid=31509/tid=31510] ppid=31507 vsize=3197168 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3197168 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3197168 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3197168 CPUtime=294.15 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 192299 0 0 0 29369 46 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3197168 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3197168 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3197168 CPUtime=294.14 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 29391 23 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550660 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2286.77
Current children cumulated vsize (KiB) 3197168

[startup+300.701 s]
/proc/loadavg: 6.99 7.05 4.84 4/416 31525
/proc/meminfo: memFree=12584496/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3197168 CPUtime=2305.97 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374586 0 0 0 230206 391 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 799292 623008 381 95 0 794274 0
[pid=31509/tid=31510] ppid=31507 vsize=3197168 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3197168 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3197168 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3197168 CPUtime=300.55 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 192299 0 0 0 30009 46 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 4416896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3197168 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3197168 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3197168 CPUtime=300.54 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 30031 23 0 0 25 0 8 0 174680249 3273900032 623008 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2305.97
Current children cumulated vsize (KiB) 3197168

[startup+303.901 s]
/proc/loadavg: 6.67 6.98 4.83 4/416 31525
/proc/meminfo: memFree=12584860/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3131632 CPUtime=2315.2 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374592 0 0 0 231129 391 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 4416041 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 782908 622786 381 95 0 777890 0
[pid=31509/tid=31510] ppid=31507 vsize=3131632 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3131632 CPUtime=303.39 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 192305 0 0 0 30293 46 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3131632 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3131632 CPUtime=303.74 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 30351 23 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550656 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2315.2
Current children cumulated vsize (KiB) 3131632

[startup+307.1 s]
/proc/loadavg: 6.30 6.90 4.81 3/416 31525
/proc/meminfo: memFree=12584896/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3131632 CPUtime=2321.6 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374592 0 0 0 231769 391 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 4416036 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 782908 622786 381 95 0 777890 0
[pid=31509/tid=31510] ppid=31507 vsize=3131632 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3131632 CPUtime=303.39 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 192305 0 0 0 30293 46 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3131632 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3131632 CPUtime=306.94 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 30671 23 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550660 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2321.6
Current children cumulated vsize (KiB) 3131632

[startup+307.901 s]
/proc/loadavg: 6.30 6.90 4.81 3/416 31525
/proc/meminfo: memFree=12584896/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3131632 CPUtime=2323.23 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374592 0 0 0 231932 391 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 782908 622786 381 95 0 777890 0
[pid=31509/tid=31510] ppid=31507 vsize=3131632 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3131632 CPUtime=303.39 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 192305 0 0 0 30293 46 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3131632 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3131632 CPUtime=307.75 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 30752 23 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550660 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2323.23
Current children cumulated vsize (KiB) 3131632

[startup+308.301 s]
/proc/loadavg: 6.30 6.90 4.81 3/416 31525
/proc/meminfo: memFree=12584896/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3131632 CPUtime=2324 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374592 0 0 0 232009 391 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 782908 622786 381 95 0 777890 0
[pid=31509/tid=31510] ppid=31507 vsize=3131632 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3131632 CPUtime=303.39 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 192305 0 0 0 30293 46 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3131632 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3131632 CPUtime=308.14 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 30791 23 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550660 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2324
Current children cumulated vsize (KiB) 3131632

[startup+308.501 s]
/proc/loadavg: 6.30 6.90 4.81 3/416 31525
/proc/meminfo: memFree=12584896/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=3131632 CPUtime=2324.4 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) R 31507 31509 31362 0 -1 4202496 1374592 0 0 0 232049 391 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 4415679 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 782908 622786 381 95 0 777890 0
[pid=31509/tid=31510] ppid=31507 vsize=3131632 CPUtime=281.59 cores=0-7
/proc/31509/task/31510/stat : 31510 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 202750 0 0 0 28103 56 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 2 0 0 0
[pid=31509/tid=31511] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31511/stat : 31511 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 159769 0 0 0 28112 52 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 0 0 0 0
[pid=31509/tid=31512] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31512/stat : 31512 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 200714 0 0 0 28110 54 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 6 0 0 0
[pid=31509/tid=31513] ppid=31507 vsize=3131632 CPUtime=303.39 cores=0-7
/proc/31509/task/31513/stat : 31513 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 192305 0 0 0 30293 46 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 3 0 0 0
[pid=31509/tid=31514] ppid=31507 vsize=3131632 CPUtime=277.76 cores=0-7
/proc/31509/task/31514/stat : 31514 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 153800 0 0 0 27732 44 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 7 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=3131632 CPUtime=281.64 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) S 31507 31509 31362 0 -1 4202560 181737 0 0 0 28103 61 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119575092 0 0 4096 2 18446604451132932352 0 0 -1 5 0 0 0
[pid=31509/tid=31516] ppid=31507 vsize=3131632 CPUtime=308.34 cores=0-7
/proc/31509/task/31516/stat : 31516 (strangenight2-m) R 31507 31509 31362 0 -1 4202560 80259 0 0 0 30811 23 0 0 25 0 8 0 174680249 3206791168 622786 33554432000 4194304 4580107 140734792475536 18446744073709551615 47754119550660 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2324.4
Current children cumulated vsize (KiB) 3131632

[startup+308.601 s]
/proc/loadavg: 6.30 6.90 4.81 3/416 31525
/proc/meminfo: memFree=12584896/32950928 swapFree=62959428/67111528
[pid=31509] ppid=31507 vsize=0 CPUtime=2324.58 cores=0-7
/proc/31509/stat : 31509 (strangenight2-m) Z 31507 31509 31362 0 -1 4203548 1374596 0 0 0 232065 393 0 0 25 0 2 0 174680249 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31509/statm: 0 0 0 0 0 0 0
[pid=31509/tid=31515] ppid=31507 vsize=0 CPUtime=281.66 cores=0-7
/proc/31509/task/31515/stat : 31515 (strangenight2-m) R 31507 31509 31362 0 -1 4203588 181737 0 0 0 28103 63 0 0 18 0 2 0 174680249 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2324.58
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 308.686
CPU time (s): 2324.67
CPU user time (s): 2320.66
CPU system time (s): 4.01839
CPU usage (%): 753.086
Max. virtual memory (cumulated for all children) (KiB): 3368008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2320.66
system time used= 4.01839
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1374596
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= 79525
involuntary context switches= 10147

runsolver used 1.10383 second user time and 3.14452 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-22 15:25:08
IDJOB=3393894
IDBENCH=20536
IDSOLVER=1878
FILE ID=node112/3393894-1306070708
RUNJOBID= node112-1306069997-31376
PBS_JOBID= 13387891
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393894-1306070708/watcher-3393894-1306070708 -o /tmp/evaluation-result-3393894-1306070708/solver-3393894-1306070708 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393894-1306070708.cnf

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

MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=1358379174

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
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.61
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.847
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.847
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.847
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:     32950928 kB
MemFree:      15081276 kB
Buffers:        197516 kB
Cached:        5743580 kB
SwapCached:      74060 kB
Active:        2785672 kB
Inactive:     14834324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15081276 kB
SwapTotal:    67111528 kB
SwapFree:     62959428 kB
Dirty:            9724 kB
Writeback:           0 kB
AnonPages:    11614112 kB
Mapped:          23032 kB
Slab:           122296 kB
PageTables:      59392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98617364 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= 73324 MiB
End job on node112 at 2011-05-22 15:30:17