Trace number 3394208

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 40000.9 5014.1

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1503.62
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.18/0.06	c This is CryptoMiniSat 3.0.0
0.18/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.18/0.06	c Reading file 'HOME/instance-3394208-1306093106.cnf'
0.18/0.06	c -- header says num vars:         175084
0.18/0.06	c -- header says num clauses:     2826936
11.51/2.30	c -- clauses added:            0 learnts,      2826936 normals,            0 xors
11.51/2.30	c -- vars added     175084
11.51/2.30	c Parsing time:  0.76 s
11.51/2.30	c  N st     0         0    175084     86202   2367076         0   5605905         0   no data   no data
15.14/2.88	c asymm  cl-useful: 815/1252/72288 lits-rem:35949 time: 0.51
88.72/12.08	c Flit:   261 Blit:   8669 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.20
89.52/12.14	c Cleaning up after failed var search:     0.06 s 
90.18/12.24	c Replacing      503 vars Replaced    29207 lits Time:     0.09 s 
90.97/12.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.56/12.50	c bin-w-bin subsume rem          734 bins  time:  0.12 s
94.96/12.88	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.38 s
119.58/15.93	c Subs w/ non-existent bins:      0 l-rem:    292 v-fix:     0 done:  27687 time:  3.03 s
121.18/16.16	c Removed useless bin:    8124  fixed:     0  props:  20.00M  time:  0.23 s
125.17/16.61	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.45 s
125.17/16.67	c Finding binary XORs  T:     0.06 s  found:     180
125.97/16.76	c Replacing      180 vars Replaced    14370 lits Time:     0.09 s 
126.76/16.84	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
126.76/16.84	c calculated reachability. Time: 0.00
126.76/16.88	c Calc default polars -  time:   0.04 s pos:    3521 undec:   59475 neg:  112088
126.76/16.88	c =========================================================================================
126.76/16.88	c types(t): F = full restart, N = normal restart
126.76/16.88	c types(t): S = simplification begin/end, E = solution found
126.76/16.88	c restart types(rt): st = static, dy = dynamic
126.76/16.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
126.76/16.88	c  B st     0         0    115615     67472   1541440         0   3711939         0   no data   no data
192.22/25.04	c  N dy    13      4145    115594     67472   1541510      4034   3711939   2855012     23.68     24.95
239.31/30.90	c  N dy    34      8168    115044     67472   1542265      7984   3711939   4770231     26.46     39.48
290.52/37.34	c  N dy    51     12357    114979     67472   1542330     12070   3711939   7016072     28.69     31.83
352.01/45.04	c  N dy    72     16590    114887     67472   1542800     16229   3711939   9739637     29.65     31.40
406.14/51.85	c  N dy    92     20671    114651     67472   1543548     10453   3711939   1638613     30.47     38.56
456.45/58.11	c  N dy   107     24786    114625     67472   1544046     14504   3711939   3842007     29.94     31.74
458.17/58.32	c  F st   108     25004    114622     67472   1544047     14718   3711939   3953809     29.80     16.62
537.20/68.26	c  N dy   114     30001    114424     66893   1524154     19524   3664445   8089176     29.80   no data
537.20/68.26	c  S st   114     30001    114424     66893   1524154     19524   3664445   8089176     29.80   no data
544.26/69.14	c  S st   114     30501    114414     66893   1524160     20016   3664445   8216144     29.80   no data
544.26/69.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
630.48/79.98	c Flit:   251 Blit:   1005 bXBeca:    0 bXProp:   62 Bins: 667787 BRemL:   5972 BRemN:   1880 P: 200.1M T: 10.76
631.28/80.06	c Cleaning up after failed var search:     0.08 s 
633.00/80.27	c Replacing       63 vars Replaced    30180 lits Time:     0.20 s 
634.46/80.41	c blocked clauses removed:        0 vars:      0 tried:      112931 T: 0.07 s
635.26/80.57	c bin-w-bin subsume rem         3925 bins  time:  0.15 s
638.45/80.99	c subs with bin:       28  lits-rem:        16  v-fix:    0  time:  0.42 s
671.98/85.11	c Subs w/ non-existent bins:     10 l-rem:    557 v-fix:    66 done:  27799 time:  4.11 s
673.58/85.37	c Removed useless bin:   13658  fixed:     0  props:  20.01M  time:  0.26 s
677.71/85.88	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.50 s
695.91/88.15	c subs with bin:        8  lits-rem:       135  v-fix:    0  time:  1.44 s
706.30/89.45	c lits-rem:      1932  cl-subs:      801  v-elim:      0  v-fix:    0  time:  1.23 s
710.29/89.98	c asymm  cl-useful: 36/973/66172 lits-rem:56 time: 0.53
711.09/90.03	c calculated reachability. Time: 0.01
711.09/90.04	c  N dy   114     30501    112864     66172   2056393     18785   3578199   8985904     29.80   no data
724.25/91.72	c Finding binary XORs  T:     0.06 s  found:     184
788.11/99.74	c  N dy   127     35477    112782     66135   2051640     23663   3575050  12070781     28.51     31.73
857.38/109.26	c  N dy   149     39575    112702     66135   2064535     27697   3575050  14272303     29.09     31.89
932.94/118.87	c  N dy   165     43873    112672     66135   2087105     16986   3575050   4824837     28.71     30.74
954.35/121.56	c  S st   172     45751    111772     66135   2087121     18840   3575050   5765826     28.48     27.80
961.53/122.47	c  S st   172     46252    111772     66135   2087133     19328   3575050   5880156     28.48   no data
962.33/122.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1059.70/134.70	c Flit:   220 Blit:    211 bXBeca:    0 bXProp:   70 Bins: 411214 BRemL:   6221 BRemN:    455 P: 200.0M T: 12.14
1059.70/134.78	c Cleaning up after failed var search:     0.07 s 
1061.30/134.95	c Replacing      254 vars Replaced    52757 lits Time:     0.17 s 
1062.10/135.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1063.82/135.24	c bin-w-bin subsume rem        12289 bins  time:  0.19 s
1067.69/135.74	c subs with bin:        6  lits-rem:         4  v-fix:    0  time:  0.50 s
1101.21/139.96	c Subs w/ non-existent bins:      3 l-rem:    230 v-fix:     2 done:  28852 time:  4.22 s
1104.41/140.32	c Removed useless bin:   33351  fixed:     0  props:  20.00M  time:  0.36 s
1108.54/140.87	c lits-rem:         0  cl-subs:       14  v-elim:     37  v-fix:    0  time:  0.55 s
1123.57/142.72	c subs with bin:        9  lits-rem:      1562  v-fix:    0  time:  1.54 s
1128.36/143.30	c lits-rem:       443  cl-subs:      343  v-elim:      0  v-fix:    0  time:  0.54 s
1132.35/143.87	c asymm  cl-useful: 7/520/65528 lits-rem:15 time: 0.57
1133.15/143.93	c calculated reachability. Time: 0.00
1133.15/143.93	c  N dy   172     46252    111089     65528   2315381     18532   3451433   6322270     28.48   no data
1133.15/144.00	c Finding binary XORs  T:     0.07 s  found:     108
1193.82/151.55	c  N dy   191     50299    110836     65528   2333111     22524   3451433   8883956     28.55     54.41
1246.49/158.13	c  N dy   209     54618    110833     65528   2333146     26786   3451433  11139207     28.48     32.94
1303.16/165.20	c  N dy   224     58635    110698     65528   2360354     30735   3451433  13784138     28.35     29.91
1340.68/169.90	c Finding binary XORs  T:     0.07 s  found:      83
1345.60/170.57	c  N dy   235     62669    110697     65311   2271214     34589   3436424  15547652     28.08     31.00
1400.54/177.40	c  N dy   248     67096    110692     65311   2271966     20927   3436424   3729406     27.74     29.29
1424.62/180.42	c  S st   254     69378    110691     65311   2272112     23172   3436424   4841349     27.46   no data
1432.61/181.46	c  S st   254     69879    110680     65311   2272122     23663   3436424   4959684     27.46   no data
1433.41/181.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1520.69/192.70	c Flit:   152 Blit:    140 bXBeca:    0 bXProp:   22 Bins: 472424 BRemL:   5801 BRemN:    495 P: 200.0M T: 11.16
1520.69/192.70	c Cleaning up after failed var search:     0.00 s 
1522.29/192.96	c Replacing      213 vars Replaced    65594 lits Time:     0.25 s 
1523.10/193.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1524.70/193.29	c bin-w-bin subsume rem        28114 bins  time:  0.24 s
1529.48/193.86	c subs with bin:       42  lits-rem:       191  v-fix:    0  time:  0.56 s
1563.81/198.19	c Subs w/ non-existent bins:      3 l-rem:    171 v-fix:    25 done:  29800 time:  4.33 s
1566.21/198.45	c Removed useless bin:    9534  fixed:     0  props:  20.02M  time:  0.26 s
1571.13/199.03	c lits-rem:         1  cl-subs:       20  v-elim:      5  v-fix:    0  time:  0.58 s
1585.36/200.81	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  1.54 s
1589.50/201.38	c lits-rem:       604  cl-subs:      390  v-elim:      0  v-fix:    0  time:  0.52 s
1594.15/201.96	c asymm  cl-useful: 171/430/65117 lits-rem:2487 time: 0.57
1594.93/202.02	c calculated reachability. Time: 0.00
1594.93/202.03	c  N dy   254     69879    110158     65117   2662448     23165   3399285   5707500     27.46   no data
1595.73/202.10	c Finding binary XORs  T:     0.07 s  found:      29
1647.62/208.60	c  N dy   258     74753    110157     65117   2662497     27962   3399285   8483346     26.68     28.58
1666.79/211.10	c Finding binary XORs  T:     0.08 s  found:      66
1728.12/218.74	c  N dy   277     80000    109845     64952   2935331     33015   3387834  12046766     26.40     30.89
1793.58/226.94	c  N dy   299     85117    109842     64952   2955173     38081   3387834  14662574     26.36     51.29
1820.72/230.30	c  F st   309     87501    109842     64952   2955208     40419   3387834  15679830     26.43     12.12
1823.92/230.79	c Replacing       95 vars Replaced    72587 lits Time:     0.40 s 
1884.59/238.34	c  N st   314     90798    109750     64948   2954867     23478   3387335   7169164     26.43   no data
1936.45/244.80	c Finding binary XORs  T:     0.08 s  found:      31
1962.78/248.15	c  N dy   331     96626    109627     64883   3172515     29218   3382224  10871526     26.37     31.04
2042.94/258.21	c  N dy   357    102873    109623     64883   3204218     35399   3382224  14089620     26.27     27.91
2069.91/261.62	c  S st   367    104818    109623     64883   3204239     37314   3382224  15257397     26.28     20.56
2077.89/262.61	c  S st   367    105318    109623     64883   3204248     37805   3382224  15373063     26.28   no data
2078.69/262.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2172.08/274.42	c Flit:    90 Blit:    124 bXBeca:    0 bXProp:   12 Bins: 216046 BRemL:  26803 BRemN:   1936 P: 200.0M T: 11.69
2172.08/274.42	c Cleaning up after failed var search:     0.00 s 
2175.29/274.84	c Replacing       43 vars Replaced    32333 lits Time:     0.41 s 
2176.21/274.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2180.07/275.40	c bin-w-bin subsume rem        87414 bins  time:  0.46 s
2185.00/276.10	c subs with bin:       14  lits-rem:        42  v-fix:    0  time:  0.69 s
2223.98/280.90	c Subs w/ non-existent bins:      0 l-rem:    100 v-fix:     5 done:  27733 time:  4.81 s
2226.38/281.21	c Removed useless bin:   14776  fixed:     0  props:  20.01M  time:  0.31 s
2231.16/281.85	c lits-rem:         0  cl-subs:       13  v-elim:      3  v-fix:    0  time:  0.64 s
2251.12/284.33	c subs with bin:       18  lits-rem:       163  v-fix:    0  time:  1.56 s
2264.03/285.94	c lits-rem:      2584  cl-subs:      847  v-elim:      0  v-fix:    0  time:  1.55 s
2268.68/286.56	c asymm  cl-useful: 301/363/64779 lits-rem:4202 time: 0.62
2269.48/286.64	c calculated reachability. Time: 0.00
2269.48/286.64	c  N dy   367    105318    109352     64779   3247720     36702   3335248  15115693     26.28   no data
2270.28/286.72	c Finding binary XORs  T:     0.08 s  found:      12
2373.23/299.65	c  N dy   404    112141    109334     64779   3283609     43445   3335248  19586373     26.52     72.04
2471.63/312.06	c  N dy   425    120292    109330     64779   3283718     29617   3335248   7883833     26.07     28.49
2481.75/313.37	c Finding binary XORs  T:     0.09 s  found:      26
2588.06/326.63	c  N dy   464    128279    109235     64728   3938073     37460   3330998  13200403     26.08     27.72
2694.89/340.05	c  N dy   492    136662    109221     64728   3938480     45737   3330998  17509614     25.95     29.76
2801.87/353.41	c  N dy   524    145539    109159     64728   3959892     31442   3330998   9839436     25.92     28.43
2914.43/367.59	c  N dy   556    155446    109158     64728   3960262     41265   3330998  14180752     25.77     27.50
2950.35/372.03	c  S st   562    157977    109158     64728   3960277     43770   3330998  15833373     25.65     15.79
2959.14/373.15	c  S st   562    158477    109157     64728   3960508     44261   3330998  15930679     25.65   no data
2959.94/373.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3054.28/385.06	c Flit:   101 Blit:     53 bXBeca:    0 bXProp:    6 Bins: 201424 BRemL:   9208 BRemN:    168 P: 200.0M T: 11.77
3054.28/385.06	c Cleaning up after failed var search:     0.00 s 
3058.13/385.51	c Replacing       44 vars Replaced    42928 lits Time:     0.44 s 
3058.93/385.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3062.26/386.08	c bin-w-bin subsume rem        52976 bins  time:  0.47 s
3069.31/386.94	c subs with bin:        7  lits-rem:         3  v-fix:    0  time:  0.85 s
3109.21/391.90	c Subs w/ non-existent bins:      0 l-rem:     90 v-fix:     2 done:  28544 time:  4.96 s
3111.62/392.21	c Removed useless bin:   11328  fixed:     0  props:  20.00M  time:  0.31 s
3116.40/392.89	c lits-rem:         0  cl-subs:       14  v-elim:      3  v-fix:    0  time:  0.68 s
3135.56/395.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.59 s
3150.07/397.10	c lits-rem:      2967  cl-subs:      995  v-elim:      0  v-fix:    0  time:  1.77 s
3154.73/397.65	c asymm  cl-useful: 9/791/64599 lits-rem:115 time: 0.55
3155.53/397.75	c calculated reachability. Time: 0.00
3155.53/397.75	c  N dy   562    158477    108949     64599   4025765     43170   3298376  15831348     25.65   no data
3156.33/397.84	c Finding binary XORs  T:     0.09 s  found:      24
3292.84/414.94	c  N dy   604    168600    108931     64599   4026861     30600   3298376   7848831     25.55     27.36
3423.75/431.35	c  N dy   643    179579    108926     64599   4028754     41461   3298376  12550725     25.59     28.14
3587.41/451.86	c  N dy   696    191340    108916     64599   4029294     53091   3298376  19318396     25.53     27.96
3649.70/459.71	c Finding binary XORs  T:     0.09 s  found:      23
3727.94/469.49	c Finding binary XORs  T:     0.09 s  found:       7
3747.21/471.91	c  N dy   744    203981    108815     64532   4313961     42572   3292504  12411724     25.45     27.15
3967.54/499.48	c  N dy   802    217077    108808     64532   4315889     55537   3292504  22627883     25.61     48.65
4019.43/505.94	c Finding binary XORs  T:     0.09 s  found:       4
4113.50/517.88	c Finding binary XORs  T:     0.09 s  found:      15
4169.38/524.83	c  N dy   857    231169    108701     64479   4638389     45561   3288792  13623863     25.51     28.22
4252.42/535.23	c  S st   884    237715    108701     64479   4643310     52035   3288792  16700843     25.45   no data
4261.20/536.33	c  S st   884    238217    108701     64479   4643503     52527   3288792  16851782     25.45   no data
4262.00/536.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
4357.01/548.40	c Flit:    46 Blit:     24 bXBeca:    0 bXProp:    2 Bins: 348855 BRemL:   6874 BRemN:    261 P: 200.0M T: 11.93
4361.13/548.89	c Replacing       76 vars Replaced    56588 lits Time:     0.48 s 
4362.60/549.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4366.59/549.51	c bin-w-bin subsume rem        39030 bins  time:  0.51 s
4374.57/550.57	c subs with bin:       10  lits-rem:         3  v-fix:    0  time:  1.06 s
4413.82/555.48	c Subs w/ non-existent bins:      1 l-rem:    163 v-fix:     1 done:  29889 time:  4.90 s
4416.87/555.83	c Removed useless bin:   14210  fixed:     0  props:  20.01M  time:  0.36 s
4422.60/556.54	c lits-rem:         3  cl-subs:       11  v-elim:      9  v-fix:    0  time:  0.71 s
4440.16/558.80	c subs with bin:        3  lits-rem:         9  v-fix:    0  time:  1.58 s
4456.81/560.85	c lits-rem:      3282  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  2.00 s
4461.58/561.46	c asymm  cl-useful: 2/494/64444 lits-rem:6 time: 0.61
4462.38/561.58	c calculated reachability. Time: 0.00
4462.38/561.58	c  N dy   884    238217    108548     64444   4912394     50469   3256582  16395262     25.45   no data
4463.18/561.68	c Finding binary XORs  T:     0.10 s  found:       4
4682.37/589.21	c  N dy   937    253544    108527     64444   4914394     41021   3256582  10384901     25.37     27.39
4897.90/616.28	c  N dy   982    269812    108512     64444   4915062     57117   3256582  17860058     25.20     31.56
4981.74/626.77	c Finding binary XORs  T:     0.10 s  found:      38
5135.01/645.99	c  N dy  1041    287064    108422     64369   5219451     48124   3250952  11836130     25.03     27.57
5390.46/677.91	c  N dy  1101    305403    108420     64369   5220327     66298   3250952  20836105     24.78     26.09
5408.04/680.18	c  F st  1108    306250    108420     64369   5220331     67139   3250952  21719781     24.86   no data
5412.03/680.69	c Replacing       42 vars Replaced    36644 lits Time:     0.39 s 
5689.84/715.48	c  N dy  1153    325421    108374     64368   5220229     58922   3250699  17036625     24.69     26.14
5996.37/753.88	c  N dy  1234    346185    108370     64368   5220866     51709   3250699  11541191     24.67     26.38
6125.84/770.04	c Finding binary XORs  T:     0.10 s  found:      20
6137.68/771.53	c  S st  1263    357327    108320     64340   5258820     62714   3248305  16327621     24.56     16.95
6148.06/772.84	c  S st  1263    357830    108320     64340   5258834     63202   3248305  16430918     24.56   no data
6148.86/772.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
6252.65/785.91	c Flit:    42 Blit:     21 bXBeca:    0 bXProp:    1 Bins: 246509 BRemL:  12120 BRemN:    283 P: 200.0M T: 12.92
6255.85/786.30	c Replacing       21 vars Replaced    30070 lits Time:     0.39 s 
6256.77/786.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6260.63/786.93	c bin-w-bin subsume rem        15467 bins  time:  0.50 s
6269.40/788.10	c subs with bin:       19  lits-rem:        44  v-fix:    0  time:  1.16 s
6306.13/792.68	c Subs w/ non-existent bins:      0 l-rem:    184 v-fix:     0 done:  29037 time:  4.58 s
6309.46/793.03	c Removed useless bin:    7229  fixed:     0  props:  20.01M  time:  0.36 s
6314.11/793.68	c lits-rem:         3  cl-subs:       15  v-elim:      5  v-fix:    0  time:  0.64 s
6332.47/795.91	c subs with bin:       21  lits-rem:       464  v-fix:    0  time:  1.62 s
6349.24/798.00	c lits-rem:      2477  cl-subs:     1310  v-elim:      0  v-fix:    0  time:  2.04 s
6354.15/798.62	c asymm  cl-useful: 0/320/64281 lits-rem:0 time: 0.61
6354.81/798.74	c calculated reachability. Time: 0.00
6354.81/798.74	c  N dy  1263    357830    108230     64281   5436947     61819   3230472  16508016     24.56   no data
6423.60/807.34	c Finding binary XORs  T:     0.10 s  found:       8
6629.43/833.19	c  N dy  1320    377838    108219     64278   5424415     51880   3230275   9863606     24.36     29.66
6842.57/859.80	c Finding binary XORs  T:     0.10 s  found:      18
6943.10/872.45	c  N dy  1386    398015    108151     64234   5607986     71837   3226800  22572402     24.24     25.74
7027.73/883.04	c Finding binary XORs  T:     0.11 s  found:      22
7239.28/909.56	c  N dy  1455    418386    108062     64195   5586414     62043   3223547  13758719     24.19     26.21
7382.97/927.57	c Finding binary XORs  T:     0.11 s  found:      10
7536.24/946.75	c  N dy  1514    438470    108016     64171   5731934     81934   3221552  24674596     24.03     25.37
7822.83/982.68	c  N dy  1588    458799    108004     64171   5733610     71051   3221552  15950136     24.07     25.49
8167.72/1025.82	c  N dy  1651    480810    108003     64171   5734277     92882   3221552  28811552     23.87     25.14
8467.88/1063.43	c  N dy  1703    500981    107981     64171   5735151     81139   3221552  21435657     23.72     25.02
8758.47/1099.82	c  N dy  1777    521533    107960     64171   5735915     68776   3221552  11819864     23.66     25.47
8964.41/1125.62	c  S st  1842    536745    107956     64171   5736253     83883   3221552  19129735     23.70     17.85
8974.80/1126.98	c  S st  1842    537248    107956     64171   5736261     84378   3221552  19283773     23.70   no data
8976.40/1127.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
9073.00/1139.20	c Flit:    22 Blit:     19 bXBeca:    0 bXProp:    5 Bins: 316208 BRemL:  11344 BRemN:    236 P: 200.1M T: 12.07
9076.32/1139.67	c Replacing       64 vars Replaced    54615 lits Time:     0.46 s 
9076.98/1139.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9081.78/1140.38	c bin-w-bin subsume rem        25884 bins  time:  0.58 s
9092.16/1141.64	c subs with bin:        9  lits-rem:        60  v-fix:    0  time:  1.26 s
9126.48/1145.99	c Subs w/ non-existent bins:      1 l-rem:    250 v-fix:     1 done:  31791 time:  4.35 s
9129.67/1146.35	c Removed useless bin:    8811  fixed:     0  props:  20.04M  time:  0.36 s
9136.07/1147.11	c lits-rem:         0  cl-subs:       14  v-elim:      6  v-fix:    0  time:  0.75 s
9155.34/1149.57	c subs with bin:        2  lits-rem:        26  v-fix:    0  time:  1.64 s
9170.37/1151.40	c lits-rem:      1117  cl-subs:     1877  v-elim:      0  v-fix:    0  time:  1.77 s
9175.15/1152.05	c asymm  cl-useful: 1/296/64108 lits-rem:13 time: 0.65
9175.95/1152.19	c calculated reachability. Time: 0.00
9175.95/1152.19	c  N dy  1842    537248    107851     64108   5976278     82383   3198684  19612431     23.70   no data
9177.55/1152.30	c Finding binary XORs  T:     0.11 s  found:      14
9559.56/1200.27	c  N dy  1897    562174    107847     64108   5981148     72395   3198684  11948591     23.50     26.54
9837.39/1235.01	c Finding binary XORs  T:     0.11 s  found:      14
9851.75/1236.87	c  N dy  1972    582224    107784     64074   6091440     92233   3195845  21970872     23.49     31.34
10154.12/1274.72	c  N dy  2020    602240    107781     64074   6092125     77117   3195845  12648442     23.39     24.62
10458.28/1312.87	c  N dy  2117    622757    107779     64074   6095083     97472   3195845  23432631     23.44     24.69
10801.49/1355.88	c  N dy  2205    643806    107771     64074   6095867     82811   3195845  14674270     23.44     25.02
11112.97/1394.85	c  N dy  2279    664041    107769     64074   6096397    102903   3195845  25793402     23.43     24.85
11420.33/1433.37	c  N dy  2332    684730    107768     64074   6096922     86640   3195845  14294263     23.34     25.42
11483.13/1441.24	c Finding binary XORs  T:     0.11 s  found:      25
11728.20/1471.99	c  N dy  2427    705180    107713     64031   6209391    106862   3193092  24901632     23.40     25.02
12048.34/1512.02	c  N dy  2509    725446    107665     64031   6214493     89541   3193092  13857915     23.44     25.61
12401.10/1556.23	c  N dy  2628    745508    107664     64031   6214936    109444   3193092  27895565     23.62     37.00
12437.02/1560.78	c Finding binary XORs  T:     0.12 s  found:      24
12723.54/1596.69	c  N dy  2708    765571    107617     63985   6345511     91235   3189484  13399996     23.63     33.88
13044.08/1636.88	c  N dy  2783    785760    107613     63985   6346130    111273   3189484  24416647     23.64     25.19
13379.23/1678.88	c  N dy  2844    805873    107611     63985   6346554    131245   3189484  35749913     23.56     20.97
13379.23/1678.88	c  S st  2844    805873    107611     63985   6346554    131245   3189484  35749913     23.56     20.97
13391.22/1680.37	c  S st  2844    806375    107611     63985   6346653    131734   3189484  35872448     23.56   no data
13392.82/1680.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
13490.21/1692.77	c Flit:    30 Blit:      6 bXBeca:    0 bXProp:    4 Bins: 331601 BRemL:   9026 BRemN:    245 P: 200.1M T: 12.21
13498.19/1693.73	c Replacing       81 vars Replaced   139773 lits Time:     0.95 s 
13498.99/1693.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13504.57/1694.50	c bin-w-bin subsume rem        24015 bins  time:  0.64 s
13515.76/1695.93	c subs with bin:       12  lits-rem:        13  v-fix:    0  time:  1.43 s
13557.26/1701.12	c Subs w/ non-existent bins:      0 l-rem:    102 v-fix:     0 done:  30741 time:  5.20 s
13560.47/1701.52	c Removed useless bin:   11109  fixed:     0  props:  20.01M  time:  0.40 s
13566.05/1702.29	c lits-rem:         1  cl-subs:       28  v-elim:      6  v-fix:    0  time:  0.76 s
13602.78/1706.85	c subs with bin:        4  lits-rem:       364  v-fix:    0  time:  2.53 s
13651.45/1712.92	c lits-rem:      2589  cl-subs:     3200  v-elim:      0  v-fix:    0  time:  6.01 s
13656.25/1713.55	c asymm  cl-useful: 0/272/63936 lits-rem:0 time: 0.63
13657.05/1713.70	c calculated reachability. Time: 0.00
13657.05/1713.70	c  N dy  2844    806375    107491     63936   6611240    127003   3163722  34805266     23.56   no data
13658.78/1713.82	c Finding binary XORs  T:     0.11 s  found:      13
14019.46/1759.07	c  N dy  2940    826648    107483     63936   6613941    107396   3163722  22633538     23.63     24.96
14387.63/1805.18	c  N dy  3024    846958    107475     63936   6614467    127577   3163722  35652687     23.68     25.12
14729.31/1847.99	c  N dy  3113    866993    107449     63936   6615070    106975   3163722  18616750     23.71     25.97
15086.82/1892.74	c  N dy  3173    888172    107448     63936   6615518    128029   3163722  30116322     23.65     26.85
15328.70/1923.09	c Finding binary XORs  T:     0.12 s  found:      16
15425.30/1935.17	c  N dy  3252    908216    107424     63901   6634707    106499   3161172  16754910     23.65     25.04
15560.23/1952.02	c Finding binary XORs  T:     0.12 s  found:      10
15777.38/1979.29	c  N dy  3307    928440    107386     63882   6700677    126596   3159796  29677256     23.58     26.39
16116.78/2021.73	c  N dy  3360    948516    107381     63882   6701182    146558   3159796  41350532     23.54    183.98
16460.72/2064.88	c  N dy  3447    968581    107366     63882   6701716    123863   3159796  24645798     23.52     32.15
16812.78/2108.95	c  N dy  3527    988669    107356     63882   6702270    143827   3159796  36933893     23.56     40.45
17145.64/2150.68	c  N dy  3612   1008926    107354     63882   6702713    120811   3159796  19292376     23.58     25.59
17486.68/2193.41	c  N dy  3697   1029461    107339     63882   6703232    141198   3159796  30209879     23.58     25.09
17856.27/2239.68	c  N dy  3756   1049521    107339     63882   6703808    116644   3159796  16557406     23.54     25.64
18213.01/2284.35	c  N dy  3854   1071062    107332     63882   6704205    138051   3159796  29156081     23.58     24.98
18228.97/2286.36	c  F st  3859   1071877    107332     63882   6704209    138860   3159796  29854608     23.58     24.11
18233.09/2286.89	c Replacing       39 vars Replaced    80211 lits Time:     0.39 s 
18591.38/2331.73	c  N dy  3907   1091707    107293     63856   6686890    158476   3157647  41603085     23.55     26.35
18960.18/2377.90	c  N dy  3977   1112125    107292     63856   6687372    133503   3157647  23012858     23.59     25.26
19087.92/2393.94	c Finding binary XORs  T:     0.12 s  found:      31
19362.54/2428.33	c  N dy  4057   1132189    107262     63836   6725083    153423   3156248  37524840     23.58     38.82
19797.59/2482.80	c  N dy  4135   1152503    107259     63836   6725444    127608   3156248  18318440     23.57     25.69
20165.74/2528.94	c  N dy  4215   1173183    107198     63836   6743312    148180   3156248  30810657     23.55     25.59
20524.97/2573.97	c  N dy  4286   1193299    107191     63836   6743813    168197   3156248  42916557     23.51     24.82
20820.94/2611.03	c  S st  4358   1209562    107191     63836   6744062    136990   3156248  19648650     23.52   no data
20831.32/2612.34	c  S st  4358   1210062    107191     63836   6744068    137484   3156248  19802788     23.52   no data
20832.24/2612.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
20931.08/2624.80	c Flit:    20 Blit:     16 bXBeca:    0 bXProp:    2 Bins: 200639 BRemL:   4699 BRemN:    173 P: 200.1M T: 12.28
20935.08/2625.32	c Replacing       34 vars Replaced    23192 lits Time:     0.51 s 
20935.88/2625.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20941.45/2626.10	c bin-w-bin subsume rem        17333 bins  time:  0.65 s
20952.63/2627.59	c subs with bin:       12  lits-rem:        12  v-fix:    0  time:  1.49 s
20991.73/2632.49	c Subs w/ non-existent bins:      0 l-rem:     93 v-fix:     1 done:  29867 time:  4.89 s
20995.72/2632.91	c Removed useless bin:    8744  fixed:     0  props:  20.02M  time:  0.42 s
21002.10/2633.70	c lits-rem:         1  cl-subs:       41  v-elim:      8  v-fix:    0  time:  0.79 s
21020.46/2636.08	c subs with bin:        7  lits-rem:       103  v-fix:    0  time:  1.63 s
21042.02/2638.77	c lits-rem:      2233  cl-subs:     3370  v-elim:      0  v-fix:    0  time:  2.64 s
21046.81/2639.39	c asymm  cl-useful: 2/584/63734 lits-rem:24 time: 0.62
21048.41/2639.54	c calculated reachability. Time: 0.00
21048.41/2639.55	c  N dy  4358   1210062    107110     63734   6860107    133472   3132997  19648410     23.52   no data
21049.21/2639.67	c Finding binary XORs  T:     0.12 s  found:      37
21347.78/2677.01	c Finding binary XORs  T:     0.12 s  found:       9
21426.01/2686.86	c  N dy  4462   1231048    107084     63721   6918756    154304   3131707  31763274     23.59     24.93
21497.87/2695.86	c Finding binary XORs  T:     0.12 s  found:       5
21822.77/2736.57	c  N dy  4560   1251417    107050     63705   7025260    174532   3130864  46436580     23.63     25.07
22210.85/2785.20	c  N dy  4624   1274925    107048     63705   7025676    147058   3130864  26449987     23.61     24.95
22584.33/2831.90	c  N dy  4712   1295077    107045     63705   7026217    167099   3130864  38750215     23.66     25.25
22961.12/2879.19	c  N dy  4799   1315528    107044     63705   7026667    138663   3130864  17852456     23.66     25.34
23347.48/2927.52	c  N dy  4876   1337520    107044     63705   7027021    160540   3130864  30381730     23.62     24.88
23726.68/2975.08	c  N dy  4950   1357596    107044     63705   7027400    180520   3130864  40698806     23.64     37.95
23912.57/2998.38	c Finding binary XORs  T:     0.12 s  found:      19
24088.99/3020.42	c  N dy  5023   1378158    107005     63680   7199715    150463   3129313  22594998     23.63     25.04
24481.75/3069.62	c  N dy  5112   1400160    107002     63680   7206289    172343   3129313  34630338     23.63     24.92
24793.90/3108.79	c Finding binary XORs  T:     0.13 s  found:      10
24861.76/3117.21	c  N dy  5218   1420240    106978     63662   7366533    192295   3128420  46736808     23.70     27.89
25293.67/3171.33	c  N dy  5288   1440663    106975     63662   7380793    161903   3128420  30586725     23.69     24.94
25679.22/3219.66	c  N dy  5375   1460756    106955     63662   7408068    181902   3128420  42575907     23.71     25.44
26085.41/3270.54	c  N dy  5471   1480909    106951     63662   7408618    150094   3128420  17232788     23.75     26.65
26488.55/3321.00	c  N dy  5558   1501986    106945     63662   7409229    171059   3128420  30203431     23.76     25.94
26879.71/3370.07	c  N dy  5637   1522006    106943     63662   7409745    190958   3128420  42480119     23.78     25.49
27299.62/3422.65	c  N dy  5731   1542062    106927     63662   7410231    158222   3128420  21633385     23.81    101.35
27662.84/3468.19	c  N dy  5789   1562214    106924     63662   7410682    178267   3128420  32048391     23.77     25.37
28082.72/3520.72	c  N dy  5862   1582310    106920     63662   7411113    198282   3128420  46943483     23.77     43.57
28501.02/3573.10	c  N dy  5963   1602454    106919     63662   7411487    164313   3128420  21178641     23.80     25.13
28948.07/3629.18	c  N dy  6036   1624294    106915     63662   7411854    186068   3128420  37007700     23.81     25.65
29399.11/3685.68	c  N dy  6147   1644662    106912     63662   7412265    206345   3128420  51590325     23.89     25.36
29499.84/3698.26	c Finding binary XORs  T:     0.13 s  found:      28
29847.77/3741.82	c  N dy  6261   1665779    106856     63619   7464989    172298   3124959  23962389     23.93     26.23
30227.89/3789.50	c  N dy  6347   1685908    106855     63619   7465431    192322   3124959  35678603     23.94     26.42
30655.67/3843.06	c Finding binary XORs  T:     0.13 s  found:      11
30736.30/3853.10	c  N dy  6430   1706004    106795     63579   7521732    212169   3121602  56476397     23.94     27.52
30817.70/3863.30	c  S st  6435   1710063    106795     63579   7521743    216206   3121602  58477610     23.93     22.70
30830.47/3864.92	c  S st  6435   1710563    106795     63579   7521927    216700   3121602  58635663     23.93   no data
30832.07/3865.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
30929.48/3877.33	c Flit:    18 Blit:      6 bXBeca:    0 bXProp:    1 Bins: 308307 BRemL:   6935 BRemN:    206 P: 200.1M T: 12.16
30940.64/3878.77	c Replacing      121 vars Replaced   187559 lits Time:     1.43 s 
30942.24/3878.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30948.76/3879.77	c bin-w-bin subsume rem        66524 bins  time:  0.85 s
30962.99/3881.50	c subs with bin:       22  lits-rem:        34  v-fix:    0  time:  1.73 s
30999.71/3886.11	c Subs w/ non-existent bins:      1 l-rem:    214 v-fix:     0 done:  30714 time:  4.60 s
31002.89/3886.56	c Removed useless bin:    6866  fixed:     0  props:  20.03M  time:  0.45 s
31010.88/3887.50	c lits-rem:         0  cl-subs:       70  v-elim:     35  v-fix:    0  time:  0.94 s
31053.32/3892.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.72 s
31145.79/3904.44	c lits-rem:      3428  cl-subs:     5334  v-elim:      0  v-fix:    0  time: 11.49 s
31150.73/3905.08	c asymm  cl-useful: 13/259/63571 lits-rem:151 time: 0.64
31152.18/3905.26	c calculated reachability. Time: 0.00
31152.18/3905.26	c  N dy  6435   1710563    106618     63571   7725596    207455   3104238  52850407     23.93   no data
31152.98/3905.39	c Finding binary XORs  T:     0.13 s  found:       9
31619.85/3963.84	c  N dy  6506   1733104    106605     63571   7737940    174152   3104238  24479971     23.93     25.97
31861.88/3994.19	c Finding binary XORs  T:     0.13 s  found:      11
32055.08/4018.32	c  N dy  6583   1753760    106578     63553   7820532    194677   3102613  39106163     23.94     25.31
32459.67/4069.06	c  N dy  6642   1773849    106575     63553   7821023    214686   3102613  50769049     23.92     26.37
32866.78/4120.01	c  N dy  6727   1793904    106571     63553   7821457    177623   3102613  24975150     23.93     41.93
33254.75/4168.63	c  N dy  6797   1814531    106567     63553   7821907    198138   3102613  36469340     23.92     25.50
33692.21/4223.43	c  N dy  6881   1835472    106565     63553   7822420    218971   3102613  50203262     23.93     26.19
34141.65/4279.78	c  N dy  6989   1856051    106554     63553   7822748    181716   3102613  24237443     23.98     25.39
34566.46/4332.98	c  N dy  7085   1876202    106550     63553   7823173    201774   3102613  39447499     24.02     25.75
34967.88/4383.25	c  N dy  7175   1896208    106549     63553   7823586    221695   3102613  51037010     24.03     49.59
35163.60/4407.75	c Finding binary XORs  T:     0.13 s  found:      22
35413.32/4439.02	c  N dy  7274   1916270    106508     63511   7820157    183296   3099149  21028457     24.08     34.69
35825.21/4490.67	c  N dy  7351   1936338    106507     63511   7820626    203269   3099149  33700107     24.09     37.32
36244.29/4543.18	c  N dy  7426   1957614    106498     63511   7820991    224440   3099149  47379491     24.09     25.67
36677.00/4597.35	c  N dy  7533   1977970    106495     63511   7821463    184945   3099149  18909723     24.13     26.98
36772.00/4609.29	c Finding binary XORs  T:     0.14 s  found:       8
37144.82/4655.99	c  N dy  7608   2001610    106449     63499   7941633    208436   3098391  32251930     24.11     27.72
37567.11/4708.82	c  N dy  7706   2021691    106448     63499   7942027    228441   3098391  44947202     24.14     25.47
38050.04/4769.34	c  N dy  7842   2041753    106446     63499   7942423    187850   3098391  18648687     24.27     36.97
38518.64/4828.08	c  N dy  7941   2062077    106444     63499   7942705    208079   3098391  36354165     24.33     25.84
38925.80/4879.02	c  N dy  8020   2082948    106443     63499   7942995    228846   3098391  48544635     24.32     25.68
39387.96/4936.98	c  N dy  8125   2102977    106442     63499   7943406    248789   3098391  66681623     24.37     25.87
39838.97/4993.40	c  N dy  8228   2123234    106440     63499   7943772    207453   3098391  29600563     24.40     26.11

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394208-1306093106/watcher-3394208-1306093106 -o /tmp/evaluation-result-3394208-1306093106/solver-3394208-1306093106 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394208-1306093106.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.16 8.02 7.97 1/491 26810
/proc/meminfo: memFree=28050396/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=92144 CPUtime=0.05 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 415 0 1 0 5 0 0 0 18 0 8 0 720911720 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044648 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 23036 356 299 95 0 18018 0
[pid=26810/tid=26811] ppid=26808 vsize=92144 CPUtime=0 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 720911720 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=92144 CPUtime=0 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 720911720 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044652 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 8 0 720911720 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044656 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 8 0 720911720 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044658 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 8 0 720911720 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044652 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=92144 CPUtime=0 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 8 0 720911721 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=92144 CPUtime=0 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 8 0 720911721 94355456 356 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044658 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0383391 s]
/proc/loadavg: 8.16 8.02 7.97 1/491 26810
/proc/meminfo: memFree=28050396/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=92144 CPUtime=0.18 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 421 0 1 0 18 0 0 0 18 0 8 0 720911720 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 23036 362 302 95 0 18018 0
[pid=26810/tid=26811] ppid=26808 vsize=92144 CPUtime=0 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 720911720 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 8 0 720911720 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044249 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=92144 CPUtime=0.03 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 8 0 720911720 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044243 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=92144 CPUtime=0.03 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 8 0 720911720 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=92144 CPUtime=0.03 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 8 0 720911720 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 8 0 720911721 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 8 0 720911721 94355456 362 33554432000 4194304 4580107 140733539808288 18446744073709551615 46990653044249 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 92144

[startup+0.101899 s]
/proc/loadavg: 8.16 8.02 7.97 1/491 26810
/proc/meminfo: memFree=28050396/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=511088 CPUtime=0.66 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 13959 0 1 0 61 5 0 0 18 0 8 0 720911720 523354112 11834 33554432000 4194304 4580107 140733539808288 18446744073709551615 4353553 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 130720 12802 338 95 0 125702 0
[pid=26810/tid=26811] ppid=26808 vsize=521852 CPUtime=0.04 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) D 26808 26810 26515 0 -1 4202560 2051 0 0 0 4 0 0 0 18 0 8 0 720911720 534376448 12807 33554432000 4194304 4580107 140733539808288 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=521852 CPUtime=0.08 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 2014 0 0 0 8 0 0 0 20 0 8 0 720911720 534376448 12682 33554432000 4194304 4580107 140733539808288 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=521852 CPUtime=0.09 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) D 26808 26810 26515 0 -1 4202560 2063 0 0 0 9 0 0 0 18 0 8 0 720911720 534376448 12682 33554432000 4194304 4580107 140733539808288 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=520824 CPUtime=0.09 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 2043 0 0 0 9 0 0 0 18 0 8 0 720911720 533323776 13112 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=520824 CPUtime=0.08 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) D 26808 26810 26515 0 -1 4202560 1954 0 0 0 8 0 0 0 18 0 8 0 720911720 533323776 12855 33554432000 4194304 4580107 140733539808288 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=518768 CPUtime=0.07 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1950 0 0 0 7 0 0 0 18 0 8 0 720911721 531218432 12792 33554432000 4194304 4580107 140733539808288 18446744073709551615 4307426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=518768 CPUtime=0.08 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 2020 0 0 0 7 1 0 0 18 0 8 0 720911721 531218432 13066 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 18446604447996609664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 511088

[startup+0.302274 s]
/proc/loadavg: 8.16 8.02 7.97 1/491 26810
/proc/meminfo: memFree=28050396/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=622504 CPUtime=1.83 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) S 26808 26810 26515 0 -1 4202496 38672 0 1 0 137 46 0 0 17 0 8 0 720911720 637444096 30484 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 155626 30495 338 95 0 150608 0
[pid=26810/tid=26811] ppid=26808 vsize=622504 CPUtime=0.18 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) S 26808 26810 26515 0 -1 4202560 4926 0 0 0 13 5 0 0 17 0 8 0 720911720 637444096 30501 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446604447996609664 0 0 -1 7 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=622504 CPUtime=0.22 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) S 26808 26810 26515 0 -1 4202560 5137 0 0 0 18 4 0 0 17 0 8 0 720911720 637444096 30502 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446604447996609664 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=622504 CPUtime=0.23 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 4729 0 0 0 18 5 0 0 17 0 8 0 720911720 637444096 30510 33554432000 4194304 4580107 140733539808288 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=622504 CPUtime=0.24 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) S 26808 26810 26515 0 -1 4202560 5020 0 0 0 17 7 0 0 17 0 8 0 720911720 637444096 30513 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446604447996609664 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=622504 CPUtime=0.23 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 4658 0 0 0 17 6 0 0 17 0 8 0 720911720 637444096 30519 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446604447996609664 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=622504 CPUtime=0.21 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 4306 0 0 0 17 4 0 0 17 0 8 0 720911721 637444096 30523 33554432000 4194304 4580107 140733539808288 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=622504 CPUtime=0.22 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 4382 0 0 0 16 6 0 0 17 0 8 0 720911721 637444096 30529 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 622504

[startup+0.701196 s]
/proc/loadavg: 8.16 8.02 7.97 1/491 26810
/proc/meminfo: memFree=28050396/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=655944 CPUtime=4.03 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 74678 0 1 0 266 137 0 0 16 0 8 0 720911720 671686656 66272 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 163986 66281 338 95 0 158968 0
[pid=26810/tid=26811] ppid=26808 vsize=655944 CPUtime=0.46 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 9649 0 0 0 30 16 0 0 16 0 8 0 720911720 671686656 66285 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=655944 CPUtime=0.5 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 10498 0 0 0 35 15 0 0 17 0 8 0 720911720 671686656 66290 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=655944 CPUtime=0.49 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 9598 0 0 0 33 16 0 0 16 0 8 0 720911720 671686656 66296 33554432000 4194304 4580107 140733539808288 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=655944 CPUtime=0.52 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 9267 0 0 0 35 17 0 0 16 0 8 0 720911720 671686656 66299 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=655944 CPUtime=0.5 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 9062 0 0 0 33 17 0 0 16 0 8 0 720911720 671686656 66304 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=655944 CPUtime=0.48 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 8251 0 0 0 32 16 0 0 16 0 8 0 720911721 671686656 66307 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=655944 CPUtime=0.51 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 8543 0 0 0 33 18 0 0 16 0 8 0 720911721 671686656 66310 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 655944

[startup+1.50105 s]
/proc/loadavg: 8.15 8.02 7.97 6/499 26818
/proc/meminfo: memFree=27690800/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=896120 CPUtime=8.33 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) D 26808 26810 26515 0 -1 4202496 151898 0 1 0 522 311 0 0 15 0 8 0 720911720 917626880 134751 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613153975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 224030 134757 338 95 0 219012 0
[pid=26810/tid=26811] ppid=26808 vsize=896120 CPUtime=1 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) S 26808 26810 26515 0 -1 4202560 18786 0 0 0 64 36 0 0 16 0 8 0 720911720 917626880 134759 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215726 0 0 4096 2 18446604447996609664 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=896120 CPUtime=1.02 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 20820 0 0 0 67 35 0 0 15 0 8 0 720911720 917626880 134760 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=896120 CPUtime=1.02 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 19688 0 0 0 64 38 0 0 16 0 8 0 720911720 917626880 134762 33554432000 4194304 4580107 140733539808288 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=896120 CPUtime=1.07 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 18009 0 0 0 68 39 0 0 16 0 8 0 720911720 917626880 134763 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=896120 CPUtime=1.04 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 17974 0 0 0 66 38 0 0 16 0 8 0 720911720 917626880 134764 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=896120 CPUtime=1.02 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 18370 0 0 0 62 40 0 0 16 0 8 0 720911721 917626880 134766 33554432000 4194304 4580107 140733539808288 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=896120 CPUtime=1.06 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 18092 0 0 0 63 43 0 0 16 0 8 0 720911721 917626880 134768 33554432000 4194304 4580107 140733539808288 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 896120

[startup+3.10078 s]
/proc/loadavg: 8.15 8.02 7.97 6/499 26818
/proc/meminfo: memFree=27285940/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=1300784 CPUtime=17.54 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 259051 0 1 0 1250 504 0 0 16 0 8 0 720911720 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 325196 225048 360 95 0 320178 0
[pid=26810/tid=26811] ppid=26808 vsize=1300784 CPUtime=2.14 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 32288 0 0 0 155 59 0 0 16 0 8 0 720911720 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=1300784 CPUtime=2.19 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 34012 0 0 0 160 59 0 0 16 0 8 0 720911720 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4292971 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=1300784 CPUtime=2.19 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 33156 0 0 0 158 61 0 0 16 0 8 0 720911720 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=1300784 CPUtime=2.24 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31094 0 0 0 160 64 0 0 16 0 8 0 720911720 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=1300784 CPUtime=2.19 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31108 0 0 0 157 62 0 0 16 0 8 0 720911720 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=1300784 CPUtime=2.14 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31547 0 0 0 150 64 0 0 16 0 8 0 720911721 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=1300784 CPUtime=2.18 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31114 0 0 0 152 66 0 0 16 0 8 0 720911721 1332002816 225048 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.54
Current children cumulated vsize (KiB) 1300784

[startup+6.30121 s]
/proc/loadavg: 8.15 8.02 7.97 9/499 26818
/proc/meminfo: memFree=27141984/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=1335028 CPUtime=43.09 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 262451 0 1 0 3804 505 0 0 21 0 8 0 720911720 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 333757 227664 360 95 0 328739 0
[pid=26810/tid=26811] ppid=26808 vsize=1335028 CPUtime=5.29 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 32426 0 0 0 470 59 0 0 21 0 8 0 720911720 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=1335028 CPUtime=5.4 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 34129 0 0 0 480 60 0 0 21 0 8 0 720911720 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=1335028 CPUtime=5.39 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 33292 0 0 0 478 61 0 0 21 0 8 0 720911720 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=1335028 CPUtime=5.43 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31232 0 0 0 479 64 0 0 21 0 8 0 720911720 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=1335028 CPUtime=5.39 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31248 0 0 0 477 62 0 0 21 0 8 0 720911720 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=1335028 CPUtime=5.34 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 31685 0 0 0 470 64 0 0 21 0 8 0 720911721 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=1335028 CPUtime=5.38 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 33571 0 0 0 472 66 0 0 21 0 8 0 720911721 1367068672 227664 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0

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

Current children cumulated vsize (KiB) 11035124

[startup+4722.32 s]
/proc/loadavg: 8.02 8.04 8.00 9/499 26956
/proc/meminfo: memFree=18594984/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=10779400 CPUtime=37675 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 11482062 0 1 0 3763336 4162 0 0 25 0 8 0 720911720 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 2694850 2350702 380 95 0 2689832 0
[pid=26810/tid=26811] ppid=26808 vsize=10779400 CPUtime=4702.51 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1416669 0 0 0 469718 533 0 0 25 0 8 0 720911720 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=10779400 CPUtime=4703.34 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1372080 0 0 0 469798 536 0 0 25 0 8 0 720911720 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=10779400 CPUtime=4720.43 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1426861 0 0 0 471558 485 0 0 25 0 8 0 720911720 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=10779400 CPUtime=4694.26 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1464959 0 0 0 468842 584 0 0 25 0 8 0 720911720 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=10779400 CPUtime=4720.31 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1424037 0 0 0 471529 502 0 0 25 0 8 0 720911720 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=10779400 CPUtime=4698.43 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1451373 0 0 0 469271 572 0 0 25 0 8 0 720911721 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=10779400 CPUtime=4718.94 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1419872 0 0 0 471448 446 0 0 25 0 8 0 720911721 11038105600 2350702 33554432000 4194304 4580107 140733539808288 18446744073709551615 4317074 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37675
Current children cumulated vsize (KiB) 10779400

[startup+4782.3 s]
/proc/loadavg: 8.01 8.03 8.00 9/499 26957
/proc/meminfo: memFree=18484584/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=10787236 CPUtime=38153.8 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 11604742 0 1 0 3811178 4204 0 0 25 0 8 0 720911720 11046129664 2379768 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 2696809 2379768 380 95 0 2691791 0
[pid=26810/tid=26811] ppid=26808 vsize=10787236 CPUtime=4762.49 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1430493 0 0 0 475711 538 0 0 25 0 8 0 720911720 11046129664 2379768 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=10787236 CPUtime=4763.32 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1385558 0 0 0 475789 543 0 0 25 0 8 0 720911720 11046129664 2379768 33554432000 4194304 4580107 140733539808288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=10787236 CPUtime=4780.41 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1442019 0 0 0 477551 490 0 0 25 0 8 0 720911720 11046129664 2379768 33554432000 4194304 4580107 140733539808288 18446744073709551615 4325169 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=10787236 CPUtime=4754.24 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1480958 0 0 0 474833 591 0 0 25 0 8 0 720911720 11046129664 2379768 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=10787236 CPUtime=4780.29 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1438003 0 0 0 477523 506 0 0 25 0 8 0 720911720 11046129664 2379769 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=10787236 CPUtime=4757.44 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1464843 0 0 0 475166 578 0 0 25 0 8 0 720911721 11046129664 2379769 33554432000 4194304 4580107 140733539808288 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=10787236 CPUtime=4778.92 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1432423 0 0 0 477443 449 0 0 25 0 8 0 720911721 11046129664 2379769 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38153.8
Current children cumulated vsize (KiB) 10787236

[startup+4842.3 s]
/proc/loadavg: 8.11 8.05 8.01 9/499 26959
/proc/meminfo: memFree=18407352/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=11380520 CPUtime=38632.8 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 11717460 0 1 0 3859036 4244 0 0 25 0 8 0 720911720 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 2845130 2397763 380 95 0 2840112 0
[pid=26810/tid=26811] ppid=26808 vsize=11380520 CPUtime=4822.49 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1451356 0 0 0 481703 546 0 0 25 0 8 0 720911720 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=11380520 CPUtime=4823.32 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1399657 0 0 0 481784 548 0 0 25 0 8 0 720911720 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316566 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=11380520 CPUtime=4840.41 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1455322 0 0 0 483547 494 0 0 25 0 8 0 720911720 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=11380520 CPUtime=4814.24 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1495239 0 0 0 480827 597 0 0 25 0 8 0 720911720 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=11380520 CPUtime=4840.28 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1452246 0 0 0 483517 511 0 0 25 0 8 0 720911720 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=11380520 CPUtime=4816.46 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1484306 0 0 0 481061 585 0 0 25 0 8 0 720911721 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=11380520 CPUtime=4838.91 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1433650 0 0 0 483442 449 0 0 25 0 8 0 720911721 11653652480 2397763 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316566 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38632.8
Current children cumulated vsize (KiB) 11380520

[startup+4902.3 s]
/proc/loadavg: 8.11 8.06 8.00 9/499 26960
/proc/meminfo: memFree=18683696/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=10870940 CPUtime=39111.8 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 11846935 0 1 0 3906889 4286 0 0 25 0 8 0 720911720 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 2717735 2329580 380 95 0 2712717 0
[pid=26810/tid=26811] ppid=26808 vsize=10870940 CPUtime=4882.48 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1464854 0 0 0 487697 551 0 0 25 0 8 0 720911720 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=10870940 CPUtime=4883.31 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1419839 0 0 0 487775 556 0 0 25 0 8 0 720911720 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4317040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=10870940 CPUtime=4900.4 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1474660 0 0 0 489542 498 0 0 25 0 8 0 720911720 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=10870940 CPUtime=4874.23 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1517142 0 0 0 486820 603 0 0 25 0 8 0 720911720 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=10870940 CPUtime=4900.27 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1470062 0 0 0 489511 516 0 0 25 0 8 0 720911720 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=10870940 CPUtime=4875.47 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1499305 0 0 0 486956 591 0 0 25 0 8 0 720911721 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=10870940 CPUtime=4898.92 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1441011 0 0 0 489441 451 0 0 25 0 8 0 720911721 11131842560 2329580 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39111.8
Current children cumulated vsize (KiB) 10870940

[startup+4962.3 s]
/proc/loadavg: 8.11 8.06 8.00 9/499 26971
/proc/meminfo: memFree=18445572/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=11132744 CPUtime=39590.7 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 11962422 0 1 0 3954745 4325 0 0 25 0 8 0 720911720 11399929856 2388234 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 2783186 2388234 380 95 0 2778168 0
[pid=26810/tid=26811] ppid=26808 vsize=11132744 CPUtime=4942.48 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1480749 0 0 0 493691 557 0 0 25 0 8 0 720911720 11399929856 2388236 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=11132744 CPUtime=4943.29 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1432582 0 0 0 493768 561 0 0 25 0 8 0 720911720 11399929856 2388238 33554432000 4194304 4580107 140733539808288 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=11132744 CPUtime=4960.4 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1490152 0 0 0 495538 502 0 0 25 0 8 0 720911720 11399929856 2388238 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=11132744 CPUtime=4934.23 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1530867 0 0 0 492816 607 0 0 25 0 8 0 720911720 11399929856 2388238 33554432000 4194304 4580107 140733539808288 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=11132744 CPUtime=4960.26 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1483769 0 0 0 495505 521 0 0 25 0 8 0 720911720 11399929856 2388238 33554432000 4194304 4580107 140733539808288 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=11132744 CPUtime=4934.48 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1513457 0 0 0 492851 597 0 0 25 0 8 0 720911721 11399929856 2388238 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=11132744 CPUtime=4958.92 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1446852 0 0 0 495439 453 0 0 25 0 8 0 720911721 11399929856 2388238 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39590.7
Current children cumulated vsize (KiB) 11132744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5013.6 s]
/proc/loadavg: 8.12 8.07 8.00 9/499 26972
/proc/meminfo: memFree=18268824/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=11282604 CPUtime=40000.4 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) R 26808 26810 26515 0 -1 4202496 12057575 0 1 0 3995679 4358 0 0 25 0 8 0 720911720 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 2820651 2431953 380 95 0 2815633 0
[pid=26810/tid=26811] ppid=26808 vsize=11282604 CPUtime=4993.8 cores=0-7
/proc/26810/task/26811/stat : 26811 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1493595 0 0 0 498817 563 0 0 25 0 8 0 720911720 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26810/tid=26812] ppid=26808 vsize=11282604 CPUtime=4994.6 cores=0-7
/proc/26810/task/26812/stat : 26812 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1443875 0 0 0 498894 566 0 0 25 0 8 0 720911720 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26810/tid=26813] ppid=26808 vsize=11282604 CPUtime=5011.72 cores=0-7
/proc/26810/task/26813/stat : 26813 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1500291 0 0 0 500667 505 0 0 25 0 8 0 720911720 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26810/tid=26814] ppid=26808 vsize=11282604 CPUtime=4985.54 cores=0-7
/proc/26810/task/26814/stat : 26814 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1544045 0 0 0 497943 611 0 0 25 0 8 0 720911720 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26810/tid=26815] ppid=26808 vsize=11282604 CPUtime=5011.57 cores=0-7
/proc/26810/task/26815/stat : 26815 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1495547 0 0 0 500634 523 0 0 25 0 8 0 720911720 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=11282604 CPUtime=4984.94 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1531148 0 0 0 497892 602 0 0 25 0 8 0 720911721 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26810/tid=26817] ppid=26808 vsize=11282604 CPUtime=5010.24 cores=0-7
/proc/26810/task/26817/stat : 26817 (strangenight2-m) R 26808 26810 26515 0 -1 4202560 1450562 0 0 0 500569 455 0 0 25 0 8 0 720911721 11553386496 2431953 33554432000 4194304 4580107 140733539808288 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 11282604

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5013.82 s]
/proc/loadavg: 8.12 8.07 8.00 2/494 26973
/proc/meminfo: memFree=20149324/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=0 CPUtime=40000.6 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) Z 26808 26810 26515 0 -1 4203548 12057583 0 1 0 3995684 4377 0 0 25 0 2 0 720911720 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 0 0 0 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=0 CPUtime=4985.15 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4203588 1531148 0 0 0 497893 622 0 0 25 0 2 0 720911721 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 0

[startup+5014 s]
/proc/loadavg: 8.12 8.07 8.00 2/494 26973
/proc/meminfo: memFree=20149324/32951124 swapFree=53876544/67111528
[pid=26810] ppid=26808 vsize=0 CPUtime=40000.8 cores=0-7
/proc/26810/stat : 26810 (strangenight2-m) Z 26808 26810 26515 0 -1 4203548 12057583 0 1 0 3995684 4396 0 0 25 0 2 0 720911720 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26810/statm: 0 0 0 0 0 0 0
[pid=26810/tid=26816] ppid=26808 vsize=0 CPUtime=4985.33 cores=0-7
/proc/26810/task/26816/stat : 26816 (strangenight2-m) R 26808 26810 26515 0 -1 4203588 1531148 0 0 0 497893 640 0 0 25 0 2 0 720911721 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.1
CPU time (s): 40000.9
CPU user time (s): 39956.8
CPU system time (s): 44.0583
CPU usage (%): 797.768
Max. virtual memory (cumulated for all children) (KiB): 11825308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39956.8
system time used= 44.0583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12057583
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 797850
involuntary context switches= 166147

runsolver used 23.1235 second user time and 58.978 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-22 21:38:28
IDJOB=3394208
IDBENCH=82394
IDSOLVER=1878
FILE ID=node108/3394208-1306093106
RUNJOBID= node108-1306087826-26529
PBS_JOBID= 13387926
Free space on /tmp= 73028 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394208-1306093106/watcher-3394208-1306093106 -o /tmp/evaluation-result-3394208-1306093106/solver-3394208-1306093106 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394208-1306093106.cnf

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=35873953

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28050676 kB
Buffers:        118200 kB
Cached:        3547344 kB
SwapCached:      16344 kB
Active:        1064452 kB
Inactive:      3598024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28050676 kB
SwapTotal:    67111528 kB
SwapFree:     53876544 kB
Dirty:           55760 kB
Writeback:           0 kB
AnonPages:      991452 kB
Mapped:          11936 kB
Slab:            99572 kB
PageTables:      65220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134537192 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= 73024 MiB
End job on node108 at 2011-05-22 23:02:03