Trace number 3282574

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-1-mt? (TO) 4800.27 1201.65

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
MD5SUM0621e557bffdc18ca509447665adecda
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables69553
Number of clauses226752
Sum of the clauses size587624
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292374
Number of clauses of size 3134249
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282574-1304032844.cnf'
0.26/0.23	c -- clauses added:            0 learnts,       226752 normals,            0 xors
0.26/0.23	c -- vars added      69553
0.26/0.23	c Parsing time:  0.40 s
0.26/0.23	c  N st     0         0     69553    133736     92373         0    585954         0   no data   no data  --
0.26/0.23	c asymm  cl-useful: 2/133736/133736 lits-rem:6 time: 0.43
0.26/0.65	c Flit:    12 Blit:    101 bXBeca:    0 bXProp: 5504 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  1.42
0.26/0.65	c Cleaning up after failed var search:     0.00 s 
0.26/0.65	c Replacing     5504 vars Replaced    69987 lits Time:     0.12 s 
0.37/0.74	c bin-w-bin subsume rem           10 bins  time:  0.04 s
0.37/0.74	c subs with bin:       78  lits-rem:        52  v-fix:    0  time:  0.08 s
0.37/0.87	c Subs w/ non-existent bins:     12 l-rem:      8 v-fix:     0 done:  63684 time:  0.19 s
0.37/0.87	c Removed useless bin:       2  fixed:     0  props:   1.67M  time:  0.11 s
3.83/1.51	c lits-rem:         0  cl-subs:      832  v-elim:  21228  v-fix:    0  time:  1.34 s
3.83/1.51	c Finding binary XORs  T:     0.08 s  found:      38
3.83/1.51	c Replacing       38 vars Replaced      529 lits Time:     0.04 s 
3.83/1.51	c Finding non-binary XORs:     0.25 s (found:   14296, avg size: 3.6)
3.83/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    244 locsubst:    75 time:   0.07
3.83/1.51	c calculated reachability. Time: 0.01
3.83/1.51	c Calc default polars -  time:   0.01 s pos:   15735 undec:   27564 neg:   26254
3.83/1.51	c =========================================================================================
3.83/1.51	c types(t): F = full restart, N = normal restart
3.83/1.51	c types(t): S = simplification begin/end, E = solution found
3.83/1.51	c restart types(rt): st = static, dy = dynamic
3.83/1.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.83/1.51	c  B st     0         0     42174     51346     46035         0    298368         0   no data   no data  --
9.17/2.34	c Decided on static restart strategy
27.14/6.89	c  N st     8      4914     42161     51346     46268      4530    298368    333446   no data   no data  --
75.07/18.84	c  N st    10     11297     42149     51346     46982     10701    298368    527310   no data   no data  --
75.07/18.86	c Finding binary XORs  T:     0.06 s  found:      52
113.01/28.38	c  N st    11     17040     42145     51249     46987     16314    298048   1132992   no data   no data  --
158.14/39.67	c  F st    12     25000     42144     51249     47163     15450    298048    672107   no data   no data  --
158.56/39.72	c Replacing      103 vars Replaced    24212 lits Time:     0.17 s 
158.56/39.77	c  N st    12     25000     42034     51201     46955     15434    297510    670878   no data   no data  --
190.89/47.86	c Decided on static restart strategy
190.89/47.86	c  N st    18     30000     42031     51201     47139     20298    297510   1027132   no data   no data  --
190.89/47.86	c  S st    18     30000     42031     51201     47139     20298    297510   1027132   no data   no data  --
191.29/47.93	c  S st    18     30501     42031     51201     47169     20756    297510   1034337   no data   no data  --
191.29/47.95	c x-sub:    33 x-cut:      0 vfix:      0 v-elim:     65 locsubst:     0 time:   0.07
191.29/47.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
193.71/48.52	c Flit:     4 Blit:     15 bXBeca:    0 bXProp:  118 Bins:   7563 BRemL:    446 BRemN:     41 P:  3.9M T:  2.27
193.71/48.56	c Replacing      125 vars Replaced    12426 lits Time:     0.13 s 
194.11/48.60	c bin-w-bin subsume rem          162 bins  time:  0.02 s
194.11/48.65	c subs with bin:     2565  lits-rem:     10244  v-fix:    0  time:  0.21 s
194.11/48.68	c Subs w/ non-existent bins:      0 l-rem:    554 v-fix:     0 done:   5387 time:  0.09 s
194.11/48.69	c Removed useless bin:      27  fixed:     0  props:   0.69M  time:  0.07 s
201.28/50.44	c lits-rem:      4168  cl-subs:    10589  v-elim:  13275  v-fix:    0  time:  6.96 s
201.68/50.51	c asymm  cl-useful: 2/58773/58773 lits-rem:4 time: 0.30
201.68/50.52	c calculated reachability. Time: 0.02
201.68/50.52	c  N st    18     30501     28542     58772     16615     10680    249784    208839   no data   no data  --
208.47/52.26	c Finding binary XORs  T:     0.05 s  found:      46
245.62/61.52	c  N st    20     37614     28542     58772     16655     17702    249784    937270   no data   no data  --
297.15/74.49	c  N st    21     44013     28542     58772     16657     23985    249784   1085863   no data   no data  --
297.55/74.51	c Finding binary XORs  T:     0.04 s  found:       7
304.35/76.25	c  S st    22     45751     28542     58772     17702     25707    249784   1265743   no data   no data  --
304.75/76.31	c  S st    22     46252     28542     58772     17703     26197    249784   1272491   no data   no data  --
304.75/76.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     4 time:   0.06
304.75/76.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
306.35/76.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   45 Bins:    201 BRemL:    416 BRemN:     28 P:  2.5M T:  1.66
306.35/76.77	c Replacing      101 vars Replaced     2823 lits Time:     0.06 s 
306.74/76.83	c bin-w-bin subsume rem          562 bins  time:  0.02 s
307.15/76.92	c subs with bin:       55  lits-rem:      4279  v-fix:    0  time:  0.35 s
307.15/76.94	c Subs w/ non-existent bins:      5 l-rem:   1162 v-fix:     0 done:   4825 time:  0.07 s
307.15/76.95	c Removed useless bin:       2  fixed:     0  props:   0.28M  time:  0.04 s
312.75/78.36	c lits-rem:      2481  cl-subs:     1163  v-elim:     43  v-fix:    0  time:  5.60 s
312.75/78.36	c vivif2 --  cl tried    58630 cl shrink        0 lits rem          0 time: 0.02
313.13/78.44	c vivif2 --  cl tried    25101 cl shrink     7598 lits rem      14325 time: 0.30
313.53/78.54	c asymm  cl-useful: 0/58630/58630 lits-rem:0 time: 0.41
313.53/78.55	c calculated reachability. Time: 0.01
313.53/78.55	c  N st    22     46252     28397     58630     16623     25094    248940   1196796   no data   no data  --
419.00/104.91	c  N st    23     60649     28397     58630     16634     26240    248940   1652650   no data   no data  --
491.71/123.11	c  N st    24     69378     28397     58630     16716     34830    248940   2836481   no data   no data  --
491.71/123.11	c  S st    24     69378     28397     58630     16716     34830    248940   2836481   no data   no data  --
491.71/123.18	c  S st    24     69880     28397     58630     16730     35327    248940   2845041   no data   no data  --
492.11/123.20	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    35 time:   0.07
492.11/123.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
493.71/123.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   67 Bins:     98 BRemL:     79 BRemN:      2 P:  2.7M T:  1.67
493.71/123.66	c Replacing       83 vars Replaced     4318 lits Time:     0.12 s 
494.11/123.79	c bin-w-bin subsume rem           83 bins  time:  0.02 s
494.91/123.94	c subs with bin:       32  lits-rem:       875  v-fix:    0  time:  0.60 s
494.91/123.95	c Subs w/ non-existent bins:      0 l-rem:    452 v-fix:     0 done:   2837 time:  0.06 s
494.91/123.96	c Removed useless bin:       2  fixed:     0  props:   0.28M  time:  0.04 s
510.89/127.91	c lits-rem:       321  cl-subs:     2344  v-elim:     29  v-fix:    0  time: 15.77 s
510.89/127.91	c vivif2 --  cl tried    58552 cl shrink        0 lits rem          0 time: 0.02
511.28/128.08	c vivif2 --  cl tried    32946 cl shrink     9666 lits rem      22031 time: 0.67
511.68/128.19	c asymm  cl-useful: 9/58552/58552 lits-rem:27 time: 0.43
512.08/128.20	c calculated reachability. Time: 0.02
512.08/128.20	c  N st    24     69880     28285     58543     16534     32945    248411   2575587   no data   no data  --
658.30/164.81	c  F st    25     87501     28285     58543     16534     33896    248411   2666898   no data   no data  --
658.30/164.84	c  N st    25     87501     28285     58543     16534     33896    248411   2666898   no data   no data  --
658.30/164.85	c Finding binary XORs  T:     0.05 s  found:      49
693.86/173.79	c Decided on static restart strategy
712.66/178.45	c  N st    32     95541     28285     58543     16770     41806    248411   3754580   no data   no data  --
789.74/197.73	c  N st    34    104820     28285     58543     16780     32489    248411   1777190   no data   no data  --
789.74/197.73	c  S st    34    104820     28285     58543     16780     32489    248411   1777190   no data   no data  --
790.14/197.80	c  S st    34    105322     28285     58543     16788     32986    248411   1784829   no data   no data  --
790.14/197.82	c x-sub:    16 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     6 time:   0.07
790.14/197.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
791.76/198.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   19 Bins:     58 BRemL:     74 BRemN:      1 P:  2.7M T:  1.66
791.76/198.25	c Replacing       71 vars Replaced     1070 lits Time:     0.05 s 
792.14/198.32	c bin-w-bin subsume rem          113 bins  time:  0.02 s
792.54/198.42	c subs with bin:       21  lits-rem:       382  v-fix:    0  time:  0.36 s
792.54/198.43	c Subs w/ non-existent bins:      0 l-rem:    677 v-fix:     0 done:   4662 time:  0.06 s
792.54/198.44	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.04 s
800.55/200.45	c lits-rem:      1314  cl-subs:      580  v-elim:     32  v-fix:    0  time:  8.03 s
800.55/200.46	c vivif2 --  cl tried    58459 cl shrink        0 lits rem          0 time: 0.02
800.92/200.56	c vivif2 --  cl tried    32432 cl shrink     5170 lits rem      12698 time: 0.39
801.32/200.66	c asymm  cl-useful: 3/58459/58459 lits-rem:9 time: 0.43
801.32/200.67	c calculated reachability. Time: 0.01
801.32/200.67	c  N st    34    105322     28182     58456     16477     32431    247760   1690432   no data   no data  --
892.02/223.31	c  N st    35    114920     28182     58456     16477     41867    247760   2638030   no data   no data  --
995.08/249.14	c  N st    36    129317     28182     58456     16484     35551    247760   1753114   no data   no data  --
1143.32/286.28	c  N st    37    150914     28182     58456     16486     34495    247760    948700   no data   no data  --
1189.64/297.85	c  S st    38    157983     28182     58456     16565     41452    247760   1945264   no data   no data  --
1190.04/297.97	c  S st    38    158484     28182     58456     16567     41951    247760   1952898   no data   no data  --
1190.04/297.98	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:      6 locsubst:    26 time:   0.07
1190.04/297.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1192.03/298.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:     24 BRemL:     23 BRemN:      0 P:  2.9M T:  1.67
1192.03/298.42	c Replacing       18 vars Replaced      441 lits Time:     0.06 s 
1192.43/298.50	c bin-w-bin subsume rem            7 bins  time:  0.02 s
1192.83/298.62	c subs with bin:        9  lits-rem:       185  v-fix:    0  time:  0.46 s
1192.83/298.63	c Subs w/ non-existent bins:      0 l-rem:    835 v-fix:     0 done:   1997 time:  0.07 s
1192.83/298.64	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.04 s
1204.44/301.50	c lits-rem:      1094  cl-subs:      805  v-elim:      2  v-fix:    0  time: 11.43 s
1204.44/301.51	c vivif2 --  cl tried    58451 cl shrink        0 lits rem          0 time: 0.02
1204.84/301.61	c vivif2 --  cl tried    41129 cl shrink     5417 lits rem      11678 time: 0.41
1205.22/301.73	c asymm  cl-useful: 2/58451/58451 lits-rem:6 time: 0.48
1205.22/301.74	c calculated reachability. Time: 0.01
1205.22/301.74	c  N st    38    158484     28156     58449     16548     41128    247686   1870774   no data   no data  --
1622.32/406.10	c  N st    39    207072     28156     58449     16549     40992    247686   1546328   no data   no data  --
1818.45/455.20	c  N st    40    237727     28156     58449     16728     45191    247686    737462   no data   no data  --
1818.45/455.20	c  S st    40    237727     28156     58449     16728     45191    247686    737462   no data   no data  --
1818.86/455.30	c  S st    40    238230     28156     58449     16740     45691    247686    745607   no data   no data  --
1818.86/455.32	c x-sub:    13 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.07
1818.86/455.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1820.45/455.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     17 BRemL:     84 BRemN:      0 P:  3.0M T:  1.68
1820.45/455.76	c Replacing        2 vars Replaced       88 lits Time:     0.05 s 
1820.85/455.80	c bin-w-bin subsume rem           14 bins  time:  0.02 s
1820.85/455.83	c subs with bin:       16  lits-rem:       324  v-fix:    0  time:  0.11 s
1820.85/455.85	c Subs w/ non-existent bins:      0 l-rem:    723 v-fix:     0 done:   6461 time:  0.06 s
1820.85/455.86	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.04 s
1836.03/459.64	c lits-rem:      4318  cl-subs:     1764  v-elim:      0  v-fix:    0  time: 15.11 s
1836.03/459.64	c vivif2 --  cl tried    58445 cl shrink        0 lits rem          0 time: 0.02
1836.03/459.67	c vivif2 --  cl tried    43915 cl shrink     1683 lits rem       2477 time: 0.10
1836.83/459.80	c asymm  cl-useful: 0/58445/58445 lits-rem:0 time: 0.52
1836.83/459.81	c calculated reachability. Time: 0.02
1836.83/459.81	c  N st    40    238230     28154     58445     16658     43914    247639    705809   no data   no data  --
2462.02/616.37	c  F st    41    306250     28154     58445     16659     55887    247639   2160112   no data   no data  --
2462.42/616.40	c  N st    41    306250     28154     58445     16659     55887    247639   2160112   no data   no data  --
2505.97/627.36	c Decided on static restart strategy
2681.74/671.38	c  N st    51    334555     28153     58445     16680     54854    247639   1482030   no data   no data  --
2856.31/715.03	c  N st    53    357346     28153     58445     16683     47826    247639    671230   no data   no data  --
2856.31/715.03	c  S st    53    357346     28153     58445     16683     47826    247639    671230   no data   no data  --
2856.72/715.16	c  S st    53    357852     28153     58445     16685     48325    247639    679352   no data   no data  --
2856.72/715.18	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2856.72/715.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2858.71/715.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     18 BRemL:     16 BRemN:      0 P:  3.1M T:  1.73
2858.71/715.64	c Replacing        3 vars Replaced       93 lits Time:     0.09 s 
2858.71/715.68	c bin-w-bin subsume rem            6 bins  time:  0.02 s
2859.11/715.71	c subs with bin:        6  lits-rem:        42  v-fix:    0  time:  0.10 s
2859.11/715.72	c Subs w/ non-existent bins:      0 l-rem:    867 v-fix:     0 done:   5913 time:  0.07 s
2859.11/715.73	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.04 s
2870.69/718.62	c lits-rem:      2107  cl-subs:      821  v-elim:      0  v-fix:    0  time: 11.53 s
2870.69/718.63	c vivif2 --  cl tried    58442 cl shrink        0 lits rem          0 time: 0.02
2870.69/718.65	c vivif2 --  cl tried    47476 cl shrink     1163 lits rem       1664 time: 0.10
2871.09/718.79	c asymm  cl-useful: 0/58442/58442 lits-rem:0 time: 0.56
2871.49/718.80	c calculated reachability. Time: 0.02
2871.49/718.80	c  N st    53    357852     28150     58442     16597     47476    247616    659442   no data   no data  --
2948.18/738.06	c  N st    54    390247     28150     58442     16599     48819    247616    640031   no data   no data  --
2948.18/738.07	c Finding binary XORs  T:     0.04 s  found:       0
3311.71/829.09	c  N st    55    438835     28150     58442     16602     65217    247616   2258257   no data   no data  --
3910.53/978.93	c  N st    56    511720     28150     58442     16615     70826    247616   3997739   no data   no data  --
4216.52/1055.53	c  N st    57    536778     28150     58442     16664     60516    247616    792378   no data   no data  --
4216.52/1055.53	c  S st    57    536778     28150     58442     16664     60516    247616    792378   no data   no data  --
4216.92/1055.63	c  S st    57    537282     28150     58442     16667     61014    247616    800416   no data   no data  --
4216.92/1055.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4216.92/1055.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4218.52/1056.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     14 BRemL:     35 BRemN:      0 P:  3.4M T:  1.77
4218.93/1056.11	c Replacing        1 vars Replaced      218 lits Time:     0.04 s 
4218.93/1056.15	c bin-w-bin subsume rem            6 bins  time:  0.02 s
4218.93/1056.18	c subs with bin:       10  lits-rem:       103  v-fix:    0  time:  0.11 s
4218.93/1056.20	c Subs w/ non-existent bins:      0 l-rem:   1146 v-fix:     0 done:   7517 time:  0.08 s
4219.33/1056.21	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.04 s
4231.70/1059.31	c lits-rem:      3183  cl-subs:     1454  v-elim:      0  v-fix:    0  time: 12.38 s
4231.70/1059.32	c vivif2 --  cl tried    58442 cl shrink        0 lits rem          0 time: 0.02
4231.70/1059.34	c vivif2 --  cl tried    59549 cl shrink     1984 lits rem       2965 time: 0.12
4232.12/1059.50	c asymm  cl-useful: 1/58442/58442 lits-rem:3 time: 0.62
4232.52/1059.51	c calculated reachability. Time: 0.01
4232.52/1059.51	c  N st    57    537282     28149     58441     16640     59549    247613    770120   no data   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-3282574-1304032844/watcher-3282574-1304032844 -o /tmp/evaluation-result-3282574-1304032844/solver-3282574-1304032844 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3282574-1304032844.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.12 7.36 7.45 5/180 7350
/proc/meminfo: memFree=14821236/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 514883103 52465664 352 33554432000 4194304 4650419 140735503091872 18446744073709551615 47500848215986 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 12809 352 303 112 0 7774 0
[pid=7350/tid=7351] ppid=7348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514883103 52465664 352 33554432000 4194304 4650419 140735503091872 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514883103 52465664 352 33554432000 4194304 4650419 140735503091872 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514883103 52465664 352 33554432000 4194304 4650419 140735503091872 18446744073709551615 47500848215986 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.076968 s]
/proc/loadavg: 8.12 7.36 7.45 5/180 7350
/proc/meminfo: memFree=14821236/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=355116 CPUtime=0.26 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) D 7348 7350 6848 0 -1 4202496 32489 0 0 0 21 5 0 0 18 0 4 0 514883103 363638784 23977 33554432000 4194304 4650419 140735503091872 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 88779 23977 346 112 0 83744 0
[pid=7350/tid=7351] ppid=7348 vsize=355116 CPUtime=0.05 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 8017 0 0 0 4 1 0 0 25 0 4 0 514883103 363638784 23977 33554432000 4194304 4650419 140735503091872 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=355116 CPUtime=0.05 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) D 7348 7350 6848 0 -1 4202560 8054 0 0 0 4 1 0 0 18 0 4 0 514883103 363638784 23977 33554432000 4194304 4650419 140735503091872 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=355116 CPUtime=0.05 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) D 7348 7350 6848 0 -1 4202560 7982 0 0 0 5 0 0 0 18 0 4 0 514883103 363638784 23977 33554432000 4194304 4650419 140735503091872 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 355116

[startup+0.10049 s]
/proc/loadavg: 8.12 7.36 7.45 5/180 7350
/proc/meminfo: memFree=14821236/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=358472 CPUtime=0.37 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) D 7348 7350 6848 0 -1 4202496 36577 0 0 0 31 6 0 0 18 0 4 0 514883103 367075328 28065 33554432000 4194304 4650419 140735503091872 18446744073709551615 251813901345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 89888 28308 346 112 0 84853 0
[pid=7350/tid=7351] ppid=7348 vsize=359552 CPUtime=0.09 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) D 7348 7350 6848 0 -1 4202560 9068 0 0 0 7 2 0 0 18 0 4 0 514883103 368181248 28563 33554432000 4194304 4650419 140735503091872 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=359948 CPUtime=0.1 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 9772 0 0 0 9 1 0 0 18 0 4 0 514883103 368586752 30774 33554432000 4194304 4650419 140735503091872 18446744073709551615 251813895168 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=381196 CPUtime=0.63 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 10630 0 0 0 62 1 0 0 18 0 4 0 514883103 390344704 37234 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 358472

[startup+0.856797 s]
/proc/loadavg: 8.12 7.36 7.45 5/180 7350
/proc/meminfo: memFree=14821236/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=400708 CPUtime=3.83 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 65227 0 0 0 371 12 0 0 18 0 4 0 514883103 410324992 54218 33554432000 4194304 4650419 140735503091872 18446744073709551615 251813901345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 101423 55043 388 112 0 96388 0
[pid=7350/tid=7351] ppid=7348 vsize=406748 CPUtime=0.99 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) D 7348 7350 6848 0 -1 4202560 19304 0 0 0 95 4 0 0 18 0 4 0 514883103 416509952 58317 33554432000 4194304 4650419 140735503091872 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=407936 CPUtime=1 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 19990 0 0 0 97 3 0 0 18 0 4 0 514883103 417726464 59383 33554432000 4194304 4650419 140735503091872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=408596 CPUtime=1.01 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 10649 0 0 0 100 1 0 0 19 0 4 0 514883103 418402304 60186 33554432000 4194304 4650419 140735503091872 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 400708

[startup+1.63647 s]
/proc/loadavg: 8.12 7.36 7.45 5/180 7350
/proc/meminfo: memFree=14821236/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=419424 CPUtime=6.49 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 80956 0 0 0 634 15 0 0 19 0 4 0 514883103 429490176 66228 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 104856 66228 393 112 0 99821 0
[pid=7350/tid=7351] ppid=7348 vsize=419424 CPUtime=1.61 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23531 0 0 0 156 5 0 0 19 0 4 0 514883103 429490176 66228 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=419424 CPUtime=1.61 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 22781 0 0 0 158 3 0 0 19 0 4 0 514883103 429490176 66228 33554432000 4194304 4650419 140735503091872 18446744073709551615 4314944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=419424 CPUtime=1.62 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 10686 0 0 0 161 1 0 0 20 0 4 0 514883103 429490176 66228 33554432000 4194304 4650419 140735503091872 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 419424

[startup+1.73618 s]
/proc/loadavg: 8.12 7.36 7.45 5/180 7350
/proc/meminfo: memFree=14821236/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=419424 CPUtime=6.89 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 80981 0 0 0 674 15 0 0 19 0 4 0 514883103 429490176 66253 33554432000 4194304 4650419 140735503091872 18446744073709551615 4330510 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 104856 66253 393 112 0 99821 0
[pid=7350/tid=7351] ppid=7348 vsize=419424 CPUtime=1.71 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23536 0 0 0 166 5 0 0 19 0 4 0 514883103 429490176 66253 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=419424 CPUtime=1.71 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 22787 0 0 0 168 3 0 0 19 0 4 0 514883103 429490176 66253 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=419424 CPUtime=1.72 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 10693 0 0 0 171 1 0 0 20 0 4 0 514883103 429490176 66253 33554432000 4194304 4650419 140735503091872 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 419424

[startup+3.10095 s]
/proc/loadavg: 8.11 7.37 7.46 9/184 7354
/proc/meminfo: memFree=14552128/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=419424 CPUtime=12.35 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 81446 0 0 0 1219 16 0 0 22 0 4 0 514883103 429490176 66538 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315286 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 104856 66538 394 112 0 99821 0
[pid=7350/tid=7351] ppid=7348 vsize=419424 CPUtime=3.07 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23688 0 0 0 302 5 0 0 22 0 4 0 514883103 429490176 66538 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=419424 CPUtime=3.07 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 22846 0 0 0 304 3 0 0 22 0 4 0 514883103 429490176 66538 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333790 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=419424 CPUtime=3.08 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 10792 0 0 0 307 1 0 0 25 0 4 0 514883103 429490176 66538 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 419424

[startup+6.30042 s]
/proc/loadavg: 8.11 7.37 7.46 9/184 7354
/proc/meminfo: memFree=14533912/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=419424 CPUtime=25.12 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 83191 0 0 0 2496 16 0 0 25 0 4 0 514883103 429490176 68247 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363734 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 104856 68247 394 112 0 99821 0
[pid=7350/tid=7351] ppid=7348 vsize=419424 CPUtime=6.25 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23896 0 0 0 620 5 0 0 25 0 4 0 514883103 429490176 68247 33554432000 4194304 4650419 140735503091872 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=419424 CPUtime=6.27 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 22974 0 0 0 624 3 0 0 25 0 4 0 514883103 429490176 68247 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=419424 CPUtime=6.29 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 12010 0 0 0 627 2 0 0 25 0 4 0 514883103 429490176 68247 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 419424

[startup+12.7003 s]
/proc/loadavg: 8.09 7.39 7.46 9/184 7355
/proc/meminfo: memFree=14530572/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=419424 CPUtime=50.68 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 84314 0 0 0 5051 17 0 0 25 0 4 0 514883103 429490176 69370 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 104856 69370 394 112 0 99821 0
[pid=7350/tid=7351] ppid=7348 vsize=419424 CPUtime=12.62 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 24260 0 0 0 1257 5 0 0 25 0 4 0 514883103 429490176 69370 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364152 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=419424 CPUtime=12.68 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23167 0 0 0 1264 4 0 0 25 0 4 0 514883103 429490176 69370 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=419424 CPUtime=12.68 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 12415 0 0 0 1266 2 0 0 25 0 4 0 514883103 429490176 69370 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 419424

[startup+25.5062 s]
/proc/loadavg: 8.16 7.43 7.47 9/184 7355
/proc/meminfo: memFree=14504048/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=423572 CPUtime=101.83 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 89099 0 0 0 10164 19 0 0 25 0 4 0 514883103 433737728 72498 33554432000 4194304 4650419 140735503091872 18446744073709551615 4334268 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 105893 72498 396 112 0 100858 0
[pid=7350/tid=7351] ppid=7348 vsize=423572 CPUtime=25.36 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 24909 0 0 0 2530 6 0 0 25 0 4 0 514883103 433737728 72498 33554432000 4194304 4650419 140735503091872 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=423572 CPUtime=25.48 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23969 0 0 0 2544 4 0 0 25 0 4 0 514883103 433737728 72498 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364838 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=423572 CPUtime=25.49 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 15179 0 0 0 2546 3 0 0 25 0 4 0 514883103 433737728 72498 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315570 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 423572

[startup+51.1009 s]
/proc/loadavg: 8.17 7.49 7.49 9/184 7356
/proc/meminfo: memFree=14466168/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=539292 CPUtime=204.08 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 109510 0 0 0 20384 24 0 0 25 0 4 0 514883103 552235008 79332 33554432000 4194304 4650419 140735503091872 18446744073709551615 4334635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 134823 79334 396 112 0 129788 0
[pid=7350/tid=7351] ppid=7348 vsize=539292 CPUtime=50.81 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 27581 0 0 0 5075 6 0 0 25 0 4 0 514883103 552235008 79334 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=539292 CPUtime=51.07 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 25669 0 0 0 5102 5 0 0 25 0 4 0 514883103 552235008 79335 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=539292 CPUtime=51.08 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 23502 0 0 0 5103 5 0 0 25 0 4 0 514883103 552235008 79336 33554432000 4194304 4650419 140735503091872 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 539292

[startup+102.3 s]
/proc/loadavg: 8.20 7.60 7.52 9/184 7357
/proc/meminfo: memFree=14327516/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=609608 CPUtime=408.62 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 155962 0 0 0 40825 37 0 0 25 0 4 0 514883103 624238592 104904 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 152402 104904 396 112 0 147367 0
[pid=7350/tid=7351] ppid=7348 vsize=609608 CPUtime=101.76 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 42529 0 0 0 10165 11 0 0 25 0 4 0 514883103 624238592 104904 33554432000 4194304 4650419 140735503091872 18446744073709551615 4364170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=609608 CPUtime=102.28 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 31497 0 0 0 10221 7 0 0 25 0 4 0 514883103 624238592 104904 33554432000 4194304 4650419 140735503091872 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=609608 CPUtime=102.28 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 37747 0 0 0 10220 8 0 0 25 0 4 0 514883103 624238592 104904 33554432000 4194304 4650419 140735503091872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 609608

[startup+162.301 s]

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

[pid=7350] ppid=7348 vsize=1063688 CPUtime=2805.58 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 472303 0 0 0 280433 125 0 0 25 0 4 0 514883103 1089216512 182386 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 265922 182386 396 112 0 260887 0
[pid=7350/tid=7351] ppid=7348 vsize=1063688 CPUtime=698.75 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 194522 0 0 0 69833 42 0 0 25 0 4 0 514883103 1089216512 182386 33554432000 4194304 4650419 140735503091872 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1063688 CPUtime=702.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 59428 0 0 0 70210 19 0 0 25 0 4 0 514883103 1089216512 182386 33554432000 4194304 4650419 140735503091872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1063688 CPUtime=702.29 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 122167 0 0 0 70193 36 0 0 25 0 4 0 514883103 1089216512 182386 33554432000 4194304 4650419 140735503091872 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.58
Current children cumulated vsize (KiB) 1063688

[startup+762.3 s]
/proc/loadavg: 8.05 8.01 7.77 9/184 7375
/proc/meminfo: memFree=13602548/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=955348 CPUtime=3045.25 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 484189 0 0 0 304395 130 0 0 25 0 4 0 514883103 978276352 183152 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 238837 183152 396 112 0 233802 0
[pid=7350/tid=7351] ppid=7348 vsize=955348 CPUtime=758.42 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 195175 0 0 0 75800 42 0 0 25 0 4 0 514883103 978276352 183152 33554432000 4194304 4650419 140735503091872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=955348 CPUtime=762.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 59428 0 0 0 76210 19 0 0 25 0 4 0 514883103 978276352 183152 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=955348 CPUtime=762.29 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 128197 0 0 0 76191 38 0 0 25 0 4 0 514883103 978276352 183152 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.25
Current children cumulated vsize (KiB) 955348

[startup+822.3 s]
/proc/loadavg: 8.02 8.00 7.79 9/184 7376
/proc/meminfo: memFree=13577596/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1011192 CPUtime=3284.94 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 497758 0 0 0 328358 136 0 0 25 0 4 0 514883103 1035460608 183625 33554432000 4194304 4650419 140735503091872 18446744073709551615 4334034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 252798 183625 396 112 0 247763 0
[pid=7350/tid=7351] ppid=7348 vsize=1011192 CPUtime=818.11 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 201488 0 0 0 81767 44 0 0 25 0 4 0 514883103 1035460608 183625 33554432000 4194304 4650419 140735503091872 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1011192 CPUtime=822.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 59429 0 0 0 82210 19 0 0 25 0 4 0 514883103 1035460608 183625 33554432000 4194304 4650419 140735503091872 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1011192 CPUtime=822.29 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 132940 0 0 0 82189 40 0 0 25 0 4 0 514883103 1035460608 183625 33554432000 4194304 4650419 140735503091872 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.94
Current children cumulated vsize (KiB) 1011192

[startup+882.3 s]
/proc/loadavg: 8.07 8.02 7.80 9/184 7378
/proc/meminfo: memFree=13577704/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=956168 CPUtime=3524.65 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 508444 0 0 0 352325 140 0 0 25 0 4 0 514883103 979116032 180026 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 239042 180026 396 112 0 234007 0
[pid=7350/tid=7351] ppid=7348 vsize=956168 CPUtime=877.82 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 203950 0 0 0 87736 46 0 0 25 0 4 0 514883103 979116032 180026 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=956168 CPUtime=882.3 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 59429 0 0 0 88211 19 0 0 25 0 4 0 514883103 979116032 180026 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=956168 CPUtime=882.3 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 138118 0 0 0 88188 42 0 0 25 0 4 0 514883103 979116032 180026 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.65
Current children cumulated vsize (KiB) 956168

[startup+942.301 s]
/proc/loadavg: 8.17 8.04 7.83 9/184 7380
/proc/meminfo: memFree=13533424/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=956396 CPUtime=3764.32 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 526273 0 0 0 376286 146 0 0 25 0 4 0 514883103 979349504 187350 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 239099 187350 396 112 0 234064 0
[pid=7350/tid=7351] ppid=7348 vsize=956396 CPUtime=937.5 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 209327 0 0 0 93702 48 0 0 25 0 4 0 514883103 979349504 187350 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=956396 CPUtime=942.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 59429 0 0 0 94210 19 0 0 25 0 4 0 514883103 979349504 187350 33554432000 4194304 4650419 140735503091872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=956396 CPUtime=942.29 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 145992 0 0 0 94186 43 0 0 25 0 4 0 514883103 979349504 187350 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.32
Current children cumulated vsize (KiB) 956396

[startup+1002.31 s]
/proc/loadavg: 8.12 8.05 7.84 9/184 7381
/proc/meminfo: memFree=13493720/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1077764 CPUtime=4004.02 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 536433 0 0 0 400250 152 0 0 25 0 4 0 514883103 1103630336 190348 33554432000 4194304 4650419 140735503091872 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 269441 190348 396 112 0 264406 0
[pid=7350/tid=7351] ppid=7348 vsize=1077764 CPUtime=997.19 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 212348 0 0 0 99669 50 0 0 25 0 4 0 514883103 1103630336 190348 33554432000 4194304 4650419 140735503091872 18446744073709551615 4334293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1077764 CPUtime=1002.3 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 60500 0 0 0 100211 19 0 0 25 0 4 0 514883103 1103630336 190348 33554432000 4194304 4650419 140735503091872 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1077764 CPUtime=1002.3 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 149011 0 0 0 100185 45 0 0 25 0 4 0 514883103 1103630336 190348 33554432000 4194304 4650419 140735503091872 18446744073709551615 4361023 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.02
Current children cumulated vsize (KiB) 1077764

[startup+1062.3 s]
/proc/loadavg: 8.11 8.05 7.85 9/184 7383
/proc/meminfo: memFree=13518248/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1144584 CPUtime=4243.68 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 546719 0 0 0 424211 157 0 0 25 0 4 0 514883103 1172054016 185479 33554432000 4194304 4650419 140735503091872 18446744073709551615 4331155 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 286146 185479 396 112 0 281111 0
[pid=7350/tid=7351] ppid=7348 vsize=1144584 CPUtime=1056.87 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 215286 0 0 0 105636 51 0 0 25 0 4 0 514883103 1172054016 185479 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1144584 CPUtime=1062.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 62626 0 0 0 106209 20 0 0 25 0 4 0 514883103 1172054016 185479 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1144584 CPUtime=1062.29 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 154012 0 0 0 106182 47 0 0 25 0 4 0 514883103 1172054016 185479 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.68
Current children cumulated vsize (KiB) 1144584

[startup+1122.3 s]
/proc/loadavg: 7.94 8.02 7.85 10/184 7415
/proc/meminfo: memFree=14365816/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1134676 CPUtime=4483.36 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 559196 0 0 0 448174 162 0 0 25 0 4 0 514883103 1161908224 190834 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 283669 190834 396 112 0 278634 0
[pid=7350/tid=7351] ppid=7348 vsize=1134676 CPUtime=1116.56 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 218538 0 0 0 111604 52 0 0 25 0 4 0 514883103 1161908224 190834 33554432000 4194304 4650419 140735503091872 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1134676 CPUtime=1122.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 64369 0 0 0 112208 21 0 0 25 0 4 0 514883103 1161908224 190834 33554432000 4194304 4650419 140735503091872 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1134676 CPUtime=1122.3 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 159055 0 0 0 112180 50 0 0 25 0 4 0 514883103 1161908224 190834 33554432000 4194304 4650419 140735503091872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.36
Current children cumulated vsize (KiB) 1134676

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 7.86 10/184 7417
/proc/meminfo: memFree=14248868/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1079012 CPUtime=4723.08 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 576384 0 0 0 472136 172 0 0 25 0 4 0 514883103 1104908288 194564 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315126 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 269753 194564 396 112 0 264718 0
[pid=7350/tid=7351] ppid=7348 vsize=1079012 CPUtime=1176.28 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 224078 0 0 0 117572 56 0 0 25 0 4 0 514883103 1104908288 194564 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1079012 CPUtime=1182.29 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 65576 0 0 0 118208 21 0 0 25 0 4 0 514883103 1104908288 194564 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1079012 CPUtime=1182.3 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 164655 0 0 0 118177 53 0 0 25 0 4 0 514883103 1104908288 194564 33554432000 4194304 4650419 140735503091872 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.08
Current children cumulated vsize (KiB) 1079012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.15 8.06 7.87 9/184 7417
/proc/meminfo: memFree=14235444/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1135608 CPUtime=4800.2 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 580609 0 0 0 479846 174 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315147 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 283902 198789 396 112 0 278867 0
[pid=7350/tid=7351] ppid=7348 vsize=1135608 CPUtime=1195.48 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 225539 0 0 0 119492 56 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1135608 CPUtime=1201.6 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 66052 0 0 0 120138 22 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1135608 CPUtime=1201.6 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 165550 0 0 0 120107 53 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1135608

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

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

[startup+1201.6 s]
/proc/loadavg: 8.15 8.06 7.87 9/184 7417
/proc/meminfo: memFree=14235444/32950928 swapFree=67111528/67111528
[pid=7350] ppid=7348 vsize=1135608 CPUtime=4800.2 cores=0,2,4,6
/proc/7350/stat : 7350 (strangenight1-m) R 7348 7350 6848 0 -1 4202496 580609 0 0 0 479846 174 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4315147 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7350/statm: 283902 198789 396 112 0 278867 0
[pid=7350/tid=7351] ppid=7348 vsize=1135608 CPUtime=1195.48 cores=0,2,4,6
/proc/7350/task/7351/stat : 7351 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 225539 0 0 0 119492 56 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7350/tid=7352] ppid=7348 vsize=1135608 CPUtime=1201.6 cores=0,2,4,6
/proc/7350/task/7352/stat : 7352 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 66052 0 0 0 120138 22 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7350/tid=7353] ppid=7348 vsize=1135608 CPUtime=1201.6 cores=0,2,4,6
/proc/7350/task/7353/stat : 7353 (strangenight1-m) R 7348 7350 6848 0 -1 4202560 165550 0 0 0 120107 53 0 0 25 0 4 0 514883103 1162862592 198789 33554432000 4194304 4650419 140735503091872 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1135608

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.65
CPU time (s): 4800.27
CPU user time (s): 4798.49
CPU system time (s): 1.78573
CPU usage (%): 399.474
Max. virtual memory (cumulated for all children) (KiB): 1190572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.49
system time used= 1.78573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580609
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= 3763
involuntary context switches= 23649

runsolver used 1.88471 second user time and 4.24335 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 01:20:44
IDJOB=3282574
IDBENCH=70829
IDSOLVER=1588
FILE ID=node126/3282574-1304032844
RUNJOBID= node126-1304032577-7261
PBS_JOBID= 13170326
Free space on /tmp= 71588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282574-1304032844/watcher-3282574-1304032844 -o /tmp/evaluation-result-3282574-1304032844/solver-3282574-1304032844 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3282574-1304032844.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0621e557bffdc18ca509447665adecda
RANDOM SEED=1191404659

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14821392 kB
Buffers:       1839440 kB
Cached:       15255508 kB
SwapCached:          0 kB
Active:        7009012 kB
Inactive:     10537324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14821392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10404 kB
Writeback:           0 kB
AnonPages:      450528 kB
Mapped:          15532 kB
Slab:           519436 kB
PageTables:       5604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   726912 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= 71580 MiB
End job on node126 at 2011-04-29 01:40:48