Trace number 3175026

Some explanations

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

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

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

Solver answer on this benchmark

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

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.00	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-3175026-1304078303.cnf'
0.00/0.01	c -- header says num vars:           1500
0.00/0.01	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.06 s
0.00/0.02	c  N st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.00/0.19	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.60
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
2.71/0.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.71/0.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.71/0.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
2.71/0.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2.71/0.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
2.71/0.69	c Finding binary XORs  T:     0.00 s  found:       0
2.71/0.69	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
2.71/0.69	c calculated reachability. Time: 0.00
2.71/0.69	c Calc default polars -  time:   0.01 s pos:     694 undec:      56 neg:     750
2.71/0.69	c =========================================================================================
2.71/0.69	c types(t): F = full restart, N = normal restart
2.71/0.69	c types(t): S = simplification begin/end, E = solution found
2.71/0.69	c restart types(rt): st = static, dy = dynamic
2.71/0.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.71/0.69	c  B st     0         0      1500     30000         0         0    150000         0   no data   no data  --
2.71/0.69	c  N dy    17      4294      1500     30000         0      4288    150000    676744    122.70    133.65  --
3.95/1.00	c  N dy    46      8415      1500     30000         0      5907    150000    691518    125.52    132.25  --
5.14/1.39	c  N dy    70     12510      1500     30000         0      5756    150000    445599    124.69    133.33  --
6.74/1.79	c  N dy    89     16522      1500     30000         0      9764    150000   1059821    123.88    132.41  --
8.34/2.19	c  N dy   109     20632      1500     30000         0      8256    150000    642684    123.63    131.09  --
10.35/2.62	c  N dy   127     24857      1500     30000         0     12480    150000   1280279    122.93    130.21  --
10.35/2.63	c  F st   129     25000      1500     30000         0     12622    150000   1303603    123.00   no data  --
12.33/3.17	c  N dy   135     30001      1500     30000         0     10799    150000    932449    123.00   no data  --
12.33/3.17	c  S st   135     30001      1500     30000         0     10799    150000    932449    123.00   no data  --
12.74/3.24	c  S st   135     30506      1500     30000         0     11304    150000    993826    123.00   no data  --
12.74/3.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
12.74/3.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.74/3.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
13.14/3.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.14/3.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.14/3.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
13.14/3.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.12/5.31	c lits-rem:      2807  cl-subs:       62  v-elim:      0  v-fix:    0  time:  7.96 s
21.92/5.55	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.92
21.92/5.55	c calculated reachability. Time: 0.00
21.92/5.55	c  N dy   135     30506      1500     30000         0     11242    150000    968539    123.00   no data  --
23.94/6.04	c  N dy   163     34541      1500     30000         0     15277    150000   1599763    123.42    133.37  --
25.51/6.49	c  N dy   188     38555      1500     30000         0     11392    150000    812619    123.65    132.09  --
27.51/6.97	c  N dy   206     42681      1500     30000         0     15516    150000   1424725    122.98    130.33  --
29.10/7.37	c  S st   220     45761      1500     30000         0      9649    150000    384054    122.67   no data  --
29.50/7.45	c  S st   220     46262      1500     30000         0     10150    150000    446385    122.67   no data  --
29.50/7.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.50/7.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.50/7.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
29.50/7.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.50/7.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.50/7.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
29.50/7.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.29/11.69	c lits-rem:      1124  cl-subs:        1  v-elim:      0  v-fix:    0  time: 16.77 s
46.29/11.69	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
46.68/11.70	c vivif2 --  cl tried    10149 cl shrink        0 lits rem          0 time: 0.02
47.08/11.88	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.74
47.08/11.88	c calculated reachability. Time: 0.00
47.08/11.88	c  N dy   220     46262      1500     30000         0     10149    150000    445056    122.67   no data  --
49.09/12.32	c  N dy   249     50308      1500     30000         0     14194    150000   1068160    122.88    132.39  --
51.08/12.80	c  N dy   270     54330      1500     30000         0     18215    150000   1668166    122.53    129.22  --
53.08/13.31	c  N dy   292     58599      1500     30000         0     12512    150000    675751    122.52    131.27  --
54.70/13.78	c  N dy   316     62611      1500     30000         0     16524    150000   1290206    122.48    134.60  --
56.67/14.29	c  N dy   340     66719      1500     30000         0     20631    150000   1922474    122.47    130.46  --
58.27/14.63	c  S st   356     69394      1500     30000         0     12320    150000    498044    122.45    122.62  --
58.68/14.71	c  S st   356     69899      1500     30000         0     12825    150000    565139    122.45   no data  --
58.68/14.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.68/14.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.68/14.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
58.68/14.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.68/14.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.68/14.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
58.68/14.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
77.85/19.53	c lits-rem:      1769  cl-subs:        1  v-elim:      0  v-fix:    0  time: 19.04 s
77.85/19.54	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
77.85/19.54	c vivif2 --  cl tried    12824 cl shrink        0 lits rem          0 time: 0.03
79.04/19.83	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 1.15
79.04/19.83	c calculated reachability. Time: 0.00
79.04/19.83	c  N dy   356     69899      1500     30000         0     12824    150000    563314    122.45   no data  --
81.44/20.44	c  N dy   387     74501      1500     30000         0     17423    150000   1260939    122.47    129.29  --
84.23/21.18	c  N dy   414     79655      1500     30000         0     22575    150000   2043084    122.43    129.00  --
87.43/21.90	c  N dy   452     84813      1500     30000         0     15741    150000    871614    122.59    130.99  --
88.63/22.27	c  F st   472     87500      1500     30000         0     18428    150000   1281597    122.61   no data  --
90.63/22.76	c  N st   477     90795      1500     30000         0     21715    150000   1832061    122.61   no data  --
94.24/23.64	c  N dy   500     96750      1500     30000         0     14679    150000    564169    122.58    129.35  --
97.82/24.54	c  N dy   536    102927      1500     30000         0     20855    150000   1521255    122.58    139.87  --
99.01/24.86	c  S st   550    104850      1500     30000         0     22778    150000   1822380    122.64   no data  --
99.41/24.97	c  S st   550    105351      1500     30000         0     23279    150000   1889891    122.64   no data  --
99.41/24.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
99.41/24.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.81/25.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.12
99.81/25.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.81/25.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.81/25.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
99.81/25.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.35/36.94	c lits-rem:       863  cl-subs:       12  v-elim:      0  v-fix:    0  time: 47.28 s
147.35/36.94	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
147.35/36.96	c vivif2 --  cl tried    23267 cl shrink        0 lits rem          0 time: 0.08
148.55/37.29	c asymm  cl-useful: 0/28705/30000 lits-rem:0 time: 1.30
148.55/37.29	c calculated reachability. Time: 0.00
148.55/37.29	c  N dy   550    105351      1500     30000         0     23267    150000   1884767    122.64   no data  --
152.54/38.25	c  N dy   591    112103      1500     30000         0     16022    150000    625733    122.67    129.76  --
156.54/39.27	c  N dy   633    119519      1500     30000         0     23434    150000   1760199    122.60    130.18  --
161.33/40.44	c  N dy   681    127348      1500     30000         0     16271    150000    520530    122.65    129.31  --
165.72/41.56	c  N dy   732    135537      1500     30000         0     24456    150000   1775909    122.63    129.17  --
171.32/42.92	c  N dy   788    144301      1500     30000         0     17221    150000    527079    122.73    130.02  --
176.51/44.20	c  N dy   840    153624      1500     30000         0     26539    150000   1951485    122.67    132.27  --
178.91/44.89	c  S st   868    158026      1500     30000         0     30939    150000   2627238    122.70    120.51  --
179.71/45.01	c  S st   868    158533      1500     30000         0     31445    150000   2693440    122.70   no data  --
179.71/45.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
179.71/45.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
179.71/45.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.13
180.11/45.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
180.11/45.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
180.11/45.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
180.11/45.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
282.78/70.87	c lits-rem:       982  cl-subs:       22  v-elim:      0  v-fix:    0  time: 102.62 s
282.78/70.88	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
283.18/70.90	c vivif2 --  cl tried    31423 cl shrink        0 lits rem          0 time: 0.11
283.18/70.93	c asymm  cl-useful: 0/1295/30000 lits-rem:0 time: 0.11
283.18/70.93	c calculated reachability. Time: 0.00
283.18/70.93	c  N dy   868    158533      1500     30000         0     31423    150000   2685305    122.70   no data  --
289.16/72.44	c  N dy   926    168680      1500     30000         0     24568    150000   1512166    122.68    130.29  --
295.97/74.18	c  N dy   982    179574      1500     30000         0     35457    150000   3184862    122.62    129.11  --
302.74/75.87	c  N dy  1046    191058      1500     30000         0     28951    150000   2028818    122.53    143.65  --
311.12/77.92	c  N dy  1123    203381      1500     30000         0     22277    150000    881097    122.59    132.34  --
319.11/79.98	c  N dy  1202    216424      1500     30000         0     35309    150000   2887310    122.62    129.49  --
328.30/82.25	c  N dy  1290    230585      1500     30000         0     29475    150000   1832819    122.69    129.52  --
333.09/83.48	c  S st  1341    237799      1500     30000         0     36682    150000   2953935    122.79   no data  --
333.89/83.60	c  S st  1341    238302      1500     30000         0     37185    150000   3019588    122.79   no data  --
333.89/83.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
333.89/83.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
333.89/83.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
334.29/83.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
334.29/83.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
334.29/83.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
334.29/83.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1051.74/263.34	c lits-rem:       521  cl-subs:       13  v-elim:      0  v-fix:    0  time: 716.52 s
1051.74/263.35	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
1051.74/263.38	c vivif2 --  cl tried    37172 cl shrink        0 lits rem          0 time: 0.12
1053.72/263.85	c asymm  cl-useful: 0/22040/30000 lits-rem:0 time: 1.90
1053.72/263.85	c calculated reachability. Time: 0.00
1053.72/263.85	c  N dy  1341    238302      1500     30000         0     37172    150000   3014812    122.79   no data  --
1065.33/266.78	c  N dy  1439    253562      1500     30000         0     31442    150000   1982453    122.87    129.64  --
1078.88/270.13	c  N dy  1548    269814      1500     30000         0     25700    150000    974285    123.04    146.87  --
1092.47/273.58	c  N dy  1648    287236      1500     30000         0     43109    150000   3664551    123.02    130.11  --
1107.25/277.21	c  N dy  1756    305929      1500     30000         0     38803    150000   2826445    122.99    129.91  --
1107.25/277.27	c  F st  1759    306251      1500     30000         0     39125    150000   2878470    123.00    118.49  --
1122.82/281.17	c  N dy  1852    325557      1500     30000         0     34429    150000   2008998    123.01    130.10  --
1140.03/285.48	c  N dy  1978    345814      1500     30000         0     29692    150000   1141816    123.03    129.64  --
1149.59/287.82	c  S st  2049    357454      1500     30000         0     41326    150000   2909429    123.01   no data  --
1149.99/287.98	c  S st  2049    357962      1500     30000         0     41834    150000   2975082    123.01   no data  --
1149.99/287.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1149.99/287.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1150.40/288.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
1150.80/288.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1150.80/288.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1150.80/288.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1150.80/288.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1833.42/459.23	c lits-rem:       576  cl-subs:       14  v-elim:      0  v-fix:    0  time: 681.85 s
1833.42/459.23	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
1833.42/459.26	c vivif2 --  cl tried    41820 cl shrink        0 lits rem          0 time: 0.12
1834.19/459.46	c asymm  cl-useful: 0/7960/30000 lits-rem:0 time: 0.79
1834.19/459.46	c calculated reachability. Time: 0.00
1834.19/459.46	c  N dy  2049    357962      1500     30000         0     41820    150000   2969461    123.01   no data  --
1849.78/463.34	c  N dy  2178    377966      1500     30000         0     35827    150000   1944171    123.09    129.75  --
1866.16/467.44	c  N dy  2308    397991      1500     30000         0     28855    150000    716120    123.14    129.66  --
1881.36/471.22	c  N dy  2430    418097      1500     30000         0     48953    150000   3805566    123.13    129.90  --
1896.51/475.06	c  N dy  2541    438196      1500     30000         0     41063    150000   2445104    123.10    145.33  --
1913.70/479.36	c  N dy  2672    458443      1500     30000         0     32310    150000    956900    123.14    132.51  --
1930.09/483.42	c  N dy  2807    478538      1500     30000         0     52395    150000   4064240    123.20    132.64  --
1947.26/487.78	c  N dy  2925    498541      1500     30000         0     42400    150000   2363800    123.21    144.02  --
1966.02/492.47	c  N dy  3050    518704      1500     30000         0     31566    150000    549575    123.23    130.54  --
1980.41/496.04	c  S st  3155    536943      1500     30000         0     49792    150000   3360570    123.22   no data  --
1981.21/496.20	c  S st  3155    537444      1500     30000         0     50293    150000   3423555    123.22   no data  --
1981.21/496.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1981.21/496.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1981.21/496.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
1981.61/496.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1981.61/496.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1981.61/496.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1981.61/496.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2942.72/736.91	c lits-rem:       625  cl-subs:       19  v-elim:      0  v-fix:    0  time: 960.55 s
2942.72/736.91	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
2942.72/736.95	c vivif2 --  cl tried    50274 cl shrink        0 lits rem          0 time: 0.14
2944.74/737.46	c asymm  cl-useful: 0/18492/30000 lits-rem:0 time: 2.03
2944.74/737.46	c calculated reachability. Time: 0.00
2944.74/737.46	c  N dy  3155    537444      1500     30000         0     50274    150000   3416817    123.22   no data  --
2965.09/742.60	c  N dy  3277    557582      1500     30000         0     38423    150000   1458288    123.28    130.80  --
2984.68/747.47	c  N dy  3389    577697      1500     30000         0     58530    150000   4535238    123.22    130.63  --
3004.23/752.30	c  N dy  3506    597802      1500     30000         0     45641    150000   2437631    123.24    132.45  --
3025.41/757.66	c  N dy  3629    617855      1500     30000         0     65690    150000   5549896    123.27    131.30  --
3044.59/762.43	c  N dy  3740    638222      1500     30000         0     52062    150000   3260765    123.24    129.82  --
3066.16/767.86	c  N dy  3858    658449      1500     30000         0     37299    150000    845803    123.25    133.68  --
3084.13/772.38	c  N dy  3988    678462      1500     30000         0     57299    150000   3981042    123.30    131.23  --
3104.90/777.54	c  N dy  4106    698470      1500     30000         0     41312    150000   1325012    123.31    139.35  --
3123.68/782.28	c  N dy  4233    718624      1500     30000         0     61455    150000   4437641    123.32    130.72  --
3144.45/787.47	c  N dy  4358    738655      1500     30000         0     44498    150000   1663930    123.34    131.15  --
3164.44/792.43	c  N dy  4478    758769      1500     30000         0     64600    150000   4755376    123.33    130.10  --
3185.19/797.66	c  N dy  4600    778832      1500     30000         0     46670    150000   1860960    123.33    156.05  --
3205.17/802.69	c  N dy  4722    798865      1500     30000         0     66695    150000   4952427    123.35    154.96  --
3213.95/804.86	c  S st  4768    806166      1500     30000         0     73995    150000   6074072    123.35   no data  --
3214.75/805.08	c  S st  4768    806675      1500     30000         0     74504    150000   6133530    123.35   no data  --
3214.75/805.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3214.75/805.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3215.15/805.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.27
3215.95/805.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3215.95/805.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3215.95/805.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
3215.95/805.39	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175026-1304078303/watcher-3175026-1304078303 -o /tmp/evaluation-result-3175026-1304078303/solver-3175026-1304078303 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175026-1304078303.cnf 

running on 4 cores: 1,3,5,7

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: 2.64 3.74 4.92 5/180 17618
/proc/meminfo: memFree=30306968/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=12748 CPUtime=0 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4194304 101 0 0 0 0 0 0 0 21 0 1 0 519430789 13053952 57 33554432000 4194304 4650419 140733916702160 18446744073709551615 253635940035 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17618/statm: 3187 60 45 112 0 45 0

[startup+0.11526 s]
/proc/loadavg: 2.64 3.74 4.92 5/180 17618
/proc/meminfo: memFree=30306968/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=315916 CPUtime=0.68 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) D 17616 17618 17576 0 -1 4202496 5865 0 0 0 67 1 0 0 18 0 4 0 519430789 323497984 5421 33554432000 4194304 4650419 140733916702160 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 72807 5289 377 112 0 67772 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 315916

[startup+0.692841 s]
/proc/loadavg: 2.64 3.74 4.92 5/180 17618
/proc/meminfo: memFree=30306968/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=319492 CPUtime=2.71 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 15232 0 0 0 268 3 0 0 18 0 4 0 519430789 327159808 12394 33554432000 4194304 4650419 140733916702160 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 79873 12394 391 112 0 74838 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 319492

[startup+0.700478 s]
/proc/loadavg: 2.64 3.74 4.92 5/180 17618
/proc/meminfo: memFree=30306968/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=310772 CPUtime=2.74 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 16372 0 0 0 271 3 0 0 18 0 4 0 519430789 318230528 11448 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 77693 11448 391 112 0 72658 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 310772

[startup+0.800458 s]
/proc/loadavg: 2.64 3.74 4.92 5/180 17618
/proc/meminfo: memFree=30306968/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=301436 CPUtime=3.14 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 17062 0 0 0 311 3 0 0 18 0 4 0 519430789 308670464 11053 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 75359 11054 391 112 0 70324 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 301436

[startup+1.50033 s]
/proc/loadavg: 2.64 3.74 4.92 9/184 17622
/proc/meminfo: memFree=30254484/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=301804 CPUtime=5.95 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 23941 0 0 0 591 4 0 0 19 0 4 0 519430789 309047296 12457 33554432000 4194304 4650419 140733916702160 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 75451 12458 391 112 0 70416 0
[pid=17618/tid=17620] ppid=17616 vsize=301804 CPUtime=1.48 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 6192 0 0 0 148 0 0 0 19 0 4 0 519430790 309047296 12458 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=301804 CPUtime=1.48 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 6233 0 0 0 148 0 0 0 19 0 4 0 519430790 309047296 12458 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=301804 CPUtime=1.48 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 4874 0 0 0 147 1 0 0 25 0 4 0 519430790 309047296 12458 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 301804

[startup+3.10104 s]
/proc/loadavg: 2.64 3.74 4.92 9/184 17622
/proc/meminfo: memFree=30213564/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=302760 CPUtime=12.33 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 38425 0 0 0 1226 7 0 0 24 0 4 0 519430789 310026240 13590 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 75690 13590 392 112 0 70655 0
[pid=17618/tid=17620] ppid=17616 vsize=302760 CPUtime=3.08 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 9710 0 0 0 307 1 0 0 25 0 4 0 519430790 310026240 13590 33554432000 4194304 4650419 140733916702160 18446744073709551615 4331913 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=302760 CPUtime=3.07 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 10119 0 0 0 306 1 0 0 24 0 4 0 519430790 310026240 13590 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=302760 CPUtime=3.08 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 8330 0 0 0 306 2 0 0 25 0 4 0 519430790 310026240 13590 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 302760

[startup+6.30046 s]
/proc/loadavg: 3.07 3.81 4.93 9/184 17622
/proc/meminfo: memFree=30072184/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=315932 CPUtime=25.11 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 73377 0 0 0 2497 14 0 0 25 0 4 0 519430789 323514368 38190 33554432000 4194304 4650419 140733916702160 18446744073709551615 4333866 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 78983 38190 393 112 0 73948 0
[pid=17618/tid=17620] ppid=17616 vsize=315932 CPUtime=6.27 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 14624 0 0 0 625 2 0 0 25 0 4 0 519430790 323514368 38190 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=315932 CPUtime=6.27 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 21638 0 0 0 624 3 0 0 25 0 4 0 519430790 323514368 38190 33554432000 4194304 4650419 140733916702160 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=315932 CPUtime=6.28 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 18952 0 0 0 624 4 0 0 25 0 4 0 519430790 323514368 38190 33554432000 4194304 4650419 140733916702160 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 315932

[startup+12.7003 s]
/proc/loadavg: 3.46 3.88 4.95 9/184 17622
/proc/meminfo: memFree=30048292/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=307568 CPUtime=50.68 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 91184 0 0 0 5050 18 0 0 25 0 4 0 519430789 314949632 41716 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 76892 41716 393 112 0 71857 0
[pid=17618/tid=17620] ppid=17616 vsize=307568 CPUtime=12.68 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 20766 0 0 0 1263 5 0 0 25 0 4 0 519430790 314949632 41716 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=307568 CPUtime=12.68 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 24786 0 0 0 1264 4 0 0 25 0 4 0 519430790 314949632 41716 33554432000 4194304 4650419 140733916702160 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=307568 CPUtime=12.67 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 24148 0 0 0 1263 4 0 0 25 0 4 0 519430790 314949632 41716 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 307568

[startup+25.501 s]
/proc/loadavg: 4.47 4.08 5.00 9/184 17622
/proc/meminfo: memFree=29903792/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=412212 CPUtime=101.81 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 144548 0 0 0 10150 31 0 0 25 0 4 0 519430789 422105088 71010 33554432000 4194304 4650419 140733916702160 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 103053 71010 393 112 0 98018 0
[pid=17618/tid=17620] ppid=17616 vsize=412212 CPUtime=25.48 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 29582 0 0 0 2542 6 0 0 25 0 4 0 519430790 422105088 71010 33554432000 4194304 4650419 140733916702160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=412212 CPUtime=25.48 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 37930 0 0 0 2541 7 0 0 25 0 4 0 519430790 422105088 71010 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=412212 CPUtime=25.47 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 40496 0 0 0 2539 8 0 0 25 0 4 0 519430790 422105088 71010 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 412212

[startup+51.1063 s]
/proc/loadavg: 5.74 4.41 5.08 9/184 17623
/proc/meminfo: memFree=29695616/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=635952 CPUtime=204.09 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 208386 0 0 0 20359 50 0 0 25 0 4 0 519430789 651214848 91957 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 158988 91957 393 112 0 153953 0
[pid=17618/tid=17620] ppid=17616 vsize=635952 CPUtime=51.08 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 37456 0 0 0 5100 8 0 0 25 0 4 0 519430790 651214848 91957 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=635952 CPUtime=51.08 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 63626 0 0 0 5093 15 0 0 25 0 4 0 519430790 651214848 91957 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=635952 CPUtime=51.09 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 59876 0 0 0 5094 15 0 0 25 0 4 0 519430790 651214848 91957 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 635952

[startup+102.301 s]
/proc/loadavg: 7.16 4.99 5.24 9/184 17624
/proc/meminfo: memFree=29635680/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=659148 CPUtime=408.6 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 316323 0 0 0 40778 82 0 0 25 0 4 0 519430789 674967552 98827 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 164787 98827 393 112 0 159752 0
[pid=17618/tid=17620] ppid=17616 vsize=659148 CPUtime=102.28 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 59365 0 0 0 10212 16 0 0 25 0 4 0 519430790 674967552 98827 33554432000 4194304 4650419 140733916702160 18446744073709551615 4511618 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=659148 CPUtime=102.28 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 87252 0 0 0 10209 19 0 0 25 0 4 0 519430790 674967552 98827 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=659148 CPUtime=102.27 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 105656 0 0 0 10196 31 0 0 25 0 4 0 519430790 674967552 98827 33554432000 4194304 4650419 140733916702160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 659148

[startup+162.301 s]
/proc/loadavg: 7.83 5.57 5.42 9/184 17635
/proc/meminfo: memFree=29504564/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=764684 CPUtime=648.27 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 429685 0 0 0 64707 120 0 0 25 0 4 0 519430789 783036416 105327 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 191171 105327 393 112 0 186136 0
[pid=17618/tid=17620] ppid=17616 vsize=764684 CPUtime=162.28 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 89998 0 0 0 16198 30 0 0 25 0 4 0 519430790 783036416 105327 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=764684 CPUtime=162.27 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 118578 0 0 0 16205 22 0 0 25 0 4 0 519430790 783036416 105327 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=764684 CPUtime=162.28 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 156613 0 0 0 16176 52 0 0 25 0 4 0 519430790 783036416 105327 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 764684

[startup+222.301 s]
/proc/loadavg: 8.00 6.02 5.59 9/184 17636
/proc/meminfo: memFree=29377596/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=794204 CPUtime=887.94 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 502708 0 0 0 88649 145 0 0 25 0 4 0 519430789 813264896 121002 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 198551 121002 393 112 0 193516 0
[pid=17618/tid=17620] ppid=17616 vsize=794204 CPUtime=222.28 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 108432 0 0 0 22191 37 0 0 25 0 4 0 519430790 813264896 121002 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=794204 CPUtime=222.27 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 158041 0 0 0 22189 38 0 0 25 0 4 0 519430790 813264896 121002 33554432000 4194304 4650419 140733916702160 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=794204 CPUtime=222.28 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 167370 0 0 0 22174 54 0 0 25 0 4 0 519430790 813264896 121002 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 794204

[startup+282.301 s]

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

[pid=17618] ppid=17616 vsize=1013312 CPUtime=2564.82 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 892288 0 0 0 256174 308 0 0 25 0 4 0 519430789 1037631488 161297 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 253328 161297 393 112 0 248293 0
[pid=17618/tid=17620] ppid=17616 vsize=1013312 CPUtime=642.3 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 108439 0 0 0 64193 37 0 0 25 0 4 0 519430790 1037631488 161297 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1013312 CPUtime=642.28 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 332498 0 0 0 64124 104 0 0 25 0 4 0 519430790 1037631488 161297 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1013312 CPUtime=641.41 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 332944 0 0 0 64016 125 0 0 25 0 4 0 519430790 1037631488 161297 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2564.82
Current children cumulated vsize (KiB) 1013312

[startup+702.307 s]
/proc/loadavg: 8.00 7.65 6.58 9/184 17652
/proc/meminfo: memFree=29197612/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1013312 CPUtime=2804.52 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 900661 0 0 0 280143 309 0 0 25 0 4 0 519430789 1037631488 161296 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 253328 161296 393 112 0 248293 0
[pid=17618/tid=17620] ppid=17616 vsize=1013312 CPUtime=702.31 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 108439 0 0 0 70194 37 0 0 25 0 4 0 519430790 1037631488 161296 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1013312 CPUtime=702.29 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 332498 0 0 0 70125 104 0 0 25 0 4 0 519430790 1037631488 161296 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1013312 CPUtime=701.43 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 341317 0 0 0 70016 127 0 0 25 0 4 0 519430790 1037631488 161296 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.52
Current children cumulated vsize (KiB) 1013312

[startup+762.3 s]
/proc/loadavg: 8.00 7.71 6.67 9/184 17654
/proc/meminfo: memFree=29164716/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1013944 CPUtime=3044.18 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 927068 0 0 0 304093 325 0 0 25 0 4 0 519430789 1038278656 169980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 253486 169980 393 112 0 248451 0
[pid=17618/tid=17620] ppid=17616 vsize=1013944 CPUtime=762.3 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 108439 0 0 0 76193 37 0 0 25 0 4 0 519430790 1038278656 169980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1013944 CPUtime=762.28 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 332498 0 0 0 76124 104 0 0 25 0 4 0 519430790 1038278656 169980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1013944 CPUtime=761.42 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 349951 0 0 0 76014 128 0 0 25 0 4 0 519430790 1038278656 169980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.18
Current children cumulated vsize (KiB) 1013944

[startup+822.3 s]
/proc/loadavg: 8.11 7.79 6.76 9/184 17655
/proc/meminfo: memFree=29101928/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1117652 CPUtime=3283.86 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 999492 0 0 0 328025 361 0 0 25 0 4 0 519430789 1144475648 185980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 279413 185980 393 112 0 274378 0
[pid=17618/tid=17620] ppid=17616 vsize=1117652 CPUtime=822.3 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 139359 0 0 0 82175 55 0 0 25 0 4 0 519430790 1144475648 185980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1117652 CPUtime=822.29 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 332498 0 0 0 82125 104 0 0 25 0 4 0 519430790 1144475648 185980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1117652 CPUtime=821.42 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 358636 0 0 0 82013 129 0 0 25 0 4 0 519430790 1144475648 185980 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.86
Current children cumulated vsize (KiB) 1117652

[startup+882.301 s]
/proc/loadavg: 8.04 7.83 6.83 9/184 17657
/proc/meminfo: memFree=29122596/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=979216 CPUtime=3523.54 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1057495 0 0 0 351964 390 0 0 25 0 4 0 519430789 1002717184 178439 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 244804 178440 393 112 0 239769 0
[pid=17618/tid=17620] ppid=17616 vsize=979216 CPUtime=882.3 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 170541 0 0 0 88155 75 0 0 25 0 4 0 519430790 1002717184 178440 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=979216 CPUtime=882.29 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 342708 0 0 0 88118 111 0 0 25 0 4 0 519430790 1002717184 178440 33554432000 4194304 4650419 140733916702160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=979216 CPUtime=881.42 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 365685 0 0 0 88012 130 0 0 25 0 4 0 519430790 1002717184 178440 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.54
Current children cumulated vsize (KiB) 979216

[startup+942.301 s]
/proc/loadavg: 8.01 7.85 6.90 9/184 17659
/proc/meminfo: memFree=29069216/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1043592 CPUtime=3763.22 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1133656 0 0 0 375897 425 0 0 25 0 4 0 519430789 1068638208 186282 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 260898 186282 393 112 0 255863 0
[pid=17618/tid=17620] ppid=17616 vsize=1043592 CPUtime=942.3 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 192780 0 0 0 94142 88 0 0 25 0 4 0 519430790 1068638208 186282 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1043592 CPUtime=942.3 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 376005 0 0 0 94100 130 0 0 25 0 4 0 519430790 1068638208 186282 33554432000 4194304 4650419 140733916702160 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1043592 CPUtime=941.42 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 375216 0 0 0 94011 131 0 0 25 0 4 0 519430790 1068638208 186282 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.22
Current children cumulated vsize (KiB) 1043592

[startup+1002.3 s]
/proc/loadavg: 8.14 7.91 6.98 9/184 17660
/proc/meminfo: memFree=29029380/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=993200 CPUtime=4002.9 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1216202 0 0 0 399826 464 0 0 25 0 4 0 519430789 1017036800 184060 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 248300 184060 393 112 0 243265 0
[pid=17618/tid=17620] ppid=17616 vsize=993200 CPUtime=1002.3 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 220006 0 0 0 100126 104 0 0 25 0 4 0 519430790 1017036800 184060 33554432000 4194304 4650419 140733916702160 18446744073709551615 4328130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=993200 CPUtime=1002.29 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 411338 0 0 0 100079 150 0 0 25 0 4 0 519430790 1017036800 184061 33554432000 4194304 4650419 140733916702160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=993200 CPUtime=1001.43 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 384562 0 0 0 100010 133 0 0 25 0 4 0 519430790 1017036800 184061 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.9
Current children cumulated vsize (KiB) 993200

[startup+1062.3 s]
/proc/loadavg: 8.17 7.95 7.05 9/184 17662
/proc/meminfo: memFree=29004676/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1046796 CPUtime=4242.58 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1291815 0 0 0 423758 500 0 0 25 0 4 0 519430789 1071919104 183492 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 261699 183492 393 112 0 256664 0
[pid=17618/tid=17620] ppid=17616 vsize=1046796 CPUtime=1062.31 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 245163 0 0 0 106111 120 0 0 25 0 4 0 519430790 1071919104 183492 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1046796 CPUtime=1062.29 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 438981 0 0 0 106062 167 0 0 25 0 4 0 519430790 1071919104 183492 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1046796 CPUtime=1061.43 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 395099 0 0 0 106009 134 0 0 25 0 4 0 519430790 1071919104 183492 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.58
Current children cumulated vsize (KiB) 1046796

[startup+1122.3 s]
/proc/loadavg: 8.12 7.98 7.11 9/184 17663
/proc/meminfo: memFree=28988400/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1061008 CPUtime=4482.26 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1353443 0 0 0 447696 530 0 0 25 0 4 0 519430789 1086472192 188142 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 265252 188142 393 112 0 260217 0
[pid=17618/tid=17620] ppid=17616 vsize=1061008 CPUtime=1122.31 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 255293 0 0 0 112106 125 0 0 25 0 4 0 519430790 1086472192 188142 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1061008 CPUtime=1122.3 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 469221 0 0 0 112041 189 0 0 25 0 4 0 519430790 1086472192 188142 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1061008 CPUtime=1121.43 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 403822 0 0 0 112007 136 0 0 25 0 4 0 519430790 1086472192 188142 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476491 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.26
Current children cumulated vsize (KiB) 1061008

[startup+1182.3 s]
/proc/loadavg: 8.10 7.99 7.17 9/184 17665
/proc/meminfo: memFree=29017136/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1061776 CPUtime=4721.94 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1403687 0 0 0 471639 555 0 0 25 0 4 0 519430789 1087258624 186671 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 265444 186671 393 112 0 260409 0
[pid=17618/tid=17620] ppid=17616 vsize=1061776 CPUtime=1182.31 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 255293 0 0 0 118106 125 0 0 25 0 4 0 519430790 1087258624 186671 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1061776 CPUtime=1182.3 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 498307 0 0 0 118018 212 0 0 25 0 4 0 519430790 1087258624 186671 33554432000 4194304 4650419 140733916702160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1061776 CPUtime=1181.43 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 412663 0 0 0 118007 136 0 0 25 0 4 0 519430790 1087258624 186671 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 1061776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.07 7.99 7.19 5/179 17667
/proc/meminfo: memFree=29503988/32951124 swapFree=67111364/67111528
[pid=17618] ppid=17616 vsize=1192848 CPUtime=4800.25 cores=1,3,5,7
/proc/17618/stat : 17618 (strangenight1-m) R 17616 17618 17576 0 -1 4202496 1438664 0 0 0 479462 563 0 0 25 0 4 0 519430789 1221476352 213820 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17618/statm: 298212 213820 393 112 0 293177 0
[pid=17618/tid=17620] ppid=17616 vsize=1192848 CPUtime=1201.92 cores=1,3,5,7
/proc/17618/task/17620/stat : 17620 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 255293 0 0 0 120067 125 0 0 25 0 4 0 519430790 1221476352 213820 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17618/tid=17621] ppid=17616 vsize=1192848 CPUtime=1201.91 cores=1,3,5,7
/proc/17618/task/17621/stat : 17621 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 525488 0 0 0 119972 219 0 0 25 0 4 0 519430790 1221476352 213820 33554432000 4194304 4650419 140733916702160 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17618/tid=17622] ppid=17616 vsize=1192848 CPUtime=1201.04 cores=1,3,5,7
/proc/17618/task/17622/stat : 17622 (strangenight1-m) R 17616 17618 17576 0 -1 4202560 416249 0 0 0 119967 137 0 0 25 0 4 0 519430790 1221476352 213820 33554432000 4194304 4650419 140733916702160 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1192848

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.31
CPU user time (s): 4794.64
CPU system time (s): 5.66914
CPU usage (%): 399.379
Max. virtual memory (cumulated for all children) (KiB): 1192848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.64
system time used= 5.66914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1438664
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= 1754
involuntary context switches= 23082

runsolver used 1.66075 second user time and 4.91325 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 13:58:24
IDJOB=3175026
IDBENCH=82644
IDSOLVER=1588
FILE ID=node106/3175026-1304078303
RUNJOBID= node106-1304078300-17595
PBS_JOBID= 13170519
Free space on /tmp= 72152 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175026-1304078303/watcher-3175026-1304078303 -o /tmp/evaluation-result-3175026-1304078303/solver-3175026-1304078303 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175026-1304078303.cnf

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

MD5SUM BENCH= 4c3def64b0c0da01406b551924b4a52d
RANDOM SEED=1516835690

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30307248 kB
Buffers:        242256 kB
Cached:        2070812 kB
SwapCached:         88 kB
Active:         839248 kB
Inactive:      1592572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30307248 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           14528 kB
Writeback:           0 kB
AnonPages:      118404 kB
Mapped:          15480 kB
Slab:           146340 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   324188 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= 72144 MiB
End job on node106 at 2011-04-29 14:18:28