Trace number 3250891

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.22 1201.78

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
MD5SUMf34a5dd1cdce70a322dd395bcb5f1303
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2548
Number of clauses582679
Sum of the clauses size1167806
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2582629
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250891-1304181887.cnf'
0.00/0.00	c -- header says num vars:           2548
0.00/0.00	c -- header says num clauses:      582679
0.24/0.12	c -- clauses added:            0 learnts,       582679 normals,            0 xors
0.24/0.12	c -- vars added       2548
0.24/0.12	c Parsing time:  0.35 s
0.24/0.12	c  N st     0         0      2548        50    582629         0   1167806         0   no data   no data  --
0.24/0.12	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.48/0.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.34
0.48/0.45	c bin-w-bin subsume rem            0 bins  time:  0.48 s
0.48/0.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.36 s
1.77/0.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2548 time:  0.25 s
1.77/0.63	c Removed useless bin:       0  fixed:     0  props:   2.92M  time:  0.23 s
1.77/0.79	c lits-rem:        54  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.73 s
1.77/0.79	c Finding binary XORs  T:     0.04 s  found:       0
1.77/0.79	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.77/0.79	c calculated reachability. Time: 0.01
1.77/0.79	c Calc default polars -  time:   0.02 s pos:       0 undec:      50 neg:    2498
1.77/0.79	c =========================================================================================
1.77/0.79	c types(t): F = full restart, N = normal restart
1.77/0.79	c types(t): S = simplification begin/end, E = solution found
1.77/0.79	c restart types(rt): st = static, dy = dynamic
1.77/0.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.77/0.79	c  B st     0         0      2498      8429    571702         0   1630851         0   no data   no data  --
1.77/1.32	c  N dy    13      4191      2498      8429    571702      4075   1630844    631943      9.45     10.28  --
7.12/1.83	c  N dy    32      8619      2498      8429    571702      5956   1630833    545253      9.27      9.79  --
9.11/2.37	c  N dy    57     12666      2498      8429    571702      5761   1630830    524311      9.73     12.62  --
11.51/2.98	c  N dy    84     17236      2498      8429    571702     10250   1630828   1016946      9.90     10.53  --
13.50/3.49	c  N dy   101     21302      2498      8429    571702      8716   1630828    804967      9.86     10.38  --
15.50/3.96	c  F st   116     25000      2498      8429    571702     12328   1630828   1156753      9.76      9.11  --
16.30/4.12	c  N st   118     25628      2498      8429    571702     12943   1630828   1222513      9.76   no data  --
18.70/4.75	c  N dy   122     30001      2498      8429    571702     10564   1630828    879800      9.76   no data  --
18.70/4.75	c  S st   122     30001      2498      8429    571702     10564   1630828    879800      9.76   no data  --
19.10/4.81	c  S st   122     30502      2498      8429    571702     11059   1630828    938207      9.76   no data  --
19.10/4.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
19.10/4.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.29/5.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.5M T:  3.18
22.69/5.75	c bin-w-bin subsume rem            0 bins  time:  0.28 s
28.28/7.10	c subs with bin:        0  lits-rem:      2255  v-fix:    0  time:  5.40 s
28.28/7.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
28.68/7.22	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.22 s
32.27/8.14	c lits-rem:      2768  cl-subs:      541  v-elim:      0  v-fix:    0  time:  3.69 s
33.48/8.46	c asymm  cl-useful: 605/1728/8429 lits-rem:8678 time: 1.27
33.48/8.47	c calculated reachability. Time: 0.01
33.48/8.47	c  N dy   122     30502      2498      8429    571702     10518   1613366    905318      9.76   no data  --
35.88/9.08	c  N dy   141     34752      2498      8429    571702     14714   1613366   1407324      9.77     10.29  --
38.27/9.70	c  N dy   157     39282      2498      8429    571702     11413   1613366    812857      9.70     10.24  --
40.67/10.24	c  N dy   181     43369      2498      8429    571702     15391   1613361   1396600      9.81     16.80  --
42.27/10.64	c  S st   200     45753      2498      8429    571702      8975   1613361    590643      9.94   no data  --
42.67/10.71	c  S st   200     46255      2498      8429    571702      9475   1613359    651171      9.94   no data  --
42.67/10.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.67/10.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.46/11.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 30.7M T:  3.05
45.86/11.58	c bin-w-bin subsume rem            0 bins  time:  0.27 s
51.46/12.93	c subs with bin:        0  lits-rem:      3156  v-fix:    0  time:  5.40 s
51.46/12.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.23 s
51.86/13.05	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.22 s
55.44/13.97	c lits-rem:      1509  cl-subs:      216  v-elim:      0  v-fix:    0  time:  3.68 s
55.44/14.00	c vivif2 --  cl tried     8429 cl shrink     6211 lits rem      89067 time: 0.10
55.84/14.01	c vivif2 --  cl tried     9259 cl shrink        0 lits rem          0 time: 0.08
56.66/14.21	c asymm  cl-useful: 0/1146/8429 lits-rem:0 time: 0.78
56.66/14.22	c calculated reachability. Time: 0.01
56.66/14.22	c  N dy   200     46255      2498      8429    571702      9259   1518549    640121      9.94   no data  --
58.64/14.76	c  N dy   225     50333      2498      8429    571702     13226   1518549   1207819     10.01     12.09  --
61.43/15.42	c  N dy   247     54612      2498      8429    571702     17384   1518549   1859250     10.15     10.85  --
64.24/16.13	c  N dy   277     58678      2498      8429    571702     11622   1518549    928263     10.26     16.36  --
66.63/16.73	c  N dy   298     62790      2498      8429    571702     15613   1518549   1498141     10.32     10.97  --
69.44/17.44	c  N dy   315     66824      2498      8429    571702     19510   1518549   2086277     10.33     14.43  --
71.42/17.99	c  S st   333     69382      2498      8429    571702     11306   1518549    917742     10.38      9.16  --
71.82/18.06	c  S st   333     69883      2498      8429    571702     11803   1518549    976844     10.38   no data  --
71.82/18.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
71.82/18.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.82/19.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 34.3M T:  3.80
76.22/19.13	c bin-w-bin subsume rem            0 bins  time:  0.27 s
81.41/20.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.26 s
81.81/20.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
81.81/20.57	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
86.21/21.68	c lits-rem:      1327  cl-subs:      198  v-elim:      0  v-fix:    0  time:  4.40 s
86.21/21.68	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
86.61/21.71	c vivif2 --  cl tried    11605 cl shrink        0 lits rem          0 time: 0.10
87.42/21.94	c asymm  cl-useful: 0/1022/8429 lits-rem:0 time: 0.92
87.42/21.96	c calculated reachability. Time: 0.01
87.42/21.96	c  N dy   333     69883      2498      8429    571702     11605   1518526    965909     10.38   no data  --
90.20/22.66	c  N dy   353     74594      2498      8429    571702     16201   1518526   1541988     10.42     11.03  --
93.80/23.54	c  N dy   376     79409      2498      8429    571702     20915   1518526   2171159     10.48     11.04  --
97.39/24.42	c  N dy   412     84565      2498      8429    571702     14245   1518525   1298004     10.59     11.61  --
99.39/24.90	c  F st   421     87502      2498      8429    571702     17119   1518525   1576480     10.56      7.88  --
102.19/25.60	c  N st   426     90800      2498      8429    571702     20329   1518525   2031548     10.56   no data  --
106.58/26.79	c  N dy   454     96601      2498      8429    571702     13299   1518525   1130891     10.66     14.00  --
110.97/27.82	c  N dy   487    102844      2498      8429    571702     19375   1518524   2028105     10.75     11.35  --
112.58/28.22	c  S st   499    104824      2498      8429    571702     21312   1518524   2274819     10.78   no data  --
112.98/28.33	c  S st   499    105324      2498      8429    571702     21809   1518524   2327279     10.78   no data  --
112.98/28.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
112.98/28.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
118.18/29.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 49.0M T:  5.24
118.96/29.82	c bin-w-bin subsume rem            0 bins  time:  0.27 s
124.55/31.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.57 s
124.55/31.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
124.95/31.33	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
139.34/34.93	c lits-rem:      3985  cl-subs:      735  v-elim:      0  v-fix:    0  time: 14.37 s
139.34/34.94	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
139.34/34.99	c vivif2 --  cl tried    21074 cl shrink        0 lits rem          0 time: 0.19
140.53/35.25	c asymm  cl-useful: 0/1515/8429 lits-rem:0 time: 1.04
140.53/35.26	c calculated reachability. Time: 0.01
140.53/35.26	c  N dy   499    105324      2498      8429    571702     21074   1518493   2281885     10.78   no data  --
147.33/36.98	c  N dy   538    112426      2498      8429    571702     14382   1518493   1271357     10.83     11.55  --
152.92/38.37	c  N dy   580    119682      2498      8429    571702     21447   1518493   2288432     10.90     13.22  --
160.91/40.31	c  N dy   621    127530      2498      8429    571702     29108   1518491   3541636     10.98     11.69  --
167.29/41.91	c  N dy   664    136227      2498      8429    571702     22997   1518490   2484381     11.00     11.59  --
175.30/43.94	c  N dy   714    144940      2498      8429    571702     15866   1518490   1250644     11.07     15.73  --
182.87/45.83	c  N dy   779    154277      2498      8429    571702     24967   1518489   2511547     11.33     26.70  --
186.06/46.65	c  S st   794    157988      2498      8429    571702     28551   1518489   3047473     11.34      9.30  --
186.47/46.77	c  S st   794    158490      2498      8429    571702     29049   1518489   3125700     11.34   no data  --
186.47/46.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
186.47/46.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
193.25/48.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.4M T:  6.55
194.05/48.60	c bin-w-bin subsume rem            0 bins  time:  0.27 s
199.65/50.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.85 s
200.05/50.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.23 s
200.05/50.19	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
220.82/55.36	c lits-rem:      1394  cl-subs:      634  v-elim:      0  v-fix:    0  time: 20.63 s
220.82/55.36	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
221.22/55.43	c vivif2 --  cl tried    28415 cl shrink        0 lits rem          0 time: 0.26
222.42/55.70	c asymm  cl-useful: 0/518/8429 lits-rem:0 time: 1.10
222.42/55.72	c calculated reachability. Time: 0.01
222.42/55.72	c  N dy   794    158490      2498      8429    571702     28415   1518477   3078916     11.34   no data  --
231.61/58.01	c  N dy   822    168690      2498      8429    571702     21806   1518477   1817500     11.28     11.90  --
240.39/60.27	c  N dy   864    179515      2498      8429    571702     32351   1518477   3294652     11.25     13.07  --
250.38/62.76	c  N dy   913    191100      2498      8429    571702     26030   1518477   2340296     11.30     12.00  --
262.77/65.84	c  N dy   964    203333      2498      8429    571702     19446   1518477   1441950     11.31     12.00  --
273.55/68.58	c  N dy  1023    216766      2498      8429    571702     32528   1518477   3216828     11.38     12.12  --
285.93/71.68	c  N dy  1082    230627      2498      8429    571702     26612   1518477   2358435     11.40     24.26  --
293.12/73.46	c  S st  1120    237735      2498      8429    571702     33514   1518477   3240419     11.43     11.95  --
293.53/73.58	c  S st  1120    238240      2498      8429    571702     34017   1518477   3313310     11.43   no data  --
293.53/73.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
293.53/73.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
301.92/75.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 58.2M T:  8.38
302.73/75.87	c bin-w-bin subsume rem            0 bins  time:  0.27 s
309.10/77.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.32 s
309.50/77.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.23 s
309.50/77.57	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.24 s
329.10/82.48	c lits-rem:       957  cl-subs:     1242  v-elim:      0  v-fix:    0  time: 19.59 s
329.10/82.49	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
329.47/82.56	c vivif2 --  cl tried    32775 cl shrink        0 lits rem          0 time: 0.29
330.67/82.83	c asymm  cl-useful: 0/608/8429 lits-rem:0 time: 1.07
330.67/82.85	c calculated reachability. Time: 0.01
330.67/82.85	c  N dy  1120    238240      2498      8429    571702     32775   1518475   3254776     11.43   no data  --
345.46/86.59	c  N dy  1194    253537      2498      8429    571702     27221   1518475   2401439     11.49     12.16  --
363.03/90.96	c  N dy  1263    269819      2498      8429    571702     21645   1518474   1462872     11.53     12.15  --
378.60/94.81	c  N dy  1337    287049      2498      8429    571702     38447   1518474   3694915     11.58     12.22  --
395.38/99.03	c  N dy  1440    305433      2498      8429    571702     33992   1518474   2876334     11.72     13.73  --
395.78/99.18	c  F st  1443    306252      2498      8429    571702     34785   1518474   2984018     11.72   no data  --
413.76/103.65	c  N dy  1507    325156      2498      8429    571702     29716   1518474   2250358     11.76     12.48  --
435.32/109.09	c  N dy  1589    345651      2498      8429    571702     25348   1518474   1634761     11.76     12.70  --
445.31/111.54	c  S st  1641    357360      2498      8429    571702     36731   1518474   3127024     11.77   no data  --
445.71/111.65	c  S st  1641    357865      2498      8429    571702     37235   1518474   3196368     11.77   no data  --
445.71/111.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
445.71/111.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.49/113.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.3M T:  6.76
453.31/113.53	c bin-w-bin subsume rem            0 bins  time:  0.27 s
459.29/115.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.21 s
459.69/115.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
460.09/115.20	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
479.26/120.03	c lits-rem:       453  cl-subs:     1324  v-elim:      0  v-fix:    0  time: 19.26 s
479.26/120.04	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
479.66/120.11	c vivif2 --  cl tried    35911 cl shrink        0 lits rem          0 time: 0.31
480.46/120.36	c asymm  cl-useful: 0/1060/8429 lits-rem:0 time: 0.97
480.46/120.37	c calculated reachability. Time: 0.01
480.46/120.37	c  N dy  1641    357865      2498      8429    571702     35911   1518459   3139044     11.77   no data  --
502.44/125.83	c  N dy  1725    378045      2498      8429    571703     30275   1518459   2252471     11.81     12.44  --
524.81/131.43	c  N dy  1847    398077      2498      8429    571703     49734   1518457   4928117     11.95     16.34  --
545.17/136.50	c  N dy  1899    418877      2498      8429    571703     43716   1518457   3658663     11.91     12.54  --
564.74/141.44	c  N dy  1986    439053      2498      8429    571704     36137   1518457   2651422     11.95     12.68  --
587.51/147.14	c  N dy  2092    460495      2498      8429    571704     28823   1518457   1784610     12.01     12.69  --
605.90/151.74	c  N dy  2187    480554      2498      8429    571704     48354   1518457   4001026     12.07     12.84  --
629.05/157.55	c  N dy  2277    503338      2498      8429    571704     41292   1518457   3298883     12.13     12.93  --
656.22/164.39	c  N dy  2392    523347      2498      8429    571704     30632   1518456   1894642     12.23     12.97  --
668.20/167.32	c  S st  2443    536797      2498      8429    571704     43647   1518456   3435350     12.22   no data  --
668.60/167.44	c  S st  2443    537301      2498      8429    571704     44150   1518456   3502557     12.22   no data  --
668.60/167.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
668.60/167.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.21/169.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 64.5M T:  7.66
676.99/169.55	c bin-w-bin subsume rem            0 bins  time:  0.27 s
682.59/170.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.45 s
682.59/170.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
682.99/171.04	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
704.15/176.33	c lits-rem:       458  cl-subs:     1951  v-elim:      0  v-fix:    0  time: 21.13 s
704.15/176.34	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
704.55/176.43	c vivif2 --  cl tried    42199 cl shrink       41 lits rem         42 time: 0.37
705.75/176.71	c asymm  cl-useful: 0/603/8429 lits-rem:0 time: 1.09
705.75/176.72	c calculated reachability. Time: 0.01
705.75/176.72	c  N dy  2443    537301      2498      8429    571704     42199   1518456   3438431     12.22   no data  --
729.31/182.60	c  N dy  2519    557624      2498      8429    571704     62012   1518456   5953272     12.23     12.88  --
748.49/187.45	c  N dy  2606    578457      2498      8429    571704     51228   1518456   4345933     12.26     13.20  --
773.66/193.72	c  N dy  2676    600115      2498      8429    571704     40150   1518456   2817950     12.27     13.06  --
796.82/199.58	c  N dy  2751    620300      2498      8429    571704     59773   1518456   5205923     12.28     12.95  --
818.80/205.01	c  N dy  2841    640794      2498      8429    571704     46742   1518456   3616257     12.30     13.01  --
841.57/210.70	c  N dy  2911    661437      2498      8429    571704     66780   1518456   5863962     12.29     12.96  --
860.77/215.54	c  N dy  2992    681453      2498      8429    571704     52268   1518456   4306251     12.31     19.72  --
885.51/221.75	c  N dy  3058    701495      2498      8429    571704     36686   1518456   2287514     12.32     13.92  --
905.47/226.70	c  N dy  3134    721683      2498      8429    571704     56356   1518456   4538386     12.33     13.14  --
931.44/233.23	c  N dy  3247    741768      2498      8429    571704     39874   1518454   2712071     12.40     13.18  --
954.61/239.04	c  N dy  3315    763332      2498      8429    571704     60886   1518454   5278465     12.38     13.04  --
982.17/245.96	c  N dy  3411    784515      2498      8429    571704     44449   1518454   3106492     12.44     13.10  --
1008.54/252.56	c  N dy  3494    804520      2498      8429    571704     63878   1518454   5805359     12.48     13.15  --
1010.15/252.95	c  S st  3495    805952      2498      8429    571704     65257   1518454   5961818     12.47      9.11  --
1011.33/253.20	c  S st  3495    806454      2498      8429    571704     65759   1518454   6015607     12.47   no data  --
1011.33/253.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1011.33/253.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1024.51/256.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 84.5M T: 13.27
1025.71/256.83	c bin-w-bin subsume rem            0 bins  time:  0.27 s
1032.90/258.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.29 s
1033.30/258.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
1033.30/258.77	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
1175.91/294.45	c lits-rem:       881  cl-subs:     3118  v-elim:      0  v-fix:    0  time: 142.21 s
1175.91/294.46	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
1176.72/294.60	c vivif2 --  cl tried    62641 cl shrink        0 lits rem          0 time: 0.58
1177.90/294.93	c asymm  cl-useful: 0/1136/8429 lits-rem:0 time: 1.31
1177.90/294.95	c calculated reachability. Time: 0.01
1177.90/294.95	c  N dy  3495    806454      2498      8429    571704     62641   1518453   5889110     12.47   no data  --
1208.67/302.64	c  N dy  3615    826525      2498      8429    571704     44292   1518453   3167420     12.56     24.81  --
1231.04/308.29	c  N dy  3677    846545      2498      8429    571704     63685   1518453   5167793     12.55     17.40  --
1259.00/315.21	c  N dy  3754    867280      2498      8429    571704     44977   1518453   2906415     12.56     13.24  --
1279.36/320.32	c  N dy  3810    887574      2498      8429    571704     64675   1518453   5466088     12.55     13.29  --
1306.94/327.20	c  N dy  3882    908178      2498      8429    571704     44837   1518453   2975781     12.55     13.38  --
1329.71/332.96	c  N dy  3974    928233      2498      8429    571704     64320   1518453   5788158     12.57     23.67  --
1360.07/340.54	c  N dy  4038    948397      2498      8429    571704     43152   1518453   2721380     12.56     13.38  --
1383.24/346.30	c  N dy  4113    968434      2498      8429    571704     62640   1518453   5173694     12.57     14.67  --
1417.19/354.80	c  N dy  4204    988572      2498      8429    571704     82216   1518453   7907796     12.59     13.26  --
1442.34/361.13	c  N dy  4262   1008587      2498      8429    571704     59802   1518453   4884700     12.59     19.73  --
1481.89/371.03	c  N dy  4337   1031157      2498      8429    571704     81729   1518453   7421186     12.59     13.32  --
1510.66/378.29	c  N dy  4393   1051183      2498      8429    571704     58444   1518452   4199142     12.58     43.82  --
1542.21/386.15	c  N dy  4466   1071454      2498      8429    571704     78113   1518452   6283248     12.59     13.29  --
1543.01/386.36	c  F st  4468   1071876      2498      8429    571704     78519   1518452   6328012     12.59      8.39  --
1574.56/394.28	c  N dy  4541   1091680      2498      8429    571704     54121   1518452   4092042     12.61     13.35  --
1608.12/402.67	c  N dy  4616   1111895      2498      8429    571704     73784   1518452   6327425     12.62     13.36  --
1644.87/411.80	c  N dy  4689   1131947      2498      8429    571704     48570   1518452   2969300     12.63     13.51  --
1667.64/417.51	c  N dy  4759   1151987      2498      8429    571704     68087   1518452   5270079     12.64     14.35  --
1696.79/424.80	c  N dy  4833   1172216      2498      8429    571704     87775   1518452   7843892     12.64     13.64  --
1721.99/431.17	c  N dy  4916   1192639      2498      8429    571704     61918   1518452   4354811     12.64     13.45  --
1743.14/436.45	c  S st  4966   1209682      2498      8429    571704     78462   1518452   6209367     12.64     12.38  --
1743.96/436.62	c  S st  4966   1210185      2498      8429    571704     78963   1518452   6276031     12.64   no data  --
1743.96/436.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1743.96/436.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1754.72/439.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 82.4M T: 10.75
1755.92/439.60	c bin-w-bin subsume rem            0 bins  time:  0.27 s
1763.12/441.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.25 s
1763.12/441.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
1763.52/441.53	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
1940.07/485.77	c lits-rem:      1609  cl-subs:     4622  v-elim:      0  v-fix:    0  time: 176.33 s
1940.07/485.78	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
1940.87/485.96	c vivif2 --  cl tried    74341 cl shrink        0 lits rem          0 time: 0.70
1942.06/486.28	c asymm  cl-useful: 0/960/8429 lits-rem:0 time: 1.28
1942.06/486.29	c calculated reachability. Time: 0.01
1942.06/486.29	c  N dy  4966   1210185      2498      8429    571704     74341   1518452   6155687     12.64   no data  --
1974.02/494.26	c  N dy  5022   1232728      2498      8429    571705     49608   1518451   3085585     12.63     13.31  --
2001.58/501.11	c  N dy  5124   1253256      2498      8429    571705     69558   1518451   5344750     12.65     13.51  --
2031.13/508.56	c  N dy  5174   1273409      2498      8429    571705     89043   1518451   7189303     12.63     13.45  --
2056.29/514.86	c  N dy  5194   1293543      2498      8429    571706     60949   1518451   3883929     12.60     13.31  --
2079.87/520.79	c  N dy  5276   1313709      2498      8429    571706     80540   1518451   6125458     12.60     13.32  --
2110.23/528.37	c  N dy  5363   1334087      2498      8429    571706     51866   1518451   3242256     12.62     13.29  --
2134.20/534.35	c  N dy  5455   1354142      2498      8429    571706     71399   1518451   5791778     12.65     13.38  --
2166.54/542.41	c  N dy  5532   1374583      2498      8429    571706     91277   1518451   8114685     12.65     13.36  --
2196.52/549.94	c  N dy  5626   1394652      2498      8429    571706     61236   1518451   4446186     12.67     22.75  --
2228.06/557.81	c  N dy  5716   1414901      2498      8429    571706     80864   1518451   6795237     12.69     13.45  --
2263.21/566.67	c  N dy  5753   1435502      2498      8429    571706    100866   1518451   8857987     12.66     13.37  --
2288.39/572.99	c  N dy  5844   1455560      2498      8429    571706     69817   1518451   5362620     12.67     13.74  --
2321.53/581.22	c  N dy  5934   1475607      2498      8429    571706     89312   1518451   7826883     12.69     13.56  --
2357.48/590.25	c  N dy  6026   1495733      2498      8429    571706     57416   1518451   3869120     12.71     13.39  --
2383.05/596.65	c  N dy  6068   1515832      2498      8429    571706     76823   1518451   5906043     12.70     13.48  --
2416.22/604.96	c  N dy  6127   1535840      2498      8429    571706     96248   1518451   7836624     12.69     13.37  --
2448.55/613.02	c  N dy  6210   1555982      2498      8429    571706     63397   1518451   4389920     12.70     13.37  --
2478.91/620.60	c  N dy  6271   1576392      2498      8429    571706     83141   1518450   6406691     12.70     13.55  --
2518.06/630.48	c  N dy  6342   1596938      2498      8429    571706    103046   1518450   8873737     12.69     13.48  --
2548.04/637.91	c  N dy  6420   1617027      2498      8429    571706     69258   1518450   5032294     12.70     21.29  --
2583.57/646.84	c  N dy  6517   1637446      2498      8429    571706     89110   1518450   7470290     12.72     13.56  --
2630.30/658.59	c  N dy  6624   1657846      2498      8429    571706     54581   1518450   3247104     12.75     13.50  --
2660.66/666.18	c  N dy  6711   1679804      2498      8429    571706     75876   1518450   6046339     12.76     13.46  --
2699.81/675.97	c  N dy  6802   1699898      2498      8429    571706     95373   1518450   8615935     12.77     13.49  --
2723.38/681.86	c  S st  6852   1710185      2498      8429    571706    105293   1518450   9859468     12.78   no data  --
2724.56/682.16	c  S st  6852   1710686      2498      8429    571706    105793   1518450   9924526     12.78   no data  --
2724.56/682.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2724.56/682.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2742.94/686.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 122.5M T: 18.35
2744.54/687.19	c bin-w-bin subsume rem            0 bins  time:  0.27 s
2752.14/689.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.52 s
2752.54/689.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
2752.54/689.19	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
3197.93/800.67	c lits-rem:      1865  cl-subs:     6724  v-elim:      0  v-fix:    0  time: 444.43 s
3197.93/800.68	c vivif2 --  cl tried     8429 cl shrink        1 lits rem          1 time: 0.03
3199.11/800.92	c vivif2 --  cl tried    99069 cl shrink       75 lits rem         75 time: 0.95
3200.71/801.30	c asymm  cl-useful: 0/216/8429 lits-rem:0 time: 1.52
3200.71/801.31	c calculated reachability. Time: 0.01
3200.71/801.31	c  N dy  6852   1710686      2498      8429    571706     99069   1518448   9731872     12.78   no data  --
3239.06/810.93	c  N dy  6927   1730784      2498      8429    571707     63443   1518448   4516818     12.79     24.18  --
3269.41/818.54	c  N dy  7006   1750873      2498      8429    571707     82973   1518448   6916943     12.80     16.90  --
3310.96/828.90	c  N dy  7108   1770912      2498      8429    571707    102401   1518448   9351525     12.81     13.59  --
3343.34/837.07	c  N dy  7168   1792481      2498      8429    571707     67061   1518448   4675733     12.80     13.57  --
3372.08/844.20	c  N dy  7225   1812799      2498      8429    571707     86779   1518448   7002370     12.79     13.49  --
3412.02/854.22	c  N dy  7315   1833472      2498      8429    571707    106784   1518448   9301121     12.80     13.53  --
3444.40/862.37	c  N dy  7357   1853943      2498      8429    571707     69454   1518448   4548027     12.79     13.56  --
3478.33/870.80	c  N dy  7455   1876173      2498      8429    571707     90863   1518448   7003315     12.81     13.50  --
3523.49/882.14	c  N dy  7529   1896254      2498      8429    571707    110342   1518448   9118626     12.81     32.50  --
3560.22/891.38	c  N dy  7608   1916273      2498      8429    571707     71633   1518448   5288774     12.82     13.50  --
3592.97/899.56	c  N dy  7690   1936445      2498      8429    571707     91209   1518448   7510581     12.83     13.62  --
3629.72/908.71	c  N dy  7738   1956755      2498      8429    571708    110920   1518448   9615902     12.82     13.76  --
3661.68/916.77	c  N dy  7808   1976826      2498      8429    571708     71315   1518448   5136303     12.82     13.51  --
3695.24/925.13	c  N dy  7866   1997076      2498      8429    571708     90826   1518448   7267850     12.81     13.49  --
3739.18/936.14	c  N dy  7937   2017143      2498      8429    571708    110269   1518448   9726795     12.81     28.00  --
3781.12/946.65	c  N dy  8012   2037396      2498      8429    571708     69843   1518448   4868995     12.82     13.78  --
3816.28/955.45	c  N dy  8054   2057626      2498      8429    571708     89448   1518448   6932619     12.81     13.58  --
3857.81/965.88	c  N dy  8128   2077805      2498      8429    571708    108998   1518448   9183739     12.81     13.50  --
3898.55/976.04	c  N dy  8188   2097813      2498      8429    571708     67297   1518448   4574717     12.81     16.75  --
3932.51/984.54	c  N dy  8269   2117992      2498      8429    571708     86883   1518448   6889849     12.81     13.66  --
3976.44/995.50	c  N dy  8333   2139297      2498      8429    571708    107521   1518448   9530754     12.81     13.49  --
4031.97/1009.44	c  N dy  8425   2161842      2498      8429    571708     67332   1518448   4574388     12.82     13.79  --
4073.11/1019.78	c  N dy  8520   2182735      2498      8429    571708     87617   1518448   7110747     12.82     13.59  --
4127.44/1033.31	c  N dy  8618   2202967      2498      8429    571708    107195   1518447   9417697     12.84     13.67  --
4150.21/1039.06	c  S st  8655   2210687      2498      8429    571708    114657   1518447  10412864     12.85   no data  --
4152.20/1039.51	c  S st  8655   2211189      2498      8429    571708    115157   1518447  10481581     12.85   no data  --
4152.20/1039.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
4152.20/1039.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4174.17/1045.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 124.9M T: 21.84
4175.77/1045.40	c bin-w-bin subsume rem            0 bins  time:  0.27 s
4184.15/1047.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.37 s
4184.15/1047.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
4184.55/1047.62	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
4746.19/1188.26	c lits-rem:      4034  cl-subs:     6822  v-elim:      0  v-fix:    0  time: 561.03 s
4746.19/1188.26	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
4747.38/1188.54	c vivif2 --  cl tried   108335 cl shrink       64 lits rem         64 time: 1.08
4748.99/1188.95	c asymm  cl-useful: 0/222/8429 lits-rem:0 time: 1.64
4748.99/1188.97	c calculated reachability. Time: 0.01
4748.99/1188.97	c  N dy  8655   2211189      2498      8429    571708    108335   1518447  10287775     12.85   no data  --

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-3250891-1304181887/watcher-3250891-1304181887 -o /tmp/evaluation-result-3250891-1304181887/solver-3250891-1304181887 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3250891-1304181887.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.18 8.09 8.01 5/180 1319
/proc/meminfo: memFree=22988912/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 608419431 52465664 351 33554432000 4194304 4650419 140736807094528 18446744073709551615 47770418685874 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 12809 351 303 112 0 7774 0
[pid=1319/tid=1320] ppid=1317 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 608419432 52465664 353 33554432000 4194304 4650419 140736807094528 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 608419432 52465664 353 33554432000 4194304 4650419 140736807094528 18446744073709551615 47770418685874 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 608419432 52465664 353 33554432000 4194304 4650419 140736807094528 18446744073709551615 47770418685868 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0700831 s]
/proc/loadavg: 8.18 8.09 8.01 5/180 1319
/proc/meminfo: memFree=22988912/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=291388 CPUtime=0.24 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 9835 0 0 0 20 4 0 0 18 0 4 0 608419431 298381312 9613 33554432000 4194304 4650419 140736807094528 18446744073709551615 216734875403 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 72979 10092 343 112 0 67944 0
[pid=1319/tid=1320] ppid=1317 vsize=292180 CPUtime=0.06 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) D 1317 1319 510 0 -1 4202560 2571 0 0 0 5 1 0 0 18 0 4 0 608419432 299192320 10387 33554432000 4194304 4650419 140736807094528 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=292844 CPUtime=0.07 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 2679 0 0 0 6 1 0 0 18 0 4 0 608419432 299872256 11012 33554432000 4194304 4650419 140736807094528 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=293636 CPUtime=0.07 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 3025 0 0 0 7 0 0 0 18 0 4 0 608419432 300683264 11639 33554432000 4194304 4650419 140736807094528 18446744073709551615 4263581 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 291388

[startup+0.128157 s]
/proc/loadavg: 8.18 8.09 8.01 5/180 1319
/proc/meminfo: memFree=22988912/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=296048 CPUtime=0.48 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 15683 0 0 0 41 7 0 0 18 0 4 0 608419431 303153152 15448 33554432000 4194304 4650419 140736807094528 18446744073709551615 216734839841 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 74012 15749 371 112 0 68977 0
[pid=1319/tid=1320] ppid=1317 vsize=296048 CPUtime=0.11 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) D 1317 1319 510 0 -1 4202560 4108 0 0 0 10 1 0 0 18 0 4 0 608419432 303153152 16068 33554432000 4194304 4650419 140736807094528 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=361584 CPUtime=0.12 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 4171 0 0 0 11 1 0 0 18 0 4 0 608419432 370262016 16376 33554432000 4194304 4650419 140736807094528 18446744073709551615 4245015 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=361716 CPUtime=0.13 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 3728 0 0 0 12 1 0 0 18 0 4 0 608419432 370397184 16594 33554432000 4194304 4650419 140736807094528 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 296048

[startup+0.458366 s]
/proc/loadavg: 8.18 8.09 8.01 5/180 1319
/proc/meminfo: memFree=22988912/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=362936 CPUtime=1.77 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) D 1317 1319 510 0 -1 4202496 20783 0 0 0 168 9 0 0 18 0 4 0 608419431 371646464 20548 33554432000 4194304 4650419 140736807094528 18446744073709551615 4551064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 90734 20564 383 112 0 85699 0
[pid=1319/tid=1320] ppid=1317 vsize=362936 CPUtime=0.43 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) D 1317 1319 510 0 -1 4202560 5226 0 0 0 41 2 0 0 18 0 4 0 608419432 371646464 20585 33554432000 4194304 4650419 140736807094528 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=362936 CPUtime=0.43 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 5350 0 0 0 42 1 0 0 18 0 4 0 608419432 371646464 20614 33554432000 4194304 4650419 140736807094528 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=362936 CPUtime=0.44 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 4692 0 0 0 43 1 0 0 18 0 4 0 608419432 371646464 20631 33554432000 4194304 4650419 140736807094528 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 362936

[startup+1.47767 s]
/proc/loadavg: 8.18 8.09 8.01 5/180 1319
/proc/meminfo: memFree=22988912/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=374828 CPUtime=5.83 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 38178 0 0 0 568 15 0 0 19 0 4 0 608419431 383823872 33307 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 93707 33307 392 112 0 88672 0
[pid=1319/tid=1320] ppid=1317 vsize=374828 CPUtime=1.44 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 10533 0 0 0 140 4 0 0 19 0 4 0 608419432 383823872 33307 33554432000 4194304 4650419 140736807094528 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=374828 CPUtime=1.44 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 9388 0 0 0 141 3 0 0 19 0 4 0 608419432 383823872 33307 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=374828 CPUtime=1.45 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 7263 0 0 0 144 1 0 0 19 0 4 0 608419432 383823872 33307 33554432000 4194304 4650419 140736807094528 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 374828

[startup+1.57766 s]
/proc/loadavg: 8.18 8.09 8.01 5/180 1319
/proc/meminfo: memFree=22988912/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=378032 CPUtime=6.23 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 39179 0 0 0 608 15 0 0 19 0 4 0 608419431 387104768 33228 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 94508 33228 392 112 0 89473 0
[pid=1319/tid=1320] ppid=1317 vsize=378032 CPUtime=1.54 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 10615 0 0 0 150 4 0 0 19 0 4 0 608419432 387104768 33228 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=378032 CPUtime=1.54 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 10155 0 0 0 151 3 0 0 19 0 4 0 608419432 387104768 33228 33554432000 4194304 4650419 140736807094528 18446744073709551615 4361023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=378032 CPUtime=1.55 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 7365 0 0 0 154 1 0 0 20 0 4 0 608419432 387104768 33228 33554432000 4194304 4650419 140736807094528 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 378032

[startup+3.10039 s]
/proc/loadavg: 8.18 8.09 8.01 9/184 1323
/proc/meminfo: memFree=22841696/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=381932 CPUtime=12.31 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 50222 0 0 0 1215 16 0 0 22 0 4 0 608419431 391098368 36457 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 95483 36457 393 112 0 90448 0
[pid=1319/tid=1320] ppid=1317 vsize=381932 CPUtime=3.05 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 12824 0 0 0 301 4 0 0 23 0 4 0 608419432 391098368 36463 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=381932 CPUtime=3.07 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 12783 0 0 0 303 4 0 0 22 0 4 0 608419432 391098368 36463 33554432000 4194304 4650419 140736807094528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=381932 CPUtime=3.08 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 10343 0 0 0 306 2 0 0 25 0 4 0 608419432 391098368 36463 33554432000 4194304 4650419 140736807094528 18446744073709551615 4350808 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 381932

[startup+6.30084 s]
/proc/loadavg: 8.17 8.09 8.01 9/184 1323
/proc/meminfo: memFree=22805488/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=470536 CPUtime=25.09 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 71658 0 0 0 2489 20 0 0 25 0 4 0 608419431 481828864 50904 33554432000 4194304 4650419 140736807094528 18446744073709551615 4436405 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 117634 50904 394 112 0 112599 0
[pid=1319/tid=1320] ppid=1317 vsize=470536 CPUtime=6.24 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 18102 0 0 0 619 5 0 0 25 0 4 0 608419432 481828864 50904 33554432000 4194304 4650419 140736807094528 18446744073709551615 4345578 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=470536 CPUtime=6.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 16008 0 0 0 623 4 0 0 25 0 4 0 608419432 481828864 50904 33554432000 4194304 4650419 140736807094528 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=470536 CPUtime=6.28 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 15817 0 0 0 625 3 0 0 25 0 4 0 608419432 481828864 50904 33554432000 4194304 4650419 140736807094528 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 470536

[startup+12.7007 s]
/proc/loadavg: 8.16 8.08 8.01 9/184 1323
/proc/meminfo: memFree=22721292/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=539144 CPUtime=50.66 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 99756 0 0 0 5040 26 0 0 25 0 4 0 608419431 552083456 65232 33554432000 4194304 4650419 140736807094528 18446744073709551615 4436434 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 134786 65232 394 112 0 129751 0
[pid=1319/tid=1320] ppid=1317 vsize=539144 CPUtime=12.61 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 26297 0 0 0 1254 7 0 0 25 0 4 0 608419432 552083456 65232 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=539144 CPUtime=12.66 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 24531 0 0 0 1260 6 0 0 25 0 4 0 608419432 552083456 65232 33554432000 4194304 4650419 140736807094528 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=539144 CPUtime=12.68 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 21993 0 0 0 1264 4 0 0 25 0 4 0 608419432 552083456 65232 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 539144

[startup+25.5005 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 1323
/proc/meminfo: memFree=22626552/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=535780 CPUtime=101.79 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 145754 0 0 0 10145 34 0 0 25 0 4 0 608419431 548638720 88104 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 133945 88104 394 112 0 128910 0
[pid=1319/tid=1320] ppid=1317 vsize=535780 CPUtime=25.34 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 40506 0 0 0 2525 9 0 0 25 0 4 0 608419432 548638720 88104 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=535780 CPUtime=25.47 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 33057 0 0 0 2539 8 0 0 25 0 4 0 608419432 548638720 88104 33554432000 4194304 4650419 140736807094528 18446744073709551615 4339794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=535780 CPUtime=25.48 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 32513 0 0 0 2542 6 0 0 25 0 4 0 608419432 548638720 88105 33554432000 4194304 4650419 140736807094528 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 535780

[startup+51.101 s]
/proc/loadavg: 8.15 8.09 8.01 9/184 1324
/proc/meminfo: memFree=22463408/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=764192 CPUtime=204.04 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 228079 0 0 0 20353 51 0 0 25 0 4 0 608419431 782532608 124200 33554432000 4194304 4650419 140736807094528 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 191048 124200 394 112 0 186013 0
[pid=1319/tid=1320] ppid=1317 vsize=764192 CPUtime=50.79 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 53990 0 0 0 5067 12 0 0 25 0 4 0 608419432 782532608 124200 33554432000 4194304 4650419 140736807094528 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=764192 CPUtime=51.07 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 50597 0 0 0 5096 11 0 0 25 0 4 0 608419432 782532608 124200 33554432000 4194304 4650419 140736807094528 18446744073709551615 4329039 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=764192 CPUtime=51.08 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 57398 0 0 0 5096 12 0 0 25 0 4 0 608419432 782532608 124200 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 764192

[startup+102.301 s]
/proc/loadavg: 8.13 8.09 8.01 9/184 1325
/proc/meminfo: memFree=22358700/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=939612 CPUtime=408.56 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 341140 0 0 0 40782 74 0 0 25 0 4 0 608419431 962162688 146119 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 234903 146119 394 112 0 229868 0
[pid=1319/tid=1320] ppid=1317 vsize=939612 CPUtime=101.71 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 77458 0 0 0 10154 17 0 0 25 0 4 0 608419432 962162688 146119 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=939612 CPUtime=102.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 80166 0 0 0 10209 18 0 0 25 0 4 0 608419432 962162688 146119 33554432000 4194304 4650419 140736807094528 18446744073709551615 4310544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=939612 CPUtime=102.28 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 97790 0 0 0 10209 19 0 0 25 0 4 0 608419432 962162688 146119 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 939612

[startup+162.301 s]

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

[pid=1319] ppid=1317 vsize=1534260 CPUtime=2805.26 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 1654518 0 0 0 280127 399 0 0 25 0 4 0 608419431 1571082240 280778 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 383565 280778 394 112 0 378530 0
[pid=1319/tid=1320] ppid=1317 vsize=1534260 CPUtime=698.56 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 309009 0 0 0 69767 89 0 0 25 0 4 0 608419432 1571082240 280778 33554432000 4194304 4650419 140736807094528 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1534260 CPUtime=702.26 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 422144 0 0 0 70119 107 0 0 25 0 4 0 608419432 1571082240 280778 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1534260 CPUtime=702.15 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 315380 0 0 0 70134 81 0 0 25 0 4 0 608419432 1571082240 280778 33554432000 4194304 4650419 140736807094528 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 1534260

[startup+762.301 s]
/proc/loadavg: 8.17 8.08 8.02 9/184 1374
/proc/meminfo: memFree=21410456/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1600844 CPUtime=3044.93 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 1768810 0 0 0 304064 429 0 0 25 0 4 0 608419431 1639264256 286912 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 400211 286912 394 112 0 395176 0
[pid=1319/tid=1320] ppid=1317 vsize=1600844 CPUtime=758.56 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 332903 0 0 0 75757 99 0 0 25 0 4 0 608419432 1639264256 286912 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1600844 CPUtime=762.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 456455 0 0 0 76113 114 0 0 25 0 4 0 608419432 1639264256 286912 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1600844 CPUtime=761.8 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 336364 0 0 0 76092 88 0 0 25 0 4 0 608419432 1639264256 286912 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 1600844

[startup+822.301 s]
/proc/loadavg: 8.10 8.08 8.02 9/184 1376
/proc/meminfo: memFree=21418604/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1520492 CPUtime=3284.59 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2119323 0 0 0 327968 491 0 0 25 0 4 0 608419431 1556983808 287952 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 380123 287952 394 112 0 375088 0
[pid=1319/tid=1320] ppid=1317 vsize=1520492 CPUtime=818.55 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 356505 0 0 0 81748 107 0 0 25 0 4 0 608419432 1556983808 287952 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1520492 CPUtime=822.26 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 483501 0 0 0 82103 123 0 0 25 0 4 0 608419432 1556983808 287952 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1520492 CPUtime=821.48 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 359754 0 0 0 82051 97 0 0 25 0 4 0 608419432 1556983808 287952 33554432000 4194304 4650419 140736807094528 18446744073709551615 4327515 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.59
Current children cumulated vsize (KiB) 1520492

[startup+882.3 s]
/proc/loadavg: 8.04 8.06 8.01 9/184 1377
/proc/meminfo: memFree=21256496/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1524252 CPUtime=3524.26 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2216661 0 0 0 351908 518 0 0 25 0 4 0 608419431 1560834048 292978 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 381063 292978 394 112 0 376028 0
[pid=1319/tid=1320] ppid=1317 vsize=1524252 CPUtime=878.55 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 375306 0 0 0 87743 112 0 0 25 0 4 0 608419432 1560834048 292978 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476797 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1524252 CPUtime=882.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 521841 0 0 0 88095 132 0 0 25 0 4 0 608419432 1560834048 292978 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476403 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1524252 CPUtime=881.15 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 376688 0 0 0 88012 103 0 0 25 0 4 0 608419432 1560834048 292978 33554432000 4194304 4650419 140736807094528 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.26
Current children cumulated vsize (KiB) 1524252

[startup+942.301 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 1379
/proc/meminfo: memFree=21093916/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1700992 CPUtime=3763.95 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2273655 0 0 0 375854 541 0 0 25 0 4 0 608419431 1741815808 316272 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 425248 316272 394 112 0 420213 0
[pid=1319/tid=1320] ppid=1317 vsize=1700992 CPUtime=938.56 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 384889 0 0 0 93738 118 0 0 25 0 4 0 608419432 1741815808 316272 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1700992 CPUtime=942.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 545606 0 0 0 94087 140 0 0 25 0 4 0 608419432 1741815808 316272 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1700992 CPUtime=940.82 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 383876 0 0 0 93977 105 0 0 25 0 4 0 608419432 1741815808 316272 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.95
Current children cumulated vsize (KiB) 1700992

[startup+1002.3 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 1389
/proc/meminfo: memFree=21016316/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1756644 CPUtime=4003.6 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2327087 0 0 0 399798 562 0 0 25 0 4 0 608419431 1798803456 329981 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 439161 329981 394 112 0 434126 0
[pid=1319/tid=1320] ppid=1317 vsize=1756644 CPUtime=998.55 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 393022 0 0 0 99734 121 0 0 25 0 4 0 608419432 1798803456 329982 33554432000 4194304 4650419 140736807094528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1756644 CPUtime=1002.26 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 568678 0 0 0 100078 148 0 0 25 0 4 0 608419432 1798803456 329982 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1756644 CPUtime=1000.49 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 383876 0 0 0 99944 105 0 0 25 0 4 0 608419432 1798803456 329982 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.6
Current children cumulated vsize (KiB) 1756644

[startup+1062.3 s]
/proc/loadavg: 8.16 8.07 8.01 9/184 1391
/proc/meminfo: memFree=20873448/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1853384 CPUtime=4243.29 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2592328 0 0 0 423726 603 0 0 25 0 4 0 608419431 1897865216 358754 33554432000 4194304 4650419 140736807094528 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 463346 358754 394 112 0 458311 0
[pid=1319/tid=1320] ppid=1317 vsize=1853384 CPUtime=1058.55 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 409656 0 0 0 105727 128 0 0 25 0 4 0 608419432 1897865216 358754 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1853384 CPUtime=1062.26 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 582497 0 0 0 106076 150 0 0 25 0 4 0 608419432 1897865216 358754 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1853384 CPUtime=1060.17 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 608390 0 0 0 105883 134 0 0 25 0 4 0 608419432 1897865216 358754 33554432000 4194304 4650419 140736807094528 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.29
Current children cumulated vsize (KiB) 1853384

[startup+1122.3 s]
/proc/loadavg: 8.18 8.09 8.01 9/184 1393
/proc/meminfo: memFree=20907900/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1791484 CPUtime=4482.95 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2650698 0 0 0 447675 620 0 0 25 0 4 0 608419431 1834479616 348976 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 447871 348976 394 112 0 442836 0
[pid=1319/tid=1320] ppid=1317 vsize=1791484 CPUtime=1118.55 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 423264 0 0 0 111721 134 0 0 25 0 4 0 608419432 1834479616 348976 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1791484 CPUtime=1122.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 588470 0 0 0 112075 152 0 0 25 0 4 0 608419432 1834479616 348976 33554432000 4194304 4650419 140736807094528 18446744073709551615 4363754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1791484 CPUtime=1119.82 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 617483 0 0 0 111843 139 0 0 25 0 4 0 608419432 1834479616 348976 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.95
Current children cumulated vsize (KiB) 1791484

[startup+1182.3 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 1394
/proc/meminfo: memFree=21004356/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1661272 CPUtime=4722.63 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 2973909 0 0 0 471591 672 0 0 25 0 4 0 608419431 1701142528 319899 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 415318 319899 426 112 0 410283 0
[pid=1319/tid=1320] ppid=1317 vsize=1661272 CPUtime=1178.57 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 438069 0 0 0 117716 141 0 0 25 0 4 0 608419432 1701142528 319803 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1661272 CPUtime=1182.27 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 604290 0 0 0 118069 158 0 0 25 0 4 0 608419432 1701142528 319803 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1661272 CPUtime=1179.5 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 625724 0 0 0 117806 144 0 0 25 0 4 0 608419432 1701142528 319803 33554432000 4194304 4650419 140736807094528 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.63
Current children cumulated vsize (KiB) 1661272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 1395
/proc/meminfo: memFree=20986996/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1595728 CPUtime=4800.12 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 3001787 0 0 0 479333 679 0 0 25 0 4 0 608419431 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 398932 324324 394 112 0 393897 0
[pid=1319/tid=1320] ppid=1317 vsize=1595728 CPUtime=1197.97 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 438069 0 0 0 119656 141 0 0 25 0 4 0 608419432 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1595728 CPUtime=1201.68 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 607370 0 0 0 120008 160 0 0 25 0 4 0 608419432 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1595728 CPUtime=1198.79 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 629049 0 0 0 119733 146 0 0 25 0 4 0 608419432 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1595728

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 1395
/proc/meminfo: memFree=20986996/32951124 swapFree=67102140/67111528
[pid=1319] ppid=1317 vsize=1595728 CPUtime=4800.12 cores=0,2,4,6
/proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 510 0 -1 4202496 3001787 0 0 0 479333 679 0 0 25 0 4 0 608419431 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1319/statm: 398932 324324 394 112 0 393897 0
[pid=1319/tid=1320] ppid=1317 vsize=1595728 CPUtime=1197.97 cores=0,2,4,6
/proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 510 0 -1 4202560 438069 0 0 0 119656 141 0 0 25 0 4 0 608419432 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1319/tid=1321] ppid=1317 vsize=1595728 CPUtime=1201.68 cores=0,2,4,6
/proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 510 0 -1 4202560 607370 0 0 0 120008 160 0 0 25 0 4 0 608419432 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1319/tid=1322] ppid=1317 vsize=1595728 CPUtime=1198.79 cores=0,2,4,6
/proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 510 0 -1 4202560 629049 0 0 0 119733 146 0 0 25 0 4 0 608419432 1634025472 324324 33554432000 4194304 4650419 140736807094528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1595728

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.22
CPU user time (s): 4793.36
CPU system time (s): 6.85996
CPU usage (%): 399.428
Max. virtual memory (cumulated for all children) (KiB): 1853384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.36
system time used= 6.85996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3001789
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= 9797
involuntary context switches= 21566

runsolver used 1.89671 second user time and 4.6173 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-30 18:44:48
IDJOB=3250891
IDBENCH=88204
IDSOLVER=1588
FILE ID=node119/3250891-1304181887
RUNJOBID= node119-1304180865-1176
PBS_JOBID= 13172435
Free space on /tmp= 73004 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250891-1304181887/watcher-3250891-1304181887 -o /tmp/evaluation-result-3250891-1304181887/solver-3250891-1304181887 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3250891-1304181887.cnf

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=611968224

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22989068 kB
Buffers:       1954540 kB
Cached:        6975428 kB
SwapCached:       3688 kB
Active:         894420 kB
Inactive:      8491880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22989068 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           13692 kB
Writeback:           0 kB
AnonPages:      455404 kB
Mapped:          15372 kB
Slab:           512244 kB
PageTables:       5944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   734152 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= 72992 MiB
End job on node119 at 2011-04-30 19:04:51