Trace number 3368635

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf
MD5SUM4c3def64b0c0da01406b551924b4a52d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark532.031
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368635-1305399404.cnf'
0.00/0.01	c -- header says num vars:           1500
0.00/0.01	c -- header says num clauses:       30000
0.00/0.03	c -- clauses added:            0 learnts,        30000 normals,            0 xors
0.00/0.03	c -- vars added       1500
0.00/0.03	c Parsing time:  0.05 s
0.00/0.03	c  N st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.77/0.20	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.62
0.77/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.77/0.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
0.77/0.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.77/0.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
0.77/0.49	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.49	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
0.77/0.49	c calculated reachability. Time: 0.00
0.77/0.49	c Calc default polars -  time:   0.01 s pos:     694 undec:      56 neg:     750
0.77/0.49	c =========================================================================================
0.77/0.49	c types(t): F = full restart, N = normal restart
0.77/0.49	c types(t): S = simplification begin/end, E = solution found
0.77/0.49	c restart types(rt): st = static, dy = dynamic
0.77/0.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.49	c  B st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.85/1.07	c  N dy    17      4294      1500     30000         0      4288    150000    676744    122.70    133.65  --
0.85/1.07	c  N dy    46      8415      1500     30000         0      5907    150000    691518    125.52    132.25  --
5.53/1.41	c  N dy    70     12510      1500     30000         0      5756    150000    445599    124.69    133.33  --
6.73/1.79	c  N dy    89     16522      1500     30000         0      9764    150000   1059821    123.88    132.41  --
8.71/2.20	c  N dy   109     20632      1500     30000         0      8256    150000    642684    123.63    131.09  --
10.31/2.62	c  N dy   127     24857      1500     30000         0     12480    150000   1280279    122.93    130.21  --
10.31/2.64	c  F st   129     25000      1500     30000         0     12622    150000   1303603    123.00   no data  --
12.30/3.18	c  N dy   135     30001      1500     30000         0     10799    150000    932449    123.00   no data  --
12.30/3.18	c  S st   135     30001      1500     30000         0     10799    150000    932449    123.00   no data  --
12.70/3.24	c  S st   135     30506      1500     30000         0     11304    150000    993826    123.00   no data  --
12.70/3.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
12.70/3.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.70/3.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
13.11/3.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.11/3.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.11/3.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
13.11/3.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.73/5.23	c lits-rem:      2807  cl-subs:       62  v-elim:      0  v-fix:    0  time:  7.59 s
21.47/5.45	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.86
21.47/5.45	c calculated reachability. Time: 0.00
21.47/5.45	c  N dy   135     30506      1500     30000         0     11242    150000    968539    123.00   no data  --
23.47/5.94	c  N dy   163     34541      1500     30000         0     15277    150000   1599763    123.42    133.37  --
25.11/6.39	c  N dy   188     38555      1500     30000         0     11392    150000    812619    123.65    132.09  --
27.06/6.85	c  N dy   206     42681      1500     30000         0     15516    150000   1424725    122.98    130.33  --
28.66/7.25	c  S st   220     45761      1500     30000         0      9649    150000    384054    122.67   no data  --
29.08/7.32	c  S st   220     46262      1500     30000         0     10150    150000    446385    122.67   no data  --
29.08/7.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.08/7.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.08/7.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
29.08/7.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.08/7.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.08/7.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
29.08/7.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.41/11.44	c lits-rem:      1124  cl-subs:        1  v-elim:      0  v-fix:    0  time: 16.27 s
45.41/11.44	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
45.41/11.45	c vivif2 --  cl tried    10149 cl shrink        0 lits rem          0 time: 0.02
46.21/11.63	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.74
46.21/11.63	c calculated reachability. Time: 0.00
46.21/11.63	c  N dy   220     46262      1500     30000         0     10149    150000    445056    122.67   no data  --
47.80/12.07	c  N dy   249     50308      1500     30000         0     14194    150000   1068160    122.88    132.39  --
49.79/12.54	c  N dy   270     54330      1500     30000         0     18215    150000   1668166    122.53    129.22  --
51.78/13.02	c  N dy   292     58599      1500     30000         0     12512    150000    675751    122.52    131.27  --
53.79/13.50	c  N dy   316     62611      1500     30000         0     16524    150000   1290206    122.48    134.60  --
55.82/14.01	c  N dy   340     66719      1500     30000         0     20631    150000   1922474    122.47    130.46  --
56.97/14.35	c  S st   356     69394      1500     30000         0     12320    150000    498044    122.45    122.62  --
57.37/14.42	c  S st   356     69899      1500     30000         0     12825    150000    565139    122.45   no data  --
57.37/14.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.37/14.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.37/14.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
57.37/14.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.37/14.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.37/14.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
57.37/14.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
75.72/19.01	c lits-rem:      1769  cl-subs:        1  v-elim:      0  v-fix:    0  time: 18.10 s
75.72/19.01	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
75.72/19.02	c vivif2 --  cl tried    12824 cl shrink        0 lits rem          0 time: 0.02
76.53/19.27	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 1.03
76.53/19.27	c calculated reachability. Time: 0.00
76.53/19.28	c  N dy   356     69899      1500     30000         0     12824    150000    563314    122.45   no data  --
78.91/19.86	c  N dy   387     74501      1500     30000         0     17423    150000   1260939    122.47    129.29  --
81.73/20.59	c  N dy   414     79655      1500     30000         0     22575    150000   2043084    122.43    129.00  --
84.90/21.31	c  N dy   452     84813      1500     30000         0     15741    150000    871614    122.59    130.99  --
86.11/21.68	c  F st   472     87500      1500     30000         0     18428    150000   1281597    122.61   no data  --
88.08/22.15	c  N st   477     90795      1500     30000         0     21715    150000   1832061    122.61   no data  --
91.67/23.02	c  N dy   500     96750      1500     30000         0     14679    150000    564169    122.58    129.35  --
94.89/23.87	c  N dy   536    102927      1500     30000         0     20855    150000   1521255    122.58    139.87  --
96.05/24.18	c  S st   550    104850      1500     30000         0     22778    150000   1822380    122.64   no data  --
96.45/24.29	c  S st   550    105351      1500     30000         0     23279    150000   1889891    122.64   no data  --
96.45/24.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
96.45/24.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.85/24.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.12
97.26/24.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.26/24.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.26/24.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
97.26/24.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.57/36.06	c lits-rem:       863  cl-subs:       12  v-elim:      0  v-fix:    0  time: 46.41 s
143.57/36.06	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
143.57/36.08	c vivif2 --  cl tried    23267 cl shrink        0 lits rem          0 time: 0.08
145.11/36.45	c asymm  cl-useful: 0/28705/30000 lits-rem:0 time: 1.45
145.11/36.45	c calculated reachability. Time: 0.00
145.11/36.45	c  N dy   550    105351      1500     30000         0     23267    150000   1884767    122.64   no data  --
148.70/37.38	c  N dy   591    112103      1500     30000         0     16022    150000    625733    122.67    129.76  --
152.68/38.34	c  N dy   633    119519      1500     30000         0     23434    150000   1760199    122.60    130.18  --
157.47/39.51	c  N dy   681    127348      1500     30000         0     16271    150000    520530    122.65    129.31  --
161.86/40.60	c  N dy   732    135537      1500     30000         0     24456    150000   1775909    122.63    129.17  --
167.05/41.94	c  N dy   788    144301      1500     30000         0     17221    150000    527079    122.73    130.02  --
172.23/43.21	c  N dy   840    153624      1500     30000         0     26539    150000   1951485    122.67    132.27  --
174.62/43.89	c  S st   868    158026      1500     30000         0     30939    150000   2627238    122.70    120.51  --
175.42/44.01	c  S st   868    158533      1500     30000         0     31445    150000   2693440    122.70   no data  --
175.42/44.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
175.42/44.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.42/44.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
175.82/44.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.82/44.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.82/44.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
175.82/44.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
276.31/69.37	c lits-rem:       982  cl-subs:       22  v-elim:      0  v-fix:    0  time: 100.45 s
276.31/69.37	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
276.71/69.40	c vivif2 --  cl tried    31423 cl shrink        0 lits rem          0 time: 0.11
276.71/69.43	c asymm  cl-useful: 0/1295/30000 lits-rem:0 time: 0.12
276.71/69.43	c calculated reachability. Time: 0.00
276.71/69.43	c  N dy   868    158533      1500     30000         0     31423    150000   2685305    122.70   no data  --
282.69/70.98	c  N dy   926    168680      1500     30000         0     24568    150000   1512166    122.68    130.29  --
289.87/72.75	c  N dy   982    179574      1500     30000         0     35457    150000   3184862    122.62    129.11  --
296.68/74.42	c  N dy  1046    191058      1500     30000         0     28951    150000   2028818    122.53    143.65  --
304.63/76.44	c  N dy  1123    203381      1500     30000         0     22277    150000    881097    122.59    132.34  --
312.61/78.47	c  N dy  1202    216424      1500     30000         0     35309    150000   2887310    122.62    129.49  --
321.79/80.71	c  N dy  1290    230585      1500     30000         0     29475    150000   1832819    122.69    129.52  --
326.57/81.92	c  S st  1341    237799      1500     30000         0     36682    150000   2953935    122.79   no data  --
326.97/82.05	c  S st  1341    238302      1500     30000         0     37185    150000   3019588    122.79   no data  --
326.97/82.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
326.97/82.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
326.97/82.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
327.38/82.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
327.38/82.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
327.38/82.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
327.38/82.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1032.84/259.03	c lits-rem:       521  cl-subs:       13  v-elim:      0  v-fix:    0  time: 704.47 s
1032.84/259.03	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
1032.84/259.06	c vivif2 --  cl tried    37172 cl shrink        0 lits rem          0 time: 0.12
1034.83/259.53	c asymm  cl-useful: 0/22040/30000 lits-rem:0 time: 1.84
1034.83/259.53	c calculated reachability. Time: 0.00
1034.83/259.53	c  N dy  1341    238302      1500     30000         0     37172    150000   3014812    122.79   no data  --
1046.40/262.41	c  N dy  1439    253562      1500     30000         0     31442    150000   1982453    122.87    129.64  --
1059.56/265.71	c  N dy  1548    269814      1500     30000         0     25700    150000    974285    123.04    146.87  --
1072.72/269.11	c  N dy  1648    287236      1500     30000         0     43109    150000   3664551    123.02    130.11  --
1087.07/272.66	c  N dy  1756    305929      1500     30000         0     38803    150000   2826445    122.99    129.91  --
1087.46/272.72	c  F st  1759    306251      1500     30000         0     39125    150000   2878470    123.00    118.49  --
1102.62/276.57	c  N dy  1852    325557      1500     30000         0     34429    150000   2008998    123.01    130.10  --
1119.77/280.81	c  N dy  1978    345814      1500     30000         0     29692    150000   1141816    123.03    129.64  --
1128.94/283.12	c  S st  2049    357454      1500     30000         0     41326    150000   2909429    123.01   no data  --
1129.34/283.27	c  S st  2049    357962      1500     30000         0     41834    150000   2975082    123.01   no data  --
1129.34/283.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1129.34/283.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1129.74/283.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
1130.16/283.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1130.16/283.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1130.16/283.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1130.16/283.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1804.93/452.68	c lits-rem:       576  cl-subs:       14  v-elim:      0  v-fix:    0  time: 674.60 s
1804.93/452.68	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
1805.33/452.71	c vivif2 --  cl tried    41820 cl shrink        0 lits rem          0 time: 0.12
1805.75/452.90	c asymm  cl-useful: 0/7960/30000 lits-rem:0 time: 0.76
1805.75/452.91	c calculated reachability. Time: 0.00
1805.75/452.91	c  N dy  2049    357962      1500     30000         0     41820    150000   2969461    123.01   no data  --
1821.28/456.71	c  N dy  2178    377966      1500     30000         0     35827    150000   1944171    123.09    129.75  --
1837.22/460.73	c  N dy  2308    397991      1500     30000         0     28855    150000    716120    123.14    129.66  --
1851.98/464.43	c  N dy  2430    418097      1500     30000         0     48953    150000   3805566    123.13    129.90  --
1867.16/468.22	c  N dy  2541    438196      1500     30000         0     41063    150000   2445104    123.10    145.33  --
1883.89/472.44	c  N dy  2672    458443      1500     30000         0     32310    150000    956900    123.14    132.51  --
1899.84/476.43	c  N dy  2807    478538      1500     30000         0     52395    150000   4064240    123.20    132.64  --
1915.85/480.42	c  N dy  2925    498541      1500     30000         0     42400    150000   2363800    123.21    144.02  --
1933.74/484.92	c  N dy  3050    518704      1500     30000         0     31566    150000    549575    123.23    130.54  --
1948.10/488.54	c  S st  3155    536943      1500     30000         0     49792    150000   3360570    123.22   no data  --
1948.90/488.71	c  S st  3155    537444      1500     30000         0     50293    150000   3423555    123.22   no data  --
1948.90/488.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1948.90/488.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1948.90/488.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
1949.30/488.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1949.30/488.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1949.30/488.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1949.30/488.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2892.88/725.45	c lits-rem:       625  cl-subs:       19  v-elim:      0  v-fix:    0  time: 943.11 s
2892.88/725.45	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
2892.88/725.49	c vivif2 --  cl tried    50274 cl shrink        0 lits rem          0 time: 0.14
2894.87/725.98	c asymm  cl-useful: 0/18492/30000 lits-rem:0 time: 1.97
2894.87/725.99	c calculated reachability. Time: 0.00
2894.87/725.99	c  N dy  3155    537444      1500     30000         0     50274    150000   3416817    123.22   no data  --
2915.21/731.02	c  N dy  3277    557582      1500     30000         0     38423    150000   1458288    123.28    130.80  --
2933.95/735.78	c  N dy  3389    577697      1500     30000         0     58530    150000   4535238    123.22    130.63  --
2953.10/740.50	c  N dy  3506    597802      1500     30000         0     45641    150000   2437631    123.24    132.45  --
2973.84/745.78	c  N dy  3629    617855      1500     30000         0     65690    150000   5549896    123.27    131.30  --
2992.99/750.50	c  N dy  3740    638222      1500     30000         0     52062    150000   3260765    123.24    129.82  --
3014.52/755.98	c  N dy  3858    658449      1500     30000         0     37299    150000    845803    123.25    133.68  --
3033.67/760.72	c  N dy  3988    678462      1500     30000         0     57299    150000   3981042    123.30    131.23  --
3055.20/766.14	c  N dy  4106    698470      1500     30000         0     41312    150000   1325012    123.31    139.35  --
3075.14/771.11	c  N dy  4233    718624      1500     30000         0     61455    150000   4437641    123.32    130.72  --
3097.07/776.61	c  N dy  4358    738655      1500     30000         0     44498    150000   1663930    123.34    131.15  --
3116.62/781.52	c  N dy  4478    758769      1500     30000         0     64600    150000   4755376    123.33    130.10  --
3136.95/786.67	c  N dy  4600    778832      1500     30000         0     46670    150000   1860960    123.33    156.05  --
3156.92/791.62	c  N dy  4722    798865      1500     30000         0     66695    150000   4952427    123.35    154.96  --
3165.28/793.75	c  S st  4768    806166      1500     30000         0     73995    150000   6074072    123.35   no data  --
3166.11/793.97	c  S st  4768    806675      1500     30000         0     74504    150000   6133530    123.35   no data  --
3166.11/793.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3166.11/793.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3166.46/794.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.27
3167.26/794.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3167.26/794.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3167.26/794.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
3167.26/794.28	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-3368635-1305399404/watcher-3368635-1305399404 -o /tmp/evaluation-result-3368635-1305399404/solver-3368635-1305399404 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368635-1305399404.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.18 8.05 6.73 6/361 14701
/proc/meminfo: memFree=25223852/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=20420 CPUtime=0 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4194304 147 0 0 0 0 0 0 0 25 0 1 0 730171105 20910080 102 33554432000 4194304 4650419 140736155548784 18446744073709551615 251362624944 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14701/statm: 5105 118 96 112 0 57 0
[pid=14701/tid=14702] ppid=14699 vsize=217260 CPUtime=0 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 316 0 0 0 0 0 0 0 25 0 4 0 730171106 222474240 1674 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=217260 CPUtime=0 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 317 0 0 0 0 0 0 0 25 0 4 0 730171106 222474240 1677 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=217260 CPUtime=0 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 338 0 0 0 0 0 0 0 18 0 4 0 730171106 222474240 1677 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.083023 s]
/proc/loadavg: 8.18 8.05 6.73 6/361 14701
/proc/meminfo: memFree=25223852/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=289940 CPUtime=0.77 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 6273 0 0 0 75 2 0 0 18 0 4 0 730171105 296898560 5257 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367202060 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 72518 5319 377 112 0 67483 0
[pid=14701/tid=14702] ppid=14699 vsize=290072 CPUtime=0.18 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) S 14699 14701 14563 0 -1 4202560 1347 0 0 0 18 0 0 0 18 0 4 0 730171106 297033728 5353 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=290072 CPUtime=0.18 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 1413 0 0 0 18 0 0 0 18 0 4 0 730171106 297033728 5372 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367207621 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=290072 CPUtime=0.19 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 1248 0 0 0 19 0 0 0 18 0 4 0 730171106 297033728 5436 33554432000 4194304 4650419 140736155548784 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 289940

[startup+0.227708 s]
/proc/loadavg: 8.18 8.05 6.73 6/361 14701
/proc/meminfo: memFree=25223852/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=292772 CPUtime=0.85 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 8949 0 0 0 81 4 0 0 18 0 4 0 730171105 299798528 7933 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476175 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 73193 7959 383 112 0 68158 0
[pid=14701/tid=14702] ppid=14699 vsize=292772 CPUtime=0.2 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) S 14699 14701 14563 0 -1 4202560 2575 0 0 0 19 1 0 0 18 0 4 0 730171106 299798528 7991 33554432000 4194304 4650419 140736155548784 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=301168 CPUtime=0.99 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 4556 0 0 0 98 1 0 0 18 0 4 0 730171106 308396032 12078 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=301168 CPUtime=0.99 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 2969 0 0 0 99 0 0 0 19 0 4 0 730171106 308396032 12078 33554432000 4194304 4650419 140736155548784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 292772

[startup+1.0915 s]
/proc/loadavg: 8.18 8.05 6.73 6/361 14701
/proc/meminfo: memFree=25223852/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=301460 CPUtime=4.3 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 18749 0 0 0 425 5 0 0 19 0 4 0 730171105 308695040 11677 33554432000 4194304 4650419 140736155548784 18446744073709551615 4310889 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 75365 11678 391 112 0 70330 0
[pid=14701/tid=14702] ppid=14699 vsize=301460 CPUtime=1.06 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 4995 0 0 0 105 1 0 0 19 0 4 0 730171106 308695040 11678 33554432000 4194304 4650419 140736155548784 18446744073709551615 4331984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=301460 CPUtime=1.06 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 4675 0 0 0 105 1 0 0 19 0 4 0 730171106 308695040 11678 33554432000 4194304 4650419 140736155548784 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=301460 CPUtime=1.07 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 3524 0 0 0 107 0 0 0 19 0 4 0 730171106 308695040 11678 33554432000 4194304 4650419 140736155548784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 301460

[startup+1.1005 s]
/proc/loadavg: 8.18 8.05 6.73 6/361 14701
/proc/meminfo: memFree=25223852/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=301460 CPUtime=4.33 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 18809 0 0 0 428 5 0 0 19 0 4 0 730171105 308695040 11737 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 75365 11738 391 112 0 70330 0
[pid=14701/tid=14702] ppid=14699 vsize=301460 CPUtime=1.07 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 5009 0 0 0 106 1 0 0 19 0 4 0 730171106 308695040 11738 33554432000 4194304 4650419 140736155548784 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=301460 CPUtime=1.07 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 4691 0 0 0 106 1 0 0 19 0 4 0 730171106 308695040 11738 33554432000 4194304 4650419 140736155548784 18446744073709551615 4315085 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=301460 CPUtime=1.08 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 3538 0 0 0 108 0 0 0 19 0 4 0 730171106 308695040 11738 33554432000 4194304 4650419 140736155548784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 301460

[startup+1.50042 s]
/proc/loadavg: 8.18 8.05 6.73 6/361 14701
/proc/meminfo: memFree=25223852/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=302056 CPUtime=5.93 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 23002 0 0 0 587 6 0 0 19 0 4 0 730171105 309305344 11894 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 75514 11894 391 112 0 70479 0
[pid=14701/tid=14702] ppid=14699 vsize=302056 CPUtime=1.47 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 6302 0 0 0 146 1 0 0 19 0 4 0 730171106 309305344 11894 33554432000 4194304 4650419 140736155548784 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=302056 CPUtime=1.47 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 5830 0 0 0 146 1 0 0 19 0 4 0 730171106 309305344 11894 33554432000 4194304 4650419 140736155548784 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=302056 CPUtime=1.46 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 4160 0 0 0 146 0 0 0 19 0 4 0 730171106 309305344 11894 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 302056

[startup+3.10113 s]
/proc/loadavg: 8.16 8.05 6.74 9/365 14705
/proc/meminfo: memFree=25135004/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=303012 CPUtime=12.3 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 37436 0 0 0 1221 9 0 0 25 0 4 0 730171105 310284288 13039 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 75753 13039 392 112 0 70718 0
[pid=14701/tid=14702] ppid=14699 vsize=303012 CPUtime=3.05 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 9906 0 0 0 303 2 0 0 24 0 4 0 730171106 310284288 13039 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=303012 CPUtime=3.07 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 9343 0 0 0 305 2 0 0 23 0 4 0 730171106 310284288 13039 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=303012 CPUtime=3.07 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 7573 0 0 0 306 1 0 0 25 0 4 0 730171106 310284288 13039 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 303012

[startup+6.31353 s]
/proc/loadavg: 8.16 8.05 6.74 9/365 14706
/proc/meminfo: memFree=24959544/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=350512 CPUtime=25.11 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 72463 0 0 0 2496 15 0 0 25 0 4 0 730171105 358924288 37803 33554432000 4194304 4650419 140736155548784 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 87628 37803 393 112 0 82593 0
[pid=14701/tid=14702] ppid=14699 vsize=350512 CPUtime=6.23 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 15240 0 0 0 620 3 0 0 25 0 4 0 730171106 358924288 37803 33554432000 4194304 4650419 140736155548784 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=350512 CPUtime=6.29 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 20519 0 0 0 625 4 0 0 25 0 4 0 730171106 358924288 37803 33554432000 4194304 4650419 140736155548784 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=350512 CPUtime=6.28 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 18357 0 0 0 624 4 0 0 25 0 4 0 730171106 358924288 37803 33554432000 4194304 4650419 140736155548784 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 350512

[startup+12.7004 s]
/proc/loadavg: 8.15 8.05 6.75 9/365 14706
/proc/meminfo: memFree=24928204/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=357556 CPUtime=50.59 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 90258 0 0 0 5040 19 0 0 25 0 4 0 730171105 366137344 41892 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 89389 41892 393 112 0 84354 0
[pid=14701/tid=14702] ppid=14699 vsize=357556 CPUtime=12.55 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 21576 0 0 0 1250 5 0 0 25 0 4 0 730171106 366137344 41893 33554432000 4194304 4650419 140736155548784 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=357556 CPUtime=12.67 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 23559 0 0 0 1263 4 0 0 25 0 4 0 730171106 366137344 41893 33554432000 4194304 4650419 140736155548784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=357556 CPUtime=12.67 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 23062 0 0 0 1262 5 0 0 25 0 4 0 730171106 366137344 41893 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365387 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 357556

[startup+25.501 s]
/proc/loadavg: 8.27 8.08 6.78 9/365 14706
/proc/meminfo: memFree=24746776/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=464000 CPUtime=101.64 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 144824 0 0 0 10135 29 0 0 25 0 4 0 730171105 475136000 72596 33554432000 4194304 4650419 140736155548784 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 116000 72596 393 112 0 110965 0
[pid=14701/tid=14702] ppid=14699 vsize=464000 CPUtime=25.2 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 29193 0 0 0 2514 6 0 0 25 0 4 0 730171106 475136000 72596 33554432000 4194304 4650419 140736155548784 18446744073709551615 4422572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=464000 CPUtime=25.47 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 36448 0 0 0 2541 6 0 0 25 0 4 0 730171106 475136000 72596 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=464000 CPUtime=25.47 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 39827 0 0 0 2539 8 0 0 25 0 4 0 730171106 475136000 72596 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 464000

[startup+51.1003 s]
/proc/loadavg: 8.18 8.07 6.81 9/365 14707
/proc/meminfo: memFree=24628268/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=649072 CPUtime=203.73 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 206106 0 0 0 20329 44 0 0 25 0 4 0 730171105 664649728 90070 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 162268 90070 393 112 0 157233 0
[pid=14701/tid=14702] ppid=14699 vsize=649072 CPUtime=50.5 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 39315 0 0 0 5041 9 0 0 25 0 4 0 730171106 664649728 90070 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=649072 CPUtime=51.06 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 59665 0 0 0 5095 11 0 0 25 0 4 0 730171106 664649728 90070 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=649072 CPUtime=51.05 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 57186 0 0 0 5093 12 0 0 25 0 4 0 730171106 664649728 90070 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 649072

[startup+102.301 s]
/proc/loadavg: 8.21 8.10 6.89 9/365 14708
/proc/meminfo: memFree=24502720/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=721772 CPUtime=407.91 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 298267 0 0 0 40718 73 0 0 25 0 4 0 730171105 739094528 101707 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 180443 101707 393 112 0 175408 0
[pid=14701/tid=14702] ppid=14699 vsize=721772 CPUtime=101.08 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 81494 0 0 0 10088 20 0 0 25 0 4 0 730171106 739094528 101707 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=721772 CPUtime=102.27 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 59946 0 0 0 10216 11 0 0 25 0 4 0 730171106 739094528 101707 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=721772 CPUtime=102.25 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 100186 0 0 0 10197 28 0 0 25 0 4 0 730171106 739094528 101707 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 721772

[startup+162.301 s]

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

[pid=14701] ppid=14699 vsize=1041904 CPUtime=2800.75 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 685272 0 0 0 279833 242 0 0 25 0 4 0 730171105 1066909696 170296 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 260476 170296 393 112 0 255441 0
[pid=14701/tid=14702] ppid=14699 vsize=1041904 CPUtime=694.02 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 165718 0 0 0 69351 51 0 0 25 0 4 0 730171106 1066909696 170296 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1041904 CPUtime=702.28 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 179580 0 0 0 70164 64 0 0 25 0 4 0 730171106 1066909696 170296 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1041904 CPUtime=702.14 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 70116 98 0 0 25 0 4 0 730171106 1066909696 170296 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.75
Current children cumulated vsize (KiB) 1041904

[startup+762.301 s]
/proc/loadavg: 8.06 8.08 7.48 9/365 14735
/proc/meminfo: memFree=24045180/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1042744 CPUtime=3040.05 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 714811 0 0 0 303749 256 0 0 25 0 4 0 730171105 1067769856 171613 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 260686 171613 393 112 0 255651 0
[pid=14701/tid=14702] ppid=14699 vsize=1042744 CPUtime=753.31 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 171638 0 0 0 75279 52 0 0 25 0 4 0 730171106 1067769856 171613 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1042744 CPUtime=762.28 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 186444 0 0 0 76163 65 0 0 25 0 4 0 730171106 1067769856 171613 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1042744 CPUtime=762.13 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 76115 98 0 0 25 0 4 0 730171106 1067769856 171613 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.05
Current children cumulated vsize (KiB) 1042744

[startup+822.301 s]
/proc/loadavg: 8.10 8.08 7.51 9/365 14736
/proc/meminfo: memFree=24011304/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1031936 CPUtime=3279.33 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 764804 0 0 0 327652 281 0 0 25 0 4 0 730171105 1056702464 177841 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 257984 177841 393 112 0 252949 0
[pid=14701/tid=14702] ppid=14699 vsize=1031936 CPUtime=812.61 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 195925 0 0 0 81196 65 0 0 25 0 4 0 730171106 1056702464 177841 33554432000 4194304 4650419 140736155548784 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1031936 CPUtime=822.29 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 188289 0 0 0 82163 66 0 0 25 0 4 0 730171106 1056702464 177841 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1031936 CPUtime=822.11 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 82112 99 0 0 25 0 4 0 730171106 1056702464 177841 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.33
Current children cumulated vsize (KiB) 1031936

[startup+882.3 s]
/proc/loadavg: 8.08 8.08 7.55 9/365 14738
/proc/meminfo: memFree=23980652/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1048868 CPUtime=3518.61 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 807668 0 0 0 351562 299 0 0 25 0 4 0 730171105 1074040832 180890 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 262217 180890 393 112 0 257182 0
[pid=14701/tid=14702] ppid=14699 vsize=1048868 CPUtime=871.89 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 220880 0 0 0 87112 77 0 0 25 0 4 0 730171106 1074040832 180890 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1048868 CPUtime=882.29 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 202098 0 0 0 88158 71 0 0 25 0 4 0 730171106 1074040832 180890 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1048868 CPUtime=882.1 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 88111 99 0 0 25 0 4 0 730171106 1074040832 180890 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.61
Current children cumulated vsize (KiB) 1048868

[startup+942.3 s]
/proc/loadavg: 8.12 8.09 7.58 9/365 14740
/proc/meminfo: memFree=23953472/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1113268 CPUtime=3757.92 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 863036 0 0 0 375466 326 0 0 25 0 4 0 730171105 1139986432 181788 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 278317 181789 393 112 0 273282 0
[pid=14701/tid=14702] ppid=14699 vsize=1113268 CPUtime=931.2 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 246252 0 0 0 93030 90 0 0 25 0 4 0 730171106 1139986432 181792 33554432000 4194304 4650419 140736155548784 18446744073709551615 4334509 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1113268 CPUtime=942.29 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 232098 0 0 0 94144 85 0 0 25 0 4 0 730171106 1139986432 181792 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1113268 CPUtime=942.11 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 94112 99 0 0 25 0 4 0 730171106 1139986432 181792 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.92
Current children cumulated vsize (KiB) 1113268

[startup+1002.3 s]
/proc/loadavg: 8.16 8.10 7.62 9/365 14741
/proc/meminfo: memFree=23927528/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1062928 CPUtime=3997.18 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 928974 0 0 0 399356 362 0 0 25 0 4 0 730171105 1088438272 180750 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 265732 180751 393 112 0 260697 0
[pid=14701/tid=14702] ppid=14699 vsize=1062928 CPUtime=990.48 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 277495 0 0 0 98941 107 0 0 25 0 4 0 730171106 1088438272 180751 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1062928 CPUtime=1002.28 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 266790 0 0 0 100125 103 0 0 25 0 4 0 730171106 1088438272 180751 33554432000 4194304 4650419 140736155548784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1062928 CPUtime=1002.08 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 100108 100 0 0 25 0 4 0 730171106 1088438272 180751 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.18
Current children cumulated vsize (KiB) 1062928

[startup+1062.31 s]
/proc/loadavg: 8.10 8.09 7.65 9/365 14743
/proc/meminfo: memFree=23894396/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1129732 CPUtime=4236.51 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 983637 0 0 0 423262 389 0 0 25 0 4 0 730171105 1156845568 185897 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 282433 185897 393 112 0 277398 0
[pid=14701/tid=14702] ppid=14699 vsize=1129732 CPUtime=1049.78 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 307818 0 0 0 104855 123 0 0 25 0 4 0 730171106 1156845568 185897 33554432000 4194304 4650419 140736155548784 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1129732 CPUtime=1062.31 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 291129 0 0 0 106116 115 0 0 25 0 4 0 730171106 1156845568 185897 33554432000 4194304 4650419 140736155548784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1129732 CPUtime=1062.09 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 106109 100 0 0 25 0 4 0 730171106 1156845568 185897 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.51
Current children cumulated vsize (KiB) 1129732

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 7.67 9/365 14744
/proc/meminfo: memFree=23890388/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1117600 CPUtime=4475.76 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 1030496 0 0 0 447159 417 0 0 25 0 4 0 730171105 1144422400 183820 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 279400 183820 393 112 0 274365 0
[pid=14701/tid=14702] ppid=14699 vsize=1117600 CPUtime=1109.07 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 324168 0 0 0 110775 132 0 0 25 0 4 0 730171106 1144422400 183820 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1117600 CPUtime=1122.29 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 321638 0 0 0 112096 133 0 0 25 0 4 0 730171106 1144422400 183820 33554432000 4194304 4650419 140736155548784 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1117600 CPUtime=1122.07 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 112107 100 0 0 25 0 4 0 730171106 1144422400 183820 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.76
Current children cumulated vsize (KiB) 1117600

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 7.70 9/365 14746
/proc/meminfo: memFree=23897800/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1118368 CPUtime=4715.04 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 1059348 0 0 0 471071 433 0 0 25 0 4 0 730171105 1145208832 182058 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 279592 182058 393 112 0 274557 0
[pid=14701/tid=14702] ppid=14699 vsize=1118368 CPUtime=1168.35 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 324168 0 0 0 116703 132 0 0 25 0 4 0 730171106 1145208832 182058 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1118368 CPUtime=1182.29 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 350490 0 0 0 118081 148 0 0 25 0 4 0 730171106 1145208832 182058 33554432000 4194304 4650419 140736155548784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1118368 CPUtime=1182.05 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 239925 0 0 0 118105 100 0 0 25 0 4 0 730171106 1145208832 182058 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.04
Current children cumulated vsize (KiB) 1118368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.07 8.09 7.70 5/360 14747
/proc/meminfo: memFree=24409956/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1160728 CPUtime=4800.41 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 1087687 0 0 0 479602 439 0 0 25 0 4 0 730171105 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 290182 206888 393 112 0 285147 0
[pid=14701/tid=14702] ppid=14699 vsize=1160728 CPUtime=1189.5 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 327886 0 0 0 118818 132 0 0 25 0 4 0 730171106 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1160728 CPUtime=1203.71 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 374987 0 0 0 120217 154 0 0 25 0 4 0 730171106 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1160728 CPUtime=1203.46 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 240049 0 0 0 120246 100 0 0 25 0 4 0 730171106 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1160728

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

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

[startup+1203.7 s]
/proc/loadavg: 8.07 8.09 7.70 5/360 14747
/proc/meminfo: memFree=24409956/32950928 swapFree=38710892/67111528
[pid=14701] ppid=14699 vsize=1160728 CPUtime=4800.41 cores=0,2,4,6
/proc/14701/stat : 14701 (strangenight1-m) R 14699 14701 14563 0 -1 4202496 1087687 0 0 0 479602 439 0 0 25 0 4 0 730171105 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14701/statm: 290182 206888 393 112 0 285147 0
[pid=14701/tid=14702] ppid=14699 vsize=1160728 CPUtime=1189.5 cores=0,2,4,6
/proc/14701/task/14702/stat : 14702 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 327886 0 0 0 118818 132 0 0 25 0 4 0 730171106 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14701/tid=14703] ppid=14699 vsize=1160728 CPUtime=1203.71 cores=0,2,4,6
/proc/14701/task/14703/stat : 14703 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 374987 0 0 0 120217 154 0 0 25 0 4 0 730171106 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14701/tid=14704] ppid=14699 vsize=1160728 CPUtime=1203.46 cores=0,2,4,6
/proc/14701/task/14704/stat : 14704 (strangenight1-m) R 14699 14701 14563 0 -1 4202560 240049 0 0 0 120246 100 0 0 25 0 4 0 730171106 1188585472 206888 33554432000 4194304 4650419 140736155548784 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1160728

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.75
CPU time (s): 4800.49
CPU user time (s): 4796.06
CPU system time (s): 4.42733
CPU usage (%): 398.794
Max. virtual memory (cumulated for all children) (KiB): 1160728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.06
system time used= 4.42733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1087687
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= 5345
involuntary context switches= 26316

runsolver used 3.9444 second user time and 10.2884 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-14 20:56:44
IDJOB=3368635
IDBENCH=82644
IDSOLVER=1846
FILE ID=node113/3368635-1305399404
RUNJOBID= node113-1305398198-14581
PBS_JOBID= 13324480
Free space on /tmp= 73436 MiB

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

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

MD5SUM BENCH= 4c3def64b0c0da01406b551924b4a52d
RANDOM SEED=2011974105

node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.846
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.74
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.846
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.846
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.83
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.846
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:      25224008 kB
Buffers:        252700 kB
Cached:        2806476 kB
SwapCached:      93712 kB
Active:         765364 kB
Inactive:      6700796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25224008 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:           14380 kB
Writeback:           0 kB
AnonPages:     4325596 kB
Mapped:          14008 kB
Slab:           105068 kB
PageTables:      91552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87128324 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= 73432 MiB
End job on node113 at 2011-05-14 21:16:50