Trace number 3174941

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.35 1201.75

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
MD5SUM4ba3e8e19a6d9aec4bc2bd0594f1360a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark556.159
Satisfiable
(Un)Satisfiability was proved
Number of variables1250
Number of clauses25000
Sum of the clauses size125000
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 525000
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174941-1304056593.cnf'
0.00/0.00	c -- header says num vars:           1250
0.00/0.00	c -- header says num clauses:       25000
0.00/0.02	c -- clauses added:            0 learnts,        25000 normals,            0 xors
0.00/0.02	c -- vars added       1250
0.00/0.02	c Parsing time:  0.05 s
0.00/0.02	c  N st     0         0      1250     25000         0         0    125000         0   no data   no data  --
0.00/0.15	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.49
0.00/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.00/0.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
0.00/0.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.85	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.00 s pos:     598 undec:      51 neg:     601
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.85	c  B st     0         0      1250     25000         0         0    125000         0   no data   no data  --
0.00/0.85	c  N dy    21      4122      1250     25000         0      4114    125000    580855    110.04    116.63  --
0.00/0.85	c  N dy    45      8286      1250     25000         0      5780    125000    595835    110.67    118.21  --
4.80/1.25	c  N dy    65     12351      1250     25000         0      5600    125000    383601    110.81    139.70  --
5.99/1.59	c  N dy    91     16830      1250     25000         0     10075    125000    990003    109.96    116.54  --
7.56/1.95	c  N dy   117     20840      1250     25000         0      8463    125000    611992    110.18    119.68  --
9.16/2.32	c  N dy   140     24877      1250     25000         0     12497    125000   1167119    110.21    116.79  --
9.16/2.34	c  F st   142     25000      1250     25000         0     12620    125000   1186150    110.31   no data  --
11.16/2.83	c  N dy   148     30001      1250     25000         0     10803    125000    856576    110.31   no data  --
11.16/2.83	c  S st   148     30001      1250     25000         0     10803    125000    856576    110.31   no data  --
11.16/2.89	c  S st   148     30502      1250     25000         0     11304    125000    913541    110.31   no data  --
11.16/2.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.16/2.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.56/2.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
11.56/2.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.56/2.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.56/2.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
11.56/2.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.35/4.62	c lits-rem:      2209  cl-subs:       32  v-elim:      0  v-fix:    0  time:  6.63 s
19.15/4.81	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.73
19.15/4.81	c calculated reachability. Time: 0.00
19.15/4.81	c  N dy   148     30502      1250     25000         0     11272    125000    901618    110.31   no data  --
20.74/5.30	c  N dy   169     34971      1250     25000         0     15734    125000   1510658    109.83    117.62  --
22.33/5.69	c  N dy   190     39011      1250     25000         0     11877    125000    794150    109.54    117.46  --
24.34/6.12	c  N dy   214     43152      1250     25000         0     16017    125000   1359696    109.58    115.80  --
25.56/6.43	c  S st   230     45755      1250     25000         0      9674    125000    363424    109.65   no data  --
25.56/6.49	c  S st   230     46261      1250     25000         0     10180    125000    424113    109.65   no data  --
25.56/6.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25.56/6.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.96/6.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
25.96/6.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.96/6.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
25.96/6.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
42.32/10.66	c lits-rem:      1519  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.50 s
42.32/10.66	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
42.32/10.66	c vivif2 --  cl tried    10177 cl shrink        0 lits rem          0 time: 0.02
43.13/10.84	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.68
43.13/10.84	c calculated reachability. Time: 0.00
43.13/10.84	c  N dy   230     46261      1250     25000         0     10177    125000    421680    109.65   no data  --
44.71/11.26	c  N dy   257     50305      1250     25000         0     14217    125000    981505    109.81    115.83  --
46.71/11.70	c  N dy   280     54378      1250     25000         0     18287    125000   1529407    109.79    116.31  --
48.30/12.14	c  N dy   302     58467      1250     25000         0     12406    125000    604029    109.69    117.73  --
49.90/12.57	c  N dy   327     62591      1250     25000         0     16527    125000   1167487    109.67    116.23  --
51.92/13.05	c  N dy   355     66665      1250     25000         0     20598    125000   1734949    109.90    119.12  --
53.10/13.36	c  S st   371     69393      1250     25000         0     12343    125000    472573    109.96   no data  --
53.50/13.42	c  S st   371     69896      1250     25000         0     12846    125000    535603    109.96   no data  --
53.50/13.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.50/13.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.50/13.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
53.50/13.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.50/13.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.50/13.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
53.50/13.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
71.47/17.92	c lits-rem:      1770  cl-subs:        3  v-elim:      0  v-fix:    0  time: 17.79 s
71.47/17.92	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
71.47/17.93	c vivif2 --  cl tried    12843 cl shrink        0 lits rem          0 time: 0.02
72.27/18.16	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.91
72.27/18.16	c calculated reachability. Time: 0.00
72.27/18.16	c  N dy   371     69896      1250     25000         0     12843    125000    532914    109.96   no data  --
74.29/18.69	c  N dy   403     74410      1250     25000         0     17353    125000   1155922    110.09    122.09  --
76.68/19.29	c  N dy   437     79207      1250     25000         0     22143    125000   1813794    110.18    117.52  --
79.47/19.91	c  N dy   467     84286      1250     25000         0     15234    125000    747365    110.26    119.11  --
80.67/20.29	c  F st   484     87501      1250     25000         0     18444    125000   1188250    110.23    103.99  --
82.68/20.72	c  N st   489     90798      1250     25000         0     21729    125000   1675440    110.23   no data  --
85.86/21.55	c  N dy   514     96723      1250     25000         0     14665    125000    538112    110.21    116.69  --
89.05/22.32	c  N dy   547    102985      1250     25000         0     20924    125000   1403118    110.26    117.84  --
89.85/22.57	c  S st   559    104845      1250     25000         0     22783    125000   1655739    110.23     97.90  --
90.26/22.67	c  S st   559    105350      1250     25000         0     23288    125000   1713011    110.23   no data  --
90.26/22.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
90.26/22.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.66/22.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
90.66/22.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.66/22.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.66/22.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
90.66/22.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
124.61/31.28	c lits-rem:       905  cl-subs:       19  v-elim:      0  v-fix:    0  time: 33.93 s
124.61/31.28	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
124.61/31.30	c vivif2 --  cl tried    23269 cl shrink        0 lits rem          0 time: 0.06
126.20/31.61	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 1.25
126.20/31.61	c calculated reachability. Time: 0.00
126.20/31.61	c  N dy   559    105350      1250     25000         0     23269    125000   1706847    110.23   no data  --
129.40/32.47	c  N dy   596    112111      1250     25000         0     16042    125000    593163    110.20    116.23  --
132.99/33.37	c  N dy   642    119578      1250     25000         0     23502    125000   1615099    110.23    119.29  --
137.39/34.46	c  N dy   689    127360      1250     25000         0     16291    125000    502522    110.34    117.27  --
141.79/35.50	c  N dy   741    135586      1250     25000         0     24508    125000   1636414    110.39    116.24  --
146.58/36.73	c  N dy   790    144245      1250     25000         0     17179    125000    489213    110.41    118.87  --
151.38/37.94	c  N dy   848    153824      1250     25000         0     26754    125000   1789996    110.39    116.76  --
153.77/38.56	c  S st   876    158025      1250     25000         0     30951    125000   2372568    110.46   no data  --
154.16/38.66	c  S st   876    158528      1250     25000         0     31454    125000   2433608    110.46   no data  --
154.16/38.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.16/38.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.16/38.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
154.56/38.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.56/38.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.56/38.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
154.56/38.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
234.07/58.62	c lits-rem:       743  cl-subs:       21  v-elim:      0  v-fix:    0  time: 79.14 s
234.07/58.63	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
234.07/58.65	c vivif2 --  cl tried    31433 cl shrink        0 lits rem          0 time: 0.10
235.67/59.06	c asymm  cl-useful: 0/21865/25000 lits-rem:0 time: 1.65
235.67/59.07	c calculated reachability. Time: 0.00
235.67/59.07	c  N dy   876    158528      1250     25000         0     31433    125000   2427427    110.46   no data  --
241.27/60.49	c  N dy   929    168763      1250     25000         0     24674    125000   1394943    110.43    116.44  --
248.05/62.14	c  N dy   991    179646      1250     25000         0     35545    125000   2883907    110.40    116.86  --
253.65/63.60	c  N dy  1050    191165      1250     25000         0     29063    125000   1860448    110.34    121.59  --
260.43/65.29	c  N dy  1122    203402      1250     25000         0     22309    125000    809302    110.37    116.72  --
267.65/67.06	c  N dy  1199    216474      1250     25000         0     35371    125000   2612203    110.41    117.60  --
275.22/68.99	c  N dy  1279    230307      1250     25000         0     29217    125000   1624863    110.42    116.95  --
279.61/70.07	c  S st  1319    237794      1250     25000         0     36696    125000   2644746    110.36    106.48  --
280.01/70.18	c  S st  1319    238300      1250     25000         0     37202    125000   2709226    110.36   no data  --
280.01/70.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
280.01/70.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
280.43/70.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
280.83/70.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
280.83/70.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.83/70.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
280.83/70.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
363.50/91.08	c lits-rem:       714  cl-subs:       23  v-elim:      0  v-fix:    0  time: 82.86 s
363.50/91.08	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
363.91/91.11	c vivif2 --  cl tried    37179 cl shrink        0 lits rem          0 time: 0.10
363.91/91.19	c asymm  cl-useful: 0/3135/25000 lits-rem:0 time: 0.30
363.91/91.19	c calculated reachability. Time: 0.00
363.91/91.19	c  N dy  1319    238300      1250     25000         0     37179    125000   2701881    110.36   no data  --
373.11/93.44	c  N dy  1407    253815      1250     25000         0     31695    125000   1838316    110.35    118.84  --
382.68/95.87	c  N dy  1488    270037      1250     25000         0     25917    125000    910409    110.19    117.10  --
393.46/98.56	c  N dy  1589    287405      1250     25000         0     43267    125000   3283694    110.18    116.30  --
405.05/101.44	c  N dy  1698    305755      1250     25000         0     38627    125000   2538247    110.25    116.31  --
405.44/101.54	c  F st  1702    306250      1250     25000         0     39121    125000   2605484    110.25   no data  --
417.83/104.62	c  N dy  1787    325445      1250     25000         0     34315    125000   1811954    110.25    117.77  --
431.81/108.16	c  N dy  1916    345465      1250     25000         0     29337    125000    999399    110.38    116.64  --
439.80/110.11	c  S st  1996    357450      1250     25000         0     41312    125000   2645470    110.43   no data  --
440.20/110.23	c  S st  1996    357951      1250     25000         0     41813    125000   2706392    110.43   no data  --
440.20/110.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
440.20/110.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
440.20/110.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
440.60/110.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
440.60/110.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.60/110.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
440.60/110.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
544.86/136.45	c lits-rem:       719  cl-subs:       35  v-elim:      0  v-fix:    0  time: 104.03 s
544.86/136.45	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
544.86/136.48	c vivif2 --  cl tried    41778 cl shrink        0 lits rem          0 time: 0.11
546.45/136.89	c asymm  cl-useful: 0/18379/25000 lits-rem:0 time: 1.62
546.45/136.89	c calculated reachability. Time: 0.00
546.45/136.89	c  N dy  1996    357951      1250     25000         0     41778    125000   2695729    110.43   no data  --
560.84/140.45	c  N dy  2123    378066      1250     25000         0     35909    125000   1777403    110.45    116.88  --
576.41/144.32	c  N dy  2245    398154      1250     25000         0     29001    125000    698437    110.50    118.52  --
590.79/147.91	c  N dy  2364    418219      1250     25000         0     49049    125000   3471160    110.54    119.39  --
605.99/151.71	c  N dy  2479    438339      1250     25000         0     41173    125000   2242561    110.53    116.46  --
622.35/155.83	c  N dy  2588    458375      1250     25000         0     32219    125000    880121    110.50    116.43  --
637.92/159.73	c  N dy  2700    478451      1250     25000         0     52278    125000   3649689    110.51    117.11  --
654.32/163.83	c  N dy  2813    498478      1250     25000         0     42307    125000   2145083    110.51    120.68  --
673.07/168.54	c  N dy  2928    518589      1250     25000         0     31432    125000    514499    110.50    117.42  --
687.46/172.11	c  S st  3028    536927      1250     25000         0     49759    125000   3036507    110.48     89.48  --
687.86/172.28	c  S st  3028    537432      1250     25000         0     50264    125000   3093329    110.48   no data  --
687.86/172.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
687.86/172.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
688.26/172.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
688.66/172.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
688.66/172.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
688.66/172.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
688.66/172.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1422.06/356.06	c lits-rem:       401  cl-subs:       44  v-elim:      0  v-fix:    0  time: 732.67 s
1422.06/356.06	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
1422.46/356.10	c vivif2 --  cl tried    50220 cl shrink        0 lits rem          0 time: 0.13
1423.28/356.32	c asymm  cl-useful: 0/6621/25000 lits-rem:0 time: 0.90
1423.28/356.33	c calculated reachability. Time: 0.00
1423.28/356.33	c  N dy  3028    537432      1250     25000         0     50220    125000   3080717    110.48   no data  --
1441.23/360.83	c  N dy  3152    557524      1250     25000         0     38318    125000   1343786    110.53    130.46  --
1458.03/365.08	c  N dy  3264    577730      1250     25000         0     58507    125000   4119629    110.50    116.84  --
1475.60/369.45	c  N dy  3381    597771      1250     25000         0     45562    125000   2196890    110.53    117.67  --
1495.96/374.51	c  N dy  3507    617831      1250     25000         0     65604    125000   4984288    110.58    126.92  --
1513.94/379.04	c  N dy  3635    637996      1250     25000         0     51776    125000   2925811    110.60    117.84  --
1535.11/384.30	c  N dy  3761    658105      1250     25000         0     36904    125000    754513    110.64    119.58  --
1552.68/388.76	c  N dy  3876    678299      1250     25000         0     57065    125000   3518886    110.63    118.36  --
1573.85/394.01	c  N dy  3998    698478      1250     25000         0     41267    125000   1219088    110.65    117.31  --
1592.62/398.77	c  N dy  4126    718592      1250     25000         0     61366    125000   3989122    110.67    116.72  --
1613.80/404.03	c  N dy  4255    738761      1250     25000         0     44551    125000   1549569    110.73    118.50  --
1633.78/409.02	c  N dy  4385    758790      1250     25000         0     64567    125000   4334784    110.79    117.00  --
1654.94/414.34	c  N dy  4510    778908      1250     25000         0     46700    125000   1722382    110.82    120.31  --
1675.31/419.40	c  N dy  4623    798981      1250     25000         0     66751    125000   4496143    110.84    116.78  --
1683.70/421.55	c  S st  4666    806149      1250     25000         0     73910    125000   5482478    110.84    105.74  --
1684.50/421.78	c  S st  4666    806652      1250     25000         0     74413    125000   5541725    110.84   no data  --
1684.90/421.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1684.90/421.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1684.90/421.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.26
1685.70/422.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1685.70/422.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1685.70/422.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
1685.70/422.07	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-3174941-1304056593/watcher-3174941-1304056593 -o /tmp/evaluation-result-3174941-1304056593/solver-3174941-1304056593 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174941-1304056593.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.49 5.52 5.80 6/178 29539
/proc/meminfo: memFree=26582180/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 498074794 52465664 357 33554432000 4194304 4650419 140736563132992 18446744073709551615 228095451067 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 12809 357 306 112 0 7774 0
[pid=29539/tid=29542] ppid=29537 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 498074795 52465664 357 33554432000 4194304 4650419 140736563132992 18446744073709551615 47001867048880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 498074795 52465664 357 33554432000 4194304 4650419 140736563132992 18446744073709551615 228090498134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 498074795 52465664 357 33554432000 4194304 4650419 140736563132992 18446744073709551615 228090498134 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 3.49 5.52 5.80 6/178 29539
/proc/meminfo: memFree=26582180/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=304016 CPUtime=0.57 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 4938 0 0 0 56 1 0 0 18 0 4 0 498074794 311312384 4341 33554432000 4194304 4650419 140736563132992 18446744073709551615 228095494279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 71900 5825 383 112 0 66865 0
[pid=29539/tid=29542] ppid=29537 vsize=287600 CPUtime=0.15 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) D 29537 29539 29500 0 -1 4202560 1565 0 0 0 15 0 0 0 18 0 4 0 498074795 294502400 6207 33554432000 4194304 4650419 140736563132992 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=287600 CPUtime=0.15 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 2314 0 0 0 15 0 0 0 18 0 4 0 498074795 294502400 6550 33554432000 4194304 4650419 140736563132992 18446744073709551615 4439106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=287600 CPUtime=0.15 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 1039 0 0 0 15 0 0 0 18 0 4 0 498074795 294502400 6832 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 304016

[startup+1.07504 s]
/proc/loadavg: 3.49 5.52 5.80 6/178 29539
/proc/meminfo: memFree=26582180/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=302920 CPUtime=4.26 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 18138 0 0 0 423 3 0 0 19 0 4 0 498074794 310190080 10699 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 75730 10699 391 112 0 70695 0
[pid=29539/tid=29542] ppid=29537 vsize=302920 CPUtime=1.06 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) D 29537 29539 29500 0 -1 4202560 4534 0 0 0 105 1 0 0 19 0 4 0 498074795 310190080 10187 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=302920 CPUtime=1.06 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5141 0 0 0 106 0 0 0 19 0 4 0 498074795 310190080 10187 33554432000 4194304 4650419 140736563132992 18446744073709551615 228095494279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=302920 CPUtime=1.05 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 3553 0 0 0 105 0 0 0 19 0 4 0 498074795 310190080 10113 33554432000 4194304 4650419 140736563132992 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 302920

[startup+1.20739 s]
/proc/loadavg: 3.49 5.52 5.80 6/178 29539
/proc/meminfo: memFree=26582180/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=293868 CPUtime=4.8 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 19994 0 0 0 476 4 0 0 19 0 4 0 498074794 300920832 9359 33554432000 4194304 4650419 140736563132992 18446744073709551615 4333715 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 73467 9359 391 112 0 68432 0
[pid=29539/tid=29542] ppid=29537 vsize=293868 CPUtime=1.2 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5223 0 0 0 119 1 0 0 19 0 4 0 498074795 300920832 9360 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=293868 CPUtime=1.19 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5366 0 0 0 119 0 0 0 19 0 4 0 498074795 300920832 9360 33554432000 4194304 4650419 140736563132992 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=293868 CPUtime=1.18 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 3767 0 0 0 118 0 0 0 19 0 4 0 498074795 300920832 9360 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 293868

[startup+1.30737 s]
/proc/loadavg: 3.49 5.52 5.80 6/178 29539
/proc/meminfo: memFree=26582180/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=293868 CPUtime=5.19 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 20647 0 0 0 515 4 0 0 19 0 4 0 498074794 300920832 10012 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 73467 10012 391 112 0 68432 0
[pid=29539/tid=29542] ppid=29537 vsize=293868 CPUtime=1.29 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5387 0 0 0 128 1 0 0 19 0 4 0 498074795 300920832 10012 33554432000 4194304 4650419 140736563132992 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=293868 CPUtime=1.29 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5535 0 0 0 129 0 0 0 19 0 4 0 498074795 300920832 10012 33554432000 4194304 4650419 140736563132992 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=293868 CPUtime=1.28 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 3925 0 0 0 128 0 0 0 19 0 4 0 498074795 300920832 10012 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 293868

[startup+1.50733 s]
/proc/loadavg: 3.49 5.52 5.80 6/178 29539
/proc/meminfo: memFree=26582180/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=293868 CPUtime=5.99 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 21898 0 0 0 595 4 0 0 20 0 4 0 498074794 300920832 11263 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 73467 11263 391 112 0 68432 0
[pid=29539/tid=29542] ppid=29537 vsize=293868 CPUtime=1.49 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5701 0 0 0 148 1 0 0 20 0 4 0 498074795 300920832 11263 33554432000 4194304 4650419 140736563132992 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=293868 CPUtime=1.49 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 5856 0 0 0 148 1 0 0 20 0 4 0 498074795 300920832 11263 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=293868 CPUtime=1.48 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 4229 0 0 0 148 0 0 0 20 0 4 0 498074795 300920832 11263 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 293868

[startup+3.10104 s]
/proc/loadavg: 4.17 5.63 5.84 9/184 29545
/proc/meminfo: memFree=26473140/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=295128 CPUtime=12.37 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 40737 0 0 0 1229 8 0 0 25 0 4 0 498074794 302211072 18200 33554432000 4194304 4650419 140736563132992 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 73782 18200 393 112 0 68747 0
[pid=29539/tid=29542] ppid=29537 vsize=295128 CPUtime=3.08 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 9197 0 0 0 307 1 0 0 25 0 4 0 498074795 302211072 18200 33554432000 4194304 4650419 140736563132992 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=295128 CPUtime=3.09 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 9267 0 0 0 307 2 0 0 25 0 4 0 498074795 302211072 18200 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=295128 CPUtime=3.08 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 7696 0 0 0 307 1 0 0 25 0 4 0 498074795 302211072 18200 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 295128

[startup+6.30045 s]
/proc/loadavg: 4.56 5.68 5.85 9/184 29545
/proc/meminfo: memFree=26361296/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=286412 CPUtime=25.14 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 66899 0 0 0 2500 14 0 0 25 0 4 0 498074794 293285888 34925 33554432000 4194304 4650419 140736563132992 18446744073709551615 4334819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 71603 34925 393 112 0 66568 0
[pid=29539/tid=29542] ppid=29537 vsize=286412 CPUtime=6.26 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 13155 0 0 0 624 2 0 0 25 0 4 0 498074795 293285888 34925 33554432000 4194304 4650419 140736563132992 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=286412 CPUtime=6.29 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 19370 0 0 0 625 4 0 0 25 0 4 0 498074795 293285888 34925 33554432000 4194304 4650419 140736563132992 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=286412 CPUtime=6.28 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 16828 0 0 0 626 2 0 0 25 0 4 0 498074795 293285888 34925 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 286412

[startup+12.7003 s]
/proc/loadavg: 4.84 5.72 5.87 9/184 29545
/proc/meminfo: memFree=26282284/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=276224 CPUtime=50.7 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 89534 0 0 0 5051 19 0 0 25 0 4 0 498074794 282853376 44123 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366882 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 69056 44124 393 112 0 64021 0
[pid=29539/tid=29542] ppid=29537 vsize=276224 CPUtime=12.62 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 21426 0 0 0 1258 4 0 0 25 0 4 0 498074795 282853376 44124 33554432000 4194304 4650419 140736563132992 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=276224 CPUtime=12.68 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 21810 0 0 0 1264 4 0 0 25 0 4 0 498074795 282853376 44124 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=276224 CPUtime=12.68 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 24407 0 0 0 1264 4 0 0 25 0 4 0 498074795 282853376 44124 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 276224

[startup+25.5009 s]
/proc/loadavg: 5.40 5.81 5.89 9/184 29546
/proc/meminfo: memFree=26111704/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=484304 CPUtime=101.84 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 132426 0 0 0 10155 29 0 0 25 0 4 0 498074794 495927296 66604 33554432000 4194304 4650419 140736563132992 18446744073709551615 4439644 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 121076 66604 393 112 0 116041 0
[pid=29539/tid=29542] ppid=29537 vsize=484304 CPUtime=25.37 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 28059 0 0 0 2530 7 0 0 25 0 4 0 498074795 495927296 66604 33554432000 4194304 4650419 140736563132992 18446744073709551615 4333846 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=484304 CPUtime=25.48 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 32125 0 0 0 2542 6 0 0 25 0 4 0 498074795 495927296 66604 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=484304 CPUtime=25.48 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 37482 0 0 0 2541 7 0 0 25 0 4 0 498074795 495927296 66604 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 484304

[startup+51.1002 s]
/proc/loadavg: 6.42 6.02 5.96 9/184 29546
/proc/meminfo: memFree=25991272/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=550644 CPUtime=204.11 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 209927 0 0 0 20362 49 0 0 25 0 4 0 498074794 563859456 82770 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 137661 82770 393 112 0 132626 0
[pid=29539/tid=29542] ppid=29537 vsize=550644 CPUtime=50.83 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 45121 0 0 0 5072 11 0 0 25 0 4 0 498074795 563859456 82770 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=550644 CPUtime=51.08 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 52578 0 0 0 5099 9 0 0 25 0 4 0 498074795 563859456 82770 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=550644 CPUtime=51.08 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 63544 0 0 0 5093 15 0 0 25 0 4 0 498074795 563859456 82770 33554432000 4194304 4650419 140736563132992 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 550644

[startup+102.301 s]
/proc/loadavg: 7.40 6.35 6.07 9/184 29548
/proc/meminfo: memFree=25898104/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=652792 CPUtime=408.64 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 339806 0 0 0 40782 82 0 0 25 0 4 0 498074794 668459008 96152 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 163198 96152 393 112 0 158163 0
[pid=29539/tid=29542] ppid=29537 vsize=652792 CPUtime=101.77 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 78092 0 0 0 10156 21 0 0 25 0 4 0 498074795 668459008 96152 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=652792 CPUtime=102.28 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 81884 0 0 0 10212 16 0 0 25 0 4 0 498074795 668459008 96152 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=652792 CPUtime=102.28 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 106998 0 0 0 10201 27 0 0 25 0 4 0 498074795 668459008 96152 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 652792

[startup+162.301 s]

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

[pid=29539] ppid=29537 vsize=996988 CPUtime=2805.37 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 802659 0 0 0 280271 266 0 0 25 0 4 0 498074794 1020915712 174984 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 249247 174984 393 112 0 244212 0
[pid=29539/tid=29542] ppid=29537 vsize=996988 CPUtime=698.45 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 189534 0 0 0 69791 54 0 0 25 0 4 0 498074795 1020915712 174984 33554432000 4194304 4650419 140736563132992 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=996988 CPUtime=702.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 202624 0 0 0 70163 68 0 0 25 0 4 0 498074795 1020915712 174984 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=996988 CPUtime=702.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 254282 0 0 0 70136 94 0 0 25 0 4 0 498074795 1020915712 174984 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 996988

[startup+762.3 s]
/proc/loadavg: 8.10 7.90 7.08 9/184 29574
/proc/meminfo: memFree=25242968/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1072476 CPUtime=3045.04 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 863844 0 0 0 304207 297 0 0 25 0 4 0 498074794 1098215424 172900 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 268119 172900 393 112 0 263084 0
[pid=29539/tid=29542] ppid=29537 vsize=1072476 CPUtime=758.12 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 213260 0 0 0 75745 67 0 0 25 0 4 0 498074795 1098215424 172900 33554432000 4194304 4650419 140736563132992 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1072476 CPUtime=762.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 235348 0 0 0 76146 85 0 0 25 0 4 0 498074795 1098215424 172900 33554432000 4194304 4650419 140736563132992 18446744073709551615 4334280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1072476 CPUtime=762.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 256599 0 0 0 76135 95 0 0 25 0 4 0 498074795 1098215424 172900 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 1072476

[startup+822.3 s]
/proc/loadavg: 8.10 7.93 7.14 9/184 29576
/proc/meminfo: memFree=25183776/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1073828 CPUtime=3284.72 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 914151 0 0 0 328152 320 0 0 25 0 4 0 498074794 1099599872 181708 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 268457 181708 393 112 0 263422 0
[pid=29539/tid=29542] ppid=29537 vsize=1073828 CPUtime=817.79 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 233644 0 0 0 81702 77 0 0 25 0 4 0 498074795 1099599872 181708 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1073828 CPUtime=822.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261795 0 0 0 82134 97 0 0 25 0 4 0 498074795 1099599872 181708 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1073828 CPUtime=822.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 258719 0 0 0 82135 95 0 0 25 0 4 0 498074795 1099599872 181708 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 1073828

[startup+882.301 s]
/proc/loadavg: 8.14 7.97 7.20 9/184 29578
/proc/meminfo: memFree=25211232/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1024036 CPUtime=3524.39 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 968792 0 0 0 352088 351 0 0 25 0 4 0 498074794 1048612864 173259 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 256009 173259 393 112 0 250974 0
[pid=29539/tid=29542] ppid=29537 vsize=1024036 CPUtime=877.46 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 252787 0 0 0 87656 90 0 0 25 0 4 0 498074795 1048612864 173259 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1024036 CPUtime=882.3 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 292086 0 0 0 88116 114 0 0 25 0 4 0 498074795 1048612864 173259 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1024036 CPUtime=882.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261397 0 0 0 88135 95 0 0 25 0 4 0 498074795 1048612864 173259 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 1024036

[startup+942.301 s]
/proc/loadavg: 8.15 8.01 7.26 9/184 29579
/proc/meminfo: memFree=25108472/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1091284 CPUtime=3764.07 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1038491 0 0 0 376029 378 0 0 25 0 4 0 498074794 1117474816 199968 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 272821 199968 393 112 0 267786 0
[pid=29539/tid=29542] ppid=29537 vsize=1091284 CPUtime=937.13 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 273334 0 0 0 93611 102 0 0 25 0 4 0 498074795 1117474816 199968 33554432000 4194304 4650419 140736563132992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1091284 CPUtime=942.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 338873 0 0 0 94102 129 0 0 25 0 4 0 498074795 1117474816 199968 33554432000 4194304 4650419 140736563132992 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1091284 CPUtime=942.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 94135 95 0 0 25 0 4 0 498074795 1117474816 199968 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 1091284

[startup+1002.3 s]
/proc/loadavg: 8.14 8.03 7.31 9/184 29581
/proc/meminfo: memFree=25129584/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1143444 CPUtime=4003.75 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1050472 0 0 0 399991 384 0 0 25 0 4 0 498074794 1170886656 198832 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 285861 198832 393 112 0 280826 0
[pid=29539/tid=29542] ppid=29537 vsize=1143444 CPUtime=996.8 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 281357 0 0 0 99573 107 0 0 25 0 4 0 498074795 1170886656 198832 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1143444 CPUtime=1002.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 341643 0 0 0 100102 129 0 0 25 0 4 0 498074795 1170886656 198832 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1143444 CPUtime=1002.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 100135 95 0 0 25 0 4 0 498074795 1170886656 198832 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 1143444

[startup+1062.3 s]
/proc/loadavg: 8.13 8.05 7.37 9/184 29582
/proc/meminfo: memFree=24961720/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1143444 CPUtime=4243.42 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1054914 0 0 0 423958 384 0 0 25 0 4 0 498074794 1170886656 198901 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 285861 198901 393 112 0 280826 0
[pid=29539/tid=29542] ppid=29537 vsize=1143444 CPUtime=1056.47 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 281357 0 0 0 105540 107 0 0 25 0 4 0 498074795 1170886656 198901 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1143444 CPUtime=1062.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 346085 0 0 0 106101 130 0 0 25 0 4 0 498074795 1170886656 198901 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1143444 CPUtime=1062.3 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 106135 95 0 0 25 0 4 0 498074795 1170886656 198901 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 1143444

[startup+1122.3 s]
/proc/loadavg: 8.12 8.07 7.41 9/184 29584
/proc/meminfo: memFree=24928700/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1143444 CPUtime=4483.09 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1059959 0 0 0 447924 385 0 0 25 0 4 0 498074794 1170886656 198863 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 285861 198863 393 112 0 280826 0
[pid=29539/tid=29542] ppid=29537 vsize=1143444 CPUtime=1116.14 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 281357 0 0 0 111507 107 0 0 25 0 4 0 498074795 1170886656 198863 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1143444 CPUtime=1122.31 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 350132 0 0 0 112100 131 0 0 25 0 4 0 498074795 1170886656 198863 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1143444 CPUtime=1122.31 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 112136 95 0 0 25 0 4 0 498074795 1170886656 198863 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476403 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 1143444

[startup+1182.3 s]
/proc/loadavg: 8.25 8.11 7.47 9/184 29586
/proc/meminfo: memFree=24900252/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1143444 CPUtime=4722.79 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1065411 0 0 0 471893 386 0 0 25 0 4 0 498074794 1170886656 198833 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 285861 198833 393 112 0 280826 0
[pid=29539/tid=29542] ppid=29537 vsize=1143444 CPUtime=1175.81 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 281357 0 0 0 117474 107 0 0 25 0 4 0 498074795 1170886656 198833 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1143444 CPUtime=1182.32 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 354660 0 0 0 118101 131 0 0 25 0 4 0 498074795 1170886656 198833 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1143444 CPUtime=1182.31 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 118136 95 0 0 25 0 4 0 498074795 1170886656 198833 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 1143444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.25 8.12 7.48 10/184 29586
/proc/meminfo: memFree=24881892/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1143444 CPUtime=4800.28 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1066777 0 0 0 479642 386 0 0 25 0 4 0 498074794 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 285861 198732 393 112 0 280826 0
[pid=29539/tid=29542] ppid=29537 vsize=1143444 CPUtime=1195.1 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 281357 0 0 0 119403 107 0 0 25 0 4 0 498074795 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1143444 CPUtime=1201.73 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 356026 0 0 0 120041 132 0 0 25 0 4 0 498074795 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1143444 CPUtime=1201.71 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 120076 95 0 0 25 0 4 0 498074795 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1143444

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

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

[startup+1201.7 s]
/proc/loadavg: 8.25 8.12 7.48 10/184 29586
/proc/meminfo: memFree=24881892/32951124 swapFree=67111524/67111528
[pid=29539] ppid=29537 vsize=1143444 CPUtime=4800.28 cores=0,2,4,6
/proc/29539/stat : 29539 (strangenight1-m) R 29537 29539 29500 0 -1 4202496 1066777 0 0 0 479642 386 0 0 25 0 4 0 498074794 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29539/statm: 285861 198732 393 112 0 280826 0
[pid=29539/tid=29542] ppid=29537 vsize=1143444 CPUtime=1195.1 cores=0,2,4,6
/proc/29539/task/29542/stat : 29542 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 281357 0 0 0 119403 107 0 0 25 0 4 0 498074795 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29539/tid=29543] ppid=29537 vsize=1143444 CPUtime=1201.73 cores=0,2,4,6
/proc/29539/task/29543/stat : 29543 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 356026 0 0 0 120041 132 0 0 25 0 4 0 498074795 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29539/tid=29544] ppid=29537 vsize=1143444 CPUtime=1201.71 cores=0,2,4,6
/proc/29539/task/29544/stat : 29544 (strangenight1-m) R 29537 29539 29500 0 -1 4202560 261686 0 0 0 120076 95 0 0 25 0 4 0 498074795 1170886656 198732 33554432000 4194304 4650419 140736563132992 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1143444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.35
CPU user time (s): 4796.44
CPU system time (s): 3.90341
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 1143444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.44
system time used= 3.90341
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1066777
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= 1699
involuntary context switches= 22124

runsolver used 1.9647 second user time and 4.55331 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 07:56:33
IDJOB=3174941
IDBENCH=82559
IDSOLVER=1588
FILE ID=node142/3174941-1304056593
RUNJOBID= node142-1304056593-29518
PBS_JOBID= 13170434
Free space on /tmp= 71312 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174941-1304056593/watcher-3174941-1304056593 -o /tmp/evaluation-result-3174941-1304056593/solver-3174941-1304056593 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174941-1304056593.cnf

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

MD5SUM BENCH= 4ba3e8e19a6d9aec4bc2bd0594f1360a
RANDOM SEED=1378030302

node142.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	: 5131.95
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26582732 kB
Buffers:       1649928 kB
Cached:        4112672 kB
SwapCached:          4 kB
Active:         693708 kB
Inactive:      5133480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26582732 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           13316 kB
Writeback:           0 kB
AnonPages:       64172 kB
Mapped:          13852 kB
Slab:           475388 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195604 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= 71300 MiB
End job on node142 at 2011-04-29 08:16:37