Trace number 3321047

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 40000.3 5004.39

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3141.43
Satisfiable
(Un)Satisfiability was proved
Number of variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3321047-1304322424.cnf'
0.53/0.10	c -- clauses added:            0 learnts,        96161 normals,            0 xors
0.53/0.10	c -- vars added      31951
0.53/0.10	c Parsing time:  0.03 s
0.53/0.10	c  N st     0         0     31951     34439     61522         0    226361         0   no data   no data
0.61/0.36	c asymm  cl-useful: 15/34199/34199 lits-rem:45 time: 0.23
9.57/1.35	c Flit:    75 Blit:    312 bXBeca:    0 bXProp: 1890 Bins:      0 BRemL:      0 BRemN:      0 P: 18.7M T:  0.89
9.57/1.35	c Cleaning up after failed var search:     0.00 s 
9.57/1.35	c Replacing     1890 vars Replaced    47731 lits Time:     0.01 s 
9.57/1.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
10.36/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28403 time:  0.09 s
11.13/1.55	c Removed useless bin:       0  fixed:     0  props:  14.00M  time:  0.08 s
11.93/1.64	c lits-rem:         0  cl-subs:        0  v-elim:   9467  v-fix:    0  time:  0.08 s
11.93/1.68	c Finding binary XORs  T:     0.04 s  found:      12
11.93/1.68	c Replacing       12 vars Replaced      311 lits Time:     0.00 s 
11.93/1.69	c Finding non-binary XORs:     0.01 s (found:     710, avg size: 3.0)
11.93/1.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     0 time:   0.00
12.73/1.70	c calculated reachability. Time: 0.01
12.73/1.71	c Calc default polars -  time:   0.00 s pos:    4897 undec:   13074 neg:   13980
12.73/1.71	c =========================================================================================
12.73/1.71	c types(t): F = full restart, N = normal restart
12.73/1.71	c types(t): S = simplification begin/end, E = solution found
12.73/1.71	c restart types(rt): st = static, dy = dynamic
12.73/1.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
12.73/1.71	c  B st     0         0     18918     18263     45990         0    158345         0   no data   no data
40.68/5.20	c Decided on static restart strategy
83.05/10.58	c  N st     8      4918     18918     18263     46057      4812    158345    264245   no data   no data
188.56/23.71	c  N st    10     11301     18918     18263     46128      8343    158345    345158   no data   no data
283.69/35.60	c  N st    11     17044     18918     18263     46147      9329    158345    368045   no data   no data
283.69/35.63	c Finding binary XORs  T:     0.03 s  found:       6
418.78/52.51	c  F st    12     25000     18918     18263     48002     11025    158345    359896   no data   no data
418.78/52.52	c Replacing        6 vars Replaced     4902 lits Time:     0.01 s 
418.78/52.54	c  N st    12     25000     18912     18263     47983     11025    158345    359833   no data   no data
505.91/63.43	c Decided on static restart strategy
505.91/63.43	c  N st    18     30001     18912     18263     48417      8605    158345    266917   no data   no data
505.91/63.43	c  S st    18     30001     18912     18263     48417      8605    158345    266917   no data   no data
507.51/63.61	c  S st    18     30502     18912     18263     48463      9060    158345    289982   no data   no data
507.51/63.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
523.49/65.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins: 117889 BRemL:  37792 BRemN:      1 P: 17.1M T:  2.03
523.49/65.66	c Replacing        3 vars Replaced       86 lits Time:     0.01 s 
523.49/65.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
523.49/65.68	c bin-w-bin subsume rem         1905 bins  time:  0.01 s
524.29/65.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
524.29/65.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  18909 time:  0.09 s
525.11/65.83	c Removed useless bin:       5  fixed:     0  props:   3.70M  time:  0.04 s
526.75/66.02	c lits-rem:        21  cl-subs:     1866  v-elim:   6265  v-fix:    0  time:  0.19 s
526.75/66.04	c subs with bin:       12  lits-rem:       417  v-fix:    0  time:  0.01 s
526.75/66.08	c lits-rem:       765  cl-subs:     1266  v-elim:      0  v-fix:    0  time:  0.04 s
529.09/66.30	c asymm  cl-useful: 1034/14838/14838 lits-rem:10880 time: 0.22
529.09/66.32	c calculated reachability. Time: 0.01
529.09/66.32	c  N st    18     30502     12644     14838     59317      2535    146843     86253   no data   no data
529.09/66.35	c Finding binary XORs  T:     0.03 s  found:       0
620.23/77.73	c  N st    20     37617     12644     14838     59381      9626    146843    549167   no data   no data
702.61/88.10	c  N st    21     44016     12644     14838     59388     10115    146843    563610   no data   no data
703.42/88.13	c Finding binary XORs  T:     0.02 s  found:       0
727.34/91.14	c  S st    22     45754     12644     14838     84129     11847    146843    853691   no data   no data
728.14/91.30	c  S st    22     46256     12644     14838     84136     12342    146843    872854   no data   no data
728.99/91.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
736.93/92.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2733 BRemL:  28734 BRemN:      0 P: 17.4M T:  1.04
736.93/92.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
736.93/92.36	c bin-w-bin subsume rem         1096 bins  time:  0.01 s
736.93/92.38	c subs with bin:      122  lits-rem:      2038  v-fix:    0  time:  0.02 s
737.78/92.45	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:  12644 time:  0.07 s
737.78/92.48	c Removed useless bin:      65  fixed:     0  props:   2.18M  time:  0.03 s
738.58/92.53	c lits-rem:        56  cl-subs:      112  v-elim:     66  v-fix:    0  time:  0.05 s
740.93/92.82	c subs with bin:        3  lits-rem:      1285  v-fix:    0  time:  0.26 s
743.33/93.15	c lits-rem:      1410  cl-subs:      519  v-elim:      0  v-fix:    0  time:  0.33 s
743.33/93.16	c vivif2 --  cl tried    14848 cl shrink      102 lits rem        103 time: 0.01
744.13/93.21	c vivif2 --  cl tried    10747 cl shrink     6138 lits rem     222406 time: 0.06
745.73/93.47	c asymm  cl-useful: 0/14824/14824 lits-rem:0 time: 0.25
745.73/93.48	c calculated reachability. Time: 0.01
745.73/93.48	c  N st    22     46256     12578     14824     56710     10747    145332    420323   no data   no data
947.97/118.71	c  N st    23     60653     12578     14824     56720     17390    145332    972229   no data   no data
947.97/118.74	c Finding binary XORs  T:     0.02 s  found:       0
1071.92/134.26	c  N st    24     69384     12578     14824     58322     16370    145332    807186   no data   no data
1071.92/134.26	c  S st    24     69384     12578     14824     58322     16370    145332    807186   no data   no data
1073.46/134.45	c  S st    24     69886     12578     14824     58952     16864    145332    828302   no data   no data
1073.46/134.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1081.51/135.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    157 BRemL:   1758 BRemN:     54 P: 18.9M T:  0.98
1081.51/135.45	c Replacing        2 vars Replaced      175 lits Time:     0.01 s 
1081.51/135.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1081.51/135.46	c bin-w-bin subsume rem          173 bins  time:  0.00 s
1081.51/135.48	c subs with bin:       53  lits-rem:         0  v-fix:    0  time:  0.02 s
1082.25/135.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12576 time:  0.07 s
1082.25/135.58	c Removed useless bin:      45  fixed:     0  props:   2.14M  time:  0.03 s
1083.06/135.62	c lits-rem:        11  cl-subs:       22  v-elim:     28  v-fix:    0  time:  0.04 s
1084.66/135.88	c subs with bin:        2  lits-rem:        56  v-fix:    0  time:  0.23 s
1088.65/136.32	c lits-rem:      2294  cl-subs:      899  v-elim:      0  v-fix:    0  time:  0.44 s
1088.65/136.33	c vivif2 --  cl tried    14785 cl shrink        5 lits rem          7 time: 0.01
1088.65/136.40	c vivif2 --  cl tried    15868 cl shrink     6386 lits rem     226274 time: 0.07
1091.05/136.69	c asymm  cl-useful: 4/14785/14785 lits-rem:10 time: 0.28
1091.85/136.70	c calculated reachability. Time: 0.01
1091.85/136.70	c  N st    24     69886     12548     14782     57011     15868    145066    554606   no data   no data
1091.85/136.72	c Finding binary XORs  T:     0.02 s  found:       3
1350.85/169.10	c  F st    25     87500     12548     14782     57017     22281    145066    969967   no data   no data
1350.85/169.16	c Replacing        3 vars Replaced    27280 lits Time:     0.05 s 
1350.85/169.17	c  N st    25     87500     12545     14782     57011     22281    145060    969961   no data   no data
1425.18/178.42	c Decided on static restart strategy
1466.77/183.66	c  N st    32     95538     12545     14782     57249     17878    145060    697777   no data   no data
1466.77/183.68	c Finding binary XORs  T:     0.02 s  found:       0
1595.45/199.71	c  N st    34    104830     12545     14782     57466     27145    145060   1379031   no data   no data
1595.45/199.71	c  S st    34    104830     12545     14782     57466     27145    145060   1379031   no data   no data
1597.05/199.95	c  S st    34    105332     12545     14782     57901     14088    145060    343247   no data   no data
1597.05/199.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1605.05/200.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     64 BRemL:    677 BRemN:     22 P: 18.2M T:  0.96
1605.05/200.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1605.05/200.93	c bin-w-bin subsume rem           91 bins  time:  0.00 s
1605.05/200.95	c subs with bin:       51  lits-rem:         0  v-fix:    0  time:  0.02 s
1605.84/201.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12545 time:  0.07 s
1605.84/201.05	c Removed useless bin:      36  fixed:     0  props:   2.12M  time:  0.03 s
1605.84/201.09	c lits-rem:         5  cl-subs:       20  v-elim:     15  v-fix:    0  time:  0.04 s
1606.64/201.19	c subs with bin:        3  lits-rem:        35  v-fix:    0  time:  0.09 s
1607.45/201.28	c lits-rem:       548  cl-subs:      868  v-elim:      0  v-fix:    0  time:  0.09 s
1607.45/201.29	c vivif2 --  cl tried    14721 cl shrink       13 lits rem         16 time: 0.01
1608.30/201.31	c vivif2 --  cl tried    13097 cl shrink      747 lits rem      13196 time: 0.02
1609.84/201.59	c asymm  cl-useful: 3/14718/14718 lits-rem:5 time: 0.28
1610.64/201.60	c calculated reachability. Time: 0.01
1610.64/201.60	c  N st    34    105332     12530     14717     57050     13097    144820    301907   no data   no data
1749.78/219.08	c  N st    35    114930     12530     14717     57054     22657    144820    974750   no data   no data
1750.53/219.11	c Finding binary XORs  T:     0.02 s  found:       3
1967.17/246.25	c  N st    36    129327     12530     14717     57943     22425    144820    727471   no data   no data
2298.89/287.73	c  N st    37    150923     12530     14717     58303     28359    144820   1065601   no data   no data
2298.89/287.75	c Finding binary XORs  T:     0.02 s  found:       1
2409.26/301.58	c  S st    38    157998     12530     14717     58495     18797    144820    514011   no data   no data
2410.81/301.79	c  S st    38    158501     12530     14717     58502     19296    144820    534042   no data   no data
2411.61/301.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2419.61/302.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     12 BRemL:    817 BRemN:     22 P: 20.3M T:  1.02
2419.61/302.85	c Replacing        4 vars Replaced    10215 lits Time:     0.03 s 
2419.61/302.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2419.61/302.86	c bin-w-bin subsume rem          191 bins  time:  0.01 s
2419.61/302.88	c subs with bin:       72  lits-rem:         0  v-fix:    0  time:  0.02 s
2420.40/302.95	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  12526 time:  0.07 s
2420.40/302.97	c Removed useless bin:      54  fixed:     0  props:   2.09M  time:  0.03 s
2421.20/303.02	c lits-rem:         4  cl-subs:       15  v-elim:     16  v-fix:    0  time:  0.04 s
2422.80/303.22	c subs with bin:        2  lits-rem:        76  v-fix:    0  time:  0.19 s
2424.40/303.40	c lits-rem:       547  cl-subs:     1931  v-elim:      0  v-fix:    0  time:  0.17 s
2424.40/303.41	c vivif2 --  cl tried    14633 cl shrink       12 lits rem         14 time: 0.01
2424.40/303.46	c vivif2 --  cl tried    17281 cl shrink     2843 lits rem      63121 time: 0.05
2426.85/303.76	c asymm  cl-useful: 0/14628/14628 lits-rem:0 time: 0.31
2426.85/303.77	c calculated reachability. Time: 0.01
2426.85/303.78	c  N st    38    158501     12510     14628     57348     17281    144526    442357   no data   no data
3154.23/394.72	c  N st    39    207089     12510     14628     57360     29965    144526   1103459   no data   no data
3654.63/457.35	c  N st    40    237752     12510     14628     57474     41270    144526   1745228   no data   no data
3654.63/457.35	c  S st    40    237752     12510     14628     57474     41270    144526   1745228   no data   no data
3657.08/457.67	c  S st    40    238252     12510     14628     57537     41769    144526   1766184   no data   no data
3657.08/457.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3666.68/458.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     59 BRemL:     89 BRemN:     25 P: 24.8M T:  1.17
3666.68/458.86	c Replacing        2 vars Replaced       92 lits Time:     0.01 s 
3666.68/458.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3666.68/458.88	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3667.42/458.90	c subs with bin:       31  lits-rem:         0  v-fix:    0  time:  0.02 s
3667.42/458.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12508 time:  0.07 s
3668.22/459.00	c Removed useless bin:      17  fixed:     0  props:   2.06M  time:  0.03 s
3668.22/459.05	c lits-rem:         0  cl-subs:        5  v-elim:      5  v-fix:    0  time:  0.05 s
3673.02/459.64	c subs with bin:        2  lits-rem:       220  v-fix:    0  time:  0.53 s
3687.40/461.46	c lits-rem:       779  cl-subs:     3134  v-elim:      0  v-fix:    0  time:  1.81 s
3687.40/461.47	c vivif2 --  cl tried    14583 cl shrink        5 lits rem          7 time: 0.01
3689.00/461.68	c vivif2 --  cl tried    38327 cl shrink    15807 lits rem     501930 time: 0.21
3692.25/462.08	c asymm  cl-useful: 0/14583/14583 lits-rem:0 time: 0.40
3692.25/462.10	c calculated reachability. Time: 0.01
3692.25/462.10	c  N st    40    238252     12503     14583     57442     38327    144331   1205860   no data   no data
4769.74/596.84	c  F st    41    306250     12503     14583     57445     41803    144331   1386187   no data   no data
4769.74/596.86	c  N st    41    306250     12503     14583     57445     41803    144331   1386187   no data   no data
4769.74/596.88	c Finding binary XORs  T:     0.02 s  found:       0
5007.97/626.63	c  N dy    75    325804     12503     14583     57724     36791    144331   1121176     10.05     12.50
5212.60/652.28	c  N dy   153    346301     12503     14583     57814     32145    144331    781174      9.94     10.57
5327.77/666.68	c  S st   183    357378     12503     14583     57816     43149    144331   1330613      9.77      6.46
5330.91/667.03	c  S st   183    357883     12503     14583     57825     43643    144331   1349463      9.77   no data
5330.91/667.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5340.51/668.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     63 BRemL:    233 BRemN:     13 P: 27.9M T:  1.25
5341.31/668.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5341.31/668.30	c bin-w-bin subsume rem            5 bins  time:  0.00 s
5341.31/668.32	c subs with bin:       42  lits-rem:         0  v-fix:    0  time:  0.02 s
5341.31/668.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12503 time:  0.07 s
5342.11/668.42	c Removed useless bin:      18  fixed:     0  props:   2.04M  time:  0.03 s
5342.11/668.47	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.05 s
5346.90/669.07	c subs with bin:       59  lits-rem:        11  v-fix:    0  time:  0.55 s
5352.49/669.77	c lits-rem:      2705  cl-subs:     1478  v-elim:      0  v-fix:    0  time:  0.69 s
5352.49/669.78	c vivif2 --  cl tried    14545 cl shrink        2 lits rem          3 time: 0.01
5354.14/669.92	c vivif2 --  cl tried    42106 cl shrink    11998 lits rem     283023 time: 0.14
5357.28/670.34	c asymm  cl-useful: 3/12185/14545 lits-rem:3 time: 0.42
5357.28/670.35	c calculated reachability. Time: 0.01
5357.28/670.35	c  N dy   183    357883     12500     14545     57599     42106    144240   1026283      9.77   no data
5571.51/697.10	c  N dy   271    378232     12500     14545     57640     36557    144240    968801      9.91     10.47
5786.50/724.03	c  N dy   342    398260     12500     14545     57644     29775    144240    506425      9.88     11.52
5992.72/749.82	c  N dy   429    418681     12500     14545     57654     50067    144240   1559366      9.91     10.47
6196.54/775.30	c  N dy   530    439007     12500     14545     57654     42641    144240   1117272      9.94     10.50
6421.95/803.50	c  N dy   618    459291     12500     14545     57655     34240    144240    682112      9.94     10.56
6481.10/810.96	c Finding binary XORs  T:     0.02 s  found:       2
6629.02/829.42	c  N dy   683    479390     12500     14545     57979     54164    144240   1627536      9.90     12.72
6860.75/858.47	c  N dy   752    499724     12500     14545     57981     44771    144240   1162911      9.87     10.49
7093.37/887.57	c  N dy   857    519847     12500     14545     57984     34234    144240    558132      9.95     10.59
7284.42/911.47	c  S st   896    536826     12500     14545     57987     51093    144240   1438737      9.89   no data
7287.62/911.84	c  S st   896    537327     12500     14545     57989     51591    144240   1459317      9.89   no data
7287.62/911.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
7298.80/913.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      8 BRemL:    212 BRemN:     25 P: 32.0M T:  1.35
7298.80/913.22	c Replacing        3 vars Replaced      246 lits Time:     0.01 s 
7298.80/913.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7298.80/913.23	c bin-w-bin subsume rem           11 bins  time:  0.01 s
7298.80/913.25	c subs with bin:       17  lits-rem:         0  v-fix:    0  time:  0.02 s
7299.60/913.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12497 time:  0.07 s
7299.60/913.35	c Removed useless bin:      19  fixed:     0  props:   2.03M  time:  0.03 s
7300.40/913.40	c lits-rem:         1  cl-subs:        6  v-elim:     11  v-fix:    0  time:  0.05 s
7305.20/914.05	c subs with bin:      431  lits-rem:      1256  v-fix:    0  time:  0.59 s
7314.84/915.21	c lits-rem:      3223  cl-subs:     1555  v-elim:      0  v-fix:    0  time:  1.16 s
7314.84/915.22	c vivif2 --  cl tried    14554 cl shrink       14 lits rem         18 time: 0.01
7315.65/915.38	c vivif2 --  cl tried    49509 cl shrink    12833 lits rem     322742 time: 0.16
7316.39/915.42	c asymm  cl-useful: 0/2369/14554 lits-rem:0 time: 0.04
7316.39/915.43	c calculated reachability. Time: 0.01
7316.39/915.43	c  N dy   896    537327     12486     14554     57677     49509    144273   1088833      9.89   no data
7527.42/941.86	c  N dy   973    557353     12486     14554     57778     37926    144273    694988      9.89     10.50
7740.05/968.43	c  N dy  1072    577438     12486     14554     57779     57889    144273   1658009      9.92     10.49
8006.24/1001.71	c  N dy  1139    601511     12486     14554     57782     49246    144273   1155768      9.87     10.56
8239.53/1030.97	c  N dy  1224    621703     12486     14554     57802     35827    144273    495469      9.87     10.43
8486.65/1061.92	c  N dy  1290    643932     12486     14554     57831     57861    144273   1532747      9.85     10.45
8705.67/1089.39	c  N dy  1390    663998     12486     14554     57835     43367    144273    832021      9.88     13.34
8926.30/1116.90	c  N dy  1488    684242     12486     14554     57836     63489    144273   1790036      9.90     10.58
9150.92/1145.01	c  N dy  1588    704245     12486     14554     57839     47873    144273   1022515      9.92     10.46
9373.15/1172.83	c  N dy  1670    724746     12486     14554     57840     68239    144273   1976878      9.93     10.63
9603.37/1201.67	c  N dy  1773    744816     12486     14554     57840     51668    144273   1101822      9.96     12.26
9841.58/1231.48	c  N dy  1890    764881     12486     14554     57843     71600    144273   2044325     10.00     12.63
10067.06/1259.69	c  N dy  1973    785174     12486     14554     57847     54285    144273   1209614     10.00     10.55
10323.59/1291.79	c  N dy  2020    805743     12486     14554     57849     74604    144273   2121358      9.97     10.58
10326.80/1292.16	c  S st  2023    805992     12486     14554     57853     74850    144273   2132614      9.97   no data
10330.84/1292.64	c  S st  2023    806497     12486     14554     57853     75355    144273   2154662      9.97   no data
10330.84/1292.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10343.58/1294.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      2 BRemL:     68 BRemN:      7 P: 38.1M T:  1.55
10343.58/1294.22	c Replacing        1 vars Replaced       67 lits Time:     0.01 s 
10343.58/1294.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10343.58/1294.23	c bin-w-bin subsume rem           24 bins  time:  0.00 s
10343.58/1294.25	c subs with bin:       21  lits-rem:         0  v-fix:    0  time:  0.02 s
10344.38/1294.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12485 time:  0.07 s
10344.38/1294.35	c Removed useless bin:      12  fixed:     0  props:   2.03M  time:  0.03 s
10345.18/1294.42	c lits-rem:         2  cl-subs:        5  v-elim:      5  v-fix:    0  time:  0.06 s
10354.77/1295.64	c subs with bin:     2679  lits-rem:        38  v-fix:    0  time:  1.15 s
10374.01/1298.07	c lits-rem:      4866  cl-subs:     3446  v-elim:      0  v-fix:    0  time:  2.42 s
10374.01/1298.08	c vivif2 --  cl tried    14525 cl shrink        7 lits rem          9 time: 0.01
10376.36/1298.35	c vivif2 --  cl tried    69012 cl shrink    21471 lits rem     405597 time: 0.27
10379.55/1298.79	c asymm  cl-useful: 9/5612/14525 lits-rem:9 time: 0.44
10380.35/1298.80	c calculated reachability. Time: 0.01
10380.35/1298.80	c  N dy  2023    806497     12480     14525     57719     69012    144153   1658203      9.97   no data
10607.37/1327.21	c  N dy  2113    826945     12480     14525     57759     51002    144153    990900      9.99     10.54
10843.18/1356.71	c  N dy  2209    847718     12480     14525     57761     71600    144153   1977118     10.01     10.59
11063.81/1384.31	c  N dy  2301    867933     12480     14525     57763     52314    144153   1044496     10.02     10.60
11307.62/1414.87	c  N dy  2398    888226     12480     14525     57764     72429    144153   2003179     10.03     10.57
11545.03/1444.58	c  N dy  2477    909544     12480     14525     57765     53240    144153   1022657     10.03     10.66
11800.03/1476.48	c  N dy  2577    929589     12480     14525     57765     73137    144153   1963925     10.05     10.68
12049.43/1507.70	c  N dy  2686    949642     12480     14525     57767     51636    144153    911090     10.07     10.69
12305.23/1539.62	c  N dy  2781    970403     12480     14525     57919     72254    144153   1951715     10.08     10.70
12546.69/1569.83	c  N dy  2851    990500     12480     14525     57921     49781    144153    778581     10.07     14.96
12781.65/1599.22	c  N dy  2924   1010924     12480     14525     57921     70065    144153   1738245     10.07     10.73
13013.46/1628.27	c  N dy  3000   1030954     12480     14525     57924     46551    144153    603568     10.07     13.67
13242.89/1656.93	c  N dy  3100   1051085     12480     14525     57924     66487    144153   1482341     10.08     10.72
13487.54/1687.50	c  N dy  3217   1071116     12480     14525     57924     86366    144153   2376025     10.10     12.18
13497.08/1688.75	c  F st  3223   1071877     12480     14525     57924     87119    144153   2408220     10.10     10.32
13555.44/1696.08	c Decided on static restart strategy
13964.72/1747.24	c  N st  3233   1100180     12480     14525     57924     70841    144153   2050349     10.10   no data
14601.02/1826.84	c  N st  3235   1136173     12480     14525     57925     62103    144153   1411215     10.10   no data
15214.93/1903.70	c  N st  3236   1168567     12480     14525     57929     48304    144153    649967     10.10   no data
15984.78/1999.92	c  N st  3237   1209746     12480     14525     57931     89307    144153   3527118     10.10   no data
15984.78/1999.92	c  S st  3237   1209746     12480     14525     57931     89307    144153   3527118     10.10   no data
15984.78/1999.94	c Finding binary XORs  T:     0.02 s  found:       4
15989.52/2000.51	c  S st  3237   1210249     12480     14525     58019     89809    144153   3548037     10.10   no data
15989.52/2000.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
16002.36/2002.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:    176 BRemN:     12 P: 40.9M T:  1.66
16004.71/2002.46	c Replacing        4 vars Replaced    52162 lits Time:     0.28 s 
16004.71/2002.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16004.71/2002.47	c bin-w-bin subsume rem            3 bins  time:  0.01 s
16004.71/2002.49	c subs with bin:       18  lits-rem:         0  v-fix:    0  time:  0.02 s
16005.51/2002.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12476 time:  0.08 s
16006.31/2002.60	c Removed useless bin:      15  fixed:     0  props:   2.01M  time:  0.03 s
16006.31/2002.68	c lits-rem:         6  cl-subs:       36  v-elim:      9  v-fix:    0  time:  0.08 s
16019.16/2004.21	c subs with bin:     2719  lits-rem:        80  v-fix:    0  time:  1.41 s
16072.71/2010.95	c lits-rem:      5755  cl-subs:     7508  v-elim:      0  v-fix:    0  time:  6.73 s
16072.71/2010.95	c vivif2 --  cl tried    14465 cl shrink        0 lits rem          0 time: 0.01
16079.85/2011.88	c vivif2 --  cl tried    79582 cl shrink    31941 lits rem     956841 time: 0.92
16082.25/2012.18	c asymm  cl-useful: 0/8853/14465 lits-rem:0 time: 0.30
16082.25/2012.19	c calculated reachability. Time: 0.01
16082.25/2012.19	c  N st  3237   1210249     12467     14465     57772     79582    143870   2448908     10.10   no data
17452.42/2183.57	c  N st  3238   1283131     12467     14465     57773     57396    143870    926174     10.10   no data
19545.97/2445.43	c  N st  3239   1392454     12467     14465     57795     66718    143870   1397941     10.10   no data
22207.02/2778.38	c  N st  3240   1556438     12467     14465     57860     72757    143870   1771535     10.10   no data
25232.63/3156.89	c  N st  3241   1710249     12467     14465     57955    115978    143870   3872053     10.10   no data
25232.63/3156.89	c  S st  3241   1710249     12467     14465     57955    115978    143870   3872053     10.10   no data
25241.42/3157.96	c  S st  3241   1710756     12467     14465     57979     60034    143870    814638     10.10   no data
25241.42/3157.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25253.41/3159.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     12 BRemL:     38 BRemN:      7 P: 36.2M T:  1.49
25253.41/3159.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25253.41/3159.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
25253.41/3159.49	c subs with bin:       42  lits-rem:         0  v-fix:    0  time:  0.02 s
25254.21/3159.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12467 time:  0.08 s
25255.01/3159.60	c Removed useless bin:      24  fixed:     0  props:   1.99M  time:  0.03 s
25255.01/3159.65	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.05 s
25256.61/3159.82	c subs with bin:       50  lits-rem:         9  v-fix:    0  time:  0.14 s
25257.41/3159.96	c lits-rem:       112  cl-subs:      183  v-elim:      0  v-fix:    0  time:  0.13 s
25257.41/3159.97	c vivif2 --  cl tried    14425 cl shrink        0 lits rem          0 time: 0.01
25258.21/3160.05	c vivif2 --  cl tried    59801 cl shrink     2114 lits rem      10205 time: 0.07
25261.46/3160.47	c asymm  cl-useful: 1/6039/14425 lits-rem:1 time: 0.42
25261.46/3160.49	c calculated reachability. Time: 0.01
25261.46/3160.49	c  N st  3241   1710756     12466     14425     57919     59801    143780    801666     10.10   no data
32791.48/4102.48	c  N st  3242   2079720     12466     14425     57921     67229    143780    954325     10.10   no data
35511.70/4442.76	c  N st  3243   2210757     12466     14425     58021     69784    143780   1063065     10.10   no data
35511.70/4442.77	c  S st  3243   2210757     12466     14425     58021     69784    143780   1063065     10.10   no data
35515.69/4443.23	c  S st  3243   2211260     12466     14425     58056     70284    143780   1082099     10.10   no data
35515.69/4443.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
35528.49/4444.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     52 BRemN:     18 P: 39.3M T:  1.57
35528.49/4444.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35528.49/4444.83	c bin-w-bin subsume rem            1 bins  time:  0.01 s
35528.49/4444.85	c subs with bin:       12  lits-rem:         0  v-fix:    0  time:  0.02 s
35529.29/4444.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12466 time:  0.07 s
35529.29/4444.95	c Removed useless bin:       7  fixed:     0  props:   1.98M  time:  0.03 s
35530.09/4445.01	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.06 s
35531.74/4445.29	c subs with bin:        8  lits-rem:        44  v-fix:    0  time:  0.25 s
35534.08/4445.54	c lits-rem:        95  cl-subs:      763  v-elim:      0  v-fix:    0  time:  0.25 s
35534.08/4445.55	c vivif2 --  cl tried    14417 cl shrink        0 lits rem          0 time: 0.01
35534.88/4445.65	c vivif2 --  cl tried    69512 cl shrink     2643 lits rem      40256 time: 0.10
35537.28/4445.97	c asymm  cl-useful: 0/8378/14417 lits-rem:0 time: 0.32
35537.28/4445.99	c calculated reachability. Time: 0.01
35537.28/4445.99	c  N st  3243   2211260     12464     14417     57975     69512    143748   1031097     10.10   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321047-1304322424/watcher-3321047-1304322424 -o /tmp/evaluation-result-3321047-1304322424/solver-3321047-1304322424 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321047-1304322424.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: 5.87 3.79 1.57 2/203 22839
/proc/meminfo: memFree=24995212/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=92188 CPUtime=0.01 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 8 0 543841239 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 47955397085100 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 23047 353 299 106 0 18018 0
[pid=22839/tid=22840] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 47955397085104 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 47955397085106 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 47955397085110 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=92188 CPUtime=0 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 543841240 94400512 353 33554432000 4194304 4627427 140735863206048 18446744073709551615 47955397085106 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.094083 s]
/proc/loadavg: 5.87 3.79 1.57 2/203 22839
/proc/meminfo: memFree=24995212/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=670084 CPUtime=0.53 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) S 22837 22839 22773 0 -1 4202496 29629 0 0 0 35 18 0 0 18 0 8 0 543841239 686166016 25373 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 167521 25391 342 106 0 162492 0
[pid=22839/tid=22840] ppid=22837 vsize=670084 CPUtime=0.06 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) S 22837 22839 22773 0 -1 4202560 3426 0 0 0 4 2 0 0 17 0 8 0 543841240 686166016 25410 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446604453895320640 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=670084 CPUtime=0.06 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4162 0 0 0 4 2 0 0 17 0 8 0 543841240 686166016 25437 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=670084 CPUtime=0.04 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) S 22837 22839 22773 0 -1 4202560 4249 0 0 0 2 2 0 0 17 0 8 0 543841240 686166016 25473 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446604453895320640 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=670084 CPUtime=0.04 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3603 0 0 0 3 1 0 0 17 0 8 0 543841240 686166016 25488 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272386151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=670084 CPUtime=0.05 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) S 22837 22839 22773 0 -1 4202560 2946 0 0 0 3 2 0 0 17 0 8 0 543841240 686166016 25502 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446604453895320640 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=670084 CPUtime=0.06 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) S 22837 22839 22773 0 -1 4202560 3963 0 0 0 5 1 0 0 17 0 8 0 543841240 686166016 25508 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446604453895320640 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=670084 CPUtime=0.07 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3423 0 0 0 5 2 0 0 17 0 8 0 543841240 686166016 25526 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 670084

[startup+0.105058 s]
/proc/loadavg: 5.87 3.79 1.57 2/203 22839
/proc/meminfo: memFree=24995212/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=670076 CPUtime=0.61 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 30185 0 0 0 40 21 0 0 17 0 8 0 543841239 686157824 25929 33554432000 4194304 4627427 140735863206048 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 167519 26016 361 106 0 162490 0
[pid=22839/tid=22840] ppid=22837 vsize=670076 CPUtime=0.07 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3480 0 0 0 5 2 0 0 17 0 8 0 543841240 686157824 26083 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=670076 CPUtime=0.07 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) S 22837 22839 22773 0 -1 4202560 4217 0 0 0 5 2 0 0 17 0 8 0 543841240 686157824 26088 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446604453895320640 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=670076 CPUtime=0.05 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4311 0 0 0 3 2 0 0 17 0 8 0 543841240 686157824 26089 33554432000 4194304 4627427 140735863206048 18446744073709551615 4504732 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=670076 CPUtime=0.06 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3691 0 0 0 4 2 0 0 17 0 8 0 543841240 686157824 26115 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=670208 CPUtime=0.05 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) S 22837 22839 22773 0 -1 4202560 3014 0 0 0 3 2 0 0 17 0 8 0 543841240 686292992 26146 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794094 0 0 4096 2 18446604453895320640 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=670208 CPUtime=0.08 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4016 0 0 0 6 2 0 0 17 0 8 0 543841240 686292992 26163 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272349893 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=670208 CPUtime=0.08 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3632 0 0 0 6 2 0 0 17 0 8 0 543841240 686292992 26175 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 670076

[startup+0.372803 s]
/proc/loadavg: 5.87 3.79 1.57 2/203 22839
/proc/meminfo: memFree=24995212/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=672684 CPUtime=2.73 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 33814 0 0 0 247 26 0 0 18 0 8 0 543841239 688828416 29558 33554432000 4194304 4627427 140735863206048 18446744073709551615 4299670 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 168204 29772 368 106 0 163175 0
[pid=22839/tid=22840] ppid=22837 vsize=672816 CPUtime=0.34 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3976 0 0 0 31 3 0 0 18 0 8 0 543841240 688963584 29826 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=672816 CPUtime=0.34 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4640 0 0 0 31 3 0 0 18 0 8 0 543841240 688963584 29860 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=673192 CPUtime=0.32 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 4883 0 0 0 29 3 0 0 18 0 8 0 543841240 689348608 29959 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=673576 CPUtime=0.32 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4224 0 0 0 30 2 0 0 18 0 8 0 543841240 689741824 30080 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=673576 CPUtime=0.33 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 3486 0 0 0 30 3 0 0 18 0 8 0 543841240 689741824 30102 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=673576 CPUtime=0.34 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4399 0 0 0 32 2 0 0 18 0 8 0 543841240 689741824 30132 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=673576 CPUtime=0.35 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3755 0 0 0 33 2 0 0 18 0 8 0 543841240 689741824 30187 33554432000 4194304 4627427 140735863206048 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 672684

[startup+0.700932 s]
/proc/loadavg: 5.87 3.79 1.57 2/203 22839
/proc/meminfo: memFree=24995212/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=690348 CPUtime=5.04 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) D 22837 22839 22773 0 -1 4202496 62495 0 0 0 464 40 0 0 18 0 8 0 543841239 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272349893 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 172587 58239 368 106 0 167558 0
[pid=22839/tid=22840] ppid=22837 vsize=690348 CPUtime=0.62 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 7988 0 0 0 57 5 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=690348 CPUtime=0.62 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 8706 0 0 0 58 4 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=690348 CPUtime=0.6 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 8948 0 0 0 55 5 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=690348 CPUtime=0.6 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 8169 0 0 0 56 4 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=690348 CPUtime=0.6 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 7427 0 0 0 55 5 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=690348 CPUtime=0.62 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) D 22837 22839 22773 0 -1 4202560 8343 0 0 0 58 4 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=690348 CPUtime=0.66 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3768 0 0 0 64 2 0 0 18 0 8 0 543841240 706916352 58239 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 690348

[startup+1.50079 s]
/proc/loadavg: 5.87 3.79 1.57 9/211 22847
/proc/meminfo: memFree=24664564/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=714076 CPUtime=11.13 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 98964 0 0 0 1057 56 0 0 18 0 8 0 543841239 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4300070 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 178519 94647 379 106 0 173490 0
[pid=22839/tid=22840] ppid=22837 vsize=714076 CPUtime=1.38 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 13746 0 0 0 131 7 0 0 18 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4534761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=714076 CPUtime=1.38 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 14352 0 0 0 132 6 0 0 18 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4534839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=714076 CPUtime=1.36 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 13997 0 0 0 128 8 0 0 18 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4436854 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=714076 CPUtime=1.35 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 13614 0 0 0 129 6 0 0 18 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4436854 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=714076 CPUtime=1.35 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 12249 0 0 0 128 7 0 0 18 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4460393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=714076 CPUtime=1.37 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 13310 0 0 0 130 7 0 0 18 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4425797 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=714076 CPUtime=1.45 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3917 0 0 0 143 2 0 0 19 0 8 0 543841240 731213824 94647 33554432000 4194304 4627427 140735863206048 18446744073709551615 4333536 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.13
Current children cumulated vsize (KiB) 714076

[startup+3.10051 s]
/proc/loadavg: 6.12 3.87 1.61 9/211 22847
/proc/meminfo: memFree=24579968/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=719004 CPUtime=23.89 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 111611 0 0 0 2326 63 0 0 21 0 8 0 543841239 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4333312 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 179751 104340 388 106 0 174722 0
[pid=22839/tid=22840] ppid=22837 vsize=719004 CPUtime=2.97 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15239 0 0 0 288 9 0 0 19 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=719004 CPUtime=2.98 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15919 0 0 0 290 8 0 0 19 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=719004 CPUtime=2.96 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15374 0 0 0 286 10 0 0 19 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=719004 CPUtime=2.96 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15451 0 0 0 288 8 0 0 19 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=719004 CPUtime=2.94 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 14363 0 0 0 286 8 0 0 19 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4321515 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=719004 CPUtime=2.96 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15644 0 0 0 289 7 0 0 19 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4299718 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=719004 CPUtime=3.05 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 3933 0 0 0 303 2 0 0 24 0 8 0 543841240 736260096 104340 33554432000 4194304 4627427 140735863206048 18446744073709551615 4333188 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 719004

[startup+6.30093 s]
/proc/loadavg: 6.12 3.87 1.61 9/211 22847
/proc/meminfo: memFree=24577868/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=719004 CPUtime=49.47 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 112712 0 0 0 4883 64 0 0 25 0 8 0 543841239 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 179751 105156 388 106 0 174722 0
[pid=22839/tid=22840] ppid=22837 vsize=719004 CPUtime=6.17 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15416 0 0 0 608 9 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=719004 CPUtime=6.18 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 16066 0 0 0 610 8 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=719004 CPUtime=6.16 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15523 0 0 0 606 10 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=719004 CPUtime=6.15 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15573 0 0 0 607 8 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=719004 CPUtime=6.12 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 14495 0 0 0 604 8 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=719004 CPUtime=6.16 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 15756 0 0 0 609 7 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=719004 CPUtime=6.25 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 4067 0 0 0 623 2 0 0 25 0 8 0 543841240 736260096 105156 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0

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


[startup+4662.3 s]
/proc/loadavg: 8.30 8.11 7.98 9/211 22995
/proc/meminfo: memFree=23455904/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=1974592 CPUtime=37266.3 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1241321 0 0 0 3725931 700 0 0 25 0 8 0 543841239 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 493648 384385 391 106 0 488619 0
[pid=22839/tid=22840] ppid=22837 vsize=1974592 CPUtime=4661.73 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 133776 0 0 0 466106 67 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=1974592 CPUtime=4662.29 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 181676 0 0 0 466121 108 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=1974592 CPUtime=4662.27 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 176502 0 0 0 466118 109 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=1974592 CPUtime=4662.28 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 166133 0 0 0 466126 102 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=1974592 CPUtime=4632.61 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 130231 0 0 0 463178 83 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=1974592 CPUtime=4662.11 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 137608 0 0 0 466142 69 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=1974592 CPUtime=4661.28 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 126984 0 0 0 466066 62 0 0 25 0 8 0 543841240 2021982208 384385 33554432000 4194304 4627427 140735863206048 18446744073709551615 4327452 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37266.3
Current children cumulated vsize (KiB) 1974592

[startup+4722.3 s]
/proc/loadavg: 8.18 8.10 7.98 9/211 22997
/proc/meminfo: memFree=23470308/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=2106536 CPUtime=37746 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1248348 0 0 0 3773893 705 0 0 25 0 8 0 543841239 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 526634 380712 391 106 0 521605 0
[pid=22839/tid=22840] ppid=22837 vsize=2106536 CPUtime=4721.73 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 135141 0 0 0 472105 68 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=2106536 CPUtime=4722.3 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 182903 0 0 0 472121 109 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=2106536 CPUtime=4722.28 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 177664 0 0 0 472118 110 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=2106536 CPUtime=4722.28 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 166133 0 0 0 472126 102 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=2106536 CPUtime=4692.24 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 130854 0 0 0 469140 84 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=2106536 CPUtime=4722.11 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 137608 0 0 0 472142 69 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=2106536 CPUtime=4721.29 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 128598 0 0 0 472066 63 0 0 25 0 8 0 543841240 2157092864 380712 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37746
Current children cumulated vsize (KiB) 2106536

[startup+4782.3 s]
/proc/loadavg: 8.06 8.08 7.98 9/211 22999
/proc/meminfo: memFree=23465184/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=2172120 CPUtime=38225.6 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1256842 0 0 0 3821843 712 0 0 25 0 8 0 543841239 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4329673 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 543030 382174 391 106 0 538001 0
[pid=22839/tid=22840] ppid=22837 vsize=2172120 CPUtime=4781.71 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 137589 0 0 0 478103 68 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=2172120 CPUtime=4782.3 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 183760 0 0 0 478119 111 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=2172120 CPUtime=4782.27 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 180173 0 0 0 478115 112 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=2172120 CPUtime=4782.28 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 166392 0 0 0 478126 102 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=2172120 CPUtime=4751.85 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 130854 0 0 0 475101 84 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=2172120 CPUtime=4782.11 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 137942 0 0 0 478142 69 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=2172120 CPUtime=4781.28 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 129798 0 0 0 478064 64 0 0 25 0 8 0 543841240 2224250880 382174 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38225.6
Current children cumulated vsize (KiB) 2172120

[startup+4842.31 s]
/proc/loadavg: 8.08 8.08 7.99 9/211 23000
/proc/meminfo: memFree=23474096/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=2064276 CPUtime=38705.2 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1268698 0 0 0 3869803 720 0 0 25 0 8 0 543841239 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 516069 380067 391 106 0 511040 0
[pid=22839/tid=22840] ppid=22837 vsize=2064276 CPUtime=4841.72 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 138776 0 0 0 484103 69 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=2064276 CPUtime=4842.3 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 183760 0 0 0 484119 111 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=2064276 CPUtime=4842.28 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 181615 0 0 0 484115 113 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=2064276 CPUtime=4842.29 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 167499 0 0 0 484126 103 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=2064276 CPUtime=4811.48 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 132993 0 0 0 481062 86 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=2064276 CPUtime=4842.11 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 139189 0 0 0 484141 70 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=2064276 CPUtime=4841.29 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 132415 0 0 0 484064 65 0 0 25 0 8 0 543841240 2113818624 380067 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38705.2
Current children cumulated vsize (KiB) 2064276

[startup+4902.3 s]
/proc/loadavg: 8.08 8.08 8.00 9/211 23002
/proc/meminfo: memFree=23447508/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=2022424 CPUtime=39184.8 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1279788 0 0 0 3917752 728 0 0 25 0 8 0 543841239 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 505606 386580 391 106 0 500577 0
[pid=22839/tid=22840] ppid=22837 vsize=2022424 CPUtime=4901.7 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 139965 0 0 0 490100 70 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=2022424 CPUtime=4902.3 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 183760 0 0 0 490119 111 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=2022424 CPUtime=4902.27 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 182602 0 0 0 490113 114 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=2022424 CPUtime=4902.28 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 169991 0 0 0 490125 103 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=2022424 CPUtime=4871.1 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 134471 0 0 0 487022 88 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=2022424 CPUtime=4902.11 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 141755 0 0 0 490139 72 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=2022424 CPUtime=4901.29 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 133895 0 0 0 490062 67 0 0 25 0 8 0 543841240 2070962176 386580 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39184.8
Current children cumulated vsize (KiB) 2022424

[startup+4962.3 s]
/proc/loadavg: 8.08 8.08 8.00 9/211 23003
/proc/meminfo: memFree=23418948/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=2149348 CPUtime=39664.4 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1289230 0 0 0 3965709 733 0 0 25 0 8 0 543841239 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 537337 393323 391 106 0 532308 0
[pid=22839/tid=22840] ppid=22837 vsize=2149348 CPUtime=4961.69 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 140051 0 0 0 496099 70 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=2149348 CPUtime=4962.29 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 185781 0 0 0 496118 111 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=2149348 CPUtime=4962.27 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 182602 0 0 0 496113 114 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=2149348 CPUtime=4962.28 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 171114 0 0 0 496124 104 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=2149348 CPUtime=4930.71 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 135738 0 0 0 492982 89 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=2149348 CPUtime=4962.11 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 144440 0 0 0 496138 73 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=2149348 CPUtime=4961.28 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 135234 0 0 0 496061 67 0 0 25 0 8 0 543841240 2200932352 393323 33554432000 4194304 4627427 140735863206048 18446744073709551615 4321876 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39664.4
Current children cumulated vsize (KiB) 2149348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5004.3 s]
/proc/loadavg: 8.04 8.07 8.00 9/211 23005
/proc/meminfo: memFree=23457720/32950928 swapFree=67111464/67111528
[pid=22839] ppid=22837 vsize=1972164 CPUtime=40000.2 cores=0-7
/proc/22839/stat : 22839 (strangenight2-m) R 22837 22839 22773 0 -1 4202496 1295909 0 0 0 3999283 737 0 0 25 0 8 0 543841239 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22839/statm: 493041 383802 391 106 0 488012 0
[pid=22839/tid=22840] ppid=22837 vsize=1972164 CPUtime=5003.7 cores=0-7
/proc/22839/task/22840/stat : 22840 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 140051 0 0 0 500300 70 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22839/tid=22841] ppid=22837 vsize=1972164 CPUtime=5004.3 cores=0-7
/proc/22839/task/22841/stat : 22841 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 186800 0 0 0 500318 112 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22839/tid=22842] ppid=22837 vsize=1972164 CPUtime=5004.28 cores=0-7
/proc/22839/task/22842/stat : 22842 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 182602 0 0 0 500314 114 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22839/tid=22843] ppid=22837 vsize=1972164 CPUtime=5004.29 cores=0-7
/proc/22839/task/22843/stat : 22843 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 171913 0 0 0 500324 105 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4332816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22839/tid=22844] ppid=22837 vsize=1972164 CPUtime=4972.45 cores=0-7
/proc/22839/task/22844/stat : 22844 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 135738 0 0 0 497156 89 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22839/tid=22845] ppid=22837 vsize=1972164 CPUtime=5004.12 cores=0-7
/proc/22839/task/22845/stat : 22845 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 145317 0 0 0 500338 74 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22839/tid=22846] ppid=22837 vsize=1972164 CPUtime=5003.29 cores=0-7
/proc/22839/task/22846/stat : 22846 (strangenight2-m) R 22837 22839 22773 0 -1 4202560 137316 0 0 0 500261 68 0 0 25 0 8 0 543841240 2019495936 383802 33554432000 4194304 4627427 140735863206048 18446744073709551615 4332812 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.2
Current children cumulated vsize (KiB) 1972164

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5004.39
CPU time (s): 40000.3
CPU user time (s): 39992.9
CPU system time (s): 7.44587
CPU usage (%): 799.305
Max. virtual memory (cumulated for all children) (KiB): 2242492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39992.9
system time used= 7.44587
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1295909
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= 62434
involuntary context switches= 171813

runsolver used 8.91264 second user time and 22.9585 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-02 09:47:04
IDJOB=3321047
IDBENCH=70849
IDSOLVER=1709
FILE ID=node122/3321047-1304322424
RUNJOBID= node122-1304322187-22787
PBS_JOBID= 13176804
Free space on /tmp= 73668 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321047-1304322424/watcher-3321047-1304322424 -o /tmp/evaluation-result-3321047-1304322424/solver-3321047-1304322424 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321047-1304322424.cnf

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=899841227

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24995616 kB
Buffers:        369500 kB
Cached:        1910256 kB
SwapCached:         64 kB
Active:        5748240 kB
Inactive:      1843364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24995616 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            7056 kB
Writeback:           0 kB
AnonPages:     5311728 kB
Mapped:          18360 kB
Slab:           284996 kB
PageTables:      15484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  5693800 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= 73660 MiB
End job on node122 at 2011-05-02 11:10:31