Trace number 3394670

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 3801.61 476.108

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark588.006
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3394670-1306102932.cnf'
0.00/0.05	c -- header says num vars:           7794
0.00/0.05	c -- header says num clauses:      186934
0.66/0.19	c -- clauses added:            0 learnts,       186934 normals,            0 xors
0.66/0.19	c -- vars added       7794
0.66/0.19	c Parsing time:  0.07 s
0.66/0.19	c  N st     0         0      7794    166829     19877         0   1284511         0   no data   no data
0.66/0.38	c asymm  cl-useful: 0/2271/166721 lits-rem:0 time: 0.20
3.99/0.85	c Flit:    10 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 18.2M T:  0.46
6.67/0.90	c Replacing       72 vars Replaced   120192 lits Time:     0.04 s 
7.09/1.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.09/1.04	c bin-w-bin subsume rem          138 bins  time:  0.00 s
7.66/1.04	c subs with bin:       56  lits-rem:         4  v-fix:    0  time:  0.00 s
7.66/1.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6293 time:  0.01 s
7.66/1.07	c Removed useless bin:       0  fixed:     0  props:   1.39M  time:  0.01 s
64.78/8.28	c lits-rem:         0  cl-subs:       21  v-elim:    736  v-fix:    0  time:  7.20 s
64.78/8.29	c Finding binary XORs  T:     0.01 s  found:       0
68.77/8.71	c Finding non-binary XORs:     0.41 s (found:       0, avg size: nan)
68.77/8.71	c calculated reachability. Time: 0.00
68.77/8.72	c Calc default polars -  time:   0.01 s pos:     294 undec:     938 neg:    6562
68.77/8.72	c =========================================================================================
68.77/8.72	c types(t): F = full restart, N = normal restart
68.77/8.72	c types(t): S = simplification begin/end, E = solution found
68.77/8.72	c restart types(rt): st = static, dy = dynamic
68.77/8.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
68.77/8.72	c  B st     0         0      6856    167594     17333         0   1299072         0   no data   no data
70.37/8.94	c  N dy    16      4177      6856    167594     17430      4028   1299071    160448     10.93     11.56
72.76/9.28	c  N dy    27      8911      6856    167594     19963      8590   1299069    308595      8.91      9.43
72.76/9.30	c Finding binary XORs  T:     0.01 s  found:       0
75.96/9.70	c  N dy    43     13051      6848    167588     20652     12615   1298921    449534      8.51      8.99
80.85/10.26	c  N dy    64     17866      6847    167588     20712     17343   1298920    641885      8.42      8.95
84.74/10.73	c  N dy    85     22099      6847    167588     21210     11809   1298920    290128      8.49      8.96
87.14/11.06	c  F st   100     25003      6847    167588     21545     14679   1298920    387957      8.52      8.56
87.94/11.17	c Finding binary XORs  T:     0.01 s  found:       0
88.83/11.22	c  N st   103     26192      6847    167587     21539     15835   1298911    428914      8.52   no data
91.92/11.65	c  S st   106     30000      6847    167587     21561     19604   1298911    621073      8.52   no data
93.53/11.84	c  S st   106     30503      6847    167587     21582     20084   1298911    636164      8.52   no data
93.53/11.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.51/12.87	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 192137 BRemL: 175850 BRemN:      0 P: 29.5M T:  1.01
102.31/12.92	c blocked clauses removed:        0 vars:      0 tried:        6846 T: 0.00 s
102.31/12.92	c bin-w-bin subsume rem           28 bins  time:  0.00 s
102.31/12.94	c subs with bin:       98  lits-rem:       892  v-fix:    0  time:  0.02 s
102.31/12.95	c Subs w/ non-existent bins:      0 l-rem:     25 v-fix:     0 done:    980 time:  0.02 s
102.31/12.96	c Removed useless bin:       1  fixed:     0  props:   0.70M  time:  0.01 s
144.63/18.23	c lits-rem:         0  cl-subs:      963  v-elim:    117  v-fix:    0  time:  5.26 s
144.63/18.28	c subs with bin:       27  lits-rem:      2006  v-fix:    0  time:  0.04 s
160.60/20.22	c lits-rem:        72  cl-subs:      515  v-elim:      0  v-fix:    0  time:  1.91 s
162.20/20.40	c asymm  cl-useful: 0/3035/166743 lits-rem:0 time: 0.19
162.20/20.42	c calculated reachability. Time: 0.00
162.20/20.42	c  N dy   106     30503      6729    166743     36883      9111   1293164    202257      8.52   no data
162.20/20.48	c Finding binary XORs  T:     0.01 s  found:       0
166.20/20.93	c  N dy   135     34656      6725    166739    234359     13204   1293126    758805      8.68      9.27
170.19/21.44	c  N dy   152     38662      6723    166739    235982     17180   1293126    903329      8.68      9.50
174.19/21.99	c  N dy   168     42738      6723    166739    235983     11212   1293126    620908      8.64      9.20
177.48/22.36	c  S st   183     45754      6723    166739    236462     14205   1293126    735523      8.65      6.64
178.18/22.48	c  S st   183     46254      6723    166739    236462     14704   1293126    756951      8.65   no data
178.18/22.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
185.46/23.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    917 BRemL: 198207 BRemN:      0 P: 27.6M T:  0.88
186.28/23.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
186.28/23.42	c bin-w-bin subsume rem         1392 bins  time:  0.00 s
186.28/23.43	c subs with bin:       48  lits-rem:        51  v-fix:    0  time:  0.01 s
186.28/23.46	c Subs w/ non-existent bins:      1 l-rem:     41 v-fix:     0 done:   2943 time:  0.02 s
186.28/23.46	c Removed useless bin:       0  fixed:     0  props:   0.64M  time:  0.01 s
206.94/26.07	c lits-rem:         0  cl-subs:       60  v-elim:     11  v-fix:    0  time:  2.60 s
207.73/26.17	c subs with bin:       43  lits-rem:       209  v-fix:    0  time:  0.09 s
221.41/27.86	c lits-rem:       472  cl-subs:      343  v-elim:      0  v-fix:    0  time:  1.67 s
222.10/27.92	c vivif2 --  cl tried   166643 cl shrink       35 lits rem         35 time: 0.06
222.10/27.93	c vivif2 --  cl tried    13660 cl shrink      690 lits rem       1819 time: 0.01
224.50/28.22	c asymm  cl-useful: 33/3678/166643 lits-rem:40 time: 0.29
224.50/28.24	c calculated reachability. Time: 0.00
224.50/28.24	c  N dy   183     46254      6712    166643     37672     13658   1291881    322200      8.65   no data
224.50/28.24	c Finding binary XORs  T:     0.01 s  found:       0
229.38/28.88	c  N dy   200     50422      6710    166643     37673     17800   1291881    470822      8.59      9.17
234.08/29.42	c  N dy   224     54522      6705    166643     38300     21862   1291881    700505      8.60      9.06
239.67/30.10	c  N dy   236     58526      6704    166643     38305     25820   1291881    825280      8.55      9.03
245.26/30.87	c  N dy   258     62599      6704    166643     38309     29867   1291881    964984      8.54     10.01
249.25/31.38	c  N dy   285     66767      6703    166643     38314     18419   1291881    400077      8.61      9.07
253.26/31.80	c  S st   293     69381      6703    166643     38383     21011   1291881    481342      8.59      5.53
254.06/31.99	c  S st   293     69882      6703    166643     38383     21512   1291881    498677      8.59   no data
254.06/32.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
261.24/32.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     69 BRemL:    230 BRemN:      0 P: 26.8M T:  0.82
261.24/32.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.24/32.86	c bin-w-bin subsume rem           14 bins  time:  0.00 s
261.24/32.88	c subs with bin:       80  lits-rem:       758  v-fix:    0  time:  0.02 s
262.04/32.90	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   2616 time:  0.02 s
262.04/32.91	c Removed useless bin:       0  fixed:     0  props:   0.61M  time:  0.01 s
270.83/34.04	c lits-rem:         0  cl-subs:      892  v-elim:     26  v-fix:    0  time:  1.13 s
273.32/34.32	c subs with bin:      157  lits-rem:       711  v-fix:    0  time:  0.26 s
274.81/34.54	c lits-rem:       552  cl-subs:      436  v-elim:      0  v-fix:    0  time:  0.19 s
274.81/34.59	c vivif2 --  cl tried   165714 cl shrink       13 lits rem         13 time: 0.05
275.61/34.62	c vivif2 --  cl tried    18350 cl shrink     1342 lits rem       6171 time: 0.02
278.02/34.90	c asymm  cl-useful: 12/506/165714 lits-rem:24 time: 0.29
278.02/34.91	c calculated reachability. Time: 0.00
278.02/34.91	c  N dy   293     69882      6677    165714     37144     18349   1283228    403161      8.59   no data
284.40/35.73	c  N dy   304     74390      6677    165714     37144     22803   1283228    684911      8.52      9.14
286.79/36.06	c Finding binary XORs  T:     0.01 s  found:       0
291.71/36.69	c  N dy   332     79313      6675    165713     37205     27436   1283173    856339      8.54      9.15
298.78/37.54	c  N dy   355     84490      6675    165713     37215     32581   1283173   1099703      8.54      9.04
304.37/38.20	c  F st   369     87500      6675    165713     37223     35557   1283173   1206463      8.53   no data
308.47/38.74	c  N st   374     90795      6675    165713     37223     21051   1283173    443072      8.53   no data
316.36/39.76	c  N dy   394     96729      6675    165713     37238     26945   1283173    681646      8.53      9.01
326.85/41.04	c  N dy   417    103095      6674    165713     37248     33254   1283173    900400      8.50      9.19
329.92/41.42	c  S st   427    104823      6674    165713     37248     34972   1283173    963915      8.50   no data
331.52/41.63	c  S st   427    105324      6674    165713     37248     35472   1283173    984246      8.50   no data
331.52/41.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
338.72/42.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    159 BRemL:    401 BRemN:      0 P: 29.0M T:  0.92
339.52/42.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
339.52/42.61	c bin-w-bin subsume rem            7 bins  time:  0.00 s
339.52/42.62	c subs with bin:       15  lits-rem:        32  v-fix:    0  time:  0.01 s
339.52/42.64	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:   1420 time:  0.02 s
339.52/42.65	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
340.32/42.70	c lits-rem:         0  cl-subs:       26  v-elim:      9  v-fix:    0  time:  0.05 s
342.71/43.09	c subs with bin:      119  lits-rem:       373  v-fix:    0  time:  0.35 s
347.50/43.67	c lits-rem:       821  cl-subs:      972  v-elim:      0  v-fix:    0  time:  0.56 s
348.30/43.73	c vivif2 --  cl tried   165677 cl shrink        0 lits rem          0 time: 0.05
348.30/43.77	c vivif2 --  cl tried    30856 cl shrink     2896 lits rem      14412 time: 0.04
350.70/44.09	c asymm  cl-useful: 14/469/165677 lits-rem:28 time: 0.31
351.50/44.10	c calculated reachability. Time: 0.00
351.50/44.10	c  N dy   427    105324      6665    165677     36893     30856   1282786    795659      8.50   no data
364.27/45.73	c  N dy   462    112293      6663    165677     36991     37784   1282786   1107550      8.50      9.00
374.65/47.05	c  N dy   492    119458      6661    165677     37002     25876   1282786    589305      8.48     12.42
388.33/48.78	c  N dy   526    127371      6660    165677     37019     33678   1282786    842389      8.46      8.91
392.23/49.23	c Finding binary XORs  T:     0.01 s  found:       0
404.21/50.77	c  N dy   566    136236      6660    165673     36818     40909   1282698   1163817      8.47      8.98
419.37/52.65	c  N dy   615    144970      6660    165673     37224     28463   1282698    582293      8.49      9.12
435.34/54.69	c  N dy   662    154303      6660    165673     37231     37704   1282697    895067      8.49     10.50
442.53/55.58	c  S st   690    157988      6659    165673     37237     41363   1282697   1035636      8.51   no data
444.93/55.83	c  S st   690    158488      6659    165673     37239     41860   1282697   1050627      8.51   no data
444.93/55.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
452.12/56.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    341 BRemL:    482 BRemN:      0 P: 30.5M T:  0.92
452.92/56.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.92/56.81	c bin-w-bin subsume rem            7 bins  time:  0.00 s
452.92/56.83	c subs with bin:       46  lits-rem:       711  v-fix:    0  time:  0.02 s
452.92/56.84	c Subs w/ non-existent bins:      2 l-rem:     13 v-fix:     0 done:   1415 time:  0.01 s
452.92/56.85	c Removed useless bin:       0  fixed:     0  props:   0.61M  time:  0.01 s
453.72/56.93	c lits-rem:         0  cl-subs:      854  v-elim:      9  v-fix:    0  time:  0.08 s
456.12/57.29	c subs with bin:      422  lits-rem:       744  v-fix:    0  time:  0.32 s
463.30/58.14	c lits-rem:      1042  cl-subs:     1191  v-elim:      0  v-fix:    0  time:  0.82 s
463.30/58.19	c vivif2 --  cl tried   164751 cl shrink        2 lits rem          4 time: 0.05
464.10/58.25	c vivif2 --  cl tried    37760 cl shrink     4628 lits rem      23063 time: 0.05
466.59/58.55	c asymm  cl-useful: 14/481/164751 lits-rem:27 time: 0.30
466.59/58.56	c calculated reachability. Time: 0.00
466.59/58.56	c  N dy   690    158488      6650    164751     36981     37759   1274247    885926      8.51   no data
466.59/58.57	c Finding binary XORs  T:     0.01 s  found:       0
488.05/61.24	c  N dy   743    168658      6649    164751     37111     25661   1274247    456779      8.51      8.98
507.23/63.65	c  N dy   782    179553      6648    164751     37123     36475   1274247    905624      8.47      8.93
530.39/66.52	c  N dy   857    191049      6648    164751     37195     47907   1274246   1427722      8.51      9.71
551.96/69.24	c  N dy   921    203340      6648    164751     37264     35626   1274246    821382      8.52      8.97
558.35/70.06	c Finding binary XORs  T:     0.01 s  found:       0
579.92/72.77	c  N dy  1000    216418      6648    164749     37162     48207   1274228   1370675      8.55      9.03
605.47/75.99	c  N dy  1072    230253      6648    164749     37183     35979   1274228    702425      8.55      9.16
620.65/77.87	c  S st  1116    237732      6648    164749     37189     43392   1274228   1031090      8.57   no data
623.05/78.16	c  S st  1116    238234      6648    164749     37189     43893   1274228   1050759      8.57   no data
623.05/78.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
630.23/79.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    259 BRemL:    310 BRemN:      0 P: 30.1M T:  0.92
631.03/79.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
631.03/79.13	c bin-w-bin subsume rem            5 bins  time:  0.00 s
631.03/79.15	c subs with bin:       14  lits-rem:        23  v-fix:    0  time:  0.01 s
631.03/79.16	c Subs w/ non-existent bins:      3 l-rem:      2 v-fix:     0 done:   2251 time:  0.02 s
631.03/79.17	c Removed useless bin:       0  fixed:     0  props:   0.60M  time:  0.01 s
631.83/79.22	c lits-rem:         0  cl-subs:       15  v-elim:      4  v-fix:    0  time:  0.05 s
635.82/79.80	c subs with bin:      574  lits-rem:       661  v-fix:    0  time:  0.54 s
646.21/81.00	c lits-rem:       993  cl-subs:     1184  v-elim:      0  v-fix:    0  time:  1.18 s
646.21/81.05	c vivif2 --  cl tried   164699 cl shrink        0 lits rem          0 time: 0.05
647.01/81.12	c vivif2 --  cl tried    41459 cl shrink     4641 lits rem      31615 time: 0.06
649.40/81.44	c asymm  cl-useful: 14/486/164699 lits-rem:28 time: 0.33
649.40/81.46	c calculated reachability. Time: 0.00
649.40/81.46	c  N dy  1116    238234      6644    164699     37122     41457   1273845    969996      8.57   no data
662.98/83.19	c Finding binary XORs  T:     0.01 s  found:       0
685.35/86.00	c  N dy  1201    253453      6643    164698     37110     29420   1273835    431111      8.58      9.11
723.68/90.76	c  N dy  1311    269865      6641    164698     37136     45744   1273835   1134279      8.64      9.09
766.81/96.10	c  N dy  1398    287086      6641    164698     37155     34479   1273835    562125      8.66      9.12
805.15/100.96	c  N dy  1521    305466      6640    164698     37170     52772   1273835   1321818      8.70     12.79
807.55/101.23	c  F st  1525    306251      6640    164698     37171     53549   1273835   1347286      8.70      8.06
850.68/106.69	c  N dy  1626    325002      6639    164696     37091     42230   1273767    883270      8.75     11.14
908.18/113.85	c  N dy  1750    345010      6637    164696     37118     31631   1273767    400141      8.79      9.34
932.25/116.82	c  S st  1821    357352      6637    164696     37127     43895   1273767    878722      8.81      7.14
934.54/117.10	c  S st  1821    357858      6637    164696     37127     44398   1273767    896381      8.81   no data
934.54/117.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
942.53/118.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     94 BRemL:    210 BRemN:      0 P: 31.4M T:  0.98
942.53/118.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
942.53/118.15	c bin-w-bin subsume rem            7 bins  time:  0.00 s
942.53/118.16	c subs with bin:       73  lits-rem:        84  v-fix:    0  time:  0.02 s
942.53/118.18	c Subs w/ non-existent bins:      6 l-rem:      1 v-fix:     0 done:   2598 time:  0.02 s
942.53/118.19	c Removed useless bin:       0  fixed:     0  props:   0.59M  time:  0.01 s
943.33/118.24	c lits-rem:         0  cl-subs:       68  v-elim:     33  v-fix:    0  time:  0.05 s
944.93/118.47	c subs with bin:      332  lits-rem:      1451  v-fix:    0  time:  0.21 s
948.93/118.97	c lits-rem:       730  cl-subs:      946  v-elim:      0  v-fix:    0  time:  0.47 s
949.82/119.03	c vivif2 --  cl tried   164605 cl shrink       17 lits rem         17 time: 0.05
949.82/119.07	c vivif2 --  cl tried    36795 cl shrink     3203 lits rem      13689 time: 0.04
952.11/119.37	c asymm  cl-useful: 17/439/164605 lits-rem:17 time: 0.30
952.11/119.38	c calculated reachability. Time: 0.00
952.11/119.38	c  N dy  1821    357858      6604    164605     36716     36792   1273287    643025      8.81   no data
957.71/120.02	c Finding binary XORs  T:     0.01 s  found:       0
1000.84/125.42	c  N dy  1884    378746      6604    164605     36964     29060   1273287    352126      8.78      9.24
1040.78/130.45	c  N dy  1960    399415      6604    164605     37006     49573   1273287   1206897      8.75      9.24
1088.70/136.40	c  N dy  2053    419547      6601    164605     37027     38472   1273287    698109      8.75      9.23
1143.10/143.22	c  N dy  2147    439569      6600    164605     37065     58352   1273287   1610842      8.75      9.42
1170.28/146.61	c Finding binary XORs  T:     0.01 s  found:       1
1194.13/149.69	c  N dy  2274    459705      6598    164601     36938     44582   1273249    910423      8.77      9.24
1245.25/156.00	c  N dy  2391    479817      6596    164601     36955     64584   1273249   1762005      8.79      9.37
1290.79/161.74	c  N dy  2506    499828      6596    164601     36972     50517   1273249   1047424      8.81     10.26
1345.19/168.55	c  N dy  2627    519913      6595    164601     37000     70481   1273248   1926100      8.84      9.36
1381.83/173.15	c  S st  2743    536787      6595    164601     37021     51932   1273248   1107559      8.87   no data
1384.23/173.42	c  S st  2743    537288      6595    164601     37021     52432   1273248   1128033      8.87   no data
1384.23/173.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1392.22/174.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    569 BRemL:    687 BRemN:      0 P: 31.7M T:  1.01
1392.22/174.48	c Replacing        1 vars Replaced     1847 lits Time:     0.03 s 
1393.02/174.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1393.02/174.52	c bin-w-bin subsume rem           14 bins  time:  0.00 s
1393.02/174.54	c subs with bin:       72  lits-rem:       779  v-fix:    0  time:  0.02 s
1393.02/174.56	c Subs w/ non-existent bins:      4 l-rem:      1 v-fix:     0 done:   4289 time:  0.02 s
1393.02/174.57	c Removed useless bin:       0  fixed:     0  props:   0.57M  time:  0.01 s
1397.90/175.11	c lits-rem:         0  cl-subs:      825  v-elim:     34  v-fix:    0  time:  0.54 s
1399.40/175.39	c subs with bin:      399  lits-rem:      1475  v-fix:    0  time:  0.25 s
1405.00/176.04	c lits-rem:       812  cl-subs:      981  v-elim:      0  v-fix:    0  time:  0.63 s
1405.80/176.10	c vivif2 --  cl tried   163731 cl shrink       13 lits rem         13 time: 0.05
1405.80/176.15	c vivif2 --  cl tried    40263 cl shrink     3514 lits rem      14198 time: 0.05
1408.19/176.46	c asymm  cl-useful: 19/397/163730 lits-rem:23 time: 0.31
1408.19/176.47	c calculated reachability. Time: 0.00
1408.19/176.47	c  N dy  2743    537288      6560    163730     36516     40257   1265523    709518      8.87   no data
1408.19/176.48	c Finding binary XORs  T:     0.01 s  found:       0
1459.41/182.81	c  N dy  2828    557424      6560    163730     37000     60246   1265523   1515961      8.86      9.37
1463.31/183.37	c Finding binary XORs  T:     0.01 s  found:       0
1501.63/188.19	c  N dy  2908    577534      6559    163730     37236     49061   1265523   1167739      8.85      9.40
1556.86/195.01	c  N dy  3016    597817      6557    163730     37263     69227   1265523   2044548      8.86      9.33
1602.28/200.70	c  N dy  3124    617819      6557    163730     37277     54107   1265522   1161317      8.86      9.37
1662.97/208.30	c  N dy  3217    638659      6557    163730     37306     37497   1265522    425998      8.86      9.41
1715.69/214.93	c  N dy  3321    658843      6556    163730     37322     57530   1265522   1286426      8.87      9.34
1753.24/219.62	c Finding binary XORs  T:     0.01 s  found:       0
1785.30/223.67	c  N dy  3427    678861      6554    163725     37116     76561   1265475   2120109      8.88      9.71
1832.31/229.56	c  N dy  3517    698878      6553    163725     37191     57839   1265475   1234646      8.88      9.39
1894.61/237.38	c  N dy  3645    719193      6553    163725     37223     78038   1265475   2031802      8.90      9.42
1943.44/243.48	c  N dy  3755    739232      6553    163725     37249     57806   1265475   1165740      8.91      9.42
2002.45/250.83	c  N dy  3853    759321      6553    163725     37270     77739   1265475   1955203      8.91      9.38
2055.96/257.50	c  N dy  3953    779634      6552    163725     37298     56495   1265474   1083434      8.92      9.39
2114.26/264.84	c  N dy  4071    799650      6551    163725     37322     76387   1265474   1931858      8.93      9.69
2137.42/267.76	c  S st  4103    805932      6550    163725     37336     82611   1265474   2174295      8.93   no data
2140.62/268.15	c  S st  4103    806435      6550    163725     37336     83112   1265473   2195314      8.93   no data
2140.62/268.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2150.21/269.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    610 BRemL:    839 BRemN:      1 P: 37.3M T:  1.23
2151.01/269.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2151.01/269.45	c bin-w-bin subsume rem           23 bins  time:  0.00 s
2151.01/269.46	c subs with bin:       70  lits-rem:       100  v-fix:    0  time:  0.02 s
2151.01/269.48	c Subs w/ non-existent bins:     14 l-rem:      4 v-fix:     0 done:   2634 time:  0.02 s
2151.01/269.49	c Removed useless bin:       3  fixed:     0  props:   0.54M  time:  0.01 s
2151.81/269.55	c lits-rem:         0  cl-subs:       40  v-elim:     18  v-fix:    0  time:  0.06 s
2160.59/270.61	c subs with bin:     1595  lits-rem:      7966  v-fix:    0  time:  0.98 s
2183.75/273.59	c lits-rem:      3912  cl-subs:     2242  v-elim:      0  v-fix:    0  time:  2.95 s
2184.55/273.64	c vivif2 --  cl tried   163602 cl shrink        5 lits rem          5 time: 0.05
2185.35/273.78	c vivif2 --  cl tried    69762 cl shrink    13030 lits rem      54140 time: 0.14
2188.64/274.13	c asymm  cl-useful: 24/297/163601 lits-rem:32 time: 0.36
2188.64/274.15	c calculated reachability. Time: 0.00
2188.64/274.15	c  N dy  4103    806435      6532    163601     36677     69756   1264515   1746504      8.93   no data
2188.64/274.16	c Finding binary XORs  T:     0.01 s  found:       0
2242.16/280.84	c Finding binary XORs  T:     0.01 s  found:       0
2243.64/281.04	c  N dy  4192    826487      6530    163599     36895     51341   1264499   1049217      8.93      9.67
2307.54/289.08	c  N dy  4293    847833      6529    163599     36921     72519   1264499   2002927      8.94      9.53
2368.25/296.61	c  N dy  4404    867911      6529    163599     36948     51465   1264499    920938      8.94     13.11
2428.95/304.29	c  N dy  4520    887921      6528    163599     36966     71345   1264499   1767059      8.95     12.85
2467.29/309.09	c Finding binary XORs  T:     0.01 s  found:       0
2504.92/313.79	c  N dy  4623    909287      6528    163597     37166     48854   1264480    742872      8.95      9.65
2562.34/320.91	c  N dy  4713    929368      6526    163597     37189     68760   1264480   1573720      8.95      9.49
2637.52/330.31	c  N dy  4818    949848      6524    163597     37224     89074   1264480   2338030      8.96      9.47
2693.32/337.31	c  N dy  4933    969930      6524    163597     37239     64236   1264480   1295029      8.96     12.18
2762.01/345.99	c  N dy  5032    990021      6524    163597     37253     84173   1264480   2068629      8.97     10.06
2825.11/353.83	c  N dy  5142   1010048      6522    163597     37288     57811   1264480    978200      8.97      9.85
2892.31/362.27	c  N dy  5265   1030750      6522    163597     37308     78362   1264480   1777399      8.98      9.51
2966.47/371.58	c  N dy  5389   1050786      6522    163597     37330     50849   1264480    678216      8.99      9.54
2991.24/374.68	c Finding binary XORs  T:     0.01 s  found:       1
3027.97/379.20	c  N dy  5488   1070897      6521    163591     37581     69556   1264378   1462778      9.00      9.51
3031.18/379.66	c  F st  5498   1071875      6521    163591     37586     70525   1264378   1507553      9.00   no data
3031.18/379.69	c Replacing        1 vars Replaced     1853 lits Time:     0.02 s 
3098.27/388.03	c Finding binary XORs  T:     0.01 s  found:       0
3099.87/388.27	c  N dy  5594   1090916      6520    163590     37850     89423   1264373   2288963      9.01     12.63
3174.15/397.52	c  N dy  5690   1110954      6516    163590     37878     61381   1264373   1095691      9.01      9.49
3254.02/407.53	c  N dy  5807   1131097      6515    163590     37912     81358   1264373   1880139      9.02      9.54
3350.66/419.68	c  N dy  5935   1151246      6515    163590     37941     52115   1264373    692118      9.03      9.62
3353.86/420.09	c Finding binary XORs  T:     0.01 s  found:       0
3410.67/427.15	c  N dy  6036   1171296      6513    163583     39239     70115   1264301   1423705      9.04     10.56
3492.03/437.33	c  N dy  6138   1191363      6509    163583     39452     90008   1264301   2194856      9.04      9.53
3514.40/440.10	c Finding binary XORs  T:     0.01 s  found:       0
3559.22/445.76	c  S st  6242   1209655      6507    163578     39008     57316   1264249    938654      9.05   no data
3561.51/446.07	c  S st  6242   1210156      6507    163578     39008     57815   1264249    957086      9.05   no data
3561.51/446.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3570.30/447.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    553 BRemL:   2136 BRemN:      1 P: 36.1M T:  1.10
3571.10/447.23	c Replacing        1 vars Replaced     4060 lits Time:     0.04 s 
3571.10/447.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3571.10/447.27	c bin-w-bin subsume rem           35 bins  time:  0.00 s
3571.90/447.33	c subs with bin:     1440  lits-rem:       865  v-fix:    0  time:  0.06 s
3571.90/447.36	c Subs w/ non-existent bins:     23 l-rem:      1 v-fix:     0 done:   3892 time:  0.02 s
3571.90/447.36	c Removed useless bin:       2  fixed:     0  props:   0.51M  time:  0.01 s
3577.61/448.01	c lits-rem:         0  cl-subs:      907  v-elim:     78  v-fix:    0  time:  0.65 s
3578.29/448.18	c subs with bin:     1001  lits-rem:      3255  v-fix:    0  time:  0.15 s
3582.29/448.67	c lits-rem:       999  cl-subs:     1403  v-elim:      0  v-fix:    0  time:  0.46 s
3583.09/448.73	c vivif2 --  cl tried   161352 cl shrink       47 lits rem         47 time: 0.05
3583.09/448.76	c vivif2 --  cl tried    41474 cl shrink     3007 lits rem       7618 time: 0.03
3585.58/449.11	c asymm  cl-useful: 32/295/161352 lits-rem:34 time: 0.34
3586.39/449.12	c calculated reachability. Time: 0.00
3586.39/449.12	c  N dy  6242   1210156      6428    161352     36848     41461   1247424    563992      9.05   no data
3586.39/449.13	c Finding binary XORs  T:     0.01 s  found:       0
3643.00/456.20	c  N dy  6307   1230654      6428    161352     37255     61824   1247424   1358575      9.04      9.59
3660.56/458.47	c Finding binary XORs  T:     0.01 s  found:      24
3712.47/464.99	c  N dy  6347   1250770      6409    161275     37016     78841   1244333   1943616      9.02      9.50
3770.89/472.29	c Finding binary XORs  T:     0.01 s  found:       9
3773.98/472.66	c  N dy  6389   1271052      6352    155189     36704     52217   1201294    923514      9.00      9.58
3801.14/476.05	c Following stats are for *FIRST FINISHED THREAD ONLY*
3801.14/476.05	c num threads              : 8          
3801.14/476.05	c restarts                 : 5755       
3801.14/476.05	c dynamic restarts         : 5725       
3801.14/476.05	c static restarts          : 30         
3801.14/476.05	c full restarts            : 4          
3801.14/476.05	c total simplify time      : 0.73       
3801.14/476.05	c learnts DL2              : 0          
3801.14/476.05	c learnts size 2           : 417969     
3801.14/476.05	c learnts size 1           : 1971        (25.29     % of vars)
3801.14/476.05	c filedLit time            : 6.00        (1.26      % time)
3801.14/476.05	c v-elim SatELite          : 1059        (13.59     % vars)
3801.14/476.05	c SatELite time            : 24.92       (5.24      % time)
3801.14/476.05	c v-elim xor               : 0           (0.00      % vars)
3801.14/476.05	c xor elim time            : 0.07        (0.01      % time)
3801.14/476.05	c num binary xor trees     : 95         
3801.14/476.05	c binxor trees' crown      : 112         (1.18      leafs/tree)
3801.14/476.05	c bin xor find time        : 0.21       
3801.14/476.05	c OTF clause improved      : 9749        (0.01      clauses/conflict)
3801.14/476.05	c OTF impr. size diff      : 12154       (1.25       lits/clause)
3801.14/476.05	c OTF cl watch-shrink      : 939402      (0.70      clauses/conflict)
3801.14/476.05	c OTF cl watch-sh-lit      : 4405255     (4.69       lits/clause)
3801.14/476.05	c tried to recurMin cls    : 486666      (36.10      % of conflicts)
3801.14/476.05	c updated cache            : 15420       (0.03       lits/tried recurMin)
3801.14/476.05	c unit cls recevied        : 78          (3.96      % of units)
3801.14/476.05	c unit cls sent            : 42          (2.13      % of units)
3801.14/476.05	c bin cls recevied         : 213629     
3801.14/476.05	c bin cls sent             : 3160       
3801.14/476.05	c clauses over max glue    : 0           (0.00      % of all clauses)
3801.14/476.05	c conflicts                : 1348167     (2835.47   / sec)
3801.14/476.05	c decisions                : 2004371     (0.97      % random)
3801.14/476.05	c bogo-props               : 33722786138 (70925799.40 / sec)
3801.14/476.05	c conflict literals        : 52773368    (42.57     % deleted)
3801.14/476.05	c Memory used              : 1414.82     MB
3801.14/476.05	c single-thread CPU time   : 475.47      s
3801.14/476.05	c all-threads sum CPU time : 3798.58     s
3801.14/476.05	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394670-1306102932/watcher-3394670-1306102932 -o /tmp/evaluation-result-3394670-1306102932/solver-3394670-1306102932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394670-1306102932.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: 0.00 0.00 0.74 1/393 21884
/proc/meminfo: memFree=17697500/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=92144 CPUtime=0.06 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 420 0 0 0 6 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563980210 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 23036 360 302 95 0 18018 0
[pid=21884/tid=21885] ppid=21882 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563979801 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=92144 CPUtime=0 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563979801 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=92144 CPUtime=0 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563980204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563979801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563979801 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=92144 CPUtime=0 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563979801 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=92144 CPUtime=0.01 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721892945 94355456 360 33554432000 4194304 4580107 140733439443536 18446744073709551615 47232563979795 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0705519 s]
/proc/loadavg: 0.00 0.00 0.74 1/393 21884
/proc/meminfo: memFree=17697500/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=553780 CPUtime=0.44 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 5934 0 0 0 41 3 0 0 18 0 8 0 721892945 567070720 5830 33554432000 4194304 4580107 140733439443536 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 138481 5858 337 95 0 133463 0
[pid=21884/tid=21885] ppid=21882 vsize=554608 CPUtime=0.05 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 743 0 0 0 5 0 0 0 18 0 8 0 721892945 567918592 6190 33554432000 4194304 4580107 140733439443536 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=554608 CPUtime=0.05 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 730 0 0 0 5 0 0 0 18 0 8 0 721892945 567918592 6213 33554432000 4194304 4580107 140733439443536 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=554872 CPUtime=0.01 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 741 0 0 0 1 0 0 0 18 0 8 0 721892945 568188928 6328 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 7 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=554872 CPUtime=0.05 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) D 21882 21884 21858 0 -1 4202560 719 0 0 0 5 0 0 0 18 0 8 0 721892945 568188928 6328 33554432000 4194304 4580107 140733439443536 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=554872 CPUtime=0.05 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 684 0 0 0 5 0 0 0 18 0 8 0 721892945 568188928 6335 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 3 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=554872 CPUtime=0.05 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 814 0 0 0 5 0 0 0 18 0 8 0 721892945 568188928 6350 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278576395 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=555012 CPUtime=0.05 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 837 0 0 0 5 0 0 0 18 0 8 0 721892945 568332288 6392 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 553780

[startup+0.105205 s]
/proc/loadavg: 0.00 0.00 0.74 1/393 21884
/proc/meminfo: memFree=17697500/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=566784 CPUtime=0.66 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) D 21882 21884 21858 0 -1 4202496 14584 0 0 0 57 9 0 0 17 0 8 0 721892945 580386816 13711 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278540833 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 141696 13830 338 95 0 136678 0
[pid=21884/tid=21885] ppid=21882 vsize=566784 CPUtime=0.07 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1926 0 0 0 7 0 0 0 17 0 8 0 721892945 580386816 13864 33554432000 4194304 4580107 140733439443536 18446744073709551615 4354907 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=566784 CPUtime=0.08 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 1801 0 0 0 8 0 0 0 17 0 8 0 721892945 580386816 13876 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=567024 CPUtime=0.03 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) D 21882 21884 21858 0 -1 4202560 1847 0 0 0 2 1 0 0 18 0 8 0 721892945 580632576 13927 33554432000 4194304 4580107 140733439443536 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=567024 CPUtime=0.08 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) D 21882 21884 21858 0 -1 4202560 1751 0 0 0 7 1 0 0 17 0 8 0 721892945 580632576 13927 33554432000 4194304 4580107 140733439443536 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=567024 CPUtime=0.08 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 1696 0 0 0 8 0 0 0 17 0 8 0 721892945 580632576 13927 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 3 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=567024 CPUtime=0.08 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 1936 0 0 0 7 1 0 0 18 0 8 0 721892945 580632576 13927 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278576736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=567024 CPUtime=0.08 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) D 21882 21884 21858 0 -1 4202560 1740 0 0 0 7 1 0 0 17 0 8 0 721892945 580632576 13927 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 566784

[startup+0.376943 s]
/proc/loadavg: 0.00 0.00 0.74 1/393 21884
/proc/meminfo: memFree=17697500/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=587852 CPUtime=2.76 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 35317 0 0 0 261 15 0 0 18 0 8 0 721892945 601960448 34443 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 146963 34575 360 95 0 141945 0
[pid=21884/tid=21885] ppid=21882 vsize=587852 CPUtime=0.34 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 4569 0 0 0 33 1 0 0 18 0 8 0 721892945 601960448 34806 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=588128 CPUtime=0.35 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 4500 0 0 0 34 1 0 0 18 0 8 0 721892945 602243072 35253 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=588540 CPUtime=0.31 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) D 21882 21884 21858 0 -1 4202560 4624 0 0 0 29 2 0 0 18 0 8 0 721892945 602664960 35972 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278540833 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=588540 CPUtime=0.36 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 4607 0 0 0 34 2 0 0 18 0 8 0 721892945 602664960 36020 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=588540 CPUtime=0.36 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 4610 0 0 0 35 1 0 0 18 0 8 0 721892945 602664960 36020 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278540833 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=588540 CPUtime=0.36 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 4513 0 0 0 34 2 0 0 18 0 8 0 721892945 602664960 36020 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=588540 CPUtime=0.36 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 4361 0 0 0 34 2 0 0 18 0 8 0 721892945 602664960 36020 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 587852

[startup+0.730745 s]
/proc/loadavg: 0.00 0.00 0.74 1/393 21884
/proc/meminfo: memFree=17697500/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=634676 CPUtime=6.67 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 47822 0 0 0 647 20 0 0 18 0 8 0 721892945 649908224 46947 33554432000 4194304 4580107 140733439443536 18446744073709551615 4305199 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 159636 47465 366 95 0 154618 0
[pid=21884/tid=21885] ppid=21882 vsize=638544 CPUtime=0.83 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) D 21882 21884 21858 0 -1 4202560 7315 0 0 0 80 3 0 0 18 0 8 0 721892945 653869056 47467 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278576395 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=638544 CPUtime=0.83 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 5869 0 0 0 82 1 0 0 18 0 8 0 721892945 653869056 47467 33554432000 4194304 4580107 140733439443536 18446744073709551615 4439208 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=638544 CPUtime=0.79 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 5981 0 0 0 77 2 0 0 18 0 8 0 721892945 653869056 47467 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 7 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=638544 CPUtime=0.83 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 5895 0 0 0 81 2 0 0 18 0 8 0 721892945 653869056 47467 33554432000 4194304 4580107 140733439443536 18446744073709551615 4256976 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=638684 CPUtime=0.83 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 6004 0 0 0 81 2 0 0 18 0 8 0 721892945 654012416 47469 33554432000 4194304 4580107 140733439443536 18446744073709551615 4305188 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=638684 CPUtime=0.84 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) S 21882 21884 21858 0 -1 4202560 6336 0 0 0 81 3 0 0 18 0 8 0 721892945 654012416 48051 33554432000 4194304 4580107 140733439443536 18446744073709551615 237278984686 0 0 4096 2 18446604466289340544 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=638684 CPUtime=0.84 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 4901 0 0 0 82 2 0 0 18 0 8 0 721892945 654012416 48120 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 634676

[startup+1.50064 s]
/proc/loadavg: 0.00 0.00 0.74 6/401 21892
/proc/meminfo: memFree=17267552/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=816316 CPUtime=11.29 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 109720 0 0 0 1090 39 0 0 17 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 204079 108547 374 95 0 199061 0
[pid=21884/tid=21885] ppid=21882 vsize=816316 CPUtime=1.42 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14979 0 0 0 137 5 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=816316 CPUtime=1.41 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14423 0 0 0 137 4 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=816316 CPUtime=1.37 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15492 0 0 0 132 5 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=816316 CPUtime=1.4 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14658 0 0 0 135 5 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=816316 CPUtime=1.4 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15171 0 0 0 136 4 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=816316 CPUtime=1.4 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15612 0 0 0 135 5 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=816316 CPUtime=1.44 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 5219 0 0 0 142 2 0 0 18 0 8 0 721892945 835907584 108547 33554432000 4194304 4580107 140733439443536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 816316

[startup+3.10036 s]
/proc/loadavg: 0.00 0.00 0.74 9/401 21892
/proc/meminfo: memFree=17261972/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=816316 CPUtime=24.07 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 110287 0 0 0 2368 39 0 0 20 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 204079 109114 375 95 0 199061 0
[pid=21884/tid=21885] ppid=21882 vsize=816316 CPUtime=3.02 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14979 0 0 0 297 5 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=816316 CPUtime=3.01 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14423 0 0 0 297 4 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=816316 CPUtime=2.97 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15492 0 0 0 292 5 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=816316 CPUtime=3 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14658 0 0 0 295 5 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=816316 CPUtime=2.98 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15171 0 0 0 294 4 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=816316 CPUtime=3 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15612 0 0 0 295 5 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=816316 CPUtime=3.04 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 5786 0 0 0 301 3 0 0 21 0 8 0 721892945 835907584 109114 33554432000 4194304 4580107 140733439443536 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 816316

[startup+6.30078 s]
/proc/loadavg: 0.64 0.13 0.78 9/401 21892
/proc/meminfo: memFree=17262976/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=796796 CPUtime=49.62 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 116363 0 0 0 4921 41 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4415787 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 199199 111459 376 95 0 194181 0
[pid=21884/tid=21885] ppid=21882 vsize=796796 CPUtime=6.22 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15849 0 0 0 617 5 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=796796 CPUtime=6.21 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15324 0 0 0 617 4 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=796796 CPUtime=6.17 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15492 0 0 0 612 5 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=796796 CPUtime=6.2 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 14658 0 0 0 615 5 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=796796 CPUtime=6.14 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 15171 0 0 0 610 4 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=796796 CPUtime=6.19 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 16446 0 0 0 614 5 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=796796 CPUtime=6.24 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 9257 0 0 0 620 4 0 0 25 0 8 0 721892945 815919104 111459 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=21884] ppid=21882 vsize=1494772 CPUtime=3691.83 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 887448 0 0 0 368891 292 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 373693 286764 380 95 0 368675 0
[pid=21884/tid=21885] ppid=21882 vsize=1494772 CPUtime=462.22 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 105489 0 0 0 46194 28 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1494772 CPUtime=462.23 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 119050 0 0 0 46187 36 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1494772 CPUtime=462.18 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 125372 0 0 0 46174 44 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1494772 CPUtime=462.2 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112712 0 0 0 46177 43 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1494772 CPUtime=456.34 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 45604 30 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1494772 CPUtime=462.12 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 123976 0 0 0 46177 35 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1494772 CPUtime=462.26 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115234 0 0 0 46192 34 0 0 25 0 8 0 721892945 1530646528 286764 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3691.83
Current children cumulated vsize (KiB) 1494772

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

[startup+467.401 s]
/proc/loadavg: 8.04 6.35 3.61 9/401 21904
/proc/meminfo: memFree=16569420/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=1448776 CPUtime=3732.44 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 891902 0 0 0 372951 293 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4339849 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 362194 282003 380 95 0 357176 0
[pid=21884/tid=21885] ppid=21882 vsize=1448776 CPUtime=467.32 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 106126 0 0 0 46703 29 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1448776 CPUtime=467.31 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 121873 0 0 0 46695 36 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1448776 CPUtime=467.27 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 125755 0 0 0 46682 45 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1448776 CPUtime=467.29 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112808 0 0 0 46686 43 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1448776 CPUtime=461.37 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 46107 30 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1448776 CPUtime=467.2 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 124129 0 0 0 46685 35 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1448776 CPUtime=467.34 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115234 0 0 0 46700 34 0 0 25 0 8 0 721892945 1483546624 282003 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3732.44
Current children cumulated vsize (KiB) 1448776

[startup+470.601 s]
/proc/loadavg: 8.12 6.40 3.64 9/401 21904
/proc/meminfo: memFree=16555608/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=1448776 CPUtime=3758.01 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 895407 0 0 0 375506 295 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 362194 285508 380 95 0 357176 0
[pid=21884/tid=21885] ppid=21882 vsize=1448776 CPUtime=470.51 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 106503 0 0 0 47022 29 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1448776 CPUtime=470.52 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 122195 0 0 0 47015 37 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1448776 CPUtime=470.47 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 126029 0 0 0 47002 45 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1448776 CPUtime=470.49 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112808 0 0 0 47006 43 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1448776 CPUtime=464.53 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 46423 30 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1448776 CPUtime=470.4 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 124129 0 0 0 47005 35 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1448776 CPUtime=470.54 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115234 0 0 0 47020 34 0 0 25 0 8 0 721892945 1483546624 285508 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.01
Current children cumulated vsize (KiB) 1448776

[startup+473.801 s]
/proc/loadavg: 8.12 6.40 3.64 9/401 21904
/proc/meminfo: memFree=16550644/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=1448776 CPUtime=3783.56 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 896653 0 0 0 378060 296 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 362194 286754 380 95 0 357176 0
[pid=21884/tid=21885] ppid=21882 vsize=1448776 CPUtime=473.71 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 106770 0 0 0 47342 29 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1448776 CPUtime=473.72 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 122533 0 0 0 47335 37 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1448776 CPUtime=473.66 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 126335 0 0 0 47321 45 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1448776 CPUtime=473.69 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112808 0 0 0 47326 43 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1448776 CPUtime=467.69 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 46739 30 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1448776 CPUtime=473.6 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 124129 0 0 0 47325 35 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1448776 CPUtime=473.74 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115234 0 0 0 47340 34 0 0 25 0 8 0 721892945 1483546624 286754 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3783.56
Current children cumulated vsize (KiB) 1448776

[startup+475.401 s]
/proc/loadavg: 8.11 6.42 3.66 9/401 21904
/proc/meminfo: memFree=16547296/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=1448776 CPUtime=3796.45 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 897321 0 0 0 379348 297 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 362194 287422 380 95 0 357176 0
[pid=21884/tid=21885] ppid=21882 vsize=1448776 CPUtime=475.33 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 106913 0 0 0 47504 29 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1448776 CPUtime=475.33 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 122692 0 0 0 47496 37 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1448776 CPUtime=475.27 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 126463 0 0 0 47482 45 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1448776 CPUtime=475.3 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112808 0 0 0 47487 43 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1448776 CPUtime=469.28 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 46898 30 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1448776 CPUtime=475.22 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 124129 0 0 0 47487 35 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1448776 CPUtime=475.36 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115303 0 0 0 47502 34 0 0 25 0 8 0 721892945 1483546624 287422 33554432000 4194304 4580107 140733439443536 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3796.45
Current children cumulated vsize (KiB) 1448776

[startup+475.801 s]
/proc/loadavg: 8.11 6.42 3.66 9/401 21904
/proc/meminfo: memFree=16547296/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=1448776 CPUtime=3799.54 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 897464 0 0 0 379657 297 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4318711 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 362194 287565 380 95 0 357176 0
[pid=21884/tid=21885] ppid=21882 vsize=1448776 CPUtime=475.71 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 106944 0 0 0 47542 29 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1448776 CPUtime=475.71 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 122712 0 0 0 47534 37 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1448776 CPUtime=475.66 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 126498 0 0 0 47521 45 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4303856 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1448776 CPUtime=475.69 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112808 0 0 0 47526 43 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1448776 CPUtime=469.66 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 46936 30 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1448776 CPUtime=475.6 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 124129 0 0 0 47525 35 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1448776 CPUtime=475.75 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115329 0 0 0 47540 35 0 0 25 0 8 0 721892945 1483546624 287565 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3799.54
Current children cumulated vsize (KiB) 1448776

[startup+476.001 s]
/proc/loadavg: 8.11 6.42 3.66 9/401 21904
/proc/meminfo: memFree=16547296/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=1448776 CPUtime=3801.14 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) R 21882 21884 21858 0 -1 4202496 897547 0 0 0 379817 297 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 362194 287648 380 95 0 357176 0
[pid=21884/tid=21885] ppid=21882 vsize=1448776 CPUtime=475.91 cores=0-7
/proc/21884/task/21885/stat : 21885 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 106962 0 0 0 47562 29 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21884/tid=21886] ppid=21882 vsize=1448776 CPUtime=475.91 cores=0-7
/proc/21884/task/21886/stat : 21886 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 122729 0 0 0 47554 37 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21884/tid=21887] ppid=21882 vsize=1448776 CPUtime=475.86 cores=0-7
/proc/21884/task/21887/stat : 21887 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 126508 0 0 0 47541 45 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=1448776 CPUtime=475.89 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 112808 0 0 0 47546 43 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4318471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21884/tid=21889] ppid=21882 vsize=1448776 CPUtime=469.86 cores=0-7
/proc/21884/task/21889/stat : 21889 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 86719 0 0 0 46956 30 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21884/tid=21890] ppid=21882 vsize=1448776 CPUtime=475.8 cores=0-7
/proc/21884/task/21890/stat : 21890 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 124129 0 0 0 47545 35 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21884/tid=21891] ppid=21882 vsize=1448776 CPUtime=475.95 cores=0-7
/proc/21884/task/21891/stat : 21891 (strangenight2-m) R 21882 21884 21858 0 -1 4202560 115348 0 0 0 47560 35 0 0 25 0 8 0 721892945 1483546624 287648 33554432000 4194304 4580107 140733439443536 18446744073709551615 4322575 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3801.14
Current children cumulated vsize (KiB) 1448776

[startup+476.101 s]
/proc/loadavg: 8.11 6.42 3.66 9/401 21904
/proc/meminfo: memFree=16547296/32950904 swapFree=65784192/67111528
[pid=21884] ppid=21882 vsize=0 CPUtime=3801.6 cores=0-7
/proc/21884/stat : 21884 (strangenight2-m) Z 21882 21884 21858 0 -1 4203548 897570 0 0 0 379858 302 0 0 25 0 2 0 721892945 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21884/statm: 0 0 0 0 0 0 0
[pid=21884/tid=21888] ppid=21882 vsize=0 CPUtime=475.99 cores=0-7
/proc/21884/task/21888/stat : 21888 (strangenight2-m) R 21882 21884 21858 0 -1 4203588 112808 0 0 0 47551 48 0 0 25 0 2 0 721892945 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3801.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 476.108
CPU time (s): 3801.61
CPU user time (s): 3798.58
CPU system time (s): 3.02654
CPU usage (%): 798.477
Max. virtual memory (cumulated for all children) (KiB): 1605460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3798.58
system time used= 3.02654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897570
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= 35957
involuntary context switches= 16905

runsolver used 1.66975 second user time and 4.43033 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-23 00:22:12
IDJOB=3394670
IDBENCH=83446
IDSOLVER=1878
FILE ID=node121/3394670-1306102932
RUNJOBID= node121-1306102931-21872
PBS_JOBID= 13388004
Free space on /tmp= 72988 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394670-1306102932/watcher-3394670-1306102932 -o /tmp/evaluation-result-3394670-1306102932/solver-3394670-1306102932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394670-1306102932.cnf

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=347662787

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      17698036 kB
Buffers:        165280 kB
Cached:        3813368 kB
SwapCached:      32064 kB
Active:        7631784 kB
Inactive:      7381564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      17698036 kB
SwapTotal:    67111528 kB
SwapFree:     65784192 kB
Dirty:           12052 kB
Writeback:           0 kB
AnonPages:    11009200 kB
Mapped:          30580 kB
Slab:           120700 kB
PageTables:      52200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83500496 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= 72984 MiB
End job on node121 at 2011-05-23 00:30:08