Trace number 3321093

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.2 5005.96

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
MD5SUMe44b288003a3eaf34673a2c0fb8c6f3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1095.17
Satisfiable
(Un)Satisfiability was proved
Number of variables131484
Number of clauses2120376
Sum of the clauses size4841016
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22046240
Number of clauses of size 35760
Number of clauses of size 426640
Number of clauses of size 511520
Number of clauses of size over 529520

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3321093-1304323125.cnf'
0.00/0.02	c -- header says num vars:         131484
0.00/0.02	c -- header says num clauses:     2120376
9.55/1.93	c -- clauses added:            0 learnts,      2120376 normals,            0 xors
9.55/1.93	c -- vars added     131484
9.55/1.93	c Parsing time:  0.70 s
9.55/1.93	c  N st     0         0    131484     61722   1684996         0   3992465         0   no data   no data
14.21/2.50	c asymm  cl-useful: 550/1122/51648 lits-rem:24294 time: 0.54
94.02/12.52	c Flit:   262 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 10.02
94.02/12.57	c Cleaning up after failed var search:     0.04 s 
94.82/12.63	c Replacing      503 vars Replaced    29208 lits Time:     0.06 s 
95.62/12.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
96.42/12.82	c bin-w-bin subsume rem          734 bins  time:  0.10 s
98.01/13.08	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.26 s
119.58/15.75	c Subs w/ non-existent bins:      0 l-rem:    303 v-fix:     0 done:  29502 time:  2.67 s
121.18/15.94	c Removed useless bin:    4124  fixed:     0  props:  20.00M  time:  0.19 s
123.57/16.26	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.31 s
124.37/16.30	c Finding binary XORs  T:     0.04 s  found:     192
124.37/16.36	c Replacing      192 vars Replaced    15183 lits Time:     0.06 s 
125.21/16.43	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
125.21/16.43	c calculated reachability. Time: 0.00
125.21/16.45	c Calc default polars -  time:   0.02 s pos:    2561 undec:   52215 neg:   76708
125.21/16.45	c =========================================================================================
125.21/16.45	c types(t): F = full restart, N = normal restart
125.21/16.45	c types(t): S = simplification begin/end, E = solution found
125.21/16.45	c restart types(rt): st = static, dy = dynamic
125.21/16.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
125.21/16.45	c  B st     0         0     79276     46662   1051369         0   2532385         0   no data   no data
181.11/23.45	c  N dy    17      4036     79235     46662   1051460      3901   2532385   2962120     19.96     38.50
229.87/29.51	c  N dy    41      8042     78787     46662   1052225      7811   2532385   4938841     27.39     30.48
283.48/36.25	c  N dy    66     12163     78748     46662   1052280     11845   2532385   7342780     31.97     34.78
329.80/42.04	c  N dy    80     16323     78599     46662   1053056     15897   2532385   9409582     30.88     32.97
390.54/49.63	c  N dy    95     20465     78502     46662   1053707     10217   2532385   1591398     30.45     35.42
444.09/56.35	c  N dy   113     24516     78493     46662   1053759     14189   2532385   4275870     30.36     32.31
450.54/57.19	c  F st   118     25000     78446     46662   1054332     14664   2532385   4578009     30.54   no data
550.42/69.65	c  N dy   124     30000     78396     46215   1039399     19467   2496633  10204344     30.54   no data
550.42/69.65	c  S st   124     30000     78396     46215   1039399     19467   2496633  10204344     30.54   no data
557.61/70.51	c  S st   124     30500     78396     46215   1039413     19951   2496633  10326861     30.54   no data
557.61/70.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
696.75/87.97	c Flit:   475 Blit:   1386 bXBeca:    0 bXProp:  157 Bins: 516289 BRemL:      6 BRemN:    647 P: 200.0M T: 17.38
697.56/88.04	c Cleaning up after failed var search:     0.07 s 
699.91/88.33	c Replacing      158 vars Replaced    50900 lits Time:     0.28 s 
700.71/88.42	c blocked clauses removed:        0 vars:      0 tried:       76102 T: 0.04 s
701.51/88.57	c bin-w-bin subsume rem         5631 bins  time:  0.14 s
703.90/88.87	c subs with bin:       31  lits-rem:        13  v-fix:    0  time:  0.30 s
732.72/92.41	c Subs w/ non-existent bins:     11 l-rem:    485 v-fix:    28 done:  30945 time:  3.53 s
734.26/92.68	c Removed useless bin:   15496  fixed:     0  props:  20.00M  time:  0.27 s
738.27/93.10	c lits-rem:         0  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.42 s
758.30/95.61	c subs with bin:       13  lits-rem:      1136  v-fix:    0  time:  1.56 s
770.23/97.17	c lits-rem:      4613  cl-subs:      877  v-elim:      0  v-fix:    0  time:  1.52 s
775.03/97.72	c asymm  cl-useful: 13/701/45212 lits-rem:43 time: 0.55
775.03/97.76	c calculated reachability. Time: 0.00
775.03/97.76	c  N dy   124     30500     76072     45212   1422768     18588   2383570  10692013     30.54   no data
775.87/97.80	c Finding binary XORs  T:     0.04 s  found:     116
835.12/105.34	c  N dy   138     34536     76030     45212   1424085     22551   2383570  13000207     29.82     31.39
889.52/112.12	c  N dy   156     38806     76008     45212   1493852     26768   2383570  15196559     29.22     30.82
912.65/115.03	c Finding binary XORs  T:     0.05 s  found:      60
941.42/118.65	c  N dy   165     43491     75820     45093   1479180     16462   2373657   2530482     28.41     30.72
966.20/121.77	c  S st   174     45750     75807     45093   1480567     18693   2373657   3710242     28.24   no data
973.40/122.61	c  S st   174     46250     75806     45093   1480579     19178   2373657   3831332     28.24   no data
973.40/122.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1074.13/135.22	c Flit:   325 Blit:    319 bXBeca:    0 bXProp:   25 Bins: 418626 BRemL:   2793 BRemN:    329 P: 200.1M T: 12.51
1074.13/135.22	c Cleaning up after failed var search:     0.00 s 
1075.68/135.42	c Replacing      201 vars Replaced    30145 lits Time:     0.20 s 
1075.68/135.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1077.28/135.70	c bin-w-bin subsume rem        16098 bins  time:  0.21 s
1081.27/136.12	c subs with bin:        3  lits-rem:         9  v-fix:    0  time:  0.42 s
1112.44/140.01	c Subs w/ non-existent bins:      1 l-rem:    175 v-fix:     3 done:  31317 time:  3.89 s
1114.05/140.24	c Removed useless bin:    9629  fixed:     0  props:  20.01M  time:  0.23 s
1117.24/140.66	c lits-rem:         0  cl-subs:       12  v-elim:      6  v-fix:    0  time:  0.42 s
1132.44/142.58	c subs with bin:        8  lits-rem:       732  v-fix:    0  time:  1.73 s
1137.23/143.15	c lits-rem:      1038  cl-subs:      391  v-elim:      0  v-fix:    0  time:  0.55 s
1142.02/143.73	c asymm  cl-useful: 339/439/44820 lits-rem:4935 time: 0.57
1142.02/143.77	c calculated reachability. Time: 0.00
1142.02/143.77	c  N dy   174     46250     74944     44820   1819054     18658   2321996   4450358     28.24   no data
1142.82/143.82	c Finding binary XORs  T:     0.05 s  found:      42
1200.39/151.00	c  N dy   183     51157     74944     44820   1819091     23500   2321996   6947936     27.36     30.48
1216.37/153.06	c Finding binary XORs  T:     0.05 s  found:     110
1269.13/159.66	c  N dy   201     55677     74579     44579   1869231     27792   2306429   9501675     27.36     29.58
1357.64/170.78	c  N dy   221     60540     74579     44579   1875589     32604   2306429  13958429     27.16     28.89
1398.23/175.80	c Finding binary XORs  T:     0.05 s  found:      45
1414.22/177.86	c  N dy   234     64691     74331     44458   1869402     18513   2296800   2812446     26.90     39.89
1464.58/184.34	c Finding binary XORs  T:     0.05 s  found:      50
1464.58/184.36	c  N dy   247     69375     74104     44325   2180181     23050   2288492   5388322     26.60     11.52
1464.58/184.36	c  S st   247     69375     74104     44325   2180181     23050   2288492   5388322     26.60     11.52
1472.57/185.31	c  S st   247     69877     74104     44325   2180188     23543   2288492   5553283     26.60   no data
1472.57/185.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1574.05/198.04	c Flit:   115 Blit:     97 bXBeca:    0 bXProp:    9 Bins: 413477 BRemL:   7890 BRemN:    435 P: 200.0M T: 12.64
1574.05/198.04	c Cleaning up after failed var search:     0.00 s 
1575.60/198.29	c Replacing      256 vars Replaced    67405 lits Time:     0.24 s 
1576.40/198.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1579.60/198.70	c bin-w-bin subsume rem        27999 bins  time:  0.35 s
1583.60/199.23	c subs with bin:       14  lits-rem:         4  v-fix:    0  time:  0.52 s
1613.16/202.94	c Subs w/ non-existent bins:      2 l-rem:    279 v-fix:     7 done:  33110 time:  3.71 s
1616.36/203.30	c Removed useless bin:   39581  fixed:     0  props:  20.00M  time:  0.36 s
1619.55/203.76	c lits-rem:         0  cl-subs:       20  v-elim:     43  v-fix:    0  time:  0.45 s
1635.59/205.78	c subs with bin:        0  lits-rem:       110  v-fix:    0  time:  1.82 s
1641.15/206.44	c lits-rem:       714  cl-subs:      486  v-elim:      0  v-fix:    0  time:  0.63 s
1645.94/207.01	c asymm  cl-useful: 15/804/44282 lits-rem:151 time: 0.57
1645.94/207.07	c calculated reachability. Time: 0.00
1645.94/207.07	c  N dy   247     69877     73624     44282   2485907     22823   2197967   6135260     26.60   no data
1646.74/207.13	c Finding binary XORs  T:     0.06 s  found:      14
1720.29/216.34	c  N dy   265     74806     73623     44282   2485969     27667   2197967   9447755     26.26     27.69
1739.48/218.79	c Finding binary XORs  T:     0.06 s  found:      40
1824.15/229.33	c  N dy   273     83049     73508     44202   2583570     35730   2192832  13313928     25.02     30.28
1866.52/234.69	c  F st   278     87500     73507     44202   2587134     40132   2192832  14741011     24.49     18.65
1869.72/235.08	c Replacing       54 vars Replaced    39382 lits Time:     0.32 s 
1886.51/237.14	c  N st   281     88689     73454     44202   2586995     21114   2192602   4488775     24.49   no data
1914.49/240.60	c Finding binary XORs  T:     0.06 s  found:      20
2000.83/251.44	c  N dy   288     94693     73319     44147   2634373     27026   2187161  11589655     24.35     26.09
2076.76/260.96	c  N dy   311    100737     73310     44147   2634897     33003   2187161  14314879     24.12     26.31
2127.18/267.27	c  S st   328    104815     73301     44147   2635248     37035   2187161  16195116     24.07   no data
2135.13/268.23	c  S st   328    105315     73301     44147   2635256     37527   2187161  16367231     24.07   no data
2135.98/268.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
2230.26/280.15	c Flit:   125 Blit:     76 bXBeca:    0 bXProp:    4 Bins: 407985 BRemL:  10721 BRemN:    376 P: 200.1M T: 11.82
2230.26/280.15	c Cleaning up after failed var search:     0.00 s 
2233.49/280.51	c Replacing       25 vars Replaced    14272 lits Time:     0.35 s 
2233.49/280.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2236.65/280.97	c bin-w-bin subsume rem        24334 bins  time:  0.39 s
2241.49/281.60	c subs with bin:       32  lits-rem:       155  v-fix:    0  time:  0.63 s
2272.63/285.49	c Subs w/ non-existent bins:      2 l-rem:    253 v-fix:     0 done:  33506 time:  3.89 s
2275.02/285.79	c Removed useless bin:    9083  fixed:     0  props:  20.00M  time:  0.29 s
2279.01/286.26	c lits-rem:         2  cl-subs:        6  v-elim:      5  v-fix:    0  time:  0.48 s
2299.01/288.70	c subs with bin:        1  lits-rem:        87  v-fix:    0  time:  1.63 s
2318.19/291.15	c lits-rem:      2745  cl-subs:      992  v-elim:      0  v-fix:    0  time:  2.42 s
2322.98/291.71	c asymm  cl-useful: 2/352/44042 lits-rem:2 time: 0.56
2322.98/291.78	c calculated reachability. Time: 0.00
2322.98/291.78	c  N dy   328    105315     73071     44042   2979457     36449   2161247  16720988     24.07   no data
2323.78/291.84	c Finding binary XORs  T:     0.06 s  found:       8
2402.49/301.79	c  N dy   360    112069     72994     44042   2988312     43147   2161247  19671009     24.06     28.42
2429.67/305.19	c Finding binary XORs  T:     0.07 s  found:      24
2498.42/313.72	c  N dy   387    119861     72943     43965   3022239     28879   2156694   7912326     23.78     25.41
2588.77/325.06	c  N dy   409    127571     72928     43965   3027267     36500   2156694  10940962     23.45     24.77
2699.88/338.96	c  N dy   437    135808     72927     43965   3027669     44655   2156694  15574704     23.17     35.75
2854.18/358.27	c  N dy   449    147460     72925     43965   3027967     32894   2156694   9524264     22.51     24.11
2946.11/369.75	c Finding binary XORs  T:     0.07 s  found:      17
2975.70/373.43	c  N dy   484    156963     72884     43933   3382560     42295   2154565  14634397     22.48     24.09
2987.69/374.96	c  S st   490    157973     72884     43933   3382577     43281   2154565  15003467     22.47   no data
2995.69/375.90	c  S st   490    158474     72884     43933   3382590     43769   2154565  15113746     22.47   no data
2996.49/376.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
3091.61/387.95	c Flit:    42 Blit:     39 bXBeca:    0 bXProp:    0 Bins: 553287 BRemL:   6726 BRemN:   5740 P: 200.0M T: 11.94
3095.61/388.45	c Replacing       49 vars Replaced    39150 lits Time:     0.49 s 
3096.41/388.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3100.41/389.06	c bin-w-bin subsume rem        18563 bins  time:  0.53 s
3106.81/389.85	c subs with bin:       11  lits-rem:         8  v-fix:    0  time:  0.79 s
3144.38/394.57	c Subs w/ non-existent bins:      0 l-rem:     60 v-fix:     0 done:  31463 time:  4.72 s
3147.61/394.94	c Removed useless bin:   21584  fixed:     0  props:  20.01M  time:  0.37 s
3151.57/395.43	c lits-rem:         0  cl-subs:       18  v-elim:     48  v-fix:    0  time:  0.49 s
3169.96/397.73	c subs with bin:       19  lits-rem:       116  v-fix:    0  time:  1.65 s
3193.94/400.78	c lits-rem:      3929  cl-subs:     1052  v-elim:      0  v-fix:    0  time:  3.02 s
3198.74/401.39	c asymm  cl-useful: 0/363/43975 lits-rem:0 time: 0.61
3199.58/401.47	c calculated reachability. Time: 0.00
3199.58/401.48	c  N dy   490    158474     72706     43975   3866598     42546   2098043  15832548     22.47   no data
3200.38/401.55	c Finding binary XORs  T:     0.07 s  found:       1
3304.63/414.72	c Finding binary XORs  T:     0.07 s  found:      11
3332.56/418.28	c  N dy   524    168927     72673     43951   4015224     29625   2096554   8394236     22.20     23.73
3407.71/427.73	c Finding binary XORs  T:     0.08 s  found:       9
3477.26/436.41	c  N dy   554    180298     72638     43927   4176585     40893   2094793  13449102     21.92     23.25
3656.32/458.87	c  N dy   612    193922     72630     43927   4178797     30849   2094793   7811785     21.91     23.52
3756.25/471.39	c Finding binary XORs  T:     0.08 s  found:       9
3836.13/481.31	c  N dy   653    207013     72597     43906   4277253     43816   2092774  14957880     21.68     24.88
3839.38/481.71	c Finding binary XORs  T:     0.07 s  found:       1
4051.95/508.36	c  N dy   688    224371     72573     43902   4494881     36271   2092440   9752814     21.44     23.34
4219.03/529.21	c  S st   719    237712     72564     43902   4495859     49459   2092440  15721777     21.26     12.91
4226.28/530.19	c  S st   719    238216     72564     43902   4495862     49959   2092440  15811110     21.26   no data
4227.83/530.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4336.55/543.90	c Flit:    28 Blit:     29 bXBeca:    0 bXProp:    1 Bins: 311287 BRemL:  16800 BRemN:    182 P: 200.0M T: 13.59
4339.75/544.30	c Replacing       33 vars Replaced    50996 lits Time:     0.39 s 
4339.75/544.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4346.15/545.15	c bin-w-bin subsume rem        44028 bins  time:  0.77 s
4354.15/546.10	c subs with bin:       31  lits-rem:       382  v-fix:    0  time:  0.95 s
4388.51/550.46	c Subs w/ non-existent bins:      0 l-rem:     85 v-fix:     1 done:  32340 time:  4.36 s
4390.92/550.79	c Removed useless bin:    8664  fixed:     0  props:  20.00M  time:  0.33 s
4395.72/551.36	c lits-rem:         2  cl-subs:        6  v-elim:      6  v-fix:    0  time:  0.57 s
4413.30/553.56	c subs with bin:       21  lits-rem:       174  v-fix:    0  time:  1.66 s
4442.89/557.26	c lits-rem:      3091  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  3.66 s
4447.68/557.89	c asymm  cl-useful: 28/563/43855 lits-rem:395 time: 0.63
4448.48/557.99	c calculated reachability. Time: 0.00
4448.48/557.99	c  N dy   719    238216     72470     43855   4709111     48747   2071303  16093197     21.26   no data
4449.28/558.07	c Finding binary XORs  T:     0.08 s  found:       8
4670.33/585.71	c  N dy   778    253431     72469     43855   4712074     37778   2071303  10375418     21.33     52.86
4796.65/601.50	c Finding binary XORs  T:     0.08 s  found:      20
4875.00/611.36	c  N dy   825    269750     72440     43830   4816234     53952   2069570  17929387     21.14     23.33
5102.84/639.81	c  N dy   869    286983     72426     43830   4816830     44697   2069570  12259071     20.94     27.78
5331.48/668.40	c  N dy   934    305311     72426     43830   4817385     62875   2069570  19934941     20.77     21.97
5346.67/670.37	c  F st   941    306251     72426     43830   4817388     63810   2069570  20473227     20.79     18.56
5350.67/670.80	c Replacing       28 vars Replaced    31249 lits Time:     0.33 s 
5601.64/702.29	c  N dy   989    325241     72390     43823   4954804     55433   2069002  16160980     20.69     21.88
5603.24/702.46	c Finding binary XORs  T:     0.08 s  found:      34
5873.45/736.30	c  N dy  1041    346622     72336     43780   4926726     48014   2065963  10781802     20.48     22.48
6013.35/753.79	c  S st  1072    357326     72325     43780   4927213     58659   2065963  16062024     20.39     10.42
6022.15/754.83	c  S st  1072    357826     72325     43780   4927220     59151   2065963  16198817     20.39   no data
6022.95/754.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
6125.33/767.79	c Flit:    19 Blit:      1 bXBeca:    0 bXProp:    0 Bins: 192652 BRemL:   5816 BRemN:   2809 P: 200.1M T: 12.83
6128.47/768.17	c Replacing       35 vars Replaced    40835 lits Time:     0.38 s 
6129.27/768.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6134.92/768.92	c bin-w-bin subsume rem        14945 bins  time:  0.66 s
6142.91/769.92	c subs with bin:        8  lits-rem:        44  v-fix:    0  time:  1.01 s
6181.24/774.72	c Subs w/ non-existent bins:      0 l-rem:     92 v-fix:     0 done:  32436 time:  4.80 s
6183.64/775.05	c Removed useless bin:    8485  fixed:     0  props:  20.01M  time:  0.32 s
6187.68/775.56	c lits-rem:         0  cl-subs:       24  v-elim:     13  v-fix:    0  time:  0.51 s
6204.48/777.68	c subs with bin:       59  lits-rem:       237  v-fix:    0  time:  1.61 s
6227.61/780.53	c lits-rem:      2333  cl-subs:     1298  v-elim:      0  v-fix:    0  time:  2.83 s
6233.20/781.20	c asymm  cl-useful: 54/596/43775 lits-rem:575 time: 0.66
6234.00/781.31	c calculated reachability. Time: 0.00
6234.00/781.31	c  N dy  1072    357826     72256     43775   5069716     57455   2040842  16236738     20.39   no data
6234.80/781.40	c Finding binary XORs  T:     0.08 s  found:       6
6461.04/809.73	c Finding binary XORs  T:     0.08 s  found:       4
6507.28/815.57	c  N dy  1129    378521     72230     43762   5156885     48047   2040228  10090586     20.22     21.75
6590.43/825.95	c Finding binary XORs  T:     0.09 s  found:       6
6781.50/849.87	c  N dy  1187    398559     72191     43750   5272860     67906   2039033  19523967     20.10     21.34
6998.93/877.06	c Finding binary XORs  T:     0.09 s  found:       9
7065.28/885.34	c  N dy  1237    418742     72144     43728   5348308     57854   2037422  12896491     19.94     21.35
7353.09/921.36	c  N dy  1319    438767     72137     43728   5349001     77696   2037422  24051218     19.95     29.02
7659.26/959.69	c  N dy  1403    459435     72125     43728   5349598     66895   2037422  16882350     20.03     21.21
7957.44/996.98	c  N dy  1492    479463     72120     43728   5350192     86777   2037422  27581336     20.10     21.49
8254.81/1034.18	c  N dy  1563    500933     72118     43728   5350923     75772   2037422  18414473     20.05     23.12
8543.43/1070.24	c  N dy  1638    520997     72112     43728   5351513     62359   2037422  11273511     20.03     25.71
8735.27/1094.25	c  S st  1706    536744     72108     43728   5351838     78023   2037422  17178249     20.03   no data
8744.05/1095.32	c  S st  1706    537245     72108     43728   5351842     78520   2037422  17314696     20.03   no data
8744.85/1095.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
8846.37/1108.18	c Flit:     3 Blit:      3 bXBeca:    0 bXProp:    0 Bins: 406944 BRemL:  15194 BRemN:    942 P: 200.1M T: 12.73
8849.56/1108.56	c Replacing       25 vars Replaced    28550 lits Time:     0.38 s 
8850.36/1108.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8856.76/1109.40	c bin-w-bin subsume rem        11509 bins  time:  0.75 s
8865.56/1110.56	c subs with bin:       25  lits-rem:        36  v-fix:    0  time:  1.16 s
8902.34/1115.19	c Subs w/ non-existent bins:      2 l-rem:    113 v-fix:     2 done:  32945 time:  4.63 s
8905.53/1115.58	c Removed useless bin:   14429  fixed:     0  props:  20.00M  time:  0.39 s
8910.33/1116.18	c lits-rem:        10  cl-subs:       22  v-elim:     19  v-fix:    0  time:  0.60 s
8948.75/1120.93	c subs with bin:       30  lits-rem:       541  v-fix:    0  time:  4.17 s
8979.07/1124.73	c lits-rem:      3071  cl-subs:     1809  v-elim:      0  v-fix:    0  time:  3.77 s
8983.92/1125.36	c asymm  cl-useful: 39/546/43698 lits-rem:511 time: 0.63
8984.67/1125.49	c calculated reachability. Time: 0.00
8984.67/1125.49	c  N dy  1706    537245     72058     43684   5698451     76615   2004231  17914172     20.03   no data
8985.47/1125.58	c Finding binary XORs  T:     0.09 s  found:      14
9234.89/1156.74	c Finding binary XORs  T:     0.09 s  found:       8
9314.03/1166.67	c  N dy  1781    558157     72012     43661   5784665     97378   2002429  28364821     20.01     22.06
9630.62/1206.20	c  N dy  1852    578243     72010     43661   5785728     81920   2002429  20967369     19.98     36.27
9965.55/1248.11	c  N dy  1950    598747     72010     43661   5786216     67324   2002429  11598780     20.02     22.71
10251.76/1283.98	c  N dy  2014    618797     72007     43661   5786651     87251   2002429  20619534     19.93     24.77
10549.21/1321.15	c  N dy  2108    638928     72006     43661   5787114     70894   2002429  11782064     19.97     21.94
10828.95/1356.14	c  N dy  2161    658975     72006     43661   5787697     90788   2002429  19529102     19.91     21.18
11155.97/1397.02	c  N dy  2227    678977     72004     43661   5788090    110689   2002429  30847178     19.86    130.04
11251.06/1409.00	c Finding binary XORs  T:     0.09 s  found:      28
11410.99/1428.98	c Finding binary XORs  T:     0.09 s  found:      28
11490.89/1438.91	c  N dy  2283    698984     71881     43574   5922002     93242   1997057  23700056     19.84     21.37
11809.07/1478.70	c  N dy  2357    718986     71874     43574   5922476    113135   1997057  33713890     19.82     20.89
12122.48/1517.98	c  N dy  2457    739480     71872     43574   5922942     95188   1997057  20806269     19.85     21.60
12428.61/1556.23	c  N dy  2546    759489     71871     43574   5923356    115079   1997057  30002390     19.88     23.99
12741.98/1595.48	c  N dy  2639    779589     71871     43574   5923817     95934   1997057  19672133     19.96     22.75
13116.95/1642.37	c  N dy  2709    803157     71866     43574   5924270    119366   1997057  31926764     19.94     21.58
13160.92/1647.82	c  S st  2711    805869     71866     43574   5924413    122071   1997057  33131941     19.93     17.92
13169.72/1648.98	c  S st  2711    806372     71866     43574   5924420    122567   1997057  33242820     19.93   no data
13171.27/1649.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
13278.40/1662.58	c Flit:    11 Blit:      8 bXBeca:    0 bXProp:    2 Bins: 317357 BRemL:  23446 BRemN:   1032 P: 200.0M T: 13.44
13286.38/1663.52	c Replacing       80 vars Replaced   136926 lits Time:     0.93 s 
13287.19/1663.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13293.59/1664.46	c bin-w-bin subsume rem        17376 bins  time:  0.84 s
13303.99/1665.76	c subs with bin:       27  lits-rem:        53  v-fix:    0  time:  1.30 s
13339.96/1670.27	c Subs w/ non-existent bins:      4 l-rem:    124 v-fix:     0 done:  32424 time:  4.51 s
13343.15/1670.64	c Removed useless bin:    7158  fixed:     0  props:  20.01M  time:  0.37 s
13347.95/1671.28	c lits-rem:         2  cl-subs:       54  v-elim:     31  v-fix:    0  time:  0.64 s
13373.52/1674.47	c subs with bin:        4  lits-rem:        96  v-fix:    0  time:  1.69 s
13447.07/1683.62	c lits-rem:      3024  cl-subs:     3029  v-elim:      0  v-fix:    0  time:  9.11 s
13451.87/1684.27	c asymm  cl-useful: 4/211/43565 lits-rem:22 time: 0.66
13453.47/1684.41	c calculated reachability. Time: 0.00
13453.47/1684.41	c  N dy  2711    806372     71738     43564   6177991    116889   1978765  31102852     19.93   no data
13454.27/1684.51	c Finding binary XORs  T:     0.09 s  found:      16
13731.15/1719.26	c Finding binary XORs  T:     0.09 s  found:       3
13772.67/1724.46	c  N dy  2790    826871     71715     43557   6276932     97586   1978200  19881924     19.92     21.32
14093.23/1764.55	c  N dy  2887    846952     71713     43557   6277362    117571   1978200  30619978     19.98     31.45
14433.79/1807.17	c  N dy  2974    868165     71712     43557   6277827     97647   1978200  18275346     20.00     21.32
14781.55/1850.64	c  N dy  3081    888693     71711     43557   6278172    118055   1978200  32335813     20.05     21.32
15121.33/1893.12	c  N dy  3150    908953     71690     43557   6278738     96117   1978200  16709820     20.03     21.27
15452.25/1934.59	c  N dy  3241    929045     71660     43557   6311408    116113   1978200  27695212     20.06     27.75
15827.97/1981.53	c  N dy  3311    949377     71657     43557   6311790     93399   1978200  13092575     20.04     26.24
16143.74/2021.09	c  N dy  3390    969406     71657     43557   6312189    113325   1978200  23594827     20.05     21.31
16535.48/2070.08	c  N dy  3463    989478     71656     43557   6312565    133306   1978200  37288413     20.05     41.75
16771.31/2099.54	c Finding binary XORs  T:     0.10 s  found:      53
16879.22/2113.04	c  N dy  3552   1009863     71571     43459   6465633    109246   1971161  19588375     20.07     21.64
17216.54/2155.24	c  N dy  3619   1030856     71569     43459   6465983    130128   1971161  29638582     20.05     22.10
17545.09/2196.33	c  N dy  3671   1050898     71567     43459   6466535    104908   1971161  15700191     20.01     21.23
17890.51/2239.57	c  N dy  3742   1071222     71566     43459   6466879    125136   1971161  26839934     19.99     22.00
17901.65/2240.99	c  F st  3743   1071876     71566     43459   6466879    125788   1971161  27173427     19.99     18.15
17908.09/2241.74	c Replacing       72 vars Replaced   132076 lits Time:     0.62 s 
18032.01/2257.29	c Finding binary XORs  T:     0.10 s  found:      10
18339.78/2295.76	c  N dy  3783   1091781     71443     43431   6528883    145536   1969052  42712956     19.94     21.40
18676.28/2337.84	c  N dy  3843   1112153     71441     43431   6529240    119493   1969052  21050463     19.89     21.76
19067.20/2386.79	c  N dy  3935   1132661     71434     43431   6529592    139902   1969052  34284920     19.96     21.24
19483.70/2438.94	c  N dy  4029   1153933     71432     43431   6529989    113852   1969052  16802803     19.97     22.84
19828.27/2482.05	c  N dy  4103   1174103     71431     43431   6530302    133925   1969052  28066158     19.97     21.82
20092.07/2515.05	c Finding binary XORs  T:     0.10 s  found:      12
20237.60/2533.21	c  N dy  4175   1194169     71390     43405   6764757    153814   1967339  40262214     19.97     21.37
20538.93/2570.92	c  S st  4229   1209558     71382     43405   6765070    121083   1967339  21579140     19.97     19.67
20548.53/2572.12	c  S st  4229   1210060     71382     43405   6765072    121582   1967339  21662154     19.97   no data
20549.33/2572.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
20651.71/2585.03	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:    1 Bins: 469448 BRemL:   2527 BRemN:   2847 P: 200.1M T: 12.76
20655.67/2585.51	c Replacing       23 vars Replaced    22529 lits Time:     0.47 s 
20656.47/2585.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20666.05/2586.80	c bin-w-bin subsume rem        60218 bins  time:  1.19 s
20678.08/2588.32	c subs with bin:       57  lits-rem:       270  v-fix:    0  time:  1.52 s
20718.82/2593.42	c Subs w/ non-existent bins:      1 l-rem:    127 v-fix:     0 done:  33280 time:  5.10 s
20721.26/2593.80	c Removed useless bin:    6306  fixed:     0  props:  20.02M  time:  0.39 s
20726.81/2594.40	c lits-rem:         0  cl-subs:       42  v-elim:     26  v-fix:    0  time:  0.59 s
20745.20/2596.71	c subs with bin:        7  lits-rem:        29  v-fix:    0  time:  1.71 s
20781.18/2601.24	c lits-rem:      2999  cl-subs:     3070  v-elim:      0  v-fix:    0  time:  4.50 s
20785.97/2601.89	c asymm  cl-useful: 8/286/43362 lits-rem:46 time: 0.65
20787.57/2602.05	c calculated reachability. Time: 0.00
20787.57/2602.05	c  N dy  4229   1210060     71314     43360   7147691    116341   1946213  21065185     19.97   no data
20788.37/2602.15	c Finding binary XORs  T:     0.11 s  found:       9
21129.69/2644.90	c  N dy  4302   1230328     71282     43360   7155305    136551   1946213  31743473     19.96     21.14
21574.96/2700.67	c  N dy  4371   1254962     71280     43360   7155679    161077   1946213  45173665     19.90     21.10
21941.10/2746.47	c  N dy  4430   1275148     71278     43360   7155988    130420   1946213  25839515     19.90     21.21
22308.81/2792.49	c  N dy  4492   1295379     71278     43360   7156327    150575   1946213  35760354     19.90     21.25
22724.53/2844.45	c  N dy  4568   1317927     71278     43360   7156693    123035   1946213  19012920     19.88     20.97
22789.27/2852.57	c Finding binary XORs  T:     0.11 s  found:      23
23076.21/2888.40	c  N dy  4625   1337967     71240     43322   7237701    142876   1943443  28969768     19.83     26.79
23459.92/2936.49	c  N dy  4699   1357975     71239     43322   7238054    162812   1943443  40769684     19.84     54.35
23808.48/2980.05	c  N dy  4756   1378013     71239     43322   7238279    131893   1943443  23038626     19.82     21.71
24184.19/3027.09	c  N dy  4828   1398125     71238     43322   7238667    151929   1943443  35462347     19.80     21.10
24565.50/3074.74	c  N dy  4912   1418143     71237     43322   7238936    171877   1943443  46646031     19.81     20.87
24865.26/3112.28	c Finding binary XORs  T:     0.11 s  found:      15
24938.83/3121.50	c  N dy  4987   1438627     71197     43303   7327594    140331   1942006  25689201     19.83     22.91
25333.75/3170.81	c  N dy  5036   1459403     71193     43303   7329246    161030   1942006  36162555     19.78     21.69
25793.37/3228.33	c  N dy  5114   1481472     71192     43303   7329561    130046   1942006  18258347     19.77     20.96
26155.57/3273.69	c  N dy  5201   1501476     71191     43303   7329961    149962   1942006  29652137     19.78     34.46
26528.87/3320.34	c  N dy  5294   1521572     71191     43303   7330301    169983   1942006  41051047     19.79     21.10
26906.18/3367.52	c  N dy  5377   1541900     71191     43303   7330633    136326   1942006  18908630     19.79     20.85
27296.31/3416.31	c  N dy  5449   1562312     71181     43303   7330861    156666   1942006  31673302     19.78     21.43
27704.82/3467.40	c  N dy  5556   1582475     71181     43303   7331089    176769   1942006  45198079     19.83     21.57
27727.20/3470.22	c Finding binary XORs  T:     0.11 s  found:      14
28118.91/3519.25	c  N dy  5611   1603121     71170     43284   7419243    142358   1940925  21031254     19.81     21.24
28510.66/3568.26	c  N dy  5718   1623141     71170     43284   7419607    162275   1940925  34053868     19.86     20.91
28916.81/3619.02	c  N dy  5798   1643195     71170     43284   7419802    182265   1940925  46670418     19.86     26.56
29311.70/3668.43	c  N dy  5859   1663240     71169     43284   7420129    146223   1940925  20583350     19.85     21.02
29413.98/3681.26	c Finding binary XORs  T:     0.11 s  found:       7
29701.77/3717.25	c  N dy  5918   1683544     71139     43272   7524234    166395   1940120  31035321     19.82     21.17
30115.06/3768.95	c  N dy  5989   1703869     71128     43272   7537332    186656   1940120  42280229     19.82     20.96
30255.76/3786.53	c  S st  6009   1710065     71128     43272   7537398    192835   1940120  46306014     19.82   no data
30268.53/3788.18	c  S st  6009   1710566     71128     43272   7537408    193326   1940120  46406369     19.82   no data
30270.17/3788.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
30381.24/3802.29	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:    0 Bins: 288914 BRemL:   8972 BRemN:    122 P: 200.0M T: 13.89
30390.82/3803.47	c Replacing       68 vars Replaced   110458 lits Time:     1.17 s 
30391.62/3803.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30400.42/3804.64	c bin-w-bin subsume rem        21470 bins  time:  1.06 s
30414.00/3806.34	c subs with bin:       54  lits-rem:       134  v-fix:    0  time:  1.70 s
30452.38/3811.17	c Subs w/ non-existent bins:      1 l-rem:     84 v-fix:     0 done:  32718 time:  4.83 s
30456.38/3811.63	c Removed useless bin:   20666  fixed:     0  props:  20.00M  time:  0.46 s
30462.77/3812.40	c lits-rem:         2  cl-subs:       42  v-elim:     27  v-fix:    0  time:  0.77 s
30491.55/3816.07	c subs with bin:       29  lits-rem:        66  v-fix:    0  time:  1.70 s
30623.46/3832.53	c lits-rem:      3260  cl-subs:     4395  v-elim:      0  v-fix:    0  time: 16.43 s
30629.07/3833.23	c asymm  cl-useful: 6/439/43235 lits-rem:50 time: 0.70
30630.71/3833.40	c calculated reachability. Time: 0.00
30630.71/3833.41	c  N dy  6009   1710566     71029     43234   7767416    180983   1897004  40826172     19.82   no data
30631.51/3833.52	c Finding binary XORs  T:     0.11 s  found:       7
31039.18/3884.56	c  N dy  6077   1730768     70993     43234   7772623    147507   1897004  23990387     19.82     20.89
31394.16/3928.93	c  N dy  6141   1750793     70993     43234   7772901    167442   1897004  34318322     19.80     21.78
31789.82/3978.49	c  N dy  6222   1770801     70992     43234   7773140    187375   1897004  45908520     19.80     27.59
32215.92/4031.79	c  N dy  6273   1792350     70991     43234   7773432    150754   1897004  23173020     19.77     20.90
32643.64/4085.20	c  N dy  6351   1812366     70990     43234   7773682    170711   1897004  36718565     19.76     22.09
32781.09/4102.49	c Finding binary XORs  T:     0.11 s  found:      21
33082.48/4140.17	c  N dy  6437   1832402     70961     43196   7788171    190558   1893257  49476779     19.78     20.82
33667.67/4213.32	c Finding binary XORs  T:     0.11 s  found:      21
33697.25/4217.09	c  N dy  6500   1852628     70892     43158   7808327    151662   1890096  22731012     19.77     21.70
34072.17/4263.96	c  N dy  6580   1872705     70890     43158   7808871    171664   1890096  33988492     19.78     34.91
34503.07/4317.88	c  N dy  6616   1892805     70887     43158   7809150    191704   1890096  46812057     19.74     56.89
34914.03/4369.21	c  N dy  6677   1912973     70887     43158   7809372    151829   1890096  18635272     19.72     21.01
34991.53/4378.96	c Finding binary XORs  T:     0.11 s  found:       8
35298.52/4417.31	c  N dy  6742   1933051     70863     43143   7879850    171800   1888939  30353845     19.70     51.97
35689.42/4466.21	c  N dy  6798   1953059     70861     43143   7880082    191741   1888939  40950433     19.68     21.04
36098.70/4517.42	c  N dy  6884   1973079     70859     43143   7880374    211708   1888939  52853410     19.69     30.85
36534.40/4571.96	c  N dy  6952   1993178     70857     43143   7880679    170720   1888939  27853300     19.67     21.11
36982.05/4627.95	c  N dy  7014   2013908     70857     43143   7880930    191345   1888939  40920608     19.65     21.15
37439.32/4685.18	c  N dy  7087   2033920     70855     43143   7881227    211298   1888939  54067258     19.64     37.55
37827.84/4733.77	c  N dy  7151   2053963     70855     43143   7881486    169509   1888939  25046343     19.62     20.76
38261.11/4787.91	c  N dy  7258   2073979     70846     43143   7881828    189464   1888939  39751665     19.64     29.52
38740.74/4847.96	c  N dy  7336   2094589     70836     43143   7900262    210010   1888939  52542015     19.63     20.98
39200.41/4905.42	c  N dy  7432   2115242     70835     43143   7900521    167664   1888939  22307327     19.64     21.93
39609.77/4956.66	c  N dy  7498   2135331     70835     43143   7900731    187684   1888939  34661489     19.64     21.05
39772.80/4977.09	c Finding binary XORs  T:     0.12 s  found:      17

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-3321093-1304323125/watcher-3321093-1304323125 -o /tmp/evaluation-result-3321093-1304323125/solver-3321093-1304323125 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321093-1304323125.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: 6.90 7.37 4.96 2/182 25118
/proc/meminfo: memFree=26857756/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 47269192775592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25118/statm: 23047 352 299 106 0 18018 0
[pid=25118/tid=25119] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 47269192775602 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 47269192775602 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 47269192775602 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 47269192775602 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=92188 CPUtime=0 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622543304 94400512 352 33554432000 4194304 4627427 140737380275504 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0780861 s]
/proc/loadavg: 6.90 7.37 4.96 2/182 25118
/proc/meminfo: memFree=26857756/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=517656 CPUtime=0.48 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 17581 0 0 0 42 6 0 0 18 0 8 0 622543304 530079744 13671 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 129414 13750 341 106 0 124385 0
[pid=25118/tid=25119] ppid=25116 vsize=517656 CPUtime=0.06 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 2332 0 0 0 6 0 0 0 18 0 8 0 622543304 530079744 13762 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=517656 CPUtime=0.04 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 1952 0 0 0 4 0 0 0 18 0 8 0 622543304 530079744 13778 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=517656 CPUtime=0.05 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 1946 0 0 0 5 0 0 0 18 0 8 0 622543304 530079744 13788 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=517656 CPUtime=0.05 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 2587 0 0 0 5 0 0 0 18 0 8 0 622543304 530079744 13939 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=517656 CPUtime=0.05 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 2248 0 0 0 5 0 0 0 18 0 8 0 622543304 530079744 13939 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=517656 CPUtime=0.04 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 1937 0 0 0 3 1 0 0 18 0 8 0 622543304 530079744 13939 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=517656 CPUtime=0.06 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 2334 0 0 0 6 0 0 0 18 0 8 0 622543304 530079744 13939 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 517656

[startup+0.103082 s]
/proc/loadavg: 6.90 7.37 4.96 2/182 25118
/proc/meminfo: memFree=26857756/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=588552 CPUtime=0.64 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 20384 0 0 0 54 10 0 0 17 0 8 0 622543304 602677248 16459 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 147171 16571 341 106 0 142142 0
[pid=25118/tid=25119] ppid=25116 vsize=588684 CPUtime=0.08 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 2612 0 0 0 7 1 0 0 17 0 8 0 622543304 602812416 16671 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=588684 CPUtime=0.07 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 2339 0 0 0 6 1 0 0 18 0 8 0 622543304 602812416 16688 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=588684 CPUtime=0.08 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 2403 0 0 0 7 1 0 0 17 0 8 0 622543304 602812416 16698 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=588684 CPUtime=0.08 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 2866 0 0 0 7 1 0 0 17 0 8 0 622543304 602812416 16854 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=588684 CPUtime=0.08 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 2498 0 0 0 6 2 0 0 17 0 8 0 622543304 602812416 16949 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=588828 CPUtime=0.06 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 2367 0 0 0 5 1 0 0 17 0 8 0 622543304 602959872 16961 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=588828 CPUtime=0.08 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 2778 0 0 0 7 1 0 0 17 0 8 0 622543304 602959872 16961 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 588552

[startup+0.303034 s]
/proc/loadavg: 6.90 7.37 4.96 2/182 25118
/proc/meminfo: memFree=26857756/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=618692 CPUtime=1.74 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 41039 0 0 0 123 51 0 0 17 0 8 0 622543304 633540608 32877 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 154673 32880 341 106 0 149644 0
[pid=25118/tid=25119] ppid=25116 vsize=618692 CPUtime=0.21 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 5309 0 0 0 16 5 0 0 17 0 8 0 622543304 633540608 32883 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=618692 CPUtime=0.2 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 5102 0 0 0 15 5 0 0 17 0 8 0 622543304 633540608 32888 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=618692 CPUtime=0.21 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 4854 0 0 0 16 5 0 0 17 0 8 0 622543304 633540608 32892 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=618692 CPUtime=0.21 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 5419 0 0 0 16 5 0 0 17 0 8 0 622543304 633540608 32894 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=618692 CPUtime=0.2 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 5032 0 0 0 13 7 0 0 17 0 8 0 622543304 633540608 32898 33554432000 4194304 4627427 140737380275504 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=618692 CPUtime=0.2 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 4755 0 0 0 14 6 0 0 17 0 8 0 622543304 633540608 32902 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=618692 CPUtime=0.21 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 5371 0 0 0 15 6 0 0 17 0 8 0 622543304 633540608 32910 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 618692

[startup+0.700953 s]
/proc/loadavg: 6.90 7.37 4.96 2/182 25118
/proc/meminfo: memFree=26857756/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=646400 CPUtime=3.73 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 74502 0 0 0 241 132 0 0 16 0 8 0 622543304 661913600 66110 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 161600 66110 341 106 0 156571 0
[pid=25118/tid=25119] ppid=25116 vsize=646400 CPUtime=0.46 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 9687 0 0 0 31 15 0 0 16 0 8 0 622543304 661913600 66110 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=646400 CPUtime=0.46 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 9681 0 0 0 30 16 0 0 16 0 8 0 622543304 661913600 66110 33554432000 4194304 4627427 140737380275504 18446744073709551615 4302967 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=646400 CPUtime=0.45 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 9073 0 0 0 30 15 0 0 16 0 8 0 622543304 661913600 66111 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=646400 CPUtime=0.46 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 9683 0 0 0 31 15 0 0 16 0 8 0 622543304 661913600 66112 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=646400 CPUtime=0.44 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 9195 0 0 0 28 16 0 0 16 0 8 0 622543304 661913600 66112 33554432000 4194304 4627427 140737380275504 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=646400 CPUtime=0.46 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 8509 0 0 0 28 18 0 0 16 0 8 0 622543304 661913600 66112 33554432000 4194304 4627427 140737380275504 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=646400 CPUtime=0.45 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 9680 0 0 0 31 14 0 0 16 0 8 0 622543304 661913600 66112 33554432000 4194304 4627427 140737380275504 18446744073709551615 4530628 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 646400

[startup+1.5008 s]
/proc/loadavg: 6.90 7.37 4.96 4/190 25126
/proc/meminfo: memFree=26509500/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=878956 CPUtime=7.62 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 142810 0 0 0 460 302 0 0 16 0 8 0 622543304 900050944 125716 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895533751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 219739 125717 341 106 0 214710 0
[pid=25118/tid=25119] ppid=25116 vsize=878956 CPUtime=0.96 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 18163 0 0 0 58 38 0 0 15 0 8 0 622543304 900050944 125717 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=878956 CPUtime=0.92 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 18767 0 0 0 57 35 0 0 16 0 8 0 622543304 900050944 125718 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=878956 CPUtime=0.94 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) S 25116 25118 24761 0 -1 4202560 17653 0 0 0 55 39 0 0 15 0 8 0 622543304 900050944 125718 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 18446604453914724544 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=878956 CPUtime=0.97 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 17986 0 0 0 60 37 0 0 15 0 8 0 622543304 900050944 125720 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=878956 CPUtime=0.92 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 17485 0 0 0 54 38 0 0 15 0 8 0 622543304 900050944 125721 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=878956 CPUtime=0.93 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 17030 0 0 0 54 39 0 0 15 0 8 0 622543304 900050944 125722 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=878956 CPUtime=0.93 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 18186 0 0 0 62 31 0 0 16 0 8 0 622543304 900050944 125723 33554432000 4194304 4627427 140737380275504 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 878956

[startup+3.1005 s]
/proc/loadavg: 6.90 7.37 4.96 9/190 25126
/proc/meminfo: memFree=26224308/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=1098580 CPUtime=19 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 199059 0 0 0 1510 390 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 274645 165028 367 106 0 269616 0
[pid=25118/tid=25119] ppid=25116 vsize=1098580 CPUtime=2.39 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 25280 0 0 0 190 49 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=1098580 CPUtime=2.36 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 25556 0 0 0 190 46 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=1098580 CPUtime=2.33 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 24354 0 0 0 183 50 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=1098580 CPUtime=2.38 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 24692 0 0 0 191 47 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=1098580 CPUtime=2.33 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 24568 0 0 0 183 50 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=1098580 CPUtime=2.38 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 23800 0 0 0 186 52 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=1098580 CPUtime=2.39 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 25870 0 0 0 197 42 0 0 17 0 8 0 622543304 1124945920 165028 33554432000 4194304 4627427 140737380275504 18446744073709551615 4305865 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19
Current children cumulated vsize (KiB) 1098580

[startup+6.30089 s]
/proc/loadavg: 7.14 7.41 4.99 9/190 25127
/proc/meminfo: memFree=26192232/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=1131984 CPUtime=44.59 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 201531 0 0 0 4068 391 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25118/statm: 282996 167035 367 106 0 277967 0
[pid=25118/tid=25119] ppid=25116 vsize=1131984 CPUtime=5.59 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 25391 0 0 0 510 49 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=1131984 CPUtime=5.54 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 25666 0 0 0 508 46 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=1131984 CPUtime=5.53 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 24378 0 0 0 503 50 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=1131984 CPUtime=5.58 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 24802 0 0 0 511 47 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=1131984 CPUtime=5.54 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 24589 0 0 0 504 50 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=1131984 CPUtime=5.58 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 23910 0 0 0 506 52 0 0 23 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4297720 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=1131984 CPUtime=5.58 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 27837 0 0 0 516 42 0 0 22 0 8 0 622543304 1159151616 167035 33554432000 4194304 4627427 140737380275504 18446744073709551615 4229264 0 0 4096 2 0 0 0 -1 0 0 0 0

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

Current children cumulated vsize (KiB) 10372616

[startup+4722.31 s]
/proc/loadavg: 8.06 8.03 7.99 9/190 25273
/proc/meminfo: memFree=18139088/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=10142112 CPUtime=37736.8 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 10892282 0 0 0 3769737 3938 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 2535528 2176031 391 106 0 2530499 0
[pid=25118/tid=25119] ppid=25116 vsize=10142112 CPUtime=4719.42 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1438295 0 0 0 471454 488 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=10142112 CPUtime=4711.45 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1358079 0 0 0 470621 524 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4310580 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=10142112 CPUtime=4720.9 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1274698 0 0 0 471637 453 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4321883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=10142112 CPUtime=4712.85 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1341466 0 0 0 470764 521 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=10142112 CPUtime=4719.98 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1414814 0 0 0 471525 473 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=10142112 CPUtime=4714.02 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1409834 0 0 0 470856 546 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4330019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=10142112 CPUtime=4721.36 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1330913 0 0 0 471704 432 0 0 25 0 8 0 622543304 10385522688 2176031 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37736.8
Current children cumulated vsize (KiB) 10142112

[startup+4782.3 s]
/proc/loadavg: 8.08 8.04 8.00 9/190 25275
/proc/meminfo: memFree=17916824/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=10959072 CPUtime=38216.4 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 10997073 0 0 0 3817660 3976 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4321835 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 2739768 2232309 391 106 0 2734739 0
[pid=25118/tid=25119] ppid=25116 vsize=10959072 CPUtime=4779.41 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1452575 0 0 0 477448 493 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=10959072 CPUtime=4771.44 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1371137 0 0 0 476614 530 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=10959072 CPUtime=4780.9 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1285584 0 0 0 477632 458 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4324107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=10959072 CPUtime=4772.85 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1356536 0 0 0 476759 526 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=10959072 CPUtime=4779.97 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1420817 0 0 0 477522 475 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4428116 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=10959072 CPUtime=4773.7 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1428903 0 0 0 476817 553 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=10959072 CPUtime=4781.36 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1341240 0 0 0 477700 436 0 0 25 0 8 0 622543304 11222089728 2232309 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38216.4
Current children cumulated vsize (KiB) 10959072

[startup+4842.3 s]
/proc/loadavg: 8.03 8.03 8.00 9/190 25277
/proc/meminfo: memFree=18183856/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=10366784 CPUtime=38696 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 11129410 0 0 0 3865574 4023 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 2591696 2164989 391 106 0 2586667 0
[pid=25118/tid=25119] ppid=25116 vsize=10366784 CPUtime=4839.39 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1471437 0 0 0 483441 498 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=10366784 CPUtime=4831.43 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1384768 0 0 0 482607 536 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=10366784 CPUtime=4840.89 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1304077 0 0 0 483625 464 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=10366784 CPUtime=4832.84 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1375611 0 0 0 482752 532 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=10366784 CPUtime=4839.97 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1439112 0 0 0 483515 482 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=10366784 CPUtime=4833.37 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1442748 0 0 0 482778 559 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=10366784 CPUtime=4841.36 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1358427 0 0 0 483694 442 0 0 25 0 8 0 622543304 10615586816 2164989 33554432000 4194304 4627427 140737380275504 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38696
Current children cumulated vsize (KiB) 10366784

[startup+4902.3 s]
/proc/loadavg: 8.01 8.02 8.00 9/190 25278
/proc/meminfo: memFree=17999540/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=10344564 CPUtime=39175.6 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 11254023 0 0 0 3913496 4066 0 0 25 0 8 0 622543304 10592833536 2212367 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 2586141 2212367 391 106 0 2581112 0
[pid=25118/tid=25119] ppid=25116 vsize=10344564 CPUtime=4899.39 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1486851 0 0 0 489436 503 0 0 25 0 8 0 622543304 10592833536 2212367 33554432000 4194304 4627427 140737380275504 18446744073709551615 4321435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=10344564 CPUtime=4891.42 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1403908 0 0 0 488599 543 0 0 25 0 8 0 622543304 10592833536 2212367 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=10344564 CPUtime=4900.89 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1317167 0 0 0 489620 469 0 0 25 0 8 0 622543304 10592833536 2212367 33554432000 4194304 4627427 140737380275504 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=10344564 CPUtime=4892.83 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1390135 0 0 0 488745 538 0 0 25 0 8 0 622543304 10592833536 2212367 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=10344564 CPUtime=4899.97 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1453501 0 0 0 489510 487 0 0 25 0 8 0 622543304 10592833536 2212368 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=10344564 CPUtime=4893.04 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1457159 0 0 0 488740 564 0 0 25 0 8 0 622543304 10592833536 2212368 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=10344564 CPUtime=4901.35 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1373969 0 0 0 489688 447 0 0 25 0 8 0 622543304 10592833536 2212368 33554432000 4194304 4627427 140737380275504 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39175.6
Current children cumulated vsize (KiB) 10344564

[startup+4962.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/190 25280
/proc/meminfo: memFree=17592148/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=10951332 CPUtime=39655.3 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 11395941 0 0 0 3961420 4110 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 2737833 2312722 391 106 0 2732804 0
[pid=25118/tid=25119] ppid=25116 vsize=10951332 CPUtime=4959.39 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1527265 0 0 0 495428 511 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4428093 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=10951332 CPUtime=4951.43 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1419321 0 0 0 494595 548 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=10951332 CPUtime=4960.89 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1330705 0 0 0 495615 474 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=10951332 CPUtime=4952.84 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1405307 0 0 0 494740 544 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=10951332 CPUtime=4959.97 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1467028 0 0 0 495506 491 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=10951332 CPUtime=4952.71 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1473077 0 0 0 494703 568 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=10951332 CPUtime=4961.35 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1387415 0 0 0 495683 452 0 0 25 0 8 0 622543304 11214163968 2312722 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39655.3
Current children cumulated vsize (KiB) 10951332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5005.5 s]
/proc/loadavg: 8.00 8.01 8.00 9/190 25281
/proc/meminfo: memFree=17512076/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=11556632 CPUtime=40000.7 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) R 25116 25118 24761 0 -1 4202496 11470966 0 0 0 3995931 4139 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 2889158 2332284 391 106 0 2884129 0
[pid=25118/tid=25119] ppid=25116 vsize=11556632 CPUtime=5002.59 cores=0-7
/proc/25118/task/25119/stat : 25119 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1536050 0 0 0 499745 514 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25118/tid=25120] ppid=25116 vsize=11556632 CPUtime=4994.63 cores=0-7
/proc/25118/task/25120/stat : 25120 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1427965 0 0 0 498911 552 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25118/tid=25121] ppid=25116 vsize=11556632 CPUtime=5004.1 cores=0-7
/proc/25118/task/25121/stat : 25121 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1345756 0 0 0 499931 479 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25118/tid=25122] ppid=25116 vsize=11556632 CPUtime=4996.04 cores=0-7
/proc/25118/task/25122/stat : 25122 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1414997 0 0 0 499056 548 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25118/tid=25123] ppid=25116 vsize=11556632 CPUtime=5003.17 cores=0-7
/proc/25118/task/25123/stat : 25123 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1477379 0 0 0 499822 495 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=11556632 CPUtime=4995.68 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1479749 0 0 0 498997 571 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25118/tid=25125] ppid=25116 vsize=11556632 CPUtime=5004.56 cores=0-7
/proc/25118/task/25125/stat : 25125 (strangenight2-m) R 25116 25118 24761 0 -1 4202560 1392696 0 0 0 500001 455 0 0 25 0 8 0 622543304 11833991168 2332284 33554432000 4194304 4627427 140737380275504 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 11556632

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

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

[startup+5005.8 s]
/proc/loadavg: 8.00 8.01 8.00 9/190 25281
/proc/meminfo: memFree=17512076/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=0 CPUtime=40001 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) Z 25116 25118 24761 0 -1 4203548 11470971 0 0 0 3995936 4167 0 0 25 0 2 0 622543304 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 0 0 0 0 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=0 CPUtime=4995.97 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4203588 1479749 0 0 0 498998 599 0 0 25 0 2 0 622543304 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0

[startup+5005.9 s]
/proc/loadavg: 8.00 8.01 8.00 9/190 25281
/proc/meminfo: memFree=17512076/32950928 swapFree=67111356/67111528
[pid=25118] ppid=25116 vsize=0 CPUtime=40001.1 cores=0-7
/proc/25118/stat : 25118 (strangenight2-m) Z 25116 25118 24761 0 -1 4203548 11470971 0 0 0 3995936 4177 0 0 25 0 2 0 622543304 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25118/statm: 0 0 0 0 0 0 0
[pid=25118/tid=25124] ppid=25116 vsize=0 CPUtime=4996.07 cores=0-7
/proc/25118/task/25124/stat : 25124 (strangenight2-m) R 25116 25118 24761 0 -1 4203588 1479749 0 0 0 498998 609 0 0 25 0 2 0 622543304 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5005.96
CPU time (s): 40001.2
CPU user time (s): 39959.4
CPU system time (s): 41.8396
CPU usage (%): 799.071
Max. virtual memory (cumulated for all children) (KiB): 11556632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39959.4
system time used= 41.8396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11470971
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= 572861
involuntary context switches= 166940

runsolver used 7.67383 second user time and 19.662 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-02 09:58:46
IDJOB=3321093
IDBENCH=82366
IDSOLVER=1709
FILE ID=node114/3321093-1304323125
RUNJOBID= node114-1304322188-24775
PBS_JOBID= 13176812
Free space on /tmp= 73804 MiB

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

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

MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e
RANDOM SEED=797047938

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26857912 kB
Buffers:       1137780 kB
Cached:        2006940 kB
SwapCached:        168 kB
Active:        2767544 kB
Inactive:      2807780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26857912 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           42476 kB
Writeback:           0 kB
AnonPages:     2430236 kB
Mapped:          18884 kB
Slab:           447300 kB
PageTables:       9680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2877304 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= 73800 MiB
End job on node114 at 2011-05-02 11:22:14