Trace number 3290072

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.4 1202.64

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
MD5SUM1024a3346322fdba0a20b51f99eae4c0
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 variables1000
Number of clauses5176
Sum of the clauses size20024
Maximum clause length5
Minimum clause length1
Number of clauses of size 1136
Number of clauses of size 2160
Number of clauses of size 32080
Number of clauses of size 4672
Number of clauses of size 52128
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290072-1304132958.cnf'
0.00/0.00	c -- header says num vars:           1000
0.00/0.00	c -- header says num clauses:        5176
0.00/0.01	c -- clauses added:            0 learnts,         5176 normals,            0 xors
0.00/0.01	c -- vars added       1000
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0      1000      4848       160         0     19728         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/4336/4336 lits-rem:0 time: 0.02
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  192 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      192 vars Replaced     5480 lits Time:     0.00 s 
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    672 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.01 s (found:     384, avg size: 3.7)
0.00/0.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     92 locsubst:     0 time:   0.00
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      16 undec:     420 neg:     564
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       580      1264        32         0      5848         0   no data   no data  --
0.15/0.06	c Decided on static restart strategy
0.36/0.14	c  N st     8      4914       580      1264        40      4614      5848    139080   no data   no data  --
1.14/0.36	c  N st    10     11296       580      1264        53      4390      5848     83429   no data   no data  --
1.94/0.58	c  N st    11     17040       580      1264        58      9849      5848    287647   no data   no data  --
3.54/0.96	c  F st    12     25002       580      1264        90     12179      5848    387965   no data   no data  --
3.54/0.96	c  N st    12     25002       580      1264        90     12179      5848    387965   no data   no data  --
4.36/1.19	c Decided on static restart strategy
4.36/1.19	c  N st    18     30004       580      1264        97     10711      5848    276216   no data   no data  --
4.36/1.19	c  S st    18     30004       580      1264        97     10711      5848    276216   no data   no data  --
4.74/1.21	c  S st    18     30507       580      1264        97     11195      5848    287420   no data   no data  --
4.74/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     20 locsubst:     0 time:   0.01
4.74/1.22	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4.74/1.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   45 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.74/1.23	c Replacing       46 vars Replaced    17779 lits Time:     0.03 s 
4.74/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.74/1.23	c subs with bin:        0  lits-rem:        46  v-fix:    0  time:  0.00 s
4.74/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    514 time:  0.00 s
4.74/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.14/1.33	c lits-rem:      2026  cl-subs:      345  v-elim:      0  v-fix:    0  time:  0.39 s
5.14/1.33	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
5.14/1.33	c calculated reachability. Time: 0.00
5.14/1.33	c  N st    18     30507       514      1264         5      7871      5748    161711   no data   no data  --
5.54/1.48	c Finding binary XORs  T:     0.00 s  found:       3
6.73/1.76	c  N st    20     37619       514      1264        11      8761      5748    213213   no data   no data  --
8.35/2.13	c  N st    21     44019       514      1264        12     14874      5748    435501   no data   no data  --
8.76/2.24	c  S st    22     45762       514      1264        18      8812      5748    149531   no data   no data  --
8.76/2.26	c  S st    22     46265       514      1264        18      9305      5748    163169   no data   no data  --
8.76/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.76/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
8.76/2.27	c Replacing        7 vars Replaced      595 lits Time:     0.00 s 
8.76/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.27	c subs with bin:        1  lits-rem:         3  v-fix:    0  time:  0.00 s
8.76/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    507 time:  0.00 s
8.76/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.53/2.42	c lits-rem:      1112  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.59 s
9.53/2.42	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
9.53/2.42	c vivif2 --  cl tried     9169 cl shrink        0 lits rem          0 time: 0.01
9.53/2.43	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
9.53/2.43	c calculated reachability. Time: 0.00
9.53/2.43	c  N st    22     46265       507      1264         4      9169      5744    159096   no data   no data  --
12.32/3.19	c  N st    23     60662       507      1264         5     13858      5744    319065   no data   no data  --
14.72/3.71	c  N st    24     69398       507      1264        12     11882      5744    216229   no data   no data  --
14.72/3.71	c  S st    24     69398       507      1264        12     11882      5744    216229   no data   no data  --
14.72/3.74	c  S st    24     69901       507      1264        12     12369      5744    228384   no data   no data  --
14.72/3.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.72/3.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.72/3.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
14.72/3.75	c Replacing        5 vars Replaced      395 lits Time:     0.00 s 
14.72/3.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.72/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.72/3.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    502 time:  0.00 s
14.72/3.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.13/4.32	c lits-rem:      1069  cl-subs:      152  v-elim:      0  v-fix:    0  time:  2.27 s
17.13/4.32	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
17.13/4.32	c vivif2 --  cl tried    12216 cl shrink        0 lits rem          0 time: 0.01
17.13/4.33	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
17.13/4.33	c calculated reachability. Time: 0.00
17.13/4.33	c  N st    24     69901       502      1264         2     12216      5744    223927   no data   no data  --
32.89/8.94	c  F st    25     87501       502      1264         4     17844      5744    396532   no data   no data  --
32.89/8.94	c  N st    25     87501       502      1264         4     17844      5744    396532   no data   no data  --
32.89/8.94	c Finding binary XORs  T:     0.00 s  found:       2
34.49/9.30	c Decided on static restart strategy
34.89/9.46	c  N st    32     95538       502      1264         7     25485      5744    687127   no data   no data  --
37.28/10.07	c  N st    34    104852       502      1264         7     21926      5744    526732   no data   no data  --
37.28/10.07	c  S st    34    104852       502      1264         7     21926      5744    526732   no data   no data  --
37.68/10.12	c  S st    34    105355       502      1264         7     22416      5744    540483   no data   no data  --
37.68/10.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
37.68/10.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.68/10.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.68/10.13	c Replacing        2 vars Replaced     3117 lits Time:     0.03 s 
37.68/10.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.68/10.15	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
37.68/10.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
37.68/10.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.66/12.67	c lits-rem:      3784  cl-subs:     1534  v-elim:      0  v-fix:    0  time: 10.03 s
47.66/12.67	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
47.66/12.67	c vivif2 --  cl tried    20871 cl shrink        0 lits rem          0 time: 0.02
47.66/12.68	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.04
47.66/12.68	c calculated reachability. Time: 0.00
47.66/12.68	c  N st    34    105355       500      1264         3     20871      5744    476799   no data   no data  --
50.46/13.39	c  N st    35    114953       500      1264         3     16886      5744    341405   no data   no data  --
56.45/14.87	c  N st    36    129350       500      1264         3     16527      5744    300137   no data   no data  --
64.44/16.90	c  N st    37    150945       500      1264         4     21782      5744    489530   no data   no data  --
67.66/17.68	c  S st    38    158032       500      1264         6     28528      5744    757986   no data   no data  --
68.04/17.74	c  S st    38    158535       500      1264         6     29020      5744    772570   no data   no data  --
68.04/17.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.04/17.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.04/17.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.04/17.75	c Replacing        2 vars Replaced       48 lits Time:     0.01 s 
68.04/17.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.04/17.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.04/17.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    498 time:  0.00 s
68.04/17.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.01/21.21	c lits-rem:      3730  cl-subs:     3471  v-elim:      0  v-fix:    0  time: 13.70 s
82.01/21.21	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
82.01/21.22	c vivif2 --  cl tried    25549 cl shrink        0 lits rem          0 time: 0.02
82.01/21.23	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.04
82.01/21.23	c calculated reachability. Time: 0.00
82.01/21.23	c  N st    38    158535       498      1264         2     25549      5744    626703   no data   no data  --
104.77/26.91	c  N st    39    207123       498      1264         2     20381      5744    390814   no data   no data  --
119.97/30.74	c  N st    40    237802       498      1264         2     30375      5744    780723   no data   no data  --
119.97/30.74	c  S st    40    237802       498      1264         2     30375      5744    780723   no data   no data  --
120.37/30.81	c  S st    40    238307       498      1264         2     30866      5744    794192   no data   no data  --
120.37/30.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.37/30.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.37/30.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
120.37/30.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
120.37/30.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
120.37/30.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    498 time:  0.00 s
120.37/30.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
133.92/34.26	c lits-rem:      2701  cl-subs:     3121  v-elim:      0  v-fix:    0  time: 13.63 s
133.92/34.26	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
133.92/34.27	c vivif2 --  cl tried    27745 cl shrink        0 lits rem          0 time: 0.03
133.92/34.28	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.04
133.92/34.28	c calculated reachability. Time: 0.00
133.92/34.28	c  N st    40    238307       498      1264         2     27745      5744    667852   no data   no data  --
169.47/43.13	c  F st    41    306250       498      1264         2     29412      5744    631732   no data   no data  --
169.47/43.13	c  N st    41    306250       498      1264         2     29412      5744    631732   no data   no data  --
171.47/43.61	c Decided on static restart strategy
180.26/45.83	c  N st    51    334551       498      1264         3     34107      5744    802022   no data   no data  --
190.26/48.31	c  N st    53    357461       498      1264         3     32507      5744    714139   no data   no data  --
190.26/48.31	c  S st    53    357461       498      1264         3     32507      5744    714139   no data   no data  --
190.26/48.38	c  S st    53    357963       498      1264         3     32994      5744    728187   no data   no data  --
190.26/48.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
190.26/48.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
190.26/48.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
190.26/48.40	c Replacing        1 vars Replaced       26 lits Time:     0.01 s 
190.66/48.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
190.66/48.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
190.66/48.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
190.66/48.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
199.83/50.79	c lits-rem:      2072  cl-subs:      778  v-elim:      0  v-fix:    0  time:  9.48 s
199.83/50.79	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
200.23/50.80	c vivif2 --  cl tried    32216 cl shrink        0 lits rem          0 time: 0.03
200.23/50.81	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
200.23/50.81	c calculated reachability. Time: 0.00
200.23/50.81	c  N st    53    357963       497      1264         1     32216      5744    707088   no data   no data  --
215.41/54.66	c  N st    54    390355       497      1264         1     38932      5744   1010247   no data   no data  --
247.38/62.67	c  N st    55    438945       497      1264         1     32053      5744    609870   no data   no data  --
290.11/73.33	c  N st    56    511827       497      1264         1     44953      5744   1129786   no data   no data  --
304.91/77.04	c  N st    57    536946       497      1264         1     39333      5744    846575   no data   no data  --
304.91/77.04	c  S st    57    536946       497      1264         1     39333      5744    846575   no data   no data  --
305.29/77.13	c  S st    57    537449       497      1264         1     39824      5744    860209   no data   no data  --
305.29/77.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
305.29/77.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
305.29/77.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
305.29/77.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
305.29/77.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
305.29/77.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
305.29/77.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
319.26/80.69	c lits-rem:      2810  cl-subs:     2849  v-elim:      0  v-fix:    0  time: 14.04 s
319.26/80.69	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
319.66/80.70	c vivif2 --  cl tried    36975 cl shrink        0 lits rem          0 time: 0.03
319.66/80.72	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
319.66/80.72	c calculated reachability. Time: 0.00
319.66/80.72	c  N st    57    537449       497      1264         1     36975      5744    753056   no data   no data  --
420.33/105.96	c  N st    58    701433       497      1264         1     66125      5744   1935463   no data   no data  --
483.84/121.81	c  N st    59    806174       497      1264         1     59888      5744   1488559   no data   no data  --
483.84/121.81	c  S st    59    806174       497      1264         1     59888      5744   1488559   no data   no data  --
484.24/121.97	c  S st    59    806675       497      1264         1     60378      5744   1500460   no data   no data  --
484.24/121.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
484.24/121.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
484.24/122.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
484.65/122.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
484.65/122.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.65/122.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
484.65/122.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
524.60/132.02	c lits-rem:      1968  cl-subs:     5699  v-elim:      0  v-fix:    0  time: 39.82 s
524.60/132.02	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
524.60/132.04	c vivif2 --  cl tried    54679 cl shrink        0 lits rem          0 time: 0.06
524.60/132.06	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.11
524.60/132.07	c calculated reachability. Time: 0.00
524.60/132.07	c  N st    59    806675       497      1264         1     54679      5744   1288180   no data   no data  --
734.67/184.63	c  F st    60   1071875       497      1264         1     69267      5744   1836111   no data   no data  --
734.67/184.63	c  N st    60   1071875       497      1264         1     69267      5744   1836111   no data   no data  --
737.86/185.46	c Decided on static restart strategy
752.23/189.03	c  N st    70   1100179       497      1264         1     54280      5744   1231627   no data   no data  --
777.80/195.45	c  N st    72   1136174       497      1264         1     45013      5744    809980   no data   no data  --
798.16/200.51	c  N st    73   1168566       497      1264         1     76125      5744   2004451   no data   no data  --
826.93/207.74	c  N st    74   1210013       497      1264         1     70489      5744   1869011   no data   no data  --
826.93/207.74	c  S st    74   1210013       497      1264         1     70489      5744   1869011   no data   no data  --
827.75/207.92	c  S st    74   1210518       497      1264         1     70976      5744   1883022   no data   no data  --
827.75/207.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
827.75/207.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
827.75/207.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
828.12/208.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
828.12/208.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
828.12/208.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
828.12/208.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
920.39/231.13	c lits-rem:       455  cl-subs:     7524  v-elim:      0  v-fix:    0  time: 92.30 s
920.39/231.13	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
920.39/231.15	c vivif2 --  cl tried    63452 cl shrink        0 lits rem          0 time: 0.08
920.39/231.19	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.17
920.39/231.19	c calculated reachability. Time: 0.00
920.39/231.19	c  N st    74   1210518       497      1264         1     63452      5744   1599850   no data   no data  --
969.91/243.56	c  N st    75   1283400       497      1264         1     88320      5744   2595607   no data   no data  --
1055.81/265.07	c  N st    76   1392723       497      1264         1     97119      5744   2768224   no data   no data  --
1220.35/306.26	c  N st    77   1556708       497      1264         1     53156      5744    947435   no data   no data  --
1349.36/338.53	c  N st    78   1710519       497      1264         1     94125      5744   2534099   no data   no data  --
1349.36/338.53	c  S st    78   1710519       497      1264         1     94125      5744   2534099   no data   no data  --
1350.18/338.79	c  S st    78   1711024       497      1264         1     94598      5744   2546430   no data   no data  --
1350.18/338.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1350.18/338.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1350.58/338.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1350.96/338.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1350.96/338.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1350.96/338.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
1350.96/338.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1662.06/416.82	c lits-rem:       983  cl-subs:    17074  v-elim:      0  v-fix:    0  time: 310.95 s
1662.06/416.82	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
1662.06/416.84	c vivif2 --  cl tried    77524 cl shrink        0 lits rem          0 time: 0.10
1662.06/416.90	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.21
1662.06/416.90	c calculated reachability. Time: 0.00
1662.06/416.90	c  N st    78   1711024       497      1264         1     77524      5744   1902029   no data   no data  --
2049.10/513.70	c  N st    79   2079989       497      1264         1     88913      5744   2203806   no data   no data  --
2170.48/544.17	c  N st    80   2211024       497      1264         2     93071      5744   2331805   no data   no data  --
2170.48/544.17	c  S st    80   2211024       497      1264         2     93071      5744   2331805   no data   no data  --
2171.71/544.44	c  S st    80   2211526       497      1264         2     93569      5744   2346936   no data   no data  --
2171.71/544.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2171.71/544.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2171.71/544.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2172.11/544.50	c Replacing        1 vars Replaced       24 lits Time:     0.04 s 
2172.11/544.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2172.11/544.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2172.11/544.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
2172.11/544.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2347.42/588.41	c lits-rem:       780  cl-subs:    14749  v-elim:      0  v-fix:    0  time: 175.00 s
2347.42/588.41	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
2347.42/588.43	c vivif2 --  cl tried    78820 cl shrink        0 lits rem          0 time: 0.08
2347.42/588.48	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.18
2347.42/588.48	c calculated reachability. Time: 0.00
2347.42/588.48	c  N st    80   2211526       496      1264         0     78820      5744   1788850   no data   no data  --
2921.72/732.28	c  N st    81   2711526       496      1264         0    102155      5744   2549717   no data   no data  --
2921.72/732.28	c  S st    81   2711526       496      1264         0    102155      5744   2549717   no data   no data  --
2922.93/732.59	c  S st    81   2712029       496      1264         0    102640      5744   2563013   no data   no data  --
2922.93/732.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2922.93/732.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2923.33/732.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2923.71/732.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2923.71/732.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2923.71/732.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
2923.71/732.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3139.37/786.78	c lits-rem:      1168  cl-subs:    14021  v-elim:      0  v-fix:    0  time: 215.78 s
3139.37/786.78	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
3139.77/786.81	c vivif2 --  cl tried    88619 cl shrink        0 lits rem          0 time: 0.10
3139.77/786.86	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.20
3139.77/786.86	c calculated reachability. Time: 0.00
3139.77/786.86	c  N st    81   2712029       496      1264         0     88619      5744   2044025   no data   no data  --
3728.88/934.39	c  N st    82   3212029       496      1264         0    141531      5744   3904106   no data   no data  --
3728.88/934.39	c  S st    82   3212029       496      1264         0    141531      5744   3904106   no data   no data  --
3730.49/934.77	c  S st    82   3212532       496      1264         0    142017      5744   3916994   no data   no data  --
3730.49/934.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3730.49/934.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3730.89/934.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3731.30/934.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3731.30/934.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3731.30/934.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
3731.30/934.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 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-3290072-1304132958/watcher-3290072-1304132958 -o /tmp/evaluation-result-3290072-1304132958/solver-3290072-1304132958 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290072-1304132958.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: 6.05 7.65 7.94 3/171 29623
/proc/meminfo: memFree=30821804/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 524895460 52465664 352 33554432000 4194304 4650419 140736732765440 18446744073709551615 47804723242930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 12809 352 303 112 0 7774 0
[pid=29623/tid=29624] ppid=29621 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524895460 52465664 352 33554432000 4194304 4650419 140736732765440 18446744073709551615 47804723242930 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524895460 52465664 352 33554432000 4194304 4650419 140736732765440 18446744073709551615 47804723242930 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524895460 52465664 352 33554432000 4194304 4650419 140736732765440 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0487489 s]
/proc/loadavg: 6.05 7.65 7.94 3/171 29623
/proc/meminfo: memFree=30821804/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=283688 CPUtime=0.15 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 2290 0 0 0 15 0 0 0 18 0 4 0 524895460 290496512 2056 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 70922 2056 392 112 0 65887 0
[pid=29623/tid=29624] ppid=29621 vsize=283688 CPUtime=0.03 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 524 0 0 0 3 0 0 0 18 0 4 0 524895460 290496512 2057 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=283688 CPUtime=0.04 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 549 0 0 0 4 0 0 0 18 0 4 0 524895460 290496512 2060 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367017 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=283688 CPUtime=0.03 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 253 0 0 0 3 0 0 0 24 0 4 0 524895460 290496512 2060 33554432000 4194304 4650419 140736732765440 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 283688

[startup+0.100739 s]
/proc/loadavg: 6.05 7.65 7.94 3/171 29623
/proc/meminfo: memFree=30821804/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=283688 CPUtime=0.36 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 2551 0 0 0 36 0 0 0 18 0 4 0 524895460 290496512 2317 33554432000 4194304 4650419 140736732765440 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 70922 2317 393 112 0 65887 0
[pid=29623/tid=29624] ppid=29621 vsize=283688 CPUtime=0.09 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 590 0 0 0 9 0 0 0 18 0 4 0 524895460 290496512 2317 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=283688 CPUtime=0.09 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 612 0 0 0 9 0 0 0 18 0 4 0 524895460 290496512 2317 33554432000 4194304 4650419 140736732765440 18446744073709551615 4332492 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=283688 CPUtime=0.08 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 300 0 0 0 8 0 0 0 24 0 4 0 524895460 290496512 2317 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 283688

[startup+0.300705 s]
/proc/loadavg: 6.05 7.65 7.94 3/171 29623
/proc/meminfo: memFree=30821804/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=284344 CPUtime=1.14 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 3779 0 0 0 113 1 0 0 18 0 4 0 524895460 291168256 2802 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 71086 2802 394 112 0 66051 0
[pid=29623/tid=29624] ppid=29621 vsize=284344 CPUtime=0.27 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 848 0 0 0 27 0 0 0 18 0 4 0 524895460 291168256 2802 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364026 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=284344 CPUtime=0.28 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 928 0 0 0 28 0 0 0 18 0 4 0 524895460 291168256 2802 33554432000 4194304 4650419 140736732765440 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=284344 CPUtime=0.28 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 608 0 0 0 28 0 0 0 25 0 4 0 524895460 291168256 2802 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 284344

[startup+0.700637 s]
/proc/loadavg: 6.05 7.65 7.94 3/171 29623
/proc/meminfo: memFree=30821804/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=285332 CPUtime=2.74 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 5933 0 0 0 273 1 0 0 18 0 4 0 524895460 292179968 3514 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 71333 3514 394 112 0 66298 0
[pid=29623/tid=29624] ppid=29621 vsize=285332 CPUtime=0.67 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 1311 0 0 0 67 0 0 0 18 0 4 0 524895460 292179968 3514 33554432000 4194304 4650419 140736732765440 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=285332 CPUtime=0.68 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 1437 0 0 0 68 0 0 0 18 0 4 0 524895460 292179968 3514 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=285332 CPUtime=0.68 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 1066 0 0 0 68 0 0 0 25 0 4 0 524895460 292179968 3514 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 285332

[startup+1.5005 s]
/proc/loadavg: 6.05 7.65 7.94 9/182 29635
/proc/meminfo: memFree=30791520/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=278160 CPUtime=5.94 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 10376 0 0 0 592 2 0 0 20 0 4 0 524895460 284835840 5161 33554432000 4194304 4650419 140736732765440 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 69540 5161 395 112 0 64505 0
[pid=29623/tid=29624] ppid=29621 vsize=278160 CPUtime=1.47 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 2262 0 0 0 147 0 0 0 20 0 4 0 524895460 284835840 5161 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=278160 CPUtime=1.48 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 2349 0 0 0 148 0 0 0 19 0 4 0 524895460 284835840 5161 33554432000 4194304 4650419 140736732765440 18446744073709551615 4266285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=278160 CPUtime=1.47 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 1903 0 0 0 147 0 0 0 25 0 4 0 524895460 284835840 5161 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 278160

[startup+3.10022 s]
/proc/loadavg: 6.05 7.65 7.94 9/182 29635
/proc/meminfo: memFree=30763372/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=291056 CPUtime=12.32 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 18687 0 0 0 1227 5 0 0 25 0 4 0 524895460 298041344 11428 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 72764 11428 395 112 0 67729 0
[pid=29623/tid=29624] ppid=29621 vsize=291056 CPUtime=3.06 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 4395 0 0 0 304 2 0 0 25 0 4 0 524895460 298041344 11428 33554432000 4194304 4650419 140736732765440 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=291056 CPUtime=3.08 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 4593 0 0 0 308 0 0 0 25 0 4 0 524895460 298041344 11428 33554432000 4194304 4650419 140736732765440 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=291056 CPUtime=3.07 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 4285 0 0 0 306 1 0 0 25 0 4 0 524895460 298041344 11428 33554432000 4194304 4650419 140736732765440 18446744073709551615 4361074 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 291056

[startup+6.30067 s]
/proc/loadavg: 6.29 7.67 7.94 10/182 29635
/proc/meminfo: memFree=30709792/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=293576 CPUtime=24.08 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 26398 0 0 0 2393 15 0 0 25 0 4 0 524895460 300621824 14366 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29623/statm: 73394 14366 395 112 0 68359 0
[pid=29623/tid=29624] ppid=29621 vsize=293576 CPUtime=6.13 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 7385 0 0 0 610 3 0 0 25 0 4 0 524895460 300621824 14366 33554432000 4194304 4650419 140736732765440 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=293576 CPUtime=6.28 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 6588 0 0 0 626 2 0 0 25 0 4 0 524895460 300621824 14366 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=293576 CPUtime=6.25 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 5599 0 0 0 622 3 0 0 25 0 4 0 524895460 300621824 14366 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 293576

[startup+12.7006 s]
/proc/loadavg: 6.42 7.68 7.94 9/182 29635
/proc/meminfo: memFree=30671308/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=300412 CPUtime=48.06 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 41897 0 0 0 4782 24 0 0 25 0 4 0 524895460 307621888 22865 33554432000 4194304 4650419 140736732765440 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 75103 22865 395 112 0 70068 0
[pid=29623/tid=29624] ppid=29621 vsize=300412 CPUtime=12.49 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 12034 0 0 0 1245 4 0 0 25 0 4 0 524895460 307621888 22865 33554432000 4194304 4650419 140736732765440 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=300412 CPUtime=12.67 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 11171 0 0 0 1262 5 0 0 25 0 4 0 524895460 307621888 22865 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=300412 CPUtime=12.42 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 8350 0 0 0 1239 3 0 0 25 0 4 0 524895460 307621888 22865 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.06
Current children cumulated vsize (KiB) 300412

[startup+25.5003 s]
/proc/loadavg: 6.77 7.69 7.94 9/182 29635
/proc/meminfo: memFree=30603504/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=301472 CPUtime=99.18 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 66067 0 0 0 9889 29 0 0 25 0 4 0 524895460 308707328 31817 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 75368 31817 395 112 0 70333 0
[pid=29623/tid=29624] ppid=29621 vsize=301472 CPUtime=25.22 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 15567 0 0 0 2518 4 0 0 25 0 4 0 524895460 308707328 31817 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=301472 CPUtime=25.47 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 18040 0 0 0 2541 6 0 0 25 0 4 0 524895460 308707328 31817 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=301472 CPUtime=25.21 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 14296 0 0 0 2517 4 0 0 25 0 4 0 524895460 308707328 31817 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.18
Current children cumulated vsize (KiB) 301472

[startup+51.1009 s]
/proc/loadavg: 7.19 7.72 7.94 9/182 29636
/proc/meminfo: memFree=30557816/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=315120 CPUtime=201.43 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 106814 0 0 0 20102 41 0 0 25 0 4 0 524895460 322682880 36869 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364045 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 78780 36869 395 112 0 73745 0
[pid=29623/tid=29624] ppid=29621 vsize=315120 CPUtime=50.71 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 24863 0 0 0 5063 8 0 0 25 0 4 0 524895460 322682880 36869 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=315120 CPUtime=51.06 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 30099 0 0 0 5096 10 0 0 25 0 4 0 524895460 322682880 36869 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=315120 CPUtime=50.78 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 21263 0 0 0 5072 6 0 0 25 0 4 0 524895460 322682880 36869 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.43
Current children cumulated vsize (KiB) 315120

[startup+102.306 s]
/proc/loadavg: 7.65 7.76 7.94 9/182 29637
/proc/meminfo: memFree=30464160/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=383268 CPUtime=405.96 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 174093 0 0 0 40536 60 0 0 25 0 4 0 524895460 392466432 51788 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 95817 51788 395 112 0 90782 0
[pid=29623/tid=29624] ppid=29621 vsize=383268 CPUtime=101.66 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 43602 0 0 0 10154 12 0 0 25 0 4 0 524895460 392466432 51788 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=383268 CPUtime=102.25 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 47513 0 0 0 10211 14 0 0 25 0 4 0 524895460 392466432 51788 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=383268 CPUtime=101.96 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 33711 0 0 0 10185 11 0 0 25 0 4 0 524895460 392466432 51788 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 405.96
Current children cumulated vsize (KiB) 383268

[startup+162.301 s]

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

[pid=29623] ppid=29621 vsize=723732 CPUtime=2562.7 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 532067 0 0 0 256075 195 0 0 25 0 4 0 524895460 741101568 111862 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 180933 111862 395 112 0 175898 0
[pid=29623/tid=29624] ppid=29621 vsize=723732 CPUtime=638.83 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 107477 0 0 0 63852 31 0 0 25 0 4 0 524895460 741101568 111862 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=723732 CPUtime=642.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 152645 0 0 0 64164 55 0 0 25 0 4 0 524895460 741101568 111862 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=723732 CPUtime=641.6 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 117079 0 0 0 64110 50 0 0 25 0 4 0 524895460 741101568 111862 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.7
Current children cumulated vsize (KiB) 723732

[startup+702.301 s]
/proc/loadavg: 8.02 8.04 8.00 9/182 29653
/proc/meminfo: memFree=29972752/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=673808 CPUtime=2802.3 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 568437 0 0 0 280020 210 0 0 25 0 4 0 524895460 689979392 121023 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 168452 121023 395 112 0 163417 0
[pid=29623/tid=29624] ppid=29621 vsize=673808 CPUtime=698.5 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 112833 0 0 0 69818 32 0 0 25 0 4 0 524895460 689979392 121023 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=673808 CPUtime=702.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 164722 0 0 0 70159 60 0 0 25 0 4 0 524895460 689979392 121023 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=673808 CPUtime=701.52 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 124065 0 0 0 70099 53 0 0 25 0 4 0 524895460 689979392 121023 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.3
Current children cumulated vsize (KiB) 673808

[startup+762.307 s]
/proc/loadavg: 8.05 8.04 8.00 9/182 29655
/proc/meminfo: memFree=29962068/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=783884 CPUtime=3041.95 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 590629 0 0 0 303974 221 0 0 25 0 4 0 524895460 802697216 123196 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 195971 123196 395 112 0 190936 0
[pid=29623/tid=29624] ppid=29621 vsize=783884 CPUtime=758.18 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 112833 0 0 0 75786 32 0 0 25 0 4 0 524895460 802697216 123196 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=783884 CPUtime=762.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 174509 0 0 0 76154 65 0 0 25 0 4 0 524895460 802697216 123196 33554432000 4194304 4650419 140736732765440 18446744073709551615 4367986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=783884 CPUtime=761.49 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 132492 0 0 0 76091 58 0 0 25 0 4 0 524895460 802697216 123196 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.95
Current children cumulated vsize (KiB) 783884

[startup+822.3 s]
/proc/loadavg: 8.06 8.04 8.00 9/182 29656
/proc/meminfo: memFree=29931904/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=734328 CPUtime=3281.56 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 613714 0 0 0 327924 232 0 0 25 0 4 0 524895460 751951872 129039 33554432000 4194304 4650419 140736732765440 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 183582 129039 395 112 0 178547 0
[pid=29623/tid=29624] ppid=29621 vsize=734328 CPUtime=817.86 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 112849 0 0 0 81754 32 0 0 25 0 4 0 524895460 751951872 129039 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=734328 CPUtime=822.18 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 184371 0 0 0 82149 69 0 0 25 0 4 0 524895460 751951872 129039 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=734328 CPUtime=821.42 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 140004 0 0 0 82080 62 0 0 25 0 4 0 524895460 751951872 129039 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.56
Current children cumulated vsize (KiB) 734328

[startup+882.301 s]
/proc/loadavg: 8.10 8.06 8.01 9/182 29658
/proc/meminfo: memFree=29866408/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=712264 CPUtime=3521.2 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 651088 0 0 0 351874 246 0 0 25 0 4 0 524895460 729358336 138479 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 178066 138479 395 112 0 173031 0
[pid=29623/tid=29624] ppid=29621 vsize=712264 CPUtime=877.56 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 121757 0 0 0 87720 36 0 0 25 0 4 0 524895460 729358336 138479 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=712264 CPUtime=882.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 197541 0 0 0 88144 75 0 0 25 0 4 0 524895460 729358336 138479 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=712264 CPUtime=881.37 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 145907 0 0 0 88072 65 0 0 25 0 4 0 524895460 729358336 138479 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.2
Current children cumulated vsize (KiB) 712264

[startup+942.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/182 29659
/proc/meminfo: memFree=29859932/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=810912 CPUtime=3760.84 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 687320 0 0 0 375826 258 0 0 25 0 4 0 524895460 830373888 144993 33554432000 4194304 4650419 140736732765440 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 202728 144993 395 112 0 197693 0
[pid=29623/tid=29624] ppid=29621 vsize=810912 CPUtime=937.24 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 129151 0 0 0 93685 39 0 0 25 0 4 0 524895460 830373888 144993 33554432000 4194304 4650419 140736732765440 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=810912 CPUtime=942.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 208992 0 0 0 94141 78 0 0 25 0 4 0 524895460 830373888 144993 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=810912 CPUtime=941.33 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 152951 0 0 0 94065 68 0 0 25 0 4 0 524895460 830373888 144993 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.84
Current children cumulated vsize (KiB) 810912

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 8.01 9/182 29661
/proc/meminfo: memFree=29797892/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=931404 CPUtime=4000.41 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 705827 0 0 0 399772 269 0 0 25 0 4 0 524895460 953757696 147888 33554432000 4194304 4650419 140736732765440 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 232851 147888 395 112 0 227816 0
[pid=29623/tid=29624] ppid=29621 vsize=931404 CPUtime=996.91 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 131194 0 0 0 99651 40 0 0 25 0 4 0 524895460 953757696 147888 33554432000 4194304 4650419 140736732765440 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=931404 CPUtime=1002.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 220175 0 0 0 100137 82 0 0 25 0 4 0 524895460 953757696 147888 33554432000 4194304 4650419 140736732765440 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=931404 CPUtime=1001.24 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 158232 0 0 0 100051 73 0 0 25 0 4 0 524895460 953757696 147888 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4000.41
Current children cumulated vsize (KiB) 931404

[startup+1062.3 s]
/proc/loadavg: 8.13 8.08 8.01 9/182 29663
/proc/meminfo: memFree=29755336/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=931632 CPUtime=4240.02 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 710205 0 0 0 423729 273 0 0 25 0 4 0 524895460 953991168 151178 33554432000 4194304 4650419 140736732765440 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 232908 151178 395 112 0 227873 0
[pid=29623/tid=29624] ppid=29621 vsize=931632 CPUtime=1056.58 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 131194 0 0 0 105618 40 0 0 25 0 4 0 524895460 953991168 151178 33554432000 4194304 4650419 140736732765440 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=931632 CPUtime=1062.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 220175 0 0 0 106137 82 0 0 25 0 4 0 524895460 953991168 151178 33554432000 4194304 4650419 140736732765440 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=931632 CPUtime=1061.18 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 162610 0 0 0 106040 78 0 0 25 0 4 0 524895460 953991168 151178 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4240.02
Current children cumulated vsize (KiB) 931632

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/182 29664
/proc/meminfo: memFree=29750608/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=931632 CPUtime=4479.65 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 762807 0 0 0 447681 284 0 0 25 0 4 0 524895460 953991168 153730 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 232908 153730 395 112 0 227873 0
[pid=29623/tid=29624] ppid=29621 vsize=931632 CPUtime=1116.25 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 131194 0 0 0 111585 40 0 0 25 0 4 0 524895460 953991168 153730 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=931632 CPUtime=1122.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 221748 0 0 0 112137 82 0 0 25 0 4 0 524895460 953991168 153730 33554432000 4194304 4650419 140736732765440 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=931632 CPUtime=1121.13 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 213639 0 0 0 112025 88 0 0 25 0 4 0 524895460 953991168 153730 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4479.65
Current children cumulated vsize (KiB) 931632

[startup+1182.3 s]
/proc/loadavg: 8.02 8.05 8.00 9/182 29666
/proc/meminfo: memFree=29731736/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=947020 CPUtime=4719.26 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 832142 0 0 0 471627 299 0 0 25 0 4 0 524895460 969748480 154841 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 236755 154841 395 112 0 231720 0
[pid=29623/tid=29624] ppid=29621 vsize=947020 CPUtime=1175.93 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 131194 0 0 0 117553 40 0 0 25 0 4 0 524895460 969748480 154841 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=947020 CPUtime=1182.19 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 232175 0 0 0 118132 87 0 0 25 0 4 0 524895460 969748480 154841 33554432000 4194304 4650419 140736732765440 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=947020 CPUtime=1181.06 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 272542 0 0 0 118008 98 0 0 25 0 4 0 524895460 969748480 154841 33554432000 4194304 4650419 140736732765440 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4719.26
Current children cumulated vsize (KiB) 947020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.01 8.04 8.00 5/177 29668
/proc/meminfo: memFree=30178788/32951132 swapFree=67111356/67111528
[pid=29623] ppid=29621 vsize=1063240 CPUtime=4800.34 cores=0,2,4,6
/proc/29623/stat : 29623 (strangenight1-m) R 29621 29623 29202 0 -1 4202496 835769 0 0 0 479732 302 0 0 25 0 4 0 524895460 1088757760 158468 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29623/statm: 265810 158468 395 112 0 260775 0
[pid=29623/tid=29624] ppid=29621 vsize=1063240 CPUtime=1196.12 cores=0,2,4,6
/proc/29623/task/29624/stat : 29624 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 131194 0 0 0 119572 40 0 0 25 0 4 0 524895460 1088757760 158468 33554432000 4194304 4650419 140736732765440 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29623/tid=29625] ppid=29621 vsize=1063240 CPUtime=1202.5 cores=0,2,4,6
/proc/29623/task/29625/stat : 29625 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 234141 0 0 0 120161 89 0 0 25 0 4 0 524895460 1088757760 158468 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29623/tid=29626] ppid=29621 vsize=1063240 CPUtime=1201.35 cores=0,2,4,6
/proc/29623/task/29626/stat : 29626 (strangenight1-m) R 29621 29623 29202 0 -1 4202560 274203 0 0 0 120035 100 0 0 25 0 4 0 524895460 1088757760 158468 33554432000 4194304 4650419 140736732765440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1063240

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): 1202.64
CPU time (s): 4800.4
CPU user time (s): 4797.35
CPU system time (s): 3.05553
CPU usage (%): 399.155
Max. virtual memory (cumulated for all children) (KiB): 1063240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 3.05553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835769
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= 542
involuntary context switches= 20004

runsolver used 1.82672 second user time and 4.54331 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-30 05:09:18
IDJOB=3290072
IDBENCH=83418
IDSOLVER=1588
FILE ID=node131/3290072-1304132958
RUNJOBID= node131-1304132958-29608
PBS_JOBID= 13170786
Free space on /tmp= 72060 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290072-1304132958/watcher-3290072-1304132958 -o /tmp/evaluation-result-3290072-1304132958/solver-3290072-1304132958 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3290072-1304132958.cnf

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

MD5SUM BENCH= 1024a3346322fdba0a20b51f99eae4c0
RANDOM SEED=654169933

node131.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.830
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.66
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.830
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.830
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:     32951132 kB
MemFree:      30822952 kB
Buffers:        227656 kB
Cached:        1529956 kB
SwapCached:        168 kB
Active:         167348 kB
Inactive:      1656396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30822952 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6364 kB
Writeback:           0 kB
AnonPages:       66016 kB
Mapped:          14712 kB
Slab:           242928 kB
PageTables:       4356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   192148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72048 MiB
End job on node131 at 2011-04-30 05:29:23