Trace number 3368507

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.18 1203.56

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
MD5SUM4d2cfd51677809bb15d90c916352e4e2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark353.72
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
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-3368507-1305394968.cnf'
0.00/0.00	c -- header says num vars:           1500
0.00/0.00	c -- header says num clauses:       30000
0.00/0.02	c -- clauses added:            0 learnts,        30000 normals,            0 xors
0.00/0.02	c -- vars added       1500
0.00/0.02	c Parsing time:  0.07 s
0.00/0.02	c  N st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.00/0.18	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.62
0.00/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.75/0.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.75/0.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.75/0.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
0.75/0.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.75/0.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
0.75/0.69	c Finding binary XORs  T:     0.00 s  found:       0
0.75/0.69	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
0.75/0.69	c calculated reachability. Time: 0.00
0.75/0.69	c Calc default polars -  time:   0.00 s pos:     703 undec:      47 neg:     750
0.75/0.69	c =========================================================================================
0.75/0.69	c types(t): F = full restart, N = normal restart
0.75/0.69	c types(t): S = simplification begin/end, E = solution found
0.75/0.69	c restart types(rt): st = static, dy = dynamic
0.75/0.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.75/0.69	c  B st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.75/0.69	c  N dy    19      4093      1500     30000         0      4090    150000    637405    116.23    137.10  --
4.00/1.01	c  N dy    42      8253      1500     30000         0      5752    150000    630808    116.86    124.85  --
5.20/1.38	c  N dy    74     12357      1500     30000         0      5608    150000    415781    120.47    128.09  --
6.76/1.77	c  N dy   102     16383      1500     30000         0      9630    150000   1034785    121.28    148.62  --
8.35/2.18	c  N dy   129     20423      1500     30000         0      8050    150000    598078    121.66    129.60  --
10.35/2.60	c  N dy   153     24481      1500     30000         0     12107    150000   1220557    121.63    139.60  --
10.35/2.65	c  F st   158     25000      1500     30000         0     12626    150000   1298642    121.69   no data  --
12.39/3.18	c  N dy   164     30003      1500     30000         0     10809    150000    948189    121.69   no data  --
12.39/3.18	c  S st   164     30003      1500     30000         0     10809    150000    948189    121.69   no data  --
12.74/3.25	c  S st   164     30505      1500     30000         0     11311    150000   1011783    121.69   no data  --
12.74/3.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
12.74/3.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.74/3.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
13.14/3.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.14/3.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.14/3.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
13.14/3.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.74/5.30	c lits-rem:      2837  cl-subs:       25  v-elim:      0  v-fix:    0  time:  7.86 s
21.90/5.53	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.90
21.90/5.54	c calculated reachability. Time: 0.00
21.90/5.54	c  N dy   164     30505      1500     30000         0     11286    150000   1000429    121.69   no data  --
23.91/6.01	c  N dy   189     34533      1500     30000         0     15314    150000   1619224    121.98    130.04  --
25.55/6.46	c  N dy   215     38535      1500     30000         0     11410    150000    805996    122.14    145.89  --
27.50/6.93	c  N dy   242     42629      1500     30000         0     15503    150000   1426782    122.03    128.93  --
29.09/7.33	c  S st   261     45759      1500     30000         0      9685    150000    390349    121.91     98.05  --
29.09/7.40	c  S st   261     46264      1500     30000         0     10190    150000    461303    121.91   no data  --
29.09/7.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.09/7.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.52/7.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
29.52/7.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.52/7.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.52/7.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
29.52/7.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.65/11.79	c lits-rem:      1067  cl-subs:        1  v-elim:      0  v-fix:    0  time: 17.38 s
46.65/11.80	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
46.65/11.80	c vivif2 --  cl tried    10189 cl shrink        0 lits rem          0 time: 0.01
47.84/12.01	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.83
47.84/12.01	c calculated reachability. Time: 0.00
47.84/12.01	c  N dy   261     46264      1500     30000         0     10189    150000    459849    121.91   no data  --
49.43/12.48	c  N dy   286     50287      1500     30000         0     14210    150000   1074909    121.97    130.04  --
51.46/12.97	c  N dy   311     54418      1500     30000         0     18341    150000   1699638    121.92    128.64  --
53.42/13.48	c  N dy   336     58597      1500     30000         0     12546    150000    680623    122.14    128.89  --
55.43/13.96	c  N dy   358     62644      1500     30000         0     16591    150000   1299306    122.21    132.97  --
57.41/14.47	c  N dy   382     66736      1500     30000         0     20681    150000   1922863    122.21    128.80  --
58.61/14.79	c  S st   396     69396      1500     30000         0     12356    150000    499274    122.08    114.53  --
59.01/14.86	c  S st   396     69898      1500     30000         0     12858    150000    558263    122.08   no data  --
59.01/14.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.01/14.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.01/14.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
59.41/14.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.41/14.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.41/14.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
59.41/14.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
75.76/19.00	c lits-rem:      1695  cl-subs:        2  v-elim:      0  v-fix:    0  time: 16.31 s
75.76/19.00	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
75.76/19.01	c vivif2 --  cl tried    12856 cl shrink        0 lits rem          0 time: 0.02
76.56/19.26	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 1.00
76.56/19.26	c calculated reachability. Time: 0.00
76.56/19.26	c  N dy   396     69898      1500     30000         0     12856    150000    556269    122.08   no data  --
78.95/19.86	c  N dy   428     74471      1500     30000         0     17422    150000   1264861    122.32    131.71  --
81.74/20.56	c  N dy   453     79311      1500     30000         0     22260    150000   2017440    122.31    133.21  --
84.53/21.26	c  N dy   486     84520      1500     30000         0     15483    150000    851376    122.38    129.81  --
86.14/21.67	c  F st   506     87500      1500     30000         0     18460    150000   1314897    122.53    125.49  --
88.13/22.13	c  N st   511     90798      1500     30000         0     21749    150000   1876971    122.53   no data  --
91.72/23.04	c  N dy   539     96787      1500     30000         0     14747    150000    581498    122.56    136.25  --
95.34/23.95	c  N dy   578    103413      1500     30000         0     21371    150000   1590606    122.52    130.81  --
96.11/24.19	c  S st   587    104848      1500     30000         0     22803    150000   1808248    122.51    114.15  --
96.51/24.29	c  S st   587    105349      1500     30000         0     23304    150000   1879101    122.51   no data  --
96.91/24.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
96.91/24.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.91/24.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.12
97.30/24.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.30/24.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.30/24.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
97.30/24.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.18/35.94	c lits-rem:       670  cl-subs:       12  v-elim:      0  v-fix:    0  time: 45.97 s
143.18/35.95	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
143.18/35.97	c vivif2 --  cl tried    23292 cl shrink        0 lits rem          0 time: 0.07
144.76/36.30	c asymm  cl-useful: 0/28367/30000 lits-rem:0 time: 1.31
144.76/36.30	c calculated reachability. Time: 0.00
144.76/36.30	c  N dy   587    105349      1500     30000         0     23292    150000   1874602    122.51   no data  --
148.40/37.26	c  N dy   631    112197      1500     30000         0     16148    150000    658777    122.72    132.32  --
151.95/38.20	c  N dy   672    119527      1500     30000         0     23473    150000   1779365    122.71    130.35  --
156.76/39.36	c  N dy   716    127256      1500     30000         0     16208    150000    516537    122.63    130.21  --
161.15/40.49	c  N dy   765    135587      1500     30000         0     24536    150000   1792898    122.65    129.48  --
166.69/41.86	c  N dy   822    144405      1500     30000         0     17358    150000    545991    122.75    132.72  --
171.89/43.20	c  N dy   876    153964      1500     30000         0     26907    150000   2007018    122.71    129.22  --
174.73/43.83	c  S st   895    158024      1500     30000         0     30962    150000   2638323    122.70    123.67  --
175.08/43.95	c  S st   895    158528      1500     30000         0     31466    150000   2702477    122.70   no data  --
175.08/43.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
175.08/43.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.08/43.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.13
175.48/44.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.48/44.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.48/44.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
175.48/44.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
269.63/67.66	c lits-rem:       766  cl-subs:       18  v-elim:      0  v-fix:    0  time: 93.93 s
269.63/67.66	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
269.63/67.69	c vivif2 --  cl tried    31448 cl shrink        0 lits rem          0 time: 0.11
270.03/67.73	c asymm  cl-useful: 0/1633/30000 lits-rem:0 time: 0.15
270.03/67.73	c calculated reachability. Time: 0.00
270.03/67.73	c  N dy   895    158528      1500     30000         0     31448    150000   2695573    122.70   no data  --
276.00/69.27	c  N dy   954    168654      1500     30000         0     24586    150000   1512306    122.70    151.29  --
283.19/71.07	c  N dy  1023    179471      1500     30000         0     35400    150000   3185947    122.81    129.93  --
290.37/72.80	c  N dy  1089    191153      1500     30000         0     29077    150000   2068133    122.77    129.78  --
298.34/74.85	c  N dy  1174    203395      1500     30000         0     22328    150000    878279    122.92    130.71  --
306.72/76.95	c  N dy  1254    216637      1500     30000         0     35566    150000   2907342    122.91    130.05  --
315.50/79.17	c  N dy  1337    230633      1500     30000         0     29565    150000   1842210    122.94    131.11  --
320.29/80.38	c  S st  1385    237793      1500     30000         0     36721    150000   2932951    122.96   no data  --
321.09/80.50	c  S st  1385    238296      1500     30000         0     37224    150000   2997114    122.96   no data  --
321.09/80.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
321.09/80.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
321.09/80.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
321.48/80.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
321.48/80.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
321.48/80.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
321.48/80.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
948.11/237.70	c lits-rem:       533  cl-subs:       20  v-elim:      0  v-fix:    0  time: 625.63 s
948.11/237.70	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
948.11/237.73	c vivif2 --  cl tried    37204 cl shrink        0 lits rem          0 time: 0.12
949.71/238.18	c asymm  cl-useful: 0/22248/30000 lits-rem:0 time: 1.79
949.71/238.18	c calculated reachability. Time: 0.00
949.71/238.18	c  N dy  1385    238296      1500     30000         0     37204    150000   2989512    122.96   no data  --
960.87/240.99	c  N dy  1484    253525      1500     30000         0     31437    150000   2000898    123.03    136.33  --
973.64/244.12	c  N dy  1578    269866      1500     30000         0     25781    150000    973633    123.03    130.35  --
987.20/247.54	c  N dy  1681    287109      1500     30000         0     43016    150000   3639484    123.07    139.11  --
1001.56/251.14	c  N dy  1794    305513      1500     30000         0     38421    150000   2790861    123.11    133.05  --
1002.36/251.30	c  F st  1800    306251      1500     30000         0     39158    150000   2904310    123.11    115.99  --
1017.17/255.07	c  N dy  1902    325022      1500     30000         0     33926    150000   1957218    123.23    135.94  --
1033.88/259.30	c  N dy  2019    345207      1500     30000         0     29118    150000   1050247    123.27    132.91  --
1043.84/261.72	c  S st  2096    357444      1500     30000         0     41345    150000   2946089    123.31   no data  --
1044.23/261.88	c  S st  2096    357950      1500     30000         0     41851    150000   3009745    123.31   no data  --
1044.23/261.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1044.23/261.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1044.63/261.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
1045.04/262.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1045.04/262.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1045.04/262.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1045.04/262.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1714.34/429.82	c lits-rem:       421  cl-subs:       18  v-elim:      0  v-fix:    0  time: 668.90 s
1714.34/429.82	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
1714.34/429.85	c vivif2 --  cl tried    41833 cl shrink        0 lits rem          0 time: 0.13
1715.10/430.06	c asymm  cl-useful: 0/7752/30000 lits-rem:0 time: 0.83
1715.10/430.06	c calculated reachability. Time: 0.00
1715.10/430.06	c  N dy  2096    357950      1500     30000         0     41833    150000   3002872    123.31   no data  --
1731.47/434.12	c  N dy  2221    378046      1500     30000         0     35934    150000   1964447    123.34    131.04  --
1748.62/438.40	c  N dy  2333    398103      1500     30000         0     28994    150000    748633    123.25    130.93  --
1764.56/442.43	c  N dy  2454    418209      1500     30000         0     49094    150000   3848360    123.27    130.49  --
1780.92/446.52	c  N dy  2570    438280      1500     30000         0     41173    150000   2483094    123.26    135.56  --
1798.47/450.98	c  N dy  2676    458384      1500     30000         0     32278    150000    956069    123.26    133.55  --
1814.83/455.04	c  N dy  2797    478427      1500     30000         0     52299    150000   4038171    123.25    130.99  --
1831.18/459.14	c  N dy  2923    498617      1500     30000         0     42500    150000   2390314    123.28    130.00  --
1849.14/463.62	c  N dy  3042    518753      1500     30000         0     31646    150000    565520    123.29    130.86  --
1863.10/467.10	c  S st  3157    536925      1500     30000         0     49813    150000   3366842    123.33    129.92  --
1863.52/467.27	c  S st  3157    537428      1500     30000         0     50316    150000   3435376    123.33   no data  --
1863.52/467.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1863.52/467.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1863.93/467.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
1864.29/467.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1864.29/467.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1864.29/467.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1864.29/467.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2896.46/726.23	c lits-rem:       465  cl-subs:       10  v-elim:      0  v-fix:    0  time: 1031.70 s
2896.46/726.23	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
2896.46/726.27	c vivif2 --  cl tried    50306 cl shrink        0 lits rem          0 time: 0.14
2898.45/726.78	c asymm  cl-useful: 0/18482/30000 lits-rem:0 time: 2.02
2898.45/726.78	c calculated reachability. Time: 0.00
2898.45/726.78	c  N dy  3157    537428      1500     30000         0     50306    150000   3431834    123.33   no data  --
2918.40/731.76	c  N dy  3265    557464      1500     30000         0     38348    150000   1456955    123.29    130.52  --
2937.95/736.70	c  N dy  3385    577652      1500     30000         0     58528    150000   4587585    123.29    132.33  --
2957.88/741.68	c  N dy  3519    597780      1500     30000         0     45662    150000   2462539    123.40    131.35  --
2979.82/747.15	c  N dy  3654    617871      1500     30000         0     65742    150000   5595120    123.47    130.25  --
2998.57/751.83	c  N dy  3771    637955      1500     30000         0     51830    150000   3235676    123.47    131.32  --
3020.10/757.23	c  N dy  3878    658123      1500     30000         0     37000    150000    810309    123.42    130.26  --
3038.85/761.94	c  N dy  3997    678187      1500     30000         0     57055    150000   3914356    123.44    130.80  --
3060.79/767.46	c  N dy  4123    698211      1500     30000         0     41089    150000   1300965    123.46    131.35  --
3080.73/772.41	c  N dy  4242    718276      1500     30000         0     61142    150000   4411755    123.47    130.45  --
3101.12/777.56	c  N dy  4365    738566      1500     30000         0     44441    150000   1683984    123.51    130.20  --
3120.63/782.47	c  N dy  4491    758667      1500     30000         0     64532    150000   4807181    123.53    130.45  --
3141.36/787.62	c  N dy  4603    778729      1500     30000         0     46612    150000   1858218    123.51    131.54  --
3161.71/792.71	c  N dy  4721    798961      1500     30000         0     66831    150000   4971680    123.50    132.56  --
3170.09/794.84	c  S st  4768    806142      1500     30000         0     74008    150000   6092209    123.52    128.78  --
3170.91/795.06	c  S st  4768    806646      1500     30000         0     74511    150000   6156182    123.52   no data  --
3170.91/795.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3170.91/795.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3171.33/795.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.28
3172.08/795.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3172.08/795.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3172.08/795.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
3172.08/795.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  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-3368507-1305394968/watcher-3368507-1305394968 -o /tmp/evaluation-result-3368507-1305394968/solver-3368507-1305394968 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368507-1305394968.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.05 8.03 7.81 7/355 17315
/proc/meminfo: memFree=24729704/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=208580 CPUtime=0.01 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 1614 0 0 0 1 0 0 0 25 0 4 0 651093908 213585920 1534 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 52145 1535 343 112 0 47110 0
[pid=17315/tid=17316] ppid=17313 vsize=282952 CPUtime=0 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) S 17313 17315 16708 0 -1 4202560 497 0 0 0 0 0 0 0 25 0 4 0 651093908 289742848 2046 33554432000 4194304 4650419 140735270791184 18446744073709551615 239476799982 0 0 4096 2 18446604449246837440 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=282952 CPUtime=0 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 354 0 0 0 0 0 0 0 25 0 4 0 651093908 289742848 2048 33554432000 4194304 4650419 140735270791184 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=282952 CPUtime=0 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 469 0 0 0 0 0 0 0 25 0 4 0 651093908 289742848 2048 33554432000 4194304 4650419 140735270791184 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0973629 s]
/proc/loadavg: 8.05 8.03 7.81 7/355 17315
/proc/meminfo: memFree=24729704/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=294256 CPUtime=0.75 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 7278 0 0 0 74 1 0 0 18 0 4 0 651093908 301318144 6276 33554432000 4194304 4650419 140735270791184 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 73668 6401 382 112 0 68633 0
[pid=17315/tid=17316] ppid=17313 vsize=295052 CPUtime=0.18 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 2831 0 0 0 18 0 0 0 18 0 4 0 651093908 302133248 6637 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=295052 CPUtime=0.18 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 1917 0 0 0 18 0 0 0 18 0 4 0 651093908 302133248 7050 33554432000 4194304 4650419 140735270791184 18446744073709551615 239476356129 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=295052 CPUtime=0.19 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 1235 0 0 0 19 0 0 0 18 0 4 0 651093908 302133248 7234 33554432000 4194304 4650419 140735270791184 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 294256

[startup+1.01008 s]
/proc/loadavg: 8.05 8.03 7.81 7/355 17315
/proc/meminfo: memFree=24729704/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=300648 CPUtime=4 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 18200 0 0 0 396 4 0 0 18 0 4 0 651093908 307863552 12043 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 75162 12043 391 112 0 70127 0
[pid=17315/tid=17316] ppid=17313 vsize=300648 CPUtime=1 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 4983 0 0 0 99 1 0 0 19 0 4 0 651093908 307863552 12044 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=300648 CPUtime=0.99 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 4830 0 0 0 98 1 0 0 19 0 4 0 651093908 307863552 12044 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=300648 CPUtime=1 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 3180 0 0 0 99 1 0 0 19 0 4 0 651093908 307863552 12045 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 300648

[startup+1.11006 s]
/proc/loadavg: 8.05 8.03 7.81 7/355 17315
/proc/meminfo: memFree=24729704/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=300952 CPUtime=4.4 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 19551 0 0 0 436 4 0 0 19 0 4 0 651093908 308174848 12069 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 75238 12069 391 112 0 70203 0
[pid=17315/tid=17316] ppid=17313 vsize=300952 CPUtime=1.1 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 5146 0 0 0 109 1 0 0 19 0 4 0 651093908 308174848 12069 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=300952 CPUtime=1.09 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 4985 0 0 0 108 1 0 0 19 0 4 0 651093908 308174848 12069 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=300952 CPUtime=1.1 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 4050 0 0 0 109 1 0 0 19 0 4 0 651093908 308174848 12069 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 300952

[startup+1.21004 s]
/proc/loadavg: 8.05 8.03 7.81 7/355 17315
/proc/meminfo: memFree=24729704/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=300952 CPUtime=4.8 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 20183 0 0 0 476 4 0 0 19 0 4 0 651093908 308174848 12701 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 75238 12701 391 112 0 70203 0
[pid=17315/tid=17316] ppid=17313 vsize=300952 CPUtime=1.2 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 5306 0 0 0 119 1 0 0 19 0 4 0 651093908 308174848 12701 33554432000 4194304 4650419 140735270791184 18446744073709551615 4360465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=300952 CPUtime=1.19 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 5143 0 0 0 118 1 0 0 19 0 4 0 651093908 308174848 12701 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=300952 CPUtime=1.2 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 4207 0 0 0 119 1 0 0 19 0 4 0 651093908 308174848 12701 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 300952

[startup+1.50099 s]
/proc/loadavg: 8.05 8.03 7.81 7/355 17315
/proc/meminfo: memFree=24729704/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=301716 CPUtime=5.96 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 23631 0 0 0 591 5 0 0 19 0 4 0 651093908 308957184 12148 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 75429 12148 391 112 0 70394 0
[pid=17315/tid=17316] ppid=17313 vsize=301716 CPUtime=1.49 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 6257 0 0 0 148 1 0 0 19 0 4 0 651093908 308957184 12148 33554432000 4194304 4650419 140735270791184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=301716 CPUtime=1.48 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 6228 0 0 0 147 1 0 0 19 0 4 0 651093908 308957184 12148 33554432000 4194304 4650419 140735270791184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=301716 CPUtime=1.49 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 4670 0 0 0 148 1 0 0 19 0 4 0 651093908 308957184 12149 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 301716

[startup+3.11368 s]
/proc/loadavg: 8.21 8.06 7.82 9/359 17319
/proc/meminfo: memFree=24644980/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=303144 CPUtime=12.39 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 38216 0 0 0 1232 7 0 0 24 0 4 0 651093908 310419456 13371 33554432000 4194304 4650419 140735270791184 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 75786 13371 392 112 0 70751 0
[pid=17315/tid=17316] ppid=17313 vsize=303144 CPUtime=3.1 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 10089 0 0 0 309 1 0 0 25 0 4 0 651093908 310419456 13372 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=303144 CPUtime=3.07 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 9622 0 0 0 305 2 0 0 24 0 4 0 651093908 310419456 13372 33554432000 4194304 4650419 140735270791184 18446744073709551615 4329335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=303144 CPUtime=3.09 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 8240 0 0 0 308 1 0 0 25 0 4 0 651093908 310419456 13372 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 303144

[startup+6.30107 s]
/proc/loadavg: 8.19 8.06 7.82 9/359 17319
/proc/meminfo: memFree=24503976/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=316976 CPUtime=25.14 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 73881 0 0 0 2499 15 0 0 24 0 4 0 651093908 324583424 38127 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 79244 38127 393 112 0 74209 0
[pid=17315/tid=17316] ppid=17313 vsize=316976 CPUtime=6.3 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 15235 0 0 0 628 2 0 0 25 0 4 0 651093908 324583424 38132 33554432000 4194304 4650419 140735270791184 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=316976 CPUtime=6.24 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 20895 0 0 0 620 4 0 0 25 0 4 0 651093908 324583424 38132 33554432000 4194304 4650419 140735270791184 18446744073709551615 4439268 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=316976 CPUtime=6.29 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 19264 0 0 0 625 4 0 0 25 0 4 0 651093908 324583424 38132 33554432000 4194304 4650419 140735270791184 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 316976

[startup+12.7008 s]
/proc/loadavg: 8.25 8.08 7.82 9/359 17320
/proc/meminfo: memFree=24477824/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=319088 CPUtime=50.64 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 87550 0 0 0 5047 17 0 0 25 0 4 0 651093908 326746112 42046 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 79772 42046 393 112 0 74737 0
[pid=17315/tid=17316] ppid=17313 vsize=319088 CPUtime=12.69 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 20947 0 0 0 1266 3 0 0 25 0 4 0 651093908 326746112 42046 33554432000 4194304 4650419 140735270791184 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=319088 CPUtime=12.56 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 21547 0 0 0 1252 4 0 0 25 0 4 0 651093908 326746112 42046 33554432000 4194304 4650419 140735270791184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=319088 CPUtime=12.69 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 23142 0 0 0 1264 5 0 0 25 0 4 0 651093908 326746112 42047 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 319088

[startup+25.5004 s]
/proc/loadavg: 8.22 8.08 7.83 9/359 17320
/proc/meminfo: memFree=24287152/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=475312 CPUtime=101.69 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 142968 0 0 0 10140 29 0 0 25 0 4 0 651093908 486719488 73605 33554432000 4194304 4650419 140735270791184 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 118828 73605 393 112 0 113793 0
[pid=17315/tid=17316] ppid=17313 vsize=475312 CPUtime=25.48 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 29958 0 0 0 2544 4 0 0 25 0 4 0 651093908 486719488 73605 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=475312 CPUtime=25.22 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 37025 0 0 0 2515 7 0 0 25 0 4 0 651093908 486719488 73605 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=475312 CPUtime=25.48 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 38443 0 0 0 2540 8 0 0 25 0 4 0 651093908 486719488 73605 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 475312

[startup+51.1005 s]
/proc/loadavg: 8.14 8.07 7.83 9/359 17320
/proc/meminfo: memFree=24164440/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=655452 CPUtime=203.8 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 206944 0 0 0 20334 46 0 0 25 0 4 0 651093908 671182848 92388 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 163863 92388 393 112 0 158828 0
[pid=17315/tid=17316] ppid=17313 vsize=655452 CPUtime=51.09 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 38766 0 0 0 5101 8 0 0 25 0 4 0 651093908 671182848 92389 33554432000 4194304 4650419 140735270791184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=655452 CPUtime=50.53 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 59773 0 0 0 5041 12 0 0 25 0 4 0 651093908 671182848 92389 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=655452 CPUtime=51.08 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 57457 0 0 0 5095 13 0 0 25 0 4 0 651093908 671182848 92389 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 655452

[startup+102.301 s]
/proc/loadavg: 8.10 8.07 7.84 9/359 17322
/proc/meminfo: memFree=24081432/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=670988 CPUtime=408.04 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 311832 0 0 0 40727 77 0 0 25 0 4 0 651093908 687091712 105079 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 167747 105079 393 112 0 162712 0
[pid=17315/tid=17316] ppid=17313 vsize=670988 CPUtime=102.29 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 60102 0 0 0 10213 16 0 0 25 0 4 0 651093908 687091712 105079 33554432000 4194304 4650419 140735270791184 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=670988 CPUtime=101.16 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 84004 0 0 0 10101 15 0 0 25 0 4 0 651093908 687091712 105079 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=670988 CPUtime=102.28 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 104205 0 0 0 10198 30 0 0 25 0 4 0 651093908 687091712 105079 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 670988

[startup+162.3 s]

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

[pid=17315] ppid=17313 vsize=1101172 CPUtime=2561.85 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 777415 0 0 0 255936 249 0 0 25 0 4 0 651093908 1127600128 172687 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 275293 172687 393 112 0 270258 0
[pid=17315/tid=17316] ppid=17313 vsize=1101172 CPUtime=642.31 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 97880 0 0 0 64198 33 0 0 25 0 4 0 651093908 1127600128 172687 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1101172 CPUtime=634.92 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 256059 0 0 0 63418 74 0 0 25 0 4 0 651093908 1127600128 172687 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1101172 CPUtime=642.3 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 317218 0 0 0 64124 106 0 0 25 0 4 0 651093908 1127600128 172687 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.85
Current children cumulated vsize (KiB) 1101172

[startup+702.301 s]
/proc/loadavg: 8.12 8.11 7.95 9/359 17338
/proc/meminfo: memFree=23578364/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1101172 CPUtime=2801.15 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 784216 0 0 0 279865 250 0 0 25 0 4 0 651093908 1127600128 172681 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 275293 172681 393 112 0 270258 0
[pid=17315/tid=17316] ppid=17313 vsize=1101172 CPUtime=702.31 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 97880 0 0 0 70198 33 0 0 25 0 4 0 651093908 1127600128 172681 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1101172 CPUtime=694.21 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 256059 0 0 0 69347 74 0 0 25 0 4 0 651093908 1127600128 172681 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1101172 CPUtime=702.3 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 324019 0 0 0 70123 107 0 0 25 0 4 0 651093908 1127600128 172681 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.15
Current children cumulated vsize (KiB) 1101172

[startup+762.3 s]
/proc/loadavg: 8.09 8.10 7.96 9/359 17340
/proc/meminfo: memFree=23577332/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1101964 CPUtime=3040.44 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 804447 0 0 0 303783 261 0 0 25 0 4 0 651093908 1128411136 173258 33554432000 4194304 4650419 140735270791184 18446744073709551615 4360452 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 275491 173258 393 112 0 270456 0
[pid=17315/tid=17316] ppid=17313 vsize=1101964 CPUtime=762.32 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 97880 0 0 0 76199 33 0 0 25 0 4 0 651093908 1128411136 173258 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1101964 CPUtime=753.49 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 256059 0 0 0 75275 74 0 0 25 0 4 0 651093908 1128411136 173258 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1101964 CPUtime=762.3 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 331226 0 0 0 76122 108 0 0 25 0 4 0 651093908 1128411136 173258 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.44
Current children cumulated vsize (KiB) 1101964

[startup+822.301 s]
/proc/loadavg: 8.08 8.09 7.96 9/359 17341
/proc/meminfo: memFree=23514412/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1140572 CPUtime=3279.77 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 861255 0 0 0 327690 287 0 0 25 0 4 0 651093908 1167945728 188513 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 285143 188513 393 112 0 280108 0
[pid=17315/tid=17316] ppid=17313 vsize=1140572 CPUtime=822.31 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 125707 0 0 0 82184 47 0 0 25 0 4 0 651093908 1167945728 188513 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1140572 CPUtime=812.81 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 256059 0 0 0 81207 74 0 0 25 0 4 0 651093908 1167945728 188513 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1140572 CPUtime=822.31 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 335691 0 0 0 82122 109 0 0 25 0 4 0 651093908 1167945728 188513 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.77
Current children cumulated vsize (KiB) 1140572

[startup+882.3 s]
/proc/loadavg: 8.13 8.10 7.97 9/359 17343
/proc/meminfo: memFree=23502820/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1104468 CPUtime=3519.07 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 900203 0 0 0 351600 307 0 0 25 0 4 0 651093908 1130975232 186666 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 276117 186666 393 112 0 271082 0
[pid=17315/tid=17316] ppid=17313 vsize=1104468 CPUtime=882.32 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 151835 0 0 0 88167 65 0 0 25 0 4 0 651093908 1130975232 186666 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1104468 CPUtime=872.11 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 256059 0 0 0 87137 74 0 0 25 0 4 0 651093908 1130975232 186666 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1104468 CPUtime=882.31 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 337778 0 0 0 88122 109 0 0 25 0 4 0 651093908 1130975232 186666 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.07
Current children cumulated vsize (KiB) 1104468

[startup+942.301 s]
/proc/loadavg: 8.04 8.08 7.97 9/359 17344
/proc/meminfo: memFree=23497660/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1133036 CPUtime=3758.37 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 965611 0 0 0 375500 337 0 0 25 0 4 0 651093908 1160228864 190496 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 283259 190496 393 112 0 278224 0
[pid=17315/tid=17316] ppid=17313 vsize=1133036 CPUtime=942.31 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 180083 0 0 0 94153 78 0 0 25 0 4 0 651093908 1160228864 190496 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1133036 CPUtime=931.4 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 287190 0 0 0 93051 89 0 0 25 0 4 0 651093908 1160228864 190496 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1133036 CPUtime=942.31 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 339215 0 0 0 94122 109 0 0 25 0 4 0 651093908 1160228864 190496 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.37
Current children cumulated vsize (KiB) 1133036

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 7.98 9/359 17346
/proc/meminfo: memFree=23463260/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1186208 CPUtime=3997.65 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 1029635 0 0 0 399395 370 0 0 25 0 4 0 651093908 1214676992 198173 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 296552 198173 393 112 0 291517 0
[pid=17315/tid=17316] ppid=17313 vsize=1186208 CPUtime=1002.32 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 210795 0 0 0 100138 94 0 0 25 0 4 0 651093908 1214676992 198173 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1186208 CPUtime=990.69 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 319076 0 0 0 98962 107 0 0 25 0 4 0 651093908 1214676992 198173 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1186208 CPUtime=1002.31 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 340171 0 0 0 100122 109 0 0 25 0 4 0 651093908 1214676992 198173 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.65
Current children cumulated vsize (KiB) 1186208

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.98 9/359 17348
/proc/meminfo: memFree=23490356/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1134888 CPUtime=4237 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 1085262 0 0 0 423302 398 0 0 25 0 4 0 651093908 1162125312 189567 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 283722 189567 393 112 0 278687 0
[pid=17315/tid=17316] ppid=17313 vsize=1134888 CPUtime=1062.33 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 243717 0 0 0 106123 110 0 0 25 0 4 0 651093908 1162125312 189569 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1134888 CPUtime=1049.99 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 339451 0 0 0 104881 118 0 0 25 0 4 0 651093908 1162125312 189569 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1134888 CPUtime=1062.32 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 342503 0 0 0 106123 109 0 0 25 0 4 0 651093908 1162125312 189569 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237
Current children cumulated vsize (KiB) 1134888

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.00 9/359 17358
/proc/meminfo: memFree=23492480/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1136240 CPUtime=4476.23 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 1127738 0 0 0 447203 420 0 0 25 0 4 0 651093908 1163509760 185648 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 284060 185648 393 112 0 279025 0
[pid=17315/tid=17316] ppid=17313 vsize=1136240 CPUtime=1122.33 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 255163 0 0 0 112117 116 0 0 25 0 4 0 651093908 1163509760 185648 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1136240 CPUtime=1109.27 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 369109 0 0 0 110793 134 0 0 25 0 4 0 651093908 1163509760 185648 33554432000 4194304 4650419 140735270791184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1136240 CPUtime=1122.31 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 343873 0 0 0 112121 110 0 0 25 0 4 0 651093908 1163509760 185648 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.23
Current children cumulated vsize (KiB) 1136240

[startup+1182.31 s]
/proc/loadavg: 8.10 8.10 8.00 9/359 17360
/proc/meminfo: memFree=23451660/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1202624 CPUtime=4715.57 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 1155242 0 0 0 471122 435 0 0 25 0 4 0 651093908 1231486976 195762 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 300656 195762 393 112 0 295621 0
[pid=17315/tid=17316] ppid=17313 vsize=1202624 CPUtime=1182.34 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 255163 0 0 0 118118 116 0 0 25 0 4 0 651093908 1231486976 195762 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1202624 CPUtime=1168.57 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 395592 0 0 0 116707 150 0 0 25 0 4 0 651093908 1231486976 195762 33554432000 4194304 4650419 140735270791184 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1202624 CPUtime=1182.33 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 344877 0 0 0 118123 110 0 0 25 0 4 0 651093908 1231486976 195762 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.57
Current children cumulated vsize (KiB) 1202624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.20 8.12 8.01 5/354 17361
/proc/meminfo: memFree=23970888/32950928 swapFree=67056568/67111528
[pid=17315] ppid=17313 vsize=1202904 CPUtime=4800.1 cores=0,2,4,6
/proc/17315/stat : 17315 (strangenight1-m) R 17313 17315 16708 0 -1 4202496 1165725 0 0 0 479568 442 0 0 25 0 4 0 651093908 1231773696 195532 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17315/statm: 300726 195532 393 112 0 295691 0
[pid=17315/tid=17316] ppid=17313 vsize=1202904 CPUtime=1203.54 cores=0,2,4,6
/proc/17315/task/17316/stat : 17316 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 255163 0 0 0 120238 116 0 0 25 0 4 0 651093908 1231773696 195532 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17315/tid=17317] ppid=17313 vsize=1202904 CPUtime=1189.51 cores=0,2,4,6
/proc/17315/task/17317/stat : 17317 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 405642 0 0 0 118795 156 0 0 25 0 4 0 651093908 1231773696 195532 33554432000 4194304 4650419 140735270791184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17315/tid=17318] ppid=17313 vsize=1202904 CPUtime=1203.53 cores=0,2,4,6
/proc/17315/task/17318/stat : 17318 (strangenight1-m) R 17313 17315 16708 0 -1 4202560 345310 0 0 0 120243 110 0 0 25 0 4 0 651093908 1231773696 195532 33554432000 4194304 4650419 140735270791184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1202904

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.56
CPU time (s): 4800.18
CPU user time (s): 4795.72
CPU system time (s): 4.45732
CPU usage (%): 398.833
Max. virtual memory (cumulated for all children) (KiB): 1215960

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

runsolver used 3.88641 second user time and 9.94849 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 19:42:48
IDJOB=3368507
IDBENCH=82516
IDSOLVER=1846
FILE ID=node148/3368507-1305394968
RUNJOBID= node148-1305393761-17198
PBS_JOBID= 13324440
Free space on /tmp= 72832 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368507-1305394968/watcher-3368507-1305394968 -o /tmp/evaluation-result-3368507-1305394968/solver-3368507-1305394968 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368507-1305394968.cnf

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

MD5SUM BENCH= 4d2cfd51677809bb15d90c916352e4e2
RANDOM SEED=1320273147

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24729984 kB
Buffers:        313128 kB
Cached:        4592844 kB
SwapCached:       8488 kB
Active:        4576704 kB
Inactive:      3292836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24729984 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           13608 kB
Writeback:           0 kB
AnonPages:     2960832 kB
Mapped:          27388 kB
Slab:           258732 kB
PageTables:      28924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84757868 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72836 MiB
End job on node148 at 2011-05-14 20:02:54