Trace number 3321091

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? (TO) 40001.3 5007.23

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1007.46
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

Solver Data 

0.00/0.00	c Outputting solution to console
0.03/0.01	c Using 8 threads
0.65/0.10	c This is CryptoMiniSat 3.0.0
0.65/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.65/0.10	c Reading file 'HOME/instance-3321091-1304323096.cnf'
0.65/0.10	c -- header says num vars:         153284
0.65/0.10	c -- header says num clauses:     2473656
11.26/2.23	c -- clauses added:            0 learnts,      2473656 normals,            0 xors
11.26/2.23	c -- vars added     153284
11.26/2.23	c Parsing time:  0.82 s
11.26/2.23	c  N st     0         0    153284     73962   2026036         0   4799185         0   no data   no data
15.02/2.78	c asymm  cl-useful: 683/1183/61968 lits-rem:28657 time: 0.51
94.93/12.70	c Flit:   262 Blit:   9074 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.92
94.93/12.75	c Cleaning up after failed var search:     0.05 s 
95.74/12.84	c Replacing      503 vars Replaced    29207 lits Time:     0.08 s 
96.54/12.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
98.17/13.11	c bin-w-bin subsume rem          734 bins  time:  0.13 s
100.47/13.43	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.32 s
123.63/16.34	c Subs w/ non-existent bins:      0 l-rem:    345 v-fix:     0 done:  28605 time:  2.89 s
125.29/16.54	c Removed useless bin:    3998  fixed:     0  props:  20.02M  time:  0.20 s
128.42/16.92	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.38 s
128.42/16.97	c Finding binary XORs  T:     0.05 s  found:     192
129.21/17.05	c Replacing      192 vars Replaced    15185 lits Time:     0.07 s 
130.02/17.12	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
130.02/17.12	c calculated reachability. Time: 0.00
130.02/17.16	c Calc default polars -  time:   0.03 s pos:    3041 undec:   56053 neg:   94190
130.02/17.16	c =========================================================================================
130.02/17.16	c types(t): F = full restart, N = normal restart
130.02/17.16	c types(t): S = simplification begin/end, E = solution found
130.02/17.16	c restart types(rt): st = static, dy = dynamic
130.02/17.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
130.02/17.16	c  B st     0         0     97237     56981   1295586         0   3120648         0   no data   no data
206.74/26.71	c  N dy    12      4462     97215     56981   1295650      4369   3120648   3655946     38.21     40.79
267.49/34.31	c  N dy    29      8546     96701     56981   1296674      8375   3120648   6452854     32.52     35.64
325.03/41.52	c  N dy    55     12613     96681     56981   1297360     12357   3120647   8996548     34.48     36.47
387.36/49.35	c  N dy    68     16769     96567     56981   1297396     16453   3120647  11853091     32.87     35.88
449.72/57.13	c  N dy    86     21052     96421     56981   1297986     10854   3120647   1982547     31.98     34.76
510.39/64.77	c  F st    98     25000     96408     56981   1298032     14726   3120647   4931207     32.91     18.11
515.99/65.48	c  N st    99     25250     96277     56565   1284273     14942   3086696   5044387     32.91   no data
611.90/77.49	c  N dy   104     30000     96269     56565   1284323     19615   3086696   9914935     32.91   no data
611.90/77.49	c  S st   104     30000     96269     56565   1284323     19615   3086696   9914935     32.91   no data
619.90/78.46	c  S st   104     30501     96269     56565   1284332     20104   3086696  10044181     32.91   no data
620.69/78.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
761.35/96.18	c Flit:   414 Blit:   1126 bXBeca:    0 bXProp:  138 Bins: 621805 BRemL:     63 BRemN:    948 P: 200.0M T: 17.64
762.15/96.26	c Cleaning up after failed var search:     0.08 s 
763.75/96.49	c Replacing      139 vars Replaced    45233 lits Time:     0.22 s 
765.35/96.62	c blocked clauses removed:        0 vars:      0 tried:       94436 T: 0.06 s
766.21/96.80	c bin-w-bin subsume rem         6441 bins  time:  0.18 s
769.35/97.18	c subs with bin:       31  lits-rem:        13  v-fix:    0  time:  0.38 s
799.70/100.97	c Subs w/ non-existent bins:     11 l-rem:    614 v-fix:    53 done:  29930 time:  3.79 s
802.16/101.25	c Removed useless bin:   24154  fixed:     0  props:  20.02M  time:  0.28 s
806.10/101.73	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.48 s
826.86/104.33	c subs with bin:        5  lits-rem:       857  v-fix:    0  time:  1.55 s
836.51/105.57	c lits-rem:      3103  cl-subs:      741  v-elim:      0  v-fix:    0  time:  1.18 s
841.23/106.14	c asymm  cl-useful: 33/926/55727 lits-rem:80 time: 0.57
841.23/106.19	c calculated reachability. Time: 0.00
841.23/106.19	c  N dy   104     30501     94380     55727   1772660     19047   2966130  10675348     32.91   no data
842.03/106.24	c Finding binary XORs  T:     0.06 s  found:     107
904.74/114.41	c  N dy   111     34730     94305     55727   1774014     23220   2966130  13252464     31.53     43.02
971.92/122.92	c  N dy   131     38834     94291     55727   1780592     27265   2966130  16306416     33.13     35.17
1056.43/133.58	c  N dy   144     43866     94261     55727   1780633     17167   2966130   4775065     32.27     34.92
1073.21/135.70	c Finding binary XORs  T:     0.06 s  found:     104
1079.68/136.42	c  S st   149     45756     93947     55497   1770632     18910   2949112   5574671     31.74     24.30
1086.80/137.34	c  S st   149     46256     93947     55497   1770650     19392   2949112   5689689     31.74   no data
1087.66/137.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1183.49/149.48	c Flit:   172 Blit:    385 bXBeca:    0 bXProp:   34 Bins: 606215 BRemL:  10544 BRemN:   3394 P: 200.0M T: 12.05
1183.49/149.49	c Cleaning up after failed var search:     0.00 s 
1185.87/149.72	c Replacing      245 vars Replaced    67539 lits Time:     0.23 s 
1186.67/149.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1188.27/150.07	c bin-w-bin subsume rem        17069 bins  time:  0.27 s
1192.28/150.53	c subs with bin:        5  lits-rem:         7  v-fix:    0  time:  0.45 s
1225.04/154.67	c Subs w/ non-existent bins:      0 l-rem:    267 v-fix:    24 done:  30595 time:  4.13 s
1227.42/154.94	c Removed useless bin:   10158  fixed:     0  props:  20.01M  time:  0.26 s
1231.41/155.45	c lits-rem:         3  cl-subs:       26  v-elim:      6  v-fix:    0  time:  0.51 s
1246.66/157.31	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  1.57 s
1252.19/158.05	c lits-rem:       848  cl-subs:      388  v-elim:      0  v-fix:    0  time:  0.69 s
1256.99/158.62	c asymm  cl-useful: 81/434/55216 lits-rem:1075 time: 0.58
1256.99/158.68	c calculated reachability. Time: 0.00
1256.99/158.68	c  N dy   149     46256     93121     55216   2259787     18886   2896219   6565796     31.74   no data
1257.79/158.74	c Finding binary XORs  T:     0.06 s  found:      34
1328.08/167.52	c  N dy   153     50813     93108     55216   2259835     23364   2896219   9825560     30.34     32.20
1364.05/172.00	c Finding binary XORs  T:     0.06 s  found:      69
1388.03/175.05	c  N dy   161     55110     92895     55073   2274021     27527   2886350  11844816     29.18     31.00
1448.53/182.62	c  N dy   180     59811     92632     55073   2306152     32162   2886350  14215986     29.07     33.59
1514.78/190.90	c  N dy   204     63827     92632     55073   2326822     36116   2886350  17105116     29.85    124.27
1531.56/193.04	c Finding binary XORs  T:     0.06 s  found:      88
1591.39/200.55	c  N dy   218     68283     92515     54853   2263163     22240   2871752   6233819     29.27     31.28
1605.84/202.36	c  S st   221     69387     92510     54853   2263171     23331   2871752   6775135     29.09     16.58
1615.42/203.51	c  S st   221     69887     92391     54853   2374244     23816   2871752   7131647     29.09   no data
1616.15/203.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1708.87/215.25	c Flit:    77 Blit:    127 bXBeca:    0 bXProp:   14 Bins: 247165 BRemL:   4562 BRemN:    236 P: 200.0M T: 11.57
1708.87/215.25	c Cleaning up after failed var search:     0.00 s 
1711.34/215.53	c Replacing      205 vars Replaced    70724 lits Time:     0.26 s 
1712.14/215.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1715.28/216.06	c bin-w-bin subsume rem        55076 bins  time:  0.45 s
1719.28/216.57	c subs with bin:       19  lits-rem:        10  v-fix:    0  time:  0.51 s
1752.84/220.75	c Subs w/ non-existent bins:      1 l-rem:    356 v-fix:    12 done:  30581 time:  4.14 s
1755.29/221.06	c Removed useless bin:   17226  fixed:     0  props:  20.00M  time:  0.30 s
1759.23/221.59	c lits-rem:         0  cl-subs:       10  v-elim:      9  v-fix:    0  time:  0.53 s
1774.41/223.47	c subs with bin:       18  lits-rem:       545  v-fix:    0  time:  1.57 s
1780.81/224.24	c lits-rem:       950  cl-subs:      470  v-elim:      0  v-fix:    0  time:  0.73 s
1785.60/224.87	c asymm  cl-useful: 358/397/54710 lits-rem:5035 time: 0.62
1786.40/224.92	c calculated reachability. Time: 0.00
1786.40/224.93	c  N dy   221     69887     91996     54710   2499033     23188   2818179   7306893     29.09   no data
1786.40/224.99	c Finding binary XORs  T:     0.06 s  found:      35
1843.21/232.07	c  N dy   228     74358     91996     54710   2499076     27593   2818179   9462126     28.36     30.38
1918.17/241.41	c  N dy   248     79983     91987     54710   2499884     33149   2818179  11975821     28.21     32.88
1958.73/246.51	c Finding binary XORs  T:     0.07 s  found:      24
1996.22/251.24	c  N dy   266     85476     91916     54658   2584837     38540   2814958  14914946     28.00     31.02
2018.66/254.06	c  F st   272     87500     91912     54658   2584858     40532   2814958  15661384     27.73      6.92
2021.79/254.47	c Replacing       59 vars Replaced    22555 lits Time:     0.32 s 
2125.44/267.45	c  N dy   278     92695     91839     54654   2583670     25419   2814409   8874708     27.73   no data
2160.60/271.82	c Finding binary XORs  T:     0.07 s  found:      28
2199.77/276.79	c  N dy   289     98687     91714     54576   2890593     31300   2808821  11562783     27.15     31.02
2275.69/286.27	c  S st   304    104830     91713     54576   2890801     37397   2808821  14555767     26.73     15.18
2283.68/287.22	c  S st   304    105331     91713     54576   2890805     37894   2808821  14639127     26.73   no data
2284.48/287.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2388.45/300.34	c Flit:   108 Blit:     76 bXBeca:    0 bXProp:    8 Bins: 238647 BRemL:   6184 BRemN:    207 P: 200.0M T: 12.90
2388.45/300.34	c Cleaning up after failed var search:     0.00 s 
2390.79/300.69	c Replacing       37 vars Replaced    53553 lits Time:     0.34 s 
2391.59/300.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2394.78/301.17	c bin-w-bin subsume rem        24712 bins  time:  0.40 s
2400.37/301.83	c subs with bin:       23  lits-rem:        25  v-fix:    0  time:  0.64 s
2436.35/306.30	c Subs w/ non-existent bins:      0 l-rem:    130 v-fix:     2 done:  30059 time:  4.44 s
2437.94/306.58	c Removed useless bin:    8326  fixed:     0  props:  20.01M  time:  0.28 s
2442.72/307.17	c lits-rem:         1  cl-subs:       18  v-elim:     11  v-fix:    0  time:  0.58 s
2465.11/309.98	c subs with bin:        1  lits-rem:       216  v-fix:    0  time:  2.07 s
2479.39/311.76	c lits-rem:      2312  cl-subs:     1120  v-elim:      0  v-fix:    0  time:  1.74 s
2484.25/312.32	c asymm  cl-useful: 5/877/54493 lits-rem:64 time: 0.57
2484.25/312.39	c calculated reachability. Time: 0.00
2484.25/312.40	c  N dy   304    105331     91473     54493   3049676     36510   2784514  14483862     26.73   no data
2485.05/312.47	c Finding binary XORs  T:     0.07 s  found:      11
2554.03/321.14	c Finding binary XORs  T:     0.07 s  found:      39
2583.54/324.82	c  N dy   323    112547     91349     54409   3614808     43596   2779357  19043061     26.53     28.48
2675.45/336.35	c  N dy   344    120090     91339     54409   3617073     29279   2779357   8745248     26.35     27.76
2780.95/349.56	c  N dy   368    127859     91335     54409   3617497     36974   2779357  12571124     26.31     27.90
2874.47/361.22	c  N dy   393    136110     91323     54409   3618458     45116   2779357  15922076     26.14     28.84
2985.89/375.29	c  N dy   410    145103     91322     54409   3618771     30691   2779357   8749815     25.57     31.62
3038.32/381.84	c Finding binary XORs  T:     0.08 s  found:      21
3122.20/392.33	c  N dy   435    154736     91275     54362   3781294     40136   2776254  14573783     25.47     27.50
3159.83/397.05	c  S st   443    157996     91274     54362   3781315     43360   2776254  15850777     25.31     13.06
3168.63/398.19	c  S st   443    158496     91271     54362   3781327     43845   2776254  15976967     25.31   no data
3170.16/398.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3267.68/410.53	c Flit:    62 Blit:     36 bXBeca:    0 bXProp:    0 Bins: 214142 BRemL:   5979 BRemN:    233 P: 200.0M T: 12.21
3270.88/410.94	c Replacing       71 vars Replaced    77553 lits Time:     0.40 s 
3271.68/411.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3275.67/411.59	c bin-w-bin subsume rem        42604 bins  time:  0.55 s
3282.91/412.45	c subs with bin:       27  lits-rem:        19  v-fix:    0  time:  0.86 s
3320.42/417.16	c Subs w/ non-existent bins:      0 l-rem:     79 v-fix:     0 done:  30122 time:  4.71 s
3322.82/417.47	c Removed useless bin:   10112  fixed:     0  props:  20.01M  time:  0.31 s
3327.68/418.03	c lits-rem:         2  cl-subs:       18  v-elim:      1  v-fix:    0  time:  0.55 s
3345.99/420.30	c subs with bin:        5  lits-rem:       110  v-fix:    0  time:  1.59 s
3359.58/422.04	c lits-rem:      2341  cl-subs:     1152  v-elim:      0  v-fix:    0  time:  1.70 s
3364.38/422.66	c asymm  cl-useful: 1/331/54268 lits-rem:1 time: 0.61
3365.18/422.75	c calculated reachability. Time: 0.00
3365.18/422.75	c  N dy   443    158496     91104     54268   3917189     42656   2751825  16027041     25.31   no data
3365.98/422.83	c Finding binary XORs  T:     0.08 s  found:       4
3508.25/440.61	c  N dy   475    169034     91056     54268   3921181     29879   2751825   8665290     25.11     26.80
3675.29/461.54	c  N dy   502    181397     91052     54268   3921654     42106   2751825  16011768     24.84     26.66
3777.60/474.36	c Finding binary XORs  T:     0.08 s  found:      27
3826.34/480.46	c  N dy   529    193219     91005     54220   4095431     30124   2748143   7300899     24.43     26.07
3985.39/500.39	c  N dy   568    205647     91005     54220   4102763     42387   2748143  13203940     24.39     26.23
4006.96/503.04	c Finding binary XORs  T:     0.08 s  found:      13
4093.28/513.81	c Finding binary XORs  T:     0.08 s  found:      15
4167.62/523.18	c  N dy   604    220004     90920     54162   4418471     32151   2744180   7367257     24.00     25.81
4344.26/545.23	c  N dy   638    234235     90908     54162   4419848     46250   2744180  14027543     23.82     25.56
4381.88/549.94	c  S st   647    237745     90894     54162   4419865     49721   2744180  15128923     23.73     14.26
4389.81/550.98	c  S st   647    238248     90894     54162   4419876     50213   2744180  15240695     23.73   no data
4391.46/551.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
4491.30/563.65	c Flit:    47 Blit:     13 bXBeca:    0 bXProp:    1 Bins: 189247 BRemL:   4367 BRemN:   2503 P: 200.0M T: 12.54
4494.51/564.09	c Replacing       61 vars Replaced    58362 lits Time:     0.44 s 
4495.31/564.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4500.90/564.80	c bin-w-bin subsume rem        20989 bins  time:  0.61 s
4508.10/565.78	c subs with bin:        7  lits-rem:         3  v-fix:    0  time:  0.98 s
4544.85/570.32	c Subs w/ non-existent bins:      0 l-rem:    266 v-fix:     2 done:  31684 time:  4.54 s
4547.25/570.61	c Removed useless bin:    8936  fixed:     0  props:  20.00M  time:  0.29 s
4552.04/571.24	c lits-rem:         0  cl-subs:       12  v-elim:     14  v-fix:    0  time:  0.62 s
4569.62/573.40	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  1.59 s
4588.00/575.71	c lits-rem:      2871  cl-subs:     1160  v-elim:      0  v-fix:    0  time:  2.27 s
4592.86/576.32	c asymm  cl-useful: 2/321/54147 lits-rem:13 time: 0.61
4593.66/576.43	c calculated reachability. Time: 0.00
4593.66/576.43	c  N dy   647    238248     90756     54147   4546761     48142   2717346  14549894     23.73   no data
4594.40/576.51	c Finding binary XORs  T:     0.09 s  found:       7
4808.59/603.39	c  N dy   682    253618     90730     54147   4553871     38327   2717346   9137747     23.40     25.17
5029.98/631.03	c  N dy   742    269844     90727     54147   4554326     54379   2717346  17038648     23.20     24.84
5114.70/641.62	c Finding binary XORs  T:     0.09 s  found:      21
5281.67/662.52	c  N dy   818    288151     90680     54113   4700632     46383   2714825  11461190     23.29     24.91
5508.65/690.98	c  F st   873    306251     90675     54113   4701211     64322   2714825  19049844     23.11     18.39
5512.65/691.43	c Replacing       28 vars Replaced    53032 lits Time:     0.34 s 
5525.50/693.09	c  N st   875    306876     90649     54101   4697412     64905   2713953  19537834     23.11   no data
5828.35/730.97	c  N dy   917    327107     90641     54101   4698213     57580   2713953  16715970     22.94     24.25
6138.46/769.76	c  N dy   982    348723     90624     54101   4699074     51112   2713953  10166452     22.74     24.07
6251.16/783.82	c  S st  1008    357372     90622     54101   4699254     59683   2713953  13815002     22.66     17.27
6259.15/784.87	c  S st  1008    357873     90622     54101   4699258     60180   2713953  13918842     22.66   no data
6260.75/785.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
6364.64/798.06	c Flit:    20 Blit:     20 bXBeca:    0 bXProp:    2 Bins: 406235 BRemL:  13591 BRemN:    262 P: 200.0M T: 13.06
6367.05/798.35	c Replacing        3 vars Replaced     1252 lits Time:     0.28 s 
6367.85/798.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6373.45/799.12	c bin-w-bin subsume rem        16734 bins  time:  0.67 s
6382.23/800.23	c subs with bin:       27  lits-rem:        48  v-fix:    0  time:  1.11 s
6419.80/804.98	c Subs w/ non-existent bins:      1 l-rem:    179 v-fix:     0 done:  30435 time:  4.75 s
6422.98/805.31	c Removed useless bin:   11262  fixed:     0  props:  20.01M  time:  0.34 s
6426.98/805.89	c lits-rem:         2  cl-subs:       19  v-elim:      8  v-fix:    0  time:  0.57 s
6444.57/808.01	c subs with bin:       58  lits-rem:       191  v-fix:    0  time:  1.66 s
6462.15/810.22	c lits-rem:      2463  cl-subs:     1363  v-elim:      0  v-fix:    0  time:  2.18 s
6466.95/810.84	c asymm  cl-useful: 0/357/54054 lits-rem:0 time: 0.62
6467.75/810.95	c calculated reachability. Time: 0.00
6467.75/810.96	c  N dy  1008    357873     90571     54054   5049209     58182   2688097  14112563     22.66   no data
6468.54/811.05	c Finding binary XORs  T:     0.09 s  found:      20
6816.63/854.69	c Finding binary XORs  T:     0.09 s  found:      42
6820.56/855.10	c  N dy  1045    378296     90416     53962   5235419     48550   2682067   9852357     22.34     25.33
7057.94/884.82	c Finding binary XORs  T:     0.09 s  found:       4
7087.52/888.56	c  N dy  1108    398703     90408     53961   5302381     68790   2681771  18747423     22.22     23.94
7142.73/895.49	c Finding binary XORs  T:     0.10 s  found:      16
7396.87/927.29	c  N dy  1165    420572     90355     53930   5419928     60248   2679556  14310739     22.10     23.59
7699.74/965.19	c  N dy  1220    440639     90349     53930   5420566     80161   2679556  26649905     21.95     26.96
7984.27/1000.74	c  N dy  1284    461138     90346     53930   5421187     69307   2679556  15125217     21.90     24.95
8350.33/1046.56	c  N dy  1333    481637     90341     53930   5422234     89687   2679556  29813009     21.76     23.22
8659.64/1085.24	c  N dy  1421    501673     90326     53930   5422892     77215   2679556  19543584     21.79     23.77
8962.61/1123.16	c  N dy  1478    521807     90322     53930   5423633     64079   2679556  10625747     21.76     22.91
9181.61/1150.53	c  S st  1530    536809     90312     53930   5423896     78947   2679556  17418255     21.72     13.90
9190.39/1151.70	c  S st  1530    537313     90312     53930   5423907     79438   2679556  17540784     21.72   no data
9191.93/1151.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
9295.04/1164.71	c Flit:    23 Blit:      7 bXBeca:    0 bXProp:    1 Bins: 353091 BRemL:  12575 BRemN:    258 P: 200.0M T: 12.86
9299.03/1165.20	c Replacing       83 vars Replaced    89807 lits Time:     0.48 s 
9299.83/1165.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9305.49/1166.09	c bin-w-bin subsume rem        25921 bins  time:  0.79 s
9315.81/1167.36	c subs with bin:       22  lits-rem:         9  v-fix:    0  time:  1.27 s
9352.59/1171.96	c Subs w/ non-existent bins:      0 l-rem:    244 v-fix:     1 done:  32041 time:  4.60 s
9355.79/1172.34	c Removed useless bin:   19864  fixed:     0  props:  20.01M  time:  0.38 s
9361.38/1173.01	c lits-rem:         2  cl-subs:       38  v-elim:     23  v-fix:    0  time:  0.68 s
9378.97/1175.22	c subs with bin:        9  lits-rem:        36  v-fix:    0  time:  1.64 s
9397.34/1177.51	c lits-rem:      2692  cl-subs:     1921  v-elim:      0  v-fix:    0  time:  2.25 s
9402.20/1178.11	c asymm  cl-useful: 10/593/53910 lits-rem:91 time: 0.60
9402.94/1178.24	c calculated reachability. Time: 0.00
9402.94/1178.24	c  N dy  1530    537313     90180     53910   5676771     75112   2635393  16265421     21.72   no data
9403.74/1178.34	c Finding binary XORs  T:     0.10 s  found:      20
9601.95/1203.19	c Finding binary XORs  T:     0.10 s  found:       6
9708.26/1216.42	c  N dy  1593    557339     90143     53893   5718614     94958   2634038  25878695     21.71     23.38
10000.78/1253.09	c  N dy  1660    577501     90132     53893   5719192     81850   2634038  18938810     21.61     22.82
10330.87/1294.36	c  N dy  1740    597644     90128     53893   5719595    101874   2634038  30237636     21.60     23.29
10627.40/1331.42	c  N dy  1819    618754     90123     53893   5720160     88028   2634038  19698111     21.61     22.80
10929.51/1369.21	c  N dy  1890    638904     90117     53893   5720674     72345   2634038  10989434     21.60     23.18
11239.68/1408.05	c  N dy  1962    659542     90115     53893   5721043     92832   2634038  21222099     21.61     22.96
11552.92/1447.26	c  N dy  2032    679885     90105     53893   5721583     76137   2634038  11066508     21.63     22.84
11649.64/1459.35	c Finding binary XORs  T:     0.10 s  found:      36
11868.64/1486.72	c  N dy  2099    699907     90003     53820   5798840     95831   2628869  21081605     21.57     24.84
11896.61/1490.23	c Finding binary XORs  T:     0.10 s  found:       8
12228.30/1531.72	c  N dy  2195    719963     89900     53793   5896519    115709   2627442  33145765     21.61     63.65
12551.98/1572.26	c  N dy  2288    740446     89895     53793   5897110     98456   2627442  21084192     21.64     23.22
12848.56/1609.35	c  N dy  2341    760655     89894     53793   5897615    118537   2627442  29930651     21.55     22.79
13164.26/1648.86	c  N dy  2424    780731     89881     53793   5898124     99780   2627442  19016759     21.56     73.69
13507.12/1691.80	c  N dy  2528    800750     89875     53793   5898717    119669   2627442  31102996     21.61     25.44
13594.18/1702.65	c  S st  2550    805969     89873     53793   5898931    124858   2627442  33963752     21.60     17.12
13605.37/1704.01	c  S st  2550    806469     89873     53793   5898936    125353   2627442  34117036     21.60   no data
13606.17/1704.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
13711.68/1717.34	c Flit:    14 Blit:      3 bXBeca:    0 bXProp:    6 Bins: 339501 BRemL:   8891 BRemN:    301 P: 200.1M T: 13.06
13718.12/1718.13	c Replacing       77 vars Replaced   124762 lits Time:     0.78 s 
13718.93/1718.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13726.07/1719.11	c bin-w-bin subsume rem        28851 bins  time:  0.86 s
13737.24/1720.52	c subs with bin:       42  lits-rem:       130  v-fix:    0  time:  1.40 s
13779.67/1725.81	c Subs w/ non-existent bins:      0 l-rem:    132 v-fix:     0 done:  31699 time:  5.25 s
13782.00/1726.18	c Removed useless bin:    9955  fixed:     0  props:  20.00M  time:  0.37 s
13788.47/1726.95	c lits-rem:         3  cl-subs:       40  v-elim:     16  v-fix:    0  time:  0.76 s
13817.17/1730.59	c subs with bin:       12  lits-rem:       664  v-fix:    0  time:  1.68 s
13868.39/1736.96	c lits-rem:      1664  cl-subs:     3108  v-elim:      0  v-fix:    0  time:  6.27 s
13873.92/1737.61	c asymm  cl-useful: 109/380/53702 lits-rem:1395 time: 0.65
13874.72/1737.76	c calculated reachability. Time: 0.00
13874.72/1737.76	c  N dy  2550    806469     89765     53702   6132192    120184   2599797  32886639     21.60   no data
13875.52/1737.86	c Finding binary XORs  T:     0.10 s  found:      28
14190.81/1777.36	c  N dy  2616    826704     89763     53702   6134971    100570   2599797  18472329     21.59     43.38
14213.18/1780.12	c Finding binary XORs  T:     0.10 s  found:       6
14537.68/1820.75	c  N dy  2690    847025     89726     53691   6283892    120767   2598750  30181264     21.58     22.76
14861.43/1861.21	c  N dy  2759    867261     89724     53691   6284557    100222   2598750  16997910     21.57     22.73
15192.26/1902.60	c  N dy  2826    887379     89724     53691   6285086    120221   2598750  27733707     21.54     23.46
15531.11/1945.07	c  N dy  2909    907471     89718     53691   6285513     98386   2598750  15780037     21.52     23.90
15706.16/1966.91	c Finding binary XORs  T:     0.11 s  found:      18
15857.21/1985.83	c  N dy  2967    927514     89680     53664   6380820    118290   2596726  26307962     21.46     22.96
16204.90/2029.32	c  N dy  2999    947960     89679     53664   6381304    138649   2596726  36278058     21.34     22.46
16586.93/2077.13	c  N dy  3074    971736     89676     53664   6381770    119200   2596726  22727482     21.26     22.41
16925.81/2119.54	c  N dy  3135    991868     89665     53664   6382331    139216   2596726  32381792     21.24     22.86
17266.27/2162.19	c  N dy  3210   1012005     89662     53664   6382748    115620   2596726  20000894     21.24     22.38
17685.07/2214.50	c  N dy  3289   1032925     89661     53664   6383210    136434   2596726  33008225     21.22     23.15
18089.48/2265.19	c  N dy  3391   1053273     89655     53664   6383661    111979   2596726  16700296     21.26     23.47
18118.07/2268.78	c Finding binary XORs  T:     0.12 s  found:      17
18432.76/2308.19	c  F st  3439   1071876     89625     53635   6525790    130466   2594576  26342619     21.22     17.99
18438.42/2308.87	c Replacing       69 vars Replaced    78182 lits Time:     0.55 s 
18492.71/2315.67	c  N st  3443   1073915     89560     53632   6525007    132478   2594214  28225077     21.22   no data
18911.53/2368.08	c  N dy  3528   1093925     89557     53632   6525675    152386   2594214  41683918     21.26     22.41
19290.36/2415.45	c  N dy  3608   1114445     89556     53632   6526098    126802   2594214  22871423     21.24     26.58
19704.41/2467.28	c  N dy  3687   1134472     89546     53632   6526623    146719   2594214  35546915     21.24     22.68
20093.58/2515.90	c  N dy  3760   1154491     89546     53632   6526972    120208   2594214  17240839     21.25     28.25
20149.26/2522.93	c Finding binary XORs  T:     0.13 s  found:      46
20498.51/2566.63	c  N dy  3861   1174562     89423     53538   6665552    140019   2587712  29165777     21.30     80.08
20677.52/2589.03	c Finding binary XORs  T:     0.12 s  found:      10
20878.11/2614.19	c  N dy  3929   1194638     89386     53520   6717713    159958   2586172  37540854     21.29     23.66
21069.12/2638.05	c Finding binary XORs  T:     0.12 s  found:       3
21158.65/2649.23	c  S st  3973   1209706     89363     53505   6770528    127096   2585314  18732072     21.25     17.10
21169.04/2650.55	c  S st  3973   1210208     89363     53505   6770543    127583   2585314  18850791     21.25   no data
21170.64/2650.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
21284.94/2665.01	c Flit:    23 Blit:      5 bXBeca:    0 bXProp:    0 Bins: 196617 BRemL:   6410 BRemN:    156 P: 200.1M T: 14.29
21288.12/2665.49	c Replacing       59 vars Replaced   108274 lits Time:     0.47 s 
21289.72/2665.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
21297.72/2666.61	c bin-w-bin subsume rem        36201 bins  time:  0.98 s
21310.52/2668.24	c subs with bin:       40  lits-rem:        78  v-fix:    0  time:  1.64 s
21348.94/2673.07	c Subs w/ non-existent bins:      1 l-rem:     72 v-fix:     1 done:  30150 time:  4.83 s
21352.08/2673.46	c Removed useless bin:   10354  fixed:     0  props:  20.02M  time:  0.39 s
21358.46/2674.23	c lits-rem:         1  cl-subs:       60  v-elim:     23  v-fix:    0  time:  0.77 s
21377.65/2676.65	c subs with bin:       13  lits-rem:       168  v-fix:    0  time:  1.68 s
21394.44/2678.79	c lits-rem:      1917  cl-subs:     3346  v-elim:      0  v-fix:    0  time:  2.09 s
21400.04/2679.49	c asymm  cl-useful: 56/425/53450 lits-rem:582 time: 0.70
21401.69/2679.65	c calculated reachability. Time: 0.01
21401.69/2679.65	c  N dy  3973   1210208     89249     53450   6902279    122037   2561146  17860972     21.25   no data
21402.43/2679.77	c Finding binary XORs  T:     0.12 s  found:       4
21639.80/2709.41	c Finding binary XORs  T:     0.13 s  found:       8
21810.04/2730.75	c  N dy  4063   1230296     89205     53428   6985755    141955   2559702  30841526     21.28     55.30
22208.07/2780.52	c  N dy  4126   1251818     89197     53428   6986176    163386   2559702  41300486     21.26     22.44
22608.49/2830.64	c  N dy  4184   1271893     89178     53428   6986561    133080   2559702  24424804     21.22     33.57
23026.48/2882.93	c  N dy  4295   1291991     89165     53428   6987154    153069   2559702  36140276     21.28     23.32
23192.73/2903.70	c Finding binary XORs  T:     0.12 s  found:      26
23478.86/2939.58	c  N dy  4337   1312358     89118     53381   7047609    123755   2556435  15946932     21.22     22.44
23863.35/2987.69	c  N dy  4406   1332470     89118     53381   7047949    143778   2556435  26870167     21.21     23.87
24244.53/3035.34	c  N dy  4485   1352515     89118     53381   7048285    163722   2556435  36880521     21.20     24.68
24673.73/3089.03	c  N dy  4583   1373117     89117     53381   7048683    133656   2556435  19518633     21.22     22.47
25082.14/3140.19	c  N dy  4664   1395956     89117     53381   7049080    156358   2556435  29916247     21.19     23.92
25501.75/3192.62	c Finding binary XORs  T:     0.13 s  found:       8
25508.15/3193.49	c  N dy  4750   1416043     89074     53364   7095594    176283   2555335  42120821     21.21     23.05
25930.95/3246.38	c  N dy  4830   1436219     89073     53364   7096130    145138   2555335  24976553     21.21     23.28
26340.15/3297.51	c  N dy  4894   1456329     89072     53364   7096516    165162   2555335  36646621     21.21     22.41
26764.63/3350.63	c  N dy  4985   1476398     89070     53364   7096805    185129   2555335  47772749     21.25     43.75
27192.17/3404.16	c  N dy  5044   1498313     89070     53364   7097203    154074   2555335  24987432     21.20     22.66
27623.74/3458.18	c  N dy  5134   1518358     89067     53364   7097628    174015   2555335  37591597     21.21     24.10
27902.68/3493.04	c Finding binary XORs  T:     0.13 s  found:      17
28066.53/3513.50	c  N dy  5213   1538427     89048     53344   7156620    140762   2554120  16812551     21.21     22.48
28509.29/3568.99	c  N dy  5302   1559304     89046     53344   7156908    161557   2554120  29830511     21.23     22.44
28981.65/3628.09	c  N dy  5400   1579411     89030     53344   7157273    181577   2554120  43088978     21.27     23.09
29435.62/3684.86	c  N dy  5491   1599432     89027     53344   7157690    147302   2554120  17212853     21.29     28.18
29872.79/3739.57	c  N dy  5568   1619610     89027     53344   7158075    167391   2554120  30020327     21.30     23.03
30266.00/3788.73	c  N dy  5630   1639810     89027     53344   7158376    187483   2554120  40133484     21.28     22.89
30753.54/3849.74	c  N dy  5728   1661467     89023     53344   7158689    153517   2554120  18751502     21.31     22.84
30758.34/3850.33	c Finding binary XORs  T:     0.13 s  found:      16
31073.25/3889.77	c Finding binary XORs  T:     0.13 s  found:       4
31217.91/3907.80	c  N dy  5813   1681478     88974     53309   7373067    173310   2551088  32516596     21.33     37.23
31675.71/3965.16	c  N dy  5905   1701485     88974     53309   7373379    193224   2551088  46017305     21.35     31.32
31806.91/3981.64	c Finding binary XORs  T:     0.13 s  found:       7
31879.70/3990.76	c  S st  5938   1710208     88922     53292   7466064    201851   2549381  50858995     21.34     13.20
31894.83/3992.67	c  S st  5938   1710713     88922     53292   7466065    202355   2549381  51004652     21.34   no data
31897.29/3992.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
32013.92/4007.53	c Flit:    17 Blit:      1 bXBeca:    0 bXProp:    0 Bins: 168372 BRemL:   2116 BRemN:   2273 P: 200.0M T: 14.62
32025.11/4008.98	c Replacing       90 vars Replaced   122628 lits Time:     1.44 s 
32026.72/4009.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32034.71/4010.15	c bin-w-bin subsume rem        28888 bins  time:  1.03 s
32049.09/4011.93	c subs with bin:       53  lits-rem:        69  v-fix:    0  time:  1.77 s
32093.05/4017.49	c Subs w/ non-existent bins:      0 l-rem:     65 v-fix:     0 done:  30884 time:  5.57 s
32097.05/4017.93	c Removed useless bin:    9042  fixed:     0  props:  20.01M  time:  0.44 s
32104.24/4018.81	c lits-rem:         0  cl-subs:       60  v-elim:     45  v-fix:    0  time:  0.89 s
32140.21/4023.31	c subs with bin:        1  lits-rem:        37  v-fix:    0  time:  1.68 s
32220.94/4033.45	c lits-rem:      3134  cl-subs:     4795  v-elim:      0  v-fix:    0  time: 10.08 s
32227.33/4034.23	c asymm  cl-useful: 8/548/53288 lits-rem:49 time: 0.77
32228.92/4034.40	c calculated reachability. Time: 0.01
32228.92/4034.41	c  N dy  5938   1710713     88775     53288   7570799    187999   2524783  38496808     21.34   no data
32340.02/4048.32	c Finding binary XORs  T:     0.13 s  found:       7
32666.89/4089.24	c  N dy  6006   1731555     88775     53288   7572288    157046   2524783  21264996     21.32     22.44
33136.93/4148.06	c  N dy  6071   1752095     88775     53288   7572632    177492   2524783  35701963     21.30     22.99
33339.95/4173.41	c Finding binary XORs  T:     0.13 s  found:      12
33619.61/4208.41	c  N dy  6142   1772174     88748     53270   7616739    197441   2523632  48938444     21.28     31.64
34183.12/4278.97	c  N dy  6220   1792905     88747     53270   7617170    160836   2523632  25228172     21.29     22.77
34650.62/4337.49	c  N dy  6276   1814913     88746     53270   7617506    182756   2523632  36980337     21.26     22.74
35130.98/4397.54	c  N dy  6347   1834991     88745     53270   7617802    202761   2523632  48193456     21.26     24.63
35563.41/4451.65	c  N dy  6412   1855038     88743     53270   7618217    164056   2523632  22594591     21.25     53.82
35991.74/4505.20	c  N dy  6502   1875193     88742     53270   7618476    184130   2523632  34075223     21.26     23.62
36282.66/4541.68	c Finding binary XORs  T:     0.13 s  found:      11
36486.54/4567.13	c  N dy  6581   1896101     88722     53259   7743623    204911   2522785  48640817     21.27     22.50
36970.88/4627.78	c  N dy  6671   1916861     88711     53259   7743961    166532   2522785  20400712     21.29     22.78
37422.40/4684.22	c  N dy  6754   1937134     88711     53259   7744334    186741   2522785  33418155     21.29     23.53
37899.57/4743.97	c  N dy  6849   1957178     88711     53259   7744633    206722   2522785  48099586     21.31     22.57
38452.63/4813.10	c  N dy  6903   1982137     88711     53259   7744868    170914   2522785  20760507     21.28     22.59
38950.55/4875.46	c  N dy  6987   2002426     88693     53259   7765540    191138   2522785  35039738     21.30     23.43
39444.48/4937.22	c  N dy  7075   2022891     88693     53259   7765860    211513   2522785  47959857     21.32     22.48
39906.52/4995.10	c  N dy  7145   2042950     88693     53259   7766143    169689   2522785  18061688     21.30     22.86

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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321091-1304323096/watcher-3321091-1304323096 -o /tmp/evaluation-result-3321091-1304323096/solver-3321091-1304323096 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321091-1304323096.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.01 7.60 4.95 2/238 16127
/proc/meminfo: memFree=28849432/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=92188 CPUtime=0.01 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 8 0 543906782 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 23047 352 299 106 0 18018 0
[pid=16127/tid=16128] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543906782 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543906782 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219120 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.011825 s]
/proc/loadavg: 8.01 7.60 4.95 2/238 16127
/proc/meminfo: memFree=28849432/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=92188 CPUtime=0.03 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 413 0 0 0 3 0 0 0 23 0 8 0 543906782 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 23047 352 299 106 0 18018 0
[pid=16127/tid=16128] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543906782 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543906782 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543906783 94400512 352 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 92188

[startup+0.100747 s]
/proc/loadavg: 8.01 7.60 4.95 2/238 16127
/proc/meminfo: memFree=28849432/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=92188 CPUtime=0.65 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 422 0 0 0 65 0 0 0 23 0 8 0 543906782 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218704 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16127/statm: 23047 361 303 106 0 18018 0
[pid=16127/tid=16128] ppid=16125 vsize=92188 CPUtime=0.09 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 5 0 0 0 9 0 0 0 23 0 8 0 543906782 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218713 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=92188 CPUtime=0 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543906782 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119219116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=92188 CPUtime=0.09 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 543906783 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218713 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=92188 CPUtime=0.09 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 543906783 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=92188 CPUtime=0.08 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 8 0 0 0 24 0 8 0 543906783 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218713 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=92188 CPUtime=0.09 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 543906783 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=92188 CPUtime=0.09 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 8 0 543906783 94400512 361 33554432000 4194304 4627427 140736603441520 18446744073709551615 46994119218707 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 92188

[startup+0.302794 s]
/proc/loadavg: 8.01 7.60 4.95 2/238 16127
/proc/meminfo: memFree=28849432/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=618148 CPUtime=1.81 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 34651 0 0 0 148 33 0 0 17 0 8 0 543906782 632983552 26884 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16127/statm: 154537 26885 341 106 0 149508 0
[pid=16127/tid=16128] ppid=16125 vsize=618148 CPUtime=0.23 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 4394 0 0 0 19 4 0 0 17 0 8 0 543906782 632983552 26885 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=618148 CPUtime=0.14 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 4459 0 0 0 10 4 0 0 17 0 8 0 543906782 632983552 26885 33554432000 4194304 4627427 140736603441520 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=618148 CPUtime=0.25 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 4533 0 0 0 21 4 0 0 17 0 8 0 543906783 632983552 26886 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=618148 CPUtime=0.23 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 4393 0 0 0 20 3 0 0 17 0 8 0 543906783 632983552 26887 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=618148 CPUtime=0.23 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 4255 0 0 0 19 4 0 0 17 0 8 0 543906783 632983552 26888 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=618148 CPUtime=0.22 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 3371 0 0 0 19 3 0 0 17 0 8 0 543906783 632983552 26888 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=618148 CPUtime=0.22 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 4385 0 0 0 18 4 0 0 17 0 8 0 543906783 632983552 26888 33554432000 4194304 4627427 140736603441520 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 618148

[startup+0.700637 s]
/proc/loadavg: 8.01 7.60 4.95 2/238 16127
/proc/meminfo: memFree=28849432/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=716488 CPUtime=3.74 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 67349 0 0 0 263 111 0 0 16 0 8 0 543906782 733683712 57788 33554432000 4194304 4627427 140736603441520 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16127/statm: 179122 57791 341 106 0 174093 0
[pid=16127/tid=16128] ppid=16125 vsize=716488 CPUtime=0.46 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) S 16125 16127 16009 0 -1 4202560 7947 0 0 0 33 13 0 0 16 0 8 0 543906782 733683712 57791 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 18446604453985334208 0 0 -1 4 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=716488 CPUtime=0.37 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) S 16125 16127 16009 0 -1 4202560 7987 0 0 0 24 13 0 0 16 0 8 0 543906782 733683712 57791 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 18446604453985334208 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=716488 CPUtime=0.49 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 11419 0 0 0 37 12 0 0 17 0 8 0 543906783 733683712 57793 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=716488 CPUtime=0.47 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 7887 0 0 0 35 12 0 0 17 0 8 0 543906783 733683712 57793 33554432000 4194304 4627427 140736603441520 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=716488 CPUtime=0.47 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 8143 0 0 0 32 15 0 0 16 0 8 0 543906783 733683712 57794 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 18446604453985334208 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=716488 CPUtime=0.46 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 7430 0 0 0 33 13 0 0 16 0 8 0 543906783 733683712 57796 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=716488 CPUtime=0.44 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 7820 0 0 0 31 13 0 0 16 0 8 0 543906783 733683712 57796 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 716488

[startup+1.5005 s]
/proc/loadavg: 8.01 7.60 4.95 8/246 16135
/proc/meminfo: memFree=28516372/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=822692 CPUtime=7.69 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 142294 0 0 0 500 269 0 0 16 0 8 0 543906782 842436608 125014 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476350933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 205673 125017 341 106 0 200644 0
[pid=16127/tid=16128] ppid=16125 vsize=822692 CPUtime=1 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 18107 0 0 0 66 34 0 0 16 0 8 0 543906782 842436608 125019 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=822692 CPUtime=0.86 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 17641 0 0 0 52 34 0 0 15 0 8 0 543906782 842436608 125021 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=822692 CPUtime=1.01 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 19272 0 0 0 68 33 0 0 16 0 8 0 543906783 842436608 125024 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=822692 CPUtime=0.96 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 17760 0 0 0 64 32 0 0 16 0 8 0 543906783 842436608 125025 33554432000 4194304 4627427 140736603441520 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=822692 CPUtime=0.95 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 17847 0 0 0 61 34 0 0 16 0 8 0 543906783 842436608 125026 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=822692 CPUtime=0.94 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 16862 0 0 0 60 34 0 0 16 0 8 0 543906783 842436608 125028 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=822692 CPUtime=0.94 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) S 16125 16127 16009 0 -1 4202560 17056 0 0 0 61 33 0 0 16 0 8 0 543906783 842436608 125029 33554432000 4194304 4627427 140736603441520 18446744073709551615 239476799982 0 0 4096 2 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 822692

[startup+3.10118 s]
/proc/loadavg: 8.01 7.60 4.95 9/246 16135
/proc/meminfo: memFree=28139536/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=1193536 CPUtime=18.22 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 230028 0 0 0 1414 408 0 0 16 0 8 0 543906782 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 298384 196111 367 106 0 293355 0
[pid=16127/tid=16128] ppid=16125 vsize=1193536 CPUtime=2.36 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 27273 0 0 0 186 50 0 0 16 0 8 0 543906782 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4310363 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=1193536 CPUtime=2.17 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 28644 0 0 0 165 52 0 0 16 0 8 0 543906782 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=1193536 CPUtime=2.35 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 29587 0 0 0 186 49 0 0 16 0 8 0 543906783 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=1193536 CPUtime=2.25 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 28792 0 0 0 178 47 0 0 16 0 8 0 543906783 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=1193536 CPUtime=2.26 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 29648 0 0 0 175 51 0 0 16 0 8 0 543906783 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=1193536 CPUtime=2.27 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 28647 0 0 0 175 52 0 0 16 0 8 0 543906783 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4238499 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=1193536 CPUtime=2.24 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 27975 0 0 0 172 52 0 0 16 0 8 0 543906783 1222180864 196111 33554432000 4194304 4627427 140736603441520 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.22
Current children cumulated vsize (KiB) 1193536

[startup+6.30057 s]
/proc/loadavg: 8.09 7.62 4.97 9/246 16135
/proc/meminfo: memFree=28057856/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=1227072 CPUtime=43.79 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 233265 0 0 0 3969 410 0 0 21 0 8 0 543906782 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308767 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16127/statm: 306768 198682 367 106 0 301739 0
[pid=16127/tid=16128] ppid=16125 vsize=1227072 CPUtime=5.55 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 27403 0 0 0 504 51 0 0 21 0 8 0 543906782 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=1227072 CPUtime=5.37 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 28771 0 0 0 485 52 0 0 21 0 8 0 543906782 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=1227072 CPUtime=5.55 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 29710 0 0 0 506 49 0 0 21 0 8 0 543906783 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=1227072 CPUtime=5.45 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 28921 0 0 0 498 47 0 0 21 0 8 0 543906783 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=1227072 CPUtime=5.46 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 29775 0 0 0 495 51 0 0 21 0 8 0 543906783 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=1227072 CPUtime=5.44 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 28776 0 0 0 492 52 0 0 21 0 8 0 543906783 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=1227072 CPUtime=5.44 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 30407 0 0 0 491 53 0 0 21 0 8 0 543906783 1256521728 198682 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 6 0 0 0

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

Current children cumulated vsize (KiB) 10081424

[startup+4722.31 s]
/proc/loadavg: 8.04 8.05 7.98 9/246 16285
/proc/meminfo: memFree=19979192/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=10083400 CPUtime=37727 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 10687778 0 0 0 3768826 3872 0 0 25 0 8 0 543906782 10325401600 2213893 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 2520850 2213893 391 106 0 2515821 0
[pid=16127/tid=16128] ppid=16125 vsize=10083400 CPUtime=4717.26 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1338041 0 0 0 471205 521 0 0 25 0 8 0 543906782 10325401600 2213893 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=10083400 CPUtime=4719.99 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1378159 0 0 0 471532 467 0 0 25 0 8 0 543906782 10325401600 2213893 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=10083400 CPUtime=4717.1 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1294339 0 0 0 471216 494 0 0 25 0 8 0 543906783 10325401600 2213893 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=10083400 CPUtime=4720.24 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1367412 0 0 0 471558 466 0 0 25 0 8 0 543906783 10325401600 2213894 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=10083400 CPUtime=4716.43 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1370183 0 0 0 471120 523 0 0 25 0 8 0 543906783 10325401600 2213894 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=10083400 CPUtime=4701.87 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1414520 0 0 0 469651 536 0 0 25 0 8 0 543906783 10325401600 2213894 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=10083400 CPUtime=4721.02 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1268511 0 0 0 471709 393 0 0 25 0 8 0 543906783 10325401600 2213894 33554432000 4194304 4627427 140736603441520 18446744073709551615 4322548 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37727
Current children cumulated vsize (KiB) 10083400

[startup+4782.3 s]
/proc/loadavg: 8.01 8.04 7.98 9/246 16287
/proc/meminfo: memFree=19714616/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=10740580 CPUtime=38206.5 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 10789444 0 0 0 3816739 3908 0 0 25 0 8 0 543906782 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321739 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 2685145 2279996 391 106 0 2680116 0
[pid=16127/tid=16128] ppid=16125 vsize=10740580 CPUtime=4777.25 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1350821 0 0 0 477199 526 0 0 25 0 8 0 543906782 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=10740580 CPUtime=4779.98 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1398800 0 0 0 477525 473 0 0 25 0 8 0 543906782 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=10740580 CPUtime=4777.09 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1307386 0 0 0 477210 499 0 0 25 0 8 0 543906783 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=10740580 CPUtime=4780.22 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1380767 0 0 0 477551 471 0 0 25 0 8 0 543906783 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=10740580 CPUtime=4776.42 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1381867 0 0 0 477116 526 0 0 25 0 8 0 543906783 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4302889 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=10740580 CPUtime=4761.42 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1428547 0 0 0 475600 542 0 0 25 0 8 0 543906783 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321741 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=10740580 CPUtime=4781.01 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1271439 0 0 0 477707 394 0 0 25 0 8 0 543906783 10998353920 2279996 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321477 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38206.5
Current children cumulated vsize (KiB) 10740580

[startup+4842.3 s]
/proc/loadavg: 8.11 8.06 8.00 9/246 16288
/proc/meminfo: memFree=20227840/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=10062808 CPUtime=38686 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 10901767 0 0 0 3864647 3951 0 0 25 0 8 0 543906782 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 2515702 2151740 391 106 0 2510673 0
[pid=16127/tid=16128] ppid=16125 vsize=10062808 CPUtime=4837.26 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1368510 0 0 0 483191 535 0 0 25 0 8 0 543906782 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=10062808 CPUtime=4839.97 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1415020 0 0 0 483518 479 0 0 25 0 8 0 543906782 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321862 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=10062808 CPUtime=4837.08 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1320333 0 0 0 483204 504 0 0 25 0 8 0 543906783 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=10062808 CPUtime=4840.2 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1399460 0 0 0 483544 476 0 0 25 0 8 0 543906783 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=10062808 CPUtime=4836.42 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1392133 0 0 0 483111 531 0 0 25 0 8 0 543906783 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=10062808 CPUtime=4820.98 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1444038 0 0 0 481550 548 0 0 25 0 8 0 543906783 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=10062808 CPUtime=4841.01 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1283676 0 0 0 483704 397 0 0 25 0 8 0 543906783 10304315392 2151740 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38686
Current children cumulated vsize (KiB) 10062808

[startup+4902.3 s]
/proc/loadavg: 8.16 8.08 8.00 9/246 16290
/proc/meminfo: memFree=20057928/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=10458488 CPUtime=39165.5 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 11003771 0 0 0 3912566 3987 0 0 25 0 8 0 543906782 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321810 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 2614622 2195251 391 106 0 2609593 0
[pid=16127/tid=16128] ppid=16125 vsize=10458488 CPUtime=4897.24 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1381915 0 0 0 489186 538 0 0 25 0 8 0 543906782 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=10458488 CPUtime=4899.96 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1429347 0 0 0 489512 484 0 0 25 0 8 0 543906782 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=10458488 CPUtime=4897.08 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1330549 0 0 0 489199 509 0 0 25 0 8 0 543906783 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=10458488 CPUtime=4900.2 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1413343 0 0 0 489539 481 0 0 25 0 8 0 543906783 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=10458488 CPUtime=4896.42 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1406160 0 0 0 489106 536 0 0 25 0 8 0 543906783 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=10458488 CPUtime=4880.55 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1458441 0 0 0 487502 553 0 0 25 0 8 0 543906783 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=10458488 CPUtime=4901.01 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1292923 0 0 0 489701 400 0 0 25 0 8 0 543906783 10709491712 2195251 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39165.5
Current children cumulated vsize (KiB) 10458488

[startup+4962.3 s]
/proc/loadavg: 8.10 8.07 8.00 9/246 16291
/proc/meminfo: memFree=19816188/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=10689524 CPUtime=39645.1 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 11115241 0 0 0 3960486 4024 0 0 25 0 8 0 543906782 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 2672381 2254940 391 106 0 2667352 0
[pid=16127/tid=16128] ppid=16125 vsize=10689524 CPUtime=4957.25 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1395681 0 0 0 495181 544 0 0 25 0 8 0 543906782 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=10689524 CPUtime=4959.96 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1449666 0 0 0 495507 489 0 0 25 0 8 0 543906782 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=10689524 CPUtime=4957.09 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1344320 0 0 0 495195 514 0 0 25 0 8 0 543906783 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=10689524 CPUtime=4960.19 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1427945 0 0 0 495534 485 0 0 25 0 8 0 543906783 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4333563 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=10689524 CPUtime=4956.42 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1420477 0 0 0 495101 541 0 0 25 0 8 0 543906783 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=10689524 CPUtime=4940.11 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1472348 0 0 0 493454 557 0 0 25 0 8 0 543906783 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4322490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=10689524 CPUtime=4961.02 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1301391 0 0 0 495698 404 0 0 25 0 8 0 543906783 10946072576 2254940 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39645.1
Current children cumulated vsize (KiB) 10689524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.8 s]
/proc/loadavg: 8.11 8.08 8.00 9/246 16293
/proc/meminfo: memFree=20061072/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=10211812 CPUtime=40000.8 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) R 16125 16127 16009 0 -1 4202496 11209696 0 0 0 3996023 4054 0 0 25 0 8 0 543906782 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4332968 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 2552953 2193280 391 106 0 2547924 0
[pid=16127/tid=16128] ppid=16125 vsize=10211812 CPUtime=5001.75 cores=0-7
/proc/16127/task/16128/stat : 16128 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1408139 0 0 0 499627 548 0 0 25 0 8 0 543906782 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16127/tid=16129] ppid=16125 vsize=10211812 CPUtime=5004.47 cores=0-7
/proc/16127/task/16129/stat : 16129 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1460621 0 0 0 499954 493 0 0 25 0 8 0 543906782 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4321786 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16127/tid=16130] ppid=16125 vsize=10211812 CPUtime=5001.58 cores=0-7
/proc/16127/task/16130/stat : 16130 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1354352 0 0 0 499640 518 0 0 25 0 8 0 543906783 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16127/tid=16131] ppid=16125 vsize=10211812 CPUtime=5004.68 cores=0-7
/proc/16127/task/16131/stat : 16131 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1443964 0 0 0 499979 489 0 0 25 0 8 0 543906783 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16127/tid=16132] ppid=16125 vsize=10211812 CPUtime=5000.92 cores=0-7
/proc/16127/task/16132/stat : 16132 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1430175 0 0 0 499547 545 0 0 25 0 8 0 543906783 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4309405 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=10211812 CPUtime=4984.29 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1487339 0 0 0 497867 562 0 0 25 0 8 0 543906783 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16127/tid=16134] ppid=16125 vsize=10211812 CPUtime=5005.51 cores=0-7
/proc/16127/task/16134/stat : 16134 (strangenight2-m) R 16125 16127 16009 0 -1 4202560 1308444 0 0 0 500145 406 0 0 25 0 8 0 543906783 10456895488 2193280 33554432000 4194304 4627427 140736603441520 18446744073709551615 4322484 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 10211812

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

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

[startup+5007 s]
/proc/loadavg: 8.11 8.08 8.00 9/246 16293
/proc/meminfo: memFree=20061072/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=0 CPUtime=40001 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) Z 16125 16127 16009 0 -1 4203548 11209704 0 0 0 3996028 4073 0 0 25 0 2 0 543906782 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 0 0 0 0 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=0 CPUtime=4984.47 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4203588 1487341 0 0 0 497867 580 0 0 25 0 2 0 543906783 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) 40001
Current children cumulated vsize (KiB) 0

[startup+5007.21 s]
/proc/loadavg: 8.11 8.08 8.00 2/241 16294
/proc/meminfo: memFree=26037664/32950928 swapFree=67086616/67111528
[pid=16127] ppid=16125 vsize=0 CPUtime=40001.2 cores=0-7
/proc/16127/stat : 16127 (strangenight2-m) Z 16125 16127 16009 0 -1 4203548 11209704 0 0 0 3996028 4094 0 0 25 0 2 0 543906782 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16127/statm: 0 0 0 0 0 0 0
[pid=16127/tid=16133] ppid=16125 vsize=0 CPUtime=4984.68 cores=0-7
/proc/16127/task/16133/stat : 16133 (strangenight2-m) R 16125 16127 16009 0 -1 4203588 1487341 0 0 0 497867 601 0 0 25 0 2 0 543906783 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) 40001.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.23
CPU time (s): 40001.3
CPU user time (s): 39960.3
CPU system time (s): 40.9678
CPU usage (%): 798.869
Max. virtual memory (cumulated for all children) (KiB): 11541504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39960.3
system time used= 40.9678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11209704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 605964
involuntary context switches= 167940

runsolver used 10.3844 second user time and 26.076 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-02 09:58:17
IDJOB=3321091
IDBENCH=82363
IDSOLVER=1709
FILE ID=node148/3321091-1304323096
RUNJOBID= node148-1304322183-16023
PBS_JOBID= 13176778
Free space on /tmp= 73524 MiB

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

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=410225821

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28849836 kB
Buffers:        814112 kB
Cached:        1893440 kB
SwapCached:       3816 kB
Active:        1342172 kB
Inactive:      2369636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28849836 kB
SwapTotal:    67111528 kB
SwapFree:     67086616 kB
Dirty:           48896 kB
Writeback:           0 kB
AnonPages:     1003020 kB
Mapped:          20784 kB
Slab:           312044 kB
PageTables:      13476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 37809112 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= 73520 MiB
End job on node148 at 2011-05-02 11:21:46