Trace number 3368553

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf
MD5SUM34a446d3b38e7b034208a35fa75247bf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark172.11
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368553-1305397122.cnf'
0.00/0.01	c -- header says num vars:           1250
0.00/0.01	c -- header says num clauses:       25000
0.06/0.03	c -- clauses added:            0 learnts,        25000 normals,            0 xors
0.06/0.03	c -- vars added       1250
0.06/0.03	c Parsing time:  0.05 s
0.06/0.03	c  N st     0         0      1250     25000         0         0    125000         0   no data   no data  --
0.06/0.16	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.49
0.06/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.63/0.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.63/0.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.63/0.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
0.63/0.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.63/0.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
0.63/0.60	c Finding binary XORs  T:     0.00 s  found:       0
0.63/0.60	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
0.63/0.60	c calculated reachability. Time: 0.00
0.63/0.60	c Calc default polars -  time:   0.00 s pos:     621 undec:      45 neg:     584
0.63/0.60	c =========================================================================================
0.63/0.60	c types(t): F = full restart, N = normal restart
0.63/0.60	c types(t): S = simplification begin/end, E = solution found
0.63/0.60	c restart types(rt): st = static, dy = dynamic
0.63/0.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.63/0.60	c  B st     0         0      1250     25000         0         0    125000         0   no data   no data  --
4.02/1.06	c  N dy    18      4004      1250     25000         0      4001    125000    551375    105.91    112.56  --
4.02/1.06	c  N dy    46      8129      1250     25000         0      5626    125000    565617    107.39    113.34  --
4.75/1.26	c  N dy    75     12172      1250     25000         0      5418    125000    361139    110.38    116.90  --
5.95/1.56	c  N dy    95     16203      1250     25000         0      9447    125000    911268    109.95    116.61  --
7.54/1.94	c  N dy   122     20428      1250     25000         0      8051    125000    559887    110.30    116.86  --
9.14/2.30	c  N dy   141     24485      1250     25000         0     12102    125000   1114163    109.84    116.18  --
9.14/2.35	c  F st   146     25000      1250     25000         0     12617    125000   1188045    110.02   no data  --
11.17/2.83	c  N dy   152     30001      1250     25000         0     10805    125000    828754    110.02   no data  --
11.17/2.83	c  S st   152     30001      1250     25000         0     10805    125000    828754    110.02   no data  --
11.17/2.89	c  S st   152     30501      1250     25000         0     11304    125000    886230    110.02   no data  --
11.17/2.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.17/2.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.17/2.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
11.57/2.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.57/2.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.57/2.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
11.57/2.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.91/4.58	c lits-rem:      2051  cl-subs:       35  v-elim:      0  v-fix:    0  time:  6.49 s
18.71/4.77	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.73
18.71/4.77	c calculated reachability. Time: 0.00
18.71/4.77	c  N dy   152     30501      1250     25000         0     11269    125000    873978    110.02   no data  --
20.70/5.22	c  N dy   176     34831      1250     25000         0     15598    125000   1469336    109.99    115.89  --
22.30/5.63	c  N dy   201     38935      1250     25000         0     11801    125000    789192    109.84    116.39  --
23.90/6.05	c  N dy   222     43043      1250     25000         0     15908    125000   1348138    109.70    115.55  --
25.08/6.36	c  S st   240     45753      1250     25000         0      9669    125000    364576    109.80   no data  --
25.48/6.42	c  S st   240     46255      1250     25000         0     10171    125000    423462    109.80   no data  --
25.48/6.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25.48/6.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.48/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
25.48/6.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.48/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.48/6.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
25.48/6.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
42.29/10.67	c lits-rem:      1223  cl-subs:        2  v-elim:      0  v-fix:    0  time: 16.77 s
42.29/10.67	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
42.29/10.67	c vivif2 --  cl tried    10169 cl shrink        0 lits rem          0 time: 0.02
43.04/10.85	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.69
43.04/10.85	c calculated reachability. Time: 0.00
43.04/10.85	c  N dy   240     46255      1250     25000         0     10169    125000    421765    109.80   no data  --
44.63/11.26	c  N dy   267     50333      1250     25000         0     14244    125000    988013    109.89    137.83  --
46.28/11.68	c  N dy   290     54372      1250     25000         0     18282    125000   1537544    109.90    115.76  --
48.23/12.16	c  N dy   316     58629      1250     25000         0     12570    125000    629873    110.07    118.43  --
49.82/12.58	c  N dy   335     62711      1250     25000         0     16649    125000   1194789    109.98    122.76  --
51.81/13.05	c  N dy   362     66836      1250     25000         0     20774    125000   1757881    110.09    116.47  --
53.01/13.35	c  S st   378     69385      1250     25000         0     12337    125000    465143    110.14    102.07  --
53.41/13.41	c  S st   378     69890      1250     25000         0     12842    125000    524747    110.14   no data  --
53.41/13.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.41/13.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.41/13.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
53.41/13.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.41/13.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.41/13.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
53.41/13.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
71.36/17.91	c lits-rem:      1939  cl-subs:        3  v-elim:      0  v-fix:    0  time: 17.77 s
71.36/17.91	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
71.36/17.92	c vivif2 --  cl tried    12839 cl shrink        0 lits rem          0 time: 0.02
72.16/18.13	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.86
72.16/18.13	c calculated reachability. Time: 0.00
72.16/18.13	c  N dy   378     69890      1250     25000         0     12839    125000    521904    110.14   no data  --
74.14/18.64	c  N dy   406     74392      1250     25000         0     17336    125000   1138933    110.23    116.11  --
76.55/19.26	c  N dy   437     79217      1250     25000         0     22156    125000   1804471    110.38    117.21  --
78.93/19.89	c  N dy   468     84409      1250     25000         0     15358    125000    745491    110.42    116.82  --
80.53/20.28	c  F st   489     87500      1250     25000         0     18447    125000   1169880    110.51   no data  --
82.52/20.73	c  N st   494     90797      1250     25000         0     21735    125000   1650447    110.51   no data  --
85.75/21.54	c  N dy   513     96773      1250     25000         0     14721    125000    531340    110.36    116.92  --
88.50/22.29	c  N dy   543    102955      1250     25000         0     20901    125000   1375997    110.21    119.93  --
89.71/22.55	c  S st   557    104836      1250     25000         0     22781    125000   1638669    110.28   no data  --
90.15/22.65	c  S st   557    105343      1250     25000         0     23287    125000   1698131    110.28   no data  --
90.15/22.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
90.15/22.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.15/22.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
90.54/22.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.54/22.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.54/22.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
90.54/22.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
121.59/30.52	c lits-rem:       945  cl-subs:       21  v-elim:      0  v-fix:    0  time: 30.98 s
121.59/30.52	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
121.59/30.54	c vivif2 --  cl tried    23266 cl shrink        0 lits rem          0 time: 0.06
122.80/30.85	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 1.23
122.80/30.85	c calculated reachability. Time: 0.00
122.80/30.85	c  N dy   557    105343      1250     25000         0     23266    125000   1690867    110.28   no data  --
126.38/31.70	c  N dy   594    112198      1250     25000         0     16127    125000    598318    110.20    119.26  --
129.62/32.54	c  N dy   639    119372      1250     25000         0     23290    125000   1577554    110.27    117.88  --
133.57/33.59	c  N dy   688    127020      1250     25000         0     15946    125000    453274    110.42    116.28  --
137.55/34.59	c  N dy   735    135149      1250     25000         0     24066    125000   1566387    110.39    116.41  --
142.78/35.84	c  N dy   789    143794      1250     25000         0     16723    125000    429966    110.44    117.35  --
147.17/37.01	c  N dy   843    153074      1250     25000         0     25995    125000   1705304    110.41    117.42  --
150.32/37.73	c  S st   875    158017      1250     25000         0     30936    125000   2383666    110.44   no data  --
150.72/37.84	c  S st   875    158519      1250     25000         0     31438    125000   2448119    110.44   no data  --
150.72/37.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
150.72/37.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.72/37.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
151.12/37.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.12/37.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.12/37.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
151.12/37.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
227.68/57.12	c lits-rem:       847  cl-subs:       27  v-elim:      0  v-fix:    0  time: 76.23 s
227.68/57.12	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
227.68/57.14	c vivif2 --  cl tried    31411 cl shrink        0 lits rem          0 time: 0.10
229.28/57.55	c asymm  cl-useful: 0/22066/25000 lits-rem:0 time: 1.63
229.28/57.55	c calculated reachability. Time: 0.00
229.28/57.55	c  N dy   875    158519      1250     25000         0     31411    125000   2439209    110.44   no data  --
235.31/59.05	c  N dy   938    168829      1250     25000         0     24725    125000   1414610    110.59    117.00  --
241.64/60.68	c  N dy  1005    179645      1250     25000         0     35527    125000   2903900    110.64    118.11  --
247.63/62.19	c  N dy  1071    191150      1250     25000         0     29029    125000   1869119    110.63    117.42  --
254.81/63.94	c  N dy  1145    203499      1250     25000         0     22392    125000    818532    110.67    117.99  --
261.98/65.71	c  N dy  1216    216486      1250     25000         0     35362    125000   2600146    110.65    116.60  --
269.57/67.60	c  N dy  1288    230317      1250     25000         0     29209    125000   1631047    110.57    117.57  --
273.56/68.69	c  S st  1326    237779      1250     25000         0     36666    125000   2640578    110.53    107.29  --
273.95/68.79	c  S st  1326    238281      1250     25000         0     37168    125000   2699556    110.53   no data  --
273.95/68.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
273.95/68.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.39/68.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
274.79/68.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.79/68.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.79/68.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
274.79/68.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
371.66/93.25	c lits-rem:       855  cl-subs:       40  v-elim:      0  v-fix:    0  time: 96.88 s
371.66/93.25	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
371.66/93.28	c vivif2 --  cl tried    37128 cl shrink        0 lits rem          0 time: 0.11
372.06/93.35	c asymm  cl-useful: 0/2934/25000 lits-rem:0 time: 0.28
372.06/93.35	c calculated reachability. Time: 0.00
372.06/93.35	c  N dy  1326    238281      1250     25000         0     37128    125000   2687316    110.53   no data  --
381.23/95.63	c  N dy  1421    253555      1250     25000         0     31413    125000   1808240    110.57    124.59  --
391.60/98.21	c  N dy  1516    269862      1250     25000         0     25723    125000    889737    110.59    119.26  --
402.02/100.89	c  N dy  1623    287160      1250     25000         0     43016    125000   3288330    110.68    116.60  --
413.54/103.73	c  N dy  1738    305641      1250     25000         0     38495    125000   2520675    110.71    117.34  --
413.94/103.83	c  F st  1743    306251      1250     25000         0     39104    125000   2602375    110.71   no data  --
426.30/106.90	c  N dy  1832    325236      1250     25000         0     34090    125000   1786342    110.72    120.21  --
440.26/110.44	c  N dy  1947    345276      1250     25000         0     29132    125000    965471    110.70    118.85  --
448.24/112.44	c  S st  2013    357421      1250     25000         0     41266    125000   2627875    110.67   no data  --
448.64/112.57	c  S st  2013    357923      1250     25000         0     41768    125000   2690561    110.67   no data  --
448.64/112.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
448.64/112.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
449.04/112.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
449.44/112.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
449.44/112.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
449.44/112.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
449.44/112.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
548.73/137.68	c lits-rem:       949  cl-subs:       32  v-elim:      0  v-fix:    0  time: 99.42 s
548.73/137.68	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
549.13/137.71	c vivif2 --  cl tried    41736 cl shrink        0 lits rem          0 time: 0.11
550.77/138.12	c asymm  cl-useful: 0/18617/25000 lits-rem:0 time: 1.64
550.77/138.13	c calculated reachability. Time: 0.00
550.77/138.13	c  N dy  2013    357923      1250     25000         0     41736    125000   2680441    110.67   no data  --
564.33/141.53	c  N dy  2129    378019      1250     25000         0     35829    125000   1765761    110.70    116.95  --
579.04/145.21	c  N dy  2240    398108      1250     25000         0     28926    125000    690962    110.68    116.57  --
593.01/148.73	c  N dy  2365    418275      1250     25000         0     49074    125000   3477012    110.73    118.80  --
607.37/152.41	c  N dy  2480    438455      1250     25000         0     41257    125000   2244755    110.71    119.17  --
622.92/156.29	c  N dy  2592    458577      1250     25000         0     32386    125000    903141    110.67    116.97  --
637.68/159.99	c  N dy  2708    478622      1250     25000         0     52410    125000   3670269    110.68    121.23  --
653.62/163.95	c  N dy  2824    499048      1250     25000         0     42846    125000   2202346    110.65    117.29  --
670.78/168.22	c  N dy  2935    519220      1250     25000         0     32030    125000    601580    110.68    116.68  --
683.53/171.47	c  S st  3041    536885      1250     25000         0     49675    125000   3023867    110.70   no data  --
684.34/171.63	c  S st  3041    537391      1250     25000         0     50181    125000   3086598    110.70   no data  --
684.34/171.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
684.34/171.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
684.34/171.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
684.74/171.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
684.74/171.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
684.74/171.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
684.74/171.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1493.52/374.56	c lits-rem:       486  cl-subs:       32  v-elim:      0  v-fix:    0  time: 808.02 s
1493.52/374.56	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
1493.52/374.60	c vivif2 --  cl tried    50149 cl shrink        0 lits rem          0 time: 0.13
1494.70/374.83	c asymm  cl-useful: 0/6383/25000 lits-rem:0 time: 0.92
1494.70/374.83	c calculated reachability. Time: 0.00
1494.70/374.83	c  N dy  3041    537391      1250     25000         0     50149    125000   3076975    110.70   no data  --
1514.25/379.72	c  N dy  3174    557431      1250     25000         0     38208    125000   1329816    110.76    131.30  --
1532.20/384.28	c  N dy  3292    577463      1250     25000         0     58214    125000   4099699    110.79    117.20  --
1550.55/388.86	c  N dy  3414    597573      1250     25000         0     45339    125000   2174121    110.80    118.51  --
1570.48/393.84	c  N dy  3525    617589      1250     25000         0     65336    125000   4931288    110.78    123.04  --
1588.03/398.28	c  N dy  3644    637811      1250     25000         0     51584    125000   2900250    110.78    119.68  --
1609.17/403.53	c  N dy  3762    657862      1250     25000         0     36647    125000    714335    110.80    124.14  --
1626.71/407.92	c  N dy  3872    677871      1250     25000         0     56646    125000   3469050    110.78    117.02  --
1647.90/413.28	c  N dy  3991    697887      1250     25000         0     40664    125000   1131979    110.77    117.23  --
1666.59/417.98	c  N dy  4117    718000      1250     25000         0     60762    125000   3910671    110.81    116.88  --
1687.72/423.20	c  N dy  4227    738189      1250     25000         0     43962    125000   1462111    110.80    117.93  --
1707.27/428.11	c  N dy  4345    758205      1250     25000         0     63969    125000   4232480    110.82    118.70  --
1728.40/433.40	c  N dy  4457    778280      1250     25000         0     46064    125000   1616318    110.83    123.17  --
1748.39/438.43	c  N dy  4571    798392      1250     25000         0     66149    125000   4387624    110.82    116.87  --
1757.16/440.63	c  S st  4608    806087      1250     25000         0     73838    125000   5430159    110.79    107.25  --
1757.91/440.87	c  S st  4608    806595      1250     25000         0     74346    125000   5495396    110.79   no data  --
1757.91/440.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1757.91/440.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1758.31/440.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.27
1759.11/441.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1759.11/441.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1759.11/441.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
1759.11/441.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368553-1305397122/watcher-3368553-1305397122 -o /tmp/evaluation-result-3368553-1305397122/solver-3368553-1305397122 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368553-1305397122.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: 6.85 7.83 7.88 6/367 32512
/proc/meminfo: memFree=25743272/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 416 0 0 0 2 0 0 0 25 0 4 0 632127819 52465664 356 33554432000 4194304 4650419 140735293333760 18446744073709551615 47535906326045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 12809 356 306 112 0 7774 0
[pid=32512/tid=32513] ppid=32510 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632127820 52465664 356 33554432000 4194304 4650419 140735293333760 18446744073709551615 47535906326041 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632127820 52465664 356 33554432000 4194304 4650419 140735293333760 18446744073709551615 47535906326444 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632127820 52465664 356 33554432000 4194304 4650419 140735293333760 18446744073709551615 47535906326041 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.022394 s]
/proc/loadavg: 6.85 7.83 7.88 6/367 32512
/proc/meminfo: memFree=25743272/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=282928 CPUtime=0.06 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 2293 0 0 0 6 0 0 0 18 0 4 0 632127819 289718272 2207 33554432000 4194304 4650419 140735293333760 18446744073709551615 4307758 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 70768 2229 343 112 0 65733 0
[pid=32512/tid=32513] ppid=32510 vsize=283216 CPUtime=0.01 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 507 0 0 0 1 0 0 0 18 0 4 0 632127820 290013184 2261 33554432000 4194304 4650419 140735293333760 18446744073709551615 264726101771 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=283216 CPUtime=0 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) S 32510 32512 32471 0 -1 4202560 434 0 0 0 0 0 0 0 18 0 4 0 632127820 290013184 2281 33554432000 4194304 4650419 140735293333760 18446744073709551615 264726510062 0 0 4096 2 18446604460886999360 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=283668 CPUtime=0.01 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) S 32510 32512 32471 0 -1 4202560 522 0 0 0 1 0 0 0 18 0 4 0 632127820 290476032 2414 33554432000 4194304 4650419 140735293333760 18446744073709551615 264726510062 0 0 4096 2 18446604460886999360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282928

[startup+0.15521 s]
/proc/loadavg: 6.85 7.83 7.88 6/367 32512
/proc/meminfo: memFree=25743272/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=289392 CPUtime=0.63 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 5721 0 0 0 61 2 0 0 18 0 4 0 632127819 296337408 4848 33554432000 4194304 4650419 140735293333760 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 72456 5122 377 112 0 67421 0
[pid=32512/tid=32513] ppid=32510 vsize=289956 CPUtime=0.15 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 1594 0 0 0 15 0 0 0 18 0 4 0 632127820 296914944 5260 33554432000 4194304 4650419 140735293333760 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=290352 CPUtime=0.14 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) D 32510 32512 32471 0 -1 4202560 1755 0 0 0 14 0 0 0 18 0 4 0 632127820 297320448 5436 33554432000 4194304 4650419 140735293333760 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=290484 CPUtime=0.15 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 1053 0 0 0 15 0 0 0 18 0 4 0 632127820 297455616 5566 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 289392

[startup+0.916099 s]
/proc/loadavg: 6.85 7.83 7.88 6/367 32512
/proc/meminfo: memFree=25743272/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=297588 CPUtime=3.61 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 15974 0 0 0 357 4 0 0 18 0 4 0 632127819 304730112 10614 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 74397 10614 391 112 0 69362 0
[pid=32512/tid=32513] ppid=32510 vsize=297588 CPUtime=0.9 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 4300 0 0 0 89 1 0 0 18 0 4 0 632127820 304730112 10614 33554432000 4194304 4650419 140735293333760 18446744073709551615 4363188 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=297588 CPUtime=0.89 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 4270 0 0 0 89 0 0 0 19 0 4 0 632127820 304730112 10614 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=297588 CPUtime=0.89 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 2758 0 0 0 89 0 0 0 19 0 4 0 632127820 304730112 10614 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 297588

[startup+1.01608 s]
/proc/loadavg: 6.85 7.83 7.88 6/367 32512
/proc/meminfo: memFree=25743272/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=297876 CPUtime=4.02 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 17132 0 0 0 397 5 0 0 18 0 4 0 632127819 305025024 10581 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 74469 10581 391 112 0 69434 0
[pid=32512/tid=32513] ppid=32510 vsize=297876 CPUtime=1 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 4461 0 0 0 99 1 0 0 19 0 4 0 632127820 305025024 10581 33554432000 4194304 4650419 140735293333760 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=297876 CPUtime=0.99 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 4435 0 0 0 99 0 0 0 19 0 4 0 632127820 305025024 10581 33554432000 4194304 4650419 140735293333760 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=297876 CPUtime=1 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 3422 0 0 0 99 1 0 0 19 0 4 0 632127820 305025024 10581 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 297876

[startup+1.50099 s]
/proc/loadavg: 6.85 7.83 7.88 6/367 32512
/proc/meminfo: memFree=25743272/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=298676 CPUtime=5.95 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 21553 0 0 0 590 5 0 0 19 0 4 0 632127819 305844224 11519 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 74669 11519 391 112 0 69634 0
[pid=32512/tid=32513] ppid=32510 vsize=298676 CPUtime=1.48 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 5751 0 0 0 147 1 0 0 19 0 4 0 632127820 305844224 11519 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=298676 CPUtime=1.47 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 5627 0 0 0 147 0 0 0 19 0 4 0 632127820 305844224 11519 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=298676 CPUtime=1.48 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 4180 0 0 0 147 1 0 0 20 0 4 0 632127820 305844224 11520 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 298676

[startup+3.10069 s]
/proc/loadavg: 7.02 7.85 7.88 9/371 32516
/proc/meminfo: memFree=25657080/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=299624 CPUtime=12.33 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 40142 0 0 0 1224 9 0 0 24 0 4 0 632127819 306814976 18256 33554432000 4194304 4650419 140735293333760 18446744073709551615 4438951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 74906 18256 393 112 0 69871 0
[pid=32512/tid=32513] ppid=32510 vsize=299624 CPUtime=3.09 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 9296 0 0 0 307 2 0 0 24 0 4 0 632127820 306814976 18256 33554432000 4194304 4650419 140735293333760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=299624 CPUtime=3.05 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 8873 0 0 0 304 1 0 0 24 0 4 0 632127820 306814976 18256 33554432000 4194304 4650419 140735293333760 18446744073709551615 4328220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=299624 CPUtime=3.08 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 7567 0 0 0 307 1 0 0 25 0 4 0 632127820 306814976 18256 33554432000 4194304 4650419 140735293333760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 299624

[startup+6.30109 s]
/proc/loadavg: 7.02 7.85 7.88 9/371 32517
/proc/meminfo: memFree=25537200/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=336836 CPUtime=25.08 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 67056 0 0 0 2496 12 0 0 25 0 4 0 632127819 344920064 34054 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 84209 34054 393 112 0 79174 0
[pid=32512/tid=32513] ppid=32510 vsize=336836 CPUtime=6.28 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 13521 0 0 0 626 2 0 0 25 0 4 0 632127820 344920064 34054 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=336836 CPUtime=6.21 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 18544 0 0 0 619 2 0 0 25 0 4 0 632127820 344920064 34054 33554432000 4194304 4650419 140735293333760 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=336836 CPUtime=6.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 17076 0 0 0 626 2 0 0 25 0 4 0 632127820 344920064 34054 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 336836

[startup+12.7009 s]
/proc/loadavg: 7.25 7.87 7.89 9/371 32517
/proc/meminfo: memFree=25455020/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=368196 CPUtime=50.66 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 91719 0 0 0 5048 18 0 0 25 0 4 0 632127819 377032704 45819 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 92049 45819 393 112 0 87014 0
[pid=32512/tid=32513] ppid=32510 vsize=368196 CPUtime=12.7 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 25864 0 0 0 1264 6 0 0 25 0 4 0 632127820 377032704 45819 33554432000 4194304 4650419 140735293333760 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=368196 CPUtime=12.54 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 19963 0 0 0 1252 2 0 0 25 0 4 0 632127820 377032704 45819 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=368196 CPUtime=12.7 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 24372 0 0 0 1266 4 0 0 25 0 4 0 632127820 377032704 45819 33554432000 4194304 4650419 140735293333760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 368196

[startup+25.5005 s]
/proc/loadavg: 7.36 7.87 7.89 9/371 32517
/proc/meminfo: memFree=25343436/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=405788 CPUtime=101.66 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 125355 0 0 0 10139 27 0 0 25 0 4 0 632127819 415526912 67531 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 101447 67531 393 112 0 96412 0
[pid=32512/tid=32513] ppid=32510 vsize=405788 CPUtime=25.48 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 32320 0 0 0 2540 8 0 0 25 0 4 0 632127820 415526912 67531 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=405788 CPUtime=25.19 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 30353 0 0 0 2515 4 0 0 25 0 4 0 632127820 415526912 67531 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=405788 CPUtime=25.48 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 32305 0 0 0 2543 5 0 0 25 0 4 0 632127820 415526912 67531 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 405788

[startup+51.1006 s]
/proc/loadavg: 7.58 7.88 7.89 9/371 32518
/proc/meminfo: memFree=25222876/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=591080 CPUtime=203.76 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 187322 0 0 0 20328 48 0 0 25 0 4 0 632127819 605265920 86139 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 147770 86139 393 112 0 142735 0
[pid=32512/tid=32513] ppid=32510 vsize=591080 CPUtime=51.08 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 42687 0 0 0 5097 11 0 0 25 0 4 0 632127820 605265920 86139 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=591080 CPUtime=50.49 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 47494 0 0 0 5040 9 0 0 25 0 4 0 632127820 605265920 86139 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=591080 CPUtime=51.07 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 59824 0 0 0 5091 16 0 0 25 0 4 0 632127820 605265920 86139 33554432000 4194304 4650419 140735293333760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 591080

[startup+102.301 s]
/proc/loadavg: 7.88 7.92 7.90 9/371 32519
/proc/meminfo: memFree=25073900/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=729692 CPUtime=407.95 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 314458 0 0 0 40708 87 0 0 25 0 4 0 632127819 747204608 109975 33554432000 4194304 4650419 140735293333760 18446744073709551615 4329823 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 182423 109975 393 112 0 177388 0
[pid=32512/tid=32513] ppid=32510 vsize=729692 CPUtime=102.28 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 83365 0 0 0 10202 26 0 0 25 0 4 0 632127820 747204608 109975 33554432000 4194304 4650419 140735293333760 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=729692 CPUtime=101.08 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 75637 0 0 0 10092 16 0 0 25 0 4 0 632127820 747204608 109975 33554432000 4194304 4650419 140735293333760 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=729692 CPUtime=102.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 99648 0 0 0 10200 28 0 0 25 0 4 0 632127820 747204608 109975 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 729692

[startup+162.301 s]

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

[pid=32512] ppid=32510 vsize=976308 CPUtime=2561.46 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 652804 0 0 0 255872 274 0 0 25 0 4 0 632127819 999739392 167050 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 244077 167050 393 112 0 239042 0
[pid=32512/tid=32513] ppid=32510 vsize=976308 CPUtime=642.3 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 124351 0 0 0 64188 42 0 0 25 0 4 0 632127820 999739392 167050 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=976308 CPUtime=634.56 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 187378 0 0 0 63368 88 0 0 25 0 4 0 632127820 999739392 167050 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=976308 CPUtime=642.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213760 0 0 0 64136 92 0 0 25 0 4 0 632127820 999739392 167050 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2561.46
Current children cumulated vsize (KiB) 976308

[startup+702.301 s]
/proc/loadavg: 8.11 8.15 8.03 9/371 32538
/proc/meminfo: memFree=24615144/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1058484 CPUtime=2800.73 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 701836 0 0 0 279766 307 0 0 25 0 4 0 632127819 1083887616 175155 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 264621 175155 393 112 0 259586 0
[pid=32512/tid=32513] ppid=32510 vsize=1058484 CPUtime=702.3 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 146682 0 0 0 70174 56 0 0 25 0 4 0 632127820 1083887616 175155 33554432000 4194304 4650419 140735293333760 18446744073709551615 4334283 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1058484 CPUtime=693.82 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 214079 0 0 0 69276 106 0 0 25 0 4 0 632127820 1083887616 175155 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1058484 CPUtime=702.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213760 0 0 0 70136 92 0 0 25 0 4 0 632127820 1083887616 175155 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.73
Current children cumulated vsize (KiB) 1058484

[startup+762.3 s]
/proc/loadavg: 8.14 8.15 8.03 9/371 32540
/proc/meminfo: memFree=24581092/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1108900 CPUtime=3040.01 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 762371 0 0 0 303651 350 0 0 25 0 4 0 632127819 1135513600 178021 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 277225 178021 393 112 0 272190 0
[pid=32512/tid=32513] ppid=32510 vsize=1108900 CPUtime=762.3 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 182150 0 0 0 76153 77 0 0 25 0 4 0 632127820 1135513600 178021 33554432000 4194304 4650419 140735293333760 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1108900 CPUtime=753.1 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 239140 0 0 0 75182 128 0 0 25 0 4 0 632127820 1135513600 178021 33554432000 4194304 4650419 140735293333760 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1108900 CPUtime=762.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213766 0 0 0 76136 92 0 0 25 0 4 0 632127820 1135513600 178021 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.01
Current children cumulated vsize (KiB) 1108900

[startup+822.301 s]
/proc/loadavg: 8.10 8.14 8.03 9/371 32541
/proc/meminfo: memFree=24493264/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1164264 CPUtime=3279.34 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 816705 0 0 0 327559 375 0 0 25 0 4 0 632127819 1192206336 197856 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 291066 197856 393 112 0 286031 0
[pid=32512/tid=32513] ppid=32510 vsize=1164264 CPUtime=822.31 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 204700 0 0 0 82142 89 0 0 25 0 4 0 632127820 1192206336 197856 33554432000 4194304 4650419 140735293333760 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1164264 CPUtime=812.39 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 81098 141 0 0 25 0 4 0 632127820 1192206336 197856 33554432000 4194304 4650419 140735293333760 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1164264 CPUtime=822.29 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 82137 92 0 0 25 0 4 0 632127820 1192206336 197856 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.34
Current children cumulated vsize (KiB) 1164264

[startup+882.301 s]
/proc/loadavg: 8.08 8.12 8.03 9/371 32543
/proc/meminfo: memFree=24480208/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1165124 CPUtime=3518.59 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 846683 0 0 0 351463 396 0 0 25 0 4 0 632127819 1193086976 201626 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 291281 201626 393 112 0 286246 0
[pid=32512/tid=32513] ppid=32510 vsize=1165124 CPUtime=882.3 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 234678 0 0 0 88120 110 0 0 25 0 4 0 632127820 1193086976 201626 33554432000 4194304 4650419 140735293333760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1165124 CPUtime=871.67 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 87026 141 0 0 25 0 4 0 632127820 1193086976 201626 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1165124 CPUtime=882.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 88136 92 0 0 25 0 4 0 632127820 1193086976 201626 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.59
Current children cumulated vsize (KiB) 1165124

[startup+942.314 s]
/proc/loadavg: 8.07 8.11 8.03 9/371 32544
/proc/meminfo: memFree=24460824/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1165760 CPUtime=3757.94 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 874116 0 0 0 375378 416 0 0 25 0 4 0 632127819 1193738240 203412 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 291440 203412 393 112 0 286405 0
[pid=32512/tid=32513] ppid=32510 vsize=1165760 CPUtime=942.32 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 262111 0 0 0 94102 130 0 0 25 0 4 0 632127820 1193738240 203412 33554432000 4194304 4650419 140735293333760 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1165760 CPUtime=930.97 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 92956 141 0 0 25 0 4 0 632127820 1193738240 203412 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1165760 CPUtime=942.29 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 94137 92 0 0 25 0 4 0 632127820 1193738240 203412 33554432000 4194304 4650419 140735293333760 18446744073709551615 4441464 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757.94
Current children cumulated vsize (KiB) 1165760

[startup+1002.3 s]
/proc/loadavg: 8.11 8.12 8.04 9/371 32546
/proc/meminfo: memFree=24446024/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1179252 CPUtime=3997.15 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 890069 0 0 0 399286 429 0 0 25 0 4 0 632127819 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 294813 198317 393 112 0 289778 0
[pid=32512/tid=32513] ppid=32510 vsize=1179252 CPUtime=1002.31 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 278064 0 0 0 100088 143 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1179252 CPUtime=990.22 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 98881 141 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1179252 CPUtime=1002.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 100136 92 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.15
Current children cumulated vsize (KiB) 1179252

[startup+1062.3 s]
/proc/loadavg: 8.08 8.11 8.04 9/371 32548
/proc/meminfo: memFree=24446232/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1179252 CPUtime=4236.4 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 890069 0 0 0 423211 429 0 0 25 0 4 0 632127819 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 294813 198317 393 112 0 289778 0
[pid=32512/tid=32513] ppid=32510 vsize=1179252 CPUtime=1062.31 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 278064 0 0 0 106088 143 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1179252 CPUtime=1049.47 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 104806 141 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1179252 CPUtime=1062.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 106136 92 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.4
Current children cumulated vsize (KiB) 1179252

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 8.04 9/371 32549
/proc/meminfo: memFree=24423120/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1179252 CPUtime=4475.66 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 890069 0 0 0 447137 429 0 0 25 0 4 0 632127819 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 294813 198317 393 112 0 289778 0
[pid=32512/tid=32513] ppid=32510 vsize=1179252 CPUtime=1122.31 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 278064 0 0 0 112088 143 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476175 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1179252 CPUtime=1108.72 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 110731 141 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1179252 CPUtime=1122.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 112136 92 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4475.66
Current children cumulated vsize (KiB) 1179252

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.05 9/371 32551
/proc/meminfo: memFree=24404356/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1179252 CPUtime=4714.9 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 890069 0 0 0 471061 429 0 0 25 0 4 0 632127819 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 294813 198317 393 112 0 289778 0
[pid=32512/tid=32513] ppid=32510 vsize=1179252 CPUtime=1182.31 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 278064 0 0 0 118088 143 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1179252 CPUtime=1167.96 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 116655 141 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1179252 CPUtime=1182.28 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 118136 92 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4714.9
Current children cumulated vsize (KiB) 1179252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.12 8.12 8.04 9/371 32551
/proc/meminfo: memFree=24422680/32951124 swapFree=63083164/67111528
[pid=32512] ppid=32510 vsize=1179252 CPUtime=4800.28 cores=1,3,5,7
/proc/32512/stat : 32512 (strangenight1-m) R 32510 32512 32471 0 -1 4202496 890069 0 0 0 479599 429 0 0 25 0 4 0 632127819 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32512/statm: 294813 198317 393 112 0 289778 0
[pid=32512/tid=32513] ppid=32510 vsize=1179252 CPUtime=1203.73 cores=1,3,5,7
/proc/32512/task/32513/stat : 32513 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 278064 0 0 0 120230 143 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32512/tid=32514] ppid=32510 vsize=1179252 CPUtime=1189.09 cores=1,3,5,7
/proc/32512/task/32514/stat : 32514 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 270922 0 0 0 118768 141 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32512/tid=32515] ppid=32510 vsize=1179252 CPUtime=1203.69 cores=1,3,5,7
/proc/32512/task/32515/stat : 32515 (strangenight1-m) R 32510 32512 32471 0 -1 4202560 213768 0 0 0 120277 92 0 0 25 0 4 0 632127820 1207554048 198317 33554432000 4194304 4650419 140735293333760 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1179252

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.76
CPU time (s): 4800.34
CPU user time (s): 4796.01
CPU system time (s): 4.33234
CPU usage (%): 398.78
Max. virtual memory (cumulated for all children) (KiB): 1179252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.01
system time used= 4.33234
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890069
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= 2164
involuntary context switches= 21926

runsolver used 3.84741 second user time and 10.8134 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 20:18:42
IDJOB=3368553
IDBENCH=82562
IDSOLVER=1846
FILE ID=node141/3368553-1305397122
RUNJOBID= node141-1305397122-32490
PBS_JOBID= 13324452
Free space on /tmp= 73292 MiB

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

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

MD5SUM BENCH= 34a446d3b38e7b034208a35fa75247bf
RANDOM SEED=81099863

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
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.806
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.806
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:      25743552 kB
Buffers:        221504 kB
Cached:        4769036 kB
SwapCached:      15388 kB
Active:        1941204 kB
Inactive:      5024544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25743552 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           13344 kB
Writeback:           0 kB
AnonPages:     1967444 kB
Mapped:          12744 kB
Slab:           135916 kB
PageTables:      38124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86315796 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= 73288 MiB
End job on node141 at 2011-05-14 20:38:48