Trace number 3251241

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-2-mt? (TO) 4800.5 1201.88

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
MD5SUMb23c52475e3d098cb9d5a92c025d6982
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.18991
Satisfiable
(Un)Satisfiability was proved
Number of variables3420
Number of clauses1120760
Sum of the clauses size2244820
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21120700
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3251241-1304131945.cnf'
0.00/0.00	c -- header says num vars:           3420
0.00/0.00	c -- header says num clauses:     1120760
0.39/0.25	c -- clauses added:            0 learnts,      1120760 normals,            0 xors
0.39/0.25	c -- vars added       3420
0.39/0.25	c Parsing time:  0.19 s
0.39/0.25	c  N st     0         0      3420        60   1120700         0   2244820         0   no data   no data
0.39/0.25	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
0.98/0.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  0.20
0.98/0.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.98/0.94	c bin-w-bin subsume rem            0 bins  time:  0.24 s
0.98/0.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
0.98/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3420 time:  0.11 s
0.98/1.24	c Removed useless bin:       0  fixed:     0  props:   5.62M  time:  0.11 s
4.97/1.68	c lits-rem:       227  cl-subs:        0  v-elim:     60  v-fix:    0  time:  0.55 s
4.97/1.70	c Finding binary XORs  T:     0.02 s  found:       0
4.97/1.79	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
4.97/1.79	c calculated reachability. Time: 0.00
4.97/1.80	c Calc default polars -  time:   0.01 s pos:       0 undec:      60 neg:    3360
4.97/1.80	c =========================================================================================
4.97/1.80	c types(t): F = full restart, N = normal restart
4.97/1.80	c types(t): S = simplification begin/end, E = solution found
4.97/1.80	c restart types(rt): st = static, dy = dynamic
4.97/1.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.97/1.80	c  B st     0         0      3360     22537   1094803         0   3554134         0   no data   no data
10.71/2.76	c  N dy     7      4286      3360     22537   1094803      4146   3554120   1206541     14.64     15.43
14.33/3.64	c  N dy    15      8443      3360     22537   1094803      5777   3554118    930030     12.17     13.07
17.51/4.42	c  N dy    21     12573      3360     22537   1094803      5667   3554118    573452     11.17     11.89
20.70/5.24	c  N dy    34     16632      3360     22537   1094803      9640   3554114   1243570     11.02     11.89
24.29/6.11	c  N dy    52     20722      3360     22537   1094803      8136   3554103    992942     11.14     13.01
28.28/7.13	c  N dy    67     24877      3360     22537   1094803     12221   3554100   1524763     11.19     11.80
28.28/7.17	c  F st    68     25000      3360     22537   1094803     12340   3554100   1532519     11.18      8.65
33.47/8.42	c  N dy    74     30000      3360     22537   1094803     10562   3554100    994740     11.18   no data
33.47/8.42	c  S st    74     30000      3360     22537   1094803     10562   3554100    994740     11.18   no data
33.88/8.52	c  S st    74     30504      3360     22537   1094803     11062   3554099   1040433     11.18   no data
33.88/8.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
44.27/11.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 95.8M T:  2.60
44.27/11.17	c blocked clauses removed:        0 vars:      0 tried:        3360 T: 0.00 s
45.08/11.31	c bin-w-bin subsume rem            0 bins  time:  0.13 s
65.44/16.46	c subs with bin:        0  lits-rem:     23377  v-fix:    0  time:  5.15 s
65.84/16.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
66.24/16.68	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
72.63/18.20	c lits-rem:     11703  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.52 s
78.63/19.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
83.83/21.08	c lits-rem:       580  cl-subs:      644  v-elim:      0  v-fix:    0  time:  1.34 s
85.04/21.38	c asymm  cl-useful: 0/1127/22537 lits-rem:0 time: 0.29
85.41/21.40	c calculated reachability. Time: 0.01
85.41/21.40	c  N dy    74     30504      3360     22537   1094803     10418   3512390    991272     11.18   no data
89.44/22.41	c  N dy    89     34804      3360     22537   1094803     14632   3512390   1442020     11.10     11.69
93.42/23.49	c  N dy   112     39424      3360     22537   1094803     11463   3512390   1310643     11.31     11.95
97.82/24.58	c  N dy   122     43751      3360     22537   1094803     15698   3512390   1981325     11.17     11.89
100.20/25.11	c  S st   132     45756      3360     22537   1094803      8895   3512390    868617     11.19      9.25
100.60/25.23	c  S st   132     46257      3360     22537   1094803      9394   3512390    932514     11.19   no data
100.60/25.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
111.00/27.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 94.6M T:  2.64
111.41/27.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.78/28.05	c bin-w-bin subsume rem            0 bins  time:  0.13 s
132.56/33.24	c subs with bin:        0  lits-rem:     24912  v-fix:    0  time:  5.19 s
132.97/33.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
133.38/33.45	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
133.76/33.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
139.76/35.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
141.76/35.53	c lits-rem:       126  cl-subs:      200  v-elim:      0  v-fix:    0  time:  0.44 s
142.18/35.62	c vivif2 --  cl tried    22537 cl shrink    17769 lits rem     307363 time: 0.09
142.18/35.65	c vivif2 --  cl tried     9194 cl shrink        0 lits rem          0 time: 0.03
142.95/35.88	c asymm  cl-useful: 0/732/22537 lits-rem:0 time: 0.23
143.35/35.90	c calculated reachability. Time: 0.00
143.35/35.90	c  N dy   132     46257      3360     22537   1094803      9194   3177604    920309     11.19   no data
146.94/36.82	c  N dy   154     50400      3360     22537   1094803     13259   3177604   1615949     11.24     11.94
150.55/37.80	c  N dy   174     54582      3360     22537   1094803     17345   3177604   2567713     11.29     11.90
155.36/38.96	c  N dy   198     58605      3360     22537   1094803     11505   3177604   1365561     11.40     12.05
159.75/40.02	c  N dy   217     62926      3360     22537   1094803     15733   3177604   2154793     11.41     12.07
164.92/41.30	c  N dy   233     67361      3360     22537   1094803     20080   3177604   2813668     11.40     12.10
167.32/41.95	c  S st   239     69385      3360     22537   1094803     11293   3177604   1085456     11.37      9.54
167.72/42.06	c  S st   239     69888      3360     22537   1094803     11794   3177604   1140433     11.37   no data
167.72/42.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
178.10/44.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 98.6M T:  2.59
178.50/44.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
178.90/44.83	c bin-w-bin subsume rem            0 bins  time:  0.13 s
199.30/49.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.16 s
200.08/50.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
200.48/50.21	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
202.08/50.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.43 s
208.09/52.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.50 s
210.07/52.63	c lits-rem:        92  cl-subs:       28  v-elim:      0  v-fix:    0  time:  0.44 s
210.07/52.66	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
210.47/52.70	c vivif2 --  cl tried    11766 cl shrink        0 lits rem          0 time: 0.03
211.27/52.99	c asymm  cl-useful: 0/579/22537 lits-rem:0 time: 0.29
211.67/53.01	c calculated reachability. Time: 0.00
211.67/53.01	c  N dy   239     69888      3360     22537   1094803     11766   3177604   1137456     11.37   no data
215.66/54.07	c  N dy   257     74913      3360     22537   1094803     16694   3177604   2082090     11.41     12.20
221.28/55.49	c  N dy   286     80166      3360     22537   1094803     21830   3177604   3002029     11.48     12.20
226.85/56.84	c  N dy   312     85322      3360     22537   1094803     15119   3177604   1655116     11.59     12.30
228.85/57.38	c  F st   327     87500      3360     22537   1094803     17233   3177604   2081608     11.68   no data
233.64/58.51	c  N st   332     90803      3360     22537   1094803     20440   3177604   2650807     11.68   no data
240.83/60.31	c  N dy   356     96662      3360     22537   1094803     13494   3177604   1290477     11.74     26.36
246.43/61.75	c  N dy   377    102928      3360     22537   1094803     19599   3177604   1994968     11.73     12.42
248.42/62.23	c  S st   381    104833      3360     22537   1094803     21471   3177604   2255021     11.69     10.06
248.82/62.35	c  S st   381    105335      3360     22537   1094803     21969   3177604   2317079     11.69   no data
248.82/62.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
261.20/65.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 109.8M T:  3.03
261.20/65.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.60/65.56	c bin-w-bin subsume rem            0 bins  time:  0.13 s
281.98/70.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.13 s
282.39/70.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
283.18/70.90	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
283.18/70.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
289.98/72.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.67 s
299.56/75.07	c lits-rem:       554  cl-subs:      324  v-elim:      0  v-fix:    0  time:  2.36 s
299.56/75.10	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
299.97/75.17	c vivif2 --  cl tried    21645 cl shrink        0 lits rem          0 time: 0.07
301.15/75.47	c asymm  cl-useful: 0/536/22537 lits-rem:0 time: 0.30
301.55/75.50	c calculated reachability. Time: 0.00
301.55/75.50	c  N dy   381    105335      3360     22537   1094803     21645   3177604   2288549     11.69   no data
308.35/77.27	c  N dy   413    112252      3360     22537   1094803     14733   3177604   1281315     11.79     12.46
315.94/79.17	c  N dy   434    119443      3360     22537   1094803     21742   3177604   2129089     11.74     12.87
324.73/81.33	c  N dy   475    127335      3360     22537   1094803     14818   3177604   1242822     11.80     12.58
333.12/83.45	c  N dy   530    135493      3360     22537   1094803     22828   3177604   2552024     11.93     12.64
343.92/86.18	c  N dy   585    144389      3360     22537   1094803     15867   3177604   1298887     12.03     12.72
354.29/88.75	c  N dy   628    154684      3360     22537   1094803     25928   3177604   2905534     12.05     12.69
357.88/89.69	c  S st   640    158002      3360     22537   1094803     29154   3177604   3290701     12.03      9.54
358.68/89.84	c  S st   640    158504      3360     22537   1094803     29655   3177604   3365905     12.03   no data
358.68/89.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
374.26/93.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 120.4M T:  3.88
374.26/93.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
375.09/93.90	c bin-w-bin subsume rem            0 bins  time:  0.13 s
395.04/98.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.07 s
395.44/99.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
395.84/99.19	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
396.24/99.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
404.23/101.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.93 s
425.80/106.61	c lits-rem:       954  cl-subs:      522  v-elim:      0  v-fix:    0  time:  5.30 s
425.80/106.65	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
426.20/106.74	c vivif2 --  cl tried    29133 cl shrink        0 lits rem          0 time: 0.10
427.41/107.03	c asymm  cl-useful: 0/450/22537 lits-rem:0 time: 0.29
427.41/107.06	c calculated reachability. Time: 0.00
427.41/107.06	c  N dy   640    158504      3360     22537   1094803     29133   3177604   3308356     12.03   no data
438.60/109.80	c  N dy   687    168681      3360     22537   1094803     22463   3177604   2262609     12.10     12.79
452.17/113.25	c  N dy   734    179446      3360     22537   1094803     33029   3177604   4079352     12.12     16.34
464.96/116.40	c  N dy   777    190916      3360     22537   1094803     26670   3177604   3058790     12.12     12.85
480.15/120.29	c  N dy   814    203146      3360     22537   1094803     20043   3177604   1683775     12.09     12.77
494.11/123.72	c  N dy   863    216493      3360     22537   1094803     33108   3177604   3851249     12.09     12.84
511.70/128.18	c  N dy   910    230984      3360     22537   1094803     27687   3177604   2725271     12.07     12.83
520.11/130.20	c  S st   945    237756      3360     22537   1094803     34342   3177604   3897429     12.09   no data
520.49/130.37	c  S st   945    238257      3360     22537   1094803     34840   3177604   3961646     12.09   no data
520.49/130.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
536.47/134.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 125.2M T:  3.95
536.47/134.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
537.27/134.51	c bin-w-bin subsume rem            0 bins  time:  0.13 s
557.64/139.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.17 s
558.04/139.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
558.43/139.89	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
558.83/139.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
565.62/141.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.56 s
591.99/148.24	c lits-rem:       995  cl-subs:      566  v-elim:      0  v-fix:    0  time:  6.58 s
591.99/148.27	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
592.39/148.38	c vivif2 --  cl tried    34274 cl shrink        0 lits rem          0 time: 0.11
593.59/148.67	c asymm  cl-useful: 0/604/22537 lits-rem:0 time: 0.29
593.59/148.70	c calculated reachability. Time: 0.01
593.99/148.70	c  N dy   945    238257      3360     22537   1094803     34274   3177604   3904990     12.09   no data
613.16/153.53	c  N dy   991    253516      3360     22537   1094803     28623   3177604   2974968     12.08     23.66
634.73/158.97	c  N dy  1038    269782      3360     22537   1094803     23015   3177604   1996055     12.02     12.71
655.51/164.14	c  N dy  1113    287486      3360     22537   1094803     40292   3177604   4663134     12.05     12.71
677.90/169.76	c  N dy  1196    305899      3360     22537   1094803     35831   3177604   3802965     12.07     12.73
678.31/169.88	c  F st  1198    306251      3360     22537   1094803     36179   3177604   3853856     12.07      8.29
704.68/176.49	c  N dy  1267    325463      3360     22537   1094803     31501   3177604   3230063     12.11     13.14
731.82/183.26	c  N dy  1368    345915      3360     22537   1094803     27056   3177604   2677855     12.20     12.87
746.60/186.90	c  S st  1426    357386      3360     22537   1094803     38278   3177604   4382650     12.22      9.60
747.40/187.10	c  S st  1426    357889      3360     22537   1094803     38780   3177604   4452872     12.22   no data
747.40/187.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
764.58/191.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 131.6M T:  4.37
764.98/191.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
765.38/191.65	c bin-w-bin subsume rem            0 bins  time:  0.13 s
785.75/196.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.13 s
786.16/196.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
786.96/197.00	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
786.96/197.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
794.54/198.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.76 s
822.52/205.94	c lits-rem:      1064  cl-subs:      693  v-elim:      0  v-fix:    0  time:  6.96 s
822.52/205.97	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
822.92/206.09	c vivif2 --  cl tried    38087 cl shrink        0 lits rem          0 time: 0.13
824.50/206.40	c asymm  cl-useful: 0/671/22537 lits-rem:0 time: 0.31
824.50/206.43	c calculated reachability. Time: 0.00
824.50/206.43	c  N dy  1426    357889      3360     22537   1094803     38087   3177604   4387200     12.22   no data
851.28/213.17	c  N dy  1504    377989      3360     22537   1094803     32266   3177604   2898814     12.20     12.85
876.45/219.45	c  N dy  1590    398087      3360     22537   1094803     51865   3177604   5699250     12.22     13.00
904.01/226.38	c  N dy  1676    419046      3360     22537   1094803     45997   3177604   5122767     12.25     12.91
933.20/233.67	c  N dy  1767    439617      3360     22537   1094803     38765   3177604   4311430     12.28     13.08
962.74/241.07	c  N dy  1842    459830      3360     22537   1094803     30166   3177604   2805654     12.27     13.06
991.11/248.10	c  N dy  1895    480313      3360     22537   1094803     50213   3177604   5515235     12.24     13.62
1019.07/255.11	c  N dy  1965    500750      3360     22537   1094803     40769   3177604   4077191     12.22     13.04
1050.63/263.08	c  N dy  2045    521411      3360     22537   1094803     30694   3177604   2498505     12.23     12.89
1069.43/267.78	c  S st  2093    536834      3360     22537   1094803     45773   3177604   4537547     12.21      9.81
1070.20/267.96	c  S st  2093    537336      3360     22537   1094803     46274   3177604   4590368     12.21   no data
1070.20/267.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1088.58/272.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 136.7M T:  4.56
1088.58/272.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1089.38/272.70	c bin-w-bin subsume rem            0 bins  time:  0.13 s
1110.15/277.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.19 s
1110.56/278.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
1110.96/278.11	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
1110.96/278.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
1119.35/280.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.98 s
1144.52/286.50	c lits-rem:      1195  cl-subs:     1299  v-elim:      0  v-fix:    0  time:  6.19 s
1144.52/286.53	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
1144.92/286.68	c vivif2 --  cl tried    44975 cl shrink        0 lits rem          0 time: 0.14
1146.51/287.03	c asymm  cl-useful: 0/259/22537 lits-rem:0 time: 0.35
1146.51/287.06	c calculated reachability. Time: 0.00
1146.51/287.06	c  N dy  2093    537336      3360     22537   1094803     44975   3177604   4522698     12.21   no data
1178.48/295.01	c  N dy  2167    557428      3360     22537   1094803     33396   3177604   2864707     12.22     12.92
1205.26/301.72	c  N dy  2232    577709      3360     22537   1094803     53242   3177604   5751980     12.20     12.86
1235.61/309.36	c  N dy  2333    597910      3360     22537   1094803     40783   3177604   3938936     12.25     12.90
1272.36/318.54	c  N dy  2450    617917      3360     22537   1094803     60400   3177604   7553564     12.33     20.21
1303.12/326.29	c  N dy  2526    638282      3360     22537   1094803     47078   3177604   4981633     12.33     13.03
1339.48/335.31	c  N dy  2569    658536      3360     22537   1094803     66855   3177604   7787630     12.31     13.07
1367.45/342.33	c  N dy  2649    678587      3360     22537   1094803     52124   3177604   4931005     12.31     13.39
1401.01/350.74	c  N dy  2721    698886      3360     22537   1094803     36786   3177604   2715177     12.30     12.96
1431.37/358.38	c  N dy  2765    719063      3360     22537   1094803     56464   3177604   5075894     12.26     12.95
1461.73/365.95	c  N dy  2844    739354      3360     22537   1094803     40158   3177604   3069054     12.27     12.98
1489.69/372.95	c  N dy  2915    760099      3360     22537   1094803     60488   3177604   5696207     12.26     12.97
1519.66/380.42	c  N dy  2978    780122      3360     22537   1094803     42914   3177604   3296080     12.25     13.06
1548.03/387.55	c  N dy  3033    800671      3360     22537   1094803     62980   3177604   6010060     12.23     12.96
1555.61/389.44	c  S st  3052    806004      3360     22537   1094803     68215   3177604   6891296     12.23     11.01
1556.41/389.68	c  S st  3052    806509      3360     22537   1094803     68718   3177604   6952644     12.23   no data
1556.82/389.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1579.98/395.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 164.4M T:  5.83
1579.98/395.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1580.78/395.70	c bin-w-bin subsume rem            0 bins  time:  0.13 s
1601.18/400.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.14 s
1601.56/400.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
1601.95/401.05	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
1602.35/401.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1609.14/402.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.55 s
1653.91/414.04	c lits-rem:      2185  cl-subs:     1859  v-elim:      0  v-fix:    0  time: 11.12 s
1653.91/414.07	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
1654.68/414.29	c vivif2 --  cl tried    66859 cl shrink        0 lits rem          0 time: 0.22
1656.28/414.66	c asymm  cl-useful: 0/218/22537 lits-rem:0 time: 0.37
1656.28/414.69	c calculated reachability. Time: 0.00
1656.28/414.69	c  N dy  3052    806509      3360     22537   1094803     66859   3177604   6838847     12.23   no data
1687.04/422.39	c  N dy  3125    827002      3360     22537   1094803     48743   3177604   3941855     12.21     12.93
1717.00/429.81	c  N dy  3211    847043      3360     22537   1094803     68393   3177604   6624118     12.21     15.72
1747.77/437.57	c  N dy  3305    867541      3360     22537   1094803     49348   3177604   4296147     12.24     12.95
1779.32/445.45	c  N dy  3380    887675      3360     22537   1094803     69052   3177604   6979128     12.24     12.96
1809.68/453.04	c  N dy  3447    907796      3360     22537   1094803     48591   3177604   4001602     12.23     12.90
1844.05/461.60	c  N dy  3511    930124      3360     22537   1094803     70447   3177604   6865996     12.22     12.99
1876.80/469.81	c  N dy  3590    950472      3360     22537   1094803     49176   3177604   3508767     12.22     12.91
1906.37/477.28	c  N dy  3660    971162      3360     22537   1094803     69421   3177604   6418199     12.22     12.87
1939.92/485.67	c  N dy  3734    991575      3360     22537   1094803     47337   3177604   3426785     12.22     13.01
1971.89/493.63	c  N dy  3799   1013344      3360     22537   1094803     68632   3177604   6156367     12.21     12.91
2007.04/502.48	c  N dy  3857   1033429      3360     22537   1094803     45234   3177604   3046965     12.19     13.10
2034.21/509.27	c  N dy  3920   1053497      3360     22537   1094803     64797   3177604   5242415     12.17     13.03
2060.98/515.94	c  F st  4007   1071875      3360     22537   1094803     82773   3177604   7696237     12.18   no data
2064.96/516.96	c  N st  4011   1073907      3360     22537   1094803     84765   3177604   7959819     12.18   no data
2092.54/523.83	c  N dy  4073   1093945      3360     22537   1094803     60311   3177604   4647005     12.19     12.93
2122.50/531.39	c  N dy  4148   1114146      3360     22537   1094803     80078   3177604   7085636     12.19     12.93
2154.89/539.45	c  N dy  4229   1134584      3360     22537   1094803     55145   3177604   3966539     12.19     13.33
2185.23/547.00	c  N dy  4309   1154640      3360     22537   1094803     74738   3177604   6553260     12.19     14.79
2221.57/556.15	c  N dy  4380   1174643      3360     22537   1094803     48297   3177604   2990538     12.19     19.47
2249.15/563.00	c  N dy  4449   1195012      3360     22537   1094803     68142   3177604   5150708     12.18     12.88
2269.93/568.28	c  S st  4503   1209766      3360     22537   1094803     82481   3177604   6866410     12.18     11.62
2270.73/568.45	c  S st  4503   1210267      3360     22537   1094803     82981   3177604   6958644     12.18   no data
2270.73/568.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2293.10/574.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 156.7M T:  5.56
2293.10/574.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2293.90/574.21	c bin-w-bin subsume rem            0 bins  time:  0.13 s
2314.27/579.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.12 s
2314.67/579.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
2315.07/579.54	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
2315.47/579.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
2322.67/581.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.60 s
2365.42/592.16	c lits-rem:      1652  cl-subs:     3254  v-elim:      0  v-fix:    0  time: 10.70 s
2365.42/592.19	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
2366.61/592.45	c vivif2 --  cl tried    79727 cl shrink        0 lits rem          0 time: 0.26
2368.20/592.81	c asymm  cl-useful: 0/268/22537 lits-rem:0 time: 0.36
2368.20/592.84	c calculated reachability. Time: 0.01
2368.20/592.84	c  N dy  4503   1210267      3360     22537   1094803     79727   3177604   6841544     12.18   no data
2400.17/600.85	c  N dy  4599   1230272      3360     22537   1094803     52527   3177604   3572248     12.19     19.90
2430.92/608.53	c  N dy  4706   1250290      3360     22537   1094803     72192   3177604   6613609     12.22     15.90
2469.28/618.17	c  N dy  4798   1270438      3360     22537   1094803     91929   3177604   9708398     12.22     12.90
2502.43/626.44	c  N dy  4857   1291829      3360     22537   1094803     64844   3177604   4799693     12.22     13.03
2534.80/634.57	c  N dy  4920   1311888      3360     22537   1094803     84317   3177604   6677013     12.21     26.89
2567.98/642.81	c  N dy  5019   1332717      3360     22537   1094803     55963   3177604   3826988     12.23     13.13
2597.52/650.22	c  N dy  5118   1353029      3360     22537   1094803     75810   3177604   6641767     12.24     12.93
2631.48/658.76	c  N dy  5188   1373180      3360     22537   1094803     95534   3177604   9222237     12.24     12.90
2662.24/666.44	c  N dy  5295   1393191      3360     22537   1094803     65322   3177604   5563532     12.27     12.95
2698.60/675.52	c  N dy  5380   1413481      3360     22537   1094803     85139   3177604   8026998     12.26     12.96
2737.35/685.27	c  N dy  5459   1433871      3360     22537   1094803     54230   3177604   3586331     12.27     13.07
2765.74/692.34	c  N dy  5533   1454240      3360     22537   1094803     74106   3177604   6161920     12.26     12.93
2798.08/700.40	c  N dy  5605   1474632      3360     22537   1094803     93874   3177604   8445969     12.26     12.97
2830.84/708.67	c  N dy  5689   1495131      3360     22537   1094803     62121   3177604   4064865     12.26     12.99
2860.81/716.19	c  N dy  5781   1515945      3360     22537   1094803     82381   3177604   6109397     12.27     12.96
2890.76/723.68	c  N dy  5868   1536022      3360     22537   1094803    101893   3177604   8461648     12.27     13.09
2921.43/731.30	c  N dy  5946   1556689      3360     22537   1094803     69473   3177604   5133219     12.28     13.07
2951.11/738.80	c  N dy  6013   1576753      3360     22537   1094803     89149   3177604   7949137     12.27     13.05
2989.82/748.69	c  N dy  6097   1596862      3360     22537   1094803     55104   3177604   3256803     12.28     12.94
3016.18/755.21	c  N dy  6169   1616892      3360     22537   1094803     74686   3177604   5937959     12.28     13.23
3049.74/763.67	c  N dy  6252   1637113      3360     22537   1094803     94472   3177604   8682951     12.29     13.14
3091.29/774.00	c  N dy  6344   1657171      3360     22537   1094803     59331   3177604   3532689     12.30     12.98
3117.25/780.56	c  N dy  6419   1677188      3360     22537   1094803     78839   3177604   6254242     12.30     15.70
3151.64/789.15	c  N dy  6517   1697809      3360     22537   1094803     98889   3177604   8734432     12.31     12.97
3175.19/795.01	c  S st  6571   1710268      3360     22537   1094803    111055   3177604  10408171     12.31     12.02
3177.18/795.54	c  S st  6571   1710770      3360     22537   1094803     55971   3177604   3149409     12.31   no data
3177.18/795.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3193.57/799.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 124.7M T:  4.09
3193.57/799.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3194.37/799.82	c bin-w-bin subsume rem            0 bins  time:  0.13 s
3214.74/804.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.17 s
3215.54/805.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
3215.94/805.20	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
3215.94/805.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3222.73/806.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.57 s
3233.12/809.50	c lits-rem:       443  cl-subs:     1488  v-elim:      0  v-fix:    0  time:  2.55 s
3233.12/809.53	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
3233.52/809.69	c vivif2 --  cl tried    54483 cl shrink        0 lits rem          0 time: 0.16
3235.14/810.02	c asymm  cl-useful: 0/385/22537 lits-rem:0 time: 0.33
3235.14/810.05	c calculated reachability. Time: 0.00
3235.14/810.05	c  N dy  6571   1710770      3360     22537   1094803     54483   3177604   3131791     12.31   no data
3261.88/816.78	c  N dy  6651   1730970      3360     22537   1094803     74195   3177604   5516794     12.31     13.00
3296.26/825.31	c  N dy  6732   1752295      3360     22537   1094803     94927   3177604   8008002     12.31     13.02
3337.00/835.52	c  N dy  6816   1772325      3360     22537   1094803     57950   3177604   3444689     12.31     20.40
3365.36/842.63	c  N dy  6899   1792527      3360     22537   1094803     77715   3177604   5911419     12.31     12.96
3400.12/851.30	c  N dy  6978   1812545      3360     22537   1094803     97232   3177604   8626715     12.32     12.98
3441.28/861.67	c  N dy  7024   1832591      3360     22537   1094803     59211   3177604   3376000     12.30     13.07
3470.04/868.89	c  N dy  7103   1853839      3360     22537   1094803     79888   3177604   5882249     12.30     13.06
3504.79/877.55	c  N dy  7171   1874160      3360     22537   1094803     99663   3177604   8176983     12.30     13.01
3545.55/887.75	c  N dy  7264   1894311      3360     22537   1094803     60890   3177604   3605657     12.30     13.00
3572.71/894.60	c  N dy  7343   1914486      3360     22537   1094803     80538   3177604   5623171     12.30     13.17
3609.46/903.77	c  N dy  7430   1934695      3360     22537   1094803    100147   3177604   7975798     12.31     12.96
3651.02/914.15	c  N dy  7526   1954715      3360     22537   1094803     60260   3177604   3415725     12.31     19.98
3676.99/920.62	c  N dy  7597   1974899      3360     22537   1094803     79980   3177604   5896321     12.31     13.14
3712.54/929.56	c  N dy  7676   1996084      3360     22537   1094803    100583   3177604   8357756     12.31     13.03
3751.69/939.32	c  N dy  7742   2016535      3360     22537   1094803    120451   3177604  10565499     12.30     13.59
3780.08/946.42	c  N dy  7805   2036618      3360     22537   1094803     79692   3177604   5605515     12.29     14.64
3813.22/954.70	c  N dy  7876   2056626      3360     22537   1094803     99133   3177604   8023150     12.29     21.19
3851.97/964.42	c  N dy  7939   2076666      3360     22537   1094803    118714   3177604  10519928     12.29     13.62
3883.12/972.22	c  N dy  8040   2096720      3360     22537   1094803     76792   3177604   5044759     12.30     13.15
3918.68/981.12	c  N dy  8144   2117617      3360     22537   1094803     97141   3177604   7800025     12.31     13.07
3961.83/991.90	c  N dy  8226   2138857      3360     22537   1094803    117789   3177604  10551189     12.31     12.99
3998.18/1001.07	c  N dy  8315   2158872      3360     22537   1094803     74928   3177604   4476477     12.32     13.88
4026.54/1008.16	c  N dy  8365   2178914      3360     22537   1094803     94460   3177604   6253477     12.31     14.05
4057.69/1015.96	c  N dy  8425   2198927      3360     22537   1094803    113882   3177604   8310600     12.30     12.98
4078.49/1021.17	c  S st  8466   2210770      3360     22537   1094803    125430   3177604   9628830     12.30   no data
4079.27/1021.39	c  S st  8466   2211271      3360     22537   1094803    125930   3177604   9690549     12.30   no data
4079.67/1021.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4105.26/1027.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 170.7M T:  6.39
4105.26/1027.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4106.04/1028.02	c bin-w-bin subsume rem            0 bins  time:  0.13 s
4126.83/1033.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.17 s
4127.23/1033.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.11 s
4127.61/1033.42	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.10 s
4128.01/1033.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
4137.19/1035.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.01 s
4181.55/1046.98	c lits-rem:      1865  cl-subs:     5502  v-elim:      0  v-fix:    0  time: 11.04 s
4181.95/1047.01	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.03
4183.54/1047.42	c vivif2 --  cl tried   120428 cl shrink        0 lits rem          0 time: 0.41
4185.14/1047.81	c asymm  cl-useful: 0/318/22537 lits-rem:0 time: 0.39
4185.14/1047.85	c calculated reachability. Time: 0.01
4185.14/1047.85	c  N dy  8466   2211271      3360     22537   1094803    120428   3177604   9498880     12.30   no data
4218.30/1056.15	c  N dy  8548   2231496      3360     22537   1094803     76861   3177604   4824913     12.30     13.06
4247.85/1063.57	c  N dy  8632   2251516      3360     22537   1094803     96336   3177604   7191067     12.30     15.49
4285.02/1072.85	c  N dy  8713   2271950      3360     22537   1094803    116220   3177604   9449826     12.31     13.01
4322.17/1082.18	c  N dy  8781   2292006      3360     22537   1094803     71582   3177604   4235333     12.30     12.99
4349.33/1088.94	c  N dy  8866   2312160      3360     22537   1094803     91271   3177604   6690894     12.30     13.06
4385.69/1098.08	c  N dy  8925   2333804      3360     22537   1094803    112357   3177604   8777306     12.29     13.09
4423.24/1107.49	c  N dy  9004   2353849      3360     22537   1094803     66665   3177604   3646280     12.30     12.96
4450.41/1114.22	c  N dy  9074   2373875      3360     22537   1094803     86110   3177604   5898816     12.30     12.96
4483.97/1122.60	c  N dy  9133   2394458      3360     22537   1094803    106062   3177604   8046113     12.29     13.11
4527.92/1133.69	c  N dy  9213   2414781      3360     22537   1094803    125753   3177604  10054650     12.29     13.11
4561.89/1142.13	c  N dy  9283   2435138      3360     22537   1094803     79462   3177604   5128550     12.29     12.95
4591.85/1149.65	c  N dy  9357   2455221      3360     22537   1094803     99054   3177604   7434925     12.29     13.28
4625.40/1158.06	c  N dy  9422   2475341      3360     22537   1094803    118681   3177604   9491514     12.29     13.07
4662.56/1167.33	c  N dy  9476   2495501      3360     22537   1094803     71206   3177604   3991682     12.28     12.94
4694.13/1175.23	c  N dy  9570   2515923      3360     22537   1094803     91070   3177604   6137418     12.29     13.00
4730.47/1184.31	c  N dy  9667   2536208      3360     22537   1094803    110819   3177604   8554856     12.30     13.08
4776.02/1195.78	c  N dy  9772   2558197      3360     22537   1094803    132142   3177604  10906199     12.30     13.08

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-3251241-1304131945/watcher-3251241-1304131945 -o /tmp/evaluation-result-3251241-1304131945/solver-3251241-1304131945 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3251241-1304131945.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: 7.82 7.53 7.22 6/180 1308
/proc/meminfo: memFree=29618764/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=20396 CPUtime=0 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4194304 217 0 0 0 0 0 0 0 25 0 1 0 524791212 20885504 170 33554432000 4194304 4627427 140734105390384 18446744073709551615 254495770032 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1308/statm: 5099 170 145 106 0 57 0
[pid=1308/tid=1309] ppid=1306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524791212 52441088 347 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524791212 52441088 347 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524791212 52441088 347 33554432000 4194304 4627427 140734105390384 18446744073709551615 47582551709618 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0929599 s]
/proc/loadavg: 7.82 7.53 7.22 6/180 1308
/proc/meminfo: memFree=29618764/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=293272 CPUtime=0.33 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) D 1306 1308 32493 0 -1 4202496 12259 0 0 0 30 3 0 0 18 0 4 0 524791212 300310528 12045 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500388619 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 73351 12197 338 106 0 68322 0
[pid=1308/tid=1309] ppid=1306 vsize=293536 CPUtime=0.07 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 3252 0 0 0 7 0 0 0 18 0 4 0 524791212 300580864 12265 33554432000 4194304 4627427 140734105390384 18446744073709551615 4532077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=293668 CPUtime=0.08 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) D 1306 1308 32493 0 -1 4202560 3016 0 0 0 7 1 0 0 18 0 4 0 524791212 300716032 12367 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=293804 CPUtime=0.08 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 3055 0 0 0 8 0 0 0 18 0 4 0 524791212 300855296 12576 33554432000 4194304 4627427 140734105390384 18446744073709551615 4530453 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 293272

[startup+0.109435 s]
/proc/loadavg: 7.82 7.53 7.22 6/180 1308
/proc/meminfo: memFree=29618764/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=295404 CPUtime=0.39 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) D 1306 1308 32493 0 -1 4202496 14425 0 0 0 35 4 0 0 18 0 4 0 524791212 302493696 14211 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500388619 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 73917 14532 338 106 0 68888 0
[pid=1308/tid=1309] ppid=1306 vsize=296736 CPUtime=0.1 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) D 1306 1308 32493 0 -1 4202560 4071 0 0 0 10 0 0 0 18 0 4 0 524791212 303857664 15541 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=297000 CPUtime=0.11 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) D 1306 1308 32493 0 -1 4202560 3832 0 0 0 9 2 0 0 18 0 4 0 524791212 304128000 15705 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=297660 CPUtime=0.11 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 4009 0 0 0 10 1 0 0 18 0 4 0 524791212 304803840 16370 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500388619 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 295404

[startup+1.11815 s]
/proc/loadavg: 7.82 7.53 7.22 6/180 1308
/proc/meminfo: memFree=29618764/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=335092 CPUtime=4.97 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 50805 0 0 0 482 15 0 0 18 0 4 0 524791212 343134208 49728 33554432000 4194304 4627427 140734105390384 18446744073709551615 4420156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 83977 50297 381 106 0 78948 0
[pid=1308/tid=1309] ppid=1306 vsize=339380 CPUtime=1.31 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) D 1306 1308 32493 0 -1 4202560 14868 0 0 0 127 4 0 0 18 0 4 0 524791212 347525120 53601 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=339380 CPUtime=1.32 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) D 1306 1308 32493 0 -1 4202560 15018 0 0 0 128 4 0 0 18 0 4 0 524791212 347525120 53601 33554432000 4194304 4627427 140734105390384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=339380 CPUtime=1.32 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 9687 0 0 0 129 3 0 0 18 0 4 0 524791212 347525120 53601 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 335092

[startup+1.42731 s]
/proc/loadavg: 7.82 7.53 7.22 6/180 1308
/proc/meminfo: memFree=29618764/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=344820 CPUtime=5.72 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 59700 0 0 0 555 17 0 0 18 0 4 0 524791212 353095680 57244 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500353057 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 87764 63378 385 106 0 82735 0
[pid=1308/tid=1309] ppid=1306 vsize=351056 CPUtime=1.8 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 17991 0 0 0 176 4 0 0 19 0 4 0 524791212 359481344 63449 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=351056 CPUtime=1.81 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) S 1306 1308 32493 0 -1 4202560 18530 0 0 0 177 4 0 0 19 0 4 0 524791212 359481344 63503 33554432000 4194304 4627427 140734105390384 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=416592 CPUtime=1.9 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 11151 0 0 0 187 3 0 0 19 0 4 0 524791212 426590208 64145 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 344820

[startup+2.02148 s]
/proc/loadavg: 7.82 7.53 7.22 6/180 1308
/proc/meminfo: memFree=29618764/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=416856 CPUtime=8.01 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 67781 0 0 0 782 19 0 0 19 0 4 0 524791212 426860544 64836 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 104214 64837 385 106 0 99185 0
[pid=1308/tid=1309] ppid=1306 vsize=416856 CPUtime=1.98 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 18280 0 0 0 194 4 0 0 19 0 4 0 524791212 426860544 64837 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=416856 CPUtime=2 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 18938 0 0 0 196 4 0 0 19 0 4 0 524791212 426860544 64837 33554432000 4194304 4627427 140734105390384 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=416856 CPUtime=2.01 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 11284 0 0 0 197 4 0 0 19 0 4 0 524791212 426860544 64837 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 416856

[startup+3.10026 s]
/proc/loadavg: 7.82 7.53 7.22 9/184 1312
/proc/meminfo: memFree=29343568/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=480376 CPUtime=12.32 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 77921 0 0 0 1211 21 0 0 21 0 4 0 524791212 491905024 67841 33554432000 4194304 4627427 140734105390384 18446744073709551615 4321477 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 120094 67841 386 106 0 115065 0
[pid=1308/tid=1309] ppid=1306 vsize=480376 CPUtime=3.07 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 19026 0 0 0 302 5 0 0 21 0 4 0 524791212 491905024 67841 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=480376 CPUtime=3.07 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 22338 0 0 0 302 5 0 0 21 0 4 0 524791212 491905024 67841 33554432000 4194304 4627427 140734105390384 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=480376 CPUtime=3.08 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 13968 0 0 0 304 4 0 0 21 0 4 0 524791212 491905024 67842 33554432000 4194304 4627427 140734105390384 18446744073709551615 4501624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 480376

[startup+6.30062 s]
/proc/loadavg: 7.84 7.54 7.22 9/184 1312
/proc/meminfo: memFree=29310672/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=447232 CPUtime=25.09 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 96068 0 0 0 2484 25 0 0 25 0 4 0 524791212 457965568 71549 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 111808 71549 389 106 0 106779 0
[pid=1308/tid=1309] ppid=1306 vsize=447232 CPUtime=6.27 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 22344 0 0 0 621 6 0 0 21 0 4 0 524791212 457965568 71549 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=447232 CPUtime=6.25 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 26414 0 0 0 620 5 0 0 25 0 4 0 524791212 457965568 71549 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=447232 CPUtime=6.28 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 20077 0 0 0 622 6 0 0 25 0 4 0 524791212 457965568 71549 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 447232

[startup+12.7003 s]
/proc/loadavg: 7.85 7.54 7.23 9/184 1312
/proc/meminfo: memFree=29261724/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=507148 CPUtime=50.66 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 124746 0 0 0 5035 31 0 0 25 0 4 0 524791212 519319552 87100 33554432000 4194304 4627427 140734105390384 18446744073709551615 4424709 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 126787 87101 389 106 0 121758 0
[pid=1308/tid=1309] ppid=1306 vsize=507148 CPUtime=12.66 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 29134 0 0 0 1260 6 0 0 25 0 4 0 524791212 519319552 87101 33554432000 4194304 4627427 140734105390384 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=507148 CPUtime=12.62 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 31688 0 0 0 1255 7 0 0 25 0 4 0 524791212 519319552 87101 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=507148 CPUtime=12.67 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 32580 0 0 0 1259 8 0 0 25 0 4 0 524791212 519319552 87101 33554432000 4194304 4627427 140734105390384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 507148

[startup+25.5008 s]
/proc/loadavg: 7.94 7.57 7.24 9/184 1312
/proc/meminfo: memFree=29109916/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=625084 CPUtime=101.8 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 171102 0 0 0 10142 38 0 0 25 0 4 0 524791212 640086016 110126 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 156271 110126 389 106 0 151242 0
[pid=1308/tid=1309] ppid=1306 vsize=625084 CPUtime=25.46 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 40145 0 0 0 2538 8 0 0 25 0 4 0 524791212 640086016 110126 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=625084 CPUtime=25.37 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 37142 0 0 0 2529 8 0 0 25 0 4 0 524791212 640086016 110126 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=625084 CPUtime=25.48 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 46941 0 0 0 2537 11 0 0 25 0 4 0 524791212 640086016 110126 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 625084

[startup+51.1007 s]
/proc/loadavg: 7.97 7.61 7.26 9/184 1313
/proc/meminfo: memFree=29050108/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=757852 CPUtime=204.07 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 231004 0 0 0 20358 49 0 0 25 0 4 0 524791212 776040448 141150 33554432000 4194304 4627427 140734105390384 18446744073709551615 4424993 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 189463 141150 389 106 0 184434 0
[pid=1308/tid=1309] ppid=1306 vsize=757852 CPUtime=51.06 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 51130 0 0 0 5096 10 0 0 25 0 4 0 524791212 776040448 141150 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=757852 CPUtime=50.84 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 49503 0 0 0 5074 10 0 0 25 0 4 0 524791212 776040448 141150 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=757852 CPUtime=51.08 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 69374 0 0 0 5093 15 0 0 25 0 4 0 524791212 776040448 141150 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 757852

[startup+102.301 s]
/proc/loadavg: 8.06 7.69 7.31 9/184 1314
/proc/meminfo: memFree=28859224/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=929676 CPUtime=408.62 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 342260 0 0 0 40789 73 0 0 25 0 4 0 524791212 951988224 176777 33554432000 4194304 4627427 140734105390384 18446744073709551615 4428390 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 232419 176777 389 106 0 227390 0
[pid=1308/tid=1309] ppid=1306 vsize=929676 CPUtime=102.26 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 78792 0 0 0 10210 16 0 0 25 0 4 0 524791212 951988224 176777 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=929676 CPUtime=101.78 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 66103 0 0 0 10164 14 0 0 25 0 4 0 524791212 951988224 176777 33554432000 4194304 4627427 140734105390384 18446744073709551615 4327479 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=929676 CPUtime=102.28 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 103425 0 0 0 10207 21 0 0 25 0 4 0 524791212 951988224 176777 33554432000 4194304 4627427 140734105390384 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 929676

[startup+162.301 s]

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

[pid=1308] ppid=1306 vsize=1870856 CPUtime=2805.67 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1267525 0 0 0 280240 327 0 0 25 0 4 0 524791212 1915756544 333090 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 467714 333090 389 106 0 462685 0
[pid=1308/tid=1309] ppid=1306 vsize=1870856 CPUtime=702.27 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 223658 0 0 0 70166 61 0 0 25 0 4 0 524791212 1915756544 333090 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1870856 CPUtime=698.78 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 305343 0 0 0 69799 79 0 0 25 0 4 0 524791212 1915756544 333090 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1870856 CPUtime=702.29 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 373706 0 0 0 70134 95 0 0 25 0 4 0 524791212 1915756544 333090 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.67
Current children cumulated vsize (KiB) 1870856

[startup+762.3 s]
/proc/loadavg: 8.37 8.09 7.71 9/184 1375
/proc/meminfo: memFree=28877556/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1893056 CPUtime=3044.55 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1350233 0 0 0 304103 352 0 0 25 0 4 0 524791212 1938489344 312923 33554432000 4194304 4627427 140734105390384 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 473264 312923 389 106 0 468235 0
[pid=1308/tid=1309] ppid=1306 vsize=1893056 CPUtime=762.28 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 236734 0 0 0 76162 66 0 0 25 0 4 0 524791212 1938489344 312923 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1893056 CPUtime=757.81 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 321116 0 0 0 75698 83 0 0 25 0 4 0 524791212 1938489344 312923 33554432000 4194304 4627427 140734105390384 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1893056 CPUtime=762.15 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 396184 0 0 0 76113 102 0 0 25 0 4 0 524791212 1938489344 312923 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.55
Current children cumulated vsize (KiB) 1893056

[startup+822.3 s]
/proc/loadavg: 8.18 8.09 7.73 9/184 1377
/proc/meminfo: memFree=28725760/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1659132 CPUtime=3284.26 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1438003 0 0 0 328049 377 0 0 25 0 4 0 524791212 1698951168 325537 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 414783 325537 389 106 0 409754 0
[pid=1308/tid=1309] ppid=1306 vsize=1659132 CPUtime=822.27 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 266139 0 0 0 82153 74 0 0 25 0 4 0 524791212 1698951168 325537 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1659132 CPUtime=817.51 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 340642 0 0 0 81663 88 0 0 25 0 4 0 524791212 1698951168 325537 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1659132 CPUtime=822.15 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 419473 0 0 0 82107 108 0 0 25 0 4 0 524791212 1698951168 325537 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.26
Current children cumulated vsize (KiB) 1659132

[startup+882.3 s]
/proc/loadavg: 8.07 8.07 7.74 9/184 1378
/proc/meminfo: memFree=28646712/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1896016 CPUtime=3523.98 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1503542 0 0 0 351998 400 0 0 25 0 4 0 524791212 1941520384 320043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1308/statm: 474004 320043 389 106 0 468975 0
[pid=1308/tid=1309] ppid=1306 vsize=1896016 CPUtime=882.28 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 277675 0 0 0 88149 79 0 0 25 0 4 0 524791212 1941520384 320043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1896016 CPUtime=877.23 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 358430 0 0 0 87630 93 0 0 25 0 4 0 524791212 1941520384 320043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4330840 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1896016 CPUtime=882.15 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 429534 0 0 0 88103 112 0 0 25 0 4 0 524791212 1941520384 320043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3523.98
Current children cumulated vsize (KiB) 1896016

[startup+942.3 s]
/proc/loadavg: 8.02 8.05 7.75 9/184 1380
/proc/meminfo: memFree=28647632/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1408096 CPUtime=3763.67 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1586556 0 0 0 375943 424 0 0 25 0 4 0 524791212 1441890304 296292 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 352024 296292 389 106 0 346995 0
[pid=1308/tid=1309] ppid=1306 vsize=1408096 CPUtime=942.28 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 292232 0 0 0 94144 84 0 0 25 0 4 0 524791212 1441890304 296292 33554432000 4194304 4627427 140734105390384 18446744073709551615 4428093 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1408096 CPUtime=936.97 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 380254 0 0 0 93597 100 0 0 25 0 4 0 524791212 1441890304 296292 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1408096 CPUtime=942.16 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 453850 0 0 0 94097 119 0 0 25 0 4 0 524791212 1441890304 296292 33554432000 4194304 4627427 140734105390384 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.67
Current children cumulated vsize (KiB) 1408096

[startup+1002.3 s]
/proc/loadavg: 8.01 8.04 7.76 9/184 1381
/proc/meminfo: memFree=28551344/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1597124 CPUtime=4003.37 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1667412 0 0 0 399886 451 0 0 25 0 4 0 524791212 1635454976 307704 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309327 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 399281 307704 389 106 0 394252 0
[pid=1308/tid=1309] ppid=1306 vsize=1597124 CPUtime=1002.28 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 308649 0 0 0 100139 89 0 0 25 0 4 0 524791212 1635454976 307704 33554432000 4194304 4627427 140734105390384 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1597124 CPUtime=996.97 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 395128 0 0 0 99593 104 0 0 25 0 4 0 524791212 1635454976 307704 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1597124 CPUtime=1002.16 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 477867 0 0 0 100089 127 0 0 25 0 4 0 524791212 1635454976 307704 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.37
Current children cumulated vsize (KiB) 1597124

[startup+1062.3 s]
/proc/loadavg: 8.00 8.03 7.78 9/184 1383
/proc/meminfo: memFree=28432612/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1785456 CPUtime=4243.06 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1746025 0 0 0 423831 475 0 0 25 0 4 0 524791212 1828306944 328810 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 446364 328810 389 106 0 441335 0
[pid=1308/tid=1309] ppid=1306 vsize=1785456 CPUtime=1062.28 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 328173 0 0 0 106132 96 0 0 25 0 4 0 524791212 1828306944 328810 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1785456 CPUtime=1056.97 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 419293 0 0 0 105586 111 0 0 25 0 4 0 524791212 1828306944 328810 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1785456 CPUtime=1062.15 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 495389 0 0 0 106083 132 0 0 25 0 4 0 524791212 1828306944 328810 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.06
Current children cumulated vsize (KiB) 1785456

[startup+1122.3 s]
/proc/loadavg: 8.04 8.04 7.79 9/184 1385
/proc/meminfo: memFree=28393476/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1937876 CPUtime=4482.79 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1815331 0 0 0 447779 500 0 0 25 0 4 0 524791212 1984385024 334039 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 484469 334039 389 106 0 479440 0
[pid=1308/tid=1309] ppid=1306 vsize=1937876 CPUtime=1122.28 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 337525 0 0 0 112129 99 0 0 25 0 4 0 524791212 1984385024 334043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1937876 CPUtime=1116.98 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 437298 0 0 0 111580 118 0 0 25 0 4 0 524791212 1984385024 334043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1937876 CPUtime=1122.16 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 511643 0 0 0 112077 139 0 0 25 0 4 0 524791212 1984385024 334043 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.79
Current children cumulated vsize (KiB) 1937876

[startup+1182.3 s]
/proc/loadavg: 8.11 8.06 7.81 9/184 1386
/proc/meminfo: memFree=28383012/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1910648 CPUtime=4722.48 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1878409 0 0 0 471728 520 0 0 25 0 4 0 524791212 1956503552 331890 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 477662 331890 389 106 0 472633 0
[pid=1308/tid=1309] ppid=1306 vsize=1910648 CPUtime=1182.29 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 344356 0 0 0 118127 102 0 0 25 0 4 0 524791212 1956503552 331890 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1910648 CPUtime=1176.97 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 460426 0 0 0 117572 125 0 0 25 0 4 0 524791212 1956503552 331890 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1910648 CPUtime=1182.16 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 527947 0 0 0 118072 144 0 0 25 0 4 0 524791212 1956503552 331890 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.48
Current children cumulated vsize (KiB) 1910648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.08 8.05 7.82 9/184 1387
/proc/meminfo: memFree=28210268/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1764596 CPUtime=4800.4 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1905575 0 0 0 479510 530 0 0 25 0 4 0 524791212 1806946304 344012 33554432000 4194304 4627427 140734105390384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 441149 344012 389 106 0 436120 0
[pid=1308/tid=1309] ppid=1306 vsize=1764596 CPUtime=1201.79 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 347759 0 0 0 120075 104 0 0 25 0 4 0 524791212 1806946304 344013 33554432000 4194304 4627427 140734105390384 18446744073709551615 4327479 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1764596 CPUtime=1196.48 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 465333 0 0 0 119521 127 0 0 25 0 4 0 524791212 1806946304 344013 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1764596 CPUtime=1201.67 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 538009 0 0 0 120020 147 0 0 25 0 4 0 524791212 1806946304 344013 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1764596

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

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

[startup+1201.8 s]
/proc/loadavg: 8.08 8.05 7.82 9/184 1387
/proc/meminfo: memFree=28210268/32950928 swapFree=67111464/67111528
[pid=1308] ppid=1306 vsize=1764596 CPUtime=4800.4 cores=0,2,4,6
/proc/1308/stat : 1308 (strangenight2-m) R 1306 1308 32493 0 -1 4202496 1905575 0 0 0 479510 530 0 0 25 0 4 0 524791212 1806946304 344012 33554432000 4194304 4627427 140734105390384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1308/statm: 441149 344012 389 106 0 436120 0
[pid=1308/tid=1309] ppid=1306 vsize=1764596 CPUtime=1201.79 cores=0,2,4,6
/proc/1308/task/1309/stat : 1309 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 347759 0 0 0 120075 104 0 0 25 0 4 0 524791212 1806946304 344013 33554432000 4194304 4627427 140734105390384 18446744073709551615 4327479 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1308/tid=1310] ppid=1306 vsize=1764596 CPUtime=1196.48 cores=0,2,4,6
/proc/1308/task/1310/stat : 1310 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 465333 0 0 0 119521 127 0 0 25 0 4 0 524791212 1806946304 344013 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1308/tid=1311] ppid=1306 vsize=1764596 CPUtime=1201.67 cores=0,2,4,6
/proc/1308/task/1311/stat : 1311 (strangenight2-m) R 1306 1308 32493 0 -1 4202560 538009 0 0 0 120020 147 0 0 25 0 4 0 524791212 1806946304 344013 33554432000 4194304 4627427 140734105390384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1764596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.88
CPU time (s): 4800.5
CPU user time (s): 4795.13
CPU system time (s): 5.37118
CPU usage (%): 399.416
Max. virtual memory (cumulated for all children) (KiB): 2087120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.13
system time used= 5.37118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1905580
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= 10336
involuntary context switches= 28926

runsolver used 1.81872 second user time and 4.07638 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-30 04:52:25
IDJOB=3251241
IDBENCH=88217
IDSOLVER=1586
FILE ID=node149/3251241-1304131945
RUNJOBID= node149-1304131219-1119
PBS_JOBID= 13170772
Free space on /tmp= 73292 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251241-1304131945/watcher-3251241-1304131945 -o /tmp/evaluation-result-3251241-1304131945/solver-3251241-1304131945 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3251241-1304131945.cnf

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

MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982
RANDOM SEED=353167618

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.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.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:     32950928 kB
MemFree:      29618928 kB
Buffers:        479724 kB
Cached:        1268712 kB
SwapCached:         60 kB
Active:        1336332 kB
Inactive:      1618788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29618928 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           20200 kB
Writeback:           0 kB
AnonPages:     1206344 kB
Mapped:          15480 kB
Slab:           312364 kB
PageTables:       7188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1879936 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= 73292 MiB
End job on node149 at 2011-04-30 05:12:29