Trace number 3394168

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.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-3394168-1306092205.cnf'
0.00/0.02	c -- header says num vars:         153284
0.00/0.02	c -- header says num clauses:     2473656
10.71/1.88	c -- clauses added:            0 learnts,      2473656 normals,            0 xors
10.71/1.88	c -- vars added     153284
10.71/1.88	c Parsing time:  0.79 s
10.71/1.88	c  N st     0         0    153284     73962   2026036         0   4799185         0   no data   no data
14.43/2.39	c asymm  cl-useful: 683/1183/61968 lits-rem:28657 time: 0.47
84.68/11.14	c Flit:   262 Blit:   9074 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  8.75
84.68/11.19	c Cleaning up after failed var search:     0.05 s 
85.33/11.27	c Replacing      503 vars Replaced    29207 lits Time:     0.08 s 
86.93/11.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.73/11.50	c bin-w-bin subsume rem          734 bins  time:  0.10 s
90.12/11.83	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.32 s
114.03/14.81	c Subs w/ non-existent bins:      0 l-rem:    345 v-fix:     0 done:  28605 time:  2.96 s
115.63/15.00	c Removed useless bin:    3998  fixed:     0  props:  20.02M  time:  0.19 s
118.02/15.39	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.38 s
118.89/15.43	c Finding binary XORs  T:     0.05 s  found:     192
118.89/15.51	c Replacing      192 vars Replaced    15185 lits Time:     0.07 s 
119.73/15.58	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
119.73/15.58	c calculated reachability. Time: 0.00
120.40/15.61	c Calc default polars -  time:   0.03 s pos:    3041 undec:   56053 neg:   94190
120.40/15.61	c =========================================================================================
120.40/15.61	c types(t): F = full restart, N = normal restart
120.40/15.61	c types(t): S = simplification begin/end, E = solution found
120.40/15.61	c restart types(rt): st = static, dy = dynamic
120.40/15.61	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
120.40/15.61	c  B st     0         0     97237     56981   1295586         0   3120648         0   no data   no data
190.00/24.37	c  N dy    12      4462     97215     56981   1295650      4369   3120648   3655946     38.21     40.79
245.76/31.37	c  N dy    29      8546     96701     56981   1296674      8375   3120648   6452854     32.52     35.64
298.44/37.97	c  N dy    53     12662     96676     56981   1297266     12396   3120648   8966315     33.08     35.53
343.94/43.60	c  N dy    66     16670     96576     56981   1297324     16324   3120648  10949434     30.65     32.36
397.44/50.33	c  N dy    85     20745     96497     56981   1297815     10535   3120648   1397116     30.28     33.57
444.67/56.27	c  F st   104     25000     96463     56981   1298323     14723   3120648   3697732     30.60     28.09
446.94/56.53	c  N st   104     25000     96463     56535   1283046     14691   3084262   3681417     30.60     28.09
517.20/65.38	c  N dy   110     30000     96337     56535   1283110     19599   3084262   7334862     30.60   no data
517.20/65.39	c  S st   110     30000     96337     56535   1283110     19599   3084262   7334862     30.60   no data
525.19/66.33	c  S st   110     30501     96325     56535   1283124     20079   3084262   7493880     30.60   no data
525.99/66.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
649.73/81.94	c Flit:   381 Blit:   1156 bXBeca:    0 bXProp:  117 Bins: 656813 BRemL:     80 BRemN:    930 P: 200.0M T: 15.53
650.54/82.02	c Cleaning up after failed var search:     0.07 s 
652.14/82.28	c Replacing      117 vars Replaced    47495 lits Time:     0.26 s 
653.74/82.41	c blocked clauses removed:        0 vars:      0 tried:       94441 T: 0.05 s
654.61/82.55	c bin-w-bin subsume rem         5795 bins  time:  0.14 s
657.72/82.94	c subs with bin:       30  lits-rem:        13  v-fix:    0  time:  0.39 s
688.86/86.87	c Subs w/ non-existent bins:      4 l-rem:    424 v-fix:    57 done:  29835 time:  3.93 s
691.24/87.13	c Removed useless bin:   18835  fixed:     0  props:  20.02M  time:  0.26 s
694.45/87.59	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.46 s
712.80/89.89	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  1.52 s
723.98/91.22	c lits-rem:      2183  cl-subs:      766  v-elim:      0  v-fix:    0  time:  1.27 s
727.96/91.73	c asymm  cl-useful: 26/921/55711 lits-rem:67 time: 0.51
727.96/91.77	c calculated reachability. Time: 0.00
727.96/91.78	c  N dy   110     30501     94383     55711   1809456     18754   2976360   8031858     30.60   no data
742.41/93.58	c Finding binary XORs  T:     0.06 s  found:     121
781.04/98.79	c  N dy   126     34506     94334     55685   1807835     22675   2974437   9856624     29.74     31.62
842.87/106.76	c  N dy   141     38956     94275     55685   1814166     27066   2974437  12720169     29.62     32.84
893.65/113.12	c  N dy   156     43134     94261     55685   1814200     16269   2974437   2899685     28.84     31.31
914.40/115.70	c Finding binary XORs  T:     0.06 s  found:      97
925.58/117.15	c  S st   166     45752     93810     55426   1829985     18720   2955184   4170208     28.41     28.65
932.77/118.02	c  S st   166     46253     93810     55426   1829996     19209   2955184   4282089     28.41   no data
932.77/118.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1034.15/130.78	c Flit:   204 Blit:    336 bXBeca:    0 bXProp:   21 Bins: 708546 BRemL:  20371 BRemN:   3121 P: 200.1M T: 12.68
1034.15/130.79	c Cleaning up after failed var search:     0.00 s 
1036.67/131.03	c Replacing      240 vars Replaced    56871 lits Time:     0.24 s 
1037.33/131.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1038.94/131.34	c bin-w-bin subsume rem        16909 bins  time:  0.22 s
1042.93/131.83	c subs with bin:        5  lits-rem:         7  v-fix:    0  time:  0.50 s
1075.67/135.96	c Subs w/ non-existent bins:      4 l-rem:    487 v-fix:    17 done:  29801 time:  4.12 s
1078.06/136.25	c Removed useless bin:   21014  fixed:     0  props:  20.00M  time:  0.29 s
1082.04/136.76	c lits-rem:         0  cl-subs:       26  v-elim:     13  v-fix:    0  time:  0.51 s
1095.62/138.41	c subs with bin:       19  lits-rem:       579  v-fix:    0  time:  1.43 s
1099.61/138.98	c lits-rem:       714  cl-subs:      407  v-elim:      0  v-fix:    0  time:  0.53 s
1104.41/139.54	c asymm  cl-useful: 87/449/55142 lits-rem:1261 time: 0.56
1105.21/139.60	c calculated reachability. Time: 0.00
1105.21/139.60	c  N dy   166     46253     92999     55142   2399826     18627   2880766   5359653     28.41   no data
1105.21/139.66	c Finding binary XORs  T:     0.06 s  found:      56
1175.67/148.54	c  N dy   180     50717     92997     55142   2464175     23024   2880766   8770425     27.92     30.08
1224.27/154.61	c  N dy   187     55048     92595     55142   2464230     27268   2880766  10744087     27.02     28.54
1264.17/159.76	c Finding binary XORs  T:     0.07 s  found:      83
1288.25/162.87	c  N dy   204     59657     92587     54939   2379885     31744   2865374  13022640     27.18     29.16
1336.34/169.17	c  N dy   223     63660     92349     54939   2445371     35674   2865374  14936929     27.16     29.32
1393.81/176.31	c  N dy   233     69256     92349     54939   2445401     23123   2865374   4986959     26.45     29.02
1394.61/176.44	c Finding binary XORs  T:     0.06 s  found:      67
1396.21/176.61	c  S st   234     69379     92347     54804   2406310     23149   2855816   4980759     26.43     16.70
1402.59/177.46	c  S st   234     69879     92347     54804   2406329     23629   2855816   5061150     26.43   no data
1403.39/177.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1492.01/188.67	c Flit:   108 Blit:     61 bXBeca:    0 bXProp:    4 Bins: 285804 BRemL:   5323 BRemN:    209 P: 200.0M T: 10.96
1492.01/188.68	c Cleaning up after failed var search:     0.00 s 
1494.42/188.93	c Replacing      211 vars Replaced    69157 lits Time:     0.25 s 
1495.22/189.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1496.89/189.30	c bin-w-bin subsume rem        38577 bins  time:  0.28 s
1501.59/189.85	c subs with bin:       31  lits-rem:         5  v-fix:    0  time:  0.55 s
1534.33/193.92	c Subs w/ non-existent bins:      1 l-rem:    168 v-fix:     2 done:  29712 time:  4.00 s
1536.73/194.25	c Removed useless bin:   27158  fixed:     0  props:  20.02M  time:  0.33 s
1540.80/194.79	c lits-rem:         1  cl-subs:       26  v-elim:     44  v-fix:    0  time:  0.52 s
1554.29/196.49	c subs with bin:        2  lits-rem:        37  v-fix:    0  time:  1.49 s
1559.22/197.09	c lits-rem:       687  cl-subs:      472  v-elim:      0  v-fix:    0  time:  0.55 s
1563.88/197.68	c asymm  cl-useful: 363/412/54764 lits-rem:5100 time: 0.58
1564.68/197.74	c calculated reachability. Time: 0.00
1564.68/197.74	c  N dy   234     69879     91949     54764   2599702     23030   2788434   5373180     26.43   no data
1621.37/204.83	c Finding binary XORs  T:     0.07 s  found:       9
1636.55/206.78	c  N dy   248     74370     91949     54764   2599742     27458   2788434   8543970     26.09     27.94
1722.71/217.51	c  N dy   263     79555     91746     54764   2615995     32592   2788434  13348445     26.03     28.69
1757.84/221.95	c Finding binary XORs  T:     0.07 s  found:      62
1788.17/225.70	c  N dy   282     84682     91635     54597   2666586     37534   2778014  16027965     25.85     28.02
1824.90/230.32	c  F st   299     87505     91635     54597   2666613     40317   2778014  17741246     25.87   no data
1827.30/230.67	c Replacing       71 vars Replaced    50535 lits Time:     0.35 s 
1867.22/235.66	c  N st   304     90807     91565     54595   2668591     23358   2777742   5563094     25.87   no data
1917.52/241.97	c Finding binary XORs  T:     0.07 s  found:      25
1958.18/247.05	c  N dy   320     98324     91485     54544   3077339     30727   2773788   9422767     25.54     27.37
2041.29/257.42	c  N dy   351    104819     91480     54544   3078425     37122   2773788  12972868     25.85     20.04
2041.29/257.42	c  S st   351    104819     91480     54544   3078425     37122   2773788  12972868     25.85     20.04
2049.20/258.40	c  S st   351    105320     91480     54544   3078441     37607   2773788  13071155     25.85   no data
2050.07/258.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
2141.00/269.95	c Flit:    47 Blit:     36 bXBeca:    0 bXProp:    7 Bins: 261311 BRemL:   6073 BRemN:    179 P: 200.0M T: 11.25
2144.20/270.33	c Replacing       32 vars Replaced    18909 lits Time:     0.37 s 
2145.00/270.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2147.52/270.76	c bin-w-bin subsume rem        23629 bins  time:  0.33 s
2152.98/271.45	c subs with bin:       37  lits-rem:       226  v-fix:    0  time:  0.69 s
2188.92/275.93	c Subs w/ non-existent bins:      1 l-rem:     95 v-fix:     2 done:  29482 time:  4.41 s
2191.43/276.22	c Removed useless bin:    7971  fixed:     0  props:  20.01M  time:  0.27 s
2195.30/276.77	c lits-rem:         1  cl-subs:       13  v-elim:     13  v-fix:    0  time:  0.54 s
2213.65/279.00	c subs with bin:       19  lits-rem:       367  v-fix:    0  time:  1.49 s
2231.22/281.29	c lits-rem:      3072  cl-subs:      939  v-elim:      0  v-fix:    0  time:  2.21 s
2236.81/281.90	c asymm  cl-useful: 4/841/54496 lits-rem:47 time: 0.59
2236.81/281.97	c calculated reachability. Time: 0.00
2236.81/281.97	c  N dy   351    105320     91350     54496   3273318     36549   2753371  13142830     25.85   no data
2237.61/282.05	c Finding binary XORs  T:     0.07 s  found:       8
2315.85/291.87	c  N dy   373    112450     91338     54496   3274421     43589   2753371  16083085     25.58     27.16
2393.85/301.62	c  N dy   395    119838     91336     54496   3278993     29046   2753371   7529806     25.18     26.86
2417.80/304.65	c Finding binary XORs  T:     0.07 s  found:      20
2481.49/312.66	c  N dy   411    127611     91271     54457   3658802     36654   2750406  11323504     24.71     27.07
2484.68/313.05	c Finding binary XORs  T:     0.08 s  found:       9
2574.89/324.32	c  N dy   423    136700     91224     54432   3648266     45596   2748247  14734567     24.14     26.67
2674.69/336.83	c  N dy   456    145895     91208     54432   3649104     31511   2748247   9375751     24.17     27.16
2797.63/352.21	c  N dy   497    156373     91208     54432   3649308     41870   2748247  14230740     24.06     27.19
2818.40/354.81	c  S st   500    157981     91198     54432   3649593     43469   2748247  15104453     23.98     16.87
2826.38/355.80	c  S st   500    158482     91198     54432   3649602     43961   2748247  15222094     23.98   no data
2827.18/355.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2928.71/368.68	c Flit:    76 Blit:     50 bXBeca:    0 bXProp:    7 Bins: 238263 BRemL:   7865 BRemN:    190 P: 200.0M T: 12.55
2928.71/368.68	c Cleaning up after failed var search:     0.00 s 
2931.76/369.08	c Replacing       45 vars Replaced    60002 lits Time:     0.39 s 
2932.56/369.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2935.76/369.57	c bin-w-bin subsume rem        21990 bins  time:  0.40 s
2942.15/370.39	c subs with bin:       22  lits-rem:        71  v-fix:    0  time:  0.81 s
2976.47/374.61	c Subs w/ non-existent bins:      1 l-rem:    218 v-fix:     0 done:  31109 time:  4.15 s
2978.88/374.91	c Removed useless bin:   12394  fixed:     0  props:  20.00M  time:  0.30 s
2982.86/375.45	c lits-rem:         1  cl-subs:       12  v-elim:      9  v-fix:    0  time:  0.53 s
3000.43/377.69	c subs with bin:        1  lits-rem:        10  v-fix:    0  time:  1.51 s
3014.80/379.46	c lits-rem:      2368  cl-subs:     1101  v-elim:      0  v-fix:    0  time:  1.70 s
3019.58/380.05	c asymm  cl-useful: 2/342/54332 lits-rem:2 time: 0.58
3020.38/380.14	c calculated reachability. Time: 0.00
3020.38/380.14	c  N dy   500    158482     91011     54332   3811089     42319   2716612  14899026     23.98   no data
3021.18/380.22	c Finding binary XORs  T:     0.08 s  found:      23
3143.74/395.62	c Finding binary XORs  T:     0.08 s  found:      10
3149.32/396.33	c  N dy   545    168678     90926     54291   3894628     29957   2713935   8078279     23.91     25.63
3237.16/407.39	c Finding binary XORs  T:     0.08 s  found:       9
3283.47/413.10	c  N dy   582    179584     90870     54270   4069212     40741   2712052  13324425     23.79     34.24
3420.79/430.39	c  N dy   610    191206     90853     54270   4070150     52253   2712052  18802909     23.47     24.79
3507.09/441.19	c Finding binary XORs  T:     0.08 s  found:      38
3573.29/449.49	c  N dy   643    203632     90764     54198   4158653     41128   2707124  13144548     23.29     24.53
3733.76/469.50	c  N dy   701    217313     90759     54198   4159301     54648   2707124  19135470     23.30     25.49
3930.95/494.21	c  N dy   726    231335     90752     54198   4346119     44040   2707124  14535116     23.00     24.35
3931.74/494.39	c Finding binary XORs  T:     0.08 s  found:      40
4003.62/503.33	c  S st   744    237725     90560     54095   4283373     50263   2700286  17014310     22.83     11.42
4012.39/504.46	c  S st   744    238225     90560     54095   4283382     50753   2700286  17117150     22.83   no data
4013.19/504.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4103.41/515.88	c Flit:    36 Blit:     18 bXBeca:    0 bXProp:    1 Bins: 188307 BRemL:   9555 BRemN:    165 P: 200.1M T: 11.12
4108.20/516.42	c Replacing      121 vars Replaced    81966 lits Time:     0.52 s 
4109.00/516.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4112.20/516.97	c bin-w-bin subsume rem        24666 bins  time:  0.45 s
4120.19/517.97	c subs with bin:       19  lits-rem:        65  v-fix:    0  time:  0.98 s
4156.98/522.53	c Subs w/ non-existent bins:      0 l-rem:    106 v-fix:     0 done:  30739 time:  4.47 s
4159.30/522.84	c Removed useless bin:    6451  fixed:     0  props:  20.01M  time:  0.31 s
4163.30/523.39	c lits-rem:         6  cl-subs:       23  v-elim:      9  v-fix:    0  time:  0.55 s
4182.46/525.71	c subs with bin:        1  lits-rem:         4  v-fix:    0  time:  1.56 s
4199.22/527.88	c lits-rem:      2263  cl-subs:     1034  v-elim:      0  v-fix:    0  time:  2.09 s
4204.00/528.47	c asymm  cl-useful: 0/323/54036 lits-rem:0 time: 0.58
4204.80/528.57	c calculated reachability. Time: 0.00
4204.80/528.58	c  N dy   744    238225     90384     54036   4416041     49609   2683809  17174794     22.83   no data
4205.60/528.66	c Finding binary XORs  T:     0.08 s  found:       6
4384.44/551.04	c  N dy   792    253702     90353     54036   4418535     39421   2683809   9164875     22.62     24.13
4606.37/578.89	c  N dy   840    269992     90336     54036   4419535     55544   2683809  18740281     22.39     35.28
4864.27/611.14	c  N dy   882    290885     90330     54036   4420180     50030   2683809  11726141     22.09     23.53
4919.26/618.02	c Finding binary XORs  T:     0.09 s  found:      34
5086.12/638.99	c  F st   952    306250     90265     53970   4649794     65118   2678978  21409984     22.08      9.95
5090.90/639.54	c Replacing       40 vars Replaced    57420 lits Time:     0.42 s 
5147.59/646.68	c  N st   957    309548     90225     53967   4649000     68393   2678676  23893753     22.08   no data
5439.07/683.21	c  N dy  1014    329514     90217     53967   4649765     60724   2678676  19469969     21.92     24.53
5712.83/717.43	c  N dy  1100    349909     90175     53967   4653931     52985   2678676  12060871     21.98     24.16
5808.79/729.46	c  S st  1122    357338     90129     53967   4654118     60344   2678676  15487236     21.91     13.28
5816.71/730.47	c  S st  1122    357838     90129     53967   4654122     60840   2678676  15593530     21.91   no data
5818.23/730.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
5912.47/742.46	c Flit:    27 Blit:     10 bXBeca:    0 bXProp:    7 Bins: 196564 BRemL:   7922 BRemN:    186 P: 200.0M T: 11.69
5915.64/742.81	c Replacing        7 vars Replaced     5388 lits Time:     0.32 s 
5916.44/742.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5920.45/743.41	c bin-w-bin subsume rem        36426 bins  time:  0.50 s
5929.22/744.50	c subs with bin:       18  lits-rem:         9  v-fix:    0  time:  1.07 s
5964.36/748.99	c Subs w/ non-existent bins:      0 l-rem:     95 v-fix:     0 done:  30426 time:  4.42 s
5967.54/749.35	c Removed useless bin:   10227  fixed:     0  props:  20.01M  time:  0.34 s
5972.33/749.90	c lits-rem:         0  cl-subs:       12  v-elim:      7  v-fix:    0  time:  0.55 s
5989.89/752.10	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  1.60 s
6009.92/754.67	c lits-rem:      2567  cl-subs:     1398  v-elim:      0  v-fix:    0  time:  2.48 s
6014.63/755.27	c asymm  cl-useful: 3/414/53900 lits-rem:16 time: 0.60
6015.43/755.38	c calculated reachability. Time: 0.00
6015.43/755.38	c  N dy  1122    357838     90078     53900   4755331     59073   2652487  15359262     21.91   no data
6016.23/755.47	c Finding binary XORs  T:     0.09 s  found:      25
6261.35/786.12	c  N dy  1165    377939     90070     53900   4757467     49239   2652487   8746612     21.66     33.45
6514.43/817.80	c  N dy  1247    398016     90063     53900   4757902     69117   2652487  17778462     21.74     23.01
6544.78/821.60	c Finding binary XORs  T:     0.09 s  found:      12
6681.30/838.74	c Finding binary XORs  T:     0.09 s  found:       2
6791.55/852.57	c  N dy  1317    418104     89973     53871   5092935     58886   2650367  12691596     21.71     26.80
6802.64/853.93	c Finding binary XORs  T:     0.09 s  found:       7
7067.72/887.11	c  N dy  1414    438474     89971     53847   5061623     79080   2649026  23433868     21.77     23.04
7375.89/925.76	c  N dy  1505    458611     89967     53847   5062347     68079   2649026  16623308     21.79     24.56
7645.74/959.56	c  N dy  1563    478776     89955     53847   5063167     88082   2649026  26260034     21.65     23.66
7908.39/992.42	c  N dy  1646    498829     89953     53847   5063903     76122   2649026  16060552     21.66     92.96
8187.02/1027.35	c  N dy  1705    519235     89935     53847   5064546     63086   2649026   9403330     21.61     22.92
8421.75/1056.78	c  S st  1745    536757     89921     53847   5064983     80489   2649026  16884720     21.49     16.94
8432.14/1058.06	c  S st  1745    537261     89921     53847   5064988     80988   2649026  17050999     21.49   no data
8432.94/1058.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
8530.41/1070.41	c Flit:    13 Blit:      6 bXBeca:    0 bXProp:    1 Bins: 195526 BRemL:   5427 BRemN:    158 P: 200.0M T: 12.00
8534.31/1070.86	c Replacing       47 vars Replaced    38614 lits Time:     0.45 s 
8535.12/1070.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8539.18/1071.46	c bin-w-bin subsume rem         9786 bins  time:  0.48 s
8549.48/1072.70	c subs with bin:       13  lits-rem:       143  v-fix:    0  time:  1.22 s
8584.60/1077.16	c Subs w/ non-existent bins:      0 l-rem:    112 v-fix:     0 done:  30493 time:  4.39 s
8587.79/1077.52	c Removed useless bin:   11513  fixed:     0  props:  20.02M  time:  0.35 s
8592.72/1078.15	c lits-rem:         1  cl-subs:       18  v-elim:      8  v-fix:    0  time:  0.62 s
8610.95/1080.44	c subs with bin:       44  lits-rem:       278  v-fix:    0  time:  1.62 s
8634.91/1083.44	c lits-rem:      3563  cl-subs:     1925  v-elim:      0  v-fix:    0  time:  2.93 s
8639.69/1084.06	c asymm  cl-useful: 17/513/53799 lits-rem:228 time: 0.60
8640.49/1084.18	c calculated reachability. Time: 0.00
8640.49/1084.18	c  N dy  1745    537261     89851     53799   5207937     78604   2622102  16676877     21.49   no data
8641.29/1084.28	c Finding binary XORs  T:     0.09 s  found:      21
8776.91/1101.25	c Finding binary XORs  T:     0.09 s  found:      17
8948.42/1122.75	c  N dy  1809    557272     89796     53767   5356272     98443   2620166  27337821     21.42     30.10
9204.69/1154.89	c  N dy  1861    578048     89787     53767   5357168     83892   2620166  16689235     21.28     22.55
9513.75/1193.52	c  N dy  1939    598311     89785     53767   5357702     68948   2620166  10275002     21.26     23.81
9782.73/1227.25	c  N dy  2007    618378     89785     53767   5358141     88885   2620166  18943567     21.20     25.36
10052.56/1261.09	c  N dy  2098    638382     89776     53767   5358747     72763   2620166  10424849     21.26     23.25
10364.71/1300.19	c  N dy  2199    659621     89772     53767   5359278     93839   2620166  21174812     21.41     22.66
10683.24/1340.03	c  N dy  2284    679679     89768     53767   5359767     77131   2620166  10567610     21.42     22.95
10965.07/1375.37	c  N dy  2365    699719     89767     53767   5360338     97062   2620166  20141275     21.42     64.44
11183.16/1402.65	c Finding binary XORs  T:     0.10 s  found:      23
11308.38/1418.31	c  N dy  2446    720672     89714     53726   5500919    117777   2616869  32291932     21.47     23.14
11444.90/1435.41	c Finding binary XORs  T:     0.10 s  found:      10
11589.40/1453.59	c  N dy  2499    740734     89670     53697   5559749     99609   2615089  19504896     21.47     53.57
11761.90/1475.13	c Finding binary XORs  T:     0.10 s  found:       3
11963.91/1500.50	c  N dy  2588    763798     89654     53691   5692577    122514   2614707  33954142     21.47     23.65
12247.25/1535.93	c  N dy  2664    783924     89647     53691   5693273    103661   2614707  20303635     21.51     32.13
12565.80/1575.86	c  N dy  2743    803934     89642     53691   5693869    123574   2614707  31971808     21.55     23.28
12602.53/1580.44	c  S st  2750    805893     89642     53691   5693874    125521   2614707  33236995     21.55     13.73
12612.92/1581.78	c  S st  2750    806393     89642     53691   5693881    126013   2614707  33321732     21.55   no data
12614.64/1581.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
12709.52/1593.87	c Flit:    16 Blit:      9 bXBeca:    0 bXProp:    2 Bins: 308322 BRemL:   5680 BRemN:    128 P: 200.0M T: 11.73
12716.70/1594.72	c Replacing       76 vars Replaced    81150 lits Time:     0.83 s 
12717.50/1594.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12722.28/1595.43	c bin-w-bin subsume rem        23309 bins  time:  0.59 s
12732.67/1596.79	c subs with bin:       17  lits-rem:        74  v-fix:    0  time:  1.34 s
12767.00/1601.03	c Subs w/ non-existent bins:      1 l-rem:    182 v-fix:     0 done:  31363 time:  4.18 s
12769.40/1601.39	c Removed useless bin:   14032  fixed:     0  props:  20.01M  time:  0.36 s
12774.98/1602.07	c lits-rem:         0  cl-subs:       34  v-elim:     25  v-fix:    0  time:  0.66 s
12802.13/1605.41	c subs with bin:        0  lits-rem:        97  v-fix:    0  time:  1.61 s
12851.74/1611.66	c lits-rem:      2979  cl-subs:     3054  v-elim:      0  v-fix:    0  time:  6.09 s
12857.20/1612.31	c asymm  cl-useful: 89/361/53676 lits-rem:1128 time: 0.65
12858.00/1612.45	c calculated reachability. Time: 0.00
12858.00/1612.45	c  N dy  2750    806393     89515     53676   5924085    119882   2582680  30578836     21.55   no data
12858.80/1612.55	c Finding binary XORs  T:     0.10 s  found:       8
13162.89/1650.61	c  N dy  2810    826455     89512     53676   5931979    100673   2582680  18197688     21.48     22.73
13501.52/1693.09	c  N dy  2897    847977     89510     53676   6000845    122077   2582680  29559673     21.50     22.79
13503.79/1693.34	c Finding binary XORs  T:     0.11 s  found:      19
13825.59/1733.69	c  N dy  2972    869837     89458     53645   5975720    102881   2580466  18393571     21.46     24.28
14139.24/1772.97	c  N dy  3051    890092     89453     53645   5976137    123024   2580466  29062604     21.47     22.60
14448.22/1811.67	c  N dy  3110    910158     89444     53645   5976679    101028   2580466  15400485     21.44     23.27
14741.20/1848.33	c Finding binary XORs  T:     0.10 s  found:      15
14782.81/1853.55	c  N dy  3183    930246     89400     53617   6040193    120886   2578311  27291244     21.39     26.30
15141.99/1898.58	c  N dy  3250    954509     89382     53617   6041291    102357   2578311  13682634     21.33     22.47
15460.52/1938.47	c  N dy  3322    975127     89380     53617   6041891    122842   2578311  23306881     21.32     22.70
15791.04/1979.87	c  N dy  3398    995949     89377     53617   6042287    143555   2578311  33946765     21.29     22.58
16099.21/2018.47	c  N dy  3485   1016173     89366     53617   6042721    120079   2578311  21340095     21.30     23.68
16436.91/2060.77	c  N dy  3571   1036731     89366     53617   6043097    140525   2578311  32141297     21.29     22.91
16757.04/2100.80	c  N dy  3621   1057045     89365     53617   6043597    116003   2578311  17747648     21.24     22.47
16980.57/2128.87	c  F st  3663   1071875     89364     53617   6043903    130760   2578311  24086864     21.22   no data
16984.56/2129.37	c Replacing       42 vars Replaced    43139 lits Time:     0.37 s 
17098.74/2143.66	c  N dy  3669   1077069     89323     53594   6034249    135864   2576779  28922986     21.22   no data
17440.45/2186.45	c Finding binary XORs  T:     0.11 s  found:      25
17504.30/2194.45	c  N dy  3765   1100113     89286     53570   6035550    113002   2574582  14043457     21.22     23.22
17833.21/2235.68	c  N dy  3841   1120687     89281     53570   6036108    133454   2574582  24993889     21.25     26.55
18187.66/2280.04	c  N dy  3896   1141878     89281     53570   6036621    154550   2574582  36538044     21.23     23.07
18483.01/2317.06	c Finding binary XORs  T:     0.10 s  found:      19
18580.41/2329.23	c  N dy  3931   1161956     89203     53523   6064533    127635   2571252  21868472     21.15     33.62
18903.74/2369.70	c  N dy  4016   1182154     89200     53523   6065187    147722   2571252  33061173     21.16     22.32
19254.23/2413.69	c  N dy  4093   1202817     89196     53523   6065554    120934   2571252  14002286     21.14     22.34
19362.81/2427.21	c  S st  4126   1209589     89195     53523   6065657    127675   2571252  17860370     21.14     11.80
19373.20/2428.50	c  S st  4126   1210092     89195     53523   6065666    128169   2571252  17989513     21.14   no data
19374.00/2428.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
19473.78/2441.19	c Flit:    15 Blit:      8 bXBeca:    0 bXProp:    2 Bins: 275585 BRemL:   5735 BRemN:    144 P: 200.0M T: 12.54
19477.77/2441.61	c Replacing       47 vars Replaced    56744 lits Time:     0.41 s 
19478.57/2441.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19483.35/2442.33	c bin-w-bin subsume rem        23536 bins  time:  0.61 s
19494.48/2443.78	c subs with bin:       39  lits-rem:       188  v-fix:    0  time:  1.45 s
19527.89/2447.95	c Subs w/ non-existent bins:      0 l-rem:    163 v-fix:     1 done:  31245 time:  4.17 s
19531.08/2448.30	c Removed useless bin:    7868  fixed:     0  props:  20.00M  time:  0.35 s
19535.83/2448.99	c lits-rem:         4  cl-subs:       44  v-elim:     26  v-fix:    0  time:  0.69 s
19554.09/2451.25	c subs with bin:        1  lits-rem:        27  v-fix:    0  time:  1.61 s
19576.32/2454.00	c lits-rem:      3000  cl-subs:     3223  v-elim:      0  v-fix:    0  time:  2.72 s
19581.07/2454.68	c asymm  cl-useful: 65/471/53491 lits-rem:667 time: 0.68
19582.66/2454.82	c calculated reachability. Time: 0.00
19582.66/2454.82	c  N dy  4126   1210092     89097     53491   6290135    124261   2552189  17961670     21.14   no data
19583.45/2454.93	c Finding binary XORs  T:     0.11 s  found:      11
19839.29/2487.04	c Finding binary XORs  T:     0.11 s  found:      11
19911.28/2496.08	c  N dy  4191   1230277     89063     53474   6420005    144296   2550905  28315899     21.11     22.38
20264.01/2540.28	c  N dy  4274   1250301     89062     53474   6421024    164209   2550905  39628126     21.10     24.42
20464.54/2565.33	c Finding binary XORs  T:     0.11 s  found:       6
20589.74/2581.09	c  N dy  4307   1271899     89037     53469   6575349    134748   2550489  19175987     21.03     22.25
20747.82/2600.84	c Finding binary XORs  T:     0.11 s  found:      11
20924.27/2622.99	c  N dy  4381   1291974     89003     53450   6622340    154694   2548841  30376254     21.05     23.20
21269.97/2666.23	c  N dy  4445   1312138     89000     53450   6622751    124854   2548841  14788993     21.02     22.15
21624.41/2710.67	c  N dy  4547   1332377     88998     53450   6623216    145005   2548841  28297603     21.06     23.76
21984.47/2755.76	c  N dy  4644   1352634     88997     53450   6623561    165164   2548841  39901485     21.08     22.54
22376.48/2804.89	c  N dy  4747   1374463     88994     53450   6623952    136595   2548841  18061056     21.11     22.44
22602.35/2833.10	c Finding binary XORs  T:     0.11 s  found:      17
22722.90/2848.25	c  N dy  4829   1394710     88963     53426   6731566    156708   2546589  29357327     21.11     23.33
23134.21/2899.77	c  N dy  4888   1417038     88963     53426   6731975    178941   2546589  42636529     21.07     22.29
23482.03/2943.38	c  N dy  4952   1437772     88963     53426   6732274    147747   2546589  22518209     21.06     22.47
23892.01/2994.76	c  N dy  5060   1459369     88941     53426   6776941    169254   2546589  37159114     21.15     22.48
24262.51/3041.21	c  N dy  5138   1479659     88941     53426   6777323    137023   2546589  15452924     21.14     22.55
24617.57/3085.74	c  N dy  5220   1499661     88932     53426   6777603    156924   2546589  27996072     21.14     22.31
24995.16/3133.06	c  N dy  5304   1521867     88931     53426   6777978    179040   2546589  39218118     21.15     22.33
25380.06/3181.25	c  N dy  5379   1542578     88927     53426   6778311    146056   2546589  18022305     21.14     22.53
25742.42/3226.66	c  N dy  5465   1562732     88925     53426   6778737    166124   2546589  29593962     21.17     22.42
26161.65/3279.11	c  N dy  5563   1583448     88924     53426   6779103    186733   2546589  44996553     21.21     22.95
26552.78/3328.18	c  N dy  5647   1603454     88922     53426   6779506    152177   2546589  20306333     21.23     32.53
26902.73/3372.01	c  N dy  5744   1623483     88921     53426   6779869    172125   2546589  31109903     21.24     26.11
27036.06/3388.76	c Finding binary XORs  T:     0.11 s  found:      12
27301.16/3422.15	c  N dy  5821   1643511     88920     53403   6754576    191994   2545302  44024035     21.27     22.96
27709.11/3473.29	c  N dy  5919   1664151     88908     53403   6765383    157039   2545302  21223371     21.30     22.53
28035.61/3514.15	c  N dy  5985   1684231     88908     53403   6765729    177038   2545302  31150008     21.29     22.88
28416.89/3561.95	c  N dy  6067   1704801     88908     53403   6765961    197522   2545302  42649570     21.29     24.59
28535.04/3576.90	c  S st  6103   1710093     88908     53403   6766086    202788   2545302  46798344     21.30   no data
28545.43/3578.23	c  S st  6103   1710597     88908     53403   6766091    203287   2545302  46895017     21.30   no data
28547.03/3578.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
28643.62/3590.52	c Flit:     2 Blit:      3 bXBeca:    0 bXProp:    1 Bins: 208551 BRemL:   4849 BRemN:     72 P: 200.0M T: 12.08
28652.40/3591.68	c Replacing       69 vars Replaced   101031 lits Time:     1.16 s 
28653.27/3591.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28658.78/3592.48	c bin-w-bin subsume rem        24863 bins  time:  0.68 s
28671.66/3594.07	c subs with bin:       44  lits-rem:       217  v-fix:    0  time:  1.59 s
28705.94/3598.35	c Subs w/ non-existent bins:      0 l-rem:    117 v-fix:     0 done:  31222 time:  4.28 s
28709.05/3598.76	c Removed useless bin:   13435  fixed:     0  props:  20.00M  time:  0.41 s
28715.58/3599.53	c lits-rem:         1  cl-subs:       33  v-elim:     28  v-fix:    0  time:  0.77 s
28750.70/3603.99	c subs with bin:        4  lits-rem:        55  v-fix:    0  time:  1.80 s
28847.84/3616.13	c lits-rem:      2965  cl-subs:     4977  v-elim:      0  v-fix:    0  time: 12.03 s
28852.64/3616.78	c asymm  cl-useful: 29/527/53412 lits-rem:344 time: 0.65
28854.23/3616.94	c calculated reachability. Time: 0.00
28854.23/3616.94	c  N dy  6103   1710597     88808     53402   6909962    193671   2516319  41915082     21.30   no data
28855.10/3617.05	c Finding binary XORs  T:     0.11 s  found:       6
29261.13/3668.02	c  N dy  6178   1730676     88807     53402   6911044    157679   2516319  19605356     21.31     28.61
29657.15/3717.62	c  N dy  6252   1750870     88799     53402   6947479    177800   2516319  30312115     21.32     22.85
30069.88/3769.30	c  N dy  6316   1770932     88797     53402   6947821    197802   2516319  41150179     21.30     22.66
30328.58/3801.75	c Finding binary XORs  T:     0.12 s  found:       9
30507.36/3824.15	c  N dy  6380   1791575     88782     53392   6989600    160663   2515304  18861009     21.29     22.79
30841.10/3866.00	c Finding binary XORs  T:     0.13 s  found:      14
30984.02/3883.88	c  N dy  6483   1811637     88762     53375   7136223    180606   2514351  34203411     21.35     22.80
31422.24/3938.96	c  N dy  6583   1831709     88760     53375   7136567    200596   2514351  45793809     21.38     36.86
31884.47/3996.83	c  N dy  6685   1851836     88749     53375   7136921    162422   2514351  19610238     21.41     22.57
32322.80/4051.77	c  N dy  6792   1871843     88749     53375   7137344    182326   2514351  31936444     21.44     22.74
32776.23/4108.67	c  N dy  6898   1892012     88748     53375   7137644    202404   2514351  44340976     21.47     22.80
32890.39/4122.96	c Finding binary XORs  T:     0.13 s  found:      17
33275.22/4171.23	c  N dy  6960   1912201     88725     53355   7175341    163461   2513132  16918940     21.48     23.52
33759.90/4232.00	c  N dy  7036   1936348     88723     53355   7175626    187511   2513132  30525861     21.47     22.62
34068.75/4270.68	c Finding binary XORs  T:     0.13 s  found:       3
34210.08/4288.34	c  N dy  7131   1956464     88716     53352   7296045    207516   2512820  42861820     21.49     22.76
34651.15/4343.60	c  N dy  7210   1976545     88716     53352   7296266    167090   2512820  17475991     21.50     22.98
35059.17/4394.79	c  N dy  7273   1997008     88711     53352   7296556    187460   2512820  26833315     21.48     23.19
35522.14/4452.72	c  N dy  7363   2017081     88701     53352   7296841    207470   2512820  39191543     21.49     24.82
36011.16/4514.04	c  N dy  7447   2037154     88700     53352   7297258    227480   2512820  52667569     21.49     22.89
36417.65/4565.08	c  N dy  7549   2057377     88699     53352   7297513    186423   2512820  27656591     21.51     23.25
36804.08/4613.42	c  N dy  7618   2077464     88699     53352   7297776    206451   2512820  39241241     21.52     43.49
37241.07/4668.29	c  N dy  7721   2097512     88699     53352   7298049    226415   2512820  53000732     21.56     23.44
37680.97/4723.31	c  N dy  7802   2117576     88697     53352   7298315    184073   2512820  24275145     21.58     24.28
38078.65/4773.20	c  N dy  7896   2137780     88697     53352   7298553    204197   2512820  36547284     21.59     23.19
38235.08/4792.77	c Finding binary XORs  T:     0.12 s  found:      17
38522.01/4828.77	c  N dy  7988   2158262     88685     53331   7383963    224576   2511029  49726300     21.60     22.80
38948.49/4882.14	c  N dy  8064   2178594     88685     53331   7384185    181320   2511029  18103869     21.60     22.80
39385.10/4936.85	c  N dy  8137   2199906     88683     53331   7384514    202564   2511029  30488641     21.60     25.00
39601.72/4964.19	c  S st  8159   2210597     88682     53331   7384651    213203   2511029  36844975     21.57     18.90
39615.59/4965.90	c  S st  8159   2211097     88682     53331   7384658    213695   2511029  37023105     21.57   no data
39617.19/4966.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
39716.19/4978.59	c Flit:     2 Blit:      4 bXBeca:    0 bXProp:    0 Bins: 315690 BRemL:  16597 BRemN:    828 P: 200.0M T: 12.30
39723.38/4979.46	c Replacing       66 vars Replaced    75719 lits Time:     0.84 s 
39724.18/4979.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39730.57/4980.33	c bin-w-bin subsume rem        13336 bins  time:  0.73 s
39745.01/4982.17	c subs with bin:       55  lits-rem:       160  v-fix:    0  time:  1.80 s
39777.66/4986.25	c Subs w/ non-existent bins:      2 l-rem:    140 v-fix:     0 done:  31984 time:  4.03 s
39780.99/4986.65	c Removed useless bin:    8141  fixed:     0  props:  20.01M  time:  0.39 s
39787.25/4987.42	c lits-rem:         1  cl-subs:       51  v-elim:     43  v-fix:    0  time:  0.77 s
39812.80/4990.68	c subs with bin:        1  lits-rem:       127  v-fix:    0  time:  1.68 s
39874.28/4998.38	c lits-rem:      1875  cl-subs:     4264  v-elim:      0  v-fix:    0  time:  7.54 s
39879.85/4999.04	c asymm  cl-useful: 4/175/53338 lits-rem:23 time: 0.64
39881.45/4999.22	c calculated reachability. Time: 0.00
39881.45/4999.22	c  N dy  8159   2211097     88570     53338   7655437    203619   2492203  31902832     21.57   no data
39882.25/4999.34	c Finding binary XORs  T:     0.12 s  found:       5

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394168-1306092205/watcher-3394168-1306092205 -o /tmp/evaluation-result-3394168-1306092205/solver-3394168-1306092205 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394168-1306092205.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.04 6.80 6.36 1/474 7888
/proc/meminfo: memFree=7770072/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=92144 CPUtime=0.03 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 411 0 0 0 3 0 0 0 22 0 8 0 720820313 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399148 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7888/statm: 23036 352 299 95 0 18018 0
[pid=7888/tid=7889] ppid=7886 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399154 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399158 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=92144 CPUtime=0 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=92144 CPUtime=0 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=92144 CPUtime=0.01 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 720820314 94355456 352 33554432000 4194304 4580107 140736591812368 18446744073709551615 47096242399154 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.11689 s]
/proc/loadavg: 6.04 6.80 6.36 1/474 7888
/proc/meminfo: memFree=7770072/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=588540 CPUtime=0.74 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 21920 0 0 0 62 12 0 0 17 0 8 0 720820313 602664960 18219 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 147135 18221 338 95 0 142117 0
[pid=7888/tid=7889] ppid=7886 vsize=588540 CPUtime=0.09 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 2630 0 0 0 8 1 0 0 17 0 8 0 720820314 602664960 18224 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=588540 CPUtime=0.08 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 2920 0 0 0 7 1 0 0 17 0 8 0 720820314 602664960 18231 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=588540 CPUtime=0.08 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 2589 0 0 0 8 0 0 0 17 0 8 0 720820314 602664960 18240 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 7 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=588540 CPUtime=0.1 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 2795 0 0 0 8 2 0 0 17 0 8 0 720820314 602664960 18248 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=588540 CPUtime=0.08 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 2620 0 0 0 7 1 0 0 17 0 8 0 720820314 602664960 18264 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=588540 CPUtime=0.06 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 2678 0 0 0 5 1 0 0 18 0 8 0 720820314 602664960 18274 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=588540 CPUtime=0.08 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 2503 0 0 0 7 1 0 0 17 0 8 0 720820314 602664960 18274 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 588540

[startup+0.202871 s]
/proc/loadavg: 6.04 6.80 6.36 1/474 7888
/proc/meminfo: memFree=7770072/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=617292 CPUtime=1.3 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) S 7886 7888 7428 0 -1 4202496 35056 0 0 0 97 33 0 0 17 0 8 0 720820313 632107008 27678 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 154323 27682 338 95 0 149305 0
[pid=7888/tid=7889] ppid=7886 vsize=617292 CPUtime=0.15 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 4307 0 0 0 12 3 0 0 17 0 8 0 720820314 632107008 27685 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=617292 CPUtime=0.16 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 4747 0 0 0 12 4 0 0 17 0 8 0 720820314 632107008 27693 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=617292 CPUtime=0.16 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 4194 0 0 0 12 4 0 0 17 0 8 0 720820314 632107008 27699 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 7 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=617292 CPUtime=0.15 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 4414 0 0 0 11 4 0 0 17 0 8 0 720820314 632107008 27710 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=617292 CPUtime=0.15 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 4399 0 0 0 11 4 0 0 17 0 8 0 720820314 632107008 27716 33554432000 4194304 4580107 140736591812368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=617292 CPUtime=0.14 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 3962 0 0 0 11 3 0 0 17 0 8 0 720820314 632107008 27723 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=617292 CPUtime=0.15 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 4013 0 0 0 12 3 0 0 17 0 8 0 720820314 632107008 27730 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 617292

[startup+0.3029 s]
/proc/loadavg: 6.04 6.80 6.36 1/474 7888
/proc/meminfo: memFree=7770072/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=627784 CPUtime=1.91 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 44399 0 0 0 131 60 0 0 17 0 8 0 720820313 642850816 36441 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 156946 36442 338 95 0 151928 0
[pid=7888/tid=7889] ppid=7886 vsize=627784 CPUtime=0.24 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 5718 0 0 0 17 7 0 0 17 0 8 0 720820314 642850816 36447 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=627784 CPUtime=0.23 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 6272 0 0 0 16 7 0 0 17 0 8 0 720820314 642850816 36452 33554432000 4194304 4580107 140736591812368 18446744073709551615 4354920 0 0 4096 2 18446604465963256704 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=627784 CPUtime=0.23 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 4912 0 0 0 16 7 0 0 17 0 8 0 720820314 642850816 36456 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 7 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=627784 CPUtime=0.22 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 5187 0 0 0 14 8 0 0 17 0 8 0 720820314 642850816 36461 33554432000 4194304 4580107 140736591812368 18446744073709551615 208079892734 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=627784 CPUtime=0.22 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 5811 0 0 0 15 7 0 0 17 0 8 0 720820314 642850816 36465 33554432000 4194304 4580107 140736591812368 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=627784 CPUtime=0.22 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 5373 0 0 0 16 6 0 0 17 0 8 0 720820314 642850816 36474 33554432000 4194304 4580107 140736591812368 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=627784 CPUtime=0.23 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 4786 0 0 0 17 6 0 0 17 0 8 0 720820314 642850816 36479 33554432000 4194304 4580107 140736591812368 18446744073709551615 208079890797 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 627784

[startup+0.700759 s]
/proc/loadavg: 6.04 6.80 6.36 1/474 7888
/proc/meminfo: memFree=7770072/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=774852 CPUtime=4.27 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 91476 0 0 0 267 160 0 0 17 0 8 0 720820313 793448448 75024 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 193713 75024 338 95 0 188695 0
[pid=7888/tid=7889] ppid=7886 vsize=774852 CPUtime=0.52 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 10726 0 0 0 33 19 0 0 17 0 8 0 720820314 793448448 75025 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=774852 CPUtime=0.53 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 12171 0 0 0 34 19 0 0 17 0 8 0 720820314 793448448 75026 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=774852 CPUtime=0.53 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 10916 0 0 0 34 19 0 0 17 0 8 0 720820314 793448448 75026 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=774852 CPUtime=0.52 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 11304 0 0 0 32 20 0 0 17 0 8 0 720820314 793448448 75026 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=774852 CPUtime=0.52 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 11833 0 0 0 32 20 0 0 17 0 8 0 720820314 793448448 75026 33554432000 4194304 4580107 140736591812368 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=774852 CPUtime=0.52 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 11813 0 0 0 33 19 0 0 17 0 8 0 720820314 793448448 75026 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=774852 CPUtime=0.51 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 10791 0 0 0 32 19 0 0 17 0 8 0 720820314 793448448 75026 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 774852

[startup+1.50061 s]
/proc/loadavg: 6.04 6.80 6.36 2/482 7896
/proc/meminfo: memFree=7322612/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=938840 CPUtime=8.88 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) S 7886 7888 7428 0 -1 4202496 166200 0 0 0 535 353 0 0 16 0 8 0 720820313 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 234710 147012 338 95 0 229692 0
[pid=7888/tid=7889] ppid=7886 vsize=938840 CPUtime=1.11 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 19412 0 0 0 70 41 0 0 15 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=938840 CPUtime=1.11 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) D 7886 7888 7428 0 -1 4202560 24172 0 0 0 65 46 0 0 16 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=938840 CPUtime=1.09 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 19617 0 0 0 67 42 0 0 15 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 3 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=938840 CPUtime=1.09 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 20634 0 0 0 64 45 0 0 16 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=938840 CPUtime=1.11 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) D 7886 7888 7428 0 -1 4202560 21342 0 0 0 66 45 0 0 16 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=938840 CPUtime=1.1 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) D 7886 7888 7428 0 -1 4202560 20500 0 0 0 69 41 0 0 16 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=938840 CPUtime=1.09 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) S 7886 7888 7428 0 -1 4202560 19310 0 0 0 66 43 0 0 15 0 8 0 720820314 961372160 147012 33554432000 4194304 4580107 140736591812368 18446744073709551615 208080337390 0 0 4096 2 18446604465963256704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (KiB) 938840

[startup+3.10131 s]
/proc/loadavg: 6.20 6.82 6.37 10/482 7896
/proc/meminfo: memFree=7005172/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=1181456 CPUtime=20.69 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 231830 0 0 0 1610 459 0 0 17 0 8 0 720820313 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 295364 197809 360 95 0 290346 0
[pid=7888/tid=7889] ppid=7886 vsize=1181456 CPUtime=2.6 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28016 0 0 0 206 54 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1181456 CPUtime=2.57 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 30448 0 0 0 200 57 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1181456 CPUtime=2.56 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28017 0 0 0 200 56 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=1181456 CPUtime=2.56 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 29199 0 0 0 197 59 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=1181456 CPUtime=2.58 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 29532 0 0 0 199 59 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=1181456 CPUtime=2.57 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28529 0 0 0 203 54 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=1181456 CPUtime=2.58 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28094 0 0 0 202 56 0 0 17 0 8 0 720820314 1209810944 197809 33554432000 4194304 4580107 140736591812368 18446744073709551615 4317457 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 1181456

[startup+6.3007 s]
/proc/loadavg: 6.20 6.82 6.37 9/482 7897
/proc/meminfo: memFree=6971352/32950928 swapFree=56454924/67111528
[pid=7888] ppid=7886 vsize=1215924 CPUtime=46.22 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 235075 0 0 0 4162 460 0 0 22 0 8 0 720820313 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 303981 200609 360 95 0 298963 0
[pid=7888/tid=7889] ppid=7886 vsize=1215924 CPUtime=5.8 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28129 0 0 0 526 54 0 0 23 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1215924 CPUtime=5.77 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 30561 0 0 0 519 58 0 0 23 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1215924 CPUtime=5.76 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28098 0 0 0 520 56 0 0 22 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7892] ppid=7886 vsize=1215924 CPUtime=5.7 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 29312 0 0 0 511 59 0 0 22 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7888/tid=7893] ppid=7886 vsize=1215924 CPUtime=5.78 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 29646 0 0 0 519 59 0 0 22 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4295831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7888/tid=7894] ppid=7886 vsize=1215924 CPUtime=5.77 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 28539 0 0 0 523 54 0 0 22 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7888/tid=7895] ppid=7886 vsize=1215924 CPUtime=5.77 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 30680 0 0 0 521 56 0 0 22 0 8 0 720820314 1245106176 200609 33554432000 4194304 4580107 140736591812368 18446744073709551615 4389700 0 0 4096 2 0 0 0 -1 1 0 0 0

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

[pid=7888/tid=7890] ppid=7886 vsize=10827840 CPUtime=4651.56 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1383882 0 0 0 464601 555 0 0 25 0 8 0 720820314 11087708160 2248335 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=10827840 CPUtime=4650.79 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1408143 0 0 0 464518 561 0 0 25 0 8 0 720820314 11087708160 2248335 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316819 0 0 4096 2 0 0 0 -1 3 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=10827840 CPUtime=4641.57 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1394298 0 0 0 463594 563 0 0 25 0 8 0 720820314 11087708160 2248335 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 6 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=10827840 CPUtime=4657.66 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1429507 0 0 0 465197 569 0 0 25 0 8 0 720820314 11087708160 2248335 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=10827840 CPUtime=4655.72 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1395455 0 0 0 465049 523 0 0 25 0 8 0 720820314 11087708160 2248335 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 2 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=10827840 CPUtime=4649.79 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1363775 0 0 0 464500 479 0 0 25 0 8 0 720820314 11087708160 2248335 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316600 0 0 4096 2 0 0 0 -1 1 0 0 38
Current children cumulated CPU time (s) 37194
Current children cumulated vsize (KiB) 10827840

[startup+4722.3 s]
/proc/loadavg: 8.08 8.06 8.01 9/482 8034
/proc/meminfo: memFree=447532/32950928 swapFree=54769924/67111528
[pid=7888] ppid=7886 vsize=10814992 CPUtime=37673 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 11298438 0 0 0 3762863 4436 0 0 25 0 8 0 720820313 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 39
/proc/7888/statm: 2703748 2237972 380 95 0 2698730 0
[pid=7888/tid=7889] ppid=7886 vsize=10814992 CPUtime=4717.23 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1469479 0 0 0 471142 581 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 5 0 0 35
[pid=7888/tid=7890] ppid=7886 vsize=10814992 CPUtime=4711.56 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1404383 0 0 0 470594 562 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=10814992 CPUtime=4710.79 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1426845 0 0 0 470511 568 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=10814992 CPUtime=4701.53 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1408273 0 0 0 469586 567 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 6 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=10814992 CPUtime=4717.65 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1441320 0 0 0 471191 574 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 0 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=10814992 CPUtime=4715.71 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1409405 0 0 0 471043 528 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316566 0 0 4096 2 0 0 0 -1 2 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=10814992 CPUtime=4709.78 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1369578 0 0 0 470497 481 0 0 25 0 8 0 720820314 11074551808 2237972 33554432000 4194304 4580107 140736591812368 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 1 0 0 38
Current children cumulated CPU time (s) 37673
Current children cumulated vsize (KiB) 10814992

[startup+4782.3 s]
/proc/loadavg: 8.08 8.06 8.01 9/482 8036
/proc/meminfo: memFree=216240/32950928 swapFree=54769924/67111528
[pid=7888] ppid=7886 vsize=11079488 CPUtime=38152 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 11394965 0 0 0 3810729 4475 0 0 25 0 8 0 720820313 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316751 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 39
/proc/7888/statm: 2769872 2294585 380 95 0 2764854 0
[pid=7888/tid=7889] ppid=7886 vsize=11079488 CPUtime=4777.24 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1484210 0 0 0 477138 586 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 5 0 0 35
[pid=7888/tid=7890] ppid=7886 vsize=11079488 CPUtime=4771.57 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1418925 0 0 0 476589 568 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316473 0 0 4096 2 0 0 0 -1 4 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=11079488 CPUtime=4770.78 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1440733 0 0 0 476504 574 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4317501 0 0 4096 2 0 0 0 -1 3 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=11079488 CPUtime=4761.53 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1418761 0 0 0 475580 573 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=11079488 CPUtime=4777.66 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1447129 0 0 0 477189 577 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=11079488 CPUtime=4775.71 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1423453 0 0 0 477039 532 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=11079488 CPUtime=4769.78 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1378252 0 0 0 476493 485 0 0 25 0 8 0 720820314 11345395712 2294585 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 1 0 0 38
Current children cumulated CPU time (s) 38152
Current children cumulated vsize (KiB) 11079488

[startup+4842.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/482 8038
/proc/meminfo: memFree=474468/32950928 swapFree=54696460/67111528
[pid=7888] ppid=7886 vsize=10758036 CPUtime=38630.6 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 11509208 0 0 0 3858541 4520 0 0 25 0 8 0 720820313 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 39
/proc/7888/statm: 2689509 2262559 380 95 0 2684491 0
[pid=7888/tid=7889] ppid=7886 vsize=10758036 CPUtime=4837.03 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1502651 0 0 0 483110 593 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 35
[pid=7888/tid=7890] ppid=7886 vsize=10758036 CPUtime=4831.56 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1433851 0 0 0 482582 574 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316819 0 0 4096 2 0 0 0 -1 4 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=10758036 CPUtime=4830.78 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1455911 0 0 0 482495 583 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 3 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=10758036 CPUtime=4821.51 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1433479 0 0 0 481572 579 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 6 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=10758036 CPUtime=4837.65 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1459328 0 0 0 483183 582 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 0 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=10758036 CPUtime=4835.48 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1443913 0 0 0 483010 538 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=10758036 CPUtime=4829.78 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1382045 0 0 0 482492 486 0 0 25 0 8 0 720820314 11016228864 2262559 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 1 0 0 38
Current children cumulated CPU time (s) 38630.6
Current children cumulated vsize (KiB) 10758036

[startup+4902.3 s]
/proc/loadavg: 8.04 8.06 8.00 9/482 8039
/proc/meminfo: memFree=569680/32950928 swapFree=54696460/67111528
[pid=7888] ppid=7886 vsize=10437952 CPUtime=39109.6 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 11619220 0 0 0 3906401 4562 0 0 25 0 8 0 720820313 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 39
/proc/7888/statm: 2609488 2237866 380 95 0 2604470 0
[pid=7888/tid=7889] ppid=7886 vsize=10437952 CPUtime=4897.01 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1515613 0 0 0 489103 598 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316638 0 0 4096 2 0 0 0 -1 5 0 0 35
[pid=7888/tid=7890] ppid=7886 vsize=10437952 CPUtime=4891.57 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1444995 0 0 0 488578 579 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=10437952 CPUtime=4890.77 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1475284 0 0 0 488487 590 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316654 0 0 4096 2 0 0 0 -1 3 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=10437952 CPUtime=4881.49 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1447084 0 0 0 487565 584 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=10437952 CPUtime=4897.65 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1474640 0 0 0 489178 587 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316636 0 0 4096 2 0 0 0 -1 0 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=10437952 CPUtime=4895.47 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1458128 0 0 0 489004 543 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=10437952 CPUtime=4889.78 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1386918 0 0 0 488491 487 0 0 25 0 8 0 720820314 10688462848 2237866 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 1 0 0 38
Current children cumulated CPU time (s) 39109.6
Current children cumulated vsize (KiB) 10437952

[startup+4962.3 s]
/proc/loadavg: 8.06 8.06 8.00 9/482 8041
/proc/meminfo: memFree=93012/32950928 swapFree=54531508/67111528
[pid=7888] ppid=7886 vsize=11289928 CPUtime=39587.5 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 11781849 0 0 0 3954131 4622 0 0 25 0 8 0 720820313 11560886272 2397355 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 39
/proc/7888/statm: 2822482 2397355 380 95 0 2817464 0
[pid=7888/tid=7889] ppid=7886 vsize=11289928 CPUtime=4956.86 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1529217 0 0 0 495079 607 0 0 25 0 8 0 720820314 11560886272 2397363 33554432000 4194304 4580107 140736591812368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 35
[pid=7888/tid=7890] ppid=7886 vsize=11289928 CPUtime=4951.55 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1460646 0 0 0 494570 585 0 0 25 0 8 0 720820314 11560886272 2397363 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 0 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=11289928 CPUtime=4950.76 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1489255 0 0 0 494480 596 0 0 25 0 8 0 720820314 11560886272 2397364 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=11289928 CPUtime=4941.32 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1461275 0 0 0 493542 590 0 0 25 0 8 0 720820314 11560886272 2397364 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=11289928 CPUtime=4957.65 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1487823 0 0 0 495172 593 0 0 25 0 8 0 720820314 11560886272 2397364 33554432000 4194304 4580107 140736591812368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=11289928 CPUtime=4955.35 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1473516 0 0 0 494984 551 0 0 25 0 8 0 720820314 11560886272 2397364 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=11289928 CPUtime=4949.27 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1450320 0 0 0 494426 501 0 0 25 0 8 0 720820314 11560886272 2397364 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 3 0 0 46
Current children cumulated CPU time (s) 39587.5
Current children cumulated vsize (KiB) 11289928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5014.12 s]
/proc/loadavg: 8.02 8.05 8.00 9/482 8042
/proc/meminfo: memFree=398116/32950928 swapFree=54423884/67111528
[pid=7888] ppid=7886 vsize=10806936 CPUtime=40000.6 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4202496 11866189 0 0 0 3995383 4676 0 0 25 0 8 0 720820313 11066302464 2345930 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 39
/proc/7888/statm: 2701734 2345930 380 95 0 2696716 0
[pid=7888/tid=7889] ppid=7886 vsize=10806936 CPUtime=5008.49 cores=0-7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1545596 0 0 0 500235 614 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 35
[pid=7888/tid=7890] ppid=7886 vsize=10806936 CPUtime=5003.33 cores=0-7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1472971 0 0 0 499743 590 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 0 0 0 56
[pid=7888/tid=7891] ppid=7886 vsize=10806936 CPUtime=5002.57 cores=0-7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1497061 0 0 0 499653 604 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4515231 0 0 4096 2 0 0 0 -1 5 0 0 52
[pid=7888/tid=7892] ppid=7886 vsize=10806936 CPUtime=4993.1 cores=0-7
/proc/7888/task/7892/stat : 7892 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1479387 0 0 0 498701 609 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 46
[pid=7888/tid=7893] ppid=7886 vsize=10806936 CPUtime=5009.43 cores=0-7
/proc/7888/task/7893/stat : 7893 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1498953 0 0 0 500344 599 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 54
[pid=7888/tid=7894] ppid=7886 vsize=10806936 CPUtime=5007.14 cores=0-7
/proc/7888/task/7894/stat : 7894 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1484181 0 0 0 500158 556 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 1 0 0 41
[pid=7888/tid=7895] ppid=7886 vsize=10806936 CPUtime=5000.83 cores=0-7
/proc/7888/task/7895/stat : 7895 (strangenight2-m) R 7886 7888 7428 0 -1 4202560 1453735 0 0 0 499580 503 0 0 25 0 8 0 720820314 11066302464 2345935 33554432000 4194304 4580107 140736591812368 18446744073709551615 4317485 0 0 4096 2 0 0 0 -1 2 0 0 51
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 10806936

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

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

[startup+5014.5 s]
/proc/loadavg: 8.02 8.05 8.00 9/482 8042
/proc/meminfo: memFree=398116/32950928 swapFree=54423884/67111528
[pid=7888] ppid=7886 vsize=0 CPUtime=40001.1 cores=0-7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7428 0 -1 4203524 11866202 0 0 0 3995393 4712 0 0 25 0 1 0 720820313 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 39
/proc/7888/statm: 0 0 0 0 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): 5014.57
CPU time (s): 40001.1
CPU user time (s): 39953.9
CPU system time (s): 47.1908
CPU usage (%): 797.698
Max. virtual memory (cumulated for all children) (KiB): 11587068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39953.9
system time used= 47.1908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11866202
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= 683790
involuntary context switches= 163538

runsolver used 22.2916 second user time and 57.0263 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-22 21:23:26
IDJOB=3394168
IDBENCH=82363
IDSOLVER=1878
FILE ID=node127/3394168-1306092205
RUNJOBID= node127-1306090631-7442
PBS_JOBID= 13387935
Free space on /tmp= 73300 MiB

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

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=1324182912

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       7770228 kB
Buffers:        216300 kB
Cached:        3887068 kB
SwapCached:      19444 kB
Active:        8087536 kB
Inactive:     16824416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       7770228 kB
SwapTotal:    67111528 kB
SwapFree:     56454924 kB
Dirty:           49476 kB
Writeback:           0 kB
AnonPages:    20796116 kB
Mapped:          31700 kB
Slab:           102488 kB
PageTables:      94760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119726576 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= 73296 MiB
End job on node127 at 2011-05-22 22:47:03