Trace number 3321247

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-mtUNSAT 13822 2016.24

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
MD5SUM776da55785376fd8eac6989ca812b102
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark935.02
Satisfiable
(Un)Satisfiability was proved
Number of variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321247-1304341781.cnf'
0.00/0.03	c -- header says num vars:         371419
0.00/0.03	c -- header says num clauses:     7170909
28.44/5.03	c -- clauses added:            0 learnts,      7170909 normals,            0 xors
28.44/5.03	c -- vars added     371419
29.17/5.12	c Parsing time:  2.49 s
29.17/5.12	c  N st     0         0    371419    400457   6770451         0  20872418         0   no data   no data
33.94/5.73	c asymm  cl-useful: 23/27/400448 lits-rem:822 time: 0.64
113.08/15.63	c Flit:   252 Blit:  91852 bXBeca:    0 bXProp: 3696 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T:  9.89
120.93/16.64	c Cleaning up after failed var search:     1.00 s 
126.01/17.33	c Replacing     3696 vars Replaced   244272 lits Time:     0.66 s 
130.04/17.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
134.79/18.43	c bin-w-bin subsume rem            7 bins  time:  0.62 s
199.38/26.60	c subs with bin:    14521  lits-rem:     75534  v-fix:    0  time:  8.17 s
240.10/31.63	c Subs w/ non-existent bins:      8 l-rem:      8 v-fix:     0 done:  27391 time:  5.00 s
243.34/32.06	c Removed useless bin:     985  fixed:     0  props:  20.00M  time:  0.42 s
414.20/53.48	c lits-rem:     72826  cl-subs:    25623  v-elim:  69532  v-fix:    0  time: 21.35 s
415.80/53.62	c Finding binary XORs  T:     0.14 s  found:     729
419.04/54.07	c Replacing      729 vars Replaced   192547 lits Time:     0.45 s 
426.99/55.01	c Finding non-binary XORs:     0.82 s (found:       0, avg size: nan)
426.99/55.01	c calculated reachability. Time: 0.01
427.83/55.14	c Calc default polars -  time:   0.12 s pos:   26427 undec:  174060 neg:  170932
427.83/55.14	c =========================================================================================
427.83/55.14	c types(t): F = full restart, N = normal restart
427.83/55.14	c types(t): S = simplification begin/end, E = solution found
427.83/55.14	c restart types(rt): st = static, dy = dynamic
427.83/55.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
427.83/55.14	c  B st     0         0    197768    365014   4501560         0  14983338         0   no data   no data
545.31/69.89	c  N dy    17      4283    197768    365014   4501703      4057  14983331    151817     20.49     21.69
615.66/78.62	c  N dy    39      8299    197757    365014   4505617      7861  14983328    315065     20.11     21.66
671.63/85.62	c  N dy    67     12449    197756    365014   4506376     11856  14983321    512958     20.94     22.14
726.83/92.60	c  N dy    93     16533    197756    365014   4506465     15795  14983315    693685     21.40     23.43
781.14/99.38	c  N dy   114     20785    192715    356866   4421744     10243  14685733    252953     21.67     22.96
833.15/105.87	c  N dy   126     24836    192715    356866   4421830     14098  14685733    435938     20.85     22.53
836.30/106.20	c  F st   128     25000    191772    356866   4422423     14248  14685733    441711     20.83   no data
922.65/117.02	c  N dy   134     30000    191596    353215   4407607     19126  14624976    735199     20.83   no data
922.65/117.02	c  S st   134     30000    191596    353215   4407607     19126  14624976    735199     20.83   no data
936.25/118.77	c  S st   134     30501    191586    353215   4407751     19478  14624976    739044     20.83   no data
937.89/118.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
1096.97/138.86	c Flit:   104 Blit:   1060 bXBeca:    0 bXProp: 3155 Bins: 628339 BRemL:  13862 BRemN:   1468 P: 200.2M T: 19.87
1098.52/139.04	c Cleaning up after failed var search:     0.17 s 
1102.52/139.54	c Replacing     3156 vars Replaced   421074 lits Time:     0.49 s 
1120.11/141.73	c blocked clauses removed:    19422 vars:  19811 tried:      249262 T: 1.84 s
1124.10/142.20	c bin-w-bin subsume rem        10441 bins  time:  0.47 s
1171.27/148.13	c subs with bin:    16505  lits-rem:    392286  v-fix:    0  time:  5.94 s
1176.86/148.85	c Subs w/ non-existent bins:   4071 l-rem:  17894 v-fix:     6 done:   1320 time:  0.70 s
1180.86/149.36	c Removed useless bin:   10853  fixed:     0  props:  20.02M  time:  0.46 s
1226.43/155.05	c lits-rem:     22631  cl-subs:     7589  v-elim:  15715  v-fix:    0  time:  5.67 s
1238.42/156.59	c subs with bin:      387  lits-rem:     21448  v-fix:    0  time:  1.41 s
1269.59/160.40	c lits-rem:      8758  cl-subs:     3826  v-elim:      0  v-fix:    0  time:  3.62 s
1274.39/161.02	c asymm  cl-useful: 51/895/307252 lits-rem:2175 time: 0.63
1275.19/161.12	c calculated reachability. Time: 0.01
1275.19/161.12	c  N dy   134     30501    147819    307250   3186859     15499   9929649    966477     20.83   no data
1275.99/161.23	c Finding binary XORs  T:     0.11 s  found:     171
1327.95/167.74	c  N dy   157     34592    146993    307250   3211913     19392   9929639   1183318     20.85     29.42
1371.12/173.19	c  N dy   175     40234    146567    307250   3228445     24808   9929633   1421811     20.35     21.77
1410.29/178.05	c  N dy   194     44945    146567    307250   3228608     15599   9929632    822559     19.95     21.09
1420.68/179.35	c  S st   201     45751    146567    307250   3228617     16371   9929631    860448     20.01   no data
1429.47/180.50	c  S st   201     46251    146565    307250   3228711     16771   9929631    864136     20.01   no data
1431.11/180.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1563.77/197.28	c Flit:   288 Blit:    286 bXBeca:    0 bXProp:  111 Bins: 303802 BRemL:   7893 BRemN:   9011 P: 200.0M T: 16.62
1565.37/197.41	c Cleaning up after failed var search:     0.13 s 
1567.77/197.77	c Replacing      283 vars Replaced   233267 lits Time:     0.35 s 
1570.17/198.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1574.16/198.52	c bin-w-bin subsume rem        19333 bins  time:  0.48 s
1615.78/203.75	c subs with bin:    26055  lits-rem:    235779  v-fix:    0  time:  5.23 s
1638.92/206.68	c Subs w/ non-existent bins:    509 l-rem:    780 v-fix:     0 done:  21195 time:  2.92 s
1641.36/206.98	c Removed useless bin:    5265  fixed:     0  props:  20.01M  time:  0.29 s
1683.65/212.21	c lits-rem:      1985  cl-subs:     4089  v-elim:   6270  v-fix:    0  time:  5.21 s
1688.45/212.81	c subs with bin:      126  lits-rem:      4922  v-fix:    0  time:  0.53 s
1692.44/213.32	c lits-rem:      4475  cl-subs:      977  v-elim:      0  v-fix:    0  time:  0.35 s
1697.24/213.96	c asymm  cl-useful: 10/842/296172 lits-rem:227 time: 0.64
1698.04/214.05	c calculated reachability. Time: 0.01
1698.04/214.06	c  N dy   201     46251    138957    296172   3157645     14409   9234109    998055     20.01   no data
1698.84/214.17	c Finding binary XORs  T:     0.11 s  found:      68
1740.84/219.62	c  N dy   226     50814    138470    296172   3215144     18829   9234108   1330422     20.06     21.21
1770.04/223.36	c  N dy   244     54965    138470    296172   3215192     22814   9234065   1522480     19.92     20.99
1802.77/227.46	c Finding binary XORs  T:     0.11 s  found:     103
1804.37/227.65	c  N dy   259     59065    138304    295511   3256207     26737   9213844   1844725     19.68     21.28
1856.21/235.31	c  N dy   286     63751    138181    295511   3694170     31226   9213843   2955467     19.86     20.92
1859.71/235.83	c Finding binary XORs  T:     0.11 s  found:      50
1908.26/242.02	c  N dy   316     67963    138102    295336   3763281     18565   9209828   2328723     20.24     22.20
1924.95/244.12	c  S st   328     69378    138101    295336   3763296     19947   9209825   2396204     20.35     14.84
1933.74/245.25	c  S st   328     69879    138099    295336   3763373     20367   9209825   2403579     20.35   no data
1935.38/245.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
2058.19/260.84	c Flit:   315 Blit:   1780 bXBeca:    0 bXProp:   35 Bins:1536387 BRemL:   4491 BRemN:    149 P: 200.1M T: 15.31
2059.74/261.01	c Cleaning up after failed var search:     0.17 s 
2062.94/261.48	c Replacing      257 vars Replaced   375708 lits Time:     0.46 s 
2065.34/261.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2077.32/263.25	c bin-w-bin subsume rem       180854 bins  time:  1.49 s
2112.47/267.68	c subs with bin:    14806  lits-rem:     40766  v-fix:    0  time:  4.44 s
2145.26/271.80	c Subs w/ non-existent bins:    399 l-rem:   1055 v-fix:     0 done:  10755 time:  4.11 s
2149.25/272.26	c Removed useless bin:   10349  fixed:     0  props:  20.00M  time:  0.46 s
2170.83/274.96	c lits-rem:      1361  cl-subs:     4408  v-elim:   2435  v-fix:    0  time:  2.70 s
2178.02/275.88	c subs with bin:      832  lits-rem:     11067  v-fix:    0  time:  0.82 s
2183.63/276.50	c lits-rem:     12784  cl-subs:      868  v-elim:      0  v-fix:    0  time:  0.46 s
2188.43/277.16	c asymm  cl-useful: 13/806/276797 lits-rem:228 time: 0.66
2189.23/277.27	c calculated reachability. Time: 0.01
2189.23/277.28	c  N dy   328     69879    133315    276797   4040437     17091   8839878   3077953     20.35   no data
2190.07/277.40	c Finding binary XORs  T:     0.12 s  found:      25
2273.13/299.82	c  N dy   364     74399    133274    276797   4140817     21513   8839878   3512220     20.73     21.95
2284.93/305.76	c  N dy   408     79243    133274    276797   4140860     26255   8839873   3765265     21.19     34.18
2437.91/415.76	c Finding binary XORs  T:     0.12 s  found:     134
2484.77/421.95	c  N dy   442     84721    133219    276648   4279748     31576   8835685   4331520     21.42     23.61
2501.57/424.05	c  F st   448     87500    133219    276648   4296931     34233   8835634   4508939     21.30     18.51
2503.96/424.37	c Replacing      159 vars Replaced   105487 lits Time:     0.33 s 
2508.76/424.98	c Found part      116 vars:     133004 clauses:   2971739 lits size:   8835477
2508.76/424.98	c Found part      117 vars:          2 clauses:         1 lits size:         2
2508.76/424.98	c Found part      118 vars:          2 clauses:         1 lits size:         2
2508.76/424.98	c Found part      119 vars:          2 clauses:         1 lits size:         2
2508.76/424.98	c Found part      120 vars:          2 clauses:         1 lits size:         2
2508.76/424.98	c Found parts:          5 time: 0.93 s
2508.76/424.98	c Solving part 117
2511.13/425.27	c  N st     0         0         2         0         1         0         2         0   no data   no data
2511.13/425.27	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2511.13/425.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2511.13/425.30	c Finding binary XORs  T:     0.02 s  found:       0
2511.93/425.30	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2511.93/425.30	c calculated reachability. Time: 0.00
2511.93/425.30	c Calc default polars -  time:   0.01 s pos:       0 undec:  371417 neg:       2
2511.93/425.30	c =========================================================================================
2511.93/425.30	c types(t): F = full restart, N = normal restart
2511.93/425.30	c types(t): S = simplification begin/end, E = solution found
2511.93/425.30	c restart types(rt): st = static, dy = dynamic
2511.93/425.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2511.93/425.30	c  B st     0         0         2         0         1         0         2         0   no data   no data
2511.93/425.30	c  E st     1         0         0         0         1         0         2         0   no data   no data
2511.93/425.31	c Verified 0 clauses.
2511.93/425.31	c Verified 0 clauses.
2511.93/425.31	c Solved part
2511.93/425.31	c =========================================================================================
2511.93/425.32	c Solving part 118
2514.30/425.60	c  N st     0         0         2         0         1         0         2         0   no data   no data
2514.30/425.60	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2514.30/425.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2514.30/425.63	c Finding binary XORs  T:     0.02 s  found:       0
2514.30/425.63	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2514.30/425.63	c calculated reachability. Time: 0.00
2514.30/425.64	c Calc default polars -  time:   0.01 s pos:       0 undec:  371417 neg:       2
2514.30/425.64	c =========================================================================================
2514.30/425.64	c types(t): F = full restart, N = normal restart
2514.30/425.64	c types(t): S = simplification begin/end, E = solution found
2514.30/425.64	c restart types(rt): st = static, dy = dynamic
2514.30/425.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2514.30/425.64	c  B st     0         0         2         0         1         0         2         0   no data   no data
2514.30/425.64	c  E st     1         0         0         0         1         0         2         0   no data   no data
2514.30/425.65	c Verified 0 clauses.
2514.30/425.65	c Verified 0 clauses.
2514.30/425.65	c Solved part
2514.30/425.65	c =========================================================================================
2514.30/425.66	c Solving part 119
2516.72/425.94	c  N st     0         0         2         0         1         0         2         0   no data   no data
2516.72/425.94	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2516.72/425.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2516.72/425.96	c Finding binary XORs  T:     0.02 s  found:       0
2516.72/425.96	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2516.72/425.96	c calculated reachability. Time: 0.00
2516.72/425.97	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
2516.72/425.97	c =========================================================================================
2516.72/425.97	c types(t): F = full restart, N = normal restart
2516.72/425.97	c types(t): S = simplification begin/end, E = solution found
2516.72/425.97	c restart types(rt): st = static, dy = dynamic
2516.72/425.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2516.72/425.97	c  B st     0         0         2         0         1         0         2         0   no data   no data
2516.72/425.97	c  E st     1         0         0         0         1         0         2         0   no data   no data
2516.72/425.98	c Verified 0 clauses.
2516.72/425.98	c Verified 0 clauses.
2516.72/425.98	c Solved part
2516.72/425.98	c =========================================================================================
2516.72/425.99	c Solving part 120
2519.04/426.27	c  N st     0         0         2         0         1         0         2         0   no data   no data
2519.04/426.27	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2519.04/426.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2519.04/426.29	c Finding binary XORs  T:     0.02 s  found:       0
2519.04/426.29	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2519.04/426.29	c calculated reachability. Time: 0.00
2519.84/426.30	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
2519.84/426.30	c =========================================================================================
2519.84/426.30	c types(t): F = full restart, N = normal restart
2519.84/426.30	c types(t): S = simplification begin/end, E = solution found
2519.84/426.30	c restart types(rt): st = static, dy = dynamic
2519.84/426.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2519.84/426.30	c  B st     0         0         2         0         1         0         2         0   no data   no data
2519.84/426.30	c  E st     1         0         0         0         1         0         2         0   no data   no data
2519.84/426.31	c Verified 0 clauses.
2519.84/426.31	c Verified 0 clauses.
2519.84/426.31	c Solved part
2519.84/426.31	c =========================================================================================
2519.84/426.32	c Coming back to original instance
2519.84/426.32	c =========================================================================================
2536.63/428.40	c  N st   453     90797    133052    276632   4296516     37329   8835473   4655828     21.30   no data
2570.21/432.60	c  N dy   455     96614    133052    276632   4296876     24108   8835468   3741720     20.90     22.53
2647.80/442.33	c  N dy   500    102867    133052    276632   4297225     30240   8835467   4067635     21.25     29.74
2671.73/445.36	c  S st   518    104825    133052    276632   4297243     32166   8835464   4183118     21.50     33.03
2683.78/446.87	c  S st   518    105325    133046    276632   4297815     32578   8835464   4187279     21.50   no data
2685.33/447.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
2802.76/461.90	c Flit:   979 Blit:   3439 bXBeca:    0 bXProp:   48 Bins: 943922 BRemL:   3018 BRemN:     76 P: 200.1M T: 14.84
2803.36/462.09	c Cleaning up after failed var search:     0.19 s 
2805.76/462.45	c Replacing       48 vars Replaced   152376 lits Time:     0.35 s 
2807.57/462.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2812.25/463.95	c bin-w-bin subsume rem        86053 bins  time:  1.19 s
2826.69/468.54	c subs with bin:     6517  lits-rem:     26455  v-fix:    0  time:  4.59 s
2837.50/471.21	c Subs w/ non-existent bins:    451 l-rem:   2077 v-fix:     0 done:  32173 time:  2.64 s
2838.70/471.60	c Removed useless bin:   15440  fixed:     0  props:  20.00M  time:  0.38 s
2849.10/474.11	c lits-rem:      1648  cl-subs:     4988  v-elim:   2169  v-fix:    0  time:  2.51 s
2857.55/475.88	c subs with bin:      830  lits-rem:      9061  v-fix:    0  time:  1.64 s
2860.97/476.61	c lits-rem:     16851  cl-subs:      883  v-elim:      0  v-fix:    0  time:  0.55 s
2862.57/477.10	c asymm  cl-useful: 28/760/266161 lits-rem:277 time: 0.48
2863.37/477.22	c calculated reachability. Time: 0.01
2863.37/477.23	c  N dy   518    105325    126409    266161   4495250     23172   8446529   4516122     21.50   no data
2863.77/477.36	c Finding binary XORs  T:     0.13 s  found:       5
2982.66/516.76	c Finding binary XORs  T:     0.11 s  found:      25
2984.26/517.57	c  N dy   562    112379    126345    265305   4999714     29956   8406293   5868740     21.71     22.99
3156.93/585.02	c  N dy   625    119592    126316    265305   5072729     20074   8406293   5429968     22.11     23.30
3244.08/595.92	c  N dy   693    127309    126042    265305   5091732     27610   8406292   5897016     22.56     24.48
3260.06/597.94	c Finding binary XORs  T:     0.13 s  found:      47
3339.21/607.84	c  N dy   763    135475    126040    264843   5059841     35473   8388733   6303401     23.08     24.64
3421.57/618.15	c  N dy   818    144188    126040    264843   5060331     23283   8388726   5452027     23.28     25.89
3526.29/631.21	c  N dy   886    153455    126036    264843   5061247     32340   8388726   5948366     23.58     37.72
3574.26/637.26	c  S st   925    157987    126036    264843   5061275     36781   8388726   6232895     23.83   no data
3586.26/638.79	c  S st   925    158487    126034    264843   5061386     37167   8388724   6237034     23.83   no data
3587.86/638.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
3711.78/654.41	c Flit:   540 Blit:    168 bXBeca:    0 bXProp:   21 Bins: 124535 BRemL:  13893 BRemN:    189 P: 200.0M T: 15.42
3711.78/654.42	c Cleaning up after failed var search:     0.00 s 
3716.57/655.07	c Replacing       99 vars Replaced   293282 lits Time:     0.65 s 
3718.97/655.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3727.76/656.50	c bin-w-bin subsume rem        68019 bins  time:  1.16 s
3762.14/660.77	c subs with bin:     5987  lits-rem:     23529  v-fix:    0  time:  4.28 s
3797.32/665.20	c Subs w/ non-existent bins:   1690 l-rem:   1036 v-fix:     5 done:  13271 time:  4.41 s
3800.52/665.51	c Removed useless bin:   20292  fixed:     0  props:  20.01M  time:  0.32 s
3820.48/668.09	c lits-rem:      1060  cl-subs:     2792  v-elim:   2104  v-fix:    0  time:  2.58 s
3835.69/669.91	c subs with bin:      324  lits-rem:     10834  v-fix:    0  time:  1.66 s
3842.88/670.87	c lits-rem:     16850  cl-subs:     1612  v-elim:      0  v-fix:    0  time:  0.80 s
3847.68/671.49	c asymm  cl-useful: 207/842/264121 lits-rem:280 time: 0.62
3849.28/671.61	c calculated reachability. Time: 0.01
3849.28/671.61	c  N dy   925    158487    123119    264121   4149233     32741   8281220   4328844     23.83   no data
3850.08/671.73	c Finding binary XORs  T:     0.12 s  found:       1
3953.10/684.69	c  N dy  1005    168676    123058    264121   4191488     42675   8281216   4953670     24.23     39.58
4073.02/699.65	c  N dy  1072    179501    123058    264121   4197743     31566   8281212   4182164     24.33     26.13
4142.83/712.37	c Finding binary XORs  T:     0.12 s  found:      15
4289.45/766.74	c Finding binary XORs  T:     0.13 s  found:      35
4291.05/767.58	c  N dy  1152    191010    122468    263017   5012136     42762   8240587   6425072     24.53     36.59
4407.86/825.57	c  N dy  1180    209949    122409    263017   5061788     36945   8240560   6017494     23.98     25.57
4558.06/845.87	c  N dy  1288    223501    122409    263017   5062708     50189   8240559   6818497     24.41     25.97
4654.76/857.91	c Finding binary XORs  T:     0.14 s  found:       9
4718.75/865.94	c  S st  1378    237731    122409    262986   5059206     38647   8238997   6216968     24.55   no data
4730.71/867.46	c  S st  1378    238232    122409    262986   5059277     39077   8238997   6221939     24.55   no data
4732.31/867.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
4850.67/882.45	c Flit:   280 Blit:    359 bXBeca:    0 bXProp:   16 Bins: 368610 BRemL:   3883 BRemN:    111 P: 200.0M T: 14.80
4850.67/882.46	c Cleaning up after failed var search:     0.00 s 
4854.62/882.95	c Replacing       76 vars Replaced   123541 lits Time:     0.49 s 
4857.02/883.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4864.21/884.17	c bin-w-bin subsume rem        35559 bins  time:  0.88 s
4900.19/888.66	c subs with bin:     8312  lits-rem:     19729  v-fix:    0  time:  4.49 s
4928.17/892.17	c Subs w/ non-existent bins:    970 l-rem:   1594 v-fix:     0 done:  14451 time:  3.51 s
4931.36/892.54	c Removed useless bin:   23283  fixed:     0  props:  20.09M  time:  0.37 s
4945.76/894.32	c lits-rem:       716  cl-subs:     3838  v-elim:   1992  v-fix:    0  time:  1.79 s
4960.14/896.17	c subs with bin:      414  lits-rem:     19261  v-fix:    0  time:  1.69 s
4968.14/897.14	c lits-rem:     13803  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  0.75 s
4973.78/897.82	c asymm  cl-useful: 173/626/258327 lits-rem:274 time: 0.67
4974.53/897.95	c calculated reachability. Time: 0.01
4974.53/897.96	c  N dy  1378    238232    119612    258327   4781046     34761   8097402   5587491     24.55   no data
4976.13/898.10	c Finding binary XORs  T:     0.14 s  found:       0
5158.76/924.89	c  N dy  1509    253490    119581    258327   4806617     49709   8097372   6563238     24.98     41.52
5341.04/947.66	c  N dy  1625    269715    119577    258327   4807339     39912   8097366   5831074     25.29     33.79
5523.38/970.43	c  N dy  1735    287013    119577    258327   4808150     29235   8097356   5134934     25.46     37.13
5717.60/994.72	c  N dy  1876    305667    118288    258327   4809114     47594   8097351   6298565     25.88     27.32
5723.99/995.60	c  F st  1881    306254    118262    256304   4744398     46854   8019774   6188722     25.89   no data
5914.26/1019.30	c  N dy  1998    325247    118255    256304   4745581     37149   8019742   5482943     26.14     27.74
6121.36/1045.24	c  N dy  2128    345280    118254    256304   4746316     56740   8019741   6632969     26.33     28.10
6148.50/1048.65	c Finding binary XORs  T:     0.13 s  found:      58
6225.26/1058.23	c  S st  2193    357348    114604    248657   3754032     38190   7834919   3620265     26.25   no data
6238.05/1059.86	c  S st  2193    357848    114603    248657   3754096     38622   7834919   3628455     26.25   no data
6239.65/1060.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
6357.44/1074.88	c Flit:   246 Blit:     22 bXBeca:    0 bXProp:   12 Bins: 801598 BRemL:   9924 BRemN:    246 P: 200.1M T: 14.84
6357.44/1074.89	c Cleaning up after failed var search:     0.00 s 
6363.51/1075.61	c Replacing       70 vars Replaced   198991 lits Time:     0.71 s 
6365.64/1075.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6371.50/1076.74	c bin-w-bin subsume rem        47821 bins  time:  0.82 s
6408.28/1081.38	c subs with bin:     8092  lits-rem:     21690  v-fix:    0  time:  4.65 s
6434.65/1084.69	c Subs w/ non-existent bins:    858 l-rem:    773 v-fix:     0 done:  22694 time:  3.30 s
6438.65/1085.10	c Removed useless bin:   17696  fixed:     0  props:  20.01M  time:  0.41 s
6473.83/1089.57	c lits-rem:      3940  cl-subs:     9167  v-elim:   4622  v-fix:    0  time:  4.47 s
6488.27/1091.36	c subs with bin:      552  lits-rem:      8774  v-fix:    0  time:  1.66 s
6497.86/1092.50	c lits-rem:     29740  cl-subs:     1677  v-elim:      0  v-fix:    0  time:  0.94 s
6502.61/1093.13	c asymm  cl-useful: 128/842/240171 lits-rem:291 time: 0.63
6503.41/1093.24	c calculated reachability. Time: 0.01
6503.41/1093.25	c  N dy  2193    357848    109643    240171   3828458     33277   7559170   3814702     26.25   no data
6504.21/1093.37	c Finding binary XORs  T:     0.12 s  found:       0
6648.35/1118.03	c  N dy  2224    377929    109388    240171   3919147     52601   7559168   5005868     25.79     27.86
6693.13/1123.64	c Finding binary XORs  T:     0.12 s  found:      24
6798.65/1136.83	c  N dy  2269    397946    108963    240040   3803822     42857   7554105   4172469     25.49     57.65
7026.49/1165.31	c  N dy  2433    418009    108962    240040   3804783     31489   7554090   3460713     25.89     34.84
7268.74/1195.64	c  N dy  2571    443720    108962    240040   3805638     56486   7554074   4845578     25.87     27.23
7443.82/1217.56	c Finding binary XORs  T:     0.12 s  found:      17
7469.40/1220.77	c  N dy  2690    463848    108961    238940   3772836     43530   7508787   4121163     25.98     27.51
7618.10/1239.37	c  N dy  2747    483928    108862    238940   3775731     62853   7508787   5039488     25.74     27.19
7844.35/1267.66	c  N dy  2920    503959    108862    238940   3776364     48948   7508785   4390677     26.11     64.05
8053.06/1293.77	c  N dy  3083    524017    108862    238940   3776969     68615   7508765   5663748     26.42     50.08
8190.51/1310.96	c  S st  3180    536773    108862    238940   3777348     46127   7508747   4097407     26.60     10.81
8201.72/1312.34	c  S st  3180    537273    108860    238940   3777535     46593   7508747   4104389     26.60   no data
8203.36/1312.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
8312.83/1326.27	c Flit:   158 Blit:    455 bXBeca:    0 bXProp:   44 Bins: 260208 BRemL:   3750 BRemN:     36 P: 200.1M T: 13.75
8312.83/1326.27	c Cleaning up after failed var search:     0.00 s 
8321.63/1327.37	c Replacing       85 vars Replaced   216022 lits Time:     1.09 s 
8324.03/1327.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
8328.02/1328.19	c bin-w-bin subsume rem        45190 bins  time:  0.51 s
8363.19/1332.56	c subs with bin:     5618  lits-rem:     15478  v-fix:    0  time:  4.37 s
8390.38/1335.93	c Subs w/ non-existent bins:    785 l-rem:   1869 v-fix:     0 done:  18207 time:  3.37 s
8393.57/1336.34	c Removed useless bin:   20237  fixed:     0  props:  20.00M  time:  0.41 s
8416.75/1339.29	c lits-rem:       941  cl-subs:     3472  v-elim:   1793  v-fix:    0  time:  2.95 s
8431.99/1341.12	c subs with bin:      186  lits-rem:      5876  v-fix:    0  time:  1.69 s
8442.34/1342.43	c lits-rem:     24132  cl-subs:     1881  v-elim:      0  v-fix:    0  time:  1.10 s
8447.93/1343.12	c asymm  cl-useful: 103/543/233163 lits-rem:186 time: 0.69
8448.79/1343.23	c calculated reachability. Time: 0.01
8448.79/1343.23	c  N dy  3180    537273    106378    233163   3585522     43318   7367089   3696552     26.60   no data
8449.59/1343.35	c Finding binary XORs  T:     0.12 s  found:       8
8675.15/1371.61	c  N dy  3349    557336    106326    233163   3601246     63045   7367081   4986013     26.90     28.40
8890.21/1398.52	c  N dy  3502    577407    106326    233163   3601760     47313   7367067   3822351     27.10     37.72
9084.48/1422.81	c  N dy  3662    597481    106326    233163   3602354     67046   7367062   5153985     27.35     39.99
9306.72/1450.65	c  N dy  3830    620156    106326    233163   3602877     52326   7367059   4050374     27.56     29.48
9508.19/1475.81	c  N dy  3970    640259    106326    233163   3603522     72084   7367033   5329301     27.71     29.92
9728.05/1503.39	c  N dy  4124    660280    106326    233163   3603938     53849   7366995   4114581     27.89     29.49
9854.30/1519.11	c Finding binary XORs  T:     0.12 s  found:      78
9929.44/1528.50	c  N dy  4244    680349    105716    232129   3695571     73463   7330209   5690616     27.96     48.29
10134.11/1554.19	c  N dy  4393    700403    105716    232129   3696132     53981   7330206   4253371     28.11     31.88
10324.38/1577.94	c  N dy  4558    720445    105716    232129   3696647     73663   7330191   5595870     28.33     45.91
10510.66/1601.25	c  N dy  4701    740480    105715    232129   3697124     53256   7330170   4174948     28.41     30.04
10714.52/1626.74	c  N dy  4852    760498    105715    232129   3697710     72985   7330145   5507321     28.57     32.23
10926.38/1653.27	c  N dy  5015    780517    104552    231909   3594112     51574   7298668   3814847     28.76     34.04
11094.56/1674.76	c Finding binary XORs  T:     0.11 s  found:      56
11131.90/1679.41	c  N dy  5157    800733    103221    227567   3679463     69844   7223064   5293469     28.88     31.29
11184.66/1686.04	c  S st  5199    805912    103221    227567   3691430     74930   7223059   5677398     28.94     25.19
11195.86/1687.40	c  S st  5199    806412    103220    227567   3691452     75406   7223059   5683420     28.94   no data
11196.71/1687.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
11308.58/1701.53	c Flit:    73 Blit:    440 bXBeca:    0 bXProp:   33 Bins: 164809 BRemL:   5489 BRemN:     30 P: 200.0M T: 13.96
11308.58/1701.54	c Cleaning up after failed var search:     0.00 s 
11317.37/1702.66	c Replacing      175 vars Replaced   274625 lits Time:     1.11 s 
11319.82/1702.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
11326.17/1703.72	c bin-w-bin subsume rem        51987 bins  time:  0.77 s
11359.75/1707.96	c subs with bin:     5581  lits-rem:     17753  v-fix:    0  time:  4.23 s
11370.14/1709.20	c Subs w/ non-existent bins:    372 l-rem:   1040 v-fix:     0 done:  29560 time:  1.24 s
11371.74/1709.50	c Removed useless bin:   12943  fixed:     0  props:  20.00M  time:  0.30 s
11398.12/1712.71	c lits-rem:      2076  cl-subs:     7116  v-elim:   3615  v-fix:    0  time:  3.21 s
11411.71/1714.47	c subs with bin:      595  lits-rem:     17976  v-fix:    0  time:  1.52 s
11423.70/1715.98	c lits-rem:     19249  cl-subs:     3372  v-elim:      0  v-fix:    0  time:  1.31 s
11429.29/1716.68	c asymm  cl-useful: 136/464/218127 lits-rem:859 time: 0.70
11430.09/1716.78	c calculated reachability. Time: 0.01
11430.09/1716.79	c  N dy  5199    806412     98923    218127   3357237     67019   7100418   4781835     28.94   no data
11431.69/1716.90	c Finding binary XORs  T:     0.12 s  found:       3
11626.78/1741.31	c  N dy  5340    826597     98921    218127   3362763     47713   7100417   3415109     29.06     31.69
11804.30/1763.54	c  N dy  5484    846642     98921    218127   3363387     67462   7100414   4711927     29.17     31.59
11945.01/1781.11	c  N dy  5528    868534     98921    218127   3363684     46862   7100386   3169165     28.98     30.65
12147.26/1806.44	c  N dy  5691    888570     98803    218127   3367561     66673   7100375   4525673     29.15     37.68
12328.70/1829.15	c  N dy  5832    908628     98801    218127   3368010     86323   7100372   5766086     29.23     34.05
12511.78/1852.07	c  N dy  5981    929054     98801    218127   3368373     63200   7100364   4249096     29.36     30.95
12675.67/1872.57	c  N dy  6077    949533     98801    218127   3368703     83192   7100350   5503060     29.35     31.39
12870.73/1896.92	c  N dy  6241    969978     98800    218127   3368964     58502   7100339   3908226     29.51     32.00
12958.67/1907.93	c Finding binary XORs  T:     0.12 s  found:      46
13053.82/1919.82	c  N dy  6383    990078     98746    218110   3377428     78271   7096521   5193978     29.60     55.52
13233.69/1942.32	c  N dy  6518   1010176     98746    218110   3377790     52117   7096509   3359141     29.68     32.50
13421.62/1965.89	c  N dy  6657   1030181     98744    218110   3378214     71794   7096494   4598284     29.75     41.06
13587.05/1986.51	c  N dy  6793   1050250     98743    218110   3378478     91450   7096492   5867371     29.80     31.64
13770.94/2009.57	c  N dy  6920   1070339     91622    152558   2875347     32964   6538957   2618322     29.83     31.65
13772.54/2009.77	c Finding binary XORs  T:     0.12 s  found:    9337
13776.53/2010.22	c Replacing     9386 vars Replaced  1036752 lits Time:     0.45 s 
13784.52/2011.29	c  F st  6928   1071881     82276    120338   2868731     32901   6253146   2692089     29.83     20.82
13821.30/2015.86	c Following stats are for *FIRST FINISHED THREAD ONLY*
13821.30/2015.86	c num threads              : 8          
13821.30/2015.86	c restarts                 : 7979       
13821.30/2015.86	c dynamic restarts         : 7949       
13821.30/2015.86	c static restarts          : 30         
13821.30/2015.86	c full restarts            : 4          
13821.30/2015.86	c total simplify time      : 13.78      
13821.30/2015.86	c learnts DL2              : 0          
13821.30/2015.86	c learnts size 2           : 15336709   
13821.30/2015.86	c learnts size 1           : 149012      (40.12     % of vars)
13821.30/2015.86	c filedLit time            : 66.64       (3.83      % time)
13821.30/2015.86	c v-elim SatELite          : 124812      (33.60     % vars)
13821.30/2015.86	c SatELite time            : 59.03       (3.39      % time)
13821.30/2015.86	c v-elim xor               : 0           (0.00      % vars)
13821.30/2015.86	c xor elim time            : 0.82        (0.05      % time)
13821.30/2015.86	c num binary xor trees     : 11887      
13821.30/2015.86	c binxor trees' crown      : 19230       (1.62      leafs/tree)
13821.30/2015.86	c bin xor find time        : 3.23       
13821.30/2015.86	c OTF clause improved      : 21915       (0.02      clauses/conflict)
13821.30/2015.86	c OTF impr. size diff      : 37133       (1.69       lits/clause)
13821.30/2015.86	c OTF cl watch-shrink      : 709110      (0.57      clauses/conflict)
13821.30/2015.86	c OTF cl watch-sh-lit      : 4171641     (5.88       lits/clause)
13821.30/2015.86	c tried to recurMin cls    : 0           (0.00       % of conflicts)
13821.30/2015.86	c updated cache            : 0           (nan        lits/tried recurMin)
13821.30/2015.86	c unit cls recevied        : 9321        (6.26      % of units)
13821.30/2015.86	c unit cls sent            : 5638        (3.78      % of units)
13821.30/2015.86	c bin cls recevied         : 7710352    
13821.30/2015.86	c bin cls sent             : 290369     
13821.30/2015.86	c clauses over max glue    : 0           (0.00      % of all clauses)
13821.30/2015.86	c conflicts                : 1251778     (719.39    / sec)
13821.30/2015.86	c decisions                : 358680185   (0.08      % random)
13821.30/2015.86	c bogo-props               : 26354453561 (15145772.24 / sec)
13821.30/2015.86	c conflict literals        : 75633333    (21.55     % deleted)
13821.30/2015.86	c Memory used              : 8690.68     MB
13821.30/2015.86	c single-thread CPU time   : 1740.05     s
13821.30/2015.86	c all-threads sum CPU time : 13806.22    s
13821.30/2015.86	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321247-1304341781/watcher-3321247-1304341781 -o /tmp/evaluation-result-3321247-1304341781/solver-3321247-1304341781 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321247-1304341781.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.09 7.61 7.50 1/175 27416
/proc/meminfo: memFree=28144228/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=92188 CPUtime=0.01 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 413 0 0 0 1 0 0 0 24 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 47815292860338 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27416/statm: 23047 352 299 106 0 18018 0
[pid=27416/tid=27417] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 47815292860338 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 47815292860338 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 47815292860336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 222933574710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 47815292860342 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=92188 CPUtime=0 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545779289 94400512 352 33554432000 4194304 4627427 140736770780048 18446744073709551615 47815292860338 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0388791 s]
/proc/loadavg: 7.09 7.61 7.50 1/175 27416
/proc/meminfo: memFree=28144228/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=487040 CPUtime=0.22 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3446 0 0 0 19 3 0 0 17 0 8 0 545779289 498728960 3350 33554432000 4194304 4627427 140736770780048 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 121826 3402 338 106 0 116797 0
[pid=27416/tid=27417] ppid=27414 vsize=552972 CPUtime=0.03 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 393 0 0 0 3 0 0 0 18 0 8 0 545779289 566243328 3447 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=553500 CPUtime=0 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 390 0 0 0 0 0 0 0 18 0 8 0 545779289 566784000 3534 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=553632 CPUtime=0.03 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 417 0 0 0 3 0 0 0 17 0 8 0 545779289 566919168 3565 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=553764 CPUtime=0.02 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 433 0 0 0 2 0 0 0 18 0 8 0 545779289 567054336 3591 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=553764 CPUtime=0.01 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 404 0 0 0 1 0 0 0 18 0 8 0 545779289 567054336 3601 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 7 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=553764 CPUtime=0.02 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 405 0 0 0 2 0 0 0 17 0 8 0 545779289 567054336 3613 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=553764 CPUtime=0.03 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 424 0 0 0 3 0 0 0 18 0 8 0 545779289 567054336 3627 33554432000 4194304 4627427 140736770780048 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 487040

[startup+0.102809 s]
/proc/loadavg: 7.09 7.61 7.50 1/175 27416
/proc/meminfo: memFree=28144228/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=569308 CPUtime=0.59 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 13666 0 0 0 45 14 0 0 17 0 8 0 545779289 582971392 11727 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 142327 11738 339 106 0 137298 0
[pid=27416/tid=27417] ppid=27414 vsize=569588 CPUtime=0.07 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 1573 0 0 0 5 2 0 0 17 0 8 0 545779289 583258112 11756 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=569588 CPUtime=0.05 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 1513 0 0 0 4 1 0 0 17 0 8 0 545779289 583258112 11820 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=569588 CPUtime=0.08 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 1766 0 0 0 7 1 0 0 17 0 8 0 545779289 583258112 11850 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921445617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=569588 CPUtime=0.07 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 1904 0 0 0 6 1 0 0 17 0 8 0 545779289 583258112 11850 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921834922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=569588 CPUtime=0.06 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) D 27414 27416 27252 0 -1 4202560 1700 0 0 0 4 2 0 0 17 0 8 0 545779289 583258112 11850 33554432000 4194304 4627427 140736770780048 18446744073709551615 4313410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=569728 CPUtime=0.07 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 1605 0 0 0 6 1 0 0 17 0 8 0 545779289 583401472 11854 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=569728 CPUtime=0.07 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) D 27414 27416 27252 0 -1 4202560 1715 0 0 0 6 1 0 0 17 0 8 0 545779289 583401472 11854 33554432000 4194304 4627427 140736770780048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 569308

[startup+0.301816 s]
/proc/loadavg: 7.09 7.61 7.50 1/175 27416
/proc/meminfo: memFree=28144228/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=600604 CPUtime=1.78 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) S 27414 27416 27252 0 -1 4202496 37491 0 0 0 127 51 0 0 17 0 8 0 545779289 615018496 33310 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 150151 33323 339 106 0 145122 0
[pid=27416/tid=27417] ppid=27414 vsize=600604 CPUtime=0.22 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 4496 0 0 0 16 6 0 0 17 0 8 0 545779289 615018496 33330 33554432000 4194304 4627427 140736770780048 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=600604 CPUtime=0.19 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 4335 0 0 0 13 6 0 0 17 0 8 0 545779289 615018496 33344 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=600604 CPUtime=0.22 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 5000 0 0 0 16 6 0 0 17 0 8 0 545779289 615018496 33361 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921474144 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=600604 CPUtime=0.22 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 5150 0 0 0 15 7 0 0 17 0 8 0 545779289 615018496 33375 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 2 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=600604 CPUtime=0.22 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 4755 0 0 0 15 7 0 0 17 0 8 0 545779289 615018496 33390 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 7 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=600604 CPUtime=0.22 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 4545 0 0 0 17 5 0 0 17 0 8 0 545779289 615018496 33402 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 4 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=600604 CPUtime=0.22 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 4600 0 0 0 16 6 0 0 17 0 8 0 545779289 615018496 33408 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 600604

[startup+0.702696 s]
/proc/loadavg: 7.09 7.61 7.50 1/175 27416
/proc/meminfo: memFree=28144228/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=722288 CPUtime=4.28 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) S 27414 27416 27252 0 -1 4202496 88523 0 0 0 307 121 0 0 17 0 8 0 545779289 739622912 79926 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 180572 79943 339 106 0 175543 0
[pid=27416/tid=27417] ppid=27414 vsize=722288 CPUtime=0.52 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 10752 0 0 0 38 14 0 0 17 0 8 0 545779289 739622912 79954 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=722288 CPUtime=0.5 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 10511 0 0 0 35 15 0 0 17 0 8 0 545779289 739622912 79960 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=722472 CPUtime=0.52 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 12476 0 0 0 36 16 0 0 17 0 8 0 545779289 739811328 79977 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921473803 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=722472 CPUtime=0.54 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 11758 0 0 0 38 16 0 0 17 0 8 0 545779289 739811328 79992 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 2 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=722652 CPUtime=0.52 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 11237 0 0 0 37 15 0 0 17 0 8 0 545779289 739995648 80006 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 7 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=723012 CPUtime=0.53 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 10236 0 0 0 40 13 0 0 17 0 8 0 545779289 740364288 80017 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 4 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=723012 CPUtime=0.54 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 10814 0 0 0 40 14 0 0 17 0 8 0 545779289 740364288 80034 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 722288

[startup+1.50055 s]
/proc/loadavg: 7.09 7.61 7.50 5/183 27424
/proc/meminfo: memFree=27712520/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=1298744 CPUtime=8.43 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) D 27414 27416 27252 0 -1 4202496 173848 0 0 0 582 261 0 0 16 0 8 0 545779289 1329913856 156599 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921438241 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 324686 156601 339 106 0 319657 0
[pid=27416/tid=27417] ppid=27414 vsize=1298744 CPUtime=1.05 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 20231 0 0 0 72 33 0 0 16 0 8 0 545779289 1329913856 156604 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=1298744 CPUtime=1.03 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 21754 0 0 0 70 33 0 0 16 0 8 0 545779289 1329913856 156604 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=1298744 CPUtime=1.04 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 24178 0 0 0 70 34 0 0 16 0 8 0 545779289 1329913856 156606 33554432000 4194304 4627427 140736770780048 18446744073709551615 4359976 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=1298744 CPUtime=1.06 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 22691 0 0 0 74 32 0 0 15 0 8 0 545779289 1329913856 156609 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882143 0 0 4096 2 18446604456573074176 0 0 -1 4 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=1298744 CPUtime=1.04 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 21961 0 0 0 73 31 0 0 16 0 8 0 545779289 1329913856 156610 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=1298744 CPUtime=1.04 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 20707 0 0 0 75 29 0 0 15 0 8 0 545779289 1329913856 156611 33554432000 4194304 4627427 140736770780048 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=1298744 CPUtime=1.05 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 21098 0 0 0 72 33 0 0 16 0 8 0 545779289 1329913856 156613 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 1298744

[startup+3.10125 s]
/proc/loadavg: 7.09 7.61 7.50 5/183 27424
/proc/meminfo: memFree=27712520/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=1872088 CPUtime=16.78 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) S 27414 27416 27252 0 -1 4202496 349576 0 0 0 1121 557 0 0 16 0 8 0 545779289 1917018112 315225 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 468022 315229 339 106 0 462993 0
[pid=27416/tid=27417] ppid=27414 vsize=1872088 CPUtime=2.07 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 40214 0 0 0 139 68 0 0 15 0 8 0 545779289 1917018112 315231 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=1872088 CPUtime=2.05 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 44080 0 0 0 135 70 0 0 15 0 8 0 545779289 1917018112 315233 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=1872088 CPUtime=2.11 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 48457 0 0 0 138 73 0 0 16 0 8 0 545779289 1917018112 315233 33554432000 4194304 4627427 140736770780048 18446744073709551615 4360310 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=1872088 CPUtime=2.11 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 45185 0 0 0 141 70 0 0 15 0 8 0 545779289 1917018112 315234 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 4 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=1872088 CPUtime=2.1 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) S 27414 27416 27252 0 -1 4202560 44566 0 0 0 140 70 0 0 15 0 8 0 545779289 1917018112 315235 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882094 0 0 4096 2 18446604456573074176 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=1872088 CPUtime=2.09 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 42003 0 0 0 146 63 0 0 16 0 8 0 545779289 1917018112 315235 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=1872088 CPUtime=2.08 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 41758 0 0 0 138 70 0 0 16 0 8 0 545779289 1917018112 315237 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 1872088

[startup+6.30068 s]
/proc/loadavg: 7.32 7.65 7.51 9/183 27424
/proc/meminfo: memFree=25874092/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=3005244 CPUtime=38.69 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 654883 0 0 0 3021 848 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27416/statm: 751311 585572 367 106 0 746282 0
[pid=27416/tid=27417] ppid=27414 vsize=3005244 CPUtime=4.78 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 77361 0 0 0 375 103 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4309038 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=3005244 CPUtime=4.82 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 82160 0 0 0 377 105 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=3005244 CPUtime=4.86 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 88722 0 0 0 376 110 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=3005244 CPUtime=4.87 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 85435 0 0 0 382 105 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=3005244 CPUtime=4.82 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 81945 0 0 0 374 108 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=3005244 CPUtime=4.83 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 78988 0 0 0 386 97 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4237845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=3005244 CPUtime=4.82 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 79308 0 0 0 374 108 0 0 17 0 8 0 545779289 3077369856 585572 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 2 0 0 0

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

[pid=27416/tid=27421] ppid=27414 vsize=9187048 CPUtime=1684.12 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407098 0 0 0 168207 205 0 0 25 0 8 0 545779289 9407537152 1981412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=9187048 CPUtime=1662.39 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300274 0 0 0 166073 166 0 0 25 0 8 0 545779289 9407537152 1981412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=9187048 CPUtime=1663.42 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 557313 0 0 0 166125 217 0 0 25 0 8 0 545779289 9407537152 1981412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4501675 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13393.6
Current children cumulated vsize (KiB) 9187048

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

[startup+1972.4 s]
/proc/loadavg: 8.01 7.93 7.39 9/183 27476
/proc/meminfo: memFree=20197276/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=8964784 CPUtime=13474.4 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3188458 0 0 0 1345905 1533 0 0 25 0 8 0 545779289 9179938816 1983799 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 2241196 1983799 391 106 0 2236167 0
[pid=27416/tid=27417] ppid=27414 vsize=8964784 CPUtime=1679.43 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 374298 0 0 0 167768 175 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4309038 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=8964784 CPUtime=1667.7 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 338108 0 0 0 166585 185 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=8964784 CPUtime=1702.44 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 377177 0 0 0 170051 193 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=8964784 CPUtime=1698.51 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 392863 0 0 0 169659 192 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=8964784 CPUtime=1694.22 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407603 0 0 0 169217 205 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=8964784 CPUtime=1672.49 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300274 0 0 0 167083 166 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=8964784 CPUtime=1673.52 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 557895 0 0 0 167134 218 0 0 25 0 8 0 545779289 9179938816 1983800 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13474.4
Current children cumulated vsize (KiB) 8964784

[startup+1998 s]
/proc/loadavg: 8.00 7.94 7.40 9/183 27477
/proc/meminfo: memFree=20168868/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=8899248 CPUtime=13679 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3203555 0 0 0 1366362 1537 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4305890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 2224812 1990778 391 106 0 2219783 0
[pid=27416/tid=27417] ppid=27414 vsize=8899248 CPUtime=1705.03 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 380018 0 0 0 170327 176 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308159 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=8899248 CPUtime=1693.3 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 339648 0 0 0 169144 186 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=8899248 CPUtime=1727.9 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 382375 0 0 0 172597 193 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=8899248 CPUtime=1724.1 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 392863 0 0 0 172218 192 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=8899248 CPUtime=1719.81 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407603 0 0 0 171776 205 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4305493 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=8899248 CPUtime=1698.08 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300567 0 0 0 169642 166 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=8899248 CPUtime=1699.12 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 559156 0 0 0 169693 219 0 0 25 0 8 0 545779289 9112829952 1990778 33554432000 4194304 4627427 140736770780048 18446744073709551615 4305696 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13679
Current children cumulated vsize (KiB) 8899248

[startup+2004.41 s]
/proc/loadavg: 8.00 7.94 7.41 9/183 27477
/proc/meminfo: memFree=20164524/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=8899248 CPUtime=13730.2 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3204590 0 0 0 1371483 1538 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 2224812 1991813 391 106 0 2219783 0
[pid=27416/tid=27417] ppid=27414 vsize=8899248 CPUtime=1711.43 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 380420 0 0 0 170967 176 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4323736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=8899248 CPUtime=1699.7 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 339648 0 0 0 169784 186 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=8899248 CPUtime=1734.27 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 382791 0 0 0 173233 194 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4323080 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=8899248 CPUtime=1730.51 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 392863 0 0 0 172859 192 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4327392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=8899248 CPUtime=1726.22 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407603 0 0 0 172417 205 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4324005 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=8899248 CPUtime=1704.49 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300567 0 0 0 170283 166 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=8899248 CPUtime=1705.53 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 559373 0 0 0 170334 219 0 0 25 0 8 0 545779289 9112829952 1991813 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13730.2
Current children cumulated vsize (KiB) 8899248

[startup+2010.8 s]
/proc/loadavg: 8.00 7.94 7.41 9/183 27477
/proc/meminfo: memFree=20161548/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=8899248 CPUtime=13781.3 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3205628 0 0 0 1376594 1539 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4327552 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 2224812 1992851 391 106 0 2219783 0
[pid=27416/tid=27417] ppid=27414 vsize=8899248 CPUtime=1717.82 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 380773 0 0 0 171606 176 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=8899248 CPUtime=1706.09 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 339669 0 0 0 170423 186 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=8899248 CPUtime=1740.63 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 383126 0 0 0 173869 194 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=8899248 CPUtime=1736.9 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 392880 0 0 0 173498 192 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=8899248 CPUtime=1732.61 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407615 0 0 0 173056 205 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=8899248 CPUtime=1710.88 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300584 0 0 0 170922 166 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=8899248 CPUtime=1711.92 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 559646 0 0 0 170973 219 0 0 25 0 8 0 545779289 9112829952 1992851 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13781.3
Current children cumulated vsize (KiB) 8899248

[startup+2014 s]
/proc/loadavg: 8.00 7.94 7.41 9/183 27477
/proc/meminfo: memFree=20159064/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=8899248 CPUtime=13806.9 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3206189 0 0 0 1379152 1539 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 222921474682 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 2224812 1993412 391 106 0 2219783 0
[pid=27416/tid=27417] ppid=27414 vsize=8899248 CPUtime=1721.03 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 380968 0 0 0 171926 177 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=8899248 CPUtime=1709.29 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 339669 0 0 0 170743 186 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=8899248 CPUtime=1743.81 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 383301 0 0 0 174187 194 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=8899248 CPUtime=1740.1 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 392880 0 0 0 173818 192 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=8899248 CPUtime=1735.81 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407615 0 0 0 173376 205 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=8899248 CPUtime=1714.08 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300584 0 0 0 171242 166 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308780 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=8899248 CPUtime=1715.11 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 559831 0 0 0 171292 219 0 0 25 0 8 0 545779289 9112829952 1993412 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13806.9
Current children cumulated vsize (KiB) 8899248

[startup+2015.6 s]
/proc/loadavg: 8.00 7.94 7.41 9/183 27477
/proc/meminfo: memFree=20157576/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=8899248 CPUtime=13819.7 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) R 27414 27416 27252 0 -1 4202496 3206443 0 0 0 1380431 1539 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 2224812 1993666 391 106 0 2219783 0
[pid=27416/tid=27417] ppid=27414 vsize=8899248 CPUtime=1722.63 cores=0-7
/proc/27416/task/27417/stat : 27417 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 381054 0 0 0 172086 177 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=8899248 CPUtime=1710.9 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 339669 0 0 0 170904 186 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27416/tid=27419] ppid=27414 vsize=8899248 CPUtime=1745.4 cores=0-7
/proc/27416/task/27419/stat : 27419 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 383410 0 0 0 174346 194 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27416/tid=27420] ppid=27414 vsize=8899248 CPUtime=1741.7 cores=0-7
/proc/27416/task/27420/stat : 27420 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 392880 0 0 0 173978 192 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27416/tid=27421] ppid=27414 vsize=8899248 CPUtime=1737.42 cores=0-7
/proc/27416/task/27421/stat : 27421 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 407615 0 0 0 173537 205 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27416/tid=27422] ppid=27414 vsize=8899248 CPUtime=1715.68 cores=0-7
/proc/27416/task/27422/stat : 27422 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 300584 0 0 0 171402 166 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27416/tid=27423] ppid=27414 vsize=8899248 CPUtime=1716.72 cores=0-7
/proc/27416/task/27423/stat : 27423 (strangenight2-m) R 27414 27416 27252 0 -1 4202560 559890 0 0 0 171453 219 0 0 25 0 8 0 545779289 9112829952 1993666 33554432000 4194304 4627427 140736770780048 18446744073709551615 4324107 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13819.7
Current children cumulated vsize (KiB) 8899248

[startup+2016 s]
/proc/loadavg: 8.00 7.94 7.41 9/183 27477
/proc/meminfo: memFree=20157576/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=0 CPUtime=13821.7 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) Z 27414 27416 27252 0 -1 4203548 3206451 0 0 0 1380621 1553 0 0 25 0 2 0 545779289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 0 0 0 0 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=0 CPUtime=1711.25 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4203588 339669 0 0 0 170926 199 0 0 25 0 2 0 545779289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13821.7
Current children cumulated vsize (KiB) 0

[startup+2016.2 s]
/proc/loadavg: 8.00 7.94 7.41 9/183 27477
/proc/meminfo: memFree=20157576/32951124 swapFree=67110188/67111528
[pid=27416] ppid=27414 vsize=0 CPUtime=13821.9 cores=0-7
/proc/27416/stat : 27416 (strangenight2-m) Z 27414 27416 27252 0 -1 4203548 3206451 0 0 0 1380621 1573 0 0 25 0 2 0 545779289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27416/statm: 0 0 0 0 0 0 0
[pid=27416/tid=27418] ppid=27414 vsize=0 CPUtime=1711.45 cores=0-7
/proc/27416/task/27418/stat : 27418 (strangenight2-m) R 27414 27416 27252 0 -1 4203588 339669 0 0 0 170926 219 0 0 25 0 2 0 545779289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13821.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2016.24
CPU time (s): 13822
CPU user time (s): 13806.2
CPU system time (s): 15.7746
CPU usage (%): 685.532
Max. virtual memory (cumulated for all children) (KiB): 9276264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13806.2
system time used= 15.7746
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3206451
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= 1013785
involuntary context switches= 59633

runsolver used 3.02654 second user time and 7.82781 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-02 15:09:45
IDJOB=3321247
IDBENCH=85005
IDSOLVER=1709
FILE ID=node109/3321247-1304341781
RUNJOBID= node109-1304340984-27266
PBS_JOBID= 13178057
Free space on /tmp= 73116 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321247-1304341781/watcher-3321247-1304341781 -o /tmp/evaluation-result-3321247-1304341781/solver-3321247-1304341781 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321247-1304341781.cnf

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=596570670

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28144632 kB
Buffers:        850220 kB
Cached:        2893400 kB
SwapCached:        712 kB
Active:        1162896 kB
Inactive:      3242072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28144632 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:          161732 kB
Writeback:           0 kB
AnonPages:      660752 kB
Mapped:          16072 kB
Slab:           335532 kB
PageTables:       5592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   888268 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= 73108 MiB
End job on node109 at 2011-05-02 15:43:22