Trace number 3369511

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 (fixed)? (TO) 4800.36 1203.44

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-21-s100.cnf
MD5SUMd34c45eae853ce60c342643824196dbf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.7406
Satisfiable
(Un)Satisfiability was proved
Number of variables31613
Number of clauses95104
Sum of the clauses size224206
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260978
Number of clauses of size 334062
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369511-1305390212.cnf'
0.04/0.05	c -- clauses added:            0 learnts,        95104 normals,            0 xors
0.04/0.05	c -- vars added      31613
0.04/0.05	c Parsing time:  0.13 s
0.04/0.05	c  N st     0         0     31613     33922     60982         0    223730         0   no data   no data  --
0.04/0.33	c asymm  cl-useful: 15/33682/33682 lits-rem:45 time: 0.77
2.17/1.16	c Flit:    75 Blit:    268 bXBeca:    0 bXProp: 1856 Bins:      0 BRemL:      0 BRemN:      0 P: 21.5M T:  3.58
2.17/1.16	c Cleaning up after failed var search:     0.01 s 
2.17/1.17	c Replacing     1856 vars Replaced    47659 lits Time:     0.03 s 
2.17/1.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2.17/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
2.17/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28031 time:  0.44 s
5.41/1.40	c Removed useless bin:       0  fixed:     0  props:  15.26M  time:  0.35 s
5.82/1.52	c lits-rem:        18  cl-subs:      399  v-elim:   9343  v-fix:    0  time:  0.47 s
6.02/1.57	c Finding binary XORs  T:     0.18 s  found:       6
6.02/1.57	c Replacing        6 vars Replaced      267 lits Time:     0.02 s 
6.02/1.59	c Finding non-binary XORs:     0.05 s (found:     250, avg size: 3.0)
6.02/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6.02/1.60	c calculated reachability. Time: 0.04
6.02/1.60	c Calc default polars -  time:   0.01 s pos:    5701 undec:   13852 neg:   12060
6.02/1.60	c =========================================================================================
6.02/1.60	c types(t): F = full restart, N = normal restart
6.02/1.60	c types(t): S = simplification begin/end, E = solution found
6.02/1.60	c restart types(rt): st = static, dy = dynamic
6.02/1.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.02/1.60	c  B st     0         0     18682     29239     39065         0    196452         0   no data   no data  --
17.91/4.56	c Decided on static restart strategy
37.06/9.37	c  N st     8      4918     18632     29239     39128      4799    196452    198397   no data   no data  --
80.14/20.12	c  N st    10     11302     18581     29239     39200      8366    196452    278499   no data   no data  --
120.43/30.22	c  N st    11     17045     18580     29239     39315      9397    196452    256994   no data   no data  --
177.07/44.48	c  F st    12     25001     18580     29239     39334     11209    196452    328433   no data   no data  --
177.07/44.49	c Replacing        2 vars Replaced      609 lits Time:     0.03 s 
177.47/44.52	c  N st    12     25001     18578     29110     39019     10984    195104    326378   no data   no data  --
177.47/44.55	c Finding binary XORs  T:     0.12 s  found:      27
213.78/53.70	c Decided on static restart strategy
213.78/53.70	c  N st    18     30000     18578     29110     39079      8741    195103    200590   no data   no data  --
213.78/53.70	c  S st    18     30000     18578     29110     39079      8741    195103    200590   no data   no data  --
214.62/53.84	c  S st    18     30502     18578     29110     39108      9213    195103    218213   no data   no data  --
214.62/53.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
214.62/53.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
225.34/56.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  13723 BRemL:    467 BRemN:      0 P: 25.7M T: 10.56
225.34/56.52	c Replacing       28 vars Replaced    13885 lits Time:     0.06 s 
225.34/56.54	c bin-w-bin subsume rem           49 bins  time:  0.02 s
225.74/56.61	c subs with bin:      102  lits-rem:     14914  v-fix:    0  time:  0.29 s
225.74/56.69	c Subs w/ non-existent bins:      1 l-rem:   1962 v-fix:     0 done:  10950 time:  0.32 s
226.14/56.72	c Removed useless bin:      58  fixed:     0  props:   2.85M  time:  0.10 s
228.13/57.29	c lits-rem:      7790  cl-subs:     8614  v-elim:   8559  v-fix:    0  time:  2.27 s
229.73/57.68	c asymm  cl-useful: 1371/27432/27432 lits-rem:4742 time: 1.55
229.73/57.69	c calculated reachability. Time: 0.04
229.73/57.69	c  N st    18     30502      9991     27429     35148      3189    187266     72359   no data   no data  --
230.13/57.72	c Finding binary XORs  T:     0.13 s  found:      12
269.21/67.53	c  N st    20     37615      9991     27429     35414     10252    187266    327398   no data   no data  --
300.33/75.34	c  N st    21     44014      9991     27429     35415     16620    187266    588332   no data   no data  --
300.33/75.36	c Finding binary XORs  T:     0.08 s  found:       4
303.52/76.12	c  S st    22     45753      9991     27429     35464      9956    187266    236584   no data   no data  --
303.92/76.25	c  S st    22     46253      9991     27429     35472     10447    187266    252480   no data   no data  --
303.92/76.26	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.02
303.92/76.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
307.91/77.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4828 BRemL:    237 BRemN:     25 P: 17.2M T:  4.07
307.91/77.29	c Replacing       16 vars Replaced     2544 lits Time:     0.04 s 
308.31/77.31	c bin-w-bin subsume rem           30 bins  time:  0.02 s
308.31/77.38	c subs with bin:     4954  lits-rem:      2368  v-fix:    0  time:  0.27 s
308.70/77.41	c Subs w/ non-existent bins:      2 l-rem:   2015 v-fix:     0 done:   1770 time:  0.10 s
308.70/77.43	c Removed useless bin:      39  fixed:     0  props:   1.52M  time:  0.07 s
310.30/77.90	c lits-rem:       526  cl-subs:     2756  v-elim:     50  v-fix:    0  time:  1.88 s
310.72/77.91	c vivif2 --  cl tried    22405 cl shrink      205 lits rem        338 time: 0.04
310.72/77.93	c vivif2 --  cl tried     7884 cl shrink     2554 lits rem      18491 time: 0.09
312.30/78.34	c asymm  cl-useful: 26/22396/22396 lits-rem:26 time: 1.62
312.30/78.35	c calculated reachability. Time: 0.03
312.30/78.35	c  N st    22     46253      9925     22396     39731      7884    169997    186109   no data   no data  --
386.49/96.99	c  N st    23     60650      9925     22396     39739     12731    169997    324040   no data   no data  --
386.89/97.02	c Finding binary XORs  T:     0.08 s  found:       0
430.77/108.08	c  N st    24     69380      9924     22395     39991     10891    169984    223685   no data   no data  --
430.77/108.08	c  S st    24     69380      9924     22395     39991     10891    169984    223685   no data   no data  --
431.57/108.22	c  S st    24     69881      9924     22395     40018     11390    169984    241103   no data   no data  --
431.57/108.22	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
431.57/108.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
434.76/109.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     55 BRemL:    162 BRemN:     12 P: 17.3M T:  3.13
434.76/109.02	c Replacing        1 vars Replaced       74 lits Time:     0.03 s 
434.76/109.04	c bin-w-bin subsume rem           50 bins  time:  0.02 s
434.76/109.09	c subs with bin:      288  lits-rem:        16  v-fix:    0  time:  0.24 s
435.16/109.14	c Subs w/ non-existent bins:      0 l-rem:   1044 v-fix:     0 done:   6061 time:  0.19 s
435.16/109.16	c Removed useless bin:      50  fixed:     0  props:   1.42M  time:  0.08 s
436.36/109.47	c lits-rem:       534  cl-subs:     1099  v-elim:     16  v-fix:    0  time:  1.22 s
436.36/109.48	c vivif2 --  cl tried    22365 cl shrink       32 lits rem         40 time: 0.05
436.76/109.50	c vivif2 --  cl tried    10059 cl shrink     1285 lits rem       8995 time: 0.09
438.39/109.92	c asymm  cl-useful: 162/22359/22359 lits-rem:451 time: 1.66
438.39/109.93	c calculated reachability. Time: 0.03
438.39/109.93	c  N st    24     69881      9907     22215     39897     10059    169545    209620   no data   no data  --
531.28/133.28	c  F st    25     87500      9907     22215     39899     16016    169545    344092   no data   no data  --
531.28/133.29	c  N st    25     87500      9907     22215     39899     16016    169545    344092   no data   no data  --
555.23/139.22	c Decided on static restart strategy
569.19/142.81	c  N st    32     95536      9907     22215     39907     24022    169545    685237   no data   no data  --
621.85/155.98	c  N st    34    104821      9907     22215     39910     20714    169545    548434   no data   no data  --
621.85/155.99	c  S st    34    104821      9907     22215     39910     20714    169545    548434   no data   no data  --
622.26/156.01	c Finding binary XORs  T:     0.06 s  found:       3
623.03/156.22	c  S st    34    105327      9906     22214     40270     21219    169530    566521   no data   no data  --
623.03/156.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
623.03/156.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
626.23/157.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     15 BRemL:    387 BRemN:    152 P: 20.7M T:  3.45
626.65/157.13	c Replacing        3 vars Replaced    29137 lits Time:     0.13 s 
626.65/157.16	c bin-w-bin subsume rem            9 bins  time:  0.02 s
627.07/157.26	c subs with bin:       80  lits-rem:        10  v-fix:    0  time:  0.42 s
627.07/157.29	c Subs w/ non-existent bins:      0 l-rem:   1250 v-fix:     0 done:   2055 time:  0.11 s
627.42/157.31	c Removed useless bin:       6  fixed:     0  props:   1.42M  time:  0.08 s
635.84/159.47	c lits-rem:      1670  cl-subs:     2729  v-elim:     19  v-fix:    0  time:  8.64 s
635.84/159.49	c vivif2 --  cl tried    22199 cl shrink       25 lits rem         75 time: 0.05
636.19/159.55	c vivif2 --  cl tried    18460 cl shrink     6026 lits rem      40847 time: 0.25
637.39/159.87	c asymm  cl-useful: 25/13632/22194 lits-rem:51 time: 1.26
637.39/159.88	c calculated reachability. Time: 0.03
637.39/159.88	c  N st    34    105327      9884     22181     39658     18460    169093    481229   no data   no data  --
689.65/172.99	c  N st    35    114925      9884     22181     39659     14421    169093    278825   no data   no data  --
771.03/193.37	c  N st    36    129323      9884     22181     39661     28648    169093    630910   no data   no data  --
891.50/223.58	c  N st    37    150918      9884     22181     39712     20460    169092    438675   no data   no data  --
931.38/233.50	c  S st    38    157991      9881     22181     39778     27460    169092    661402   no data   no data  --
932.18/233.71	c  S st    38    158495      9881     22181     39781     27964    169092    678156   no data   no data  --
932.18/233.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
932.18/233.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
935.77/234.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     10 BRemL:     24 BRemN:     16 P: 23.9M T:  3.77
935.77/234.69	c Replacing        2 vars Replaced      370 lits Time:     0.07 s 
936.17/234.72	c bin-w-bin subsume rem           25 bins  time:  0.02 s
936.57/234.87	c subs with bin:      868  lits-rem:       100  v-fix:    0  time:  0.62 s
936.57/234.89	c Subs w/ non-existent bins:      0 l-rem:   3625 v-fix:     0 done:     50 time:  0.08 s
936.97/234.91	c Removed useless bin:      30  fixed:     0  props:   1.43M  time:  0.08 s
950.13/238.25	c lits-rem:      1377  cl-subs:     2827  v-elim:      1  v-fix:    0  time: 13.31 s
950.13/238.27	c vivif2 --  cl tried    22142 cl shrink        7 lits rem         54 time: 0.05
950.53/238.34	c vivif2 --  cl tried    24308 cl shrink     7132 lits rem      43110 time: 0.30
951.35/238.58	c asymm  cl-useful: 14/8510/22142 lits-rem:42 time: 0.96
951.35/238.59	c calculated reachability. Time: 0.03
951.35/238.59	c  N st    38    158495      9878     22128     39647     24308    168930    569056   no data   no data  --
1234.14/309.42	c  N st    39    207084      9878     22128     39653     20235    168927    370936   no data   no data  --
1411.25/353.88	c  N st    40    237742      9875     22128     39690     31176    168927    730814   no data   no data  --
1411.25/353.89	c  S st    40    237742      9875     22128     39690     31176    168927    730814   no data   no data  --
1411.65/353.91	c Finding binary XORs  T:     0.08 s  found:       1
1412.49/354.17	c  S st    40    238244      9874     22126     39706     31586    168870    742618   no data   no data  --
1412.49/354.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1412.49/354.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1416.46/355.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     28 BRemL:     26 BRemN:     21 P: 24.2M T:  3.84
1416.46/355.15	c Replacing        1 vars Replaced       55 lits Time:     0.03 s 
1416.46/355.19	c bin-w-bin subsume rem            9 bins  time:  0.02 s
1417.23/355.31	c subs with bin:       22  lits-rem:       464  v-fix:    0  time:  0.48 s
1417.23/355.33	c Subs w/ non-existent bins:      0 l-rem:   2939 v-fix:     0 done:    123 time:  0.08 s
1417.23/355.35	c Removed useless bin:       8  fixed:     0  props:   1.42M  time:  0.08 s
1431.60/358.98	c lits-rem:      6157  cl-subs:     3257  v-elim:      1  v-fix:    0  time: 14.47 s
1431.60/358.99	c vivif2 --  cl tried    22119 cl shrink        4 lits rem         32 time: 0.05
1432.00/359.07	c vivif2 --  cl tried    28317 cl shrink     6879 lits rem      39171 time: 0.33
1433.60/359.41	c asymm  cl-useful: 9/10772/22119 lits-rem:17 time: 1.34
1433.60/359.42	c calculated reachability. Time: 0.03
1433.60/359.42	c  N st    40    238244      9872     22115     39663     28317    168816    649336   no data   no data  --
1468.70/368.26	c Finding binary XORs  T:     0.08 s  found:       0
1822.52/456.93	c  F st    41    306251      9870     22114     40215     31373    168803    550410   no data   no data  --
1822.52/456.95	c  N st    41    306251      9870     22114     40187     31274    168786    549713   no data   no data  --
1852.43/464.48	c Decided on static restart strategy
1994.45/500.07	c  N st    51    334551      9870     22114     40258     36007    168786    840791   no data   no data  --
2131.26/534.36	c  N st    53    357367      9869     22114     40270     34240    168785    657682   no data   no data  --
2131.26/534.36	c  S st    53    357367      9869     22114     40270     34240    168785    657682   no data   no data  --
2132.45/534.63	c  S st    53    357869      9868     22114     40276     34740    168785    672168   no data   no data  --
2132.45/534.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2132.45/534.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2136.48/535.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:    214 BRemN:      4 P: 26.0M T:  3.96
2136.48/535.67	c bin-w-bin subsume rem          323 bins  time:  0.02 s
2137.24/535.81	c subs with bin:      602  lits-rem:       110  v-fix:    0  time:  0.57 s
2137.24/535.85	c Subs w/ non-existent bins:      0 l-rem:   1347 v-fix:     0 done:   3890 time:  0.15 s
2137.24/535.87	c Removed useless bin:      13  fixed:     0  props:   1.42M  time:  0.08 s
2146.42/538.14	c lits-rem:      1561  cl-subs:     4735  v-elim:      3  v-fix:    0  time:  9.04 s
2146.42/538.15	c vivif2 --  cl tried    22104 cl shrink        4 lits rem         34 time: 0.05
2146.82/538.21	c vivif2 --  cl tried    29425 cl shrink     4559 lits rem      23554 time: 0.25
2148.02/538.51	c asymm  cl-useful: 22/10227/22104 lits-rem:66 time: 1.19
2148.02/538.52	c calculated reachability. Time: 0.03
2148.02/538.52	c  N st    53    357869      9865     22082     39712     29425    168696    551014   no data   no data  --
2352.24/589.79	c  N st    54    390261      9865     22082     39715     36207    168696    633378   no data   no data  --
2661.00/667.13	c  N st    55    438849      9861     22082     39758     30695    168696    496891   no data   no data  --
3098.99/776.93	c  N st    56    511732      9861     22082     39796     45165    168695    878405   no data   no data  --
3256.54/816.45	c  N st    57    536804      9858     22082     39847     39721    168695    702978   no data   no data  --
3256.54/816.45	c  S st    57    536804      9858     22082     39847     39721    168695    702978   no data   no data  --
3256.54/816.47	c Finding binary XORs  T:     0.08 s  found:       0
3258.14/816.82	c  S st    57    537309      9856     22078     39729     39981    168533    716362   no data   no data  --
3258.14/816.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3258.14/816.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3262.13/817.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     39 BRemL:     38 BRemN:     22 P: 27.1M T:  4.09
3262.13/817.89	c bin-w-bin subsume rem            7 bins  time:  0.02 s
3262.93/818.00	c subs with bin:       37  lits-rem:       101  v-fix:    0  time:  0.44 s
3262.93/818.03	c Subs w/ non-existent bins:      0 l-rem:    904 v-fix:     0 done:   2232 time:  0.12 s
3262.93/818.05	c Removed useless bin:      24  fixed:     0  props:   1.40M  time:  0.08 s
3274.09/820.86	c lits-rem:      1247  cl-subs:     5521  v-elim:      5  v-fix:    0  time: 11.21 s
3274.09/820.88	c vivif2 --  cl tried    22066 cl shrink       12 lits rem         88 time: 0.05
3274.49/820.94	c vivif2 --  cl tried    34453 cl shrink     3931 lits rem      18291 time: 0.26
3274.89/821.00	c asymm  cl-useful: 1/1067/22066 lits-rem:3 time: 0.22
3274.89/821.01	c calculated reachability. Time: 0.03
3274.89/821.01	c  N st    57    537309      9851     22065     39643     34453    168475    606347   no data   no data  --
4279.71/1072.97	c  N st    58    701293      9850     22065     39661     65638    168475   1224714   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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369511-1305390212/watcher-3369511-1305390212 -o /tmp/evaluation-result-3369511-1305390212/solver-3369511-1305390212 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369511-1305390212.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: 7.72 7.90 6.88 5/342 11565
/proc/meminfo: memFree=18005640/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 650619144 52465664 352 33554432000 4194304 4650419 140737213296544 18446744073709551615 47232749037494 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 12809 352 303 112 0 7774 0
[pid=11565/tid=11566] ppid=11563 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650619144 52465664 352 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650619144 52465664 352 33554432000 4194304 4650419 140737213296544 18446744073709551615 47232749037484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650619144 52465664 352 33554432000 4194304 4650419 140737213296544 18446744073709551615 47232749037490 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.021394 s]
/proc/loadavg: 7.72 7.90 6.88 5/342 11565
/proc/meminfo: memFree=18005640/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=262436 CPUtime=0.04 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 6747 0 0 0 4 0 0 0 25 0 4 0 650619144 268734464 5690 33554432000 4194304 4650419 140737213296544 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 65609 5694 344 112 0 60574 0
[pid=11565/tid=11566] ppid=11563 vsize=262436 CPUtime=0 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 1573 0 0 0 0 0 0 0 25 0 4 0 650619144 268734464 5694 33554432000 4194304 4650419 140737213296544 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=262436 CPUtime=0.01 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) D 11563 11565 11396 0 -1 4202560 1582 0 0 0 1 0 0 0 25 0 4 0 650619144 268734464 5694 33554432000 4194304 4650419 140737213296544 18446744073709551615 4316569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=262436 CPUtime=0.01 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) D 11563 11565 11396 0 -1 4202560 1561 0 0 0 1 0 0 0 18 0 4 0 650619144 268734464 5694 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244392026 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 262436

[startup+0.248663 s]
/proc/loadavg: 7.72 7.90 6.88 5/342 11565
/proc/meminfo: memFree=18005640/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=313808 CPUtime=1.04 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 17657 0 0 0 101 3 0 0 18 0 4 0 650619144 321339392 14903 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244007341 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 78782 15869 373 112 0 73747 0
[pid=11565/tid=11566] ppid=11563 vsize=317240 CPUtime=0.3 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) D 11563 11565 11396 0 -1 4202560 5266 0 0 0 29 1 0 0 18 0 4 0 650619144 324853760 17436 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=319220 CPUtime=0.33 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 5711 0 0 0 32 1 0 0 25 0 4 0 650619144 326881280 18865 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=321068 CPUtime=0.36 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 3927 0 0 0 35 1 0 0 18 0 4 0 650619144 328773632 20210 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 313808

[startup+0.541664 s]
/proc/loadavg: 7.72 7.90 6.88 5/342 11565
/proc/meminfo: memFree=18005640/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=334572 CPUtime=2.17 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 32868 0 0 0 210 7 0 0 18 0 4 0 650619144 342601728 30114 33554432000 4194304 4650419 140737213296544 18446744073709551615 4369214 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 83841 30720 373 112 0 78806 0
[pid=11565/tid=11566] ppid=11563 vsize=336288 CPUtime=0.55 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) D 11563 11565 11396 0 -1 4202560 9893 0 0 0 53 2 0 0 18 0 4 0 650619144 344358912 31440 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=337872 CPUtime=0.58 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 10227 0 0 0 56 2 0 0 18 0 4 0 650619144 345980928 32599 33554432000 4194304 4650419 140737213296544 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=339060 CPUtime=0.6 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 3934 0 0 0 59 1 0 0 18 0 4 0 650619144 347197440 33445 33554432000 4194304 4650419 140737213296544 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 334572

[startup+1.36603 s]
/proc/loadavg: 7.72 7.90 6.88 5/342 11565
/proc/meminfo: memFree=18005640/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=355472 CPUtime=5.41 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 48759 0 0 0 531 10 0 0 19 0 4 0 650619144 364003328 46005 33554432000 4194304 4650419 140737213296544 18446744073709551615 4303479 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 88868 46005 387 112 0 83833 0
[pid=11565/tid=11566] ppid=11563 vsize=355472 CPUtime=1.34 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 14782 0 0 0 131 3 0 0 19 0 4 0 650619144 364003328 46005 33554432000 4194304 4650419 140737213296544 18446744073709551615 4303303 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=355472 CPUtime=1.34 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 14764 0 0 0 131 3 0 0 18 0 4 0 650619144 364003328 46005 33554432000 4194304 4650419 140737213296544 18446744073709551615 4303332 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=355472 CPUtime=1.35 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 3958 0 0 0 134 1 0 0 19 0 4 0 650619144 364003328 46005 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364590 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 355472

[startup+1.50635 s]
/proc/loadavg: 7.72 7.90 6.88 5/342 11565
/proc/meminfo: memFree=18005640/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=363024 CPUtime=6.02 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 54278 0 0 0 591 11 0 0 18 0 4 0 650619144 371736576 51524 33554432000 4194304 4650419 140737213296544 18446744073709551615 4431865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 90756 52232 388 112 0 85721 0
[pid=11565/tid=11566] ppid=11563 vsize=363024 CPUtime=1.54 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17029 0 0 0 150 4 0 0 19 0 4 0 650619144 371736576 52232 33554432000 4194304 4650419 140737213296544 18446744073709551615 4528938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=363024 CPUtime=1.55 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17010 0 0 0 151 4 0 0 19 0 4 0 650619144 371736576 52232 33554432000 4194304 4650419 140737213296544 18446744073709551615 4528981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=363024 CPUtime=1.55 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 3961 0 0 0 154 1 0 0 20 0 4 0 650619144 371736576 52232 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 363024

[startup+3.10073 s]
/proc/loadavg: 7.72 7.90 6.88 9/346 11569
/proc/meminfo: memFree=17793608/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=363024 CPUtime=12.36 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 55926 0 0 0 1224 12 0 0 20 0 4 0 650619144 371736576 52692 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 90756 52692 392 112 0 85721 0
[pid=11565/tid=11566] ppid=11563 vsize=363024 CPUtime=3.07 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17210 0 0 0 303 4 0 0 22 0 4 0 650619144 371736576 52693 33554432000 4194304 4650419 140737213296544 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=363024 CPUtime=3.1 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17183 0 0 0 306 4 0 0 22 0 4 0 650619144 371736576 52693 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333552 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=363024 CPUtime=3.1 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 4016 0 0 0 309 1 0 0 25 0 4 0 650619144 371736576 52693 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 363024

[startup+6.30117 s]
/proc/loadavg: 7.74 7.90 6.88 9/346 11569
/proc/meminfo: memFree=17792616/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=363024 CPUtime=25.1 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 56406 0 0 0 2498 12 0 0 25 0 4 0 650619144 371736576 53104 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363637 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 90756 53104 393 112 0 85721 0
[pid=11565/tid=11566] ppid=11563 vsize=363024 CPUtime=6.23 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17380 0 0 0 619 4 0 0 25 0 4 0 650619144 371736576 53104 33554432000 4194304 4650419 140737213296544 18446744073709551615 4331159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=363024 CPUtime=6.28 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17284 0 0 0 624 4 0 0 25 0 4 0 650619144 371736576 53104 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=363024 CPUtime=6.28 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 4144 0 0 0 627 1 0 0 25 0 4 0 650619144 371736576 53104 33554432000 4194304 4650419 140737213296544 18446744073709551615 4331364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 363024

[startup+12.7011 s]
/proc/loadavg: 7.76 7.90 6.89 9/346 11569
/proc/meminfo: memFree=17791236/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=365920 CPUtime=50.63 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 59225 0 0 0 5051 12 0 0 25 0 4 0 650619144 374702080 52829 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 91480 52829 395 112 0 86445 0
[pid=11565/tid=11566] ppid=11563 vsize=365920 CPUtime=12.55 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17964 0 0 0 1251 4 0 0 25 0 4 0 650619144 374702080 52829 33554432000 4194304 4650419 140737213296544 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=365920 CPUtime=12.68 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 17860 0 0 0 1264 4 0 0 25 0 4 0 650619144 374702080 52829 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=365920 CPUtime=12.68 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 5172 0 0 0 1267 1 0 0 25 0 4 0 650619144 374702080 52829 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 365920

[startup+25.5008 s]
/proc/loadavg: 7.82 7.91 6.91 9/346 11569
/proc/meminfo: memFree=17786416/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=367276 CPUtime=101.68 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 62257 0 0 0 10154 14 0 0 25 0 4 0 650619144 376090624 53451 33554432000 4194304 4650419 140737213296544 18446744073709551615 4331084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 91819 53451 395 112 0 86784 0
[pid=11565/tid=11566] ppid=11563 vsize=367276 CPUtime=25.21 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 18845 0 0 0 2517 4 0 0 25 0 4 0 650619144 376090624 53451 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=367276 CPUtime=25.48 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 18466 0 0 0 2544 4 0 0 25 0 4 0 650619144 376090624 53451 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=367276 CPUtime=25.49 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 6079 0 0 0 2547 2 0 0 25 0 4 0 650619144 376090624 53451 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 367276

[startup+51.1003 s]
/proc/loadavg: 8.00 7.94 6.95 9/346 11570
/proc/meminfo: memFree=17760796/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=359124 CPUtime=203.8 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 68497 0 0 0 20364 16 0 0 25 0 4 0 650619144 367742976 54022 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 89781 54022 396 112 0 84746 0
[pid=11565/tid=11566] ppid=11563 vsize=359124 CPUtime=50.54 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 20482 0 0 0 5049 5 0 0 25 0 4 0 650619144 367742976 54022 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=359124 CPUtime=51.08 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 20047 0 0 0 5103 5 0 0 25 0 4 0 650619144 367742976 54022 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=359124 CPUtime=51.08 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 7630 0 0 0 5106 2 0 0 25 0 4 0 650619144 367742976 54022 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 359124

[startup+102.3 s]
/proc/loadavg: 8.21 8.00 7.01 9/346 11572
/proc/meminfo: memFree=17531116/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=553080 CPUtime=408.03 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 110985 0 0 0 40776 27 0 0 25 0 4 0 650619144 566353920 85914 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 138270 85914 396 112 0 133235 0
[pid=11565/tid=11566] ppid=11563 vsize=553080 CPUtime=101.18 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 31727 0 0 0 10110 8 0 0 25 0 4 0 650619144 566353920 85914 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=553080 CPUtime=102.29 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 28151 0 0 0 10222 7 0 0 25 0 4 0 650619144 566353920 85914 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=553080 CPUtime=102.29 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 23679 0 0 0 10222 7 0 0 25 0 4 0 650619144 566353920 85914 33554432000 4194304 4650419 140737213296544 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 553080

[startup+162.301 s]

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

[pid=11565] ppid=11563 vsize=661424 CPUtime=2562.11 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 196491 0 0 0 256148 63 0 0 25 0 4 0 650619144 677298176 110355 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363709 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 165356 110355 396 112 0 160321 0
[pid=11565/tid=11566] ppid=11563 vsize=661424 CPUtime=635.31 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 56259 0 0 0 63513 18 0 0 25 0 4 0 650619144 677298176 110355 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=661424 CPUtime=642.31 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 50462 0 0 0 64215 16 0 0 25 0 4 0 650619144 677298176 110355 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=661424 CPUtime=642.31 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 44782 0 0 0 64214 17 0 0 25 0 4 0 650619144 677298176 110355 33554432000 4194304 4650419 140737213296544 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.11
Current children cumulated vsize (KiB) 661424

[startup+702.3 s]
/proc/loadavg: 8.20 8.11 7.53 9/346 11587
/proc/meminfo: memFree=17269416/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=661520 CPUtime=2801.4 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 203803 0 0 0 280074 66 0 0 25 0 4 0 650619144 677396480 112732 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 165380 112732 396 112 0 160345 0
[pid=11565/tid=11566] ppid=11563 vsize=661520 CPUtime=694.65 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 58622 0 0 0 69446 19 0 0 25 0 4 0 650619144 677396480 112732 33554432000 4194304 4650419 140737213296544 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=661520 CPUtime=702.29 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 52387 0 0 0 70213 16 0 0 25 0 4 0 650619144 677396480 112732 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=661520 CPUtime=702.29 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 46105 0 0 0 70212 17 0 0 25 0 4 0 650619144 677396480 112732 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.4
Current children cumulated vsize (KiB) 661520

[startup+762.301 s]
/proc/loadavg: 8.18 8.12 7.56 9/346 11589
/proc/meminfo: memFree=17271212/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=673360 CPUtime=3040.74 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 210623 0 0 0 304004 70 0 0 25 0 4 0 650619144 689520640 109852 33554432000 4194304 4650419 140737213296544 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 168340 109852 396 112 0 163305 0
[pid=11565/tid=11566] ppid=11563 vsize=673360 CPUtime=753.99 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 59581 0 0 0 75379 20 0 0 25 0 4 0 650619144 689520640 109852 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=673360 CPUtime=762.3 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 55053 0 0 0 76212 18 0 0 25 0 4 0 650619144 689520640 109852 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=673360 CPUtime=762.3 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 46955 0 0 0 76211 19 0 0 25 0 4 0 650619144 689520640 109852 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333820 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.74
Current children cumulated vsize (KiB) 673360

[startup+822.3 s]
/proc/loadavg: 8.17 8.12 7.60 9/346 11591
/proc/meminfo: memFree=17278964/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=662032 CPUtime=3280.08 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 217268 0 0 0 327936 72 0 0 25 0 4 0 650619144 677920768 109746 33554432000 4194304 4650419 140737213296544 18446744073709551615 4331873 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 165508 109746 396 112 0 160473 0
[pid=11565/tid=11566] ppid=11563 vsize=662032 CPUtime=813.34 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 60608 0 0 0 81314 20 0 0 25 0 4 0 650619144 677920768 109746 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=662032 CPUtime=822.3 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 56873 0 0 0 82212 18 0 0 25 0 4 0 650619144 677920768 109746 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=662032 CPUtime=822.31 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 48758 0 0 0 82211 20 0 0 25 0 4 0 650619144 677920768 109746 33554432000 4194304 4650419 140737213296544 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.08
Current children cumulated vsize (KiB) 662032

[startup+882.301 s]
/proc/loadavg: 8.17 8.13 7.63 9/346 11592
/proc/meminfo: memFree=17259280/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=662160 CPUtime=3519.42 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 224143 0 0 0 351866 76 0 0 25 0 4 0 650619144 678051840 112969 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363666 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 165540 112969 396 112 0 160505 0
[pid=11565/tid=11566] ppid=11563 vsize=662160 CPUtime=872.68 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 62036 0 0 0 87248 20 0 0 25 0 4 0 650619144 678051840 112969 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=662160 CPUtime=882.3 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 58641 0 0 0 88211 19 0 0 25 0 4 0 650619144 678051840 112969 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=662160 CPUtime=882.3 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 50309 0 0 0 88210 20 0 0 25 0 4 0 650619144 678051840 112969 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.42
Current children cumulated vsize (KiB) 662160

[startup+942.3 s]
/proc/loadavg: 8.13 8.12 7.66 9/346 11594
/proc/meminfo: memFree=17253904/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=727844 CPUtime=3758.76 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 229730 0 0 0 375798 78 0 0 25 0 4 0 650619144 745312256 113613 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 181961 113613 396 112 0 176926 0
[pid=11565/tid=11566] ppid=11563 vsize=727844 CPUtime=932.03 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 63751 0 0 0 93182 21 0 0 25 0 4 0 650619144 745312256 113613 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=727844 CPUtime=942.3 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 60309 0 0 0 94210 20 0 0 25 0 4 0 650619144 745312256 113613 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=727844 CPUtime=942.31 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 50735 0 0 0 94210 21 0 0 25 0 4 0 650619144 745312256 113613 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 727844

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 7.68 9/346 11595
/proc/meminfo: memFree=17249900/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=674316 CPUtime=3998.1 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 237213 0 0 0 399729 81 0 0 25 0 4 0 650619144 690499584 112804 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 168579 112804 396 112 0 163544 0
[pid=11565/tid=11566] ppid=11563 vsize=674316 CPUtime=991.38 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 65726 0 0 0 99116 22 0 0 25 0 4 0 650619144 690499584 112804 33554432000 4194304 4650419 140737213296544 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=674316 CPUtime=1002.3 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 62139 0 0 0 100210 20 0 0 25 0 4 0 650619144 690499584 112804 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=674316 CPUtime=1002.3 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 52561 0 0 0 100209 21 0 0 25 0 4 0 650619144 690499584 112804 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.1
Current children cumulated vsize (KiB) 674316

[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 7.70 9/346 11597
/proc/meminfo: memFree=17225284/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=674584 CPUtime=4237.43 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 243766 0 0 0 423659 84 0 0 25 0 4 0 650619144 690774016 113974 33554432000 4194304 4650419 140737213296544 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 168646 113974 396 112 0 163611 0
[pid=11565/tid=11566] ppid=11563 vsize=674584 CPUtime=1050.74 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 67506 0 0 0 105050 24 0 0 25 0 4 0 650619144 690774016 113974 33554432000 4194304 4650419 140737213296544 18446744073709551615 4311374 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=674584 CPUtime=1062.31 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 63835 0 0 0 106210 21 0 0 25 0 4 0 650619144 690774016 113974 33554432000 4194304 4650419 140737213296544 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=674584 CPUtime=1062.31 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 53950 0 0 0 106209 22 0 0 25 0 4 0 650619144 690774016 113974 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.43
Current children cumulated vsize (KiB) 674584

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 7.72 9/346 11599
/proc/meminfo: memFree=17235652/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=674872 CPUtime=4476.77 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 250178 0 0 0 447589 88 0 0 25 0 4 0 650619144 691068928 113254 33554432000 4194304 4650419 140737213296544 18446744073709551615 4366950 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 168718 113254 396 112 0 163683 0
[pid=11565/tid=11566] ppid=11563 vsize=674872 CPUtime=1110.07 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 69700 0 0 0 110983 24 0 0 25 0 4 0 650619144 691068928 113254 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=674872 CPUtime=1122.3 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 65594 0 0 0 112208 22 0 0 25 0 4 0 650619144 691068928 113254 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=674872 CPUtime=1122.3 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 54520 0 0 0 112208 22 0 0 25 0 4 0 650619144 691068928 113254 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333562 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.77
Current children cumulated vsize (KiB) 674872

[startup+1182.3 s]
/proc/loadavg: 8.08 8.09 7.74 9/346 11600
/proc/meminfo: memFree=17206208/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=675092 CPUtime=4716.14 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 257370 0 0 0 471524 90 0 0 25 0 4 0 650619144 691294208 114544 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 168773 114544 396 112 0 163738 0
[pid=11565/tid=11566] ppid=11563 vsize=675092 CPUtime=1169.43 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 71729 0 0 0 116918 25 0 0 25 0 4 0 650619144 691294208 114544 33554432000 4194304 4650419 140737213296544 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=675092 CPUtime=1182.32 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 67397 0 0 0 118209 23 0 0 25 0 4 0 650619144 691294208 114544 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=675092 CPUtime=1182.32 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 56217 0 0 0 118209 23 0 0 25 0 4 0 650619144 691294208 114544 33554432000 4194304 4650419 140737213296544 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.14
Current children cumulated vsize (KiB) 675092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.06 8.08 7.75 9/346 11632
/proc/meminfo: memFree=17708128/32951124 swapFree=67082152/67111528
[pid=11565] ppid=11563 vsize=675168 CPUtime=4800.29 cores=0,2,4,6
/proc/11565/stat : 11565 (strangenight1-m) R 11563 11565 11396 0 -1 4202496 259377 0 0 0 479937 92 0 0 25 0 4 0 650619144 691372032 112651 33554432000 4194304 4650419 140737213296544 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11565/statm: 168792 112651 396 112 0 163757 0
[pid=11565/tid=11566] ppid=11563 vsize=675168 CPUtime=1190.29 cores=0,2,4,6
/proc/11565/task/11566/stat : 11566 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 72859 0 0 0 119003 26 0 0 25 0 4 0 650619144 691372032 112651 33554432000 4194304 4650419 140737213296544 18446744073709551615 4363720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11565/tid=11567] ppid=11563 vsize=675168 CPUtime=1203.42 cores=0,2,4,6
/proc/11565/task/11567/stat : 11567 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 67766 0 0 0 120319 23 0 0 25 0 4 0 650619144 691372032 112651 33554432000 4194304 4650419 140737213296544 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11565/tid=11568] ppid=11563 vsize=675168 CPUtime=1203.42 cores=0,2,4,6
/proc/11565/task/11568/stat : 11568 (strangenight1-m) R 11563 11565 11396 0 -1 4202560 56435 0 0 0 120319 23 0 0 25 0 4 0 650619144 691372032 112651 33554432000 4194304 4650419 140737213296544 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 675168

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): 1203.44
CPU time (s): 4800.36
CPU user time (s): 4799.42
CPU system time (s): 0.942856
CPU usage (%): 398.887
Max. virtual memory (cumulated for all children) (KiB): 727844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.42
system time used= 0.942856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259377
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= 3118
involuntary context switches= 24956

runsolver used 3.65844 second user time and 9.49256 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 18:23:32
IDJOB=3369511
IDBENCH=70873
IDSOLVER=1846
FILE ID=node136/3369511-1305390212
RUNJOBID= node136-1305389001-11414
PBS_JOBID= 13324431
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369511-1305390212/watcher-3369511-1305390212 -o /tmp/evaluation-result-3369511-1305390212/solver-3369511-1305390212 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369511-1305390212.cnf

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

MD5SUM BENCH= d34c45eae853ce60c342643824196dbf
RANDOM SEED=2031535336

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18005920 kB
Buffers:        287652 kB
Cached:        5006372 kB
SwapCached:       2740 kB
Active:       10736452 kB
Inactive:      3866548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18005920 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           15684 kB
Writeback:           0 kB
AnonPages:     9307016 kB
Mapped:          28172 kB
Slab:           237476 kB
PageTables:      39596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70131720 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= 72980 MiB
End job on node136 at 2011-05-14 18:43:37