Trace number 3369383

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.49 1205.15

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
MD5SUMceff918324677440f95867755c4e7133
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.76412
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses528
Sum of the clauses size1320
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2440
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 588
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-3369383-1305412849.cnf'
0.00/0.01	c -- header says num vars:            220
0.00/0.01	c -- header says num clauses:         528
0.00/0.01	c -- clauses added:            0 learnts,          528 normals,            0 xors
0.00/0.01	c -- vars added        220
3.57/0.90	c Parsing time:  0.00 s
3.57/0.90	c  N st     0         0       220        88       440         0      1320         0   no data   no data  --
3.57/0.90	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.00
3.57/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     123 undec:       0 neg:      97
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       220        88       440         0      1320         0   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4919       220        88       440      4814      1320    168696   no data   no data  --
3.57/0.90	c  N st    10     11303       220        88       440      4449      1320    129200   no data   no data  --
3.57/0.90	c  N st    11     17047       220        88       440     10025      1320    349345   no data   no data  --
4.75/1.20	c  F st    12     25001       220        88       440     12267      1320    403807   no data   no data  --
4.75/1.20	c  N st    12     25001       220        88       440     12267      1320    403807   no data   no data  --
5.96/1.50	c Decided on static restart strategy
5.96/1.50	c  N st    18     30002       220        88       440     10557      1320    306033   no data   no data  --
5.96/1.50	c  S st    18     30002       220        88       440     10557      1320    306033   no data   no data  --
5.96/1.56	c  S st    18     30506       220        88       440     11054      1320    321341   no data   no data  --
5.96/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
5.96/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.35/1.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
6.35/1.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
6.35/1.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.39/2.14	c lits-rem:       376  cl-subs:      154  v-elim:      0  v-fix:    0  time:  2.05 s
8.39/2.14	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.01
8.39/2.14	c calculated reachability. Time: 0.00
8.39/2.14	c  N st    18     30506       220        88       440     10900      1320    315342   no data   no data  --
10.34/2.63	c  N st    20     37618       220        88       440     10165      1320    269445   no data   no data  --
12.34/3.17	c  N st    21     44017       220        88       440     16388      1320    498638   no data   no data  --
13.19/3.32	c  S st    22     45761       220        88       440      9357      1320    217611   no data   no data  --
13.19/3.37	c  S st    22     46269       220        88       440      9862      1320    232511   no data   no data  --
13.19/3.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.19/3.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.19/3.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
13.19/3.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.53/3.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
13.53/3.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
13.53/3.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.53/3.46	c lits-rem:        60  cl-subs:       29  v-elim:      0  v-fix:    0  time:  0.22 s
13.53/3.46	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
13.53/3.46	c vivif2 --  cl tried     9833 cl shrink        0 lits rem          0 time: 0.01
13.53/3.47	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.01
13.53/3.47	c calculated reachability. Time: 0.00
13.53/3.47	c  N st    22     46269       220        88       440      9833      1320    231373   no data   no data  --
18.31/4.61	c  N st    23     60666       220        88       440     14144      1320    377011   no data   no data  --
33.07/8.94	c  N st    24     69403       220        88       440     11942      1320    280133   no data   no data  --
33.07/8.94	c  S st    24     69403       220        88       440     11942      1320    280133   no data   no data  --
33.47/9.00	c  S st    24     69912       220        88       440     12448      1320    295396   no data   no data  --
33.47/9.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.47/9.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.47/9.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
33.47/9.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.47/9.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
33.47/9.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
33.47/9.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
35.47/9.56	c lits-rem:       119  cl-subs:       43  v-elim:      0  v-fix:    0  time:  2.06 s
35.47/9.56	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
35.47/9.56	c vivif2 --  cl tried    12405 cl shrink        0 lits rem          0 time: 0.02
35.47/9.57	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.01
35.47/9.57	c calculated reachability. Time: 0.00
35.47/9.57	c  N st    24     69912       220        88       440     12405      1320    293744   no data   no data  --
42.61/11.33	c  F st    25     87503       220        88       440     17876      1320    467836   no data   no data  --
42.61/11.33	c  N st    25     87503       220        88       440     17876      1320    467836   no data   no data  --
44.62/11.87	c Decided on static restart strategy
46.21/12.20	c  N st    32     95544       220        88       440     13044      1320    269797   no data   no data  --
49.40/13.08	c  N st    34    104868       220        88       440     22162      1320    594906   no data   no data  --
49.40/13.08	c  S st    34    104868       220        88       440     22162      1320    594906   no data   no data  --
49.83/13.20	c  S st    34    105372       220        88       440     22665      1320    610370   no data   no data  --
49.83/13.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
49.83/13.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.24/13.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
50.24/13.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.58/13.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.38 s
50.58/13.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
50.58/13.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.37/14.59	c lits-rem:       259  cl-subs:      251  v-elim:      0  v-fix:    0  time:  4.99 s
55.37/14.59	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
55.77/14.60	c vivif2 --  cl tried    22414 cl shrink        0 lits rem          0 time: 0.02
55.77/14.60	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.02
55.77/14.60	c calculated reachability. Time: 0.00
55.77/14.61	c  N st    34    105372       220        88       440     22414      1320    600444   no data   no data  --
59.75/15.61	c  N st    35    114970       220        88       440     18073      1320    450258   no data   no data  --
66.93/17.48	c  N st    36    129368       220        88       440     17481      1320    399347   no data   no data  --
76.55/19.84	c  N st    37    150963       220        88       440     22954      1320    570617   no data   no data  --
80.08/20.80	c  S st    38    158058       220        88       440     29929      1320    826388   no data   no data  --
80.93/20.93	c  S st    38    158558       220        88       440     30423      1320    841443   no data   no data  --
80.93/20.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.93/20.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
80.93/20.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
80.93/20.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.66/21.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.47 s
81.66/21.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
81.66/21.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.63/22.62	c lits-rem:       461  cl-subs:      379  v-elim:      0  v-fix:    0  time:  6.00 s
87.63/22.62	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
87.63/22.63	c vivif2 --  cl tried    30044 cl shrink        0 lits rem          0 time: 0.04
87.63/22.64	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.04
87.63/22.64	c calculated reachability. Time: 0.00
87.63/22.64	c  N st    38    158558       220        88       440     30044      1320    827605   no data   no data  --
113.11/29.02	c  N st    39    207150       220        88       440     24842      1320    565421   no data   no data  --
131.05/33.51	c  N st    40    237838       220        88       440     35278      1320    946956   no data   no data  --
131.05/33.51	c  S st    40    237838       220        88       440     35278      1320    946956   no data   no data  --
131.45/33.69	c  S st    40    238340       220        88       440     35776      1320    962298   no data   no data  --
131.45/33.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
131.45/33.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
131.85/33.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.12
131.85/33.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.25/33.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.56 s
132.25/33.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
132.25/33.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.02/36.01	c lits-rem:      1414  cl-subs:      534  v-elim:      0  v-fix:    0  time:  8.45 s
141.02/36.01	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
141.02/36.02	c vivif2 --  cl tried    35242 cl shrink        0 lits rem          0 time: 0.05
141.02/36.03	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.05
141.02/36.03	c calculated reachability. Time: 0.00
141.02/36.03	c  N st    40    238340       220        88       440     35242      1320    941483   no data   no data  --
180.87/46.06	c  F st    41    306250       220        88       440     37017      1320    956815   no data   no data  --
180.87/46.06	c  N st    41    306250       220        88       440     37017      1320    956815   no data   no data  --
184.46/46.96	c Decided on static restart strategy
199.26/50.62	c  N st    51    334549       220        88       440     41365      1320   1040444   no data   no data  --
214.74/54.57	c  N st    53    357510       220        88       440     39390      1320    969152   no data   no data  --
214.74/54.57	c  S st    53    357510       220        88       440     39390      1320    969152   no data   no data  --
215.54/54.76	c  S st    53    358011       220        88       440     39887      1320    984369   no data   no data  --
215.54/54.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
215.54/54.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.94/54.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.16
215.94/54.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
216.37/54.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.57 s
216.37/54.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
216.37/54.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.69/57.08	c lits-rem:       520  cl-subs:      403  v-elim:      0  v-fix:    0  time:  8.37 s
224.69/57.08	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
224.69/57.09	c vivif2 --  cl tried    39484 cl shrink        0 lits rem          0 time: 0.05
224.69/57.11	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.06
224.69/57.11	c calculated reachability. Time: 0.00
224.69/57.11	c  N st    53    358011       220        88       440     39484      1320    970467   no data   no data  --
249.39/63.22	c  N st    54    390403       220        88       440     45674      1320   1229405   no data   no data  --
282.87/71.61	c  N st    55    438991       220        88       440     39399      1320    941792   no data   no data  --
343.91/86.98	c  N st    56    511876       220        88       440     52903      1320   1427295   no data   no data  --
362.17/91.57	c  N st    57    537016       220        88       440     47216      1320   1118310   no data   no data  --
362.17/91.57	c  S st    57    537016       220        88       440     47216      1320   1118310   no data   no data  --
362.97/91.79	c  S st    57    537523       220        88       440     47721      1320   1132670   no data   no data  --
363.37/91.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
363.37/91.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
363.37/91.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.20
363.37/91.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
364.18/92.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.65 s
364.18/92.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
364.18/92.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
369.36/93.32	c lits-rem:        97  cl-subs:      508  v-elim:      0  v-fix:    0  time:  5.10 s
369.36/93.32	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
369.36/93.33	c vivif2 --  cl tried    47213 cl shrink        0 lits rem          0 time: 0.06
369.36/93.35	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.08
369.36/93.36	c calculated reachability. Time: 0.00
369.36/93.36	c  N st    57    537523       220        88       440     47213      1320   1116910   no data   no data  --
540.78/136.34	c  N st    58    701507       220        88       440     41361      1320    843670   no data   no data  --
648.37/163.38	c  N st    59    806285       220        88       440     70311      1320   1902684   no data   no data  --
648.37/163.38	c  S st    59    806285       220        88       440     70311      1320   1902684   no data   no data  --
649.97/163.75	c  S st    59    806788       220        88       440     70811      1320   1918244   no data   no data  --
649.97/163.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
649.97/163.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
650.40/163.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.32
650.40/163.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
651.95/164.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.34 s
651.95/164.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
651.95/164.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
672.74/169.47	c lits-rem:       234  cl-subs:     1288  v-elim:      0  v-fix:    0  time: 20.88 s
672.74/169.47	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
673.07/169.50	c vivif2 --  cl tried    69523 cl shrink        0 lits rem          0 time: 0.10
673.07/169.53	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.12
673.07/169.53	c calculated reachability. Time: 0.00
673.07/169.53	c  N st    59    806788       220        88       440     69523      1320   1875210   no data   no data  --
973.22/244.88	c  F st    60   1071878       220        88       440     85255      1320   2381439   no data   no data  --
973.22/244.88	c  N st    60   1071878       220        88       440     85255      1320   2381439   no data   no data  --
981.59/246.91	c Decided on static restart strategy
1007.09/253.31	c  N st    70   1100184       220        88       440     69095      1320   1617291   no data   no data  --
1052.53/264.74	c  N st    72   1136179       220        88       440     59457      1320   1268783   no data   no data  --
1093.97/275.19	c  N st    73   1168572       220        88       440     91251      1320   2371162   no data   no data  --
1145.83/288.11	c  N st    74   1210182       220        88       440     85994      1320   2241323   no data   no data  --
1145.83/288.11	c  S st    74   1210182       220        88       440     85994      1320   2241323   no data   no data  --
1147.80/288.61	c  S st    74   1210689       220        88       440     86498      1320   2256020   no data   no data  --
1147.80/288.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1147.80/288.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1148.19/288.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.48
1148.59/288.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1149.78/289.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.61 s
1149.78/289.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1149.78/289.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1174.10/295.20	c lits-rem:        99  cl-subs:     1092  v-elim:      0  v-fix:    0  time: 23.88 s
1174.10/295.20	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
1174.10/295.23	c vivif2 --  cl tried    85406 cl shrink        0 lits rem          0 time: 0.12
1174.10/295.27	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.15
1174.10/295.27	c calculated reachability. Time: 0.00
1174.10/295.27	c  N st    74   1210689       220        88       440     85406      1320   2220207   no data   no data  --
1274.53/320.41	c  N st    75   1283571       220        88       440     61704      1320   1307334   no data   no data  --
1426.85/358.64	c  N st    76   1392896       220        88       440     69654      1320   1531365   no data   no data  --
1655.56/416.05	c  N st    77   1556880       220        88       440     74701      1320   1694197   no data   no data  --
1910.27/479.94	c  N st    78   1710691       220        88       440     60771      1320   1092635   no data   no data  --
1910.27/479.94	c  S st    78   1710691       220        88       440     60771      1320   1092635   no data   no data  --
1911.47/480.25	c  S st    78   1711191       220        88       440     61269      1320   1108087   no data   no data  --
1911.47/480.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1911.47/480.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1911.87/480.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.29
1911.87/480.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1912.27/480.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.50 s
1912.27/480.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1912.27/480.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1918.24/481.96	c lits-rem:       167  cl-subs:      260  v-elim:      0  v-fix:    0  time:  5.88 s
1918.24/481.96	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
1918.24/481.97	c vivif2 --  cl tried    61009 cl shrink        0 lits rem          0 time: 0.06
1918.64/482.00	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.11
1918.64/482.00	c calculated reachability. Time: 0.00
1918.64/482.00	c  N st    78   1711191       220        88       440     61009      1320   1101364   no data   no data  --
2469.01/620.12	c  N st    79   2080155       220        88       440     66445      1320   1184439   no data   no data  --
2696.93/677.33	c  N st    80   2211191       220        88       440     68645      1320   1210399   no data   no data  --
2696.93/677.33	c  S st    80   2211191       220        88       440     68645      1320   1210399   no data   no data  --
2698.18/677.68	c  S st    80   2211696       220        88       440     69149      1320   1226094   no data   no data  --
2698.18/677.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2698.18/677.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2698.52/677.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.31
2698.91/677.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2699.31/677.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.52 s
2699.31/677.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
2699.31/677.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2705.31/679.43	c lits-rem:        23  cl-subs:      291  v-elim:      0  v-fix:    0  time:  5.97 s
2705.31/679.43	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
2705.31/679.44	c vivif2 --  cl tried    68858 cl shrink        0 lits rem          0 time: 0.07
2705.31/679.47	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.12
2705.31/679.48	c calculated reachability. Time: 0.00
2705.31/679.48	c  N st    80   2211696       220        88       440     68858      1320   1219857   no data   no data  --
3592.84/902.14	c  N st    81   2711697       220        88       440     85353      1320   1714033   no data   no data  --
3592.84/902.14	c  S st    81   2711697       220        88       440     85353      1320   1714033   no data   no data  --
3594.84/902.68	c  S st    81   2712199       220        88       440     85853      1320   1729378   no data   no data  --
3594.84/902.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3594.84/902.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3595.64/902.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.7M T:  0.56
3595.64/902.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3596.88/903.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.09 s
3596.88/903.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
3596.88/903.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3615.95/907.92	c lits-rem:        77  cl-subs:      656  v-elim:      0  v-fix:    0  time: 18.97 s
3615.95/907.92	c vivif2 --  cl tried       88 cl shrink        0 lits rem          0 time: 0.00
3615.95/907.94	c vivif2 --  cl tried    85197 cl shrink        0 lits rem          0 time: 0.10
3615.95/907.99	c asymm  cl-useful: 0/88/88 lits-rem:0 time: 0.18
3615.95/907.99	c calculated reachability. Time: 0.00
3615.95/907.99	c  N st    81   2712199       220        88       440     85197      1320   1711026   no data   no data  --
4510.71/1132.46	c  N st    82   3212201       220        88       440    131237      1320   3180670   no data   no data  --
4510.71/1132.46	c  S st    82   3212201       220        88       440    131237      1320   3180670   no data   no data  --
4514.29/1133.33	c  S st    82   3212702       220        88       440    131737      1320   3195825   no data   no data  --
4514.29/1133.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4514.29/1133.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4515.09/1133.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.91
4515.49/1133.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4518.27/1134.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.49 s
4518.27/1134.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
4518.27/1134.30	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: 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-3369383-1305412849/watcher-3369383-1305412849 -o /tmp/evaluation-result-3369383-1305412849/solver-3369383-1305412849 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369383-1305412849.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: 5.91 7.58 7.92 3/397 29488
/proc/meminfo: memFree=24243252/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 412 0 0 0 2 0 0 0 19 0 4 0 652883520 52465664 352 33554432000 4194304 4650419 140733627232240 18446744073709551615 47143944009650 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 12809 352 303 112 0 7774 0
[pid=29488/tid=29490] ppid=29484 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 4 0 652883520 52465664 352 33554432000 4194304 4650419 140733627232240 18446744073709551615 47143944009650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 4 0 652883520 52465664 352 33554432000 4194304 4650419 140733627232240 18446744073709551615 47143944009644 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 652883520 52465664 352 33554432000 4194304 4650419 140733627232240 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.05292 s]
/proc/loadavg: 5.91 7.58 7.92 3/397 29488
/proc/meminfo: memFree=24243252/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=281912 CPUtime=0.18 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 1077 0 0 0 18 0 0 0 18 0 4 0 652883520 288677888 966 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 70478 967 389 112 0 65443 0
[pid=29488/tid=29490] ppid=29484 vsize=281912 CPUtime=0.04 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 177 0 0 0 4 0 0 0 18 0 4 0 652883520 288677888 967 33554432000 4194304 4650419 140733627232240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=281912 CPUtime=0.04 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 172 0 0 0 4 0 0 0 18 0 4 0 652883520 288677888 967 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=281912 CPUtime=0.03 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 151 0 0 0 3 0 0 0 22 0 4 0 652883520 288677888 968 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 281912

[startup+0.100912 s]
/proc/loadavg: 5.91 7.58 7.92 3/397 29488
/proc/meminfo: memFree=24243252/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=282044 CPUtime=0.37 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 1408 0 0 0 37 0 0 0 18 0 4 0 652883520 288813056 1297 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 70511 1297 390 112 0 65476 0
[pid=29488/tid=29490] ppid=29484 vsize=282044 CPUtime=0.09 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 265 0 0 0 9 0 0 0 18 0 4 0 652883520 288813056 1297 33554432000 4194304 4650419 140733627232240 18446744073709551615 4360535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=282044 CPUtime=0.09 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 262 0 0 0 9 0 0 0 18 0 4 0 652883520 288813056 1297 33554432000 4194304 4650419 140733627232240 18446744073709551615 4330626 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=282044 CPUtime=0.08 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 223 0 0 0 8 0 0 0 22 0 4 0 652883520 288813056 1297 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282044

[startup+0.300877 s]
/proc/loadavg: 5.91 7.58 7.92 3/397 29488
/proc/meminfo: memFree=24243252/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=283920 CPUtime=1.17 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 2719 0 0 0 117 0 0 0 18 0 4 0 652883520 290734080 1875 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 70980 1875 392 112 0 65945 0
[pid=29488/tid=29490] ppid=29484 vsize=283920 CPUtime=0.29 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 608 0 0 0 29 0 0 0 18 0 4 0 652883520 290734080 1875 33554432000 4194304 4650419 140733627232240 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=283920 CPUtime=0.29 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 601 0 0 0 29 0 0 0 18 0 4 0 652883520 290734080 1875 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=283920 CPUtime=0.28 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 514 0 0 0 28 0 0 0 22 0 4 0 652883520 290734080 1875 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283920

[startup+0.700809 s]
/proc/loadavg: 5.91 7.58 7.92 3/397 29488
/proc/meminfo: memFree=24243252/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=285364 CPUtime=2.77 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 4623 0 0 0 276 1 0 0 18 0 4 0 652883520 292212736 2588 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 71341 2588 392 112 0 66306 0
[pid=29488/tid=29490] ppid=29484 vsize=285364 CPUtime=0.69 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 1125 0 0 0 69 0 0 0 18 0 4 0 652883520 292212736 2588 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=285364 CPUtime=0.69 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 1086 0 0 0 69 0 0 0 18 0 4 0 652883520 292212736 2588 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=285364 CPUtime=0.67 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 909 0 0 0 67 0 0 0 24 0 4 0 652883520 292212736 2588 33554432000 4194304 4650419 140733627232240 18446744073709551615 4333763 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285364

[startup+1.50067 s]
/proc/loadavg: 5.91 7.58 7.92 10/405 29496
/proc/meminfo: memFree=24215836/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=286860 CPUtime=5.96 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 7888 0 0 0 594 2 0 0 20 0 4 0 652883520 293744640 3358 33554432000 4194304 4650419 140733627232240 18446744073709551615 4361029 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 71715 3358 393 112 0 66680 0
[pid=29488/tid=29490] ppid=29484 vsize=286860 CPUtime=1.48 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 2059 0 0 0 148 0 0 0 19 0 4 0 652883520 293744640 3358 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=286860 CPUtime=1.49 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 1825 0 0 0 149 0 0 0 19 0 4 0 652883520 293744640 3358 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=286860 CPUtime=1.46 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 1466 0 0 0 146 0 0 0 25 0 4 0 652883520 293744640 3358 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286860

[startup+3.1004 s]
/proc/loadavg: 5.91 7.58 7.92 10/405 29496
/proc/meminfo: memFree=24187440/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=296264 CPUtime=12.34 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 17804 0 0 0 1230 4 0 0 25 0 4 0 652883520 303374336 10566 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29488/statm: 74066 10566 394 112 0 69031 0
[pid=29488/tid=29490] ppid=29484 vsize=296264 CPUtime=3.09 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 4666 0 0 0 308 1 0 0 25 0 4 0 652883520 303374336 10566 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=296264 CPUtime=3.09 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 5593 0 0 0 309 0 0 0 25 0 4 0 652883520 303374336 10566 33554432000 4194304 4650419 140733627232240 18446744073709551615 4435451 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=296264 CPUtime=3.04 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 2448 0 0 0 304 0 0 0 25 0 4 0 652883520 303374336 10566 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364907 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 296264

[startup+6.30085 s]
/proc/loadavg: 6.08 7.59 7.92 10/405 29496
/proc/meminfo: memFree=24120852/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=314636 CPUtime=24.1 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 26720 0 0 0 2398 12 0 0 25 0 4 0 652883520 322187264 16542 33554432000 4194304 4650419 140733627232240 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29488/statm: 78659 16543 394 112 0 73624 0
[pid=29488/tid=29490] ppid=29484 vsize=314636 CPUtime=6.29 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 7783 0 0 0 627 2 0 0 25 0 4 0 652883520 322187264 16543 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476778 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=314636 CPUtime=6.29 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 6627 0 0 0 628 1 0 0 25 0 4 0 652883520 322187264 16543 33554432000 4194304 4650419 140733627232240 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=314636 CPUtime=6.2 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 5620 0 0 0 619 1 0 0 25 0 4 0 652883520 322187264 16543 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 314636

[startup+12.7008 s]
/proc/loadavg: 6.23 7.60 7.92 10/405 29496
/proc/meminfo: memFree=24071948/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=306900 CPUtime=48.2 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 40763 0 0 0 4798 22 0 0 25 0 4 0 652883520 314265600 23752 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 76725 23752 394 112 0 71690 0
[pid=29488/tid=29490] ppid=29484 vsize=306900 CPUtime=12.69 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 12444 0 0 0 1266 3 0 0 25 0 4 0 652883520 314265600 23752 33554432000 4194304 4650419 140733627232240 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=306900 CPUtime=12.55 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 10724 0 0 0 1250 5 0 0 25 0 4 0 652883520 314265600 23752 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=306900 CPUtime=12.5 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 8194 0 0 0 1249 1 0 0 25 0 4 0 652883520 314265600 23752 33554432000 4194304 4650419 140733627232240 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.2
Current children cumulated vsize (KiB) 306900

[startup+25.5005 s]
/proc/loadavg: 6.70 7.63 7.92 10/405 29496
/proc/meminfo: memFree=24025324/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=298704 CPUtime=99.18 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 61555 0 0 0 9886 32 0 0 25 0 4 0 652883520 305872896 30725 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 74676 30725 394 112 0 69641 0
[pid=29488/tid=29490] ppid=29484 vsize=298704 CPUtime=25.48 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 18283 0 0 0 2544 4 0 0 25 0 4 0 652883520 305872896 30725 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=298704 CPUtime=25.33 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 16310 0 0 0 2522 11 0 0 25 0 4 0 652883520 305872896 30725 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=298704 CPUtime=25.11 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 11056 0 0 0 2509 2 0 0 25 0 4 0 652883520 305872896 30725 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.18
Current children cumulated vsize (KiB) 298704

[startup+51.1011 s]
/proc/loadavg: 7.14 7.66 7.92 10/405 29497
/proc/meminfo: memFree=23970100/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=280440 CPUtime=201.17 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 91535 0 0 0 20076 41 0 0 25 0 4 0 652883520 287170560 36842 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 70110 36842 394 112 0 65075 0
[pid=29488/tid=29490] ppid=29484 vsize=280440 CPUtime=51.07 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 27082 0 0 0 5100 7 0 0 25 0 4 0 652883520 287170560 36842 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=280440 CPUtime=50.91 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 23965 0 0 0 5077 14 0 0 25 0 4 0 652883520 287170560 36842 33554432000 4194304 4650419 140733627232240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=280440 CPUtime=50.34 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 14464 0 0 0 5031 3 0 0 25 0 4 0 652883520 287170560 36842 33554432000 4194304 4650419 140733627232240 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.17
Current children cumulated vsize (KiB) 280440

[startup+102.316 s]
/proc/loadavg: 7.62 7.71 7.92 10/405 29498
/proc/meminfo: memFree=23867040/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=433152 CPUtime=405.28 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 135566 0 0 0 40472 56 0 0 25 0 4 0 652883520 443547648 49247 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 108288 49247 394 112 0 103253 0
[pid=29488/tid=29490] ppid=29484 vsize=433152 CPUtime=102.26 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 39876 0 0 0 10216 10 0 0 25 0 4 0 652883520 443547648 49247 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=433152 CPUtime=102.11 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 34300 0 0 0 10193 18 0 0 25 0 4 0 652883520 443547648 49247 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=433152 CPUtime=100.83 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 20833 0 0 0 10078 5 0 0 25 0 4 0 652883520 443547648 49247 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.28
Current children cumulated vsize (KiB) 433152

[startup+162.301 s]

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

[pid=29488] ppid=29484 vsize=655720 CPUtime=2796.55 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 467302 0 0 0 279462 193 0 0 25 0 4 0 652883520 671457280 110463 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 163930 110463 394 112 0 158895 0
[pid=29488/tid=29490] ppid=29484 vsize=655720 CPUtime=702.11 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 136299 0 0 0 70162 49 0 0 25 0 4 0 652883520 671457280 110463 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=655720 CPUtime=701.69 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 116370 0 0 0 70108 61 0 0 25 0 4 0 652883520 671457280 110463 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=655720 CPUtime=692.72 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 72323 0 0 0 69247 25 0 0 25 0 4 0 652883520 671457280 110463 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2796.55
Current children cumulated vsize (KiB) 655720

[startup+762.316 s]
/proc/loadavg: 8.19 8.08 8.01 10/405 29516
/proc/meminfo: memFree=23340624/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=665456 CPUtime=3035.72 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 489636 0 0 0 303366 206 0 0 25 0 4 0 652883520 681426944 110660 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 166364 110660 394 112 0 161329 0
[pid=29488/tid=29490] ppid=29484 vsize=665456 CPUtime=762.1 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 143612 0 0 0 76158 52 0 0 25 0 4 0 652883520 681426944 110660 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=665456 CPUtime=761.66 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 123272 0 0 0 76100 66 0 0 25 0 4 0 652883520 681426944 110660 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=665456 CPUtime=751.92 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 72851 0 0 0 75167 25 0 0 25 0 4 0 652883520 681426944 110660 33554432000 4194304 4650419 140733627232240 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3035.72
Current children cumulated vsize (KiB) 665456

[startup+822.301 s]
/proc/loadavg: 8.12 8.08 8.01 10/405 29517
/proc/meminfo: memFree=23330320/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=728596 CPUtime=3274.81 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 511604 0 0 0 327263 218 0 0 25 0 4 0 652883520 746082304 109585 33554432000 4194304 4650419 140733627232240 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 182149 109585 394 112 0 177114 0
[pid=29488/tid=29490] ppid=29484 vsize=728596 CPUtime=822.08 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 151552 0 0 0 82152 56 0 0 25 0 4 0 652883520 746082304 109585 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=728596 CPUtime=821.6 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 126793 0 0 0 82091 69 0 0 25 0 4 0 652883520 746082304 109585 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=728596 CPUtime=811.1 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 75541 0 0 0 81083 27 0 0 25 0 4 0 652883520 746082304 109585 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3274.81
Current children cumulated vsize (KiB) 728596

[startup+882.301 s]
/proc/loadavg: 8.15 8.09 8.02 10/405 29519
/proc/meminfo: memFree=23342588/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=634172 CPUtime=3513.94 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 536455 0 0 0 351165 229 0 0 25 0 4 0 652883520 649392128 112925 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 158543 112925 394 112 0 153508 0
[pid=29488/tid=29490] ppid=29484 vsize=634172 CPUtime=882.07 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 162802 0 0 0 88148 59 0 0 25 0 4 0 652883520 649392128 112925 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=634172 CPUtime=881.56 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 132628 0 0 0 88083 73 0 0 25 0 4 0 652883520 649392128 112925 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=634172 CPUtime=870.28 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 79378 0 0 0 87000 28 0 0 25 0 4 0 652883520 649392128 112925 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3513.94
Current children cumulated vsize (KiB) 634172

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 8.02 10/405 29521
/proc/meminfo: memFree=23297936/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=636940 CPUtime=3753.06 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 563879 0 0 0 375066 240 0 0 25 0 4 0 652883520 652226560 108457 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 159235 108457 394 112 0 154200 0
[pid=29488/tid=29490] ppid=29484 vsize=636940 CPUtime=942.05 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 168463 0 0 0 94144 61 0 0 25 0 4 0 652883520 652226560 108457 33554432000 4194304 4650419 140733627232240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=636940 CPUtime=941.5 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 141443 0 0 0 94074 76 0 0 25 0 4 0 652883520 652226560 108457 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=636940 CPUtime=929.48 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 85087 0 0 0 92917 31 0 0 25 0 4 0 652883520 652226560 108457 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3753.06
Current children cumulated vsize (KiB) 636940

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.02 10/405 29522
/proc/meminfo: memFree=23272384/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=703456 CPUtime=3992.19 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 588335 0 0 0 398968 251 0 0 25 0 4 0 652883520 720338944 119554 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 175864 119554 394 112 0 170829 0
[pid=29488/tid=29490] ppid=29484 vsize=703456 CPUtime=1002.04 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 176537 0 0 0 100140 64 0 0 25 0 4 0 652883520 720338944 119554 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=703456 CPUtime=1001.46 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 147115 0 0 0 100066 80 0 0 25 0 4 0 652883520 720338944 119554 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=703456 CPUtime=988.66 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 89228 0 0 0 98833 33 0 0 25 0 4 0 652883520 720338944 119554 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3992.19
Current children cumulated vsize (KiB) 703456

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.02 10/405 29524
/proc/meminfo: memFree=23310064/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=663544 CPUtime=4231.32 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 612594 0 0 0 422870 262 0 0 25 0 4 0 652883520 679469056 112820 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 165886 112820 394 112 0 160851 0
[pid=29488/tid=29490] ppid=29484 vsize=663544 CPUtime=1062.03 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 183801 0 0 0 106136 67 0 0 25 0 4 0 652883520 679469056 112820 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=663544 CPUtime=1061.42 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 152684 0 0 0 106058 84 0 0 25 0 4 0 652883520 679469056 112820 33554432000 4194304 4650419 140733627232240 18446744073709551615 4313307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=663544 CPUtime=1047.84 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 92609 0 0 0 104750 34 0 0 25 0 4 0 652883520 679469056 112820 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4231.32
Current children cumulated vsize (KiB) 663544

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.02 10/405 29525
/proc/meminfo: memFree=23262440/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=666564 CPUtime=4470.45 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 634104 0 0 0 446772 273 0 0 25 0 4 0 652883520 682561536 118968 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 166641 118968 394 112 0 161606 0
[pid=29488/tid=29490] ppid=29484 vsize=666564 CPUtime=1122.02 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 189771 0 0 0 112131 71 0 0 25 0 4 0 652883520 682561536 118968 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=666564 CPUtime=1121.39 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 157329 0 0 0 112052 87 0 0 25 0 4 0 652883520 682561536 118968 33554432000 4194304 4650419 140733627232240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=666564 CPUtime=1107.02 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 95550 0 0 0 110667 35 0 0 25 0 4 0 652883520 682561536 118968 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4470.45
Current children cumulated vsize (KiB) 666564

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.02 10/405 29527
/proc/meminfo: memFree=23209604/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=733872 CPUtime=4709.54 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 664843 0 0 0 470672 282 0 0 25 0 4 0 652883520 751484928 128252 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 183468 128252 394 112 0 178433 0
[pid=29488/tid=29490] ppid=29484 vsize=733872 CPUtime=1182 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 208696 0 0 0 118127 73 0 0 25 0 4 0 652883520 751484928 128252 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=733872 CPUtime=1181.33 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 158085 0 0 0 118044 89 0 0 25 0 4 0 652883520 751484928 128252 33554432000 4194304 4650419 140733627232240 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=733872 CPUtime=1166.17 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 98038 0 0 0 116580 37 0 0 25 0 4 0 652883520 751484928 128252 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4709.54
Current children cumulated vsize (KiB) 733872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.1 s]
/proc/loadavg: 7.79 8.02 8.00 5/400 29529
/proc/meminfo: memFree=23720272/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=791996 CPUtime=4800.43 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 675708 0 0 0 479760 283 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 197999 129207 394 112 0 192964 0
[pid=29488/tid=29490] ppid=29484 vsize=791996 CPUtime=1204.83 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 218458 0 0 0 120408 75 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=791996 CPUtime=1204.14 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 159188 0 0 0 120324 90 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=791996 CPUtime=1188.64 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 98038 0 0 0 118827 37 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 791996

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

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

[startup+1205.1 s]
/proc/loadavg: 7.79 8.02 8.00 5/400 29529
/proc/meminfo: memFree=23720272/32951132 swapFree=67093844/67111528
[pid=29488] ppid=29484 vsize=791996 CPUtime=4800.43 cores=0,2,4,6
/proc/29488/stat : 29488 (strangenight1-m) R 29484 29488 28827 0 -1 4202496 675708 0 0 0 479760 283 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29488/statm: 197999 129207 394 112 0 192964 0
[pid=29488/tid=29490] ppid=29484 vsize=791996 CPUtime=1204.83 cores=0,2,4,6
/proc/29488/task/29490/stat : 29490 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 218458 0 0 0 120408 75 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29488/tid=29491] ppid=29484 vsize=791996 CPUtime=1204.14 cores=0,2,4,6
/proc/29488/task/29491/stat : 29491 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 159188 0 0 0 120324 90 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29488/tid=29494] ppid=29484 vsize=791996 CPUtime=1188.64 cores=0,2,4,6
/proc/29488/task/29494/stat : 29494 (strangenight1-m) R 29484 29488 28827 0 -1 4202560 98038 0 0 0 118827 37 0 0 25 0 4 0 652883520 811003904 129207 33554432000 4194304 4650419 140733627232240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 791996

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.15
CPU time (s): 4800.49
CPU user time (s): 4797.63
CPU system time (s): 2.86356
CPU usage (%): 398.333
Max. virtual memory (cumulated for all children) (KiB): 842360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.63
system time used= 2.86356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675708
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= 251
involuntary context switches= 45407

runsolver used 4.6003 second user time and 11.8062 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 00:40:49
IDJOB=3369383
IDBENCH=83146
IDSOLVER=1846
FILE ID=node128/3369383-1305412849
RUNJOBID= node128-1305412849-29469
PBS_JOBID= 13324496
Free space on /tmp= 73608 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n220-s24359701-sat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369383-1305412849/watcher-3369383-1305412849 -o /tmp/evaluation-result-3369383-1305412849/solver-3369383-1305412849 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369383-1305412849.cnf

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

MD5SUM BENCH= ceff918324677440f95867755c4e7133
RANDOM SEED=1669916856

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24243564 kB
Buffers:        268560 kB
Cached:        2893616 kB
SwapCached:       1440 kB
Active:        6328664 kB
Inactive:      2088880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24243564 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           12480 kB
Writeback:           0 kB
AnonPages:     5254312 kB
Mapped:          31404 kB
Slab:           187256 kB
PageTables:      37816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100671324 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= 73600 MiB
End job on node128 at 2011-05-15 01:00:56