Trace number 3393910

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)UNSAT 9415.61 1242.96

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark380.915
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.19/0.03	c This is CryptoMiniSat 3.0.0
0.19/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.19/0.03	c Reading file 'HOME/instance-3393910-1306071615.cnf'
0.19/0.04	c -- header says num vars:         154309
0.19/0.04	c -- header says num clauses:     3230738
11.79/2.48	c -- clauses added:            0 learnts,      3230738 normals,            0 xors
11.79/2.48	c -- vars added     154309
11.79/2.48	c Parsing time:  0.94 s
11.79/2.48	c  N st     0         0    154309   1205743   2024994         0   9429251         0   no data   no data
16.29/3.06	c asymm  cl-useful: 7/877/1205741 lits-rem:20 time: 0.54
92.89/12.65	c Flit:   655 Blit:   3599 bXBeca:    0 bXProp:   13 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.58
93.69/12.74	c Cleaning up after failed var search:     0.10 s 
95.29/12.98	c Replacing       13 vars Replaced    59010 lits Time:     0.23 s 
100.44/13.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.83/13.93	c bin-w-bin subsume rem          290 bins  time:  0.24 s
138.78/18.42	c subs with bin:      382  lits-rem:      9637  v-fix:    0  time:  4.49 s
166.80/21.98	c Subs w/ non-existent bins:     28 l-rem:     22 v-fix:     0 done:  16524 time:  3.53 s
169.11/22.23	c Removed useless bin:       1  fixed:     0  props:  20.01M  time:  0.25 s
203.35/26.53	c lits-rem:       456  cl-subs:     4090  v-elim:  16822  v-fix:    0  time:  4.27 s
204.13/26.60	c Finding binary XORs  T:     0.07 s  found:       6
204.93/26.76	c Replacing        6 vars Replaced     6684 lits Time:     0.15 s 
213.69/27.85	c Finding non-binary XORs:     0.96 s (found:       2, avg size: 3.0)
213.69/27.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
214.49/27.95	c calculated reachability. Time: 0.00
215.29/28.05	c Calc default polars -  time:   0.10 s pos:    9236 undec:   21171 neg:  123902
215.29/28.05	c =========================================================================================
215.29/28.05	c types(t): F = full restart, N = normal restart
215.29/28.05	c types(t): S = simplification begin/end, E = solution found
215.29/28.05	c restart types(rt): st = static, dy = dynamic
215.29/28.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
215.29/28.05	c  B st     0         0    133210   1274167   1841672         0   9483073         0   no data   no data
266.42/34.49	c  N dy    17      4097    133210   1274167   1841764      3930   9483070    156459     15.10     22.18
312.76/40.21	c  N dy    45      8577    133206   1274167   1843130      8210   9483065    332007     17.34     18.33
352.00/45.15	c  N dy    66     13225    133205   1274167   1843230     12675   9483058    503911     16.64     17.56
383.08/49.02	c  N dy    86     17378    133201   1274167   1844074     16680   9483050    637478     16.39     17.64
420.64/53.70	c  N dy   118     21606    133198   1274167   1844568     11183   9483046    262545     16.80     18.01
447.88/57.12	c  F st   141     25000    133198   1274167   1844637     14455   9483043    384447     16.98   no data
455.80/58.16	c  N st   143     25628    133194   1274167   1844868     15073   9482633    417971     16.98   no data
475.75/60.63	c  N dy   147     30001    133194   1274167   1844912     19306   9482633    579007     16.98   no data
475.75/60.63	c  S st   147     30001    133194   1274167   1844912     19306   9482633    579007     16.98   no data
481.35/61.31	c  S st   147     30502    133184   1274167   1844959     19748   9482631    584332     16.98   no data
482.15/61.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
555.65/70.64	c Flit:   384 Blit:   5036 bXBeca:    0 bXProp:  140 Bins:1054886 BRemL:   3322 BRemN:     35 P: 200.1M T:  9.21
556.45/70.77	c Cleaning up after failed var search:     0.13 s 
559.65/71.10	c Replacing      141 vars Replaced    88295 lits Time:     0.32 s 
563.64/71.67	c blocked clauses removed:      774 vars:    673 tried:      127052 T: 0.19 s
566.04/71.93	c bin-w-bin subsume rem         1579 bins  time:  0.26 s
608.38/77.28	c subs with bin:     5425  lits-rem:     74108  v-fix:    0  time:  5.35 s
640.34/81.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4398 time:  3.91 s
642.02/81.45	c Removed useless bin:      68  fixed:     0  props:  20.10M  time:  0.21 s
661.90/83.94	c lits-rem:       488  cl-subs:     3404  v-elim:   1369  v-fix:    0  time:  2.48 s
673.08/85.37	c subs with bin:      106  lits-rem:      8752  v-fix:    0  time:  1.35 s
688.27/87.25	c lits-rem:      3507  cl-subs:     2857  v-elim:      0  v-fix:    0  time:  1.67 s
688.27/87.25	c Added XOR as norm:2
689.87/87.49	c asymm  cl-useful: 0/5231/1263091 lits-rem:0 time: 0.24
691.47/87.60	c calculated reachability. Time: 0.01
691.47/87.60	c  N dy   147     30502    124240   1263091   2548139     17666   8980832   2178088     16.98   no data
691.47/87.69	c Finding binary XORs  T:     0.08 s  found:     103
753.04/96.44	c  N dy   178     34563    124201   1263091   2550869     21602   8980829   2338649     17.24     18.78
845.48/112.17	c  N dy   196     38573    121340   1262282   2527042     25429   8857062   2524279     17.17     33.61
888.21/117.54	c  N dy   212     42629    121340   1262282   2527090     14731   8857056   1971388     17.00     24.17
932.62/124.69	c Finding binary XORs  T:     0.09 s  found:      50
949.39/126.77	c  S st   236     45753    120948   1262256   2579927     17772   8844647   2206342     17.16   no data
956.50/127.61	c  S st   236     46253    120933   1262256   2579971     18207   8844647   2212648     17.16   no data
957.13/127.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1028.79/137.57	c Flit:   836 Blit:  14469 bXBeca:    0 bXProp:   62 Bins: 553675 BRemL:   1272 BRemN:     20 P: 200.1M T:  9.80
1029.94/137.84	c Cleaning up after failed var search:     0.27 s 
1031.14/138.18	c Replacing      215 vars Replaced   115596 lits Time:     0.33 s 
1032.79/138.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1033.94/138.87	c bin-w-bin subsume rem         4355 bins  time:  0.26 s
1066.79/144.16	c subs with bin:     9704  lits-rem:     63631  v-fix:    0  time:  5.29 s
1090.68/147.19	c Subs w/ non-existent bins:    625 l-rem:    451 v-fix:     8 done:  21128 time:  3.03 s
1093.15/147.42	c Removed useless bin:      77  fixed:     0  props:  20.03M  time:  0.21 s
1116.69/150.40	c lits-rem:      3110  cl-subs:     6434  v-elim:   1642  v-fix:    0  time:  2.97 s
1125.48/151.56	c subs with bin:      202  lits-rem:      4661  v-fix:    0  time:  1.01 s
1140.66/153.49	c lits-rem:      4545  cl-subs:     1695  v-elim:      0  v-fix:    0  time:  1.62 s
1143.86/153.89	c asymm  cl-useful: 0/84272/1229972 lits-rem:0 time: 0.40
1144.74/154.01	c calculated reachability. Time: 0.01
1145.55/154.01	c  N dy   236     46253    102825   1229972   2362825     16648   7839063   2264150     17.16   no data
1146.25/154.10	c Finding binary XORs  T:     0.09 s  found:     549
1211.79/163.62	c Finding binary XORs  T:     0.08 s  found:      86
1212.87/163.95	c  N dy   266     50337     98999   1227403   2461205     20522   7639378   2765490     17.30     26.20
1228.58/168.21	c  N dy   299     54393     98999   1227403   2461253     24472   7639374   2939880     17.62     27.39
1293.26/180.30	c  N dy   330     58414     98995   1227403   2467934     28415   7639372   3111007     17.82     30.37
1349.48/190.90	c Finding binary XORs  T:     0.08 s  found:      17
1352.72/191.41	c  N dy   362     62688     94672   1227086   2725558     32560   7487504   3939297     18.03     19.36
1394.21/196.70	c  N dy   395     66907     94670   1227086   2725597     19033   7487488   3256527     18.25     19.24
1410.18/198.71	c  S st   398     69379     94665   1227086   2726196     21386   7487488   3341181     17.97      8.72
1416.57/199.59	c  S st   398     69879     94652   1227086   2726230     21839   7487488   3345699     17.97   no data
1418.17/199.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1562.06/217.77	c Flit:   260 Blit:     81 bXBeca:    0 bXProp:   52 Bins:1321648 BRemL:  15400 BRemN:    681 P: 200.1M T: 18.01
1562.06/217.78	c Cleaning up after failed var search:     0.00 s 
1565.97/218.27	c Replacing      704 vars Replaced   192912 lits Time:     0.49 s 
1569.98/218.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1573.97/219.23	c bin-w-bin subsume rem        32087 bins  time:  0.48 s
1616.31/224.59	c subs with bin:     1699  lits-rem:     22865  v-fix:    0  time:  5.36 s
1640.28/227.55	c Subs w/ non-existent bins:    349 l-rem:    401 v-fix:    50 done:  26669 time:  2.96 s
1641.96/227.79	c Removed useless bin:     301  fixed:     0  props:  20.02M  time:  0.24 s
1675.43/231.98	c lits-rem:       655  cl-subs:     7614  v-elim:    351  v-fix:    0  time:  4.18 s
1681.02/232.63	c subs with bin:      374  lits-rem:      7387  v-fix:    0  time:  0.49 s
1696.19/234.51	c lits-rem:       108  cl-subs:     1582  v-elim:      0  v-fix:    0  time:  1.59 s
1698.59/234.89	c asymm  cl-useful: 0/49968/1216704 lits-rem:0 time: 0.38
1700.19/235.03	c calculated reachability. Time: 0.01
1700.19/235.03	c  N dy   398     69879     93104   1216704   3827161     19347   7329044   5522876     17.97   no data
1700.99/235.13	c Finding binary XORs  T:     0.09 s  found:       9
1748.12/241.06	c  N dy   429     74399     93104   1216704   3827199     23764   7329036   5701590     18.15     21.34
1793.81/249.47	c  N dy   440     80768     91502   1215738   3722616     29731   7249116   5703954     17.71     19.15
1868.71/278.59	c Finding binary XORs  T:     0.09 s  found:      24
1884.38/282.07	c  N dy   469     86044     91468   1215737   4255841     34780   7247965   6964913     17.63     19.05
1916.74/290.29	c  F st   479     87501     89095   1215718   4119897     36195   7176230   6812831     17.68     12.44
1919.13/290.60	c Replacing       33 vars Replaced    44836 lits Time:     0.30 s 
1967.07/296.55	c  N dy   485     92694     89063   1215688   4119846     21983   7176035   6258068     17.68   no data
2030.18/304.46	c  N dy   524     98675     89063   1215688   4120286     27812   7176022   6513675     17.76     19.74
2075.84/310.49	c  S st   562    104819     89061   1215688   4120695     33819   7176010   6774949     17.83     15.96
2088.48/312.08	c  S st   562    105321     88483   1215688   4270740     34278   7176010   7079772     17.83   no data
2090.08/312.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
2173.15/322.62	c Flit:  2004 Blit:     16 bXBeca:    0 bXProp:   44 Bins: 108943 BRemL:  11756 BRemN:    327 P: 200.1M T: 10.38
2173.95/322.76	c Cleaning up after failed var search:     0.13 s 
2177.15/323.10	c Replacing       44 vars Replaced   105019 lits Time:     0.34 s 
2180.33/323.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2184.33/324.08	c bin-w-bin subsume rem        39267 bins  time:  0.51 s
2226.68/329.37	c subs with bin:     1980  lits-rem:     20636  v-fix:    0  time:  5.30 s
2248.26/332.03	c Subs w/ non-existent bins:    409 l-rem:    593 v-fix:     1 done:  22813 time:  2.65 s
2250.64/332.30	c Removed useless bin:    4774  fixed:     0  props:  20.02M  time:  0.27 s
2272.27/335.35	c lits-rem:       291  cl-subs:     7486  v-elim:     89  v-fix:    0  time:  3.03 s
2283.83/336.97	c subs with bin:      781  lits-rem:      4451  v-fix:    0  time:  1.47 s
2298.84/338.82	c lits-rem:       789  cl-subs:     1538  v-elim:      0  v-fix:    0  time:  1.54 s
2301.15/339.16	c asymm  cl-useful: 0/23759/1205346 lits-rem:0 time: 0.33
2302.75/339.30	c calculated reachability. Time: 0.01
2302.75/339.30	c  N dy   562    105321     84771   1205346   3940589     31605   6874802   6510895     17.83   no data
2303.55/339.40	c Finding binary XORs  T:     0.09 s  found:      15
2363.47/346.93	c Finding binary XORs  T:     0.09 s  found:      18
2368.35/347.58	c  N dy   610    112057     83078   1204618   3950573     38126   6802660   6851356     18.00     21.55
2437.79/356.24	c  N dy   669    119685     83078   1204618   3973394     24491   6802646   6182217     18.31     19.43
2484.91/362.17	c  N dy   696    127374     83073   1204618   3979014     31840   6802644   6430002     18.11     19.08
2541.64/369.26	c  N dy   732    135513     82921   1204618   3979284     39709   6802643   6733226     18.06     21.16
2614.43/378.35	c  N dy   787    144220     82918   1204618   3979543     25543   6802618   6192740     18.10     19.34
2659.88/384.03	c Finding binary XORs  T:     0.09 s  found:      18
2692.65/388.10	c  N dy   838    153599     80945   1202767   3814285     34257   6676800   6300748     18.04     19.00
2727.00/392.47	c  S st   867    157982     80945   1202767   3814305     38539   6676792   6483685     18.09     15.23
2731.79/393.05	c Finding binary XORs  T:     0.09 s  found:      25
2737.25/393.80	c  S st   867    158487     77977   1200727   3778355     38999   6586019   6480502     18.09   no data
2738.61/393.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2827.30/405.02	c Flit:   506 Blit:    502 bXBeca:    0 bXProp:   25 Bins: 260761 BRemL:   9538 BRemN:     35 P: 200.0M T: 11.07
2828.09/405.14	c Cleaning up after failed var search:     0.12 s 
2829.69/405.36	c Replacing      102 vars Replaced    50954 lits Time:     0.22 s 
2832.90/405.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2836.88/406.26	c bin-w-bin subsume rem        21245 bins  time:  0.47 s
2864.04/409.62	c subs with bin:     1550  lits-rem:     20443  v-fix:    0  time:  3.35 s
2881.63/411.88	c Subs w/ non-existent bins:     69 l-rem:    329 v-fix:    12 done:  29181 time:  2.25 s
2884.01/412.19	c Removed useless bin:    8661  fixed:     0  props:  20.01M  time:  0.31 s
2906.39/414.90	c lits-rem:       375  cl-subs:     1760  v-elim:    497  v-fix:    0  time:  2.68 s
2917.57/416.35	c subs with bin:      743  lits-rem:      7307  v-fix:    0  time:  1.28 s
2933.54/418.31	c lits-rem:      1302  cl-subs:     2226  v-elim:      0  v-fix:    0  time:  1.66 s
2935.96/418.67	c asymm  cl-useful: 0/5570/1195425 lits-rem:0 time: 0.37
2937.55/418.81	c calculated reachability. Time: 0.00
2937.55/418.81	c  N dy   867    158487     74800   1195425   3627678     35674   6447947   6174428     18.09   no data
2938.35/418.90	c Finding binary XORs  T:     0.09 s  found:       1
2999.29/426.99	c Finding binary XORs  T:     0.08 s  found:      72
3019.39/431.11	c  N dy   952    168697     72625   1195208   4027573     45642   6366703   7497826     18.32     27.37
3117.80/444.76	c  N dy  1040    179468     72610   1195208   4046543     32819   6366698   6912246     18.52     19.52
3224.87/458.19	c  N dy  1129    190951     72610   1195208   4047073     44061   6366691   7441422     18.71     35.90
3322.28/470.57	c Finding binary XORs  T:     0.09 s  found:      77
3338.28/472.70	c  N dy  1219    203218     70609   1194701   4245162     31179   6299300   7215249     18.88     23.87
3449.40/486.93	c  N dy  1325    216275     70597   1194701   4246182     44020   6299286   7815609     19.15     31.48
3563.65/501.26	c  N dy  1411    230423     70596   1194701   4246669     31649   6299276   7149511     19.28     20.35
3623.57/508.72	c  S st  1459    237731     70596   1194701   4246939     38828   6299273   7464363     19.32   no data
3629.95/509.56	c  S st  1459    238232     70594   1194701   4247145     39308   6299273   7470791     19.32   no data
3631.56/509.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
3722.65/521.16	c Flit:  1000 Blit:    107 bXBeca:    0 bXProp:  215 Bins:  72736 BRemL:   8470 BRemN:     51 P: 200.0M T: 11.45
3723.45/521.29	c Cleaning up after failed var search:     0.12 s 
3725.83/521.57	c Replacing      365 vars Replaced   121489 lits Time:     0.28 s 
3729.83/522.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3733.91/522.54	c bin-w-bin subsume rem        45328 bins  time:  0.54 s
3749.82/524.54	c subs with bin:     1179  lits-rem:      7275  v-fix:    0  time:  2.00 s
3756.20/525.36	c Subs w/ non-existent bins:    197 l-rem:   1216 v-fix:     0 done:  11234 time:  0.82 s
3758.60/525.67	c Removed useless bin:    6647  fixed:     0  props:  20.01M  time:  0.31 s
3779.36/528.27	c lits-rem:       358  cl-subs:     2532  v-elim:    215  v-fix:    0  time:  2.59 s
3788.15/529.39	c subs with bin:      385  lits-rem:      3928  v-fix:    0  time:  1.01 s
3803.41/531.22	c lits-rem:      1652  cl-subs:     2103  v-elim:      0  v-fix:    0  time:  1.54 s
3806.52/531.61	c asymm  cl-useful: 0/42659/1190294 lits-rem:0 time: 0.39
3807.32/531.75	c calculated reachability. Time: 0.00
3807.32/531.75	c  N dy  1459    238232     68593   1190294   4022788     36629   6176843   7035808     19.32   no data
3808.12/531.84	c Finding binary XORs  T:     0.09 s  found:       2
3912.79/544.91	c  N dy  1538    254096     68579   1190294   4028321     52141   6176834   7703931     19.20     20.23
4023.12/558.76	c  N dy  1640    270362     68513   1190294   4029353     41147   6176830   7193902     19.24     27.82
4161.27/576.04	c  N dy  1744    287674     68453   1190294   4029842     29831   6176827   6667956     19.28     20.53
4245.00/586.88	c Finding binary XORs  T:     0.09 s  found:      54
4310.60/595.04	c  N dy  1833    306111     67700   1189782   4241216     47907   6140350   7854181     19.20     20.42
4312.11/595.28	c  F st  1835    306250     67700   1189782   4241216     48046   6140350   7859174     19.20   no data
4316.11/595.74	c Replacing       56 vars Replaced    53282 lits Time:     0.35 s 
4472.69/615.33	c  N dy  1932    325689     67644   1189587   4236541     37790   6131771   7405997     19.29     38.89
4531.81/622.71	c Finding binary XORs  T:     0.09 s  found:      80
4628.48/634.87	c  N dy  2070    345787     67451   1189546   4312287     57524   6124607   8454963     19.37     25.11
4728.34/647.33	c  S st  2152    357348     67268   1189546   4360939     38795   6124599   7697068     19.45   no data
4737.14/648.47	c  S st  2152    357848     67266   1189546   4360961     39271   6124599   7701266     19.45   no data
4738.74/648.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
4832.22/660.33	c Flit:   352 Blit:     61 bXBeca:    0 bXProp:   59 Bins:  39122 BRemL:   8908 BRemN:     42 P: 200.0M T: 11.58
4832.22/660.33	c Cleaning up after failed var search:     0.00 s 
4834.62/660.68	c Replacing      140 vars Replaced    54042 lits Time:     0.34 s 
4838.70/661.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4842.60/661.66	c bin-w-bin subsume rem        29898 bins  time:  0.53 s
4856.28/663.36	c subs with bin:      853  lits-rem:      3733  v-fix:    0  time:  1.68 s
4861.78/664.03	c Subs w/ non-existent bins:    161 l-rem:    766 v-fix:     0 done:  16707 time:  0.67 s
4864.26/664.36	c Removed useless bin:    4525  fixed:     0  props:  20.01M  time:  0.32 s
4884.95/666.97	c lits-rem:       276  cl-subs:     1456  v-elim:    555  v-fix:    0  time:  2.58 s
4893.74/668.07	c subs with bin:      247  lits-rem:      1588  v-fix:    0  time:  0.98 s
4907.33/669.79	c lits-rem:       504  cl-subs:     1734  v-elim:      0  v-fix:    0  time:  1.42 s
4911.32/670.23	c asymm  cl-useful: 1/34571/1188159 lits-rem:3 time: 0.43
4912.12/670.38	c calculated reachability. Time: 0.00
4912.12/670.38	c  N dy  2152    357848     66150   1188158   4194418     37237   6067924   7359874     19.45   no data
4912.92/670.47	c Finding binary XORs  T:     0.09 s  found:       5
5082.30/691.68	c  N dy  2298    377935     66147   1188158   4199518     56995   6067902   8308073     19.56     20.74
5232.51/710.47	c  N dy  2420    398470     66108   1188158   4199919     46264   6067895   7683540     19.60     21.14
5408.28/732.40	c  N dy  2569    418537     65967   1188158   4201722     33834   6067885   7068861     19.74     22.98
5564.07/751.91	c  N dy  2702    438547     65967   1188158   4202103     53595   6067870   8007496     19.82     31.87
5735.85/773.42	c  N dy  2835    458623     65967   1188158   4202550     40047   6067869   7289160     19.90     21.18
5901.31/794.12	c  N dy  2961    478875     65962   1188158   4203075     60012   6067862   8195110     19.97     22.38
6049.05/812.64	c  N dy  3076    499007     65962   1188158   4203364     45466   6067851   7473513     19.98     22.02
6202.45/831.89	c  N dy  3207    519058     65961   1188158   4203682     65327   6067848   8413721     20.05     30.39
6356.64/851.15	c  S st  3340    536775     65961   1188158   4203988     47224   6067848   7588133     20.14   no data
6365.43/852.20	c  S st  3340    537277     65961   1188158   4203993     47720   6067848   7598154     20.14   no data
6366.23/852.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
6465.30/864.77	c Flit:    36 Blit:     99 bXBeca:    0 bXProp:   97 Bins:  58068 BRemL:  38998 BRemN:    111 P: 200.0M T: 12.28
6465.30/864.77	c Cleaning up after failed var search:     0.00 s 
6468.50/865.15	c Replacing      102 vars Replaced   118799 lits Time:     0.37 s 
6471.68/865.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6476.48/866.12	c bin-w-bin subsume rem        24340 bins  time:  0.53 s
6489.27/867.71	c subs with bin:      664  lits-rem:      2719  v-fix:    0  time:  1.58 s
6494.86/868.42	c Subs w/ non-existent bins:     24 l-rem:    571 v-fix:     0 done:  26153 time:  0.70 s
6497.26/868.79	c Removed useless bin:    8349  fixed:     0  props:  20.01M  time:  0.36 s
6518.81/871.43	c lits-rem:       371  cl-subs:      422  v-elim:    445  v-fix:    0  time:  2.60 s
6530.00/872.85	c subs with bin:      280  lits-rem:      3332  v-fix:    0  time:  1.29 s
6545.18/874.71	c lits-rem:       292  cl-subs:     1806  v-elim:      0  v-fix:    0  time:  1.55 s
6548.39/875.19	c asymm  cl-useful: 0/87404/1187165 lits-rem:0 time: 0.48
6549.98/875.33	c calculated reachability. Time: 0.00
6549.98/875.33	c  N dy  3340    537277     65276   1187165   4043338     45597   6008032   7275788     20.14   no data
6550.78/875.42	c Finding binary XORs  T:     0.09 s  found:       9
6688.20/892.66	c  N dy  3435    557393     65155   1187165   4119533     65391   6008031   8374074     20.14     21.20
6689.80/892.88	c Finding binary XORs  T:     0.09 s  found:      35
6851.29/913.04	c  N dy  3542    577406     65155   1187165   4103429     48838   6005192   7438232     20.13     25.92
6896.72/918.75	c Finding binary XORs  T:     0.09 s  found:      33
6994.99/931.05	c  N dy  3632    598762     64896   1187148   4157649     69752   5997437   8535720     20.07     21.36
7041.50/937.07	c Finding binary XORs  T:     0.09 s  found:       8
7151.76/950.84	c  N dy  3747    619165     64811   1187028   4299211     52585   5994154   7917371     20.06     21.13
7316.33/971.42	c  N dy  3880    639241     64800   1187028   4299592     72420   5994154   8853590     20.11     23.29
7473.82/991.19	c  N dy  3986    661969     64799   1187028   4299819     56543   5994151   8059358     20.08     21.50
7495.30/993.81	c Finding binary XORs  T:     0.09 s  found:      37
7640.00/1011.95	c  N dy  4114    682032     64575   1186482   4351468     76177   5977951   9069986     20.10     22.56
7774.93/1028.87	c  N dy  4191    702931     64406   1186482   4372648     57332   5977943   8189208     20.03     21.16
7777.33/1029.17	c Finding binary XORs  T:     0.09 s  found:      24
7935.54/1048.97	c  N dy  4313    723120     64210   1186402   4457055     77126   5972497   9248054     20.05     21.15
8090.52/1068.33	c  N dy  4413    744446     64210   1186402   4457214     57789   5972485   8366244     20.01     21.16
8195.18/1081.49	c  N dy  4487    764488     64208   1186402   4457405     77369   5972485   9294863     19.98     21.16
8331.01/1098.45	c  N dy  4579    784592     64194   1186402   4457583     55925   5972478   8254607     19.94     21.30
8437.28/1111.74	c  N dy  4642    804856     64186   1186402   4457932     75847   5972478   9135271     19.88     21.15
8442.07/1112.37	c  S st  4645    805916     64186   1186402   4457932     76893   5972478   9177049     19.87     14.34
8450.86/1113.40	c  S st  4645    806416     64186   1186402   4457938     77385   5972478   9184339     19.87   no data
8451.66/1113.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
8553.13/1126.29	c Flit:   133 Blit:    158 bXBeca:    0 bXProp:   58 Bins: 221282 BRemL:  15464 BRemN:     28 P: 200.0M T: 12.61
8553.13/1126.29	c Cleaning up after failed var search:     0.00 s 
8557.12/1126.77	c Replacing      204 vars Replaced   228889 lits Time:     0.47 s 
8561.12/1127.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8567.51/1128.05	c bin-w-bin subsume rem        76792 bins  time:  0.84 s
8580.38/1129.70	c subs with bin:     1633  lits-rem:      6691  v-fix:    0  time:  1.63 s
8588.29/1130.62	c Subs w/ non-existent bins:     77 l-rem:    356 v-fix:     0 done:  37340 time:  0.91 s
8590.67/1130.95	c Removed useless bin:    1867  fixed:     0  props:  20.00M  time:  0.32 s
8612.25/1133.60	c lits-rem:       355  cl-subs:      647  v-elim:    258  v-fix:    0  time:  2.62 s
8625.12/1135.25	c subs with bin:       56  lits-rem:      7594  v-fix:    0  time:  1.45 s
8645.00/1137.70	c lits-rem:       354  cl-subs:     4688  v-elim:      0  v-fix:    0  time:  2.13 s
8649.00/1138.24	c asymm  cl-useful: 90/15257/1182567 lits-rem:270 time: 0.54
8650.68/1138.41	c calculated reachability. Time: 0.01
8650.68/1138.41	c  N dy  4645    806416     63362   1182477   4382309     70279   5901183   8812621     19.87   no data
8650.68/1138.50	c Finding binary XORs  T:     0.09 s  found:       2
8766.35/1152.97	c  N dy  4728    826516     63338   1182477   4404588     49058   5901183   7878025     19.83     21.42
8898.18/1169.41	c  N dy  4824    846568     63333   1182477   4404776     68766   5901173   8737434     19.81     25.69
9040.39/1187.24	c  N dy  4932    866663     63331   1182477   4404980     46087   5901169   7687122     19.82     21.36
9188.21/1205.73	c  N dy  5045    886690     63283   1182477   4405160     65737   5901133   8559334     19.82     23.35
9259.31/1214.67	c Finding binary XORs  T:     0.08 s  found:     915
9262.51/1215.08	c Replacing      917 vars Replaced   171047 lits Time:     0.40 s 
9289.67/1218.48	c  N dy  5117    906857     59977   1170378   3566135     68202   5676891   7114175     19.76     20.94
9382.34/1230.00	c  N dy  5213    926873     56981   1159073   2058631     47778   5542782   3715430     19.78     26.61
9415.34/1242.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
9415.34/1242.70	c num threads              : 8          
9415.34/1242.70	c restarts                 : 6937       
9415.34/1242.70	c dynamic restarts         : 6907       
9415.34/1242.70	c static restarts          : 30         
9415.34/1242.70	c full restarts            : 4          
9415.34/1242.70	c total simplify time      : 7.02       
9415.34/1242.70	c learnts DL2              : 0          
9415.34/1242.70	c learnts size 2           : 9368287    
9415.34/1242.70	c learnts size 1           : 80976       (52.48     % of vars)
9415.34/1242.70	c filedLit time            : 44.84       (3.81      % time)
9415.34/1242.70	c v-elim SatELite          : 21744       (14.09     % vars)
9415.34/1242.70	c SatELite time            : 27.50       (2.33      % time)
9415.34/1242.70	c v-elim xor               : 0           (0.00      % vars)
9415.34/1242.70	c xor elim time            : 0.72        (0.06      % time)
9415.34/1242.70	c num binary xor trees     : 1251       
9415.34/1242.70	c binxor trees' crown      : 2559        (2.05      leafs/tree)
9415.34/1242.70	c bin xor find time        : 2.23       
9415.34/1242.70	c OTF clause improved      : 19243       (0.02      clauses/conflict)
9415.34/1242.70	c OTF impr. size diff      : 29641       (1.54       lits/clause)
9415.34/1242.70	c OTF cl watch-shrink      : 868191      (0.70      clauses/conflict)
9415.34/1242.70	c OTF cl watch-sh-lit      : 4782513     (5.51       lits/clause)
9415.34/1242.70	c tried to recurMin cls    : 0           (0.00       % of conflicts)
9415.34/1242.70	c updated cache            : 0           (nan        lits/tried recurMin)
9415.34/1242.70	c unit cls recevied        : 28874       (35.66     % of units)
9415.34/1242.70	c unit cls sent            : 6800        (8.40      % of units)
9415.34/1242.70	c bin cls recevied         : 6888298    
9415.34/1242.70	c bin cls sent             : 471449     
9415.34/1242.70	c clauses over max glue    : 0           (0.00      % of all clauses)
9415.34/1242.70	c conflicts                : 1249184     (1060.16   / sec)
9415.34/1242.70	c decisions                : 121913267   (0.17      % random)
9415.34/1242.70	c bogo-props               : 30317238556 (25729776.99 / sec)
9415.34/1242.70	c conflict literals        : 56626302    (25.82     % deleted)
9415.34/1242.70	c Memory used              : 6441.80     MB
9415.34/1242.70	c single-thread CPU time   : 1178.29     s
9415.34/1242.70	c all-threads sum CPU time : 9404.35     s
9415.34/1242.70	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3393910-1306071615/watcher-3393910-1306071615 -o /tmp/evaluation-result-3393910-1306071615/solver-3393910-1306071615 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393910-1306071615.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: 7.62 7.95 6.59 1/320 21555
/proc/meminfo: memFree=19953404/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=92144 CPUtime=0.05 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 412 0 0 0 5 0 0 0 21 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510898 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21555/statm: 23036 352 299 95 0 18018 0
[pid=21555/tid=21556] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510898 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510898 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510892 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510898 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 797392349 94355456 352 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510902 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.031995 s]
/proc/loadavg: 7.62 7.95 6.59 1/320 21555
/proc/meminfo: memFree=19953404/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=92144 CPUtime=0.19 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 421 0 0 0 19 0 0 0 21 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510480 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21555/statm: 23036 361 302 95 0 18018 0
[pid=21555/tid=21556] ppid=21553 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=92144 CPUtime=0 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510487 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510489 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510493 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510489 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510489 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 797392349 94355456 361 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510489 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 92144

[startup+0.10101 s]
/proc/loadavg: 7.62 7.95 6.59 1/320 21555
/proc/meminfo: memFree=19953404/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=633244 CPUtime=0.54 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 13837 0 0 0 44 10 0 0 17 0 8 0 797392349 648441856 12019 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21555/statm: 158311 12022 337 95 0 153293 0
[pid=21555/tid=21556] ppid=21553 vsize=633244 CPUtime=0.04 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1234 0 0 0 4 0 0 0 17 0 8 0 797392349 648441856 12025 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=633244 CPUtime=0.03 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1567 0 0 0 2 1 0 0 17 0 8 0 797392349 648441856 12031 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 18446604471119458496 0 0 -1 2 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=633244 CPUtime=0.07 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1682 0 0 0 6 1 0 0 17 0 8 0 797392349 648441856 12032 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=633244 CPUtime=0.06 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1765 0 0 0 5 1 0 0 17 0 8 0 797392349 648441856 12035 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020054776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=633244 CPUtime=0.07 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1801 0 0 0 6 1 0 0 18 0 8 0 797392349 648441856 12035 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=633244 CPUtime=0.08 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1952 0 0 0 7 1 0 0 17 0 8 0 797392349 648441856 12041 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=633244 CPUtime=0.07 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 1621 0 0 0 5 2 0 0 17 0 8 0 797392349 648441856 12056 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 633244

[startup+0.300974 s]
/proc/loadavg: 7.62 7.95 6.59 1/320 21555
/proc/meminfo: memFree=19953404/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=681816 CPUtime=1.55 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 48127 0 0 0 118 37 0 0 16 0 8 0 797392349 698179584 39702 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21555/statm: 170454 39704 337 95 0 165436 0
[pid=21555/tid=21556] ppid=21553 vsize=681816 CPUtime=0.16 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 6323 0 0 0 13 3 0 0 16 0 8 0 797392349 698179584 39709 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 18446604471119458496 0 0 -1 4 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=681816 CPUtime=0.11 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 6380 0 0 0 9 2 0 0 16 0 8 0 797392349 698179584 39713 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=681816 CPUtime=0.18 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 5529 0 0 0 15 3 0 0 16 0 8 0 797392349 698179584 39715 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=681816 CPUtime=0.17 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 5894 0 0 0 13 4 0 0 16 0 8 0 797392349 698179584 39715 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=681816 CPUtime=0.23 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 6080 0 0 0 17 6 0 0 17 0 8 0 797392349 698179584 39718 33554432000 4194304 4580107 140737350745280 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=681816 CPUtime=0.23 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 6558 0 0 0 18 5 0 0 18 0 8 0 797392349 698179584 39720 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 18446604471119458496 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=681816 CPUtime=0.23 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 5724 0 0 0 17 6 0 0 17 0 8 0 797392349 698179584 39720 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 681816

[startup+0.700904 s]
/proc/loadavg: 7.62 7.95 6.59 1/320 21555
/proc/meminfo: memFree=19953404/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=752216 CPUtime=3.38 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 98874 0 0 0 251 87 0 0 16 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21555/statm: 188054 83875 337 95 0 183036 0
[pid=21555/tid=21556] ppid=21553 vsize=752216 CPUtime=0.35 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 13352 0 0 0 26 9 0 0 16 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020453802 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=752216 CPUtime=0.34 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 12228 0 0 0 26 8 0 0 15 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4511041 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=752216 CPUtime=0.37 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 11700 0 0 0 28 9 0 0 16 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4510992 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=752216 CPUtime=0.37 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) D 21553 21555 21415 0 -1 4202560 12394 0 0 0 28 9 0 0 15 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=752216 CPUtime=0.52 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) D 21553 21555 21415 0 -1 4202560 12945 0 0 0 38 14 0 0 17 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=752216 CPUtime=0.52 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) D 21553 21555 21415 0 -1 4202560 13627 0 0 0 40 12 0 0 17 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=752216 CPUtime=0.52 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 12294 0 0 0 37 15 0 0 18 0 8 0 797392349 770269184 83875 33554432000 4194304 4580107 140737350745280 18446744073709551615 4512134 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 752216

[startup+1.50073 s]
/proc/loadavg: 7.49 7.92 6.59 5/328 21563
/proc/meminfo: memFree=19454240/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=1494324 CPUtime=7.34 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) S 21553 21555 21415 0 -1 4202496 230044 0 0 0 549 185 0 0 15 0 8 0 797392349 1530187776 195468 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21555/statm: 373581 195471 338 95 0 368563 0
[pid=21555/tid=21556] ppid=21553 vsize=1494324 CPUtime=0.76 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 28519 0 0 0 58 18 0 0 16 0 8 0 797392349 1530187776 195479 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=1494324 CPUtime=0.8 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 29343 0 0 0 61 19 0 0 16 0 8 0 797392349 1530187776 195480 33554432000 4194304 4580107 140737350745280 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=1494324 CPUtime=0.83 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 27120 0 0 0 64 19 0 0 15 0 8 0 797392349 1530187776 195483 33554432000 4194304 4580107 140737350745280 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=1494324 CPUtime=0.84 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 28329 0 0 0 64 20 0 0 16 0 8 0 797392349 1530187776 195486 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=1494324 CPUtime=1.09 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 30035 0 0 0 79 30 0 0 17 0 8 0 797392349 1530187776 195486 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=1494324 CPUtime=1.09 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 31136 0 0 0 80 29 0 0 17 0 8 0 797392349 1530187776 195487 33554432000 4194304 4580107 140737350745280 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=1494324 CPUtime=1.09 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 29036 0 0 0 79 30 0 0 17 0 8 0 797392349 1530187776 195489 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 1494324

[startup+3.10041 s]
/proc/loadavg: 7.49 7.92 6.59 8/328 21563
/proc/meminfo: memFree=18805356/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=1766280 CPUtime=17.08 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 382867 0 0 0 1402 306 0 0 16 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21555/statm: 441570 341899 360 95 0 436552 0
[pid=21555/tid=21556] ppid=21553 vsize=1766280 CPUtime=1.89 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 47630 0 0 0 155 34 0 0 16 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=1766280 CPUtime=1.95 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 48629 0 0 0 163 32 0 0 16 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=1766280 CPUtime=1.98 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 47384 0 0 0 166 32 0 0 16 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=1766280 CPUtime=1.89 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 48235 0 0 0 156 33 0 0 16 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=1766280 CPUtime=2.48 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 48367 0 0 0 201 47 0 0 18 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=1766280 CPUtime=2.47 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 49418 0 0 0 199 48 0 0 18 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=1766280 CPUtime=2.47 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 47520 0 0 0 201 46 0 0 18 0 8 0 797392349 1808670720 341899 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 1766280

[startup+6.30083 s]
/proc/loadavg: 7.53 7.92 6.60 9/328 21563
/proc/meminfo: memFree=18577104/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=1832488 CPUtime=42.65 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 386382 0 0 0 3957 308 0 0 21 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21555/statm: 458122 344336 360 95 0 453104 0
[pid=21555/tid=21556] ppid=21553 vsize=1832488 CPUtime=5.09 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 47720 0 0 0 475 34 0 0 21 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 260020092683 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=1832488 CPUtime=5.15 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 49458 0 0 0 483 32 0 0 21 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=1832488 CPUtime=5.18 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 47443 0 0 0 486 32 0 0 21 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=1832488 CPUtime=5.08 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 49027 0 0 0 475 33 0 0 21 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=1832488 CPUtime=5.68 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 48460 0 0 0 521 47 0 0 25 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4234794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=1832488 CPUtime=5.67 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 49578 0 0 0 519 48 0 0 25 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=1832488 CPUtime=5.63 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 48983 0 0 0 517 46 0 0 25 0 8 0 797392349 1876467712 344336 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0

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

[pid=21555] ppid=21553 vsize=6184104 CPUtime=7083.84 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 2748968 0 0 0 707441 943 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1546026 1329067 403 95 0 1541008 0
[pid=21555/tid=21556] ppid=21553 vsize=6184104 CPUtime=897.73 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 342160 0 0 0 89665 108 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4302171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6184104 CPUtime=892.09 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 334324 0 0 0 89109 100 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6184104 CPUtime=882.42 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 319341 0 0 0 88136 106 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6184104 CPUtime=890.91 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 322024 0 0 0 88971 120 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6184104 CPUtime=879.55 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 332569 0 0 0 87818 137 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6184104 CPUtime=887.84 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 311932 0 0 0 88659 125 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6184104 CPUtime=880.35 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 433884 0 0 0 87896 139 0 0 25 0 8 0 797392349 6332522496 1329067 33554432000 4194304 4580107 140737350745280 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7083.84
Current children cumulated vsize (KiB) 6184104

[startup+1002.3 s]
/proc/loadavg: 8.02 7.93 7.33 9/328 21590
/proc/meminfo: memFree=14601096/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=6440000 CPUtime=7563.22 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 2854836 0 0 0 755345 977 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1610000 1336849 403 95 0 1604982 0
[pid=21555/tid=21556] ppid=21553 vsize=6440000 CPUtime=957.72 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 368804 0 0 0 95659 113 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6440000 CPUtime=952.09 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 337244 0 0 0 95106 103 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4414485 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6440000 CPUtime=942.41 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 332364 0 0 0 94132 109 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6440000 CPUtime=950.9 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 335041 0 0 0 94967 123 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6440000 CPUtime=939.55 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 346190 0 0 0 93813 142 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6440000 CPUtime=947.84 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 323312 0 0 0 94656 128 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6440000 CPUtime=940.35 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 447968 0 0 0 93890 145 0 0 25 0 8 0 797392349 6594560000 1336849 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7563.22
Current children cumulated vsize (KiB) 6440000

[startup+1062.3 s]
/proc/loadavg: 8.06 7.95 7.37 9/328 21591
/proc/meminfo: memFree=14562740/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=6249744 CPUtime=8042.58 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 2984827 0 0 0 803248 1010 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1562436 1346839 403 95 0 1557418 0
[pid=21555/tid=21556] ppid=21553 vsize=6249744 CPUtime=1017.72 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 371954 0 0 0 101657 115 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6249744 CPUtime=1012.1 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 369649 0 0 0 101101 109 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6249744 CPUtime=1002.42 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 345799 0 0 0 100128 114 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6249744 CPUtime=1010.89 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 356934 0 0 0 100961 128 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6249744 CPUtime=999.55 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 359714 0 0 0 99810 145 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6249744 CPUtime=1007.84 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 334865 0 0 0 100654 130 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6249744 CPUtime=1000.35 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 470880 0 0 0 99882 153 0 0 25 0 8 0 797392349 6399737856 1346839 33554432000 4194304 4580107 140737350745280 18446744073709551615 4319326 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8042.58
Current children cumulated vsize (KiB) 6249744

[startup+1122.3 s]
/proc/loadavg: 8.02 7.96 7.41 9/328 21593
/proc/meminfo: memFree=14518548/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=6823096 CPUtime=8521.97 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 3047181 0 0 0 851164 1033 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1705774 1357571 403 95 0 1700756 0
[pid=21555/tid=21556] ppid=21553 vsize=6823096 CPUtime=1077.72 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 384559 0 0 0 107653 119 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4301981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6823096 CPUtime=1072.09 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 381635 0 0 0 107098 111 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6823096 CPUtime=1062.42 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 357615 0 0 0 106124 118 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6823096 CPUtime=1070.89 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 368532 0 0 0 106958 131 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6823096 CPUtime=1059.55 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 362436 0 0 0 105808 147 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4431213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6823096 CPUtime=1067.84 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 338354 0 0 0 106652 132 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6823096 CPUtime=1060.35 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 475593 0 0 0 105880 155 0 0 25 0 8 0 797392349 6986850304 1357571 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8521.97
Current children cumulated vsize (KiB) 6823096

[startup+1182.3 s]
/proc/loadavg: 8.05 7.98 7.45 9/328 21595
/proc/meminfo: memFree=14443388/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=6571980 CPUtime=9001.25 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) R 21553 21555 21415 0 -1 4202496 3180543 0 0 0 899055 1070 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1642995 1376632 403 95 0 1637977 0
[pid=21555/tid=21556] ppid=21553 vsize=6571980 CPUtime=1137.73 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 397707 0 0 0 113649 124 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6571980 CPUtime=1132.09 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 394971 0 0 0 113095 114 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6571980 CPUtime=1122.41 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 362846 0 0 0 112120 121 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6571980 CPUtime=1130.88 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 381294 0 0 0 112953 135 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6571980 CPUtime=1119.46 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 389909 0 0 0 111792 154 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6571980 CPUtime=1127.84 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 351503 0 0 0 112648 136 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6571980 CPUtime=1120.35 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 488483 0 0 0 111876 159 0 0 25 0 8 0 797392349 6729707520 1376632 33554432000 4194304 4580107 140737350745280 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9001.25
Current children cumulated vsize (KiB) 6571980

[startup+1242.3 s]
/proc/loadavg: 7.14 7.79 7.42 3/328 21596
/proc/meminfo: memFree=14415204/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=6596396 CPUtime=9414.54 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) S 21553 21555 21415 0 -1 4202496 3280209 0 0 0 940354 1100 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1649099 1383191 403 95 0 1644081 0
[pid=21555/tid=21556] ppid=21553 vsize=6596396 CPUtime=1187.27 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 409003 0 0 0 118599 128 0 0 18 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6596396 CPUtime=1181.32 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 399050 0 0 0 118015 117 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6596396 CPUtime=1182.41 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 381583 0 0 0 118115 126 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6596396 CPUtime=1179.63 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 394654 0 0 0 117826 137 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6596396 CPUtime=1179.47 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 403217 0 0 0 117789 158 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608485931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6596396 CPUtime=1176.6 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 365980 0 0 0 117520 140 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6596396 CPUtime=1169.11 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 501707 0 0 0 116747 164 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9414.54
Current children cumulated vsize (KiB) 6596396

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

[startup+1242.7 s]
/proc/loadavg: 7.14 7.79 7.42 3/328 21596
/proc/meminfo: memFree=14415204/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=6596396 CPUtime=9415.34 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) S 21553 21555 21415 0 -1 4202496 3280209 0 0 0 940434 1100 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 1649099 1383191 403 95 0 1644081 0
[pid=21555/tid=21556] ppid=21553 vsize=6596396 CPUtime=1187.27 cores=0-7
/proc/21555/task/21556/stat : 21556 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 409003 0 0 0 118599 128 0 0 18 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 3 0 0 0
[pid=21555/tid=21557] ppid=21553 vsize=6596396 CPUtime=1181.32 cores=0-7
/proc/21555/task/21557/stat : 21557 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 399050 0 0 0 118015 117 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 0 0 0 0
[pid=21555/tid=21558] ppid=21553 vsize=6596396 CPUtime=1182.81 cores=0-7
/proc/21555/task/21558/stat : 21558 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 381583 0 0 0 118155 126 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 4290455 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=6596396 CPUtime=1179.63 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 394654 0 0 0 117826 137 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 4 0 0 0
[pid=21555/tid=21560] ppid=21553 vsize=6596396 CPUtime=1179.87 cores=0-7
/proc/21555/task/21560/stat : 21560 (strangenight2-m) R 21553 21555 21415 0 -1 4202560 403217 0 0 0 117829 158 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 4219837 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21555/tid=21561] ppid=21553 vsize=6596396 CPUtime=1176.6 cores=0-7
/proc/21555/task/21561/stat : 21561 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 365980 0 0 0 117520 140 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 2 0 0 0
[pid=21555/tid=21562] ppid=21553 vsize=6596396 CPUtime=1169.11 cores=0-7
/proc/21555/task/21562/stat : 21562 (strangenight2-m) S 21553 21555 21415 0 -1 4202560 501707 0 0 0 116747 164 0 0 25 0 8 0 797392349 6754709504 1383191 33554432000 4194304 4580107 140737350745280 18446744073709551615 47834608510516 0 0 4096 2 18446604471119458496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9415.34
Current children cumulated vsize (KiB) 6596396

[startup+1242.9 s]
/proc/loadavg: 7.14 7.79 7.42 2/322 21596
/proc/meminfo: memFree=18712092/32951124 swapFree=67083432/67111528
[pid=21555] ppid=21553 vsize=0 CPUtime=9415.55 cores=0-7
/proc/21555/stat : 21555 (strangenight2-m) Z 21553 21555 21415 0 -1 4203548 3280212 0 0 0 940434 1121 0 0 18 0 2 0 797392349 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21555/statm: 0 0 0 0 0 0 0
[pid=21555/tid=21559] ppid=21553 vsize=0 CPUtime=1179.83 cores=0-7
/proc/21555/task/21559/stat : 21559 (strangenight2-m) R 21553 21555 21415 0 -1 4203588 394654 0 0 0 117826 157 0 0 18 0 2 0 797392349 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9415.55
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1242.96
CPU time (s): 9415.61
CPU user time (s): 9404.34
CPU system time (s): 11.2673
CPU usage (%): 757.512
Max. virtual memory (cumulated for all children) (KiB): 7062132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9404.35
system time used= 11.2673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3280212
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= 580127
involuntary context switches= 63667

runsolver used 3.57546 second user time and 9.25359 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-22 15:40:18
IDJOB=3393910
IDBENCH=69571
IDSOLVER=1878
FILE ID=node110/3393910-1306071615
RUNJOBID= node110-1306069998-21429
PBS_JOBID= 13387893
Free space on /tmp= 73276 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393910-1306071615/watcher-3393910-1306071615 -o /tmp/evaluation-result-3393910-1306071615/solver-3393910-1306071615 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393910-1306071615.cnf

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=1251252464

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19953684 kB
Buffers:        317952 kB
Cached:        8719668 kB
SwapCached:       1416 kB
Active:        6027684 kB
Inactive:      6635060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19953684 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           74084 kB
Writeback:           0 kB
AnonPages:     3623560 kB
Mapped:          27628 kB
Slab:           241920 kB
PageTables:      26568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75578552 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= 73268 MiB
End job on node110 at 2011-05-22 16:01:01