Trace number 3321223

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 3566.16 446.21

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.06/0.02	c This is CryptoMiniSat 3.0.0
0.06/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.06/0.02	c Reading file 'HOME/instance-3321223-1304332710.cnf'
0.06/0.02	c -- header says num vars:           6664
0.06/0.02	c -- header says num clauses:       89966
0.06/0.10	c -- clauses added:            0 learnts,        89966 normals,            0 xors
0.06/0.10	c -- vars added       6664
0.06/0.10	c Parsing time:  0.03 s
0.06/0.10	c  N st     0         0      6664     73004     16962         0    425665         0   no data   no data
3.80/0.55	c asymm  cl-useful: 0/7956/73004 lits-rem:0 time: 0.45
5.30/0.74	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   68 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  0.18
5.30/0.76	c Replacing       68 vars Replaced    42354 lits Time:     0.01 s 
5.99/0.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.99/0.81	c bin-w-bin subsume rem           28 bins  time:  0.00 s
5.99/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.99/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6592 time:  0.01 s
5.99/0.84	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
7.34/1.09	c lits-rem:         0  cl-subs:        4  v-elim:    672  v-fix:    0  time:  0.23 s
7.34/1.09	c Finding binary XORs  T:     0.00 s  found:       0
8.14/1.16	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
8.14/1.16	c calculated reachability. Time: 0.00
8.14/1.16	c Calc default polars -  time:   0.00 s pos:     272 undec:     744 neg:    5648
8.14/1.16	c =========================================================================================
8.14/1.16	c types(t): F = full restart, N = normal restart
8.14/1.16	c types(t): S = simplification begin/end, E = solution found
8.14/1.16	c restart types(rt): st = static, dy = dynamic
8.14/1.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
8.14/1.16	c  B st     0         0      5920     73880     14834         0    439069         0   no data   no data
9.68/1.34	c  N dy    20      4097      5920     73880     14948      3929    439069    120548      8.26      8.87
11.28/1.58	c  N dy    42      8200      5920     73880     15085      7890    439069    243785      8.18      8.74
13.67/1.87	c  N dy    74     12210      5918     73880     16093     11791    439069    365653      8.59     10.62
16.12/2.16	c Finding binary XORs  T:     0.00 s  found:       0
16.93/2.24	c  N dy   100     16393      5916     73878     16099     15862    438961    497512      8.80      9.32
20.07/2.64	c  N dy   127     20480      5914     73878     16891     10189    438961    199178      8.99     11.24
22.47/2.96	c  N dy   152     24534      5914     73878     17346     14198    438961    333342      9.07     11.35
23.28/3.00	c  F st   155     25001      5913     73878     17348     14661    438961    348701      9.08      7.85
26.47/3.45	c  N dy   161     30000      5913     73875     17338     19546    438934    542693      9.08   no data
26.47/3.45	c  S st   161     30000      5913     73875     17338     19546    438934    542693      9.08   no data
26.47/3.45	c Finding binary XORs  T:     0.00 s  found:       0
27.27/3.57	c  S st   161     30500      5913     73875     17351     20033    438934    555168      9.08   no data
27.27/3.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.27/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 108851 BRemL: 101334 BRemN:      0 P: 13.8M T:  0.42
31.27/4.01	c blocked clauses removed:        0 vars:      0 tried:        5913 T: 0.00 s
31.27/4.02	c bin-w-bin subsume rem          126 bins  time:  0.00 s
31.27/4.02	c subs with bin:       51  lits-rem:        99  v-fix:    0  time:  0.01 s
31.27/4.04	c Subs w/ non-existent bins:      2 l-rem:     80 v-fix:     0 done:   5913 time:  0.01 s
31.27/4.05	c Removed useless bin:       0  fixed:     0  props:   0.66M  time:  0.01 s
31.27/4.09	c lits-rem:         0  cl-subs:       32  v-elim:     62  v-fix:    0  time:  0.04 s
32.07/4.19	c subs with bin:      236  lits-rem:      3296  v-fix:    0  time:  0.09 s
33.72/4.37	c lits-rem:      1053  cl-subs:      642  v-elim:      0  v-fix:    0  time:  0.16 s
35.26/4.58	c asymm  cl-useful: 0/2557/73909 lits-rem:0 time: 0.21
35.26/4.58	c calculated reachability. Time: 0.00
35.26/4.58	c  N dy   161     30500      5851     73909     24084     12511    440262    301846      9.08   no data
35.26/4.59	c Finding binary XORs  T:     0.01 s  found:       0
39.25/5.02	c  N dy   172     34658      5850     73909     24190     16634    440262    423196      8.93      9.44
42.49/5.41	c Finding binary XORs  T:     0.01 s  found:       0
43.30/5.52	c  N dy   194     38791      5849     73908    121561     20718    440209    753229      8.91      9.39
46.44/5.95	c  N dy   214     43015      5848     73908    121563     13008    440209    424388      8.89      9.57
48.04/6.17	c  S st   232     45751      5848     73908    121589     15725    440209    513748      8.93   no data
48.84/6.27	c  S st   232     46251      5848     73908    121589     16225    440209    529422      8.93   no data
48.84/6.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
52.10/6.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    477 BRemL:  97113 BRemN:      0 P: 12.5M T:  0.35
52.10/6.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
52.10/6.65	c bin-w-bin subsume rem          766 bins  time:  0.00 s
52.10/6.66	c subs with bin:       16  lits-rem:       108  v-fix:    0  time:  0.01 s
52.10/6.67	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:   5848 time:  0.02 s
52.10/6.68	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
52.84/6.72	c lits-rem:         0  cl-subs:      312  v-elim:      4  v-fix:    0  time:  0.03 s
53.63/6.82	c subs with bin:       83  lits-rem:       212  v-fix:    0  time:  0.10 s
54.43/6.92	c lits-rem:       305  cl-subs:      353  v-elim:      0  v-fix:    0  time:  0.08 s
54.43/6.93	c vivif2 --  cl tried    73591 cl shrink        0 lits rem          0 time: 0.02
54.43/6.95	c vivif2 --  cl tried    15307 cl shrink      694 lits rem       2822 time: 0.01
56.03/7.14	c asymm  cl-useful: 0/3274/73591 lits-rem:0 time: 0.20
56.03/7.15	c calculated reachability. Time: 0.00
56.03/7.15	c  N dy   232     46251      5844     73591     24154     15307    437737    311818      8.93   no data
59.24/7.53	c  N dy   246     50420      5844     73591     25178     19435    437737    532689      8.80      9.29
63.23/8.01	c  N dy   270     55398      5842     73591     25182     24347    437737    702585      8.77      9.42
64.03/8.17	c Finding binary XORs  T:     0.00 s  found:       0
67.22/8.54	c  N dy   290     59904      5842     73591     25488     28833    437649    844145      8.76      9.31
71.22/9.06	c  N dy   311     63974      5842     73591     25845     32892    437649    982632      8.76     10.93
75.22/9.52	c  N dy   337     68273      5842     73591     25845     20559    437649    412256      8.77      9.28
76.03/9.64	c  S st   345     69377      5842     73591     26201     21661    437649    448767      8.80   no data
76.83/9.77	c  S st   345     69878      5842     73591     26201     22161    437649    463111      8.80   no data
76.83/9.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.02/10.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    193 BRemL:    760 BRemN:      0 P: 13.1M T:  0.34
80.02/10.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.02/10.13	c bin-w-bin subsume rem            8 bins  time:  0.00 s
80.02/10.13	c subs with bin:       32  lits-rem:       181  v-fix:    0  time:  0.01 s
80.02/10.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5842 time:  0.02 s
80.02/10.16	c Removed useless bin:       0  fixed:     0  props:   0.55M  time:  0.01 s
80.02/10.19	c lits-rem:         0  cl-subs:      562  v-elim:      1  v-fix:    0  time:  0.04 s
82.42/10.41	c subs with bin:       70  lits-rem:       347  v-fix:    0  time:  0.20 s
83.22/10.57	c lits-rem:       356  cl-subs:      493  v-elim:      0  v-fix:    0  time:  0.14 s
83.22/10.59	c vivif2 --  cl tried    73000 cl shrink        0 lits rem          0 time: 0.02
84.01/10.61	c vivif2 --  cl tried    21571 cl shrink      884 lits rem       5436 time: 0.02
85.61/10.81	c asymm  cl-useful: 0/2848/73000 lits-rem:0 time: 0.20
85.61/10.81	c calculated reachability. Time: 0.00
85.61/10.81	c  N dy   345     69878      5841     73000     25618     21571    433660    447299      8.80   no data
90.41/11.49	c  N dy   353     75186      5841     73000     26354     26798    433660    685121      8.71      9.37
91.21/11.50	c Finding binary XORs  T:     0.01 s  found:       0
95.25/12.08	c  N dy   378     80064      5839     73000     26309     30988    433572    843101      8.73      9.24
101.60/12.89	c  N dy   405     85280      5839     73000     26743     36191    433572   1017323      8.75      9.24
104.85/13.27	c  F st   410     87500      5839     73000     26754     38379    433572   1085590      8.71   no data
108.00/13.68	c  N st   415     90797      5839     73000     26755     22290    433572    445785      8.71   no data
114.39/14.48	c  N dy   445     96709      5839     73000     26907     28178    433572    679389      8.75      9.27
121.64/15.39	c Finding binary XORs  T:     0.01 s  found:       0
122.44/15.46	c  N dy   484    102932      5839     73000     26918     34351    433572    890729      8.79      9.26
124.78/15.77	c  S st   495    104817      5839     73000     26920     36230    433572    961075      8.80      8.54
126.38/15.95	c  S st   495    105318      5839     73000     26920     36730    433572    978403      8.80   no data
126.38/15.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
129.59/16.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    336 BRemL:    295 BRemN:      0 P: 15.2M T:  0.40
129.59/16.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.59/16.37	c bin-w-bin subsume rem           14 bins  time:  0.00 s
129.59/16.38	c subs with bin:       17  lits-rem:        44  v-fix:    0  time:  0.01 s
129.59/16.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5839 time:  0.01 s
129.59/16.40	c Removed useless bin:       0  fixed:     0  props:   0.50M  time:  0.01 s
130.43/16.44	c lits-rem:         0  cl-subs:      174  v-elim:      0  v-fix:    0  time:  0.04 s
135.17/17.09	c subs with bin:      235  lits-rem:      1258  v-fix:    0  time:  0.62 s
140.77/17.76	c lits-rem:      1692  cl-subs:      849  v-elim:      0  v-fix:    0  time:  0.66 s
140.77/17.78	c vivif2 --  cl tried    72809 cl shrink        0 lits rem          0 time: 0.02
141.57/17.83	c vivif2 --  cl tried    35646 cl shrink     3920 lits rem      14935 time: 0.05
143.17/18.06	c asymm  cl-useful: 0/2548/72809 lits-rem:0 time: 0.23
143.17/18.07	c calculated reachability. Time: 0.00
143.17/18.07	c  N dy   495    105318      5839     72809     26948     35646    432398    943429      8.80   no data
154.36/19.41	c  N dy   536    112098      5838     72809     27176     42381    432398   1241938      8.83     11.22
161.56/20.36	c Finding binary XORs  T:     0.00 s  found:       0
163.16/20.50	c  N dy   567    119522      5838     72809     27668     28143    432354    566812      8.82      9.30
172.75/21.72	c  N dy   615    127302      5838     72809     27684     35876    432354    863825      8.86      9.34
184.74/23.28	c  N dy   668    135464      5838     72809     27701     44004    432354   1168542      8.90     11.00
195.92/24.68	c  N dy   715    144159      5838     72809     27749     29406    432354    567511      8.93      9.40
208.73/26.23	c  N dy   770    153441      5838     72809     27771     38621    432354    916026      8.95      9.50
215.92/27.13	c  S st   802    157977      5838     72809     27784     43117    432354   1093336      8.97   no data
217.52/27.30	c  S st   802    158477      5838     72809     27784     43617    432354   1111519      8.97   no data
217.52/27.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
220.71/27.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    596 BRemL:    720 BRemN:      0 P: 16.2M T:  0.43
220.71/27.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.71/27.76	c bin-w-bin subsume rem           15 bins  time:  0.00 s
220.71/27.77	c subs with bin:        3  lits-rem:        10  v-fix:    0  time:  0.01 s
220.71/27.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5838 time:  0.01 s
220.71/27.79	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.00 s
221.51/27.83	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.04 s
227.15/28.58	c subs with bin:      678  lits-rem:      4350  v-fix:    0  time:  0.72 s
232.71/29.29	c lits-rem:      1456  cl-subs:      901  v-elim:      0  v-fix:    0  time:  0.71 s
233.51/29.31	c vivif2 --  cl tried    72802 cl shrink        0 lits rem          0 time: 0.02
233.51/29.36	c vivif2 --  cl tried    39579 cl shrink     4386 lits rem      18604 time: 0.05
235.94/29.61	c asymm  cl-useful: 0/2524/72802 lits-rem:0 time: 0.24
235.94/29.61	c calculated reachability. Time: 0.00
235.94/29.61	c  N dy   802    158477      5836     72802     27592     39574    432255    978939      8.97   no data
235.94/29.62	c Finding binary XORs  T:     0.00 s  found:       0
250.29/31.44	c  N dy   856    168596      5834     72802     28689     26335    432255    464321      8.98      9.88
255.89/32.13	c Finding binary XORs  T:     0.01 s  found:       0
264.68/33.29	c  N dy   930    179668      5834     72800     28402     37064    432237    968397      9.03      9.58
283.86/35.67	c  N dy   991    191151      5833     72800     28432     48459    432237   1507035      9.05      9.54
300.65/37.76	c  N dy  1062    203555      5832     72800     28451     35860    432237    796931      9.09      9.60
322.24/40.45	c  N dy  1140    216572      5832     72800     29374     48775    432237   1410729      9.14      9.69
324.69/40.70	c Finding binary XORs  T:     0.00 s  found:       1
343.82/43.12	c  N dy  1223    230645      5831     72797     29724     36149    432208    797886      9.18      9.67
355.02/44.55	c  S st  1253    237716      5831     72797     29734     43155    432208   1073273      9.18      9.28
356.62/44.76	c  S st  1253    238216      5831     72797     29734     43654    432208   1092765      9.18   no data
356.62/44.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
360.61/45.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    583 BRemL:   1601 BRemN:      0 P: 17.1M T:  0.46
360.61/45.24	c Replacing        1 vars Replaced      572 lits Time:     0.01 s 
360.61/45.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
360.61/45.26	c bin-w-bin subsume rem           47 bins  time:  0.00 s
360.61/45.27	c subs with bin:       85  lits-rem:       122  v-fix:    0  time:  0.01 s
360.61/45.28	c Subs w/ non-existent bins:      5 l-rem:     14 v-fix:     0 done:   5830 time:  0.01 s
360.61/45.29	c Removed useless bin:       0  fixed:     0  props:   0.48M  time:  0.01 s
361.41/45.35	c lits-rem:         0  cl-subs:      310  v-elim:      3  v-fix:    0  time:  0.06 s
367.85/46.16	c subs with bin:      559  lits-rem:      4423  v-fix:    0  time:  0.79 s
375.01/47.10	c lits-rem:      2547  cl-subs:     1336  v-elim:      0  v-fix:    0  time:  0.92 s
375.80/47.11	c vivif2 --  cl tried    72399 cl shrink        0 lits rem          0 time: 0.02
375.80/47.17	c vivif2 --  cl tried    38998 cl shrink     5044 lits rem      24612 time: 0.05
378.19/47.40	c asymm  cl-useful: 4/3172/72399 lits-rem:8 time: 0.23
378.19/47.40	c calculated reachability. Time: 0.00
378.19/47.40	c  N dy  1253    238216      5827     72399     28602     38997    429380    933083      9.18   no data
378.19/47.41	c Finding binary XORs  T:     0.00 s  found:       0
405.38/50.83	c  N dy  1312    253638      5823     72399     29130     28198    429380    429919      9.16      9.77
412.63/51.75	c Finding binary XORs  T:     0.01 s  found:       0
429.42/53.83	c  N dy  1415    269890      5823     72397     28938     43165    429274   1071896      9.21      9.70
459.74/57.61	c  N dy  1511    287207      5823     72397     28950     33051    429274    590664      9.24      9.89
468.54/58.72	c Finding binary XORs  T:     0.01 s  found:       0
491.77/61.60	c  N dy  1614    305538      5823     72397     29303     51259    429274   1309246      9.28     13.54
493.32/61.81	c  F st  1620    306250      5823     72397     29303     51966    429274   1333381      9.28   no data
523.70/65.69	c  N dy  1708    325421      5823     72397     29322     41979    429274    910128      9.31      9.87
559.67/70.18	c Finding binary XORs  T:     0.01 s  found:       0
566.07/70.90	c  N dy  1824    345517      5823     72397     29804     31516    429274    428007      9.34     12.16
584.46/73.20	c  S st  1887    357324      5823     72397     29818     43237    429274    912518      9.35      8.23
585.26/73.39	c  S st  1887    357826      5823     72397     29818     43739    429274    930167      9.35   no data
586.06/73.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
589.25/73.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    260 BRemL:    694 BRemN:      0 P: 16.5M T:  0.44
589.25/73.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
589.25/73.85	c bin-w-bin subsume rem           23 bins  time:  0.00 s
589.25/73.86	c subs with bin:       77  lits-rem:        28  v-fix:    0  time:  0.01 s
589.25/73.88	c Subs w/ non-existent bins:     61 l-rem:      0 v-fix:     0 done:   5823 time:  0.01 s
589.25/73.88	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.01 s
590.05/73.92	c lits-rem:         0  cl-subs:       45  v-elim:     17  v-fix:    0  time:  0.04 s
594.04/74.48	c subs with bin:      173  lits-rem:      1337  v-fix:    0  time:  0.53 s
598.84/75.01	c lits-rem:      1274  cl-subs:      891  v-elim:      0  v-fix:    0  time:  0.53 s
598.84/75.03	c vivif2 --  cl tried    72256 cl shrink        2 lits rem          2 time: 0.02
598.84/75.07	c vivif2 --  cl tried    38578 cl shrink     3940 lits rem      16469 time: 0.04
601.24/75.32	c asymm  cl-useful: 72/2373/72256 lits-rem:144 time: 0.25
601.24/75.33	c calculated reachability. Time: 0.00
601.24/75.33	c  N dy  1887    357826      5806     72256     29174     38578    428729    766462      9.35   no data
624.43/78.23	c Finding binary XORs  T:     0.01 s  found:       0
639.62/80.18	c  N dy  1973    377880      5806     72256     29341     58440    428729   1560491      9.34     11.72
673.20/84.37	c  N dy  2078    397936      5806     72256     29579     48815    428729   1142400      9.34     10.13
700.39/87.71	c Finding binary XORs  T:     0.01 s  found:       0
711.62/89.17	c  N dy  2169    418027      5806     72256     29984     37112    428729    617261      9.33      9.86
746.80/93.57	c  N dy  2255    438310      5806     72256     30022     57224    428729   1420091      9.31      9.82
784.32/98.23	c  N dy  2353    458555      5805     72256     30084     44174    428729    873884      9.31      9.82
796.32/99.73	c Finding binary XORs  T:     0.01 s  found:       0
823.49/103.17	c  N dy  2453    478669      5804     72254     30431     63461    428709   1689069      9.32     10.00
861.12/107.80	c  N dy  2550    498869      5802     72254     30464     49334    428709   1017119      9.32     10.05
904.28/113.29	c  N dy  2660    518949      5800     72254     30522     69233    428709   1859837      9.34     10.16
937.01/117.35	c  S st  2768    536741      5800     72254     30541     51502    428709   1079912      9.35   no data
938.61/117.56	c  S st  2768    537248      5800     72254     30541     52008    428709   1096719      9.35   no data
938.61/117.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
942.60/118.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   1062 BRemL:   1410 BRemN:      0 P: 17.7M T:  0.48
942.60/118.08	c Replacing        1 vars Replaced      660 lits Time:     0.02 s 
942.60/118.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
942.60/118.09	c bin-w-bin subsume rem           36 bins  time:  0.00 s
943.40/118.10	c subs with bin:       43  lits-rem:       182  v-fix:    0  time:  0.01 s
943.40/118.12	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:   5799 time:  0.01 s
943.40/118.12	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.01 s
943.40/118.18	c lits-rem:         0  cl-subs:      561  v-elim:     29  v-fix:    0  time:  0.06 s
945.80/118.48	c subs with bin:      250  lits-rem:      1676  v-fix:    0  time:  0.28 s
949.05/118.84	c lits-rem:      1135  cl-subs:     1253  v-elim:      0  v-fix:    0  time:  0.35 s
949.05/118.86	c vivif2 --  cl tried    71685 cl shrink        2 lits rem          2 time: 0.02
949.05/118.89	c vivif2 --  cl tried    34230 cl shrink     2072 lits rem       7996 time: 0.03
951.39/119.14	c asymm  cl-useful: 23/2908/71685 lits-rem:23 time: 0.25
951.39/119.15	c calculated reachability. Time: 0.00
951.39/119.15	c  N dy  2768    537248      5770     71685     29465     34230    425168    551563      9.35   no data
951.39/119.15	c Finding binary XORs  T:     0.01 s  found:       0
979.38/122.60	c Finding binary XORs  T:     0.01 s  found:       0
984.22/123.22	c  N dy  2847    557345      5770     71685     30178     54200    425168   1277304      9.34     11.09
1012.95/126.83	c  N dy  2920    577350      5770     71685     30189     45627    425168    899668      9.33      9.82
1053.77/131.94	c  N dy  3003    597402      5769     71685     30214     65454    425168   1587199      9.32     11.37
1086.50/136.07	c  N dy  3091    617602      5769     71685     30230     51989    425168   1043231      9.30      9.95
1128.07/141.20	c  N dy  3188    637632      5769     71685     30248     71870    425168   1750025      9.30     10.43
1164.85/145.80	c  N dy  3278    657792      5769     71685     30276     55226    425168   1080961      9.30      9.93
1210.42/151.57	c  N dy  3368    678002      5769     71685     30309     75238    425168   1789998      9.29      9.97
1248.04/156.28	c  N dy  3459    698047      5768     71685     30337     56472    425168   1072141      9.28     11.37
1295.97/162.25	c  N dy  3562    718122      5768     71685     30364     76379    425168   1797922      9.29      9.84
1323.14/165.69	c Finding binary XORs  T:     0.00 s  found:       0
1337.53/167.44	c  N dy  3651    739112      5767     71683     30570     56574    425104   1027457      9.28      9.82
1377.51/172.43	c Finding binary XORs  T:     0.01 s  found:       0
1385.50/173.43	c  N dy  3736    759473      5767     71683     31372     76736    425104   1751462      9.28      9.89
1426.27/178.50	c  N dy  3819    779520      5766     71683     31768     55457    425104    955208      9.27      9.78
1431.07/179.10	c Finding binary XORs  T:     0.01 s  found:       0
1470.24/184.06	c  N dy  3908    799552      5766     71682     31754     74309    425093   1647375      9.27     11.67
1487.03/186.17	c  S st  3937    805874      5766     71682     31771     80545    425093   1875127      9.27   no data
1489.42/186.48	c  S st  3937    806377      5766     71682     31771     81048    425093   1891791      9.27   no data
1489.42/186.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1494.28/187.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    510 BRemL:   1377 BRemN:      0 P: 19.1M T:  0.56
1494.28/187.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1494.28/187.07	c bin-w-bin subsume rem           42 bins  time:  0.00 s
1494.28/187.08	c subs with bin:      548  lits-rem:        18  v-fix:    0  time:  0.01 s
1495.02/187.10	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   5766 time:  0.01 s
1495.02/187.10	c Removed useless bin:       1  fixed:     0  props:   0.46M  time:  0.01 s
1495.02/187.15	c lits-rem:         0  cl-subs:       42  v-elim:      3  v-fix:    0  time:  0.05 s
1507.81/188.75	c subs with bin:     1793  lits-rem:      6978  v-fix:    0  time:  1.53 s
1536.59/192.35	c lits-rem:      7276  cl-subs:     3962  v-elim:      0  v-fix:    0  time:  3.60 s
1536.59/192.37	c vivif2 --  cl tried    71090 cl shrink        0 lits rem          0 time: 0.02
1537.43/192.50	c vivif2 --  cl tried    71758 cl shrink    12913 lits rem      47561 time: 0.12
1539.78/192.78	c asymm  cl-useful: 12/2000/71090 lits-rem:12 time: 0.29
1539.78/192.79	c calculated reachability. Time: 0.00
1539.78/192.79	c  N dy  3937    806377      5763     71090     30755     71751    421930   1644267      9.27   no data
1540.58/192.80	c Finding binary XORs  T:     0.01 s  found:       0
1583.76/198.26	c  N dy  4046    826477      5760     71090     30977     51640    421930    895357      9.28     10.20
1616.57/202.35	c Finding binary XORs  T:     0.00 s  found:       1
1626.18/203.55	c  N dy  4135    846509      5759     71086     30826     67517    421890   1550332      9.27      9.81
1674.90/209.65	c  N dy  4257    866663      5759     71086     30861     47172    421890    727811      9.29      9.85
1677.30/209.95	c Finding binary XORs  T:     0.01 s  found:       0
1720.46/215.39	c  N dy  4365    886810      5758     71086     31277     67104    421890   1460461      9.30      9.91
1782.83/223.10	c  N dy  4503    906893      5758     71086     31321     44085    421890    515740      9.32     10.69
1822.79/228.13	c  N dy  4636    927181      5758     71086     31366     64125    421890   1283504      9.34     10.09
1857.17/232.42	c Finding binary XORs  T:     0.01 s  found:       0
1873.96/234.55	c  N dy  4749    947188      5757     71084     32702     83008    421872   2031120      9.34      9.96
1921.93/240.53	c  N dy  4877    967272      5757     71084     32741     58562    421872   1020738      9.35      9.96
1977.13/247.49	c  N dy  4983    987561      5757     71084     32785     78616    421872   1756177      9.36     10.12
2035.45/254.71	c  N dy  5108   1007635      5755     71084     32852     52647    421872    751811      9.37     12.57
2080.22/260.31	c  N dy  5253   1027677      5751     71084     32898     72496    421872   1511609      9.39     12.88
2081.82/260.55	c Finding binary XORs  T:     0.01 s  found:       0
2136.97/267.42	c  N dy  5352   1047693      5750     71079     32497     89911    421777   2182607      9.40     11.95
2180.20/272.88	c  N dy  5489   1067792      5750     71079     32523     63824    421777   1154259      9.42     13.04
2189.75/274.07	c  F st  5515   1071876      5750     71079     32541     67875    421777   1320659      9.42   no data
2189.75/274.09	c Replacing        1 vars Replaced      608 lits Time:     0.01 s 
2233.72/279.52	c  N dy  5591   1088069      5748     71077     32519     83676    421763   1913344      9.43      9.93
2287.29/286.28	c  N dy  5712   1108466      5747     71077     32559     56244    421763    848303      9.44     10.10
2334.45/292.13	c  N dy  5846   1128507      5746     71077     32579     76058    421763   1590694      9.46     13.07
2347.29/293.75	c Finding binary XORs  T:     0.01 s  found:       0
2396.00/299.87	c  N dy  5978   1148508      5745     71074     33162     94997    421730   2319614      9.48     10.66
2440.77/305.45	c  N dy  6090   1168608      5743     71074     33198     66254    421730   1178663      9.49     10.05
2495.98/312.39	c  N dy  6180   1188693      5740     71074     33246     85987    421730   1862985      9.49     10.23
2555.90/319.89	c  N dy  6312   1209487      5739     71074     33282     56606    421730    782084      9.50     10.04
2556.70/319.91	c  S st  6313   1209568      5739     71074     33282     56687    421730    784827      9.50   no data
2558.34/320.12	c  S st  6313   1210070      5739     71074     33282     57189    421730    803023      9.50   no data
2558.34/320.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2562.29/320.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1041 BRemL:   2700 BRemN:      0 P: 18.2M T:  0.51
2562.29/320.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2562.29/320.66	c bin-w-bin subsume rem           76 bins  time:  0.00 s
2562.29/320.67	c subs with bin:      609  lits-rem:       302  v-fix:    0  time:  0.01 s
2562.29/320.69	c Subs w/ non-existent bins:     68 l-rem:     15 v-fix:     0 done:   5739 time:  0.01 s
2562.29/320.69	c Removed useless bin:       2  fixed:     0  props:   0.43M  time:  0.01 s
2563.09/320.75	c lits-rem:         0  cl-subs:      402  v-elim:     73  v-fix:    0  time:  0.06 s
2563.89/320.87	c subs with bin:      611  lits-rem:      2648  v-fix:    0  time:  0.10 s
2565.49/321.10	c lits-rem:      1699  cl-subs:     1769  v-elim:      0  v-fix:    0  time:  0.22 s
2566.33/321.11	c vivif2 --  cl tried    70109 cl shrink       14 lits rem         14 time: 0.02
2566.33/321.14	c vivif2 --  cl tried    34859 cl shrink     2004 lits rem       3815 time: 0.03
2568.68/321.42	c asymm  cl-useful: 3/2885/70109 lits-rem:3 time: 0.28
2568.68/321.43	c calculated reachability. Time: 0.00
2568.68/321.43	c  N dy  6313   1210070      5666     70109     29965     34856    416451    382754      9.50   no data
2568.68/321.44	c Finding binary XORs  T:     0.01 s  found:       0
2599.07/325.26	c Finding binary XORs  T:     0.01 s  found:       0
2599.86/325.32	c  N dy  6381   1230126      5666     70109     30602     54719    416451   1118697      9.50     11.32
2643.03/330.74	c  N dy  6443   1250383      5663     70109     30905     74695    416451   1800814      9.48     10.03
2657.42/332.58	c Finding binary XORs  T:     0.01 s  found:       0
2685.41/336.02	c  N dy  6528   1270631      5662     70106     30925     52349    416419    850677      9.48     10.00
2708.58/338.98	c Finding binary XORs  T:     0.01 s  found:       0
2731.77/341.87	c  N dy  6610   1290732      5662     70105     31295     71480    416408   1482969      9.47     10.11
2795.78/349.87	c  N dy  6708   1310760      5659     70105     31333     91175    416408   2128341      9.48     10.75
2838.94/355.27	c  N dy  6814   1331030      5658     70105     31368     64929    416408   1130388      9.48     10.19
2893.25/362.00	c  N dy  6904   1351132      5658     70105     31419     84705    416408   1736696      9.48     11.95
2955.62/369.81	c  N dy  6997   1371228      5656     70105     31477     54246    416408    663248      9.48     10.01
2997.24/375.08	c  N dy  7098   1391280      5654     70105     31506     73998    416408   1282856      9.48     12.59
3000.39/375.48	c Finding binary XORs  T:     0.01 s  found:       1
3054.75/382.25	c  N dy  7217   1411412      5651     70098     31072     90705    416296   1859003      9.49      9.99
3109.11/389.09	c  N dy  7337   1432073      5651     70098     31126     59912    416296    835433      9.50     10.13
3157.07/395.06	c  N dy  7475   1452126      5648     70098     31155     79668    416296   1474493      9.51     10.19
3206.64/401.23	c Finding binary XORs  T:     0.01 s  found:       0
3218.62/402.71	c  N dy  7579   1472218      5647     70092     32707     96115    416190   2036310      9.51     10.04
3272.20/409.49	c  N dy  7670   1492473      5642     70092     32779     64051    416190    949795      9.51     10.37
3328.16/416.43	c  N dy  7761   1513024      5639     70092     32820     84267    416190   1572804      9.51     10.07
3392.96/424.55	c  N dy  7846   1533063      5634     70092     32882    103892    416190   2155905      9.51     12.35
3445.71/431.17	c  N dy  7944   1553396      5625     70092     32923     69427    416190   1066073      9.51     10.16
3458.47/432.75	c Finding binary XORs  T:     0.01 s  found:       0
3475.26/434.82	c Finding binary XORs  T:     0.01 s  found:       0
3504.03/438.41	c  N dy  8018   1573710      5613     70062     32827     81844    415852   1519876      9.51     10.03
3564.79/446.08	c Finding binary XORs  T:     0.01 s  found:      20
3565.59/446.16	c  E dy  8069   1591281      5491     69155     31020     52606    409650    811971      9.50      4.48
3565.59/446.16	c Following stats are for *FIRST FINISHED THREAD ONLY*
3565.59/446.16	c num threads              : 8          
3565.59/446.16	c restarts                 : 8069       
3565.59/446.16	c dynamic restarts         : 8039       
3565.59/446.16	c static restarts          : 30         
3565.59/446.16	c full restarts            : 4          
3565.59/446.16	c total simplify time      : 0.69       
3565.59/446.16	c learnts DL2              : 0          
3565.59/446.16	c learnts size 2           : 253021     
3565.59/446.16	c learnts size 1           : 1756        (26.35     % of vars)
3565.59/446.16	c filedLit time            : 4.57        (1.02      % time)
3565.59/446.16	c v-elim SatELite          : 866         (13.00     % vars)
3565.59/446.16	c SatELite time            : 7.81        (1.75      % time)
3565.59/446.16	c v-elim xor               : 0           (0.00      % vars)
3565.59/446.16	c xor elim time            : 0.08        (0.02      % time)
3565.59/446.16	c num binary xor trees     : 92         
3565.59/446.16	c binxor trees' crown      : 92          (1.00      leafs/tree)
3565.59/446.16	c bin xor find time        : 0.22       
3565.59/446.16	c OTF clause improved      : 17855       (0.01      clauses/conflict)
3565.59/446.16	c OTF impr. size diff      : 22205       (1.24       lits/clause)
3565.59/446.16	c OTF cl watch-shrink      : 1182355     (0.74      clauses/conflict)
3565.59/446.16	c OTF cl watch-sh-lit      : 6599997     (5.58       lits/clause)
3565.59/446.16	c tried to recurMin cls    : 511446      (32.14      % of conflicts)
3565.59/446.16	c updated cache            : 10787       (0.02       lits/tried recurMin)
3565.59/446.16	c unit cls recevied        : 86          (4.90      % of units)
3565.59/446.16	c unit cls sent            : 51          (2.90      % of units)
3565.59/446.16	c bin cls recevied         : 120664     
3565.59/446.16	c bin cls sent             : 113701     
3565.59/446.16	c clauses over max glue    : 0           (0.00      % of all clauses)
3565.59/446.16	c conflicts                : 1591281     (3569.50   / sec)
3565.59/446.16	c decisions                : 2250974     (0.44      % random)
3565.59/446.16	c bogo-props               : 39134378548 (87784760.70 / sec)
3565.59/446.16	c conflict literals        : 57685223    (46.56     % deleted)
3565.59/446.16	c Memory used              : 1097.39     MB
3565.59/446.16	c single-thread CPU time   : 445.80      s
3565.59/446.16	c all-threads sum CPU time : 3563.56     s
3565.59/446.16	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-3321223-1304332710/watcher-3321223-1304332710 -o /tmp/evaluation-result-3321223-1304332710/solver-3321223-1304332710 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321223-1304332710.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.14 2.12 1/194 13162
/proc/meminfo: memFree=27762696/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=92188 CPUtime=0.02 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 422 0 0 0 2 0 0 0 21 0 8 0 544869279 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 23047 362 303 106 0 18018 0
[pid=13162/tid=13163] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130899 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099131314 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130909 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0128769 s]
/proc/loadavg: 0.00 0.14 2.12 1/194 13162
/proc/meminfo: memFree=27762696/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=92188 CPUtime=0.06 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 422 0 0 0 6 0 0 0 22 0 8 0 544869279 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 23047 362 303 106 0 18018 0
[pid=13162/tid=13163] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099131314 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130899 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=92188 CPUtime=0 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544869280 94400512 362 33554432000 4194304 4627427 140735460959024 18446744073709551615 47260099130905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92188

[startup+0.109926 s]
/proc/loadavg: 0.00 0.14 2.12 1/194 13162
/proc/meminfo: memFree=27762696/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=638884 CPUtime=0.72 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 18221 0 0 0 59 13 0 0 17 0 8 0 544869279 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 159721 17189 366 106 0 154692 0
[pid=13162/tid=13163] ppid=13160 vsize=638884 CPUtime=0.08 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2393 0 0 0 7 1 0 0 17 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=638884 CPUtime=0.07 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2294 0 0 0 5 2 0 0 18 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=638884 CPUtime=0.09 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2171 0 0 0 7 2 0 0 17 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=638884 CPUtime=0.09 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2122 0 0 0 8 1 0 0 18 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=638884 CPUtime=0.08 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2128 0 0 0 7 1 0 0 17 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=638884 CPUtime=0.07 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2163 0 0 0 6 1 0 0 17 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=638884 CPUtime=0.08 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2263 0 0 0 8 0 0 0 17 0 8 0 544869280 654217216 17189 33554432000 4194304 4627427 140735460959024 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 638884

[startup+0.300799 s]
/proc/loadavg: 0.00 0.14 2.12 1/194 13162
/proc/meminfo: memFree=27762696/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=640520 CPUtime=2.2 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 21983 0 0 0 204 16 0 0 18 0 8 0 544869279 655892480 20951 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 160130 20952 367 106 0 155101 0
[pid=13162/tid=13163] ppid=13160 vsize=640520 CPUtime=0.26 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2838 0 0 0 25 1 0 0 18 0 8 0 544869280 655892480 20952 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=640520 CPUtime=0.25 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2763 0 0 0 23 2 0 0 18 0 8 0 544869280 655892480 20952 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=640520 CPUtime=0.27 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2697 0 0 0 25 2 0 0 18 0 8 0 544869280 655892480 20952 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=640520 CPUtime=0.27 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2643 0 0 0 26 1 0 0 18 0 8 0 544869280 655892480 20952 33554432000 4194304 4627427 140735460959024 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=640520 CPUtime=0.27 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2588 0 0 0 26 1 0 0 18 0 8 0 544869280 655892480 20953 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=640520 CPUtime=0.26 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2732 0 0 0 24 2 0 0 18 0 8 0 544869280 655892480 20953 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=640520 CPUtime=0.27 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2477 0 0 0 26 1 0 0 18 0 8 0 544869280 655892480 20953 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 640520

[startup+0.700728 s]
/proc/loadavg: 0.00 0.14 2.12 1/194 13162
/proc/meminfo: memFree=27762696/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=643488 CPUtime=5.3 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 27074 0 0 0 512 18 0 0 18 0 8 0 544869279 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 160872 26042 369 106 0 155843 0
[pid=13162/tid=13163] ppid=13160 vsize=643488 CPUtime=0.65 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3495 0 0 0 64 1 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4238276 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=643488 CPUtime=0.64 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3492 0 0 0 61 3 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=643488 CPUtime=0.65 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3383 0 0 0 63 2 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=643488 CPUtime=0.67 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3269 0 0 0 65 2 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=643488 CPUtime=0.66 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3286 0 0 0 64 2 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=643488 CPUtime=0.64 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3389 0 0 0 62 2 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=643488 CPUtime=0.66 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 2885 0 0 0 65 1 0 0 18 0 8 0 544869280 658931712 26042 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 643488

[startup+1.50058 s]
/proc/loadavg: 0.00 0.14 2.12 9/202 13170
/proc/meminfo: memFree=27555188/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=688008 CPUtime=11.28 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 61588 0 0 0 1097 31 0 0 18 0 8 0 544869279 704520192 50807 33554432000 4194304 4627427 140735460959024 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 172002 50808 386 106 0 166973 0
[pid=13162/tid=13163] ppid=13160 vsize=688008 CPUtime=1.41 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 8513 0 0 0 137 4 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=688008 CPUtime=1.39 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 8314 0 0 0 134 5 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=688008 CPUtime=1.39 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 8279 0 0 0 136 3 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4333895 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=688008 CPUtime=1.42 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 8160 0 0 0 139 3 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=688008 CPUtime=1.4 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 8025 0 0 0 136 4 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=688008 CPUtime=1.38 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 8350 0 0 0 134 4 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=688008 CPUtime=1.42 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 3345 0 0 0 141 1 0 0 18 0 8 0 544869280 704520192 50808 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.28
Current children cumulated vsize (KiB) 688008

[startup+3.1013 s]
/proc/loadavg: 0.00 0.14 2.12 9/202 13170
/proc/meminfo: memFree=27552456/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=716960 CPUtime=24.08 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 75390 0 0 0 2374 34 0 0 21 0 8 0 544869279 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 179240 53361 388 106 0 174211 0
[pid=13162/tid=13163] ppid=13160 vsize=716960 CPUtime=3 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 10315 0 0 0 296 4 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=716960 CPUtime=2.98 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 9864 0 0 0 293 5 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=716960 CPUtime=3 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 9949 0 0 0 296 4 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=716960 CPUtime=3.02 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 9756 0 0 0 298 4 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=716960 CPUtime=3 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 9766 0 0 0 295 5 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=716960 CPUtime=2.98 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 10271 0 0 0 294 4 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=716960 CPUtime=3.02 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 5118 0 0 0 301 1 0 0 21 0 8 0 544869280 734167040 53361 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 716960

[startup+6.30073 s]
/proc/loadavg: 0.64 0.27 2.15 9/202 13170
/proc/meminfo: memFree=27505408/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=703912 CPUtime=49.64 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 104417 0 0 0 4924 40 0 0 25 0 8 0 544869279 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4233590 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 175978 68379 391 106 0 170949 0
[pid=13162/tid=13163] ppid=13160 vsize=703912 CPUtime=6.21 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 15319 0 0 0 615 6 0 0 19 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=703912 CPUtime=6.16 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 14927 0 0 0 610 6 0 0 19 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=703912 CPUtime=6.19 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 12885 0 0 0 615 4 0 0 18 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=703912 CPUtime=6.22 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 12707 0 0 0 618 4 0 0 25 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=703912 CPUtime=6.19 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 12696 0 0 0 614 5 0 0 25 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=703912 CPUtime=6.18 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 12947 0 0 0 613 5 0 0 20 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=703912 CPUtime=6.22 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 7908 0 0 0 620 2 0 0 25 0 8 0 544869280 720805888 68379 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/loadavg: 8.10 6.17 4.30 9/202 13181
/proc/meminfo: memFree=26986248/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1093784 CPUtime=3375.37 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 640445 0 0 0 337290 247 0 0 25 0 8 0 544869279 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 273446 194190 392 106 0 268417 0
[pid=13162/tid=13163] ppid=13160 vsize=1093784 CPUtime=422.17 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 80562 0 0 0 42189 28 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1093784 CPUtime=419.87 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 93477 0 0 0 41946 41 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1093784 CPUtime=422.21 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 55057 0 0 0 42201 20 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1093784 CPUtime=422.21 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 68980 0 0 0 42196 25 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1093784 CPUtime=422.2 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 117335 0 0 0 42167 53 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4324127 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1093784 CPUtime=422.2 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47462 0 0 0 42203 17 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1093784 CPUtime=422.22 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 90935 0 0 0 42190 32 0 0 25 0 8 0 544869280 1120034816 194190 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3375.37
Current children cumulated vsize (KiB) 1093784

[startup+435.101 s]
/proc/loadavg: 8.08 6.26 4.36 9/202 13181
/proc/meminfo: memFree=26960704/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1151792 CPUtime=3477.66 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 651853 0 0 0 347515 251 0 0 25 0 8 0 544869279 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 287948 201000 392 106 0 282919 0
[pid=13162/tid=13163] ppid=13160 vsize=1151792 CPUtime=434.96 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 81526 0 0 0 43467 29 0 0 25 0 8 0 544869280 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1151792 CPUtime=432.59 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 95880 0 0 0 43218 41 0 0 25 0 8 0 544869280 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1151792 CPUtime=435 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 56510 0 0 0 43480 20 0 0 25 0 8 0 544869280 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1151792 CPUtime=435.01 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 70623 0 0 0 43475 26 0 0 25 0 8 0 544869280 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1151792 CPUtime=435 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 117336 0 0 0 43447 53 0 0 25 0 8 0 544869280 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1151792 CPUtime=434.99 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47471 0 0 0 43482 17 0 0 25 0 8 0 544869280 1179435008 201000 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1151792 CPUtime=435.02 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 93420 0 0 0 43469 33 0 0 25 0 8 0 544869280 1179435008 201001 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3477.66
Current children cumulated vsize (KiB) 1151792

[startup+441.501 s]
/proc/loadavg: 8.07 6.29 4.38 10/202 13182
/proc/meminfo: memFree=26948056/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1224848 CPUtime=3528.81 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 657925 0 0 0 352628 253 0 0 25 0 8 0 544869279 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 306212 203691 392 106 0 301183 0
[pid=13162/tid=13163] ppid=13160 vsize=1224848 CPUtime=441.36 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 83208 0 0 0 44107 29 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1224848 CPUtime=438.96 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 96378 0 0 0 43854 42 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1224848 CPUtime=441.41 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 57091 0 0 0 44120 21 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1224848 CPUtime=441.41 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 71219 0 0 0 44115 26 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1224848 CPUtime=441.4 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 119079 0 0 0 44086 54 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1224848 CPUtime=441.39 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47471 0 0 0 44122 17 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1224848 CPUtime=441.41 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 93900 0 0 0 44108 33 0 0 25 0 8 0 544869280 1254244352 203691 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3528.81
Current children cumulated vsize (KiB) 1224848

[startup+444.701 s]
/proc/loadavg: 8.14 6.33 4.40 9/202 13182
/proc/meminfo: memFree=26984884/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1123720 CPUtime=3554.4 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 659550 0 0 0 355185 255 0 0 25 0 8 0 544869279 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 280930 194853 392 106 0 275901 0
[pid=13162/tid=13163] ppid=13160 vsize=1123720 CPUtime=444.56 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 83504 0 0 0 44427 29 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1123720 CPUtime=442.14 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 96385 0 0 0 44172 42 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4310360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1123720 CPUtime=444.61 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 57283 0 0 0 44440 21 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1123720 CPUtime=444.62 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 71437 0 0 0 44435 27 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1123720 CPUtime=444.59 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 119625 0 0 0 44405 54 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1123720 CPUtime=444.59 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47471 0 0 0 44442 17 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1123720 CPUtime=444.61 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 94088 0 0 0 44428 33 0 0 25 0 8 0 544869280 1150689280 194853 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3554.4
Current children cumulated vsize (KiB) 1123720

[startup+445.508 s]
/proc/loadavg: 8.14 6.33 4.40 9/202 13182
/proc/meminfo: memFree=26983148/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1123720 CPUtime=3560.85 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 659903 0 0 0 355830 255 0 0 25 0 8 0 544869279 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4332882 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 280930 195206 392 106 0 275901 0
[pid=13162/tid=13163] ppid=13160 vsize=1123720 CPUtime=445.37 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 83563 0 0 0 44508 29 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1123720 CPUtime=442.94 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 96385 0 0 0 44252 42 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1123720 CPUtime=445.41 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 57328 0 0 0 44520 21 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1123720 CPUtime=445.42 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 71492 0 0 0 44515 27 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1123720 CPUtime=445.4 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 119733 0 0 0 44486 54 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1123720 CPUtime=445.4 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47471 0 0 0 44523 17 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1123720 CPUtime=445.42 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 94132 0 0 0 44509 33 0 0 25 0 8 0 544869280 1150689280 195206 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3560.85
Current children cumulated vsize (KiB) 1123720

[startup+445.901 s]
/proc/loadavg: 8.14 6.33 4.40 9/202 13182
/proc/meminfo: memFree=26983148/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1123720 CPUtime=3563.99 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 660068 0 0 0 356144 255 0 0 25 0 8 0 544869279 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 280930 195371 392 106 0 275901 0
[pid=13162/tid=13163] ppid=13160 vsize=1123720 CPUtime=445.76 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 83596 0 0 0 44547 29 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4332203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1123720 CPUtime=443.33 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 96385 0 0 0 44291 42 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1123720 CPUtime=445.81 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 57346 0 0 0 44560 21 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1123720 CPUtime=445.81 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 71517 0 0 0 44554 27 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1123720 CPUtime=445.8 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 119788 0 0 0 44525 55 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1123720 CPUtime=445.79 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47471 0 0 0 44562 17 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1123720 CPUtime=445.81 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 94153 0 0 0 44548 33 0 0 25 0 8 0 544869280 1150689280 195371 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3563.99
Current children cumulated vsize (KiB) 1123720

[startup+446.101 s]
/proc/loadavg: 8.14 6.33 4.40 9/202 13182
/proc/meminfo: memFree=26983148/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=1123720 CPUtime=3565.59 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) R 13160 13162 13136 0 -1 4202496 660154 0 0 0 356304 255 0 0 25 0 8 0 544869279 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 280930 195457 392 106 0 275901 0
[pid=13162/tid=13163] ppid=13160 vsize=1123720 CPUtime=445.96 cores=0-7
/proc/13162/task/13163/stat : 13163 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 83607 0 0 0 44567 29 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13162/tid=13164] ppid=13160 vsize=1123720 CPUtime=443.53 cores=0-7
/proc/13162/task/13164/stat : 13164 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 96385 0 0 0 44311 42 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13162/tid=13165] ppid=13160 vsize=1123720 CPUtime=446.01 cores=0-7
/proc/13162/task/13165/stat : 13165 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 57354 0 0 0 44580 21 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13162/tid=13166] ppid=13160 vsize=1123720 CPUtime=446.01 cores=0-7
/proc/13162/task/13166/stat : 13166 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 71530 0 0 0 44574 27 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13162/tid=13167] ppid=13160 vsize=1123720 CPUtime=446 cores=0-7
/proc/13162/task/13167/stat : 13167 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 119823 0 0 0 44545 55 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4507037 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=1123720 CPUtime=445.99 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 47471 0 0 0 44582 17 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4515526 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13162/tid=13169] ppid=13160 vsize=1123720 CPUtime=446.01 cores=0-7
/proc/13162/task/13169/stat : 13169 (strangenight2-m) R 13160 13162 13136 0 -1 4202560 94167 0 0 0 44568 33 0 0 25 0 8 0 544869280 1150689280 195457 33554432000 4194304 4627427 140735460959024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3565.59
Current children cumulated vsize (KiB) 1123720

[startup+446.201 s]
/proc/loadavg: 8.14 6.33 4.40 9/202 13182
/proc/meminfo: memFree=26983148/32951124 swapFree=66863556/67111528
[pid=13162] ppid=13160 vsize=0 CPUtime=3566.15 cores=0-7
/proc/13162/stat : 13162 (strangenight2-m) Z 13160 13162 13136 0 -1 4202524 660188 0 0 0 356356 259 0 0 25 0 2 0 544869279 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13162/statm: 0 0 0 0 0 0 0
[pid=13162/tid=13168] ppid=13160 vsize=0 CPUtime=446.1 cores=0-7
/proc/13162/task/13168/stat : 13168 (strangenight2-m) R 13160 13162 13136 0 -1 4203588 47471 0 0 0 44589 21 0 0 25 0 2 0 544869280 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3566.15
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 446.21
CPU time (s): 3566.16
CPU user time (s): 3563.56
CPU system time (s): 2.6026
CPU usage (%): 799.211
Max. virtual memory (cumulated for all children) (KiB): 1268884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.56
system time used= 2.6026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660188
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= 29546
involuntary context switches= 34419

runsolver used 0.71989 second user time and 1.76873 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-02 12:38:31
IDJOB=3321223
IDBENCH=83451
IDSOLVER=1709
FILE ID=node132/3321223-1304332710
RUNJOBID= node132-1304332707-13150
PBS_JOBID= 13177709
Free space on /tmp= 73368 MiB

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

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=639142636

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27762984 kB
Buffers:        428852 kB
Cached:        1340168 kB
SwapCached:       1492 kB
Active:        2679156 kB
Inactive:      2112564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27762984 kB
SwapTotal:    67111528 kB
SwapFree:     66863556 kB
Dirty:            7816 kB
Writeback:           0 kB
AnonPages:     3021208 kB
Mapped:          17760 kB
Slab:           323864 kB
PageTables:      11372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3505100 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73360 MiB
End job on node132 at 2011-05-02 12:45:58