Trace number 3175243

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.3 1201.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
MD5SUM82ce98f61c0f2213b508b1b975b0c344
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
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-3175243-1304103315.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.00	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       550      2343         0         0      7029         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.07	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.01 s
0.00/0.07	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.07	c calculated reachability. Time: 0.00
0.00/0.07	c Calc default polars -  time:   0.00 s pos:     252 undec:      65 neg:     233
0.00/0.07	c =========================================================================================
0.00/0.07	c types(t): F = full restart, N = normal restart
0.00/0.07	c types(t): S = simplification begin/end, E = solution found
0.00/0.07	c restart types(rt): st = static, dy = dynamic
0.00/0.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.07	c  B st     0         0       537      2330         0         0      7051         0   no data   no data  --
0.00/0.07	c Decided on static restart strategy
0.40/0.16	c  N st     8      4921       537      2330         0      4881      7051    129034   no data   no data  --
1.57/0.42	c  N st    10     11303       537      2330         0      4494      7051     78317   no data   no data  --
2.37/0.67	c  N st    11     17046       537      2330         0     10121      7051    227566   no data   no data  --
3.97/1.10	c  F st    12     25000       537      2330         0     12419      7051    295558   no data   no data  --
3.97/1.10	c  N st    12     25000       537      2330         0     12419      7051    295558   no data   no data  --
5.16/1.36	c  N dy    18     30001       537      2330         0     10713      7051    215223   no data   no data  --
5.16/1.36	c  S st    18     30001       537      2330         0     10713      7051    215223   no data   no data  --
5.16/1.39	c  S st    18     30503       537      2330         0     11215      7051    227424   no data   no data  --
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.36/1.63	c lits-rem:       162  cl-subs:      355  v-elim:      0  v-fix:    0  time:  0.91 s
6.36/1.64	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.03
6.36/1.64	c calculated reachability. Time: 0.00
6.36/1.64	c  N dy    18     30503       537      2330         0     10860      7051    217303   no data   no data  --
7.56/1.90	c  N dy    29     34705       537      2330         0     14987      7051    311175     15.88     16.97  --
8.36/2.12	c  N dy    45     38738       537      2330         0     11168      7051    179134     15.91     16.95  --
9.18/2.37	c  N dy    65     42850       537      2330         0     15245      7051    276756     16.13     17.03  --
9.95/2.58	c  S st    79     45755       537      2330         0      9263      7051    109257     16.23     15.66  --
10.35/2.61	c  S st    79     46260       537      2330         0      9768      7051    121900     16.23   no data  --
10.35/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.35/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.15/2.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/2.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
11.15/2.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.15/2.81	c lits-rem:        63  cl-subs:       19  v-elim:      0  v-fix:    0  time:  0.32 s
11.15/2.81	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
11.15/2.81	c vivif2 --  cl tried     9749 cl shrink        0 lits rem          0 time: 0.01
11.15/2.81	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.03
11.15/2.81	c calculated reachability. Time: 0.00
11.15/2.81	c  N dy    79     46260       537      2330         0      9749      7051    121416     16.23   no data  --
11.55/2.95	c  N dy   102     50529       537      2330         0     13981      7051    224010     16.37     17.30  --
12.75/3.23	c  N dy   117     54802       537      2330         0     18215      7051    324110     16.35     17.26  --
13.57/3.49	c  N dy   133     58885       537      2330         0     12374      7051    161861     16.30     17.22  --
14.75/3.76	c  N dy   156     62984       537      2330         0     16440      7051    260711     16.39     17.41  --
16.35/4.17	c  N dy   166     68336       537      2330         0     21722      7051    384573     16.30     17.33  --
16.75/4.23	c  S st   169     69391       537      2330         0     11884      7051    131631     16.30     15.72  --
16.75/4.27	c  S st   169     69893       537      2330         0     12385      7051    143760     16.30   no data  --
16.75/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.75/4.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.75/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
16.75/4.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.55/4.41	c lits-rem:         8  cl-subs:       43  v-elim:      0  v-fix:    0  time:  0.51 s
17.55/4.41	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
17.55/4.41	c vivif2 --  cl tried    12342 cl shrink        0 lits rem          0 time: 0.00
17.55/4.42	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.04
17.55/4.42	c calculated reachability. Time: 0.00
17.55/4.42	c  N dy   169     69893       537      2330         0     12342      7051    142555     16.30   no data  --
18.74/4.79	c  N dy   179     75246       537      2330         0     17617      7051    264797     16.12     17.08  --
20.74/5.21	c  N dy   200     80461       537      2330         0     22767      7051    388824     16.13     17.14  --
22.37/5.64	c  N dy   225     86653       537      2330         0     17010      7051    234043     16.17     17.13  --
22.74/5.70	c  F st   227     87503       537      2330         0     17847      7051    253299     16.16     16.01  --
23.94/6.09	c Decided on static restart strategy
23.94/6.09	c  N st   233     92698       537      2330         0     22989      7051    381228     16.16   no data  --
26.34/6.64	c  N st   235     99809       537      2330         0     17169      7051    338192     16.16   no data  --
28.33/7.11	c  S st   236    104843       537      2330         0     22088      7051    463254     16.16   no data  --
28.33/7.17	c  S st   236    105345       537      2330         0     22590      7051    476127     16.16   no data  --
28.33/7.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
28.33/7.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.33/7.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
28.33/7.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
28.33/7.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.93/8.50	c lits-rem:       502  cl-subs:     1126  v-elim:      0  v-fix:    0  time:  5.20 s
33.93/8.50	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
33.93/8.50	c vivif2 --  cl tried    21464 cl shrink        0 lits rem          0 time: 0.02
33.93/8.52	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.08
33.93/8.52	c calculated reachability. Time: 0.00
33.93/8.52	c  N st   236    105345       537      2330         0     21464      7051    444618     16.16   no data  --
37.92/9.55	c  N st   237    114943       537      2330         0     17128      7051    285285     16.16   no data  --
43.12/10.86	c  N st   238    129341       537      2330         0     16562      7051    280755     16.16   no data  --
51.10/12.87	c  N st   239    150936       537      2330         0     22036      7051    382699     16.16   no data  --
53.90/13.50	c  S st   240    158017       537      2330         0     28946      7051    561572     16.16   no data  --
53.90/13.58	c  S st   240    158522       537      2330         0     29449      7051    574169     16.16   no data  --
53.90/13.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.90/13.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.90/13.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
54.30/13.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.30/13.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.30/13.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
54.30/13.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
61.09/15.36	c lits-rem:       495  cl-subs:     1811  v-elim:      0  v-fix:    0  time:  7.01 s
61.09/15.36	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
61.09/15.37	c vivif2 --  cl tried    27638 cl shrink        0 lits rem          0 time: 0.02
61.09/15.39	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.10
61.09/15.39	c calculated reachability. Time: 0.00
61.09/15.39	c  N st   240    158522       537      2330         0     27638      7051    527536     16.16   no data  --
84.27/21.16	c  N st   241    207111       537      2330         0     22374      7051    354540     16.16   no data  --
97.44/24.47	c  N st   242    237784       537      2330         0     32820      7051    592939     16.16   no data  --
97.44/24.47	c  S st   242    237784       537      2330         0     32820      7051    592939     16.16   no data  --
97.84/24.56	c  S st   242    238288       537      2330         0     33324      7051    604897     16.16   no data  --
97.84/24.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.84/24.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.84/24.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
97.84/24.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.84/24.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.84/24.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
97.84/24.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
105.85/26.58	c lits-rem:       644  cl-subs:     1826  v-elim:      0  v-fix:    0  time:  7.93 s
105.85/26.58	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
105.85/26.59	c vivif2 --  cl tried    31498 cl shrink        0 lits rem          0 time: 0.02
106.23/26.62	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.11
106.23/26.62	c calculated reachability. Time: 0.00
106.23/26.62	c  N st   242    238288       537      2330         0     31498      7051    558181     16.16   no data  --
138.99/34.82	c  F st   243    306252       537      2330         0     33443      7051    574692     16.16   no data  --
138.99/34.82	c  N st   243    306252       537      2330         0     33443      7051    574692     16.16   no data  --
141.38/35.48	c Decided on static restart strategy
152.18/38.15	c  N st   253    334553       537      2330         0     37717      7051    675144     16.16   no data  --
162.98/40.90	c  N st   255    357433       537      2330         0     35646      7051    582256     16.16   no data  --
162.98/40.90	c  S st   255    357433       537      2330         0     35646      7051    582256     16.16   no data  --
163.35/40.99	c  S st   255    357936       537      2330         0     36147      7051    594365     16.16   no data  --
163.35/40.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.35/40.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.75/41.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
163.75/41.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.75/41.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.75/41.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
163.75/41.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.54/42.78	c lits-rem:       866  cl-subs:     1055  v-elim:      0  v-fix:    0  time:  7.02 s
170.54/42.78	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
170.54/42.79	c vivif2 --  cl tried    35092 cl shrink        0 lits rem          0 time: 0.03
170.94/42.82	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.12
170.94/42.82	c calculated reachability. Time: 0.00
170.94/42.82	c  N st   255    357936       537      2330         0     35092      7051    564825     16.16   no data  --
188.52/47.20	c  N st   256    390328       537      2330         0     41485      7051    742965     16.16   no data  --
217.28/54.47	c  N st   257    438918       537      2330         0     35174      7051    524616     16.16   no data  --
266.02/66.62	c  N st   258    511801       537      2330         0     48833      7051    866528     16.16   no data  --
281.62/70.57	c  N st   259    536904       537      2330         0     42975      7051    671004     16.16   no data  --
281.62/70.57	c  S st   259    536904       537      2330         0     42975      7051    671004     16.16   no data  --
282.00/70.69	c  S st   259    537405       537      2330         0     43474      7051    683741     16.16   no data  --
282.00/70.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.00/70.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.40/70.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
282.40/70.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.40/70.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.40/70.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
282.40/70.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
290.41/72.73	c lits-rem:       792  cl-subs:     1234  v-elim:      0  v-fix:    0  time:  7.98 s
290.41/72.73	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
290.41/72.73	c vivif2 --  cl tried    42240 cl shrink        0 lits rem          0 time: 0.03
290.41/72.77	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.16
290.41/72.77	c calculated reachability. Time: 0.00
290.41/72.77	c  N st   259    537405       537      2330         0     42240      7051    651805     16.16   no data  --
410.63/102.90	c  N st   260    701389       537      2330         0     36343      7051    404130     16.16   no data  --
484.12/121.25	c  N st   261    806107       537      2330         0     65315      7051   1145465     16.16   no data  --
484.12/121.25	c  S st   261    806107       537      2330         0     65315      7051   1145465     16.16   no data  --
484.92/121.44	c  S st   261    806611       537      2330         0     65819      7051   1158143     16.16   no data  --
484.92/121.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
484.92/121.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
484.92/121.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
485.33/121.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
485.33/121.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.33/121.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
485.33/121.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
497.31/124.54	c lits-rem:       376  cl-subs:     3433  v-elim:      0  v-fix:    0  time: 12.09 s
497.31/124.54	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
497.31/124.55	c vivif2 --  cl tried    62386 cl shrink        0 lits rem          0 time: 0.05
497.71/124.63	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.29
497.71/124.63	c calculated reachability. Time: 0.00
497.71/124.63	c  N st   261    806611       537      2330         0     62386      7051   1075411     16.16   no data  --
721.82/180.78	c  F st   262   1071877       537      2330         0     78125      7051   1381454     16.16   no data  --
721.82/180.78	c  N st   262   1071877       537      2330         0     78125      7051   1381454     16.16   no data  --
726.60/181.97	c Decided on static restart strategy
746.58/186.92	c  N st   272   1100177       537      2330         0     61975      7051    926247     16.16   no data  --
782.14/195.82	c  N st   274   1136175       537      2330         0     52266      7051    663387     16.16   no data  --
811.29/203.17	c  N st   275   1168568       537      2330         0     83927      7051   1509616     16.16   no data  --
850.03/212.82	c  N st   276   1209918       537      2330         0     78502      7051   1388967     16.16   no data  --
850.03/212.82	c  S st   276   1209918       537      2330         0     78502      7051   1388967     16.16   no data  --
851.24/213.10	c  S st   276   1210420       537      2330         0     79003      7051   1401316     16.16   no data  --
851.24/213.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
851.24/213.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.24/213.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
851.24/213.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.24/213.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.24/213.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
851.24/213.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
870.81/218.02	c lits-rem:       621  cl-subs:     3182  v-elim:      0  v-fix:    0  time: 19.30 s
870.81/218.02	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
870.81/218.04	c vivif2 --  cl tried    75821 cl shrink        0 lits rem          0 time: 0.06
871.20/218.13	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.36
871.20/218.14	c calculated reachability. Time: 0.00
871.20/218.14	c  N st   276   1210420       537      2330         0     75821      7051   1305947     16.16   no data  --
947.90/237.34	c  N st   277   1283304       537      2330         0     52088      7051    590335     16.16   no data  --
1065.34/266.79	c  N st   278   1392629       537      2330         0     60405      7051    798494     16.16   no data  --
1224.33/306.54	c  N st   279   1556614       537      2330         0     65154      7051    842490     16.16   no data  --
1384.12/346.53	c  N st   280   1710420       537      2330         0    107055      7051   2051703     16.16   no data  --
1384.12/346.53	c  S st   280   1710420       537      2330         0    107055      7051   2051703     16.16   no data  --
1385.69/346.92	c  S st   280   1710926       537      2330         0    107558      7051   2065219     16.16   no data  --
1385.69/346.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1385.69/346.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1385.69/346.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1386.09/347.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1386.09/347.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1386.09/347.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
1386.09/347.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1440.41/360.66	c lits-rem:       110  cl-subs:     5980  v-elim:      0  v-fix:    0  time: 54.37 s
1440.41/360.66	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
1440.41/360.69	c vivif2 --  cl tried   101578 cl shrink        0 lits rem          0 time: 0.10
1441.22/360.82	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.54
1441.22/360.83	c calculated reachability. Time: 0.00
1441.22/360.83	c  N st   280   1710926       537      2330         0    101578      7051   1902950     16.16   no data  --
1832.28/458.74	c  N st   281   2079890       537      2330         0    112975      7051   1995695     16.16   no data  --
1993.67/499.11	c  N st   282   2210926       537      2330         0    116970      7051   2019512     16.16   no data  --
1993.67/499.11	c  S st   282   2210926       537      2330         0    116970      7051   2019512     16.16   no data  --
1995.28/499.50	c  S st   282   2211432       537      2330         0    117476      7051   2031706     16.16   no data  --
1995.28/499.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1995.28/499.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1995.28/499.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1995.66/499.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1995.66/499.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1995.66/499.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
1995.66/499.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2061.97/516.20	c lits-rem:       632  cl-subs:     8284  v-elim:      0  v-fix:    0  time: 66.14 s
2061.97/516.20	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
2061.97/516.22	c vivif2 --  cl tried   109192 cl shrink        0 lits rem          0 time: 0.10
2062.37/516.38	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.63
2062.37/516.38	c calculated reachability. Time: 0.00
2062.37/516.38	c  N st   282   2211432       537      2330         0    109192      7051   1833646     16.16   no data  --
2698.69/675.87	c  N st   283   2711432       537      2330         0    132431      7051   2376904     16.16   no data  --
2698.69/675.87	c  S st   283   2711432       537      2330         0    132431      7051   2376904     16.16   no data  --
2700.69/676.33	c  S st   283   2711936       537      2330         0    132935      7051   2389331     16.16   no data  --
2700.69/676.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2700.69/676.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2701.09/676.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
2701.09/676.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2701.09/676.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2701.09/676.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2701.09/676.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2794.18/699.71	c lits-rem:       268  cl-subs:     9271  v-elim:      0  v-fix:    0  time: 92.75 s
2794.18/699.71	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
2794.18/699.74	c vivif2 --  cl tried   123664 cl shrink        0 lits rem          0 time: 0.11
2794.96/699.92	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.72
2794.96/699.92	c calculated reachability. Time: 0.00
2794.96/699.92	c  N st   283   2711936       537      2330         0    123664      7051   2174474     16.16   no data  --
3513.98/879.97	c  N st   284   3211936       537      2330         0     99616      7051   1376533     16.16   no data  --
3513.98/879.97	c  S st   284   3211936       537      2330         0     99616      7051   1376533     16.16   no data  --
3515.58/880.35	c  S st   284   3212439       537      2330         0    100117      7051   1389355     16.16   no data  --
3515.58/880.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3515.58/880.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3515.98/880.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.25
3515.98/880.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3515.98/880.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3515.98/880.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
3515.98/880.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3551.12/889.24	c lits-rem:       181  cl-subs:     4348  v-elim:      0  v-fix:    0  time: 35.00 s
3551.12/889.24	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
3551.12/889.26	c vivif2 --  cl tried    95769 cl shrink        0 lits rem          0 time: 0.08
3551.92/889.43	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.69
3551.92/889.44	c calculated reachability. Time: 0.00
3551.92/889.44	c  N st   284   3212439       537      2330         0     95769      7051   1278498     16.16   no data  --
4328.46/1083.87	c  N st   285   3712439       537      2330         0    106560      7051   1443172     16.16   no data  --
4328.46/1083.87	c  S st   285   3712439       537      2330         0    106560      7051   1443172     16.16   no data  --
4330.06/1084.23	c  S st   285   3712942       537      2330         0    107063      7051   1455379     16.16   no data  --
4330.06/1084.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4330.06/1084.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4330.06/1084.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
4330.46/1084.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4330.46/1084.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4330.46/1084.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
4330.46/1084.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4360.42/1091.84	c lits-rem:       169  cl-subs:     3850  v-elim:      0  v-fix:    0  time: 29.96 s
4360.42/1091.84	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
4360.42/1091.86	c vivif2 --  cl tried   103213 cl shrink        0 lits rem          0 time: 0.08
4361.22/1092.04	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.73
4361.22/1092.05	c calculated reachability. Time: 0.00
4361.22/1092.05	c  N st   285   3712942       537      2330         0    103213      7051   1365043     16.16   no data  --
4430.33/1109.36	c  F st   286   3751562       537      2330         0    140881      7051   2376045     16.16   no data  --
4430.33/1109.36	c  N st   286   3751562       537      2330         0    140881      7051   2376045     16.16   no data  --
4441.93/1112.22	c Decided on static restart strategy
4487.05/1123.57	c  N st   296   3779868       537      2330         0     85856      7051    864701     16.16   no data  --
4533.39/1135.16	c  N st   298   3815861       537      2330         0    121154      7051   1785035     16.16   no data  --
4590.51/1149.50	c  N st   299   3848253       537      2330         0    152832      7051   2651990     16.16   no data  --
4686.37/1173.42	c  N st   300   3896841       537      2330         0    116311      7051   1652546     16.16   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175243-1304103315/watcher-3175243-1304103315 -o /tmp/evaluation-result-3175243-1304103315/solver-3175243-1304103315 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175243-1304103315.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: 8.17 8.14 8.03 3/174 2616
/proc/meminfo: memFree=31428084/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=20420 CPUtime=0 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4194304 243 0 0 0 0 0 0 0 25 0 1 0 521930268 20910080 194 33554432000 4194304 4650419 140736800334608 18446744073709551615 235589903848 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2616/statm: 5105 194 161 112 0 57 0
[pid=2616/tid=2618] ppid=2614 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521930268 52465664 352 33554432000 4194304 4650419 140736800334608 18446744073709551615 47687377917872 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521930268 52465664 352 33554432000 4194304 4650419 140736800334608 18446744073709551615 235606664246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521930268 52465664 352 33554432000 4194304 4650419 140736800334608 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.107805 s]
/proc/loadavg: 8.17 8.14 8.03 3/174 2616
/proc/meminfo: memFree=31428084/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=282392 CPUtime=0.4 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 1828 0 0 0 40 0 0 0 25 0 4 0 521930268 289169408 1688 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 70598 1688 391 112 0 65563 0
[pid=2616/tid=2618] ppid=2614 vsize=282392 CPUtime=0.1 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 346 0 0 0 10 0 0 0 25 0 4 0 521930268 289169408 1688 33554432000 4194304 4650419 140736800334608 18446744073709551615 4334040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=282392 CPUtime=0.1 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 404 0 0 0 10 0 0 0 25 0 4 0 521930268 289169408 1688 33554432000 4194304 4650419 140736800334608 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=282392 CPUtime=0.09 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 255 0 0 0 9 0 0 0 25 0 4 0 521930268 289169408 1688 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282392

[startup+0.20079 s]
/proc/loadavg: 8.17 8.14 8.03 3/174 2616
/proc/meminfo: memFree=31428084/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=283404 CPUtime=0.77 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 2545 0 0 0 77 0 0 0 25 0 4 0 521930268 290205696 1794 33554432000 4194304 4650419 140736800334608 18446744073709551615 4333687 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 70851 1794 393 112 0 65816 0
[pid=2616/tid=2618] ppid=2614 vsize=283404 CPUtime=0.19 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 537 0 0 0 19 0 0 0 25 0 4 0 521930268 290205696 1794 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=283404 CPUtime=0.19 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 605 0 0 0 19 0 0 0 25 0 4 0 521930268 290205696 1794 33554432000 4194304 4650419 140736800334608 18446744073709551615 4334321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=283404 CPUtime=0.19 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 432 0 0 0 19 0 0 0 25 0 4 0 521930268 290205696 1794 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363341 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283404

[startup+0.300772 s]
/proc/loadavg: 8.17 8.14 8.03 3/174 2616
/proc/meminfo: memFree=31428084/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=283556 CPUtime=1.17 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 2943 0 0 0 117 0 0 0 25 0 4 0 521930268 290361344 2192 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364307 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 70889 2192 393 112 0 65854 0
[pid=2616/tid=2618] ppid=2614 vsize=283556 CPUtime=0.29 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 637 0 0 0 29 0 0 0 25 0 4 0 521930268 290361344 2192 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=283556 CPUtime=0.29 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 716 0 0 0 29 0 0 0 25 0 4 0 521930268 290361344 2192 33554432000 4194304 4650419 140736800334608 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=283556 CPUtime=0.29 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 533 0 0 0 29 0 0 0 25 0 4 0 521930268 290361344 2192 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365246 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) 283556

[startup+0.700703 s]
/proc/loadavg: 8.17 8.14 8.03 3/174 2616
/proc/meminfo: memFree=31428084/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=284284 CPUtime=2.77 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 4569 0 0 0 276 1 0 0 25 0 4 0 521930268 291106816 2906 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 71071 2906 393 112 0 66036 0
[pid=2616/tid=2618] ppid=2614 vsize=284284 CPUtime=0.69 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 1053 0 0 0 69 0 0 0 25 0 4 0 521930268 291106816 2907 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=284284 CPUtime=0.69 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 1142 0 0 0 69 0 0 0 25 0 4 0 521930268 291106816 2907 33554432000 4194304 4650419 140736800334608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=284284 CPUtime=0.69 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 934 0 0 0 69 0 0 0 25 0 4 0 521930268 291106816 2907 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364772 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) 284284

[startup+1.50056 s]
/proc/loadavg: 8.17 8.14 8.03 10/184 2629
/proc/meminfo: memFree=31396756/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=285488 CPUtime=5.96 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 8948 0 0 0 595 1 0 0 25 0 4 0 521930268 292339712 4762 33554432000 4194304 4650419 140736800334608 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 71372 4762 395 112 0 66337 0
[pid=2616/tid=2618] ppid=2614 vsize=285488 CPUtime=1.49 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 1846 0 0 0 149 0 0 0 25 0 4 0 521930268 292339712 4762 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=285488 CPUtime=1.48 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 1925 0 0 0 148 0 0 0 25 0 4 0 521930268 292339712 4762 33554432000 4194304 4650419 140736800334608 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=285488 CPUtime=1.48 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 1672 0 0 0 148 0 0 0 25 0 4 0 521930268 292339712 4762 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364400 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) 285488

[startup+3.10028 s]
/proc/loadavg: 8.17 8.14 8.03 9/184 2629
/proc/meminfo: memFree=31352580/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=268400 CPUtime=12.35 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 16721 0 0 0 1233 2 0 0 25 0 4 0 521930268 274841600 10011 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 67100 10011 395 112 0 62065 0
[pid=2616/tid=2618] ppid=2614 vsize=268400 CPUtime=3.08 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 4061 0 0 0 308 0 0 0 25 0 4 0 521930268 274841600 10011 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=268400 CPUtime=3.07 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 4648 0 0 0 307 0 0 0 25 0 4 0 521930268 274841600 10011 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=268400 CPUtime=3.07 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 3621 0 0 0 307 0 0 0 25 0 4 0 521930268 274841600 10011 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 268400

[startup+6.30072 s]
/proc/loadavg: 8.16 8.14 8.03 9/184 2629
/proc/meminfo: memFree=31306700/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=287504 CPUtime=25.14 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 26080 0 0 0 2510 4 0 0 25 0 4 0 521930268 294404096 15220 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 71876 15220 395 112 0 66841 0
[pid=2616/tid=2618] ppid=2614 vsize=287504 CPUtime=6.29 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 7069 0 0 0 628 1 0 0 25 0 4 0 521930268 294404096 15220 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=287504 CPUtime=6.28 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 7764 0 0 0 627 1 0 0 25 0 4 0 521930268 294404096 15220 33554432000 4194304 4650419 140736800334608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=287504 CPUtime=6.26 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 5145 0 0 0 626 0 0 0 25 0 4 0 521930268 294404096 15220 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287504

[startup+12.7006 s]
/proc/loadavg: 8.15 8.13 8.03 10/184 2630
/proc/meminfo: memFree=31257596/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=277852 CPUtime=50.7 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 39241 0 0 0 5064 6 0 0 25 0 4 0 521930268 284520448 20949 33554432000 4194304 4650419 140736800334608 18446744073709551615 4360465 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 69463 20949 395 112 0 64428 0
[pid=2616/tid=2618] ppid=2614 vsize=277852 CPUtime=12.68 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 10790 0 0 0 1267 1 0 0 25 0 4 0 521930268 284520448 20949 33554432000 4194304 4650419 140736800334608 18446744073709551615 4331351 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=277852 CPUtime=12.68 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 10616 0 0 0 1266 2 0 0 25 0 4 0 521930268 284520448 20949 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=277852 CPUtime=12.62 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 8032 0 0 0 1262 0 0 0 25 0 4 0 521930268 284520448 20949 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 277852

[startup+25.5003 s]
/proc/loadavg: 8.11 8.13 8.03 9/184 2630
/proc/meminfo: memFree=31185776/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=362712 CPUtime=101.83 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 60214 0 0 0 10172 11 0 0 25 0 4 0 521930268 371417088 31238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 90678 31238 395 112 0 85643 0
[pid=2616/tid=2618] ppid=2614 vsize=362712 CPUtime=25.49 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 17174 0 0 0 2546 3 0 0 25 0 4 0 521930268 371417088 31238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=362712 CPUtime=25.48 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 16611 0 0 0 2545 3 0 0 25 0 4 0 521930268 371417088 31238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=362712 CPUtime=25.35 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 10756 0 0 0 2534 1 0 0 25 0 4 0 521930268 371417088 31238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 362712

[startup+51.1008 s]
/proc/loadavg: 8.15 8.13 8.03 10/184 2630
/proc/meminfo: memFree=31124256/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=382784 CPUtime=204.1 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 88773 0 0 0 20391 19 0 0 25 0 4 0 521930268 391970816 38708 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 95696 38708 395 112 0 90661 0
[pid=2616/tid=2618] ppid=2614 vsize=382784 CPUtime=51.09 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 24705 0 0 0 5104 5 0 0 25 0 4 0 521930268 391970816 38708 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=382784 CPUtime=51.07 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 24740 0 0 0 5102 5 0 0 25 0 4 0 521930268 391970816 38708 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=382784 CPUtime=50.83 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 15478 0 0 0 5080 3 0 0 25 0 4 0 521930268 391970816 38708 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 382784

[startup+102.301 s]
/proc/loadavg: 8.18 8.14 8.04 9/184 2632
/proc/meminfo: memFree=31072388/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=394296 CPUtime=408.65 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 124859 0 0 0 40834 31 0 0 25 0 4 0 521930268 403759104 43072 33554432000 4194304 4650419 140736800334608 18446744073709551615 4333231 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 98574 43072 395 112 0 93539 0
[pid=2616/tid=2618] ppid=2614 vsize=394296 CPUtime=102.29 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 32508 0 0 0 10221 8 0 0 25 0 4 0 521930268 403759104 43072 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=394296 CPUtime=102.27 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 35014 0 0 0 10219 8 0 0 25 0 4 0 521930268 403759104 43072 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=394296 CPUtime=101.76 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 21613 0 0 0 10171 5 0 0 25 0 4 0 521930268 403759104 43073 33554432000 4194304 4650419 140736800334608 18446744073709551615 4432933 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 394296

[startup+162.3 s]

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

[pid=2616] ppid=2614 vsize=588712 CPUtime=2564.87 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 359110 0 0 0 256360 127 0 0 25 0 4 0 521930268 602841088 103618 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 147178 103618 395 112 0 142143 0
[pid=2616/tid=2618] ppid=2614 vsize=588712 CPUtime=641.64 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 104142 0 0 0 64126 38 0 0 25 0 4 0 521930268 602841088 103618 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=588712 CPUtime=642.22 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 98978 0 0 0 64192 30 0 0 25 0 4 0 521930268 602841088 103618 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=588712 CPUtime=638.84 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 52245 0 0 0 63866 18 0 0 25 0 4 0 521930268 602841088 103618 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2564.87
Current children cumulated vsize (KiB) 588712

[startup+702.3 s]
/proc/loadavg: 8.02 8.06 8.03 9/184 2660
/proc/meminfo: memFree=30557596/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=576320 CPUtime=2804.54 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 375256 0 0 0 280319 135 0 0 25 0 4 0 521930268 590151680 100807 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 144080 100807 395 112 0 139045 0
[pid=2616/tid=2618] ppid=2614 vsize=576320 CPUtime=701.64 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 108176 0 0 0 70124 40 0 0 25 0 4 0 521930268 590151680 100807 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=576320 CPUtime=702.22 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 103350 0 0 0 70189 33 0 0 25 0 4 0 521930268 590151680 100807 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=576320 CPUtime=698.51 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 56530 0 0 0 69831 20 0 0 25 0 4 0 521930268 590151680 100807 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.54
Current children cumulated vsize (KiB) 576320

[startup+762.301 s]
/proc/loadavg: 8.05 8.06 8.03 9/184 2662
/proc/meminfo: memFree=30504740/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=590532 CPUtime=3044.23 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 390049 0 0 0 304283 140 0 0 25 0 4 0 521930268 604704768 108740 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 147633 108740 395 112 0 142598 0
[pid=2616/tid=2618] ppid=2614 vsize=590532 CPUtime=761.65 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 113971 0 0 0 76123 42 0 0 25 0 4 0 521930268 604704768 108741 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=590532 CPUtime=762.22 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 108827 0 0 0 76187 35 0 0 25 0 4 0 521930268 604704768 108741 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=590532 CPUtime=758.19 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 59164 0 0 0 75798 21 0 0 25 0 4 0 521930268 604704768 108741 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.23
Current children cumulated vsize (KiB) 590532

[startup+822.3 s]
/proc/loadavg: 8.10 8.08 8.04 10/184 2663
/proc/meminfo: memFree=30492672/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=590672 CPUtime=3283.89 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 407075 0 0 0 328241 148 0 0 25 0 4 0 521930268 604848128 107528 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 147668 107528 395 112 0 142633 0
[pid=2616/tid=2618] ppid=2614 vsize=590672 CPUtime=821.64 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 121597 0 0 0 82120 44 0 0 25 0 4 0 521930268 604848128 107528 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=590672 CPUtime=822.22 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 113016 0 0 0 82184 38 0 0 25 0 4 0 521930268 604848128 107528 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=590672 CPUtime=817.86 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 61371 0 0 0 81764 22 0 0 25 0 4 0 521930268 604848128 107528 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.89
Current children cumulated vsize (KiB) 590672

[startup+882.307 s]
/proc/loadavg: 8.07 8.08 8.03 10/184 2665
/proc/meminfo: memFree=30476884/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=656264 CPUtime=3523.59 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 425163 0 0 0 352203 156 0 0 25 0 4 0 521930268 672014336 113510 33554432000 4194304 4650419 140736800334608 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 164066 113510 395 112 0 159031 0
[pid=2616/tid=2618] ppid=2614 vsize=656264 CPUtime=881.65 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 129478 0 0 0 88118 47 0 0 25 0 4 0 521930268 672014336 113510 33554432000 4194304 4650419 140736800334608 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=656264 CPUtime=882.21 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 116217 0 0 0 88182 39 0 0 25 0 4 0 521930268 672014336 113510 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=656264 CPUtime=877.55 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 63538 0 0 0 87731 24 0 0 25 0 4 0 521930268 672014336 113510 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.59
Current children cumulated vsize (KiB) 656264

[startup+942.3 s]
/proc/loadavg: 8.06 8.08 8.03 10/184 2666
/proc/meminfo: memFree=30510196/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=654884 CPUtime=3763.24 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 442191 0 0 0 376160 164 0 0 25 0 4 0 521930268 670601216 112056 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 163721 112056 395 112 0 158686 0
[pid=2616/tid=2618] ppid=2614 vsize=654884 CPUtime=941.64 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 135341 0 0 0 94115 49 0 0 25 0 4 0 521930268 670601216 112056 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=654884 CPUtime=942.2 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 121594 0 0 0 94179 41 0 0 25 0 4 0 521930268 670601216 112056 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=654884 CPUtime=937.22 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 64705 0 0 0 93697 25 0 0 25 0 4 0 521930268 670601216 112056 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.24
Current children cumulated vsize (KiB) 654884

[startup+1002.3 s]
/proc/loadavg: 8.06 8.07 8.03 9/184 2668
/proc/meminfo: memFree=30467892/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=603720 CPUtime=4002.91 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 464760 0 0 0 400118 173 0 0 25 0 4 0 521930268 618209280 115613 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 150930 115613 395 112 0 145895 0
[pid=2616/tid=2618] ppid=2614 vsize=603720 CPUtime=1001.64 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 142411 0 0 0 100112 52 0 0 25 0 4 0 521930268 618209280 115613 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=603720 CPUtime=1002.2 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 130010 0 0 0 100176 44 0 0 25 0 4 0 521930268 618209280 115613 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=603720 CPUtime=996.89 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 67552 0 0 0 99663 26 0 0 25 0 4 0 521930268 618209280 115613 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 603720

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 8.04 9/184 2670
/proc/meminfo: memFree=30457792/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=605044 CPUtime=4242.59 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 484360 0 0 0 424078 181 0 0 25 0 4 0 521930268 619565056 119365 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 151261 119365 395 112 0 146226 0
[pid=2616/tid=2618] ppid=2614 vsize=605044 CPUtime=1061.65 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 149856 0 0 0 106109 56 0 0 25 0 4 0 521930268 619565056 119365 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=605044 CPUtime=1062.19 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 137184 0 0 0 106172 47 0 0 25 0 4 0 521930268 619565056 119365 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=605044 CPUtime=1056.57 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 69268 0 0 0 105631 26 0 0 25 0 4 0 521930268 619565056 119365 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.59
Current children cumulated vsize (KiB) 605044

[startup+1122.3 s]
/proc/loadavg: 8.07 8.08 8.04 9/184 2671
/proc/meminfo: memFree=30461084/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=709716 CPUtime=4482.25 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 500548 0 0 0 448039 186 0 0 25 0 4 0 521930268 726749184 120893 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 177429 120893 395 112 0 172394 0
[pid=2616/tid=2618] ppid=2614 vsize=709716 CPUtime=1121.65 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 155523 0 0 0 112108 57 0 0 25 0 4 0 521930268 726749184 120893 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=709716 CPUtime=1122.19 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 140434 0 0 0 112170 49 0 0 25 0 4 0 521930268 726749184 120893 33554432000 4194304 4650419 140736800334608 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=709716 CPUtime=1116.24 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 70738 0 0 0 111598 26 0 0 25 0 4 0 521930268 726749184 120893 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.25
Current children cumulated vsize (KiB) 709716

[startup+1182.3 s]
/proc/loadavg: 8.20 8.11 8.05 10/184 2673
/proc/meminfo: memFree=30417020/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=618512 CPUtime=4721.93 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 521761 0 0 0 471997 196 0 0 25 0 4 0 521930268 633356288 122458 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 154628 122458 395 112 0 149593 0
[pid=2616/tid=2618] ppid=2614 vsize=618512 CPUtime=1181.65 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 161843 0 0 0 118105 60 0 0 25 0 4 0 521930268 633356288 122458 33554432000 4194304 4650419 140736800334608 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=618512 CPUtime=1182.18 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 147712 0 0 0 118167 51 0 0 25 0 4 0 521930268 633356288 122458 33554432000 4194304 4650419 140736800334608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=618512 CPUtime=1175.92 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 72324 0 0 0 117565 27 0 0 25 0 4 0 521930268 633356288 122458 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.93
Current children cumulated vsize (KiB) 618512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.14 8.10 8.05 5/179 2674
/proc/meminfo: memFree=30937228/32950928 swapFree=67111404/67111528
[pid=2616] ppid=2614 vsize=658200 CPUtime=4800.23 cores=0,2,4,6
/proc/2616/stat : 2616 (strangenight1-m) R 2614 2616 2120 0 -1 4202496 526612 0 0 0 479825 198 0 0 25 0 4 0 521930268 673996800 120238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2616/statm: 164550 120238 395 112 0 159515 0
[pid=2616/tid=2618] ppid=2614 vsize=658200 CPUtime=1201.26 cores=0,2,4,6
/proc/2616/task/2618/stat : 2618 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 162924 0 0 0 120065 61 0 0 25 0 4 0 521930268 673996800 120238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=658200 CPUtime=1201.79 cores=0,2,4,6
/proc/2616/task/2619/stat : 2619 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 148234 0 0 0 120127 52 0 0 25 0 4 0 521930268 673996800 120238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=658200 CPUtime=1195.42 cores=0,2,4,6
/proc/2616/task/2620/stat : 2620 (strangenight1-m) R 2614 2616 2120 0 -1 4202560 73321 0 0 0 119514 28 0 0 25 0 4 0 521930268 673996800 120238 33554432000 4194304 4650419 140736800334608 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 658200

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): 1201.94
CPU time (s): 4800.3
CPU user time (s): 4798.29
CPU system time (s): 2.00969
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 758824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.29
system time used= 2.00969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526614
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= 436
involuntary context switches= 23523

runsolver used 2.03169 second user time and 4.48732 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 20:55:15
IDJOB=3175243
IDBENCH=82861
IDSOLVER=1588
FILE ID=node120/3175243-1304103315
RUNJOBID= node120-1304102111-2507
PBS_JOBID= 13170619
Free space on /tmp= 72076 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175243-1304103315/watcher-3175243-1304103315 -o /tmp/evaluation-result-3175243-1304103315/solver-3175243-1304103315 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175243-1304103315.cnf

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

MD5SUM BENCH= 82ce98f61c0f2213b508b1b975b0c344
RANDOM SEED=784425485

node120.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.809
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.809
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	: 5226.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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:     32950928 kB
MemFree:      31428248 kB
Buffers:        484280 kB
Cached:         615928 kB
SwapCached:          8 kB
Active:         408056 kB
Inactive:       755920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31428248 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            6280 kB
Writeback:          12 kB
AnonPages:       63916 kB
Mapped:          14860 kB
Slab:           295944 kB
PageTables:       4484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188040 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= 72068 MiB
End job on node120 at 2011-04-29 21:15:19