Trace number 3321010

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-mtUNSAT 3034.81 400.368

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
MD5SUM337e301d7c1a4748ec4a1ced7e688c38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark201.281
Satisfiable
(Un)Satisfiability was proved
Number of variables45937
Number of clauses166840
Sum of the clauses size445312
Maximum clause length37
Minimum clause length1
Number of clauses of size 11058
Number of clauses of size 285826
Number of clauses of size 373620
Number of clauses of size 4406
Number of clauses of size 5785
Number of clauses of size over 55145

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	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-3321010-1304322187.cnf'
0.23/0.04	c -- header says num vars:          45937
0.23/0.04	c -- header says num clauses:      166840
1.03/0.23	c -- clauses added:            0 learnts,       166840 normals,            0 xors
1.03/0.23	c -- vars added      45937
1.03/0.23	c Parsing time:  0.08 s
1.03/0.23	c  N st     0         0     45937     79956     85826         0    444254         0   no data   no data
8.79/1.26	c asymm  cl-useful: 8/3058/79806 lits-rem:15 time: 0.84
50.50/6.76	c Flit:   149 Blit:      3 bXBeca:    0 bXProp: 14030 Bins:      0 BRemL:      0 BRemN:      0 P: 105.2M T:  5.48
50.50/6.77	c Cleaning up after failed var search:     0.01 s 
51.11/6.80	c Replacing    14030 vars Replaced   284641 lits Time:     0.03 s 
52.51/7.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
52.51/7.03	c bin-w-bin subsume rem            6 bins  time:  0.01 s
52.51/7.05	c subs with bin:        2  lits-rem:         5  v-fix:    0  time:  0.01 s
57.62/7.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30691 time:  0.46 s
59.15/8.06	c Removed useless bin:       2  fixed:     0  props:  20.00M  time:  0.19 s
61.55/8.33	c lits-rem:        13  cl-subs:       68  v-elim:  10230  v-fix:    0  time:  0.27 s
62.35/8.48	c Finding binary XORs  T:     0.14 s  found:     983
62.35/8.49	c Replacing      983 vars Replaced    21072 lits Time:     0.01 s 
63.15/8.56	c Finding non-binary XORs:     0.05 s (found:   12642, avg size: 3.0)
63.15/8.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5368 locsubst: 31182 time:   0.03
63.15/8.57	c Replacing      432 vars Replaced     4943 lits Time:     0.01 s 
63.15/8.59	c calculated reachability. Time: 0.02
63.94/8.60	c Calc default polars -  time:   0.00 s pos:    3284 undec:   33637 neg:    9016
63.94/8.60	c =========================================================================================
63.94/8.60	c types(t): F = full restart, N = normal restart
63.94/8.60	c types(t): S = simplification begin/end, E = solution found
63.94/8.60	c restart types(rt): st = static, dy = dynamic
63.94/8.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
63.94/8.60	c  B st     0         0     13678     22649     33895         0    227729         0   no data   no data
66.39/9.00	c  N dy    19      4003     13678     22649     33935      3395    227728    140980     15.90     21.94
68.73/9.22	c  N dy    31      8065     13678     22649     35195      6391    227727    198001     11.24     12.16
69.53/9.39	c  N dy    40     12408     13676     22649     35227      9523    227727    239525      9.79     10.36
71.93/9.65	c  N dy    59     16470     13676     22649     35405     12673    227725    292909      9.39      9.94
72.73/9.77	c Finding binary XORs  T:     0.10 s  found:     217
72.73/9.79	c Replacing      217 vars Replaced    11853 lits Time:     0.02 s 
75.92/10.14	c  N dy    74     20912     13459     22643     35360      8254    227680     85737      9.71     10.32
79.11/10.50	c  F st   100     25001     13459     22643     35938     11686    227679    178818     10.02   no data
79.11/10.51	c  N st   100     25001     13459     22643     35938     11686    227679    178818     10.02   no data
84.70/11.25	c  N dy   106     30000     13459     22643     35946     16567    227678    477294     10.02   no data
84.70/11.25	c  S st   106     30000     13459     22643     35946     16567    227678    477294     10.02   no data
85.50/11.33	c  S st   106     30504     13459     22643     35967     17006    227678    484556     10.02   no data
85.50/11.36	c x-sub:   532 x-cut:      0 vfix:      0 v-elim:   2716 locsubst:  1205 time:   0.03
112.57/14.76	c Flit:    15 Blit:      8 bXBeca:    0 bXProp: 2306 Bins:  73147 BRemL:  15028 BRemN:      0 P: 66.9M T:  3.39
112.57/14.80	c Replacing     2418 vars Replaced   249151 lits Time:     0.04 s 
113.37/14.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.37/14.85	c bin-w-bin subsume rem        59724 bins  time:  0.05 s
114.17/14.91	c subs with bin:     6792  lits-rem:     16170  v-fix:    0  time:  0.05 s
114.17/14.95	c Subs w/ non-existent bins:   2680 l-rem:   2599 v-fix:     0 done:   8299 time:  0.04 s
114.17/14.96	c Removed useless bin:     340  fixed:     0  props:   0.66M  time:  0.01 s
114.17/14.99	c lits-rem:       241  cl-subs:     3613  v-elim:     92  v-fix:    0  time:  0.03 s
114.96/15.00	c subs with bin:      160  lits-rem:      2270  v-fix:    0  time:  0.01 s
114.96/15.01	c lits-rem:       119  cl-subs:      384  v-elim:      0  v-fix:    0  time:  0.01 s
116.56/15.20	c asymm  cl-useful: 312/6056/9114 lits-rem:315 time: 0.19
116.56/15.21	c calculated reachability. Time: 0.00
116.56/15.21	c  N dy   106     30504      8207      9113     30145      1173    107645     31813     10.02   no data
116.56/15.28	c Finding binary XORs  T:     0.07 s  found:      29
119.03/15.53	c  N dy   131     34561      8207      9113     31256      4722    107642    113229     10.60     12.78
120.56/15.71	c  N dy   151     38670      8207      9113     92882      7980    107640    301376     10.90     11.66
121.35/15.80	c Finding binary XORs  T:     0.07 s  found:     178
121.35/15.81	c Replacing      207 vars Replaced     8651 lits Time:     0.01 s 
122.96/16.03	c  N dy   178     42753      8000      9030     92466      6078    107167    212561     11.42     17.00
124.56/16.21	c  S st   196     45756      8000      9030     92497      8487    107165    275765     11.70   no data
124.56/16.27	c  S st   196     46259      8000      9030     92507      8907    107165    279813     11.70   no data
125.36/16.30	c x-sub:   259 x-cut:      0 vfix:      0 v-elim:   1190 locsubst:  1213 time:   0.03
127.77/16.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:   3154 BRemL:  33130 BRemN:   1438 P:  5.8M T:  0.37
127.77/16.68	c Replacing       88 vars Replaced     1638 lits Time:     0.01 s 
127.77/16.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.51/16.71	c bin-w-bin subsume rem        37934 bins  time:  0.03 s
128.51/16.72	c subs with bin:      176  lits-rem:        37  v-fix:    0  time:  0.01 s
128.51/16.73	c Subs w/ non-existent bins:      6 l-rem:    164 v-fix:     0 done:   6722 time:  0.01 s
128.51/16.74	c Removed useless bin:      85  fixed:     0  props:   0.60M  time:  0.01 s
128.51/16.75	c lits-rem:        18  cl-subs:      232  v-elim:     11  v-fix:    0  time:  0.01 s
128.51/16.75	c subs with bin:        2  lits-rem:        71  v-fix:    0  time:  0.00 s
128.51/16.76	c lits-rem:        62  cl-subs:      289  v-elim:      0  v-fix:    0  time:  0.01 s
128.51/16.77	c vivif2 --  cl tried     8610 cl shrink       30 lits rem         71 time: 0.00
128.51/16.77	c vivif2 --  cl tried     1549 cl shrink       27 lits rem         33 time: 0.00
130.91/17.00	c asymm  cl-useful: 356/8610/8610 lits-rem:375 time: 0.23
130.91/17.01	c calculated reachability. Time: 0.00
130.91/17.01	c  N dy   196     46259      6711      8609     22926      1548     93495     28426     11.70   no data
131.71/17.11	c Finding binary XORs  T:     0.06 s  found:       2
131.71/17.14	c  N dy   206     50309      6711      8609     28390      4130     93495     79661     11.61     23.75
132.51/17.27	c  N dy   229     54370      6711      8609     28392      7104     93495    158973     12.17     24.80
134.11/17.44	c  N dy   255     58476      6711      8609     40553     10372     93495    283053     12.78     13.50
134.91/17.60	c Finding binary XORs  T:     0.06 s  found:      29
135.76/17.66	c  N dy   278     62787      6711      8609     40713     13874     93494    369932     13.07     13.90
137.30/17.87	c  N dy   304     67777      6711      8609     40714     10282     93494    196659     13.47     14.95
138.10/17.91	c  S st   310     69389      6711      8609     40720     11768     93494    226178     13.45      9.06
138.10/17.96	c  S st   310     69891      6711      8609     40722     12206     93494    234610     13.45   no data
138.10/17.99	c x-sub:   106 x-cut:      0 vfix:      0 v-elim:    252 locsubst:   516 time:   0.03
140.50/18.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   34 Bins:    210 BRemL:  18877 BRemN:     33 P:  5.0M T:  0.25
140.50/18.24	c Replacing       88 vars Replaced     2232 lits Time:     0.00 s 
140.50/18.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.50/18.25	c bin-w-bin subsume rem         4264 bins  time:  0.00 s
140.50/18.26	c subs with bin:      318  lits-rem:       189  v-fix:    0  time:  0.01 s
140.50/18.28	c Subs w/ non-existent bins:    139 l-rem:     99 v-fix:     0 done:   6371 time:  0.01 s
140.50/18.28	c Removed useless bin:     140  fixed:     0  props:   0.97M  time:  0.01 s
140.50/18.29	c lits-rem:         8  cl-subs:       91  v-elim:     25  v-fix:    0  time:  0.01 s
141.30/18.30	c subs with bin:       46  lits-rem:       322  v-fix:    0  time:  0.00 s
141.30/18.32	c lits-rem:       156  cl-subs:      765  v-elim:      0  v-fix:    0  time:  0.01 s
141.30/18.32	c vivif2 --  cl tried     8152 cl shrink       59 lits rem         73 time: 0.00
141.30/18.32	c vivif2 --  cl tried     4180 cl shrink       10 lits rem         11 time: 0.00
142.89/18.51	c asymm  cl-useful: 1177/8152/8152 lits-rem:3345 time: 0.19
142.89/18.51	c calculated reachability. Time: 0.00
142.89/18.51	c  N dy   310     69891      6346      7207     18349      4180     88279     57322     13.45   no data
143.69/18.64	c  N dy   332     75594      6346      7207     18351      8538     88279    157278     13.68     14.51
144.55/18.72	c  N dy   339     81120      6346      7207     18976     13620     88279    237997     13.44     14.47
146.10/18.93	c  N dy   365     86667      6346      7207     19085     17752     88279    375214     14.06     14.88
146.10/18.94	c  F st   366     87501      6346      7207     19085     18543     88279    387337     14.01      8.80
147.70/19.17	c Decided on static restart strategy
147.70/19.17	c  N st   372     92698      6346      7207     19089     13873     88279    321811     14.01   no data
148.50/19.29	c Finding binary XORs  T:     0.06 s  found:     280
149.30/19.31	c Replacing      280 vars Replaced    22159 lits Time:     0.02 s 
149.30/19.38	c  N st   374     99809      6066      7059     19311     19840     86661    470366     14.01   no data
150.10/19.47	c  S st   375    104837      6066      7059     19311     23876     86661    573803     14.01   no data
150.90/19.52	c  S st   375    105339      6066      7059     19333     24294     86661    577918     14.01   no data
150.90/19.57	c x-sub:    27 x-cut:      0 vfix:      0 v-elim:    100 locsubst:   459 time:   0.05
152.49/19.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:   3288 BRemL:   3972 BRemN:    357 P:  4.5M T:  0.21
152.49/19.79	c Replacing       69 vars Replaced     5478 lits Time:     0.01 s 
152.49/19.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.49/19.80	c bin-w-bin subsume rem          968 bins  time:  0.00 s
153.34/19.81	c subs with bin:      140  lits-rem:         0  v-fix:    0  time:  0.01 s
153.34/19.82	c Subs w/ non-existent bins:     83 l-rem:      0 v-fix:     0 done:   5897 time:  0.01 s
153.34/19.83	c Removed useless bin:      64  fixed:     0  props:   0.61M  time:  0.00 s
153.34/19.84	c lits-rem:         3  cl-subs:      458  v-elim:     31  v-fix:    0  time:  0.01 s
153.34/19.86	c subs with bin:        8  lits-rem:      1404  v-fix:    0  time:  0.01 s
155.69/20.11	c lits-rem:      1486  cl-subs:     2410  v-elim:      0  v-fix:    0  time:  0.24 s
155.69/20.11	c vivif2 --  cl tried     6526 cl shrink       32 lits rem         45 time: 0.00
155.69/20.12	c vivif2 --  cl tried    13488 cl shrink       90 lits rem        143 time: 0.01
156.49/20.26	c asymm  cl-useful: 445/6526/6526 lits-rem:1316 time: 0.15
156.49/20.27	c calculated reachability. Time: 0.00
156.49/20.27	c  N st   375    105339      5866      6238     17282     13488     81688    232475     14.01   no data
157.29/20.33	c Finding binary XORs  T:     0.07 s  found:     176
157.29/20.34	c Replacing      176 vars Replaced     6554 lits Time:     0.01 s 
158.88/20.52	c  N st   376    114938      5690      6234     16919     11078     80965    258449     14.01   no data
164.47/21.28	c  N st   377    129336      5690      6234     16984     23137     80964   1220379     14.01   no data
165.27/21.34	c Finding binary XORs  T:     0.06 s  found:      95
166.07/21.40	c Replacing       95 vars Replaced    24117 lits Time:     0.06 s 
181.20/23.37	c  N st   378    150931      5595      6112     19942     26690     80393   1485501     14.01   no data
182.00/23.45	c Finding binary XORs  T:     0.06 s  found:     134
182.80/23.50	c Replacing      134 vars Replaced    38376 lits Time:     0.06 s 
183.60/23.61	c  S st   379    158009      5461      5963     86479     31606     79666   1753155     14.01   no data
183.60/23.66	c  S st   379    158514      5461      5963     86500     32006     79666   1760194     14.01   no data
184.40/23.74	c x-sub:    56 x-cut:      0 vfix:      0 v-elim:     89 locsubst:   466 time:   0.09
186.81/24.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bins:    160 BRemL:  29731 BRemN:    136 P:  4.4M T:  0.29
186.81/24.05	c Replacing       61 vars Replaced     4109 lits Time:     0.01 s 
186.81/24.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
186.81/24.09	c bin-w-bin subsume rem        35907 bins  time:  0.03 s
187.61/24.10	c subs with bin:      259  lits-rem:         0  v-fix:    0  time:  0.01 s
187.61/24.11	c Subs w/ non-existent bins:     48 l-rem:      0 v-fix:     0 done:   5311 time:  0.01 s
187.61/24.11	c Removed useless bin:     124  fixed:     0  props:   0.76M  time:  0.01 s
187.61/24.13	c lits-rem:         4  cl-subs:      790  v-elim:     49  v-fix:    0  time:  0.01 s
187.61/24.17	c subs with bin:       10  lits-rem:       122  v-fix:    0  time:  0.03 s
190.79/24.59	c lits-rem:      1306  cl-subs:     1171  v-elim:      0  v-fix:    0  time:  0.42 s
191.59/24.60	c vivif2 --  cl tried     5098 cl shrink       56 lits rem         92 time: 0.00
191.59/24.61	c vivif2 --  cl tried    13067 cl shrink       23 lits rem         23 time: 0.01
192.39/24.70	c asymm  cl-useful: 303/5098/5098 lits-rem:1050 time: 0.09
192.39/24.71	c calculated reachability. Time: 0.00
192.39/24.71	c  N st   379    158514      5262      4844     20300     13067     73411    476547     14.01   no data
231.53/29.69	c  N st   380    207102      5262      4844     20303     28809     73408   2276923     14.01   no data
232.38/29.77	c Finding binary XORs  T:     0.07 s  found:     469
233.93/29.90	c Replacing      469 vars Replaced   114545 lits Time:     0.13 s 
262.70/33.54	c  N st   381    237771      4793      4530     27642     37199     71679   2846405     14.01   no data
262.70/33.55	c  S st   381    237771      4793      4530     27642     37199     71679   2846405     14.01   no data
263.50/33.60	c Finding binary XORs  T:     0.06 s  found:      94
264.30/33.70	c Replacing       94 vars Replaced    21412 lits Time:     0.09 s 
264.30/33.74	c  S st   381    238274      4699      4508     28629     37517     71568   2851020     14.01   no data
265.10/33.87	c x-sub:   285 x-cut:      0 vfix:      0 v-elim:     69 locsubst:   341 time:   0.12
266.70/34.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    517 BRemL:  10291 BRemN:    195 P:  3.1M T:  0.16
266.70/34.04	c Replacing       40 vars Replaced      787 lits Time:     0.01 s 
266.70/34.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.70/34.04	c bin-w-bin subsume rem          601 bins  time:  0.00 s
266.70/34.06	c subs with bin:      251  lits-rem:         0  v-fix:    0  time:  0.01 s
266.70/34.07	c Subs w/ non-existent bins:     60 l-rem:      0 v-fix:     0 done:   4590 time:  0.01 s
266.70/34.07	c Removed useless bin:      40  fixed:     0  props:   0.29M  time:  0.00 s
266.70/34.09	c lits-rem:         0  cl-subs:      550  v-elim:     95  v-fix:    0  time:  0.02 s
267.55/34.12	c subs with bin:        6  lits-rem:         2  v-fix:    0  time:  0.01 s
275.47/35.12	c lits-rem:      1628  cl-subs:      896  v-elim:      0  v-fix:    0  time:  0.99 s
275.47/35.12	c vivif2 --  cl tried     4053 cl shrink       63 lits rem        100 time: 0.00
275.47/35.14	c vivif2 --  cl tried    18035 cl shrink        3 lits rem          3 time: 0.02
275.47/35.19	c asymm  cl-useful: 525/4053/4053 lits-rem:1784 time: 0.05
275.47/35.19	c calculated reachability. Time: 0.00
275.47/35.19	c  N st   381    238274      4495      3571     17720     18035     64073    948614     14.01   no data
333.00/42.34	c  F st   382    306252      4495      3571     17722     43528     64073   3895519     14.01   no data
333.00/42.34	c  N st   382    306252      4495      3571     17722     43528     64073   3895519     14.01   no data
333.79/42.43	c Finding binary XORs  T:     0.08 s  found:      21
337.00/42.80	c Decided on static restart strategy
347.44/44.16	c  N st   392    334556      4495      3571     18109     43634     64067   2858778     14.01   no data
359.36/45.69	c  N st   394    357412      4495      3571     18115     36378     64067   2338490     14.01   no data
359.36/45.69	c  S st   394    357412      4495      3571     18115     36378     64067   2338490     14.01   no data
360.15/45.74	c Finding binary XORs  T:     0.05 s  found:      20
360.15/45.79	c  S st   394    357913      4495      3571     22055     36756     64067   2352993     14.01   no data
360.95/45.87	c x-sub:    38 x-cut:      0 vfix:      0 v-elim:     36 locsubst:    52 time:   0.07
362.56/46.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    334 BRemL:   2925 BRemN:    130 P:  2.7M T:  0.15
362.56/46.05	c Replacing       47 vars Replaced     7370 lits Time:     0.03 s 
362.56/46.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
362.56/46.05	c bin-w-bin subsume rem          460 bins  time:  0.00 s
362.56/46.07	c subs with bin:       87  lits-rem:         0  v-fix:    0  time:  0.01 s
362.56/46.08	c Subs w/ non-existent bins:     58 l-rem:      0 v-fix:     0 done:   4412 time:  0.01 s
362.56/46.08	c Removed useless bin:      28  fixed:     0  props:   0.22M  time:  0.00 s
363.36/46.11	c lits-rem:         0  cl-subs:       56  v-elim:     80  v-fix:    0  time:  0.03 s
363.36/46.20	c subs with bin:       10  lits-rem:        25  v-fix:    0  time:  0.02 s
434.52/55.03	c lits-rem:      2000  cl-subs:     2782  v-elim:      0  v-fix:    0  time:  8.83 s
434.52/55.03	c vivif2 --  cl tried     3617 cl shrink       17 lits rem         35 time: 0.00
434.52/55.08	c vivif2 --  cl tried    32912 cl shrink       29 lits rem         55 time: 0.05
435.31/55.12	c asymm  cl-useful: 366/3617/3617 lits-rem:1089 time: 0.04
435.31/55.12	c calculated reachability. Time: 0.00
435.31/55.12	c  N st   394    357913      4332      3284     18468     32912     60792   2089501     14.01   no data
456.82/57.88	c  N st   395    390305      4332      3284     18468     35651     60791   2134709     14.01   no data
457.62/57.95	c Finding binary XORs  T:     0.06 s  found:      16
497.57/62.98	c  N st   396    438893      4332      3284     19458     47637     60791   3589364     14.01   no data
498.37/63.02	c Finding binary XORs  T:     0.04 s  found:      17
557.54/70.41	c  N st   397    511776      4332      3284     23872     50834     60791   2818339     14.01   no data
557.54/70.48	c Finding binary XORs  T:     0.04 s  found:      42
558.34/70.52	c Replacing       85 vars Replaced    12166 lits Time:     0.05 s 
583.92/73.75	c  N st   398    536870      4237      3242     24365     43775     60161   3079589     14.01   no data
583.92/73.75	c  S st   398    536870      4237      3242     24365     43775     60161   3079589     14.01   no data
584.73/73.81	c  S st   398    537373      4209      3242     24389     44154     60161   3092615     14.01   no data
584.73/73.89	c x-sub:    40 x-cut:      0 vfix:      0 v-elim:     18 locsubst:    89 time:   0.08
586.26/74.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   37 Bins:   6787 BRemL:   8709 BRemN:     55 P:  2.7M T:  0.17
587.04/74.12	c Replacing       68 vars Replaced     6181 lits Time:     0.06 s 
587.04/74.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
587.04/74.12	c bin-w-bin subsume rem          911 bins  time:  0.00 s
587.04/74.14	c subs with bin:      104  lits-rem:        16  v-fix:    0  time:  0.01 s
587.04/74.14	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:     0 done:   4123 time:  0.01 s
587.04/74.15	c Removed useless bin:      35  fixed:     0  props:   0.20M  time:  0.00 s
587.04/74.19	c lits-rem:         0  cl-subs:       77  v-elim:     36  v-fix:    0  time:  0.05 s
588.64/74.33	c subs with bin:        8  lits-rem:      3487  v-fix:    0  time:  0.05 s
658.96/83.12	c lits-rem:      2381  cl-subs:     2201  v-elim:      0  v-fix:    0  time:  8.79 s
658.96/83.12	c vivif2 --  cl tried     3141 cl shrink       12 lits rem         27 time: 0.00
658.96/83.17	c vivif2 --  cl tried    40681 cl shrink      133 lits rem        139 time: 0.05
659.76/83.21	c asymm  cl-useful: 103/3141/3141 lits-rem:132 time: 0.04
659.76/83.22	c calculated reachability. Time: 0.00
659.76/83.22	c  N st   398    537373      4087      3135     19487     40681     56188   2819899     14.01   no data
926.69/116.61	c  N st   399    701358      4087      3135     19487     56443     56188   4441938     14.01   no data
926.69/116.70	c Finding binary XORs  T:     0.05 s  found:      85
929.04/116.90	c Replacing       85 vars Replaced    53983 lits Time:     0.21 s 
1029.72/129.59	c  N st   400    806059      3981      3088     28332     69011     55068   5281195     14.01   no data
1029.72/129.59	c  S st   400    806059      3981      3088     28332     69011     55068   5281195     14.01   no data
1030.52/129.67	c Finding binary XORs  T:     0.04 s  found:      97
1032.17/129.82	c Replacing       97 vars Replaced    19399 lits Time:     0.15 s 
1032.97/129.91	c  S st   400    806562      3777      3013     27966     69176     50604   5281981     14.01   no data
1033.71/130.00	c x-sub:    15 x-cut:      0 vfix:      0 v-elim:      1 locsubst:   117 time:   0.09
1034.51/130.19	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   37 Bins:   8917 BRemL:  14550 BRemN:      8 P:  3.1M T:  0.19
1035.31/130.26	c Replacing       46 vars Replaced     3609 lits Time:     0.07 s 
1035.31/130.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1035.31/130.26	c bin-w-bin subsume rem         2400 bins  time:  0.00 s
1035.31/130.28	c subs with bin:      170  lits-rem:       138  v-fix:    0  time:  0.01 s
1035.31/130.28	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:     0 done:   3728 time:  0.01 s
1035.31/130.28	c Removed useless bin:       2  fixed:     0  props:   0.16M  time:  0.00 s
1036.10/130.36	c lits-rem:         0  cl-subs:      101  v-elim:     45  v-fix:    0  time:  0.08 s
1038.51/130.63	c subs with bin:       35  lits-rem:        87  v-fix:    0  time:  0.12 s
1231.09/154.76	c lits-rem:      1641  cl-subs:     3075  v-elim:      0  v-fix:    0  time: 24.12 s
1231.09/154.76	c vivif2 --  cl tried     2839 cl shrink       15 lits rem         37 time: 0.00
1231.88/154.85	c vivif2 --  cl tried    64598 cl shrink       13 lits rem         21 time: 0.08
1231.88/154.89	c asymm  cl-useful: 117/2839/2839 lits-rem:336 time: 0.04
1231.88/154.89	c calculated reachability. Time: 0.00
1231.88/154.89	c  N st   400    806562      3683      2755     19533     64598     46984   4899478     14.01   no data
1557.12/195.59	c  F st   401   1071875      3683      2755     19533     65312     46984   4195504     14.01   no data
1557.12/195.59	c  N st   401   1071875      3683      2755     19533     65312     46984   4195504     14.01   no data
1557.92/195.67	c Finding binary XORs  T:     0.05 s  found:     112
1558.72/195.75	c Replacing      112 vars Replaced    17467 lits Time:     0.08 s 
1560.37/195.93	c Decided on static restart strategy
1565.91/196.66	c  N st   411   1100176      3477      2676     25064     43542     43177   2181577     14.01   no data
1573.10/197.53	c  N st   413   1136169      3477      2676     25064     69302     43177   3444242     14.01   no data
1632.22/204.96	c  N st   414   1168561      3477      2676     25088     58884     43177   4133295     14.01   no data
1633.02/205.03	c Finding binary XORs  T:     0.03 s  found:      65
1633.02/205.05	c Replacing       67 vars Replaced     3307 lits Time:     0.02 s 
1649.00/207.00	c  N st   415   1209844      3253      2618     16362     50042     37351   2505544     14.01   no data
1649.00/207.00	c  S st   415   1209844      3253      2618     16362     50042     37351   2505544     14.01   no data
1649.00/207.07	c  S st   415   1210347      3239      2618     16383     50379     37351   2514556     14.01   no data
1649.80/207.15	c x-sub:    17 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     9 time:   0.08
1650.60/207.27	c Flit:    78 Blit:      7 bXBeca:    0 bXProp:   34 Bins:  11924 BRemL:   9144 BRemN:     19 P:  2.2M T:  0.12
1651.41/207.30	c Replacing       35 vars Replaced     6299 lits Time:     0.01 s 
1651.41/207.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1651.41/207.31	c bin-w-bin subsume rem         1195 bins  time:  0.00 s
1651.41/207.31	c subs with bin:      107  lits-rem:       338  v-fix:    0  time:  0.00 s
1651.41/207.31	c Subs w/ non-existent bins:     14 l-rem:      0 v-fix:     0 done:   3116 time:  0.00 s
1651.41/207.31	c Removed useless bin:       2  fixed:     0  props:   0.10M  time:  0.00 s
1651.41/207.35	c lits-rem:         0  cl-subs:      160  v-elim:     87  v-fix:    0  time:  0.04 s
1652.20/207.42	c subs with bin:       15  lits-rem:        69  v-fix:    0  time:  0.01 s
1714.53/215.22	c lits-rem:      3118  cl-subs:     2819  v-elim:      0  v-fix:    0  time:  7.80 s
1714.53/215.22	c vivif2 --  cl tried     2476 cl shrink       52 lits rem        209 time: 0.00
1714.53/215.25	c vivif2 --  cl tried    46262 cl shrink        5 lits rem         10 time: 0.03
1714.53/215.28	c asymm  cl-useful: 114/2461/2461 lits-rem:169 time: 0.03
1714.53/215.29	c calculated reachability. Time: 0.00
1714.53/215.29	c  N st   415   1210347      3029      2461     11314     46262     31386   2259556     14.01   no data
1781.63/223.66	c  N st   416   1283229      3029      2461     11314     63039     31386   3905007     14.01   no data
1782.43/223.74	c Finding binary XORs  T:     0.04 s  found:      11
1875.97/235.48	c  N st   417   1392553      2991      2458      6945     72228     30091   4235646     14.01   no data
1876.77/235.51	c Finding binary XORs  T:     0.03 s  found:       1
2029.36/254.68	c  N st   418   1556537      2991      2458      9731     66399     30091   3644116     14.01   no data
2030.16/254.75	c Finding binary XORs  T:     0.03 s  found:      58
2030.16/254.79	c Replacing       82 vars Replaced     6333 lits Time:     0.04 s 
2174.88/272.82	c  N st   419   1710347      2840      2091      2805     96212     24734   6587837     14.01   no data
2174.88/272.82	c  S st   419   1710347      2840      2091      2805     96212     24734   6587837     14.01   no data
2174.88/272.86	c Finding binary XORs  T:     0.03 s  found:       9
2175.69/272.97	c  S st   419   1710851      2840      2091      2914     96576     24734   6600893     14.01   no data
2176.41/273.06	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:      3 locsubst:   280 time:   0.09
2177.21/273.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    205 BRemL:    236 BRemN:      4 P:  1.6M T:  0.11
2178.01/273.20	c Replacing      147 vars Replaced     4236 lits Time:     0.03 s 
2178.01/273.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2178.01/273.20	c bin-w-bin subsume rem           37 bins  time:  0.00 s
2178.01/273.21	c subs with bin:      229  lits-rem:         8  v-fix:    0  time:  0.00 s
2178.01/273.21	c Subs w/ non-existent bins:     32 l-rem:      0 v-fix:     0 done:   2690 time:  0.00 s
2178.01/273.21	c Removed useless bin:      10  fixed:     0  props:   0.06M  time:  0.00 s
2178.81/273.30	c lits-rem:        18  cl-subs:       66  v-elim:     57  v-fix:    0  time:  0.09 s
2180.42/273.51	c subs with bin:        4  lits-rem:        35  v-fix:    0  time:  0.00 s
2832.53/355.10	c lits-rem:      2931  cl-subs:     3338  v-elim:      0  v-fix:    0  time: 81.58 s
2832.53/355.10	c vivif2 --  cl tried     1616 cl shrink       15 lits rem         22 time: 0.00
2832.53/355.19	c vivif2 --  cl tried    92087 cl shrink        1 lits rem          1 time: 0.09
2833.33/355.21	c asymm  cl-useful: 185/1616/1616 lits-rem:572 time: 0.02
2833.33/355.22	c calculated reachability. Time: 0.00
2833.33/355.22	c  N st   419   1710851      2633      1602      2491     92087     22921   6233397     14.01   no data
3034.59/400.24	c Following stats are for *FIRST FINISHED THREAD ONLY*
3034.59/400.24	c num threads              : 8          
3034.59/400.24	c restarts                 : 12251      
3034.59/400.24	c dynamic restarts         : 12221      
3034.59/400.24	c static restarts          : 30         
3034.59/400.24	c full restarts            : 4          
3034.59/400.24	c total simplify time      : 3.43       
3034.59/400.24	c learnts DL2              : 0          
3034.59/400.24	c learnts size 2           : 559187     
3034.59/400.24	c learnts size 1           : 2679        (5.83      % of vars)
3034.59/400.24	c filedLit time            : 9.21        (2.31      % time)
3034.59/400.24	c v-elim SatELite          : 14866       (32.36     % vars)
3034.59/400.24	c SatELite time            : 3.38        (0.85      % time)
3034.59/400.24	c v-elim xor               : 0           (0.00      % vars)
3034.59/400.24	c xor elim time            : 0.06        (0.02      % time)
3034.59/400.24	c num binary xor trees     : 3664       
3034.59/400.24	c binxor trees' crown      : 23768       (6.49      leafs/tree)
3034.59/400.24	c bin xor find time        : 2.13       
3034.59/400.24	c OTF clause improved      : 204190      (0.08      clauses/conflict)
3034.59/400.24	c OTF impr. size diff      : 209124      (1.02       lits/clause)
3034.59/400.24	c OTF cl watch-shrink      : 709026      (0.26      clauses/conflict)
3034.59/400.24	c OTF cl watch-sh-lit      : 1261039     (1.78       lits/clause)
3034.59/400.24	c tried to recurMin cls    : 1159852     (42.61      % of conflicts)
3034.59/400.24	c updated cache            : 83125       (0.07       lits/tried recurMin)
3034.59/400.24	c unit cls recevied        : 133         (4.96      % of units)
3034.59/400.24	c unit cls sent            : 3109        (116.05    % of units)
3034.59/400.24	c bin cls recevied         : 301074     
3034.59/400.24	c bin cls sent             : 194780     
3034.59/400.24	c clauses over max glue    : 0           (0.00      % of all clauses)
3034.59/400.24	c conflicts                : 2722331     (6819.02   / sec)
3034.59/400.24	c decisions                : 7103874     (4.56      % random)
3034.59/400.24	c bogo-props               : 33068593366 (82831698.97 / sec)
3034.59/400.24	c conflict literals        : 58249797    (9.35      % deleted)
3034.59/400.24	c Memory used              : 3219.51     MB
3034.59/400.24	c single-thread CPU time   : 399.23      s
3034.59/400.24	c all-threads sum CPU time : 3028.95     s
3034.59/400.24	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: 935)

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

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/231 31760
/proc/meminfo: memFree=28648340/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=92188 CPUtime=0.02 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 413 0 0 0 2 0 0 0 22 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 23047 353 299 106 0 18018 0
[pid=31760/tid=31761] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755058 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755058 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755058 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755058 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=92188 CPUtime=0 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543818323 94400512 353 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265755062 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0405309 s]
/proc/loadavg: 0.00 0.00 0.00 2/231 31760
/proc/meminfo: memFree=28648340/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=289788 CPUtime=0.23 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 2589 0 0 0 23 0 0 0 18 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 4530259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31760/statm: 72447 2500 332 106 0 67418 0
[pid=31760/tid=31761] ppid=31758 vsize=289788 CPUtime=0.03 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 282 0 0 0 3 0 0 0 23 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227263179934 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=289788 CPUtime=0.03 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 270 0 0 0 3 0 0 0 23 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227263179931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=289788 CPUtime=0.03 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 271 0 0 0 3 0 0 0 18 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227263179934 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=289788 CPUtime=0.02 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 270 0 0 0 2 0 0 0 24 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647146299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=289788 CPUtime=0.03 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 271 0 0 0 3 0 0 0 18 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227263179910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=289788 CPUtime=0 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 265 0 0 0 0 0 0 0 24 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 210646832848 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=289788 CPUtime=0.03 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 272 0 0 0 3 0 0 0 24 0 8 0 543818323 296742912 2500 33554432000 4194304 4627427 140733214183744 18446744073709551615 4531411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 289788

[startup+0.100553 s]
/proc/loadavg: 0.00 0.00 0.00 2/231 31760
/proc/meminfo: memFree=28648340/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=566968 CPUtime=0.56 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 12643 0 0 0 49 7 0 0 17 0 8 0 543818323 580575232 12067 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31760/statm: 141742 12068 341 106 0 136713 0
[pid=31760/tid=31761] ppid=31758 vsize=566968 CPUtime=0.07 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 1910 0 0 0 7 0 0 0 17 0 8 0 543818323 580575232 12070 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647251438 0 0 4096 2 18446604450251653440 0 0 -1 2 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=566968 CPUtime=0.07 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 1609 0 0 0 7 0 0 0 17 0 8 0 543818323 580575232 12072 33554432000 4194304 4627427 140733214183744 18446744073709551615 4316503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=566968 CPUtime=0.07 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 1277 0 0 0 7 0 0 0 17 0 8 0 543818323 580575232 12075 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=566968 CPUtime=0.05 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 1899 0 0 0 5 0 0 0 17 0 8 0 543818323 580575232 12076 33554432000 4194304 4627427 140733214183744 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=566968 CPUtime=0.07 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 1200 0 0 0 7 0 0 0 17 0 8 0 543818323 580575232 12076 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=566968 CPUtime=0.03 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 1188 0 0 0 3 0 0 0 17 0 8 0 543818323 580575232 12080 33554432000 4194304 4627427 140733214183744 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=566968 CPUtime=0.04 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 930 0 0 0 4 0 0 0 18 0 8 0 543818323 580575232 12083 33554432000 4194304 4627427 140733214183744 18446744073709551615 4532112 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 566968

[startup+0.300493 s]
/proc/loadavg: 0.00 0.00 0.00 2/231 31760
/proc/meminfo: memFree=28648340/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=614748 CPUtime=1.54 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 49113 0 0 0 120 34 0 0 18 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31760/statm: 153687 42787 363 106 0 148658 0
[pid=31760/tid=31761] ppid=31758 vsize=614748 CPUtime=0.15 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 4551 0 0 0 12 3 0 0 17 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=614748 CPUtime=0.16 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6343 0 0 0 13 3 0 0 16 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=614748 CPUtime=0.23 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6355 0 0 0 18 5 0 0 17 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=614748 CPUtime=0.17 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 5777 0 0 0 14 3 0 0 16 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=614748 CPUtime=0.22 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6659 0 0 0 17 5 0 0 17 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=614748 CPUtime=0.14 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6146 0 0 0 12 2 0 0 16 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=614748 CPUtime=0.16 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6267 0 0 0 13 3 0 0 16 0 8 0 543818323 629501952 42787 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227262985728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 614748

[startup+0.700394 s]
/proc/loadavg: 0.00 0.00 0.00 2/231 31760
/proc/meminfo: memFree=28648340/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=617932 CPUtime=4.73 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 51297 0 0 0 438 35 0 0 18 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31760/statm: 154483 44449 366 106 0 149454 0
[pid=31760/tid=31761] ppid=31758 vsize=617932 CPUtime=0.53 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6458 0 0 0 50 3 0 0 17 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=617932 CPUtime=0.56 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6349 0 0 0 53 3 0 0 17 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=617932 CPUtime=0.63 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6355 0 0 0 58 5 0 0 18 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=617932 CPUtime=0.57 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 5777 0 0 0 54 3 0 0 17 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=617932 CPUtime=0.62 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6661 0 0 0 57 5 0 0 18 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=617932 CPUtime=0.54 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6146 0 0 0 52 2 0 0 17 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=617932 CPUtime=0.57 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 6536 0 0 0 53 4 0 0 16 0 8 0 543818323 632762368 44449 33554432000 4194304 4627427 140733214183744 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 617932

[startup+1.50126 s]
/proc/loadavg: 0.00 0.00 0.00 11/239 31768
/proc/meminfo: memFree=28469964/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=635820 CPUtime=11.09 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 73540 0 0 0 1068 41 0 0 19 0 8 0 543818323 651079680 66692 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31760/statm: 158955 66692 369 106 0 153926 0
[pid=31760/tid=31761] ppid=31758 vsize=635820 CPUtime=1.32 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 8312 0 0 0 128 4 0 0 18 0 8 0 543818323 651079680 66692 33554432000 4194304 4627427 140733214183744 18446744073709551615 4238493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=635820 CPUtime=1.36 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 9533 0 0 0 132 4 0 0 18 0 8 0 543818323 651079680 66692 33554432000 4194304 4627427 140733214183744 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=635820 CPUtime=1.42 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 9286 0 0 0 137 5 0 0 19 0 8 0 543818323 651079680 66696 33554432000 4194304 4627427 140733214183744 18446744073709551615 4239523 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=635820 CPUtime=1.37 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 9342 0 0 0 133 4 0 0 18 0 8 0 543818323 651079680 66696 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=635820 CPUtime=1.42 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 9463 0 0 0 136 6 0 0 18 0 8 0 543818323 651079680 66696 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=635820 CPUtime=1.33 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 9384 0 0 0 130 3 0 0 18 0 8 0 543818323 651079680 66696 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=635820 CPUtime=1.37 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 7240 0 0 0 133 4 0 0 18 0 8 0 543818323 651079680 66698 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 635820

[startup+3.10099 s]
/proc/loadavg: 0.00 0.00 0.00 9/239 31768
/proc/meminfo: memFree=28215532/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=1087824 CPUtime=23.68 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 169311 0 0 0 2305 63 0 0 19 0 8 0 543818323 1113931776 161589 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31760/statm: 271956 161593 370 106 0 266927 0
[pid=31760/tid=31761] ppid=31758 vsize=1087824 CPUtime=2.89 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 20304 0 0 0 281 8 0 0 18 0 8 0 543818323 1113931776 161595 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=1087824 CPUtime=2.93 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 23348 0 0 0 286 7 0 0 19 0 8 0 543818323 1113931776 161597 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=1087824 CPUtime=2.99 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 22581 0 0 0 291 8 0 0 23 0 8 0 543818323 1113931776 161600 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=1087824 CPUtime=2.95 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 23695 0 0 0 288 7 0 0 18 0 8 0 543818323 1113931776 161604 33554432000 4194304 4627427 140733214183744 18446744073709551615 4239525 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=1087824 CPUtime=2.99 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 22750 0 0 0 290 9 0 0 18 0 8 0 543818323 1113931776 161605 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=1087824 CPUtime=2.9 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 23112 0 0 0 283 7 0 0 19 0 8 0 543818323 1113931776 161605 33554432000 4194304 4627427 140733214183744 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=1087824 CPUtime=2.95 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 8329 0 0 0 291 4 0 0 18 0 8 0 543818323 1113931776 161605 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.68
Current children cumulated vsize (KiB) 1087824

[startup+6.30045 s]
/proc/loadavg: 0.64 0.13 0.04 9/239 31768
/proc/meminfo: memFree=27738340/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=1194064 CPUtime=47.61 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) R 31758 31760 31734 0 -1 4202496 236534 0 0 0 4647 114 0 0 21 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31760/statm: 298516 227506 371 106 0 293487 0
[pid=31760/tid=31761] ppid=31758 vsize=1194064 CPUtime=5.73 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 32044 0 0 0 556 17 0 0 20 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=1194064 CPUtime=5.29 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 32351 0 0 0 499 30 0 0 20 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=1194064 CPUtime=6.17 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 32181 0 0 0 606 11 0 0 25 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=1194064 CPUtime=5.82 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 31311 0 0 0 572 10 0 0 21 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=1194064 CPUtime=6.17 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 32786 0 0 0 604 13 0 0 21 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=1194064 CPUtime=6.08 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 31899 0 0 0 598 10 0 0 21 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=1194064 CPUtime=6.11 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 11309 0 0 0 603 8 0 0 25 0 8 0 543818323 1222721536 227506 33554432000 4194304 4627427 140733214183744 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/loadavg: 7.06 5.55 2.61 3/239 31778
/proc/meminfo: memFree=26056960/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3002.2 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 299646 574 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 647224 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=383.65 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 38310 55 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=383.26 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 38298 28 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3002.2
Current children cumulated vsize (KiB) 3296776

[startup+390.401 s]
/proc/loadavg: 6.28 5.43 2.60 3/239 31778
/proc/meminfo: memFree=26056836/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3014.99 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 300925 574 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 647224 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=390.04 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 38949 55 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=389.65 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 38937 28 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730091 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3014.99
Current children cumulated vsize (KiB) 3296776

[startup+396.801 s]
/proc/loadavg: 5.94 5.38 2.60 3/239 31778
/proc/meminfo: memFree=26056956/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3027.79 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 302205 574 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 647224 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=396.44 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 39589 55 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=396.05 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 39577 28 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3027.79
Current children cumulated vsize (KiB) 3296776

[startup+398.401 s]
/proc/loadavg: 5.94 5.38 2.60 3/239 31778
/proc/meminfo: memFree=26056956/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3030.99 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 302525 574 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 647224 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=398.04 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 39749 55 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 4427403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=397.65 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 39737 28 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3030.99
Current children cumulated vsize (KiB) 3296776

[startup+399.201 s]
/proc/loadavg: 5.94 5.38 2.60 3/239 31778
/proc/meminfo: memFree=26056956/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3032.59 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 302685 574 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 647224 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=398.84 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 39829 55 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 4427688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=398.45 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 39817 28 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3032.59
Current children cumulated vsize (KiB) 3296776

[startup+400.001 s]
/proc/loadavg: 5.62 5.32 2.59 3/239 31778
/proc/meminfo: memFree=26056956/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3034.19 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 302845 574 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 647224 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=399.64 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 39909 55 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=399.25 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 39897 28 0 0 25 0 8 0 543818323 3375898624 647224 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3034.19
Current children cumulated vsize (KiB) 3296776

[startup+400.201 s]
/proc/loadavg: 5.62 5.32 2.59 3/239 31778
/proc/meminfo: memFree=26056956/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=3296776 CPUtime=3034.59 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) S 31758 31760 31734 0 -1 4202496 1665631 0 0 0 302885 574 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 824194 646585 391 106 0 819165 0
[pid=31760/tid=31761] ppid=31758 vsize=3296776 CPUtime=370.47 cores=0-7
/proc/31760/task/31761/stat : 31761 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220010 0 0 0 36974 73 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 7 0 0 0
[pid=31760/tid=31762] ppid=31758 vsize=3296776 CPUtime=372.41 cores=0-7
/proc/31760/task/31762/stat : 31762 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 274536 0 0 0 37150 91 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 0 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=3296776 CPUtime=373.51 cores=0-7
/proc/31760/task/31763/stat : 31763 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 256230 0 0 0 37252 99 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 1 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=3296776 CPUtime=372.72 cores=0-7
/proc/31760/task/31764/stat : 31764 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 220188 0 0 0 37184 88 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 3 0 0 0
[pid=31760/tid=31765] ppid=31758 vsize=3296776 CPUtime=399.84 cores=0-7
/proc/31760/task/31765/stat : 31765 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 161194 0 0 0 39929 55 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 4527237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=3296776 CPUtime=373.17 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) S 31758 31760 31734 0 -1 4202560 211941 0 0 0 37243 74 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265754676 0 0 4096 2 18446604450251653440 0 0 -1 4 0 0 0
[pid=31760/tid=31767] ppid=31758 vsize=3296776 CPUtime=399.45 cores=0-7
/proc/31760/task/31767/stat : 31767 (strangenight2-m) R 31758 31760 31734 0 -1 4202560 83565 0 0 0 39917 28 0 0 25 0 8 0 543818323 3375898624 646585 33554432000 4194304 4627427 140733214183744 18446744073709551615 47227265730091 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3034.59
Current children cumulated vsize (KiB) 3296776

[startup+400.301 s]
/proc/loadavg: 5.62 5.32 2.59 3/239 31778
/proc/meminfo: memFree=26056956/32951132 swapFree=67080200/67111528
[pid=31760] ppid=31758 vsize=0 CPUtime=3034.74 cores=0-7
/proc/31760/stat : 31760 (strangenight2-m) Z 31758 31760 31734 0 -1 4203548 1665634 0 0 0 302895 579 0 0 18 0 2 0 543818323 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31760/statm: 0 0 0 0 0 0 0
[pid=31760/tid=31766] ppid=31758 vsize=0 CPUtime=373.22 cores=0-7
/proc/31760/task/31766/stat : 31766 (strangenight2-m) R 31758 31760 31734 0 -1 4203588 211941 0 0 0 37243 79 0 0 18 0 2 0 543818323 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3034.74
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 400.368
CPU time (s): 3034.81
CPU user time (s): 3028.95
CPU system time (s): 5.86011
CPU usage (%): 758.005
Max. virtual memory (cumulated for all children) (KiB): 3365180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3028.95
system time used= 5.86011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1665634
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= 65156
involuntary context switches= 16341

runsolver used 0.842871 second user time and 2.09468 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-02 09:43:07
IDJOB=3321010
IDBENCH=20521
IDSOLVER=1709
FILE ID=node129/3321010-1304322187
RUNJOBID= node129-1304322186-31748
PBS_JOBID= 13176797
Free space on /tmp= 67896 MiB

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

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

MD5SUM BENCH= 337e301d7c1a4748ec4a1ced7e688c38
RANDOM SEED=309153922

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
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.831
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:     32951132 kB
MemFree:      28648876 kB
Buffers:        322032 kB
Cached:        1682084 kB
SwapCached:       5244 kB
Active:        2191016 kB
Inactive:      1744148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28648876 kB
SwapTotal:    67111528 kB
SwapFree:     67080200 kB
Dirty:            9740 kB
Writeback:           0 kB
AnonPages:     1928596 kB
Mapped:          18456 kB
Slab:           291512 kB
PageTables:      13744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 29808544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67892 MiB
End job on node129 at 2011-05-02 09:49:47