Trace number 3321022

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 10750.7 1347.15

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark132.277
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 8 threads
0.41/0.12	c This is CryptoMiniSat 3.0.0
0.41/0.12	c WARNING: for repeatability, setting FPU to use double precision
0.41/0.12	c Reading file 'HOME/instance-3321022-1304322188.cnf'
0.41/0.12	c -- header says num vars:         433601
0.41/0.12	c -- header says num clauses:     1291714
8.15/1.80	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
8.15/1.80	c -- vars added     433601
8.15/1.80	c Parsing time:  0.55 s
8.15/1.80	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data
13.68/2.50	c asymm  cl-useful: 0/24048/430570 lits-rem:0 time: 0.69
170.31/22.16	c Flit:  1587 Blit:  14472 bXBeca:    0 bXProp: 18653 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 19.66
171.11/22.23	c Cleaning up after failed var search:     0.07 s 
171.91/22.39	c Replacing    18653 vars Replaced   382785 lits Time:     0.15 s 
173.51/22.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
174.30/22.66	c bin-w-bin subsume rem          521 bins  time:  0.09 s
175.90/22.87	c subs with bin:      132  lits-rem:       129  v-fix:    0  time:  0.21 s
182.29/23.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130432 time:  0.72 s
183.88/23.85	c Removed useless bin:      71  fixed:     0  props:  20.00M  time:  0.25 s
197.13/25.51	c lits-rem:        23  cl-subs:      315  v-elim: 132156  v-fix:    0  time:  1.47 s
197.92/25.61	c Finding binary XORs  T:     0.10 s  found:     611
198.73/25.71	c Replacing      611 vars Replaced     8991 lits Time:     0.09 s 
201.09/26.00	c Finding non-binary XORs:     0.19 s (found:    9823, avg size: 3.0)
201.09/26.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     4 time:   0.09
201.09/26.04	c calculated reachability. Time: 0.01
201.09/26.09	c Calc default polars -  time:   0.05 s pos:   94019 undec:  170182 neg:  169400
201.09/26.09	c =========================================================================================
201.09/26.09	c types(t): F = full restart, N = normal restart
201.09/26.09	c types(t): S = simplification begin/end, E = solution found
201.09/26.09	c restart types(rt): st = static, dy = dynamic
201.09/26.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
201.09/26.09	c  B st     0         0    263701    315000    545231         0   2225667         0   no data   no data
241.80/31.17	c  N dy    18      4028    263536    315000    545303      3585   2225667     57295      7.81      8.46
287.35/36.82	c  N dy    42      8376    262453    315000    547317      7365   2225665    120997      8.08      8.52
312.12/39.92	c  N dy    63     12435    262428    315000    547336     10643   2225664    170835      8.19      8.88
348.08/44.42	c  N dy    82     16438    262414    315000    547483     13934   2225664    221204      8.10      8.62
384.04/48.96	c  N dy   101     20490    262170    315000    547692      8920   2225664     62884      8.00      8.46
429.61/54.67	c  N dy   130     24510    262170    315000    547713     12388   2225664    123282      8.15      8.78
435.99/55.45	c  F st   131     25000    262168    315000    549874     12808   2225664    133117      8.12      7.66
436.79/55.58	c Replacing       46 vars Replaced      702 lits Time:     0.09 s 
872.38/110.08	c Finding binary XORs  T:     0.10 s  found:    3113
873.12/110.18	c Replacing     3113 vars Replaced    66063 lits Time:     0.10 s 
915.54/115.49	c  N dy   137     30001    258760    309301    535731     17163   2180613    240277      8.12   no data
915.54/115.50	c  S st   137     30001    258760    309301    535731     17163   2180613    240277      8.12   no data
923.47/116.43	c  S st   137     30505    258758    309301    535780     17598   2180613    244662      8.12   no data
924.32/116.52	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:     78 locsubst:     2 time:   0.09
1099.27/138.50	c Flit:   146 Blit:    413 bXBeca:    0 bXProp: 2232 Bins:  56856 BRemL:   6139 BRemN:    218 P: 180.9M T: 21.98
1100.13/138.51	c Cleaning up after failed var search:     0.00 s 
1100.92/138.67	c Replacing     2233 vars Replaced    78965 lits Time:     0.15 s 
1101.66/138.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1102.46/138.85	c bin-w-bin subsume rem         7281 bins  time:  0.07 s
1104.06/139.01	c subs with bin:      826  lits-rem:      1104  v-fix:    0  time:  0.16 s
1108.91/139.66	c Subs w/ non-existent bins:    303 l-rem:   1113 v-fix:     0 done: 130174 time:  0.63 s
1111.21/139.98	c Removed useless bin:     303  fixed:     0  props:  20.00M  time:  0.32 s
1129.35/142.24	c lits-rem:       288  cl-subs:      950  v-elim: 170198  v-fix:    0  time:  1.89 s
1130.13/142.32	c subs with bin:      263  lits-rem:       988  v-fix:    0  time:  0.05 s
1131.72/142.52	c lits-rem:       907  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  0.14 s
1135.78/143.05	c asymm  cl-useful: 573/20014/364433 lits-rem:956 time: 0.52
1135.78/143.08	c calculated reachability. Time: 0.01
1135.78/143.09	c  N dy   137     30505     85101    364426    101223     11647   1702239    147201      8.12   no data
1136.51/143.13	c Finding binary XORs  T:     0.05 s  found:     145
1153.37/145.27	c  N dy   167     34585     84884    364426    105522     14984   1702239    210870      8.22      8.96
1168.48/147.12	c  N dy   193     38792     84883    364426    107635     18410   1702238    274735      8.30      8.81
1180.46/148.64	c  N dy   210     43121     84883    364426    108556     11364   1702238     93901      8.20      8.66
1186.85/149.42	c Finding binary XORs  T:     0.05 s  found:     533
1190.05/149.85	c  S st   227     45757     84810    361231    105160     13514   1683682    125052      8.21   no data
1192.45/150.18	c  S st   227     46259     84809    361231    105182     13984   1683682    130235      8.21   no data
1193.25/150.24	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:     96 locsubst:     0 time:   0.06
1232.47/155.19	c Flit:    22 Blit:     41 bXBeca:    0 bXProp:  782 Bins: 124459 BRemL:  69177 BRemN:    153 P: 26.8M T:  4.95
1234.00/155.32	c Replacing     1460 vars Replaced    70336 lits Time:     0.12 s 
1234.80/155.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1234.80/155.47	c bin-w-bin subsume rem        11470 bins  time:  0.04 s
1235.60/155.56	c subs with bin:     1640  lits-rem:      1922  v-fix:    0  time:  0.09 s
1236.41/155.68	c Subs w/ non-existent bins:    218 l-rem:   1539 v-fix:     0 done:  83153 time:  0.11 s
1237.21/155.75	c Removed useless bin:     166  fixed:     0  props:   2.43M  time:  0.08 s
1241.25/156.29	c lits-rem:       335  cl-subs:     1958  v-elim:   9525  v-fix:    0  time:  0.53 s
1241.99/156.36	c subs with bin:       91  lits-rem:       451  v-fix:    0  time:  0.04 s
1243.59/156.55	c lits-rem:       432  cl-subs:      406  v-elim:      0  v-fix:    0  time:  0.13 s
1247.58/157.03	c asymm  cl-useful: 317/20749/355517 lits-rem:330 time: 0.47
1247.58/157.06	c calculated reachability. Time: 0.00
1247.58/157.06	c  N dy   227     46259     73628    355517     86625     12828   1686769    134016      8.21   no data
1248.38/157.11	c Finding binary XORs  T:     0.05 s  found:       0
1258.82/158.46	c  N dy   242     50310     73624    355517     86781     16171   1686769    182444      8.17     12.38
1272.29/160.10	c  N dy   271     54389     73624    355517     86781     19604   1686769    246909      8.29      8.85
1279.44/161.03	c Finding binary XORs  T:     0.05 s  found:       2
1285.08/161.72	c  N dy   286     58662     73624    355434    109193     23053   1686230    340716      8.24      8.74
1296.19/163.18	c  N dy   305     62829     73607    355434    110733     26556   1686230    395213      8.23      8.78
1309.75/164.90	c  N dy   327     67114     73607    355434    110736     16086   1686229    182325      8.20      8.64
1316.14/165.61	c Finding binary XORs  T:     0.05 s  found:      67
1317.74/165.86	c  S st   339     69388     73597    354919    121563     17997   1682697    234702      8.18   no data
1320.19/166.13	c  S st   339     69891     73596    354919    121573     18476   1682697    241228      8.18   no data
1320.19/166.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    200 locsubst:    66 time:   0.06
1353.68/170.37	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:   26 Bins:   8961 BRemL:  35899 BRemN:    116 P: 19.0M T:  4.18
1354.53/170.48	c Replacing      128 vars Replaced     7205 lits Time:     0.10 s 
1355.34/170.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1356.07/170.62	c bin-w-bin subsume rem         5592 bins  time:  0.03 s
1356.87/170.70	c subs with bin:      566  lits-rem:      1583  v-fix:    0  time:  0.08 s
1357.67/170.81	c Subs w/ non-existent bins:    497 l-rem:    842 v-fix:     0 done:  73258 time:  0.10 s
1357.67/170.88	c Removed useless bin:      69  fixed:     0  props:   1.42M  time:  0.07 s
1360.86/171.21	c lits-rem:        19  cl-subs:      726  v-elim:    663  v-fix:    0  time:  0.34 s
1360.86/171.29	c subs with bin:       59  lits-rem:       105  v-fix:    0  time:  0.04 s
1363.32/171.51	c lits-rem:       448  cl-subs:      685  v-elim:      0  v-fix:    0  time:  0.15 s
1367.25/172.02	c asymm  cl-useful: 95/91202/351256 lits-rem:206 time: 0.51
1367.25/172.05	c calculated reachability. Time: 0.01
1367.25/172.05	c  N dy   339     69891     72595    351219     86852     17692   1664937    165134      8.18   no data
1384.04/174.10	c  N dy   368     74474     72595    351219    112799     21570   1664937    281259      8.23      8.66
1384.04/174.19	c Finding binary XORs  T:     0.05 s  found:     216
1402.38/176.45	c  N dy   397     79292     72552    349997    111379     25667   1659197    343706      8.23      8.71
1420.75/178.71	c  N dy   423     84418     72552    349997    113854     29859   1659197    414491      8.22     12.37
1431.14/180.04	c Finding binary XORs  T:     0.05 s  found:       5
1431.94/180.11	c  F st   444     87500     72550    349989    117321     32486   1659073    467608      8.26   no data
1431.94/180.18	c Replacing      221 vars Replaced    16987 lits Time:     0.07 s 
1443.92/181.68	c  N st   449     90795     72330    349586    116409     18656   1656928    219922      8.26   no data
1462.31/183.97	c  N dy   464     96620     72330    349586    119121     23613   1656928    305566      8.21      9.09
1482.29/186.48	c  N dy   504    102795     72330    349586    119172     28867   1656928    393998      8.22      8.69
1487.88/187.15	c  S st   514    104836     72330    349586    119173     30590   1656928    426638      8.22   no data
1491.07/187.51	c  S st   514    105340     72327    349586    119435     31075   1656928    433524      8.22   no data
1491.07/187.58	c x-sub:    33 x-cut:      0 vfix:      0 v-elim:     61 locsubst:   122 time:   0.07
1525.44/191.88	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   72 Bins:   7117 BRemL:  27238 BRemN:    119 P: 21.4M T:  4.30
1527.04/192.00	c Replacing      125 vars Replaced     9424 lits Time:     0.11 s 
1527.84/192.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1527.84/192.15	c bin-w-bin subsume rem         9333 bins  time:  0.04 s
1528.64/192.23	c subs with bin:      191  lits-rem:       639  v-fix:    0  time:  0.08 s
1529.44/192.33	c Subs w/ non-existent bins:    203 l-rem:    401 v-fix:     0 done:  72139 time:  0.09 s
1529.44/192.40	c Removed useless bin:      37  fixed:     0  props:   1.47M  time:  0.07 s
1532.63/192.74	c lits-rem:        38  cl-subs:      687  v-elim:    269  v-fix:    0  time:  0.35 s
1533.43/192.85	c subs with bin:      163  lits-rem:      1194  v-fix:    0  time:  0.07 s
1535.83/193.12	c lits-rem:      1240  cl-subs:     1405  v-elim:      0  v-fix:    0  time:  0.20 s
1539.89/193.63	c asymm  cl-useful: 211/36281/347976 lits-rem:633 time: 0.51
1539.89/193.66	c calculated reachability. Time: 0.01
1539.89/193.66	c  N dy   514    105340     71870    347765     87509     29377   1646425    345965      8.22   no data
1540.62/193.71	c Finding binary XORs  T:     0.05 s  found:       0
1565.45/196.89	c  N dy   549    112147     71869    347765     87682     35118   1646425    439998      8.22      8.77
1590.16/199.96	c  N dy   587    119480     71861    347765     92735     24788   1646425    220866      8.22      8.67
1597.34/200.85	c Finding binary XORs  T:     0.05 s  found:      19
1616.53/203.28	c  N dy   635    127293     71861    347703     95292     31564   1645989    339468      8.24      8.79
1645.37/206.84	c  N dy   680    135437     71850    347703     97639     38646   1645989    474946      8.25      8.75
1654.16/207.97	c Finding binary XORs  T:     0.05 s  found:      48
1677.27/210.86	c  N dy   727    144290     71836    347464     98233     28782   1644688    252908      8.25      8.70
1705.25/214.31	c  N dy   777    153535     71836    347464     98241     36837   1644688    387719      8.24      8.73
1718.02/215.95	c  S st   798    158011     71836    347464     98251     40718   1644688    450351      8.23      4.73
1720.42/216.28	c  S st   798    158512     71836    347464     98257     41195   1644688    458256      8.23   no data
1721.21/216.35	c x-sub:    53 x-cut:      0 vfix:      0 v-elim:    133 locsubst:   126 time:   0.07
1754.79/220.56	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   13 Bins:  10588 BRemL:  11711 BRemN:     81 P: 23.2M T:  4.21
1755.59/220.67	c Replacing      121 vars Replaced     9539 lits Time:     0.11 s 
1756.39/220.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1757.19/220.82	c bin-w-bin subsume rem         3304 bins  time:  0.03 s
1757.99/220.90	c subs with bin:      367  lits-rem:       408  v-fix:    0  time:  0.08 s
1757.99/221.00	c Subs w/ non-existent bins:     20 l-rem:    129 v-fix:     0 done:  71575 time:  0.10 s
1758.84/221.07	c Removed useless bin:      10  fixed:     0  props:   1.44M  time:  0.06 s
1761.17/221.39	c lits-rem:         7  cl-subs:      144  v-elim:    267  v-fix:    0  time:  0.31 s
1762.77/221.51	c subs with bin:      291  lits-rem:      1189  v-fix:    0  time:  0.08 s
1765.17/221.80	c lits-rem:      1926  cl-subs:     1705  v-elim:      0  v-fix:    0  time:  0.22 s
1769.17/222.32	c asymm  cl-useful: 17/27452/346201 lits-rem:51 time: 0.52
1769.17/222.35	c calculated reachability. Time: 0.01
1769.17/222.35	c  N dy   798    158512     71308    346184     90666     38998   1637912    413186      8.23   no data
1769.96/222.40	c Finding binary XORs  T:     0.05 s  found:       0
1802.79/226.53	c Finding binary XORs  T:     0.05 s  found:      51
1808.32/227.27	c  N dy   850    168710     71293    345822    104064     29443   1636174    230987      8.22      8.70
1852.28/232.76	c  N dy   908    179566     71293    345822    105350     38927   1636174    397385      8.24      9.28
1897.03/238.30	c  N dy   967    191170     71293    345822    105392     48825   1636174    554960      8.23      9.09
1951.37/245.10	c  N dy  1038    203463     71293    345822    105431     40717   1636174    361353      8.24      8.74
1974.55/248.05	c Finding binary XORs  T:     0.05 s  found:      11
2000.91/251.37	c  N dy  1117    216481     71292    345815    108461     52001   1636136    561708      8.27      9.51
2056.87/258.30	c  N dy  1199    230373     71290    345815    108487     44656   1636136    391880      8.31      8.80
2073.64/260.43	c Finding binary XORs  T:     0.05 s  found:      50
2085.62/261.90	c  S st  1243    237768     71281    345552    116382     51095   1634765    518328      8.32      6.84
2088.02/262.26	c  S st  1243    238270     71281    345552    116385     51581   1634765    525196      8.32   no data
2088.82/262.33	c x-sub:    44 x-cut:      0 vfix:      0 v-elim:     25 locsubst:    88 time:   0.07
2123.98/266.71	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3458 BRemL:  18430 BRemN:     56 P: 25.3M T:  4.38
2124.79/266.83	c Replacing      145 vars Replaced     5932 lits Time:     0.11 s 
2125.59/266.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2125.59/266.99	c bin-w-bin subsume rem         4545 bins  time:  0.04 s
2126.39/267.07	c subs with bin:      225  lits-rem:       387  v-fix:    0  time:  0.08 s
2127.19/267.18	c Subs w/ non-existent bins:     27 l-rem:     89 v-fix:     0 done:  71108 time:  0.11 s
2128.05/267.25	c Removed useless bin:      24  fixed:     0  props:   1.43M  time:  0.07 s
2130.37/267.58	c lits-rem:        17  cl-subs:      215  v-elim:    161  v-fix:    0  time:  0.33 s
2131.97/267.72	c subs with bin:      198  lits-rem:       848  v-fix:    0  time:  0.08 s
2134.37/268.03	c lits-rem:      1998  cl-subs:     2160  v-elim:      0  v-fix:    0  time:  0.24 s
2138.36/268.56	c asymm  cl-useful: 7/21575/344317 lits-rem:21 time: 0.53
2138.36/268.60	c calculated reachability. Time: 0.01
2139.16/268.60	c  N dy  1243    238270     70947    344310     95896     49161   1628157    458220      8.32   no data
2169.53/272.48	c Finding binary XORs  T:     0.05 s  found:       1
2201.50/276.48	c  N dy  1318    253546     70947    344310    100946     40872   1628156    260757      8.32      8.90
2269.49/284.98	c  N dy  1409    269969     70947    344310    100986     55310   1628156    509403      8.33      8.80
2308.59/289.84	c Finding binary XORs  T:     0.05 s  found:       8
2354.15/295.51	c  N dy  1514    287474     70947    344310    101040     49024   1628156    338402      8.36      8.87
2363.73/296.80	c Finding binary XORs  T:     0.05 s  found:       6
2437.26/305.95	c  N dy  1624    305889     70945    344304    116762     65030   1628017    661000      8.39      8.90
2438.06/306.06	c  F st  1626    306253     70945    344304    116762     65350   1628017    667657      8.39      5.14
2438.86/306.13	c Replacing       15 vars Replaced     3395 lits Time:     0.07 s 
2525.97/317.05	c  N dy  1724    325455     70930    344293    116791     59940   1627907    531378      8.42      8.87
2606.69/327.18	c  N dy  1834    345508     70930    344293    116846     77927   1627906    882016      8.44      8.92
2662.63/334.14	c  S st  1900    357406     70930    344293    116876     64563   1627906    546215      8.45   no data
2665.82/334.52	c  S st  1900    357910     70930    344293    116879     65048   1627906    554406      8.45   no data
2665.82/334.59	c x-sub:    34 x-cut:      0 vfix:      0 v-elim:    154 locsubst:    50 time:   0.07
2701.79/339.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:   2947 BRemL:  16319 BRemN:     43 P: 27.7M T:  4.45
2702.59/339.13	c Replacing       35 vars Replaced     2819 lits Time:     0.07 s 
2703.39/339.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2703.39/339.28	c bin-w-bin subsume rem         3689 bins  time:  0.04 s
2704.19/339.37	c subs with bin:       47  lits-rem:       187  v-fix:    0  time:  0.09 s
2704.99/339.48	c Subs w/ non-existent bins:     23 l-rem:     17 v-fix:     0 done:  70741 time:  0.11 s
2705.78/339.56	c Removed useless bin:       5  fixed:     0  props:   1.45M  time:  0.07 s
2708.24/339.89	c lits-rem:         5  cl-subs:       83  v-elim:     32  v-fix:    0  time:  0.33 s
2709.78/340.02	c subs with bin:      210  lits-rem:       459  v-fix:    0  time:  0.07 s
2712.17/340.34	c lits-rem:      1314  cl-subs:     1812  v-elim:      0  v-fix:    0  time:  0.25 s
2716.17/340.89	c asymm  cl-useful: 29/21414/344108 lits-rem:87 time: 0.55
2717.03/340.92	c calculated reachability. Time: 0.01
2717.03/340.93	c  N dy  1900    357910     70709    344079     99548     62925   1626182    497967      8.45   no data
2717.03/340.97	c Finding binary XORs  T:     0.05 s  found:       0
2804.08/351.90	c  N dy  2010    377963     70707    344079    101717     80756   1626182    813961      8.47      9.64
2846.44/357.18	c Finding binary XORs  T:     0.05 s  found:      14
2898.38/363.67	c  N dy  2135    398134     70706    344007    101717     72968   1625764    615188      8.51      9.19
2915.96/365.83	c Finding binary XORs  T:     0.05 s  found:       8
2979.10/373.72	c Finding binary XORs  T:     0.05 s  found:       3
2995.87/375.89	c  N dy  2262    418147     70701    343836    110490     65347   1624561    433229      8.54     13.69
3087.78/387.33	c Finding binary XORs  T:     0.05 s  found:      17
3095.84/388.35	c  N dy  2384    438203     70699    343817    113378     83123   1624465    766164      8.56      9.67
3198.08/401.17	c  N dy  2516    458319     70699    343817    113420     74796   1624465    569451      8.61      9.19
3295.58/413.35	c  N dy  2642    478577     70699    343817    113465     92807   1624465    910566      8.64      9.40
3404.26/426.90	c  N dy  2771    498665     70699    343817    113573     83730   1624465    659320      8.67     10.93
3504.95/439.53	c  N dy  2872    518757     70699    343817    113627    101612   1624465    998120      8.68      9.33
3599.26/451.34	c  S st  2990    536865     70698    343817    113664     89917   1624465    708309      8.71      6.88
3602.46/451.78	c  S st  2990    537365     70698    343817    113666     90397   1624465    717421      8.71   no data
3603.26/451.85	c x-sub:    25 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.07
3640.07/456.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   56 Bins:   3092 BRemL:   9886 BRemN:     11 P: 31.4M T:  4.63
3641.61/456.61	c Replacing       99 vars Replaced     8692 lits Time:     0.12 s 
3642.41/456.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3642.41/456.78	c bin-w-bin subsume rem         3056 bins  time:  0.04 s
3643.21/456.86	c subs with bin:      103  lits-rem:       303  v-fix:    0  time:  0.09 s
3644.01/456.98	c Subs w/ non-existent bins:     28 l-rem:     44 v-fix:     0 done:  70599 time:  0.11 s
3644.81/457.05	c Removed useless bin:       7  fixed:     0  props:   1.49M  time:  0.07 s
3648.01/457.42	c lits-rem:         1  cl-subs:      303  v-elim:    102  v-fix:    0  time:  0.36 s
3648.86/457.59	c subs with bin:      227  lits-rem:      1479  v-fix:    0  time:  0.09 s
3652.00/457.97	c lits-rem:      1645  cl-subs:     2599  v-elim:      0  v-fix:    0  time:  0.31 s
3656.80/458.50	c asymm  cl-useful: 46/14165/343224 lits-rem:138 time: 0.52
3656.80/458.53	c calculated reachability. Time: 0.01
3656.80/458.54	c  N dy  2990    537365     70497    343178    103105     86315   1621817    656827      8.71   no data
3656.80/458.59	c Finding binary XORs  T:     0.05 s  found:       0
3753.50/470.65	c  N dy  3120    557488     70497    343178    104731    104239   1621817   1009466      8.74      9.54
3808.60/477.50	c Finding binary XORs  T:     0.05 s  found:      24
3868.59/485.04	c  N dy  3268    577563     70496    343150    111107     92127   1621654    711746      8.78     13.51
3976.42/498.51	c  N dy  3401    597848     70495    343150    111168    110339   1621654   1064720      8.81      9.34
4029.97/505.21	c Finding binary XORs  T:     0.05 s  found:      13
4085.11/512.10	c  N dy  3537    617901     70487    343147    111244     98206   1621639    765584      8.84      9.43
4205.79/527.20	c  N dy  3668    638492     70470    343147    111269    116685   1621639   1142337      8.87      9.52
4309.68/540.27	c  N dy  3789    658582     70468    343147    111351    103658   1621639    802945      8.89     13.97
4411.98/553.04	c  N dy  3915    678669     70468    343147    111416    121722   1621639   1160002      8.92      9.52
4459.12/558.95	c Finding binary XORs  T:     0.05 s  found:      75
4524.65/567.14	c  N dy  4040    698739     70468    342947    127761    108057   1620884    835027      8.94     16.38
4551.02/570.46	c Finding binary XORs  T:     0.05 s  found:      20
4643.72/582.06	c  N dy  4185    718766     70468    342947    127880    126162   1620884   1219158      8.97      9.91
4670.90/585.46	c Finding binary XORs  T:     0.05 s  found:      13
4760.41/596.67	c  N dy  4324    738914     70467    342942    133148    111779   1620833    856116      9.01      9.49
4869.09/610.20	c  N dy  4434    759080     70467    342942    133200    129975   1620832   1204673      9.01     10.95
4980.18/624.15	c  N dy  4565    779095     70398    342942    134322    114645   1620832    820626      9.03      9.82
4985.04/624.73	c Finding binary XORs  T:     0.05 s  found:    1670
4986.57/624.91	c Replacing     1978 vars Replaced   197987 lits Time:     0.19 s 
5076.08/636.19	c Finding binary XORs  T:     0.05 s  found:    1882
5077.68/636.34	c Replacing     1882 vars Replaced   103911 lits Time:     0.15 s 
5084.06/637.19	c  N dy  4648    799317     66323    337529    128593    118691   1592919    974223      9.02      9.56
5114.44/640.94	c  S st  4672    806048     66323    337529    128964    124612   1592919   1065596      9.01   no data
5118.43/641.49	c  S st  4672    806549     66323    337529    128977    125088   1592919   1071855      9.01   no data
5119.23/641.57	c x-sub:  1004 x-cut:      0 vfix:      0 v-elim:      0 locsubst:  1558 time:   0.08
5164.78/647.20	c Flit:    12 Blit:     11 bXBeca:    0 bXProp:  321 Bins:  49901 BRemL:  21763 BRemN:    111 P: 53.0M T:  5.63
5165.58/647.38	c Replacing      936 vars Replaced    94517 lits Time:     0.17 s 
5167.18/647.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5167.18/647.58	c bin-w-bin subsume rem        29555 bins  time:  0.08 s
5167.98/647.68	c subs with bin:     2208  lits-rem:      3526  v-fix:    0  time:  0.10 s
5169.64/647.81	c Subs w/ non-existent bins:    381 l-rem:    667 v-fix:     0 done:  65359 time:  0.12 s
5169.64/647.88	c Removed useless bin:     355  fixed:     0  props:   1.71M  time:  0.07 s
5175.97/648.66	c lits-rem:       179  cl-subs:     8118  v-elim:   4332  v-fix:    0  time:  0.77 s
5177.57/648.88	c subs with bin:     1639  lits-rem:      9098  v-fix:    0  time:  0.12 s
5183.95/649.63	c lits-rem:      6461  cl-subs:    18471  v-elim:      0  v-fix:    0  time:  0.68 s
5188.02/650.16	c asymm  cl-useful: 37/13380/307797 lits-rem:111 time: 0.53
5188.02/650.19	c calculated reachability. Time: 0.00
5188.74/650.20	c  N dy  4672    806549     61027    307760    101381     98490   1456993    818119      9.01   no data
5188.74/650.24	c Finding binary XORs  T:     0.05 s  found:       6
5234.30/655.94	c Finding binary XORs  T:     0.05 s  found:     168
5283.92/662.14	c  N dy  4785    826629     61027    307760    123045    116372   1456991   1170066      9.01      9.57
5327.88/667.70	c Finding binary XORs  T:     0.05 s  found:      87
5380.62/674.28	c  N dy  4907    846793     61027    307760    123293     94589   1456988    736310      9.02      9.59
5484.46/687.20	c  N dy  5029    867256     61025    307760    123599    113075   1456987   1087094      9.02      9.50
5594.73/701.04	c  N dy  5146    887469     61025    307760    123767     97261   1456986    709561      9.03      9.96
5607.53/702.68	c Finding binary XORs  T:     0.05 s  found:     278
5701.82/714.43	c  N dy  5260    907563     61022    307741    135717    115457   1456846   1083251      9.05      9.75
5812.91/728.36	c  N dy  5384    927664     61019    307741    135989     97841   1456845    658126      9.06      9.56
5896.83/738.81	c Finding binary XORs  T:     0.05 s  found:     263
5897.63/738.92	c Replacing      802 vars Replaced    54409 lits Time:     0.11 s 
5909.60/740.40	c  N dy  5493    947801     60208    307338    143283    115768   1454230   1019288      9.06      9.70
6024.69/754.84	c  N dy  5618    967956     60208    307338    143667    134006   1454229   1369900      9.07      9.61
6133.38/768.40	c  N dy  5736    988012     60206    307338    143857    115887   1454225    934674      9.07     11.24
6242.12/782.01	c  N dy  5861   1008212     60206    307338    144086    134238   1454225   1281784      9.08      9.59
6360.35/796.81	c  N dy  5972   1028304     60205    307338    144269    114990   1454225    829459      9.08      9.79
6425.89/805.02	c Finding binary XORs  T:     0.05 s  found:     303
6480.29/811.87	c  N dy  6094   1048360     60202    307329    144339    132984   1454126   1162593      9.09     11.73
6604.89/827.41	c  N dy  6215   1068393     60198    307329    144520    113416   1454125    718297      9.09      9.75
6622.49/829.63	c  F st  6236   1071875     60196    307329    144627    116627   1454125    778852      9.09   no data
6623.29/829.76	c Replacing      310 vars Replaced    18588 lits Time:     0.09 s 
6717.66/841.57	c  N dy  6303   1089448     59886    307209    144163    131998   1453183   1097641      9.09      9.68
6747.95/845.36	c Finding binary XORs  T:     0.05 s  found:     414
6847.86/857.81	c  N dy  6427   1109775     59871    307120    152990    150386   1452696   1469957      9.10      9.78
6935.76/868.81	c Finding binary XORs  T:     0.05 s  found:     145
6972.59/873.41	c  N dy  6545   1129822     59869    307016    153194    129813   1451629    964333      9.11      9.78
7083.62/887.38	c  N dy  6646   1149895     59867    307016    153447    148002   1451626   1302045      9.11      9.88
7208.29/902.95	c  N dy  6772   1169994     59865    307016    153632    126537   1451626    814289      9.12     10.05
7330.56/918.20	c  N dy  6897   1189996     59865    307016    153819    144716   1451625   1178782      9.13     10.06
7454.43/933.74	c  S st  7024   1209826     59862    307016    154062    162688   1451625   1524600      9.14   no data
7459.22/934.32	c  S st  7024   1210328     59862    307016    154065    163179   1451625   1533046      9.14   no data
7460.02/934.40	c x-sub:   623 x-cut:      0 vfix:      0 v-elim:     12 locsubst:   318 time:   0.07
7497.58/939.20	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  409 Bins:  12599 BRemL:  31894 BRemN:     48 P: 40.2M T:  4.80
7499.23/939.39	c Replacing      999 vars Replaced    67354 lits Time:     0.18 s 
7500.77/939.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7500.77/939.57	c bin-w-bin subsume rem        27200 bins  time:  0.06 s
7501.57/939.66	c subs with bin:     2133  lits-rem:      3665  v-fix:    0  time:  0.09 s
7502.37/939.78	c Subs w/ non-existent bins:    398 l-rem:    528 v-fix:     0 done:  58850 time:  0.11 s
7503.16/939.85	c Removed useless bin:     264  fixed:     0  props:   1.43M  time:  0.07 s
7508.03/940.44	c lits-rem:       401  cl-subs:     9342  v-elim:   1363  v-fix:    0  time:  0.59 s
7510.36/940.76	c subs with bin:     1443  lits-rem:      7698  v-fix:    0  time:  0.19 s
7518.35/941.75	c lits-rem:      5825  cl-subs:     8649  v-elim:      0  v-fix:    0  time:  0.91 s
7519.15/941.88	c vivif2 --  cl tried   291749 cl shrink     1598 lits rem       2579 time: 0.13
7520.75/942.06	c vivif2 --  cl tried   148593 cl shrink     8124 lits rem      19663 time: 0.17
7521.55/942.15	c asymm  cl-useful: 1/1418/291698 lits-rem:3 time: 0.09
7522.35/942.20	c calculated reachability. Time: 0.02
7522.35/942.20	c  N dy  7024   1210328     57487    291697     94669    148533   1398741   1243818      9.14   no data
7522.35/942.29	c Finding binary XORs  T:     0.08 s  found:      15
7591.85/950.95	c Finding binary XORs  T:     0.08 s  found:     101
7642.98/957.36	c  N dy  7100   1230423     57485    291658    101146    166276   1398457   1584146      9.12      9.68
7677.33/961.60	c Finding binary XORs  T:     0.08 s  found:      98
7758.84/971.80	c  N dy  7181   1250470     57484    291658    102086    140055   1398457   1009245      9.12      9.63
7859.59/984.46	c Finding binary XORs  T:     0.08 s  found:     126
7881.10/987.13	c  N dy  7257   1270892     57478    291618    103967    158118   1398300   1354163      9.10      9.60
8001.76/1002.23	c  N dy  7327   1291116     57478    291618    104805    136001   1398298    824526      9.09      9.57
8083.28/1012.42	c Finding binary XORs  T:     0.08 s  found:     116
8123.29/1017.47	c  N dy  7403   1311190     57475    291610    104973    153966   1398270   1176529      9.08      9.96
8242.30/1032.35	c  N dy  7480   1331191     57475    291610    105181    171795   1398270   1523127      9.07      9.56
8378.22/1049.34	c  N dy  7562   1351297     57475    291610    105352    148921   1398270    974714      9.06      9.65
8499.64/1064.59	c  N dy  7652   1371408     57475    291610    105504    167061   1398270   1331265      9.05      9.55
8621.87/1079.89	c  N dy  7736   1391506     57475    291610    105605    185127   1398270   1677854      9.04      9.73
8630.66/1080.91	c Finding binary XORs  T:     0.08 s  found:     299
8631.46/1081.03	c Replacing      755 vars Replaced    41702 lits Time:     0.12 s 
8753.72/1096.37	c  N dy  7830   1412168     56719    291493    106942    160706   1397300   1118270      9.04      9.56
8866.41/1110.44	c Finding binary XORs  T:     0.08 s  found:     123
8884.80/1112.70	c  N dy  7926   1432228     56717    291485    114438    178705   1397267   1516492      9.04     15.23
9002.34/1127.47	c Finding binary XORs  T:     0.08 s  found:      74
9009.48/1128.36	c  N dy  8017   1452322     56716    291481    115989    153515   1397253    893818      9.03      9.54
9135.73/1144.17	c  N dy  8102   1472348     56714    291481    122948    171666   1397251   1263337      9.02      9.60
9143.79/1145.11	c Finding binary XORs  T:     0.08 s  found:      94
9236.43/1156.73	c Finding binary XORs  T:     0.08 s  found:      59
9266.06/1160.48	c  N dy  8198   1492431     56710    291429    125180    189891   1396839   1651953      9.02      9.55
9398.72/1177.03	c  N dy  8279   1512528     56710    291429    125316    163529   1396839   1014948      9.01     12.63
9526.52/1193.10	c  N dy  8377   1532596     56710    291429    125450    181792   1396839   1391024      9.01     10.24
9662.45/1210.06	c  N dy  8485   1552936     56709    291429    125561    200432   1396839   1766087      9.01      9.50
9787.86/1225.71	c  N dy  8572   1573058     56709    291429    125660    172644   1396839   1102306      9.00      9.68
9908.61/1240.84	c  N dy  8660   1593185     56708    291429    125761    191078   1396839   1471355      9.00      9.52
9969.33/1248.43	c Finding binary XORs  T:     0.08 s  found:     209
10040.46/1257.34	c  N dy  8777   1613403     56706    291410    132654    209861   1396627   1898557      9.00      9.57
10047.59/1258.27	c Finding binary XORs  T:     0.08 s  found:      23
10048.45/1258.40	c Replacing      582 vars Replaced    46424 lits Time:     0.13 s 
10163.54/1272.75	c  N dy  8871   1633549     56123    291256    131580    180081   1395054   1193165      8.99      9.48
10306.51/1290.65	c  N dy  8960   1653655     56123    291256    131691    198566   1395053   1590351      8.99      9.57
10441.59/1307.55	c  N dy  9061   1673694     56123    291256    131850    216901   1395053   1986358      8.99      9.48
10572.64/1323.96	c  N dy  9150   1693802     55836    291256    132011    187229   1395053   1227112      8.98      9.46
10626.19/1330.64	c Finding binary XORs  T:     0.08 s  found:    3373
10627.80/1330.88	c Replacing     3373 vars Replaced   293466 lits Time:     0.23 s 
10688.53/1338.43	c  S st  9225   1710328     52444    284224    122049    188907   1352073   1395032      8.98   no data
10692.52/1338.95	c  S st  9225   1710832     52444    284224    122051    189393   1352073   1403814      8.98   no data
10693.32/1339.03	c x-sub:   197 x-cut:      0 vfix:      0 v-elim:     50 locsubst:    82 time:   0.07
10729.29/1343.54	c Flit:    22 Blit:      7 bXBeca:    0 bXProp:  969 Bins:  26510 BRemL:  26347 BRemN:     94 P: 33.7M T:  4.52
10730.89/1343.74	c Replacing     1010 vars Replaced    80565 lits Time:     0.19 s 
10731.69/1343.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10732.49/1343.91	c bin-w-bin subsume rem        14733 bins  time:  0.05 s
10733.29/1344.00	c subs with bin:     1950  lits-rem:      2363  v-fix:    0  time:  0.09 s
10734.15/1344.11	c Subs w/ non-existent bins:    125 l-rem:    237 v-fix:     0 done:  51354 time:  0.10 s
10734.15/1344.17	c Removed useless bin:     325  fixed:     0  props:   1.31M  time:  0.06 s
10740.48/1344.97	c lits-rem:       468  cl-subs:    15701  v-elim:   3707  v-fix:    0  time:  0.80 s
10742.93/1345.25	c subs with bin:     1631  lits-rem:     15030  v-fix:    0  time:  0.16 s
10749.09/1346.21	c lits-rem:      9310  cl-subs:    18778  v-elim:      0  v-fix:    0  time:  0.88 s
10749.09/1346.30	c vivif2 --  cl tried   249207 cl shrink      841 lits rem       1295 time: 0.10
10749.50/1346.41	c vivif2 --  cl tried   161484 cl shrink     3830 lits rem      10363 time: 0.11
10750.28/1346.85	c asymm  cl-useful: 1272/10724/249155 lits-rem:5380 time: 0.44
10750.48/1346.90	c calculated reachability. Time: 0.02
10750.48/1346.90	c  N dy  9225   1710832     47647    249104     91012    161461   1180623   1120449      8.98   no data
10750.48/1346.90	c Following stats are for *FIRST FINISHED THREAD ONLY*
10750.48/1346.90	c num threads              : 8          
10750.48/1346.90	c restarts                 : 10086      
10750.48/1346.90	c dynamic restarts         : 10056      
10750.48/1346.90	c static restarts          : 30         
10750.48/1346.90	c full restarts            : 4          
10750.48/1346.90	c total simplify time      : 9.56       
10750.48/1346.90	c learnts DL2              : 0          
10750.48/1346.90	c learnts size 2           : 1996241    
10750.48/1346.90	c learnts size 1           : 25443       (5.87      % of vars)
10750.48/1346.90	c filedLit time            : 58.56       (4.40      % time)
10750.48/1346.90	c v-elim SatELite          : 315901      (72.86     % vars)
10750.48/1346.90	c SatELite time            : 7.65        (0.57      % time)
10750.48/1346.90	c v-elim xor               : 747         (0.17      % vars)
10750.48/1346.90	c xor elim time            : 0.41        (0.03      % time)
10750.48/1346.90	c num binary xor trees     : 18066      
10750.48/1346.90	c binxor trees' crown      : 41369       (2.29      leafs/tree)
10750.48/1346.90	c bin xor find time        : 2.60       
10750.48/1346.90	c OTF clause improved      : 176920      (0.10      clauses/conflict)
10750.48/1346.90	c OTF impr. size diff      : 185075      (1.05       lits/clause)
10750.48/1346.90	c OTF cl watch-shrink      : 619171      (0.36      clauses/conflict)
10750.48/1346.90	c OTF cl watch-sh-lit      : 1756356     (2.84       lits/clause)
10750.48/1346.90	c tried to recurMin cls    : 0           (0.00       % of conflicts)
10750.48/1346.90	c updated cache            : 0           (nan        lits/tried recurMin)
10750.48/1346.90	c unit cls recevied        : 472         (1.86      % of units)
10750.48/1346.90	c unit cls sent            : 1332        (5.24      % of units)
10750.48/1346.90	c bin cls recevied         : 596357     
10750.48/1346.90	c bin cls sent             : 76228      
10750.48/1346.90	c clauses over max glue    : 0           (0.00      % of all clauses)
10750.48/1346.90	c conflicts                : 1700970     (1277.21   / sec)
10750.48/1346.90	c decisions                : 30548698    (0.95      % random)
10750.48/1346.90	c bogo-props               : 41480689119 (31146790.28 / sec)
10750.48/1346.90	c conflict literals        : 30453533    (19.41     % deleted)
10750.48/1346.90	c Memory used              : 5279.20     MB
10750.48/1346.90	c single-thread CPU time   : 1331.78     s
10750.48/1346.90	c all-threads sum CPU time : 10711.38    s
10750.48/1346.90	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-3321022-1304322188/watcher-3321022-1304322188 -o /tmp/evaluation-result-3321022-1304322188/solver-3321022-1304322188 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321022-1304322188.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/245 18917
/proc/meminfo: memFree=23081360/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=92188 CPUtime=0.02 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 413 0 0 0 2 0 0 0 23 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799026 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18917/statm: 23047 352 299 106 0 18018 0
[pid=18917/tid=18918] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799016 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799026 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 352 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799026 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.080518 s]
/proc/loadavg: 0.00 0.00 0.00 2/245 18917
/proc/meminfo: memFree=23081360/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=92188 CPUtime=0.31 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 420 0 0 0 31 0 0 0 23 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798615 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18917/statm: 23047 359 303 106 0 18018 0
[pid=18917/tid=18918] ppid=18915 vsize=92188 CPUtime=0.05 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798615 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=92188 CPUtime=0.02 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=92188 CPUtime=0.01 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799026 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=92188 CPUtime=0.06 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=92188 CPUtime=0.07 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 92188

[startup+0.100515 s]
/proc/loadavg: 0.00 0.00 0.00 2/245 18917
/proc/meminfo: memFree=23081360/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=92188 CPUtime=0.41 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 420 0 0 0 41 0 0 0 23 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18917/statm: 23047 359 303 106 0 18018 0
[pid=18917/tid=18918] ppid=18915 vsize=92188 CPUtime=0.07 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=92188 CPUtime=0.02 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=92188 CPUtime=0.01 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799026 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=92188 CPUtime=0.08 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 8 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=92188 CPUtime=0 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138799020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=92188 CPUtime=0.09 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798621 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=92188 CPUtime=0.02 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 622449678 94400512 359 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798608 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 92188

[startup+0.304181 s]
/proc/loadavg: 0.00 0.00 0.00 2/245 18917
/proc/meminfo: memFree=23081360/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=612788 CPUtime=1.32 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) S 18915 18917 18891 0 -1 4202496 44342 0 0 0 101 31 0 0 17 0 8 0 622449678 627494912 36049 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 153197 36050 339 106 0 148168 0
[pid=18917/tid=18918] ppid=18915 vsize=612788 CPUtime=0.18 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 5250 0 0 0 15 3 0 0 17 0 8 0 622449678 627494912 36051 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=612788 CPUtime=0.1 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 5571 0 0 0 7 3 0 0 17 0 8 0 622449678 627494912 36052 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=612788 CPUtime=0.07 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 5121 0 0 0 5 2 0 0 17 0 8 0 622449678 627494912 36052 33554432000 4194304 4627427 140734787062816 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=612788 CPUtime=0.21 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 5443 0 0 0 18 3 0 0 17 0 8 0 622449678 627494912 36054 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=612788 CPUtime=0.12 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 6156 0 0 0 7 5 0 0 17 0 8 0 622449678 627494912 36069 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 0 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=612788 CPUtime=0.19 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 5358 0 0 0 15 4 0 0 17 0 8 0 622449678 627494912 36072 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=612788 CPUtime=0.16 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 6051 0 0 0 12 4 0 0 17 0 8 0 622449678 627494912 36074 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 612788

[startup+0.701417 s]
/proc/loadavg: 0.00 0.00 0.00 2/245 18917
/proc/meminfo: memFree=23081360/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=996172 CPUtime=3.36 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) S 18915 18917 18891 0 -1 4202496 146696 0 0 0 237 99 0 0 16 0 8 0 622449678 1020080128 114941 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18917/statm: 249043 114982 339 106 0 244014 0
[pid=18917/tid=18918] ppid=18915 vsize=996172 CPUtime=0.41 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 17265 0 0 0 31 10 0 0 16 0 8 0 622449678 1020080128 115003 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 4 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=996172 CPUtime=0.32 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 18213 0 0 0 22 10 0 0 16 0 8 0 622449678 1020080128 115025 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988289913 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=996172 CPUtime=0.3 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 15622 0 0 0 22 8 0 0 16 0 8 0 622449678 1020080128 115048 33554432000 4194304 4627427 140734787062816 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=996172 CPUtime=0.5 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 19161 0 0 0 37 13 0 0 17 0 8 0 622449678 1020080128 115067 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=996172 CPUtime=0.36 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 19122 0 0 0 24 12 0 0 16 0 8 0 622449678 1020080128 115092 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 4 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=996172 CPUtime=0.48 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 18548 0 0 0 34 14 0 0 17 0 8 0 622449678 1020080128 115113 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=996172 CPUtime=0.46 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 20362 0 0 0 31 15 0 0 17 0 8 0 622449678 1020080128 115134 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 996172

[startup+1.50127 s]
/proc/loadavg: 0.00 0.00 0.00 2/253 18925
/proc/meminfo: memFree=22387764/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=1649400 CPUtime=6.68 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 337779 0 0 0 460 208 0 0 15 0 8 0 622449678 1688985600 269414 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18917/statm: 412350 269420 339 106 0 407321 0
[pid=18917/tid=18918] ppid=18915 vsize=1649400 CPUtime=0.72 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 37460 0 0 0 51 21 0 0 15 0 8 0 622449678 1688985600 269422 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988635831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=1649400 CPUtime=0.72 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 41949 0 0 0 50 22 0 0 15 0 8 0 622449678 1688985600 269425 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=1649400 CPUtime=0.63 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 42582 0 0 0 42 21 0 0 15 0 8 0 622449678 1688985600 269429 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 2 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=1649400 CPUtime=1.03 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 41352 0 0 0 73 30 0 0 16 0 8 0 622449678 1688985600 269430 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697582 0 0 4096 2 18446604471161566208 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=1649400 CPUtime=0.7 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 43531 0 0 0 46 24 0 0 15 0 8 0 622449678 1688985600 269431 33554432000 4194304 4627427 140734787062816 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=1649400 CPUtime=1.01 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 42159 0 0 0 71 30 0 0 16 0 8 0 622449678 1688985600 269432 33554432000 4194304 4627427 140734787062816 18446744073709551615 215988697586 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=1649400 CPUtime=0.98 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 47686 0 0 0 67 31 0 0 16 0 8 0 622449678 1688985600 269434 33554432000 4194304 4627427 140734787062816 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 1649400

[startup+3.101 s]
/proc/loadavg: 0.00 0.00 0.00 9/253 18925
/proc/meminfo: memFree=21772612/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=1980364 CPUtime=18.49 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 410639 0 0 0 1598 251 0 0 17 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 495091 339971 367 106 0 490062 0
[pid=18917/tid=18918] ppid=18915 vsize=1980364 CPUtime=2.12 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 49261 0 0 0 187 25 0 0 17 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=1980364 CPUtime=2.2 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 49601 0 0 0 193 27 0 0 17 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=1980364 CPUtime=2.07 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 53298 0 0 0 181 26 0 0 17 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=1980364 CPUtime=2.58 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 48544 0 0 0 221 37 0 0 18 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=1980364 CPUtime=2.12 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 53839 0 0 0 183 29 0 0 17 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=1980364 CPUtime=2.53 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 49525 0 0 0 218 35 0 0 18 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=1980364 CPUtime=2.54 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 56681 0 0 0 216 38 0 0 18 0 8 0 622449678 2027892736 339971 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.49
Current children cumulated vsize (KiB) 1980364

[startup+6.30044 s]
/proc/loadavg: 0.72 0.15 0.05 9/253 18925
/proc/meminfo: memFree=21712620/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=1984092 CPUtime=44.04 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 414153 0 0 0 4153 251 0 0 23 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4237878 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 496023 341466 367 106 0 490994 0
[pid=18917/tid=18918] ppid=18915 vsize=1984092 CPUtime=5.32 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 49323 0 0 0 507 25 0 0 23 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=1984092 CPUtime=5.39 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 49692 0 0 0 512 27 0 0 23 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=1984092 CPUtime=5.27 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 53364 0 0 0 501 26 0 0 23 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=1984092 CPUtime=5.78 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 48599 0 0 0 541 37 0 0 25 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=1984092 CPUtime=5.33 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 53923 0 0 0 503 30 0 0 23 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=1984092 CPUtime=5.7 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 49627 0 0 0 535 35 0 0 25 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=1984092 CPUtime=5.73 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 59694 0 0 0 535 38 0 0 25 0 8 0 622449678 2031710208 341466 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0

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

/proc/loadavg: 8.11 7.96 6.06 9/253 18969
/proc/meminfo: memFree=18297536/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5380828 CPUtime=10425.6 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21759504 0 0 0 1038656 3905 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1345207 1194066 392 106 0 1340178 0
[pid=18917/tid=18918] ppid=18915 vsize=5380828 CPUtime=1304.36 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2965976 0 0 0 129910 526 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5380828 CPUtime=1304.35 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2988771 0 0 0 129924 511 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5380828 CPUtime=1304.37 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2920313 0 0 0 129940 497 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5380828 CPUtime=1304.9 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2904007 0 0 0 129942 548 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5380828 CPUtime=1304.25 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3126227 0 0 0 129879 546 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5380828 CPUtime=1296.52 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260544 0 0 0 129071 581 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5380828 CPUtime=1302.4 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 487637 0 0 0 130097 143 0 0 25 0 8 0 622449678 5509967872 1194066 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10425.6
Current children cumulated vsize (KiB) 5380828

[startup+1331.1 s]
/proc/loadavg: 8.07 7.96 6.11 9/253 18970
/proc/meminfo: memFree=18248300/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5405896 CPUtime=10630.2 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21771664 0 0 0 1059109 3910 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1351474 1206225 392 106 0 1346445 0
[pid=18917/tid=18918] ppid=18915 vsize=5405896 CPUtime=1329.96 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2966539 0 0 0 132469 527 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5405896 CPUtime=1329.96 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2993318 0 0 0 132484 512 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5405896 CPUtime=1329.98 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2920999 0 0 0 132500 498 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5405896 CPUtime=1330.51 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2904727 0 0 0 132502 549 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5405896 CPUtime=1329.85 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3127086 0 0 0 132438 547 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5405896 CPUtime=1321.9 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260546 0 0 0 131609 581 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5405896 CPUtime=1328 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 488420 0 0 0 132656 144 0 0 25 0 8 0 622449678 5535637504 1206225 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10630.2
Current children cumulated vsize (KiB) 5405896

[startup+1337.5 s]
/proc/loadavg: 8.06 7.97 6.13 9/253 18970
/proc/meminfo: memFree=18244332/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5405896 CPUtime=10681.4 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21772618 0 0 0 1064230 3910 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1351474 1207179 392 106 0 1346445 0
[pid=18917/tid=18918] ppid=18915 vsize=5405896 CPUtime=1336.37 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2966539 0 0 0 133110 527 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5405896 CPUtime=1336.37 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2993481 0 0 0 133125 512 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5405896 CPUtime=1336.39 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2921177 0 0 0 133141 498 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5405896 CPUtime=1336.92 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2904884 0 0 0 133143 549 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5405896 CPUtime=1336.26 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3127232 0 0 0 133079 547 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5405896 CPUtime=1328.26 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260546 0 0 0 132245 581 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5405896 CPUtime=1334.41 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 488581 0 0 0 133297 144 0 0 25 0 8 0 622449678 5535637504 1207179 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10681.4
Current children cumulated vsize (KiB) 5405896

[startup+1343.9 s]
/proc/loadavg: 8.06 7.97 6.14 9/253 18970
/proc/meminfo: memFree=18241228/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5405896 CPUtime=10732.5 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21773520 0 0 0 1069338 3911 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4418176 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1351474 1208081 392 106 0 1346445 0
[pid=18917/tid=18918] ppid=18915 vsize=5405896 CPUtime=1342.76 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2966539 0 0 0 133749 527 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5405896 CPUtime=1342.76 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2993653 0 0 0 133764 512 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5405896 CPUtime=1342.78 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2921351 0 0 0 133780 498 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5405896 CPUtime=1343.31 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2905031 0 0 0 133782 549 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5405896 CPUtime=1342.66 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3127431 0 0 0 133718 548 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5405896 CPUtime=1334.6 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260546 0 0 0 132879 581 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5405896 CPUtime=1340.8 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 488756 0 0 0 133936 144 0 0 25 0 8 0 622449678 5535637504 1208081 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10732.5
Current children cumulated vsize (KiB) 5405896

[startup+1345.5 s]
/proc/loadavg: 8.06 7.97 6.14 9/253 18970
/proc/meminfo: memFree=18237384/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5405896 CPUtime=10745.3 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21780385 0 0 0 1070616 3912 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1351474 1210435 392 106 0 1346445 0
[pid=18917/tid=18918] ppid=18915 vsize=5405896 CPUtime=1344.36 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2966540 0 0 0 133909 527 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5405896 CPUtime=1344.36 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2993717 0 0 0 133924 512 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5405896 CPUtime=1344.38 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2921393 0 0 0 133940 498 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4324960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5405896 CPUtime=1344.91 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 2905065 0 0 0 133942 549 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5405896 CPUtime=1344.25 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3127469 0 0 0 133877 548 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4312528 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5405896 CPUtime=1336.18 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260546 0 0 0 133037 581 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5405896 CPUtime=1342.4 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 488799 0 0 0 134096 144 0 0 25 0 8 0 622449678 5535637504 1210435 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10745.3
Current children cumulated vsize (KiB) 5405896

[startup+1346.3 s]
/proc/loadavg: 8.06 7.97 6.14 3/253 18970
/proc/meminfo: memFree=18236144/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5405896 CPUtime=10749.3 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21781749 0 0 0 1071018 3912 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 4520557 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1351474 1209236 392 106 0 1346445 0
[pid=18917/tid=18918] ppid=18915 vsize=5405896 CPUtime=1344.76 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2966540 0 0 0 133949 527 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5405896 CPUtime=1344.76 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2993724 0 0 0 133964 512 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5405896 CPUtime=1344.78 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2921402 0 0 0 133980 498 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5405896 CPUtime=1345.31 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2905071 0 0 0 133982 549 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5405896 CPUtime=1344.66 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 3127486 0 0 0 133918 548 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5405896 CPUtime=1336.99 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260546 0 0 0 133118 581 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138774212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5405896 CPUtime=1342.8 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 488812 0 0 0 134136 144 0 0 25 0 8 0 622449678 5535637504 1209236 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10749.3
Current children cumulated vsize (KiB) 5405896

[startup+1346.7 s]
/proc/loadavg: 8.06 7.97 6.14 3/253 18970
/proc/meminfo: memFree=18236144/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=5405896 CPUtime=10750.1 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) R 18915 18917 18891 0 -1 4202496 21781890 0 0 0 1071096 3912 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 1351474 1209197 392 106 0 1346445 0
[pid=18917/tid=18918] ppid=18915 vsize=5405896 CPUtime=1344.76 cores=0-7
/proc/18917/task/18918/stat : 18918 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2966540 0 0 0 133949 527 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 1 0 0 0
[pid=18917/tid=18919] ppid=18915 vsize=5405896 CPUtime=1344.76 cores=0-7
/proc/18917/task/18919/stat : 18919 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2993724 0 0 0 133964 512 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 2 0 0 0
[pid=18917/tid=18920] ppid=18915 vsize=5405896 CPUtime=1344.78 cores=0-7
/proc/18917/task/18920/stat : 18920 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2921402 0 0 0 133980 498 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 0 0 0 0
[pid=18917/tid=18921] ppid=18915 vsize=5405896 CPUtime=1345.31 cores=0-7
/proc/18917/task/18921/stat : 18921 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 2905071 0 0 0 133982 549 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 5 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=5405896 CPUtime=1344.66 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 3127486 0 0 0 133918 548 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 6 0 0 0
[pid=18917/tid=18923] ppid=18915 vsize=5405896 CPUtime=1337.38 cores=0-7
/proc/18917/task/18923/stat : 18923 (strangenight2-m) R 18915 18917 18891 0 -1 4202560 3260546 0 0 0 133157 581 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138774212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18917/tid=18924] ppid=18915 vsize=5405896 CPUtime=1342.8 cores=0-7
/proc/18917/task/18924/stat : 18924 (strangenight2-m) S 18915 18917 18891 0 -1 4202560 488812 0 0 0 134136 144 0 0 25 0 8 0 622449678 5535637504 1209197 33554432000 4194304 4627427 140734787062816 18446744073709551615 47584138798644 0 0 4096 2 18446604471161566208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10750.1
Current children cumulated vsize (KiB) 5405896

[startup+1347.1 s]
/proc/loadavg: 8.06 7.97 6.14 3/253 18970
/proc/meminfo: memFree=18236144/32950940 swapFree=67111364/67111528
[pid=18917] ppid=18915 vsize=0 CPUtime=10750.7 cores=0-7
/proc/18917/stat : 18917 (strangenight2-m) Z 18915 18917 18891 0 -1 4203548 21781894 0 0 0 1071137 3931 0 0 25 0 2 0 622449678 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18917/statm: 0 0 0 0 0 0 0
[pid=18917/tid=18922] ppid=18915 vsize=0 CPUtime=1344.85 cores=0-7
/proc/18917/task/18922/stat : 18922 (strangenight2-m) R 18915 18917 18891 0 -1 4203588 3127486 0 0 0 133918 567 0 0 18 0 2 0 622449678 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10750.7
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1347.15
CPU time (s): 10750.7
CPU user time (s): 10711.4
CPU system time (s): 39.368
CPU usage (%): 798.034
Max. virtual memory (cumulated for all children) (KiB): 5405896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10711.4
system time used= 39.368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21781894
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= 370569
involuntary context switches= 55744

runsolver used 3.16952 second user time and 7.8748 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-02 09:43:09
IDJOB=3321022
IDBENCH=69591
IDSOLVER=1709
FILE ID=node117/3321022-1304322188
RUNJOBID= node117-1304322188-18905
PBS_JOBID= 13176809
Free space on /tmp= 72912 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321022-1304322188/watcher-3321022-1304322188 -o /tmp/evaluation-result-3321022-1304322188/solver-3321022-1304322188 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321022-1304322188.cnf

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=2144697036

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      23081764 kB
Buffers:       1908792 kB
Cached:        5595876 kB
SwapCached:        160 kB
Active:        2971228 kB
Inactive:      6315960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      23081764 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           29300 kB
Writeback:           0 kB
AnonPages:     1782144 kB
Mapped:          20852 kB
Slab:           505944 kB
PageTables:      15516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 35740680 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72908 MiB
End job on node117 at 2011-05-02 10:05:36