Trace number 3369191

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.22 1203.75

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
MD5SUMf0b7e0675915478b15cab3695fd0fd62
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035994
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses3432
Sum of the clauses size17000
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32
Number of clauses of size 4156
Number of clauses of size 53274
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369191-1305417837.cnf'
0.00/0.01	c -- header says num vars:            220
0.00/0.01	c -- header says num clauses:        3432
0.00/0.01	c -- clauses added:            0 learnts,         3432 normals,            0 xors
0.00/0.01	c -- vars added        220
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0       220      3432         0         0     17000         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.04
0.07/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.17/0.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:      89 undec:      50 neg:      81
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       220      3432         0         0     17000         0   no data   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4914       220      3432         0      4796     17000    213180   no data   no data  --
3.18/0.80	c  N st    10     11297       220      3432         0      4431     17000    141091   no data   no data  --
3.18/0.80	c  N st    11     17040       220      3432         0      9991     17000    399258   no data   no data  --
4.01/1.10	c  F st    12     25002       220      3432         0     12288     17000    491429   no data   no data  --
4.01/1.10	c  N st    12     25002       220      3432         0     12288     17000    491429   no data   no data  --
5.56/1.40	c Decided on static restart strategy
5.56/1.40	c  N st    18     30001       220      3432         0     10551     17000    376138   no data   no data  --
5.56/1.40	c  S st    18     30001       220      3432         0     10551     17000    376138   no data   no data  --
5.56/1.40	c  S st    18     30506       220      3432         0     11050     17000    396125   no data   no data  --
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.53/3.45	c lits-rem:      4197  cl-subs:      550  v-elim:      0  v-fix:    0  time:  8.35 s
13.53/3.49	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.17
13.53/3.49	c calculated reachability. Time: 0.00
13.53/3.49	c  N st    18     30506       220      3432         0     10500     17000    360937   no data   no data  --
15.14/3.88	c  N st    20     37619       220      3432         0      9732     17000    298693   no data   no data  --
16.73/4.23	c  N st    21     44018       220      3432         0     15936     17000    582107   no data   no data  --
17.17/4.33	c  S st    22     45760       220      3432         0      8928     17000    229340   no data   no data  --
17.17/4.36	c  S st    22     46262       220      3432         0      9427     17000    249073   no data   no data  --
17.17/4.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.17/4.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.17/4.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.17/4.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.17/4.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
17.17/4.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.56/5.48	c lits-rem:       839  cl-subs:       78  v-elim:      0  v-fix:    0  time:  4.44 s
21.56/5.48	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
21.56/5.49	c vivif2 --  cl tried     9349 cl shrink        0 lits rem          0 time: 0.01
21.96/5.53	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.18
21.96/5.53	c calculated reachability. Time: 0.00
21.96/5.53	c  N st    22     46262       220      3432         0      9349     17000    243898   no data   no data  --
25.50/6.44	c  N st    23     60661       220      3432         0     13638     17000    422513   no data   no data  --
27.90/7.02	c  N st    24     69396       220      3432         0     11446     17000    299391   no data   no data  --
27.90/7.02	c  S st    24     69396       220      3432         0     11446     17000    299391   no data   no data  --
27.90/7.05	c  S st    24     69899       220      3432         0     11944     17000    319840   no data   no data  --
27.90/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.90/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.90/7.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.90/7.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
27.90/7.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.27/9.15	c lits-rem:      1375  cl-subs:      153  v-elim:      0  v-fix:    0  time:  8.30 s
36.27/9.15	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
36.27/9.16	c vivif2 --  cl tried    11791 cl shrink        0 lits rem          0 time: 0.01
36.67/9.21	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.20
36.67/9.21	c calculated reachability. Time: 0.00
36.67/9.21	c  N st    24     69899       220      3432         0     11791     17000    310219   no data   no data  --
42.25/10.61	c  F st    25     87503       220      3432         0     17117     17000    552624   no data   no data  --
42.25/10.61	c  N st    25     87503       220      3432         0     17117     17000    552624   no data   no data  --
43.49/10.94	c Decided on static restart strategy
44.24/11.16	c  N st    32     95538       220      3432         0     24943     17000    905760   no data   no data  --
46.64/11.79	c  N st    34    104849       220      3432         0     21397     17000    700481   no data   no data  --
46.64/11.79	c  S st    34    104849       220      3432         0     21397     17000    700481   no data   no data  --
47.04/11.84	c  S st    34    105352       220      3432         0     21890     17000    720257   no data   no data  --
47.04/11.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.04/11.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.04/11.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.04/11.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.04/11.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.04/11.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
47.04/11.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.05/14.37	c lits-rem:      3159  cl-subs:      831  v-elim:      0  v-fix:    0  time:  9.93 s
57.05/14.37	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
57.05/14.37	c vivif2 --  cl tried    21059 cl shrink        0 lits rem          0 time: 0.03
57.40/14.47	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.39
57.40/14.47	c calculated reachability. Time: 0.00
57.40/14.47	c  N st    34    105352       220      3432         0     21059     17000    670393   no data   no data  --
61.04/15.36	c  N st    35    114951       220      3432         0     16836     17000    454212   no data   no data  --
65.83/16.52	c  N st    36    129349       220      3432         0     16251     17000    396936   no data   no data  --
72.97/18.35	c  N st    37    150944       220      3432         0     21603     17000    610126   no data   no data  --
75.35/18.99	c  S st    38    158029       220      3432         0     28529     17000    935154   no data   no data  --
75.75/19.06	c  S st    38    158532       220      3432         0     29028     17000    955360   no data   no data  --
75.75/19.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
75.75/19.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.75/19.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
75.75/19.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.75/19.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.75/19.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
75.75/19.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.11/22.68	c lits-rem:      5319  cl-subs:     1344  v-elim:      0  v-fix:    0  time: 14.29 s
90.11/22.68	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
90.11/22.69	c vivif2 --  cl tried    27684 cl shrink        0 lits rem          0 time: 0.04
90.91/22.83	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.57
90.91/22.84	c calculated reachability. Time: 0.00
90.91/22.84	c  N st    38    158532       220      3432         0     27684     17000    877656   no data   no data  --
112.67/28.36	c  N st    39    207120       220      3432         0     22427     17000    594436   no data   no data  --
124.93/31.43	c  N st    40    237798       220      3432         0     32721     17000   1035901   no data   no data  --
124.93/31.43	c  S st    40    237798       220      3432         0     32721     17000   1035901   no data   no data  --
125.33/31.50	c  S st    40    238298       220      3432         0     33219     17000   1055651   no data   no data  --
125.33/31.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
125.33/31.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
125.33/31.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
125.33/31.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125.33/31.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.33/31.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
125.33/31.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.75/34.45	c lits-rem:       479  cl-subs:     1604  v-elim:      0  v-fix:    0  time: 11.41 s
136.75/34.45	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
136.75/34.47	c vivif2 --  cl tried    31615 cl shrink        0 lits rem          0 time: 0.06
137.54/34.61	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.57
137.54/34.62	c calculated reachability. Time: 0.00
137.54/34.62	c  N st    40    238298       220      3432         0     31615     17000    968279   no data   no data  --
166.30/41.92	c  F st    41    306251       220      3432         0     33524     17000    986219   no data   no data  --
166.30/41.93	c  N st    41    306251       220      3432         0     33524     17000    986219   no data   no data  --
168.67/42.51	c Decided on static restart strategy
177.82/44.82	c  N st    51    334556       220      3432         0     37793     17000   1137611   no data   no data  --
187.83/47.32	c  N st    53    357447       220      3432         0     35791     17000   1018165   no data   no data  --
187.83/47.32	c  S st    53    357447       220      3432         0     35791     17000   1018165   no data   no data  --
188.18/47.41	c  S st    53    357950       220      3432         0     36292     17000   1038937   no data   no data  --
188.18/47.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
188.18/47.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
188.18/47.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
188.18/47.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
188.18/47.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
188.18/47.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
188.18/47.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
197.36/49.71	c lits-rem:       528  cl-subs:      988  v-elim:      0  v-fix:    0  time:  9.01 s
197.36/49.71	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
197.36/49.73	c vivif2 --  cl tried    35304 cl shrink        0 lits rem          0 time: 0.05
198.15/49.98	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 1.02
198.15/49.98	c calculated reachability. Time: 0.00
198.15/49.98	c  N st    53    357950       220      3432         0     35304     17000    984142   no data   no data  --
214.91/54.11	c  N st    54    390342       220      3432         0     41491     17000   1221600   no data   no data  --
238.44/60.02	c  N st    55    438930       220      3432         0     35259     17000    885912   no data   no data  --
275.93/69.43	c  N st    56    511812       220      3432         0     48704     17000   1502976   no data   no data  --
287.90/72.42	c  N st    57    536928       220      3432         0     43002     17000   1165307   no data   no data  --
287.90/72.42	c  S st    57    536928       220      3432         0     43002     17000   1165307   no data   no data  --
288.34/72.52	c  S st    57    537429       220      3432         0     43502     17000   1185996   no data   no data  --
288.34/72.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
288.34/72.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
288.34/72.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
288.34/72.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
288.34/72.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
288.34/72.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
288.34/72.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
301.49/75.84	c lits-rem:       813  cl-subs:     1222  v-elim:      0  v-fix:    0  time: 13.01 s
301.49/75.84	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
301.49/75.86	c vivif2 --  cl tried    42280 cl shrink        0 lits rem          0 time: 0.05
302.25/76.07	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.86
302.25/76.07	c calculated reachability. Time: 0.00
302.25/76.07	c  N st    57    537429       220      3432         0     42280     17000   1115464   no data   no data  --
397.17/99.84	c  N st    58    701414       220      3432         0     36445     17000    701154   no data   no data  --
468.95/117.88	c  N st    59    806145       220      3432         0     65188     17000   2034493   no data   no data  --
468.95/117.88	c  S st    59    806145       220      3432         0     65188     17000   2034493   no data   no data  --
469.75/118.03	c  S st    59    806646       220      3432         0     65687     17000   2054266   no data   no data  --
469.75/118.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
469.75/118.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.75/118.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
470.16/118.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
470.16/118.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
470.16/118.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
470.16/118.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
527.99/132.69	c lits-rem:       533  cl-subs:     2952  v-elim:      0  v-fix:    0  time: 58.06 s
527.99/132.69	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
528.39/132.72	c vivif2 --  cl tried    62735 cl shrink        0 lits rem          0 time: 0.09
529.62/133.10	c asymm  cl-useful: 0/3172/3432 lits-rem:0 time: 1.54
529.62/133.11	c calculated reachability. Time: 0.00
529.62/133.11	c  N st    59    806646       220      3432         0     62735     17000   1895589   no data   no data  --
717.44/180.12	c  F st    60   1071877       220      3432         0     78738     17000   2548194   no data   no data  --
717.44/180.12	c  N st    60   1071877       220      3432         0     78738     17000   2548194   no data   no data  --
722.67/181.48	c Decided on static restart strategy
740.21/185.88	c  N st    70   1100182       220      3432         0     62543     17000   1601373   no data   no data  --
767.69/192.73	c  N st    72   1136175       220      3432         0     52836     17000   1127490   no data   no data  --
792.42/198.93	c  N st    73   1168568       220      3432         0     84228     17000   2615668   no data   no data  --
824.72/207.08	c  N st    74   1209969       220      3432         0     78715     17000   2349270   no data   no data  --
824.72/207.08	c  S st    74   1209969       220      3432         0     78715     17000   2349270   no data   no data  --
825.92/207.30	c  S st    74   1210473       220      3432         0     79215     17000   2369389   no data   no data  --
825.92/207.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
825.92/207.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
825.92/207.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
826.32/207.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
826.32/207.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
826.32/207.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
826.32/207.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
916.45/230.03	c lits-rem:      5012  cl-subs:     3762  v-elim:      0  v-fix:    0  time: 90.10 s
916.45/230.03	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
916.45/230.06	c vivif2 --  cl tried    75453 cl shrink        0 lits rem          0 time: 0.10
918.04/230.46	c asymm  cl-useful: 0/2579/3432 lits-rem:0 time: 1.61
918.04/230.47	c calculated reachability. Time: 0.00
918.04/230.47	c  N st    74   1210473       220      3432         0     75453     17000   2155035   no data   no data  --
989.05/248.28	c  N st    75   1283355       220      3432         0     52037     17000   1001302   no data   no data  --
1102.31/276.65	c  N st    76   1392679       220      3432         0     60024     17000   1326011   no data   no data  --
1282.18/321.70	c  N st    77   1556663       220      3432         0     64462     17000   1462053   no data   no data  --
1454.88/365.02	c  N st    78   1710473       220      3432         0    105884     17000   3435787   no data   no data  --
1454.88/365.03	c  S st    78   1710473       220      3432         0    105884     17000   3435787   no data   no data  --
1456.06/365.33	c  S st    78   1710975       220      3432         0    106381     17000   3457088   no data   no data  --
1456.06/365.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1456.06/365.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1456.06/365.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1456.46/365.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1456.46/365.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1456.46/365.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1456.46/365.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1935.06/485.50	c lits-rem:      2187  cl-subs:     6588  v-elim:      0  v-fix:    0  time: 478.28 s
1935.06/485.50	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
1935.46/485.53	c vivif2 --  cl tried    99793 cl shrink        0 lits rem          0 time: 0.16
1936.26/485.80	c asymm  cl-useful: 0/853/3432 lits-rem:0 time: 1.05
1936.66/485.80	c calculated reachability. Time: 0.00
1936.66/485.80	c  N st    78   1710975       220      3432         0     99793     17000   3090209   no data   no data  --
2325.98/583.40	c  N st    79   2079940       220      3432         0    111485     17000   3452919   no data   no data  --
2458.01/616.59	c  N st    80   2210975       220      3432         0    115619     17000   3612176   no data   no data  --
2458.01/616.59	c  S st    80   2210975       220      3432         0    115619     17000   3612176   no data   no data  --
2459.61/616.91	c  S st    80   2211478       220      3432         0    116117     17000   3632597   no data   no data  --
2459.61/616.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2459.61/616.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2459.61/616.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2460.05/617.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2460.05/617.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2460.05/617.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
2460.05/617.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3014.00/755.96	c lits-rem:      5506  cl-subs:     6905  v-elim:      0  v-fix:    0  time: 553.57 s
3014.00/755.96	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
3014.00/756.00	c vivif2 --  cl tried   109212 cl shrink        0 lits rem          0 time: 0.15
3015.60/756.39	c asymm  cl-useful: 0/1994/3432 lits-rem:0 time: 1.58
3015.60/756.40	c calculated reachability. Time: 0.00
3015.60/756.40	c  N st    80   2211478       220      3432         0    109212     17000   3258211   no data   no data  --
3665.82/919.32	c  N st    81   2711478       220      3432         0    132273     17000   4262664   no data   no data  --
3665.82/919.32	c  S st    81   2711478       220      3432         0    132273     17000   4262664   no data   no data  --
3667.42/919.75	c  S st    81   2711980       220      3432         0    132769     17000   4283958   no data   no data  --
3667.42/919.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3667.42/919.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3667.82/919.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.32
3668.22/919.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3668.22/919.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3668.22/919.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
3668.22/919.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4696.83/1177.81	c lits-rem:     12364  cl-subs:     8739  v-elim:      0  v-fix:    0  time: 1027.96 s
4696.83/1177.81	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
4696.83/1177.86	c vivif2 --  cl tried   124030 cl shrink        0 lits rem          0 time: 0.19
4698.81/1178.35	c asymm  cl-useful: 0/1416/3432 lits-rem:0 time: 1.96
4698.81/1178.36	c calculated reachability. Time: 0.00
4698.81/1178.36	c  N st    81   2711980       220      3432         0    124030     17000   3803467   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369191-1305417837/watcher-3369191-1305417837 -o /tmp/evaluation-result-3369191-1305417837/solver-3369191-1305417837 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369191-1305417837.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: 8.17 8.10 8.02 5/355 19646
/proc/meminfo: memFree=23613612/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 416 0 0 0 2 0 0 0 25 0 4 0 653380733 52465664 357 33554432000 4194304 4650419 140735550448416 18446744073709551615 47248627189273 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 12809 357 306 112 0 7774 0
[pid=19646/tid=19647] ppid=19644 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653380733 52465664 357 33554432000 4194304 4650419 140735550448416 18446744073709551615 47248627189680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653380733 52465664 357 33554432000 4194304 4650419 140735550448416 18446744073709551615 47248627189271 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653380733 52465664 357 33554432000 4194304 4650419 140735550448416 18446744073709551615 47248627189273 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.025651 s]
/proc/loadavg: 8.17 8.10 8.02 5/355 19646
/proc/meminfo: memFree=23613612/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=290236 CPUtime=0.07 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) D 19644 19646 19302 0 -1 4202496 1004 0 0 0 7 0 0 0 18 0 4 0 653380733 297201664 914 33554432000 4194304 4650419 140735550448416 18446744073709551615 239476738138 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 72559 914 368 112 0 67524 0
[pid=19646/tid=19647] ppid=19644 vsize=290236 CPUtime=0.01 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 132 0 0 0 1 0 0 0 25 0 4 0 653380733 297201664 914 33554432000 4194304 4650419 140735550448416 18446744073709551615 239476738138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=290236 CPUtime=0.02 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) D 19644 19646 19302 0 -1 4202560 147 0 0 0 2 0 0 0 18 0 4 0 653380733 297201664 914 33554432000 4194304 4650419 140735550448416 18446744073709551615 239476355781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=290236 CPUtime=0.01 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 166 0 0 0 1 0 0 0 18 0 4 0 653380733 297201664 914 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 290236

[startup+0.113381 s]
/proc/loadavg: 8.17 8.10 8.02 5/355 19646
/proc/meminfo: memFree=23613612/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=282988 CPUtime=0.42 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 2252 0 0 0 42 0 0 0 18 0 4 0 653380733 289779712 2076 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 70747 2076 389 112 0 65712 0
[pid=19646/tid=19647] ppid=19644 vsize=282988 CPUtime=0.09 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 484 0 0 0 9 0 0 0 25 0 4 0 653380733 289779712 2076 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=282988 CPUtime=0.1 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 506 0 0 0 10 0 0 0 18 0 4 0 653380733 289779712 2076 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=282988 CPUtime=0.1 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 354 0 0 0 10 0 0 0 18 0 4 0 653380733 289779712 2077 33554432000 4194304 4650419 140735550448416 18446744073709551615 239476356129 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282988

[startup+0.300346 s]
/proc/loadavg: 8.17 8.10 8.02 5/355 19646
/proc/meminfo: memFree=23613612/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=284820 CPUtime=1.17 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 3935 0 0 0 117 0 0 0 18 0 4 0 653380733 291655680 2741 33554432000 4194304 4650419 140735550448416 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 71205 2741 391 112 0 66170 0
[pid=19646/tid=19647] ppid=19644 vsize=284820 CPUtime=0.28 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 898 0 0 0 28 0 0 0 25 0 4 0 653380733 291655680 2741 33554432000 4194304 4650419 140735550448416 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=284820 CPUtime=0.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 920 0 0 0 29 0 0 0 18 0 4 0 653380733 291655680 2741 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=284820 CPUtime=0.29 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 791 0 0 0 29 0 0 0 18 0 4 0 653380733 291655680 2741 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284820

[startup+0.700271 s]
/proc/loadavg: 8.17 8.10 8.02 5/355 19646
/proc/meminfo: memFree=23613612/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=286200 CPUtime=2.76 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 6758 0 0 0 276 0 0 0 18 0 4 0 653380733 293068800 3585 33554432000 4194304 4650419 140735550448416 18446744073709551615 4360321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 71550 3585 391 112 0 66515 0
[pid=19646/tid=19647] ppid=19644 vsize=286200 CPUtime=0.68 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 1545 0 0 0 68 0 0 0 25 0 4 0 653380733 293068800 3585 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=286200 CPUtime=0.69 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 1595 0 0 0 69 0 0 0 18 0 4 0 653380733 293068800 3585 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=286200 CPUtime=0.69 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 1655 0 0 0 69 0 0 0 18 0 4 0 653380733 293068800 3585 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286200

[startup+1.50112 s]
/proc/loadavg: 8.17 8.10 8.02 9/359 19650
/proc/meminfo: memFree=23590988/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=279132 CPUtime=5.96 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 14099 0 0 0 595 1 0 0 20 0 4 0 653380733 285831168 6603 33554432000 4194304 4650419 140735550448416 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 69783 6603 393 112 0 64748 0
[pid=19646/tid=19647] ppid=19644 vsize=279132 CPUtime=1.47 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 2885 0 0 0 147 0 0 0 25 0 4 0 653380733 285831168 6603 33554432000 4194304 4650419 140735550448416 18446744073709551615 4314855 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=279132 CPUtime=1.49 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 2928 0 0 0 149 0 0 0 20 0 4 0 653380733 285831168 6603 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=279132 CPUtime=1.48 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 2874 0 0 0 148 0 0 0 20 0 4 0 653380733 285831168 6603 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 279132

[startup+3.10081 s]
/proc/loadavg: 8.17 8.10 8.02 9/359 19650
/proc/meminfo: memFree=23550936/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=292828 CPUtime=12.34 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 23062 0 0 0 1231 3 0 0 25 0 4 0 653380733 299855872 14231 33554432000 4194304 4650419 140735550448416 18446744073709551615 4439656 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 73207 14231 393 112 0 68172 0
[pid=19646/tid=19647] ppid=19644 vsize=292828 CPUtime=3.05 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 5016 0 0 0 305 0 0 0 25 0 4 0 653380733 299855872 14231 33554432000 4194304 4650419 140735550448416 18446744073709551615 4439346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=292828 CPUtime=3.09 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 6882 0 0 0 308 1 0 0 25 0 4 0 653380733 299855872 14231 33554432000 4194304 4650419 140735550448416 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=292828 CPUtime=3.09 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 5749 0 0 0 308 1 0 0 25 0 4 0 653380733 299855872 14231 33554432000 4194304 4650419 140735550448416 18446744073709551615 4329519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 292828

[startup+6.3012 s]
/proc/loadavg: 8.15 8.10 8.02 9/359 19650
/proc/meminfo: memFree=23527376/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=284364 CPUtime=25.1 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 34593 0 0 0 2505 5 0 0 25 0 4 0 653380733 291188736 18784 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 71091 18784 393 112 0 66056 0
[pid=19646/tid=19647] ppid=19644 vsize=284364 CPUtime=6.22 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 9601 0 0 0 621 1 0 0 25 0 4 0 653380733 291188736 18784 33554432000 4194304 4650419 140735550448416 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=284364 CPUtime=6.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 9150 0 0 0 628 1 0 0 25 0 4 0 653380733 291188736 18784 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=284364 CPUtime=6.29 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 8018 0 0 0 628 1 0 0 25 0 4 0 653380733 291188736 18784 33554432000 4194304 4650419 140735550448416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 284364

[startup+12.701 s]
/proc/loadavg: 8.14 8.09 8.02 9/359 19650
/proc/meminfo: memFree=23494268/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=304156 CPUtime=50.63 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 55041 0 0 0 5052 11 0 0 25 0 4 0 653380733 311455744 27256 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 76039 27256 393 112 0 71004 0
[pid=19646/tid=19647] ppid=19644 vsize=304156 CPUtime=12.54 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 15677 0 0 0 1251 3 0 0 25 0 4 0 653380733 311455744 27256 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=304156 CPUtime=12.69 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 14643 0 0 0 1266 3 0 0 25 0 4 0 653380733 311455744 27256 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=304156 CPUtime=12.69 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 10921 0 0 0 1267 2 0 0 25 0 4 0 653380733 311455744 27256 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 304156

[startup+25.5005 s]
/proc/loadavg: 8.18 8.11 8.02 11/360 19654
/proc/meminfo: memFree=23415048/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=308524 CPUtime=101.6 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 86484 0 0 0 10139 21 0 0 25 0 4 0 653380733 315928576 41265 33554432000 4194304 4650419 140735550448416 18446744073709551615 4313319 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 77131 41265 393 112 0 72096 0
[pid=19646/tid=19647] ppid=19644 vsize=308524 CPUtime=25.18 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 25491 0 0 0 2513 5 0 0 25 0 4 0 653380733 315928576 41265 33554432000 4194304 4650419 140735550448416 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=308524 CPUtime=25.49 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 24629 0 0 0 2543 6 0 0 25 0 4 0 653380733 315928576 41265 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=308524 CPUtime=25.49 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 15873 0 0 0 2545 4 0 0 25 0 4 0 653380733 315928576 41265 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 308524

[startup+51.1006 s]
/proc/loadavg: 8.43 8.17 8.04 9/359 19654
/proc/meminfo: memFree=23394516/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=330672 CPUtime=202.94 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 129471 0 0 0 20258 36 0 0 25 0 4 0 653380733 338608128 48381 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 82668 48381 393 112 0 77633 0
[pid=19646/tid=19647] ppid=19644 vsize=330672 CPUtime=50.48 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 36240 0 0 0 5039 9 0 0 25 0 4 0 653380733 338608128 48381 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=330672 CPUtime=51.08 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 40979 0 0 0 5097 11 0 0 25 0 4 0 653380733 338608128 48381 33554432000 4194304 4650419 140735550448416 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=330672 CPUtime=51.09 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 23731 0 0 0 5101 8 0 0 25 0 4 0 653380733 338608128 48381 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.94
Current children cumulated vsize (KiB) 330672

[startup+102.314 s]
/proc/loadavg: 8.32 8.18 8.05 9/359 19656
/proc/meminfo: memFree=23250480/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=355756 CPUtime=407.19 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 205181 0 0 0 40661 58 0 0 25 0 4 0 653380733 364294144 62439 33554432000 4194304 4650419 140735550448416 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 88939 62439 393 112 0 83904 0
[pid=19646/tid=19647] ppid=19644 vsize=355756 CPUtime=101.09 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 58408 0 0 0 10093 16 0 0 25 0 4 0 653380733 364294144 62439 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=355756 CPUtime=102.3 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 55271 0 0 0 10214 16 0 0 25 0 4 0 653380733 364294144 62439 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=355756 CPUtime=102.3 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 36667 0 0 0 10219 11 0 0 25 0 4 0 653380733 364294144 62439 33554432000 4194304 4650419 140735550448416 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.19
Current children cumulated vsize (KiB) 355756

[startup+162.3 s]

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

[pid=19646] ppid=19644 vsize=863660 CPUtime=2800.22 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 613453 0 0 0 279759 263 0 0 25 0 4 0 653380733 884387840 143051 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476466 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 215915 143051 393 112 0 210880 0
[pid=19646/tid=19647] ppid=19644 vsize=863660 CPUtime=694.11 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 210949 0 0 0 69315 96 0 0 25 0 4 0 653380733 884387840 143051 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=863660 CPUtime=702.28 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 135843 0 0 0 70178 50 0 0 25 0 4 0 653380733 884387840 143051 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=863660 CPUtime=702.31 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 111612 0 0 0 70174 57 0 0 25 0 4 0 653380733 884387840 143051 33554432000 4194304 4650419 140735550448416 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.22
Current children cumulated vsize (KiB) 863660

[startup+762.314 s]
/proc/loadavg: 4.14 5.80 7.10 5/350 19691
/proc/meminfo: memFree=24134124/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=863796 CPUtime=3039.58 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 639162 0 0 0 303679 279 0 0 25 0 4 0 653380733 884527104 148595 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 215949 148595 393 112 0 210914 0
[pid=19646/tid=19647] ppid=19644 vsize=863796 CPUtime=753.43 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 224407 0 0 0 75239 104 0 0 25 0 4 0 653380733 884527104 148595 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=863796 CPUtime=762.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 139055 0 0 0 76177 52 0 0 25 0 4 0 653380733 884527104 148595 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=863796 CPUtime=762.33 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 119708 0 0 0 76170 63 0 0 25 0 4 0 653380733 884527104 148595 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.58
Current children cumulated vsize (KiB) 863796

[startup+822.301 s]
/proc/loadavg: 4.11 5.48 6.91 5/350 19693
/proc/meminfo: memFree=24118352/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=904412 CPUtime=3278.88 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 669447 0 0 0 327594 294 0 0 25 0 4 0 653380733 926117888 152679 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 226103 152679 393 112 0 221068 0
[pid=19646/tid=19647] ppid=19644 vsize=904412 CPUtime=812.77 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 236898 0 0 0 81166 111 0 0 25 0 4 0 653380733 926117888 152679 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=904412 CPUtime=822.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 148981 0 0 0 82172 57 0 0 25 0 4 0 653380733 926117888 152679 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=904412 CPUtime=822.31 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 123988 0 0 0 82167 64 0 0 25 0 4 0 653380733 926117888 152679 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.88
Current children cumulated vsize (KiB) 904412

[startup+882.301 s]
/proc/loadavg: 4.10 5.22 6.73 5/350 19694
/proc/meminfo: memFree=24083128/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=856688 CPUtime=3518.21 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 698107 0 0 0 351515 306 0 0 25 0 4 0 653380733 877248512 160812 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 214172 160812 393 112 0 209137 0
[pid=19646/tid=19647] ppid=19644 vsize=856688 CPUtime=872.1 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 254498 0 0 0 87095 115 0 0 25 0 4 0 653380733 877248512 160812 33554432000 4194304 4650419 140735550448416 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=856688 CPUtime=882.28 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 151663 0 0 0 88169 59 0 0 25 0 4 0 653380733 877248512 160812 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=856688 CPUtime=882.32 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 129483 0 0 0 88163 69 0 0 25 0 4 0 653380733 877248512 160812 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366849 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.21
Current children cumulated vsize (KiB) 856688

[startup+942.301 s]
/proc/loadavg: 4.12 5.03 6.57 5/350 19696
/proc/meminfo: memFree=24036996/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=1104960 CPUtime=3757.56 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 718729 0 0 0 375438 318 0 0 25 0 4 0 653380733 1131479040 173001 33554432000 4194304 4650419 140735550448416 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 276240 173001 393 112 0 271205 0
[pid=19646/tid=19647] ppid=19644 vsize=1104960 CPUtime=931.43 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 257566 0 0 0 93027 116 0 0 25 0 4 0 653380733 1131479040 173001 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=1104960 CPUtime=942.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 159163 0 0 0 94165 64 0 0 25 0 4 0 653380733 1131479040 173001 33554432000 4194304 4650419 140735550448416 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=1104960 CPUtime=942.31 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 134721 0 0 0 94159 72 0 0 25 0 4 0 653380733 1131479040 173001 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.56
Current children cumulated vsize (KiB) 1104960

[startup+1002.3 s]
/proc/loadavg: 4.04 4.84 6.40 5/350 19698
/proc/meminfo: memFree=24079512/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=1025688 CPUtime=3996.86 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 739572 0 0 0 399356 330 0 0 25 0 4 0 653380733 1050304512 162016 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 256422 162016 393 112 0 251387 0
[pid=19646/tid=19647] ppid=19644 vsize=1025688 CPUtime=990.72 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 264568 0 0 0 98955 117 0 0 25 0 4 0 653380733 1050304512 162016 33554432000 4194304 4650419 140735550448416 18446744073709551615 239476392025 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=1025688 CPUtime=1002.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 166540 0 0 0 100159 70 0 0 25 0 4 0 653380733 1050304512 162016 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=1025688 CPUtime=1002.32 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 139439 0 0 0 100155 77 0 0 25 0 4 0 653380733 1050304512 162016 33554432000 4194304 4650419 140735550448416 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.86
Current children cumulated vsize (KiB) 1025688

[startup+1062.3 s]
/proc/loadavg: 4.06 4.70 6.25 5/350 19699
/proc/meminfo: memFree=24064620/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=1025884 CPUtime=4236.17 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 772399 0 0 0 423276 341 0 0 25 0 4 0 653380733 1050505216 165993 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 256471 165993 393 112 0 251436 0
[pid=19646/tid=19647] ppid=19644 vsize=1025884 CPUtime=1050.03 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 274031 0 0 0 104884 119 0 0 25 0 4 0 653380733 1050505216 165993 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=1025884 CPUtime=1062.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 172292 0 0 0 106156 73 0 0 25 0 4 0 653380733 1050505216 165993 33554432000 4194304 4650419 140735550448416 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=1025884 CPUtime=1062.32 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 144394 0 0 0 106151 81 0 0 25 0 4 0 653380733 1050505216 165993 33554432000 4194304 4650419 140735550448416 18446744073709551615 4229237 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.17
Current children cumulated vsize (KiB) 1025884

[startup+1122.3 s]
/proc/loadavg: 4.06 4.58 6.12 5/350 19701
/proc/meminfo: memFree=24047372/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=900572 CPUtime=4475.46 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 798858 0 0 0 447199 347 0 0 25 0 4 0 653380733 922185728 166102 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 225143 166102 393 112 0 220108 0
[pid=19646/tid=19647] ppid=19644 vsize=900572 CPUtime=1109.32 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 277970 0 0 0 110811 121 0 0 25 0 4 0 653380733 922185728 166102 33554432000 4194304 4650419 140735550448416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=900572 CPUtime=1122.29 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 172325 0 0 0 112156 73 0 0 25 0 4 0 653380733 922185728 166102 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=900572 CPUtime=1122.33 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 153665 0 0 0 112150 83 0 0 25 0 4 0 653380733 922185728 166102 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.46
Current children cumulated vsize (KiB) 900572

[startup+1182.3 s]
/proc/loadavg: 4.06 4.49 5.99 5/350 19702
/proc/meminfo: memFree=24051692/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=961012 CPUtime=4714.77 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 823734 0 0 0 471120 357 0 0 25 0 4 0 653380733 984076288 169173 33554432000 4194304 4650419 140735550448416 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 240253 169173 393 112 0 235218 0
[pid=19646/tid=19647] ppid=19644 vsize=961012 CPUtime=1168.62 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 286708 0 0 0 116735 127 0 0 25 0 4 0 653380733 984076288 169173 33554432000 4194304 4650419 140735550448416 18446744073709551615 4306832 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=961012 CPUtime=1182.3 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 172325 0 0 0 118157 73 0 0 25 0 4 0 653380733 984076288 169173 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=961012 CPUtime=1182.33 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 166005 0 0 0 118148 85 0 0 25 0 4 0 653380733 984076288 169173 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4714.77
Current children cumulated vsize (KiB) 961012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 4.10 4.46 5.94 5/350 19703
/proc/meminfo: memFree=24040036/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=1027180 CPUtime=4800.16 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 839531 0 0 0 479651 365 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 256795 172080 393 112 0 251760 0
[pid=19646/tid=19647] ppid=19644 vsize=1027180 CPUtime=1189.76 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 291145 0 0 0 118846 130 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=1027180 CPUtime=1203.71 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 173222 0 0 0 120298 73 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=1027180 CPUtime=1203.74 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 171925 0 0 0 120288 86 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 1027180

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

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

[startup+1203.7 s]
/proc/loadavg: 4.10 4.46 5.94 5/350 19703
/proc/meminfo: memFree=24040036/32950928 swapFree=67056568/67111528
[pid=19646] ppid=19644 vsize=1027180 CPUtime=4800.16 cores=1,3,5,7
/proc/19646/stat : 19646 (strangenight1-m) R 19644 19646 19302 0 -1 4202496 839531 0 0 0 479651 365 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19646/statm: 256795 172080 393 112 0 251760 0
[pid=19646/tid=19647] ppid=19644 vsize=1027180 CPUtime=1189.76 cores=1,3,5,7
/proc/19646/task/19647/stat : 19647 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 291145 0 0 0 118846 130 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19646/tid=19648] ppid=19644 vsize=1027180 CPUtime=1203.71 cores=1,3,5,7
/proc/19646/task/19648/stat : 19648 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 173222 0 0 0 120298 73 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19646/tid=19649] ppid=19644 vsize=1027180 CPUtime=1203.74 cores=1,3,5,7
/proc/19646/task/19649/stat : 19649 (strangenight1-m) R 19644 19646 19302 0 -1 4202560 171925 0 0 0 120288 86 0 0 25 0 4 0 653380733 1051832320 172080 33554432000 4194304 4650419 140735550448416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 1027180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.75
CPU time (s): 4800.22
CPU user time (s): 4796.54
CPU system time (s): 3.68044
CPU usage (%): 398.772
Max. virtual memory (cumulated for all children) (KiB): 1105508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.54
system time used= 3.68044
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839533
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= 337
involuntary context switches= 32852

runsolver used 3.51147 second user time and 10.4884 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-15 02:03:57
IDJOB=3369191
IDBENCH=87453
IDSOLVER=1846
FILE ID=node148/3369191-1305417837
RUNJOBID= node148-1305414728-19322
PBS_JOBID= 13324551
Free space on /tmp= 72836 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_220.shuffled.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369191-1305417837/watcher-3369191-1305417837 -o /tmp/evaluation-result-3369191-1305417837/solver-3369191-1305417837 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369191-1305417837.cnf

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

MD5SUM BENCH= f0b7e0675915478b15cab3695fd0fd62
RANDOM SEED=345890440

node148.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.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.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.82
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23614016 kB
Buffers:        320256 kB
Cached:        4621400 kB
SwapCached:       8488 kB
Active:        5677780 kB
Inactive:      3306004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23614016 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:     4039728 kB
Mapped:          27816 kB
Slab:           258848 kB
PageTables:      31256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 86153716 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= 72836 MiB
End job on node148 at 2011-05-15 02:24:02