Trace number 3369391

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.34 1203.65

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
MD5SUM1f90ac4288669aff970e47f4201b5ea4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.2234
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of clauses576
Sum of the clauses size1440
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2480
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 596
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369391-1305413239.cnf'
0.00/0.00	c -- header says num vars:            240
0.00/0.00	c -- header says num clauses:         576
0.00/0.00	c -- clauses added:            0 learnts,          576 normals,            0 xors
0.00/0.00	c -- vars added        240
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       240        96       480         0      1440         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:     125 undec:       0 neg:     115
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.00	c  B st     0         0       240        96       480         0      1440         0   no data   no data  --
3.16/0.85	c Decided on static restart strategy
3.16/0.85	c  N st     8      4914       240        96       480      4815      1440    178320   no data   no data  --
3.16/0.85	c  N st    10     11299       240        96       480      4459      1440    131198   no data   no data  --
3.16/0.85	c  N st    11     17043       240        96       480     10108      1440    365792   no data   no data  --
5.16/1.32	c  F st    12     25002       240        96       480     12374      1440    429637   no data   no data  --
5.16/1.32	c  N st    12     25002       240        96       480     12374      1440    429637   no data   no data  --
6.36/1.64	c Decided on static restart strategy
6.36/1.64	c  N st    18     30002       240        96       480     10626      1440    321154   no data   no data  --
6.36/1.64	c  S st    18     30002       240        96       480     10626      1440    321154   no data   no data  --
6.36/1.69	c  S st    18     30503       240        96       480     11123      1440    337352   no data   no data  --
6.36/1.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.76/1.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
6.76/1.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.76/1.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
6.76/1.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
6.76/1.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.45	c lits-rem:       245  cl-subs:      154  v-elim:      0  v-fix:    0  time:  2.72 s
9.54/2.45	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.01
9.54/2.45	c calculated reachability. Time: 0.00
9.54/2.45	c  N st    18     30503       240        96       480     10969      1440    330604   no data   no data  --
11.55/2.96	c  N st    20     37614       240        96       480     10185      1440    284068   no data   no data  --
13.53/3.49	c  N st    21     44013       240        96       480     16489      1440    545690   no data   no data  --
14.33/3.64	c  S st    22     45754       240        96       480      9402      1440    226818   no data   no data  --
14.33/3.69	c  S st    22     46256       240        96       480      9903      1440    242784   no data   no data  --
14.33/3.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.33/3.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.73/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
14.73/3.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
14.73/3.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
14.73/3.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.13/3.80	c lits-rem:        61  cl-subs:       29  v-elim:      0  v-fix:    0  time:  0.26 s
15.13/3.80	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
15.13/3.80	c vivif2 --  cl tried     9874 cl shrink        0 lits rem          0 time: 0.01
15.13/3.81	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.01
15.13/3.81	c calculated reachability. Time: 0.00
15.13/3.81	c  N st    22     46256       240        96       480      9874      1440    241581   no data   no data  --
19.92/5.00	c  N st    23     60653       240        96       480     14157      1440    395716   no data   no data  --
22.70/5.71	c  N st    24     69385       240        96       480     11981      1440    289536   no data   no data  --
22.70/5.71	c  S st    24     69385       240        96       480     11981      1440    289536   no data   no data  --
22.70/5.77	c  S st    24     69890       240        96       480     12485      1440    305490   no data   no data  --
22.70/5.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.70/5.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.70/5.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
22.70/5.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.10/5.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
23.10/5.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
23.10/5.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.50/6.41	c lits-rem:        95  cl-subs:       44  v-elim:      0  v-fix:    0  time:  2.35 s
25.50/6.41	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
25.50/6.41	c vivif2 --  cl tried    12441 cl shrink        0 lits rem          0 time: 0.02
25.50/6.42	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.01
25.50/6.42	c calculated reachability. Time: 0.00
25.50/6.42	c  N st    24     69890       240        96       480     12441      1440    303659   no data   no data  --
31.88/8.01	c  F st    25     87500       240        96       480     17944      1440    487516   no data   no data  --
31.88/8.01	c  N st    25     87500       240        96       480     17944      1440    487516   no data   no data  --
33.88/8.55	c Decided on static restart strategy
35.12/8.84	c  N st    32     95543       240        96       480     13088      1440    280592   no data   no data  --
38.27/9.69	c  N st    34    104839       240        96       480     22252      1440    612153   no data   no data  --
38.27/9.69	c  S st    34    104839       240        96       480     22252      1440    612153   no data   no data  --
38.67/9.79	c  S st    34    105343       240        96       480     22754      1440    628473   no data   no data  --
38.67/9.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.67/9.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.67/9.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.05
39.08/9.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.50/9.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.35 s
39.50/9.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
39.50/9.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.64/11.29	c lits-rem:       292  cl-subs:      207  v-elim:      0  v-fix:    0  time:  5.47 s
44.64/11.29	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
44.64/11.29	c vivif2 --  cl tried    22547 cl shrink        0 lits rem          0 time: 0.03
45.04/11.30	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.02
45.04/11.30	c calculated reachability. Time: 0.00
45.04/11.30	c  N st    34    105343       240        96       480     22547      1440    620545   no data   no data  --
48.63/12.21	c  N st    35    114944       240        96       480     18173      1440    479473   no data   no data  --
56.21/14.15	c  N st    36    129341       240        96       480     17598      1440    423632   no data   no data  --
66.17/16.65	c  N st    37    150938       240        96       480     23106      1440    609324   no data   no data  --
69.78/17.54	c  S st    38    158014       240        96       480     30105      1440    870553   no data   no data  --
70.21/17.67	c  S st    38    158517       240        96       480     30605      1440    886959   no data   no data  --
70.21/17.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
70.21/17.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
70.21/17.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
70.56/17.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.96/17.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.55 s
70.96/17.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
70.96/17.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.15/19.62	c lits-rem:       603  cl-subs:      361  v-elim:      0  v-fix:    0  time:  7.04 s
78.15/19.62	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
78.15/19.63	c vivif2 --  cl tried    30244 cl shrink        0 lits rem          0 time: 0.04
78.15/19.64	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.04
78.15/19.64	c calculated reachability. Time: 0.00
78.15/19.64	c  N st    38    158517       240        96       480     30244      1440    872125   no data   no data  --
102.87/25.81	c  N st    39    207105       240        96       480     24757      1440    632308   no data   no data  --
121.62/30.50	c  N st    40    237775       240        96       480     35325      1440   1032549   no data   no data  --
121.62/30.50	c  S st    40    237775       240        96       480     35325      1440   1032549   no data   no data  --
122.02/30.67	c  S st    40    238278       240        96       480     35825      1440   1047767   no data   no data  --
122.02/30.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
122.02/30.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
122.02/30.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
122.43/30.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
122.85/30.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.61 s
122.85/30.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
122.85/30.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
127.99/32.17	c lits-rem:       359  cl-subs:      455  v-elim:      0  v-fix:    0  time:  5.13 s
127.99/32.17	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
127.99/32.18	c vivif2 --  cl tried    35370 cl shrink        0 lits rem          0 time: 0.05
127.99/32.20	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.06
128.39/32.20	c calculated reachability. Time: 0.00
128.39/32.20	c  N st    40    238278       240        96       480     35370      1440   1028769   no data   no data  --
169.87/42.67	c  F st    41    306250       240        96       480     37416      1440   1021897   no data   no data  --
169.87/42.67	c  N st    41    306250       240        96       480     37416      1440   1021897   no data   no data  --
174.25/43.74	c Decided on static restart strategy
189.40/47.53	c  N st    51    334552       240        96       480     41604      1440   1123676   no data   no data  --
204.96/51.42	c  N st    53    357417       240        96       480     39415      1440   1028947   no data   no data  --
204.96/51.42	c  S st    53    357417       240        96       480     39415      1440   1028947   no data   no data  --
205.36/51.61	c  S st    53    357917       240        96       480     39914      1440   1044810   no data   no data  --
205.77/51.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
205.77/51.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
205.77/51.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.14
205.77/51.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
206.56/51.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.61 s
206.56/51.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
206.56/51.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
210.94/52.92	c lits-rem:       491  cl-subs:      518  v-elim:      0  v-fix:    0  time:  4.39 s
210.94/52.92	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
210.94/52.94	c vivif2 --  cl tried    39396 cl shrink        0 lits rem          0 time: 0.05
210.94/52.95	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.06
210.94/52.95	c calculated reachability. Time: 0.00
210.94/52.95	c  N st    53    357917       240        96       480     39396      1440   1025728   no data   no data  --
234.08/58.77	c  N st    54    390310       240        96       480     45532      1440   1290317   no data   no data  --
267.97/67.28	c  N st    55    438901       240        96       480     39443      1440    956028   no data   no data  --
327.80/82.21	c  N st    56    511783       240        96       480     52759      1440   1449599   no data   no data  --
346.58/86.95	c  N st    57    536875       240        96       480     47126      1440   1166482   no data   no data  --
346.58/86.95	c  S st    57    536875       240        96       480     47126      1440   1166482   no data   no data  --
347.33/87.16	c  S st    57    537377       240        96       480     47626      1440   1181696   no data   no data  --
347.33/87.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
347.33/87.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.73/87.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.18
347.73/87.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
348.54/87.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.68 s
348.54/87.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
348.54/87.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
353.72/88.78	c lits-rem:        68  cl-subs:      488  v-elim:      0  v-fix:    0  time:  5.49 s
353.72/88.78	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
354.12/88.80	c vivif2 --  cl tried    47138 cl shrink        0 lits rem          0 time: 0.06
354.12/88.82	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.06
354.12/88.82	c calculated reachability. Time: 0.00
354.12/88.82	c  N st    57    537377       240        96       480     47138      1440   1165383   no data   no data  --
486.54/122.02	c  N st    58    701363       240        96       480     41239      1440    849969   no data   no data  --
594.20/149.05	c  N st    59    806066       240        96       480     70457      1440   1909947   no data   no data  --
594.20/149.05	c  S st    59    806066       240        96       480     70457      1440   1909947   no data   no data  --
595.80/149.41	c  S st    59    806569       240        96       480     70960      1440   1926341   no data   no data  --
595.80/149.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
595.80/149.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
595.80/149.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.30
596.21/149.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
597.39/149.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.25 s
597.39/149.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
597.39/149.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
612.95/153.76	c lits-rem:       298  cl-subs:      999  v-elim:      0  v-fix:    0  time: 15.56 s
612.95/153.76	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
612.95/153.78	c vivif2 --  cl tried    69961 cl shrink        0 lits rem          0 time: 0.10
613.35/153.82	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.12
613.35/153.82	c calculated reachability. Time: 0.00
613.35/153.82	c  N st    59    806569       240        96       480     69961      1440   1889985   no data   no data  --
908.11/227.73	c  F st    60   1071878       240        96       480     85919      1440   2414458   no data   no data  --
908.11/227.73	c  N st    60   1071878       240        96       480     85919      1440   2414458   no data   no data  --
914.45/229.34	c Decided on static restart strategy
938.39/235.40	c  N st    70   1100182       240        96       480     69518      1440   1677858   no data   no data  --
981.85/246.20	c  N st    72   1136175       240        96       480     59824      1440   1316315   no data   no data  --
1027.71/257.75	c  N st    73   1168567       240        96       480     91359      1440   2415581   no data   no data  --
1076.36/269.95	c  N st    74   1209854       240        96       480     85842      1440   2280830   no data   no data  --
1076.36/269.95	c  S st    74   1209854       240        96       480     85842      1440   2280830   no data   no data  --
1077.96/270.36	c  S st    74   1210356       240        96       480     86343      1440   2296524   no data   no data  --
1077.96/270.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1077.96/270.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1078.36/270.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.42
1078.77/270.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1080.35/270.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
1080.35/270.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1080.35/270.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1101.13/276.12	c lits-rem:       184  cl-subs:     1278  v-elim:      0  v-fix:    0  time: 20.54 s
1101.13/276.12	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
1101.13/276.15	c vivif2 --  cl tried    85065 cl shrink        0 lits rem          0 time: 0.12
1101.13/276.20	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.18
1101.48/276.20	c calculated reachability. Time: 0.00
1101.48/276.20	c  N st    74   1210356       240        96       480     85065      1440   2260226   no data   no data  --
1196.42/300.05	c  N st    75   1283238       240        96       480     61481      1440   1339119   no data   no data  --
1349.56/338.48	c  N st    76   1392562       240        96       480     69673      1440   1627974   no data   no data  --
1572.50/394.35	c  N st    77   1556547       240        96       480     74471      1440   1719940   no data   no data  --
1817.77/455.82	c  N st    78   1710356       240        96       480     60824      1440   1120475   no data   no data  --
1817.77/455.82	c  S st    78   1710356       240        96       480     60824      1440   1120475   no data   no data  --
1818.96/456.19	c  S st    78   1710859       240        96       480     61325      1440   1136067   no data   no data  --
1818.96/456.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1818.96/456.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1819.36/456.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.30
1819.76/456.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1820.17/456.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.62 s
1820.17/456.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1820.17/456.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1828.54/458.56	c lits-rem:        48  cl-subs:      171  v-elim:      0  v-fix:    0  time:  8.40 s
1828.54/458.56	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
1828.54/458.58	c vivif2 --  cl tried    61154 cl shrink        0 lits rem          0 time: 0.07
1828.95/458.61	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.11
1828.95/458.61	c calculated reachability. Time: 0.00
1828.95/458.61	c  N st    78   1710859       240        96       480     61154      1440   1130715   no data   no data  --
2408.82/604.00	c  N st    79   2079824       240        96       480     66986      1440   1232522   no data   no data  --
2665.69/668.44	c  N st    80   2210860       240        96       480     68787      1440   1251961   no data   no data  --
2665.69/668.44	c  S st    80   2210860       240        96       480     68787      1440   1251961   no data   no data  --
2667.33/668.83	c  S st    80   2211361       240        96       480     69284      1440   1268586   no data   no data  --
2667.33/668.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2667.33/668.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2667.68/668.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.34
2667.68/668.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2668.48/669.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.61 s
2668.48/669.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
2668.48/669.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2674.46/670.66	c lits-rem:        25  cl-subs:      246  v-elim:      0  v-fix:    0  time:  6.17 s
2674.46/670.66	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
2674.46/670.68	c vivif2 --  cl tried    69038 cl shrink        0 lits rem          0 time: 0.08
2674.86/670.71	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.13
2674.86/670.71	c calculated reachability. Time: 0.00
2674.86/670.71	c  N st    80   2211361       240        96       480     69038      1440   1261073   no data   no data  --
3559.07/892.47	c  N st    81   2711361       240        96       480     85350      1440   1741913   no data   no data  --
3559.07/892.47	c  S st    81   2711361       240        96       480     85350      1440   1741913   no data   no data  --
3561.07/892.94	c  S st    81   2711864       240        96       480     85852      1440   1757830   no data   no data  --
3561.07/892.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3561.07/892.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3561.47/893.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.45
3561.88/893.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3562.66/893.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.92 s
3562.66/893.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
3562.66/893.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3586.19/899.21	c lits-rem:       532  cl-subs:      827  v-elim:      0  v-fix:    0  time: 23.39 s
3586.19/899.21	c vivif2 --  cl tried       96 cl shrink        0 lits rem          0 time: 0.00
3586.19/899.24	c vivif2 --  cl tried    85025 cl shrink        0 lits rem          0 time: 0.11
3586.19/899.28	c asymm  cl-useful: 0/96/96 lits-rem:0 time: 0.18
3586.19/899.29	c calculated reachability. Time: 0.00
3586.19/899.29	c  N st    81   2711864       240        96       480     85025      1440   1733357   no data   no data  --
4561.35/1143.77	c  N st    82   3211864       240        96       480    131224      1440   3502156   no data   no data  --
4561.35/1143.77	c  S st    82   3211864       240        96       480    131224      1440   3502156   no data   no data  --
4564.94/1144.68	c  S st    82   3212366       240        96       480    131725      1440   3517641   no data   no data  --
4565.34/1144.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4565.34/1144.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4566.14/1144.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.2M T:  1.01
4566.55/1145.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4570.53/1146.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.74 s
4570.53/1146.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
4570.53/1146.02	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-3369391-1305413239/watcher-3369391-1305413239 -o /tmp/evaluation-result-3369391-1305413239/solver-3369391-1305413239 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369391-1305413239.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: 3.77 5.39 6.88 2/359 1467
/proc/meminfo: memFree=25734540/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 409 0 0 0 0 0 0 0 24 0 3 0 633739502 41975808 350 33554432000 4194304 4650419 140734542422752 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1467/statm: 10248 350 303 112 0 5213 0
[pid=1467/tid=1470] ppid=1465 vsize=216240 CPUtime=0 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 69 0 0 0 0 0 0 0 25 0 4 0 633739503 221429760 645 33554432000 4194304 4650419 140734542422752 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=216240 CPUtime=0 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 4 0 633739503 221429760 646 33554432000 4194304 4650419 140734542422752 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=216240 CPUtime=0 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 80 0 0 0 0 0 0 0 25 0 4 0 633739503 221429760 646 33554432000 4194304 4650419 140734542422752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.060373 s]
/proc/loadavg: 3.77 5.39 6.88 2/359 1467
/proc/meminfo: memFree=25734540/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=216508 CPUtime=0.21 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 1203 0 0 0 21 0 0 0 18 0 4 0 633739502 221704192 1124 33554432000 4194304 4650419 140734542422752 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 54127 1124 390 112 0 49092 0
[pid=1467/tid=1470] ppid=1465 vsize=216508 CPUtime=0.05 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 175 0 0 0 5 0 0 0 18 0 4 0 633739503 221704192 1124 33554432000 4194304 4650419 140734542422752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=216508 CPUtime=0.04 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 182 0 0 0 4 0 0 0 25 0 4 0 633739503 221704192 1124 33554432000 4194304 4650419 140734542422752 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=216508 CPUtime=0.05 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 193 0 0 0 5 0 0 0 18 0 4 0 633739503 221704192 1124 33554432000 4194304 4650419 140734542422752 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 216508

[startup+0.113629 s]
/proc/loadavg: 3.77 5.39 6.88 2/359 1467
/proc/meminfo: memFree=25734540/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=216640 CPUtime=0.42 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 1561 0 0 0 42 0 0 0 18 0 4 0 633739502 221839360 1482 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 54160 1482 390 112 0 49125 0
[pid=1467/tid=1470] ppid=1465 vsize=216640 CPUtime=0.1 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 274 0 0 0 10 0 0 0 18 0 4 0 633739503 221839360 1482 33554432000 4194304 4650419 140734542422752 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=216640 CPUtime=0.1 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 256 0 0 0 10 0 0 0 25 0 4 0 633739503 221839360 1482 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=216640 CPUtime=0.1 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 283 0 0 0 10 0 0 0 18 0 4 0 633739503 221839360 1482 33554432000 4194304 4650419 140734542422752 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 216640

[startup+0.300594 s]
/proc/loadavg: 3.77 5.39 6.88 2/359 1467
/proc/meminfo: memFree=25734540/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=218444 CPUtime=1.17 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 2808 0 0 0 117 0 0 0 18 0 4 0 633739502 223686656 1940 33554432000 4194304 4650419 140734542422752 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 54611 1940 392 112 0 49576 0
[pid=1467/tid=1470] ppid=1465 vsize=218444 CPUtime=0.29 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 591 0 0 0 29 0 0 0 18 0 4 0 633739503 223686656 1940 33554432000 4194304 4650419 140734542422752 18446744073709551615 4327515 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=218444 CPUtime=0.28 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 566 0 0 0 28 0 0 0 25 0 4 0 633739503 223686656 1940 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=218444 CPUtime=0.29 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 573 0 0 0 29 0 0 0 18 0 4 0 633739503 223686656 1940 33554432000 4194304 4650419 140734542422752 18446744073709551615 4360758 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218444

[startup+0.700519 s]
/proc/loadavg: 3.77 5.39 6.88 2/359 1467
/proc/meminfo: memFree=25734540/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=219908 CPUtime=2.77 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 4773 0 0 0 277 0 0 0 18 0 4 0 633739502 225185792 2677 33554432000 4194304 4650419 140734542422752 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 54977 2677 392 112 0 49942 0
[pid=1467/tid=1470] ppid=1465 vsize=219908 CPUtime=0.69 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 1105 0 0 0 69 0 0 0 18 0 4 0 633739503 225185792 2677 33554432000 4194304 4650419 140734542422752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=219908 CPUtime=0.68 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 1053 0 0 0 68 0 0 0 25 0 4 0 633739503 225185792 2677 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=219908 CPUtime=0.69 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 995 0 0 0 69 0 0 0 18 0 4 0 633739503 225185792 2677 33554432000 4194304 4650419 140734542422752 18446744073709551615 4334208 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 219908

[startup+1.50037 s]
/proc/loadavg: 3.77 5.39 6.88 9/371 1482
/proc/meminfo: memFree=25707852/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=230168 CPUtime=5.96 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 8309 0 0 0 595 1 0 0 20 0 4 0 633739502 235692032 3610 33554432000 4194304 4650419 140734542422752 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 57542 3610 393 112 0 52507 0
[pid=1467/tid=1470] ppid=1465 vsize=230168 CPUtime=1.49 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 2133 0 0 0 149 0 0 0 19 0 4 0 633739503 235692032 3610 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=230168 CPUtime=1.47 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 1810 0 0 0 147 0 0 0 25 0 4 0 633739503 235692032 3610 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=230168 CPUtime=1.49 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 1763 0 0 0 149 0 0 0 20 0 4 0 633739503 235692032 3610 33554432000 4194304 4650419 140734542422752 18446744073709551615 4331254 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 230168

[startup+3.10107 s]
/proc/loadavg: 4.19 5.45 6.89 9/371 1482
/proc/meminfo: memFree=25681192/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=239720 CPUtime=12.35 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 18279 0 0 0 1233 2 0 0 25 0 4 0 633739502 245473280 10659 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366769 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 59930 10659 394 112 0 54895 0
[pid=1467/tid=1470] ppid=1465 vsize=239720 CPUtime=3.08 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 4993 0 0 0 308 0 0 0 25 0 4 0 633739503 245473280 10659 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=239720 CPUtime=3.05 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 5347 0 0 0 305 0 0 0 25 0 4 0 633739503 245473280 10659 33554432000 4194304 4650419 140734542422752 18446744073709551615 4435706 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=239720 CPUtime=3.09 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 2584 0 0 0 309 0 0 0 25 0 4 0 633739503 245473280 10659 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 239720

[startup+6.30047 s]
/proc/loadavg: 4.19 5.45 6.89 9/371 1482
/proc/meminfo: memFree=25609540/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=249096 CPUtime=25.1 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 28142 0 0 0 2507 3 0 0 25 0 4 0 633739502 255074304 16700 33554432000 4194304 4650419 140734542422752 18446744073709551615 4438235 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 62274 16700 394 112 0 57239 0
[pid=1467/tid=1470] ppid=1465 vsize=249096 CPUtime=6.29 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 8592 0 0 0 628 1 0 0 25 0 4 0 633739503 255074304 16700 33554432000 4194304 4650419 140734542422752 18446744073709551615 4540594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=249096 CPUtime=6.22 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 6447 0 0 0 622 0 0 0 25 0 4 0 633739503 255074304 16700 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=249096 CPUtime=6.28 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 5077 0 0 0 628 0 0 0 25 0 4 0 633739503 255074304 16700 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366194 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 249096

[startup+12.7003 s]
/proc/loadavg: 4.77 5.53 6.90 9/371 1482
/proc/meminfo: memFree=25571340/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=247212 CPUtime=50.62 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 44567 0 0 0 5055 7 0 0 25 0 4 0 633739502 253145088 24344 33554432000 4194304 4650419 140734542422752 18446744073709551615 4330568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 61803 24344 394 112 0 56768 0
[pid=1467/tid=1470] ppid=1465 vsize=247212 CPUtime=12.68 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 14055 0 0 0 1266 2 0 0 25 0 4 0 633739503 253145088 24344 33554432000 4194304 4650419 140734542422752 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=247212 CPUtime=12.53 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 10059 0 0 0 1253 0 0 0 25 0 4 0 633739503 253145088 24344 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=247212 CPUtime=12.69 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 8400 0 0 0 1268 1 0 0 25 0 4 0 633739503 253145088 24344 33554432000 4194304 4650419 140734542422752 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 247212

[startup+25.5008 s]
/proc/loadavg: 5.27 5.61 6.91 9/371 1483
/proc/meminfo: memFree=25506620/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=284856 CPUtime=101.67 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 64543 0 0 0 10156 11 0 0 25 0 4 0 633739502 291692544 31644 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 71214 31644 394 112 0 66179 0
[pid=1467/tid=1470] ppid=1465 vsize=284856 CPUtime=25.48 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 20030 0 0 0 2545 3 0 0 25 0 4 0 633739503 291692544 31644 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=284856 CPUtime=25.18 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 13751 0 0 0 2517 1 0 0 25 0 4 0 633739503 291692544 31644 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=284856 CPUtime=25.48 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 10698 0 0 0 2547 1 0 0 25 0 4 0 633739503 291692544 31644 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 284856

[startup+51.101 s]
/proc/loadavg: 6.27 5.82 6.94 9/371 1483
/proc/meminfo: memFree=25444732/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=362528 CPUtime=203.76 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 93902 0 0 0 20358 18 0 0 25 0 4 0 633739502 371228672 38799 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 90632 38799 394 112 0 85597 0
[pid=1467/tid=1470] ppid=1465 vsize=362528 CPUtime=51.08 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 29860 0 0 0 5103 5 0 0 25 0 4 0 633739503 371228672 38799 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=362528 CPUtime=50.49 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 20851 0 0 0 5046 3 0 0 25 0 4 0 633739503 371228672 38799 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=362528 CPUtime=51.08 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 12407 0 0 0 5106 2 0 0 25 0 4 0 633739503 371228672 38799 33554432000 4194304 4650419 140734542422752 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 362528

[startup+102.313 s]
/proc/loadavg: 7.37 6.20 7.01 9/371 1485
/proc/meminfo: memFree=25371392/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=374656 CPUtime=408 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 139251 0 0 0 40769 31 0 0 25 0 4 0 633739502 383647744 52535 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 93664 52535 394 112 0 88629 0
[pid=1467/tid=1470] ppid=1465 vsize=374656 CPUtime=102.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 45691 0 0 0 10219 11 0 0 25 0 4 0 633739503 383647744 52535 33554432000 4194304 4650419 140734542422752 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=374656 CPUtime=101.09 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 30948 0 0 0 10104 5 0 0 25 0 4 0 633739503 383647744 52536 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=374656 CPUtime=102.28 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 13828 0 0 0 10226 2 0 0 25 0 4 0 633739503 383647744 52536 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 374656

[startup+162.301 s]

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

[pid=1467] ppid=1465 vsize=633044 CPUtime=2561.6 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 422257 0 0 0 256017 143 0 0 25 0 4 0 633739502 648237056 97956 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 158261 97956 394 112 0 153226 0
[pid=1467/tid=1470] ppid=1465 vsize=633044 CPUtime=642.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 152808 0 0 0 64177 53 0 0 25 0 4 0 633739503 648237056 97959 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=633044 CPUtime=634.75 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 89881 0 0 0 63447 28 0 0 25 0 4 0 633739503 648237056 97959 33554432000 4194304 4650419 140734542422752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=633044 CPUtime=642.22 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 40564 0 0 0 64210 12 0 0 25 0 4 0 633739503 648237056 97959 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.6
Current children cumulated vsize (KiB) 633044

[startup+702.301 s]
/proc/loadavg: 4.01 4.77 6.03 5/362 1518
/proc/meminfo: memFree=25334768/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=615420 CPUtime=2800.9 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 450509 0 0 0 279934 156 0 0 25 0 4 0 633739502 630190080 99907 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 153855 99907 394 112 0 148820 0
[pid=1467/tid=1470] ppid=1465 vsize=615420 CPUtime=702.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 164379 0 0 0 70171 59 0 0 25 0 4 0 633739503 630190080 99907 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=615420 CPUtime=694.05 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 93821 0 0 0 69376 29 0 0 25 0 4 0 633739503 630190080 99907 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=615420 CPUtime=702.21 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 44264 0 0 0 70207 14 0 0 25 0 4 0 633739503 630190080 99907 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.9
Current children cumulated vsize (KiB) 615420

[startup+762.314 s]
/proc/loadavg: 4.03 4.64 5.90 5/362 1519
/proc/meminfo: memFree=25309948/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=641596 CPUtime=3040.24 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 477078 0 0 0 303857 167 0 0 25 0 4 0 633739502 656994304 105842 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 160399 105842 394 112 0 155364 0
[pid=1467/tid=1470] ppid=1465 vsize=641596 CPUtime=762.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 173001 0 0 0 76168 62 0 0 25 0 4 0 633739503 656994304 105842 33554432000 4194304 4650419 140734542422752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=641596 CPUtime=753.35 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 99273 0 0 0 75304 31 0 0 25 0 4 0 633739503 656994304 105842 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=641596 CPUtime=762.23 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 48645 0 0 0 76207 16 0 0 25 0 4 0 633739503 656994304 105842 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.24
Current children cumulated vsize (KiB) 641596

[startup+822.3 s]
/proc/loadavg: 4.08 4.53 5.79 5/362 1521
/proc/meminfo: memFree=25303976/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=584684 CPUtime=3279.49 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 499559 0 0 0 327772 177 0 0 25 0 4 0 633739502 598716416 107423 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 146171 107423 394 112 0 141136 0
[pid=1467/tid=1470] ppid=1465 vsize=584684 CPUtime=822.29 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 181282 0 0 0 82162 67 0 0 25 0 4 0 633739503 598716416 107423 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=584684 CPUtime=812.65 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 103729 0 0 0 81232 33 0 0 25 0 4 0 633739503 598716416 107423 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=584684 CPUtime=822.21 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 50540 0 0 0 82204 17 0 0 25 0 4 0 633739503 598716416 107423 33554432000 4194304 4650419 140734542422752 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.49
Current children cumulated vsize (KiB) 584684

[startup+882.301 s]
/proc/loadavg: 4.10 4.45 5.68 5/362 1532
/proc/meminfo: memFree=25299840/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=683508 CPUtime=3518.78 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 524802 0 0 0 351689 189 0 0 25 0 4 0 633739502 699912192 108249 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 170877 108249 394 112 0 165842 0
[pid=1467/tid=1470] ppid=1465 vsize=683508 CPUtime=882.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 193104 0 0 0 88158 72 0 0 25 0 4 0 633739503 699912192 108249 33554432000 4194304 4650419 140734542422752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=683508 CPUtime=871.93 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 110357 0 0 0 87157 36 0 0 25 0 4 0 633739503 699912192 108249 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=683508 CPUtime=882.21 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 51070 0 0 0 88204 17 0 0 25 0 4 0 633739503 699912192 108249 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.78
Current children cumulated vsize (KiB) 683508

[startup+942.301 s]
/proc/loadavg: 4.10 4.38 5.58 5/362 1533
/proc/meminfo: memFree=25272152/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=711856 CPUtime=3758.09 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 547196 0 0 0 375610 199 0 0 25 0 4 0 633739502 728940544 115497 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 177964 115497 394 112 0 172929 0
[pid=1467/tid=1470] ppid=1465 vsize=711856 CPUtime=942.29 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 200381 0 0 0 94154 75 0 0 25 0 4 0 633739503 728940544 115497 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=711856 CPUtime=931.23 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 115370 0 0 0 93085 38 0 0 25 0 4 0 633739503 728940544 115497 33554432000 4194304 4650419 140734542422752 18446744073709551615 4327776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=711856 CPUtime=942.21 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 53477 0 0 0 94203 18 0 0 25 0 4 0 633739503 728940544 115497 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.09
Current children cumulated vsize (KiB) 711856

[startup+1002.3 s]
/proc/loadavg: 4.09 4.33 5.48 5/362 1535
/proc/meminfo: memFree=25230828/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=797296 CPUtime=3997.39 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 568076 0 0 0 399528 211 0 0 25 0 4 0 633739502 816431104 125552 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 199324 125552 394 112 0 194289 0
[pid=1467/tid=1470] ppid=1465 vsize=797296 CPUtime=1002.29 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 204545 0 0 0 100152 77 0 0 25 0 4 0 633739503 816431104 125552 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=797296 CPUtime=990.53 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 121592 0 0 0 99012 41 0 0 25 0 4 0 633739503 816431104 125552 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=797296 CPUtime=1002.22 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 57606 0 0 0 100201 21 0 0 25 0 4 0 633739503 816431104 125552 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3997.39
Current children cumulated vsize (KiB) 797296

[startup+1062.3 s]
/proc/loadavg: 4.03 4.26 5.38 5/362 1536
/proc/meminfo: memFree=25226848/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=741752 CPUtime=4236.7 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 584785 0 0 0 423450 220 0 0 25 0 4 0 633739502 759554048 126429 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 185438 126429 394 112 0 180403 0
[pid=1467/tid=1470] ppid=1465 vsize=741752 CPUtime=1062.29 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 210977 0 0 0 106148 81 0 0 25 0 4 0 633739503 759554048 126429 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=741752 CPUtime=1049.83 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 123005 0 0 0 104941 42 0 0 25 0 4 0 633739503 759554048 126429 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=741752 CPUtime=1062.22 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 57812 0 0 0 106201 21 0 0 25 0 4 0 633739503 759554048 126429 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.7
Current children cumulated vsize (KiB) 741752

[startup+1122.3 s]
/proc/loadavg: 4.01 4.21 5.30 5/362 1538
/proc/meminfo: memFree=25237612/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=740412 CPUtime=4475.99 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 598865 0 0 0 447374 225 0 0 25 0 4 0 633739502 758181888 123902 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 185103 123902 394 112 0 180068 0
[pid=1467/tid=1470] ppid=1465 vsize=740412 CPUtime=1122.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 215270 0 0 0 112147 83 0 0 25 0 4 0 633739503 758181888 123902 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=740412 CPUtime=1109.13 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 124206 0 0 0 110870 43 0 0 25 0 4 0 633739503 758181888 123902 33554432000 4194304 4650419 140734542422752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=740412 CPUtime=1122.23 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 58060 0 0 0 112201 22 0 0 25 0 4 0 633739503 758181888 123902 33554432000 4194304 4650419 140734542422752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.99
Current children cumulated vsize (KiB) 740412

[startup+1182.3 s]
/proc/loadavg: 4.05 4.19 5.22 5/362 1540
/proc/meminfo: memFree=25181916/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=833816 CPUtime=4715.3 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 638929 0 0 0 471295 235 0 0 25 0 4 0 633739502 853827584 137965 33554432000 4194304 4650419 140734542422752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 208454 137965 394 112 0 203419 0
[pid=1467/tid=1470] ppid=1465 vsize=833816 CPUtime=1182.3 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 235331 0 0 0 118144 86 0 0 25 0 4 0 633739503 853827584 137965 33554432000 4194304 4650419 140734542422752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=833816 CPUtime=1168.42 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 125525 0 0 0 116798 44 0 0 25 0 4 0 633739503 853827584 137965 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=833816 CPUtime=1182.23 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 61382 0 0 0 118199 24 0 0 25 0 4 0 633739503 853827584 137965 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.3
Current children cumulated vsize (KiB) 833816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 4.04 4.17 5.19 5/362 1540
/proc/meminfo: memFree=25167392/32951124 swapFree=63083164/67111528
[pid=1467] ppid=1465 vsize=788136 CPUtime=4800.25 cores=0,2,4,6
/proc/1467/stat : 1467 (strangenight1-m) R 1465 1467 751 0 -1 4202496 649653 0 0 0 479787 238 0 0 25 0 4 0 633739502 807051264 141437 33554432000 4194304 4650419 140734542422752 18446744073709551615 4476129 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1467/statm: 197034 141437 394 112 0 191999 0
[pid=1467/tid=1470] ppid=1465 vsize=788136 CPUtime=1203.61 cores=0,2,4,6
/proc/1467/task/1470/stat : 1470 (strangenight1-m) R 1465 1467 751 0 -1 4202560 237339 0 0 0 120275 86 0 0 25 0 4 0 633739503 807051264 141437 33554432000 4194304 4650419 140734542422752 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1467/tid=1471] ppid=1465 vsize=788136 CPUtime=1189.47 cores=0,2,4,6
/proc/1467/task/1471/stat : 1471 (strangenight1-m) R 1465 1467 751 0 -1 4202560 128455 0 0 0 118901 46 0 0 25 0 4 0 633739503 807051264 141437 33554432000 4194304 4650419 140734542422752 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1467/tid=1472] ppid=1465 vsize=788136 CPUtime=1203.54 cores=0,2,4,6
/proc/1467/task/1472/stat : 1472 (strangenight1-m) R 1465 1467 751 0 -1 4202560 63333 0 0 0 120329 25 0 0 25 0 4 0 633739503 807051264 141437 33554432000 4194304 4650419 140734542422752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 788136

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.65
CPU time (s): 4800.34
CPU user time (s): 4797.93
CPU system time (s): 2.40763
CPU usage (%): 398.816
Max. virtual memory (cumulated for all children) (KiB): 886784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.93
system time used= 2.40763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649654
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= 118
involuntary context switches= 20846

runsolver used 4.56531 second user time and 9.62254 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-15 00:47:19
IDJOB=3369391
IDBENCH=83154
IDSOLVER=1846
FILE ID=node141/3369391-1305413239
RUNJOBID= node141-1305413239-1455
PBS_JOBID= 13324495
Free space on /tmp= 73300 MiB

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

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

MD5SUM BENCH= 1f90ac4288669aff970e47f4201b5ea4
RANDOM SEED=93874893

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25734704 kB
Buffers:        233680 kB
Cached:        4775512 kB
SwapCached:      15708 kB
Active:        1978200 kB
Inactive:      4999212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25734704 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:     1959320 kB
Mapped:          12420 kB
Slab:           135728 kB
PageTables:      37960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86229656 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= 73292 MiB
End job on node141 at 2011-05-15 01:07:25