Trace number 3291452

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.45 1201.77

General information on the benchmark

NameSAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
MD5SUM3be662940f394fa876137a905247d755
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 variables28147
Number of clauses108436
Sum of the clauses size373110
Maximum clause length166
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 218786
Number of clauses of size 351588
Number of clauses of size 437440
Number of clauses of size 53
Number of clauses of size over 5605

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-3291452-1304136203.cnf'
0.00/0.00	c -- header says num vars:          28147
0.00/0.00	c -- header says num clauses:      108436
0.34/0.12	c -- clauses added:            0 learnts,       108436 normals,            0 xors
0.34/0.12	c -- vars added      28147
0.34/0.12	c Parsing time:  0.27 s
0.34/0.12	c  N st     0         0     28147     89613     18786         0    372979         0   no data   no data  --
0.77/0.37	c asymm  cl-useful: 3453/89582/89582 lits-rem:3703 time: 0.80
0.77/0.48	c Flit:    11 Blit:      0 bXBeca:    0 bXProp: 4694 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.47
0.77/0.50	c Replacing     4694 vars Replaced    77987 lits Time:     0.13 s 
2.30/0.75	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2.30/0.75	c subs with bin:      246  lits-rem:       220  v-fix:    0  time:  0.06 s
2.30/0.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    16 done:  23417 time:  0.05 s
2.30/0.75	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2.30/1.05	c lits-rem:       878  cl-subs:      714  v-elim:    727  v-fix:    0  time:  1.45 s
2.30/1.06	c Finding binary XORs  T:     0.04 s  found:       0
2.30/1.14	c Finding non-binary XORs:     0.23 s (found:    7709, avg size: 3.5)
2.30/1.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2.30/1.14	c calculated reachability. Time: 0.00
2.30/1.15	c Calc default polars -  time:   0.02 s pos:    4423 undec:    6112 neg:   17612
2.30/1.15	c =========================================================================================
2.30/1.15	c types(t): F = full restart, N = normal restart
2.30/1.15	c types(t): S = simplification begin/end, E = solution found
2.30/1.15	c restart types(rt): st = static, dy = dynamic
2.30/1.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.30/1.15	c  B st     0         0     22678     42755      9165         0    239147         0   no data   no data  --
6.22/1.64	c Decided on static restart strategy
8.61/2.24	c  N st     8      4913     22548     42755     10781      3237    239146     16864   no data   no data  --
14.62/3.72	c Finding binary XORs  T:     0.04 s  found:       0
16.24/4.14	c  N st    10     11296     22385     41752     13284      8502    236242     45380   no data   no data  --
25.80/6.54	c  N st    11     17039     22297     41752     15828     13833    236242     78823   no data   no data  --
27.40/6.98	c Finding binary XORs  T:     0.04 s  found:       1
40.97/10.36	c  F st    12     25000     22282     41231     16973     18226    234964    334507   no data   no data  --
40.97/10.37	c Replacing        6 vars Replaced       14 lits Time:     0.04 s 
41.37/10.41	c  N st    12     25000     22281     41165     16994     18226    234628    334503   no data   no data  --
49.76/12.51	c Decided on static restart strategy
49.76/12.51	c  N st    18     30000     22281     41165     17576     23066    234628    537603   no data   no data  --
49.76/12.51	c  S st    18     30000     22281     41165     17576     23066    234628    537603   no data   no data  --
49.76/12.52	c Finding binary XORs  T:     0.04 s  found:       0
50.56/12.70	c  S st    18     30500     22281     41165     17588     23549    234628    544462   no data   no data  --
50.56/12.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.56/12.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.16/13.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  10840 BRemL:   1488 BRemN:     13 P:  4.6M T:  1.63
52.16/13.17	c bin-w-bin subsume rem          684 bins  time:  0.03 s
52.55/13.26	c subs with bin:    11829  lits-rem:      7770  v-fix:    0  time:  0.36 s
52.55/13.28	c Subs w/ non-existent bins:    203 l-rem:    223 v-fix:     0 done:   2134 time:  0.07 s
52.96/13.30	c Removed useless bin:     129  fixed:     0  props:   0.31M  time:  0.04 s
61.74/15.53	c lits-rem:       858  cl-subs:     6335  v-elim:   1235  v-fix:    0  time:  8.87 s
62.54/15.72	c asymm  cl-useful: 1168/31569/31569 lits-rem:1168 time: 0.78
62.54/15.73	c calculated reachability. Time: 0.02
62.54/15.73	c  N st    18     30500     21046     31569     22605     16729    211237    127581   no data   no data  --
68.96/17.30	c Finding binary XORs  T:     0.06 s  found:       0
79.32/19.90	c  N st    20     37613     21046     31569     22695     23744    211237   1483791   no data   no data  --
88.91/22.30	c  N st    21     44014     21046     31569     22695     30042    211237   2141933   no data   no data  --
91.70/23.02	c  S st    22     45750     21046     31569     23384     31766    211237   2456327   no data   no data  --
92.50/23.20	c  S st    22     46254     21046     31569     23388     32265    211237   2463806   no data   no data  --
92.50/23.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
92.50/23.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
94.10/23.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3928 BRemL:   1531 BRemN:      0 P:  6.8M T:  1.79
94.92/23.81	c bin-w-bin subsume rem         1008 bins  time:  0.02 s
97.30/24.40	c subs with bin:     4725  lits-rem:      1930  v-fix:    0  time:  2.34 s
97.30/24.41	c Subs w/ non-existent bins:      0 l-rem:    245 v-fix:     0 done:    349 time:  0.06 s
97.30/24.44	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.05 s
110.88/27.89	c lits-rem:       334  cl-subs:     1315  v-elim:      4  v-fix:    0  time: 13.75 s
111.28/27.90	c vivif2 --  cl tried    26938 cl shrink       51 lits rem         51 time: 0.04
111.68/28.05	c vivif2 --  cl tried    30827 cl shrink     7585 lits rem      14910 time: 0.59
112.49/28.24	c asymm  cl-useful: 0/26888/26888 lits-rem:0 time: 0.78
112.49/28.25	c calculated reachability. Time: 0.02
112.49/28.25	c  N st    22     46254     21042     26888     25223     30815    201361   2218295   no data   no data  --
112.49/28.27	c Finding binary XORs  T:     0.07 s  found:       0
156.84/39.32	c  N st    23     60655     21042     26888     25223     38593    201361   4162458   no data   no data  --
156.84/39.34	c Finding binary XORs  T:     0.06 s  found:       0
184.77/46.37	c  N st    24     69382     21042     26888     30318     47185    201361   5927373   no data   no data  --
184.77/46.37	c  S st    24     69382     21042     26888     30318     47185    201361   5927373   no data   no data  --
185.57/46.58	c  S st    24     69887     21042     26888     30331     47684    201361   5932353   no data   no data  --
185.98/46.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
185.98/46.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
187.98/47.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    897 BRemL:   1594 BRemN:      8 P:  6.1M T:  2.29
189.58/47.52	c bin-w-bin subsume rem         3771 bins  time:  0.03 s
196.76/49.35	c subs with bin:      372  lits-rem:      3772  v-fix:    0  time:  7.25 s
196.76/49.37	c Subs w/ non-existent bins:      0 l-rem:    833 v-fix:     0 done:     31 time:  0.09 s
196.76/49.39	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.06 s
598.22/149.87	c lits-rem:         4  cl-subs:      831  v-elim:      0  v-fix:    0  time: 400.86 s
598.22/149.88	c vivif2 --  cl tried    26590 cl shrink        0 lits rem          0 time: 0.04
599.82/150.28	c vivif2 --  cl tried    46774 cl shrink    15634 lits rem      37080 time: 1.58
600.64/150.48	c asymm  cl-useful: 3/26590/26590 lits-rem:9 time: 0.80
600.64/150.50	c calculated reachability. Time: 0.02
601.01/150.50	c  N st    24     69887     21042     26587     25896     46774    200542   5741006   no data   no data  --
601.01/150.51	c Finding binary XORs  T:     0.07 s  found:       0
650.55/162.93	c  F st    25     87500     21042     26587     25896     50030    200542   5863113   no data   no data  --
650.95/163.02	c  N st    25     87500     21042     26587     25896     50030    200542   5863113   no data   no data  --
650.95/163.04	c Finding binary XORs  T:     0.07 s  found:       0
664.53/166.46	c Decided on static restart strategy
671.72/168.25	c  N st    32     95536     21042     26587     26581     39673    200542   3418650   no data   no data  --
691.29/173.12	c  N st    34    104838     21042     26587     26584     48840    200542   5382627   no data   no data  --
691.29/173.12	c  S st    34    104838     21042     26587     26584     48840    200542   5382627   no data   no data  --
692.09/173.32	c  S st    34    105341     21042     26587     26584     49342    200542   5389189   no data   no data  --
692.09/173.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
692.09/173.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
694.09/173.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    238 BRemN:      3 P:  5.4M T:  1.81
694.89/174.05	c bin-w-bin subsume rem          496 bins  time:  0.02 s
701.30/175.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.39 s
701.30/175.67	c Subs w/ non-existent bins:      0 l-rem:      8 v-fix:     0 done:   2109 time:  0.07 s
701.30/175.68	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.06 s
1018.45/255.06	c lits-rem:         4  cl-subs:      528  v-elim:      0  v-fix:    0  time: 316.79 s
1018.45/255.07	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
1019.65/255.37	c vivif2 --  cl tried    48814 cl shrink     8151 lits rem      30054 time: 1.19
1020.45/255.56	c asymm  cl-useful: 1/26587/26587 lits-rem:1 time: 0.76
1020.45/255.57	c calculated reachability. Time: 0.02
1020.45/255.58	c  N st    34    105341     21042     26587     25847     48814    200531   5262423   no data   no data  --
1046.41/262.03	c  N st    35    114941     21042     26587     25847     58301    200531   6924551   no data   no data  --
1078.37/270.03	c  N st    36    129338     21042     26587     25855     52239    200531   6336431   no data   no data  --
1140.29/285.50	c  N st    37    150934     21042     26587     25855     51061    200531   4790519   no data   no data  --
1156.66/289.69	c  S st    38    158012     21042     26587     25855     58077    200531   6779948   no data   no data  --
1157.46/289.90	c  S st    38    158514     21042     26587     25855     58576    200531   6787968   no data   no data  --
1157.86/289.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1157.86/289.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1159.46/290.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  5.5M T:  1.75
1160.66/290.65	c bin-w-bin subsume rem            5 bins  time:  0.02 s
1167.85/292.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.06 s
1167.85/292.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2332 time:  0.06 s
1167.85/292.45	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.05 s
1705.53/427.00	c lits-rem:         1  cl-subs:      508  v-elim:      0  v-fix:    0  time: 536.94 s
1705.53/427.01	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
1707.13/427.42	c vivif2 --  cl tried    58068 cl shrink    10103 lits rem      49569 time: 1.66
1707.95/427.63	c asymm  cl-useful: 0/26587/26587 lits-rem:0 time: 0.83
1707.95/427.64	c calculated reachability. Time: 0.02
1707.95/427.64	c  N st    38    158514     21042     26587     25847     58068    200531   6659076   no data   no data  --
1853.33/464.07	c  N st    39    207103     21042     26587     25847     57215    200531   8010205   no data   no data  --
1949.22/488.09	c  N st    40    237771     21042     26587     25847     61059    200531   7931233   no data   no data  --
1949.22/488.09	c  S st    40    237771     21042     26587     25847     61059    200531   7931233   no data   no data  --
1950.80/488.41	c  S st    40    238273     21042     26587     25847     61558    200531   7944986   no data   no data  --
1950.80/488.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1950.80/488.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1952.39/488.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  1.82
1954.01/489.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1961.18/491.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.16 s
1961.18/491.05	c Subs w/ non-existent bins:      0 l-rem:    107 v-fix:     0 done:   1454 time:  0.06 s
1961.18/491.07	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.06 s
2587.93/647.90	c lits-rem:         2  cl-subs:      463  v-elim:      0  v-fix:    0  time: 625.54 s
2587.93/647.91	c vivif2 --  cl tried    26587 cl shrink        0 lits rem          0 time: 0.04
2589.93/648.41	c vivif2 --  cl tried    61095 cl shrink     9365 lits rem      39638 time: 1.98
2590.74/648.61	c asymm  cl-useful: 0/26587/26587 lits-rem:0 time: 0.78
2590.74/648.62	c calculated reachability. Time: 0.02
2590.74/648.62	c  N st    40    238273     21042     26587     25847     61095    200531   7819620   no data   no data  --
2875.95/720.07	c  F st    41    306251     21042     26587     25847     72398    200531  16063020   no data   no data  --
2876.36/720.17	c  N st    41    306251     21042     26587     25847     72398    200531  16063020   no data   no data  --
2890.72/723.75	c Decided on static restart strategy
2948.65/738.22	c  N st    51    334566     21042     26587     25848     70620    200531   8833820   no data   no data  --
3020.57/756.20	c  N st    53    357414     21042     26587     25848     62506    200531   6503256   no data   no data  --
3020.57/756.20	c  S st    53    357414     21042     26587     25848     62506    200531   6503256   no data   no data  --
3021.38/756.41	c  S st    53    357915     21042     26587     25848     63004    200531   6510063   no data   no data  --
3021.38/756.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
3021.38/756.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3022.96/756.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  1.76
3024.16/757.15	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3031.35/758.90	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  6.97 s
3031.35/758.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2181 time:  0.06 s
3031.35/758.93	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.05 s
3444.83/862.49	c lits-rem:        14  cl-subs:      483  v-elim:      0  v-fix:    0  time: 413.16 s
3445.23/862.50	c vivif2 --  cl tried    26585 cl shrink        0 lits rem          0 time: 0.04
3446.43/862.86	c vivif2 --  cl tried    62521 cl shrink     6260 lits rem      32400 time: 1.41
3447.23/863.07	c asymm  cl-useful: 0/26585/26585 lits-rem:0 time: 0.87
3447.23/863.09	c calculated reachability. Time: 0.02
3447.23/863.09	c  N st    53    357915     21042     26585     25848     62521    200527   6397983   no data   no data  --
3550.69/888.93	c  N st    54    390307     21042     26585     25848     62810    200527   5665806   no data   no data  --
3727.28/933.19	c  N st    55    438897     21042     26585     25848     78328    200527   9430694   no data   no data  --
3914.24/979.98	c  N st    56    511781     21042     26585     25848     82064    200527  11899103   no data   no data  --
3987.75/998.34	c  N st    57    536881     21042     26585     25848     71428    200527   8904334   no data   no data  --
3987.75/998.34	c  S st    57    536881     21042     26585     25848     71428    200527   8904334   no data   no data  --
3988.57/998.59	c  S st    57    537385     21042     26585     25848     71929    200527   8913245   no data   no data  --
3988.95/998.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3988.95/998.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3990.95/999.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.8M T:  1.93
3992.57/999.51	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3999.74/1001.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.19 s
3999.74/1001.33	c Subs w/ non-existent bins:      1 l-rem:    142 v-fix:     0 done:     43 time:  0.08 s
3999.74/1001.34	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.06 s

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-3291452-1304136203/watcher-3291452-1304136203 -o /tmp/evaluation-result-3291452-1304136203/solver-3291452-1304136203 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3291452-1304136203.cnf 

running on 4 cores: 1,3,5,7

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: 6.67 7.77 7.91 5/180 30149
/proc/meminfo: memFree=30852488/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=117740 CPUtime=0 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 752 0 0 0 0 0 0 0 23 0 4 0 525218291 120565760 677 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122713915 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 29435 695 331 112 0 24400 0
[pid=30149/tid=30150] ppid=30147 vsize=117740 CPUtime=0 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) S 30147 30149 29331 0 -1 4202560 11 0 0 0 0 0 0 0 24 0 4 0 525218291 120565760 737 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 18446604471029509056 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=117740 CPUtime=0 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 200 0 0 0 0 0 0 0 24 0 4 0 525218291 120565760 761 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122713915 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=117740 CPUtime=0 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 525218291 120565760 786 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.00969009 s]
/proc/loadavg: 6.67 7.77 7.91 5/180 30149
/proc/meminfo: memFree=30852488/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=188444 CPUtime=0.01 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) S 30147 30149 29331 0 -1 4202496 3454 0 0 0 1 0 0 0 18 0 4 0 525218291 192966656 3150 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 47111 3159 341 112 0 42076 0
[pid=30149/tid=30150] ppid=30147 vsize=188444 CPUtime=0 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) S 30147 30149 29331 0 -1 4202560 644 0 0 0 0 0 0 0 18 0 4 0 525218291 192966656 3161 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 18446604471029509056 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=188444 CPUtime=0 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 932 0 0 0 0 0 0 0 18 0 4 0 525218291 192966656 3169 33554432000 4194304 4650419 140733899307152 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=188444 CPUtime=0 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 443 0 0 0 0 0 0 0 24 0 4 0 525218291 192966656 3173 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122410763 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 188444

[startup+0.100797 s]
/proc/loadavg: 6.67 7.77 7.91 5/180 30149
/proc/meminfo: memFree=30852488/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=371852 CPUtime=0.34 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 16213 0 0 0 24 10 0 0 18 0 4 0 525218291 380776448 14469 33554432000 4194304 4650419 140733899307152 18446744073709551615 4547003 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 92963 14497 345 112 0 87928 0
[pid=30149/tid=30150] ppid=30147 vsize=371852 CPUtime=0.07 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) S 30147 30149 29331 0 -1 4202560 3982 0 0 0 5 2 0 0 17 0 4 0 525218291 380776448 14512 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 18446604471029509056 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=371852 CPUtime=0.08 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4150 0 0 0 6 2 0 0 18 0 4 0 525218291 380776448 14512 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=371852 CPUtime=0.07 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) S 30147 30149 29331 0 -1 4202560 3851 0 0 0 5 2 0 0 17 0 4 0 525218291 380776448 14512 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 18446604471029509056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 371852

[startup+0.335871 s]
/proc/loadavg: 6.67 7.77 7.91 5/180 30149
/proc/meminfo: memFree=30852488/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=385144 CPUtime=1.84 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 22351 0 0 0 169 15 0 0 18 0 4 0 525218291 394387456 18774 33554432000 4194304 4650419 140733899307152 18446744073709551615 4313030 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 96635 19120 379 112 0 91600 0
[pid=30149/tid=30150] ppid=30147 vsize=386540 CPUtime=0.46 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 5922 0 0 0 42 4 0 0 18 0 4 0 525218291 395816960 19138 33554432000 4194304 4650419 140733899307152 18446744073709551615 4242216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=386540 CPUtime=0.48 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 6300 0 0 0 44 4 0 0 18 0 4 0 525218291 395816960 19153 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122411208 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=386540 CPUtime=0.47 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) S 30147 30149 29331 0 -1 4202560 4471 0 0 0 44 3 0 0 18 0 4 0 525218291 395816960 19330 33554432000 4194304 4650419 140733899307152 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 385144

[startup+0.821311 s]
/proc/loadavg: 6.67 7.77 7.91 5/180 30149
/proc/meminfo: memFree=30852488/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=397752 CPUtime=5.55 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 40420 0 0 0 525 30 0 0 18 0 4 0 525218291 407298048 33067 33554432000 4194304 4650419 140733899307152 18446744073709551615 4303968 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 99438 33067 392 112 0 94403 0
[pid=30149/tid=30150] ppid=30147 vsize=397752 CPUtime=1.37 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 11121 0 0 0 127 10 0 0 18 0 4 0 525218291 407298048 33067 33554432000 4194304 4650419 140733899307152 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=397752 CPUtime=1.38 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 12850 0 0 0 131 7 0 0 18 0 4 0 525218291 407298048 33067 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=397752 CPUtime=1.39 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4501 0 0 0 136 3 0 0 19 0 4 0 525218291 407298048 33067 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 397752

[startup+1.51141 s]
/proc/loadavg: 6.67 7.77 7.91 5/180 30149
/proc/meminfo: memFree=30852488/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=397752 CPUtime=5.87 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 40485 0 0 0 557 30 0 0 18 0 4 0 525218291 407298048 33132 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 99438 33132 392 112 0 94403 0
[pid=30149/tid=30150] ppid=30147 vsize=397752 CPUtime=1.45 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 11122 0 0 0 135 10 0 0 18 0 4 0 525218291 407298048 33132 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=397752 CPUtime=1.46 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 12851 0 0 0 139 7 0 0 19 0 4 0 525218291 407298048 33132 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=397752 CPUtime=1.47 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4561 0 0 0 144 3 0 0 19 0 4 0 525218291 407298048 33132 33554432000 4194304 4650419 140733899307152 18446744073709551615 4326722 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 397752

[startup+3.10113 s]
/proc/loadavg: 6.78 7.78 7.91 9/184 30153
/proc/meminfo: memFree=30665216/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=397752 CPUtime=12.22 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 40670 0 0 0 1191 31 0 0 21 0 4 0 525218291 407298048 33317 33554432000 4194304 4650419 140733899307152 18446744073709551615 4229508 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 99438 33317 394 112 0 94403 0
[pid=30149/tid=30150] ppid=30147 vsize=397752 CPUtime=3.04 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 11186 0 0 0 294 10 0 0 21 0 4 0 525218291 407298048 33317 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=397752 CPUtime=3.05 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 12878 0 0 0 298 7 0 0 22 0 4 0 525218291 407298048 33317 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=397752 CPUtime=3.05 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4593 0 0 0 302 3 0 0 22 0 4 0 525218291 407298048 33317 33554432000 4194304 4650419 140733899307152 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 397752

[startup+6.30655 s]
/proc/loadavg: 6.78 7.78 7.91 9/184 30153
/proc/meminfo: memFree=30661264/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=397752 CPUtime=25.02 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 40955 0 0 0 2471 31 0 0 25 0 4 0 525218291 407298048 33602 33554432000 4194304 4650419 140733899307152 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 99438 33602 394 112 0 94403 0
[pid=30149/tid=30150] ppid=30147 vsize=397752 CPUtime=6.25 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 11290 0 0 0 615 10 0 0 25 0 4 0 525218291 407298048 33602 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=397752 CPUtime=6.26 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 12912 0 0 0 619 7 0 0 25 0 4 0 525218291 407298048 33602 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=397752 CPUtime=6.24 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4648 0 0 0 621 3 0 0 25 0 4 0 525218291 407298048 33602 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 397752

[startup+12.7004 s]
/proc/loadavg: 6.96 7.80 7.92 9/184 30153
/proc/meminfo: memFree=30641572/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=387376 CPUtime=50.56 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 47078 0 0 0 5024 32 0 0 25 0 4 0 525218291 396673024 33813 33554432000 4194304 4650419 140733899307152 18446744073709551615 4229508 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 96844 33813 396 112 0 91809 0
[pid=30149/tid=30150] ppid=30147 vsize=387376 CPUtime=12.64 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 13481 0 0 0 1253 11 0 0 25 0 4 0 525218291 396673024 33813 33554432000 4194304 4650419 140733899307152 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=387376 CPUtime=12.65 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 14583 0 0 0 1258 7 0 0 25 0 4 0 525218291 396673024 33813 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364017 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=387376 CPUtime=12.6 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 4773 0 0 0 1257 3 0 0 25 0 4 0 525218291 396673024 33813 33554432000 4194304 4650419 140733899307152 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 387376

[startup+25.5011 s]
/proc/loadavg: 7.19 7.81 7.92 9/184 30154
/proc/meminfo: memFree=30424204/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=558596 CPUtime=101.7 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 108160 0 0 0 10124 46 0 0 25 0 4 0 525218291 572002304 82573 33554432000 4194304 4650419 140733899307152 18446744073709551615 4438666 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 139649 82573 396 112 0 134614 0
[pid=30149/tid=30150] ppid=30147 vsize=558596 CPUtime=25.44 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 26538 0 0 0 2530 14 0 0 25 0 4 0 525218291 572002304 82573 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=558596 CPUtime=25.45 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 33316 0 0 0 2534 11 0 0 25 0 4 0 525218291 572002304 82573 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=558596 CPUtime=25.33 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 17682 0 0 0 2527 6 0 0 25 0 4 0 525218291 572002304 82573 33554432000 4194304 4650419 140733899307152 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 558596

[startup+51.1005 s]
/proc/loadavg: 7.54 7.84 7.93 9/184 30156
/proc/meminfo: memFree=30058560/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=870932 CPUtime=203.96 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 201647 0 0 0 20329 67 0 0 25 0 4 0 525218291 891834368 151768 33554432000 4194304 4650419 140733899307152 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 217733 151768 396 112 0 212698 0
[pid=30149/tid=30150] ppid=30147 vsize=870932 CPUtime=51.04 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 43499 0 0 0 5087 17 0 0 25 0 4 0 525218291 891834368 151768 33554432000 4194304 4650419 140733899307152 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=870932 CPUtime=51.05 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 74029 0 0 0 5085 20 0 0 25 0 4 0 525218291 891834368 151768 33554432000 4194304 4650419 140733899307152 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=870932 CPUtime=50.79 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 27685 0 0 0 5070 9 0 0 25 0 4 0 525218291 891834368 151768 33554432000 4194304 4650419 140733899307152 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 870932

[startup+102.3 s]
/proc/loadavg: 8.03 7.93 7.95 9/184 30159
/proc/meminfo: memFree=29965096/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=927720 CPUtime=408.47 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 291500 0 0 0 40758 89 0 0 25 0 4 0 525218291 949985280 158985 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 231930 158985 396 112 0 226895 0
[pid=30149/tid=30150] ppid=30147 vsize=927720 CPUtime=102.24 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 77696 0 0 0 10196 28 0 0 25 0 4 0 525218291 949985280 158985 33554432000 4194304 4650419 140733899307152 18446744073709551615 4240915 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=927720 CPUtime=102.25 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 119017 0 0 0 10199 26 0 0 25 0 4 0 525218291 949985280 158985 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=927720 CPUtime=101.7 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 38213 0 0 0 10155 15 0 0 25 0 4 0 525218291 949985280 158985 33554432000 4194304 4650419 140733899307152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 927720

[startup+162.3 s]

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

[pid=30149] ppid=30147 vsize=1773984 CPUtime=2805.23 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 1458360 0 0 0 280104 419 0 0 25 0 4 0 525218291 1816559616 343312 33554432000 4194304 4650419 140733899307152 18446744073709551615 4314835 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 443496 343313 396 112 0 438461 0
[pid=30149/tid=30150] ppid=30147 vsize=1773984 CPUtime=702.23 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 421347 0 0 0 70109 114 0 0 25 0 4 0 525218291 1816559616 343313 33554432000 4194304 4650419 140733899307152 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1773984 CPUtime=702.26 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 536927 0 0 0 70067 159 0 0 25 0 4 0 525218291 1816559616 343313 33554432000 4194304 4650419 140733899307152 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1773984 CPUtime=698.46 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 147058 0 0 0 69781 65 0 0 25 0 4 0 525218291 1816559616 343313 33554432000 4194304 4650419 140733899307152 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.23
Current children cumulated vsize (KiB) 1773984

[startup+762.3 s]
/proc/loadavg: 5.79 7.41 7.77 5/175 30193
/proc/meminfo: memFree=29582896/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1715044 CPUtime=3044.93 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 1561131 0 0 0 304041 452 0 0 25 0 4 0 525218291 1756205056 327608 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 428761 327608 396 112 0 423726 0
[pid=30149/tid=30150] ppid=30147 vsize=1715044 CPUtime=762.23 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 437743 0 0 0 76102 121 0 0 25 0 4 0 525218291 1756205056 327608 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1715044 CPUtime=762.27 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 584967 0 0 0 76052 175 0 0 25 0 4 0 525218291 1756205056 327608 33554432000 4194304 4650419 140733899307152 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1715044 CPUtime=758.17 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 152609 0 0 0 75750 67 0 0 25 0 4 0 525218291 1756205056 327608 33554432000 4194304 4650419 140733899307152 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 1715044

[startup+822.301 s]
/proc/loadavg: 4.65 6.79 7.53 5/175 30195
/proc/meminfo: memFree=29514540/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1841420 CPUtime=3284.63 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 1624097 0 0 0 327980 483 0 0 25 0 4 0 525218291 1885614080 344970 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 460355 344970 396 112 0 455320 0
[pid=30149/tid=30150] ppid=30147 vsize=1841420 CPUtime=822.22 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 447386 0 0 0 82099 123 0 0 25 0 4 0 525218291 1885614080 344970 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1841420 CPUtime=822.27 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 627094 0 0 0 82030 197 0 0 25 0 4 0 525218291 1885614080 344970 33554432000 4194304 4650419 140733899307152 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1841420 CPUtime=817.87 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 163805 0 0 0 81713 74 0 0 25 0 4 0 525218291 1885614080 344970 33554432000 4194304 4650419 140733899307152 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.63
Current children cumulated vsize (KiB) 1841420

[startup+882.301 s]
/proc/loadavg: 4.24 6.28 7.31 5/175 30196
/proc/meminfo: memFree=29566316/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1781608 CPUtime=3524.32 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 1824498 0 0 0 351905 527 0 0 25 0 4 0 525218291 1824366592 331525 33554432000 4194304 4650419 140733899307152 18446744073709551615 4313456 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 445402 331525 396 112 0 440367 0
[pid=30149/tid=30150] ppid=30147 vsize=1781608 CPUtime=882.22 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 454576 0 0 0 88097 125 0 0 25 0 4 0 525218291 1824366592 331525 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1781608 CPUtime=882.26 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 804454 0 0 0 87998 228 0 0 25 0 4 0 525218291 1824366592 331525 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1781608 CPUtime=877.56 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 173209 0 0 0 87676 80 0 0 25 0 4 0 525218291 1824366592 331525 33554432000 4194304 4650419 140733899307152 18446744073709551615 4368284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 1781608

[startup+942.301 s]
/proc/loadavg: 4.08 5.83 7.08 5/175 30198
/proc/meminfo: memFree=29520400/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1908936 CPUtime=3764.05 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 1948372 0 0 0 375836 569 0 0 25 0 4 0 525218291 1954750464 342930 33554432000 4194304 4650419 140733899307152 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 477234 342930 396 112 0 472199 0
[pid=30149/tid=30150] ppid=30147 vsize=1908936 CPUtime=942.23 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 483779 0 0 0 94094 129 0 0 25 0 4 0 525218291 1954750464 342930 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1908936 CPUtime=942.27 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 875407 0 0 0 93975 252 0 0 25 0 4 0 525218291 1954750464 342930 33554432000 4194304 4650419 140733899307152 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1908936 CPUtime=937.26 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 180221 0 0 0 93642 84 0 0 25 0 4 0 525218291 1954750464 342930 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 1908936

[startup+1002.3 s]
/proc/loadavg: 4.07 5.53 6.91 5/175 30200
/proc/meminfo: memFree=29452664/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1909948 CPUtime=4003.74 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 2073440 0 0 0 399763 611 0 0 25 0 4 0 525218291 1955786752 360121 33554432000 4194304 4650419 140733899307152 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 477487 360121 396 112 0 472452 0
[pid=30149/tid=30150] ppid=30147 vsize=1909948 CPUtime=1002.22 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 528696 0 0 0 100087 135 0 0 25 0 4 0 525218291 1955786752 360121 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1909948 CPUtime=1002.26 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 908855 0 0 0 99958 268 0 0 25 0 4 0 525218291 1955786752 360121 33554432000 4194304 4650419 140733899307152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1909948 CPUtime=996.96 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 187065 0 0 0 99609 87 0 0 25 0 4 0 525218291 1955786752 360121 33554432000 4194304 4650419 140733899307152 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 1909948

[startup+1062.31 s]
/proc/loadavg: 4.06 5.25 6.71 5/175 30201
/proc/meminfo: memFree=29414176/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1976048 CPUtime=4243.44 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 2168518 0 0 0 423697 647 0 0 25 0 4 0 525218291 2023473152 369522 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 494012 369522 396 112 0 488977 0
[pid=30149/tid=30150] ppid=30147 vsize=1976048 CPUtime=1062.22 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 544338 0 0 0 106084 138 0 0 25 0 4 0 525218291 2023473152 369522 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1976048 CPUtime=1062.27 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 942051 0 0 0 105937 290 0 0 25 0 4 0 525218291 2023473152 369522 33554432000 4194304 4650419 140733899307152 18446744073709551615 4333619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1976048 CPUtime=1056.64 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 193262 0 0 0 105573 91 0 0 25 0 4 0 525218291 2023473152 369522 33554432000 4194304 4650419 140733899307152 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 1976048

[startup+1122.3 s]
/proc/loadavg: 4.02 5.03 6.55 5/175 30203
/proc/meminfo: memFree=29454424/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1847824 CPUtime=4483.12 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 2259081 0 0 0 447628 684 0 0 25 0 4 0 525218291 1892171776 360039 33554432000 4194304 4650419 140733899307152 18446744073709551615 4443741 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 461956 360039 396 112 0 456921 0
[pid=30149/tid=30150] ppid=30147 vsize=1847824 CPUtime=1122.23 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 558928 0 0 0 112080 143 0 0 25 0 4 0 525218291 1892171776 360039 33554432000 4194304 4650419 140733899307152 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1847824 CPUtime=1122.27 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 982579 0 0 0 111914 313 0 0 25 0 4 0 525218291 1892171776 360039 33554432000 4194304 4650419 140733899307152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1847824 CPUtime=1116.34 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 204492 0 0 0 111536 98 0 0 25 0 4 0 525218291 1892171776 360039 33554432000 4194304 4650419 140733899307152 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 1847824

[startup+1182.3 s]
/proc/loadavg: 4.01 4.84 6.39 5/175 30204
/proc/meminfo: memFree=29484264/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1847412 CPUtime=4722.83 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 2343773 0 0 0 471562 721 0 0 25 0 4 0 525218291 1891749888 351904 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 461853 351904 396 112 0 456818 0
[pid=30149/tid=30150] ppid=30147 vsize=1847412 CPUtime=1182.22 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 586745 0 0 0 118067 155 0 0 25 0 4 0 525218291 1891749888 351904 33554432000 4194304 4650419 140733899307152 18446744073709551615 4366127 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1847412 CPUtime=1182.27 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 1025924 0 0 0 117893 334 0 0 25 0 4 0 525218291 1891749888 351904 33554432000 4194304 4650419 140733899307152 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1847412 CPUtime=1176.05 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 209640 0 0 0 117504 101 0 0 25 0 4 0 525218291 1891749888 351904 33554432000 4194304 4650419 140733899307152 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 1847412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.07 4.80 6.35 5/175 30205
/proc/meminfo: memFree=29445176/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1912148 CPUtime=4800.35 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 2364355 0 0 0 479303 732 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 478037 361657 396 112 0 473002 0
[pid=30149/tid=30150] ppid=30147 vsize=1912148 CPUtime=1201.62 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 591509 0 0 0 120004 158 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1912148 CPUtime=1201.67 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 1038904 0 0 0 119826 341 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1912148 CPUtime=1195.36 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 212478 0 0 0 119434 102 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1912148

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

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

[startup+1201.7 s]
/proc/loadavg: 4.07 4.80 6.35 5/175 30205
/proc/meminfo: memFree=29445176/32951124 swapFree=67111444/67111528
[pid=30149] ppid=30147 vsize=1912148 CPUtime=4800.35 cores=1,3,5,7
/proc/30149/stat : 30149 (strangenight1-m) R 30147 30149 29331 0 -1 4202496 2364355 0 0 0 479303 732 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30149/statm: 478037 361657 396 112 0 473002 0
[pid=30149/tid=30150] ppid=30147 vsize=1912148 CPUtime=1201.62 cores=1,3,5,7
/proc/30149/task/30150/stat : 30150 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 591509 0 0 0 120004 158 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30149/tid=30151] ppid=30147 vsize=1912148 CPUtime=1201.67 cores=1,3,5,7
/proc/30149/task/30151/stat : 30151 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 1038904 0 0 0 119826 341 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30149/tid=30152] ppid=30147 vsize=1912148 CPUtime=1195.36 cores=1,3,5,7
/proc/30149/task/30152/stat : 30152 (strangenight1-m) R 30147 30149 29331 0 -1 4202560 212478 0 0 0 119434 102 0 0 25 0 4 0 525218291 1958039552 361657 33554432000 4194304 4650419 140733899307152 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1912148

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.45
CPU user time (s): 4793.06
CPU system time (s): 7.38488
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 1976048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.06
system time used= 7.38488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2364423
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= 23499
involuntary context switches= 32612

runsolver used 1.83972 second user time and 4.50531 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 06:03:23
IDJOB=3291452
IDBENCH=84223
IDSOLVER=1588
FILE ID=node138/3291452-1304136203
RUNJOBID= node138-1304136203-30127
PBS_JOBID= 13170789
Free space on /tmp= 72400 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291452-1304136203/watcher-3291452-1304136203 -o /tmp/evaluation-result-3291452-1304136203/solver-3291452-1304136203 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3291452-1304136203.cnf

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=530879681

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30852768 kB
Buffers:        644092 kB
Cached:         961452 kB
SwapCached:         84 kB
Active:         154472 kB
Inactive:      1549588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30852768 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           16364 kB
Writeback:           0 kB
AnonPages:       97852 kB
Mapped:          15268 kB
Slab:           331188 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   292628 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= 72400 MiB
End job on node138 at 2011-04-30 06:23:27