Trace number 3369109

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369109-1305433735.cnf'
0.00/0.01	c -- header says num vars:           2548
0.00/0.01	c -- header says num clauses:      582679
0.34/0.11	c -- clauses added:            0 learnts,       582679 normals,            0 xors
0.34/0.11	c -- vars added       2548
0.34/0.12	c Parsing time:  0.32 s
0.34/0.12	c  N st     0         0      2548        50    582629         0   1167806         0   no data   no data  --
0.34/0.12	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
0.34/0.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.35
0.34/0.45	c bin-w-bin subsume rem            0 bins  time:  0.48 s
0.34/0.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.37 s
1.76/0.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2548 time:  0.24 s
1.76/0.55	c Removed useless bin:       0  fixed:     0  props:   2.92M  time:  0.23 s
5.51/1.44	c lits-rem:        54  cl-subs:        0  v-elim:     50  v-fix:    0  time:  0.74 s
5.51/1.44	c Finding binary XORs  T:     0.04 s  found:       0
5.51/1.44	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
5.51/1.44	c calculated reachability. Time: 0.01
5.51/1.44	c Calc default polars -  time:   0.02 s pos:       0 undec:      50 neg:    2498
5.51/1.44	c =========================================================================================
5.51/1.44	c types(t): F = full restart, N = normal restart
5.51/1.44	c types(t): S = simplification begin/end, E = solution found
5.51/1.44	c restart types(rt): st = static, dy = dynamic
5.51/1.44	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.51/1.44	c  B st     0         0      2498      8429    571702         0   1630851         0   no data   no data  --
5.51/1.44	c  N dy    13      4191      2498      8429    571702      4075   1630844    631943      9.45     10.28  --
7.10/1.82	c  N dy    32      8619      2498      8429    571702      5956   1630833    545253      9.27      9.79  --
9.10/2.36	c  N dy    57     12666      2498      8429    571702      5761   1630830    524311      9.73     12.62  --
11.50/2.97	c  N dy    84     17236      2498      8429    571702     10250   1630828   1016946      9.90     10.53  --
13.49/3.48	c  N dy   101     21302      2498      8429    571702      8716   1630828    804967      9.86     10.38  --
15.48/3.95	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.67/4.74	c  N dy   122     30001      2498      8429    571702     10564   1630828    879800      9.76   no data  --
18.67/4.74	c  S st   122     30001      2498      8429    571702     10564   1630828    879800      9.76   no data  --
19.07/4.80	c  S st   122     30502      2498      8429    571702     11059   1630828    938207      9.76   no data  --
19.07/4.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
19.07/4.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.26/5.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.5M T:  3.16
22.66/5.73	c bin-w-bin subsume rem            0 bins  time:  0.28 s
27.85/7.08	c subs with bin:        0  lits-rem:      2255  v-fix:    0  time:  5.37 s
28.25/7.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
28.25/7.19	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
32.24/8.11	c lits-rem:      2768  cl-subs:      541  v-elim:      0  v-fix:    0  time:  3.65 s
33.04/8.38	c asymm  cl-useful: 605/1728/8429 lits-rem:8678 time: 1.06
33.04/8.39	c calculated reachability. Time: 0.01
33.04/8.39	c  N dy   122     30502      2498      8429    571702     10518   1613366    905318      9.76   no data  --
35.82/9.00	c  N dy   141     34752      2498      8429    571702     14714   1613366   1407324      9.77     10.29  --
38.25/9.65	c  N dy   157     39282      2498      8429    571702     11413   1613366    812857      9.70     10.24  --
40.61/10.20	c  N dy   181     43369      2498      8429    571702     15391   1613361   1396600      9.81     16.80  --
42.21/10.60	c  S st   200     45753      2498      8429    571702      8975   1613361    590643      9.94   no data  --
42.21/10.67	c  S st   200     46255      2498      8429    571702      9475   1613359    651171      9.94   no data  --
42.21/10.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.21/10.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.40/11.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 30.7M T:  3.02
45.80/11.54	c bin-w-bin subsume rem            0 bins  time:  0.27 s
50.99/12.84	c subs with bin:        0  lits-rem:      3156  v-fix:    0  time:  5.18 s
50.99/12.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
51.40/12.95	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.21 s
54.98/13.89	c lits-rem:      1509  cl-subs:      216  v-elim:      0  v-fix:    0  time:  3.73 s
55.38/13.91	c vivif2 --  cl tried     8429 cl shrink     6211 lits rem      89067 time: 0.10
55.38/13.93	c vivif2 --  cl tried     9259 cl shrink        0 lits rem          0 time: 0.08
56.21/14.12	c asymm  cl-useful: 0/1146/8429 lits-rem:0 time: 0.76
56.21/14.14	c calculated reachability. Time: 0.01
56.21/14.14	c  N dy   200     46255      2498      8429    571702      9259   1518549    640121      9.94   no data  --
58.17/14.67	c  N dy   225     50333      2498      8429    571702     13226   1518549   1207819     10.01     12.09  --
60.95/15.33	c  N dy   247     54612      2498      8429    571702     17384   1518549   1859250     10.15     10.85  --
63.75/16.04	c  N dy   277     58678      2498      8429    571702     11622   1518549    928263     10.26     16.36  --
66.14/16.63	c  N dy   298     62790      2498      8429    571702     15613   1518549   1498141     10.32     10.97  --
68.96/17.34	c  N dy   315     66824      2498      8429    571702     19510   1518549   2086277     10.33     14.43  --
70.93/17.88	c  S st   333     69382      2498      8429    571702     11306   1518549    917742     10.38      9.16  --
71.33/17.96	c  S st   333     69883      2498      8429    571702     11803   1518549    976844     10.38   no data  --
71.33/17.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
71.33/17.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.31/18.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 34.3M T:  3.79
75.71/19.03	c bin-w-bin subsume rem            0 bins  time:  0.27 s
80.91/20.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.40 s
81.31/20.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
81.71/20.50	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
86.09/21.60	c lits-rem:      1327  cl-subs:      198  v-elim:      0  v-fix:    0  time:  4.40 s
86.09/21.61	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
86.09/21.64	c vivif2 --  cl tried    11605 cl shrink        0 lits rem          0 time: 0.10
86.93/21.86	c asymm  cl-useful: 0/1022/8429 lits-rem:0 time: 0.90
86.93/21.88	c calculated reachability. Time: 0.01
86.93/21.88	c  N dy   333     69883      2498      8429    571702     11605   1518526    965909     10.38   no data  --
89.68/22.57	c  N dy   353     74594      2498      8429    571702     16201   1518526   1541988     10.42     11.03  --
93.27/23.45	c  N dy   376     79409      2498      8429    571702     20915   1518526   2171159     10.48     11.04  --
96.86/24.35	c  N dy   412     84565      2498      8429    571702     14245   1518525   1298004     10.59     11.61  --
98.86/24.81	c  F st   421     87502      2498      8429    571702     17119   1518525   1576480     10.56      7.88  --
101.65/25.51	c  N st   426     90800      2498      8429    571702     20329   1518525   2031548     10.56   no data  --
106.04/26.68	c  N dy   454     96601      2498      8429    571702     13299   1518525   1130891     10.66     14.00  --
110.43/27.71	c  N dy   487    102844      2498      8429    571702     19375   1518524   2028105     10.75     11.35  --
112.03/28.10	c  S st   499    104824      2498      8429    571702     21312   1518524   2274819     10.78   no data  --
112.43/28.21	c  S st   499    105324      2498      8429    571702     21809   1518524   2327279     10.78   no data  --
112.43/28.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
112.43/28.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.65/29.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 49.0M T:  5.13
118.00/29.67	c bin-w-bin subsume rem            0 bins  time:  0.27 s
123.59/31.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.27 s
123.59/31.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.23 s
123.99/31.11	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
138.36/34.74	c lits-rem:      3985  cl-subs:      735  v-elim:      0  v-fix:    0  time: 14.44 s
138.36/34.75	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
138.36/34.80	c vivif2 --  cl tried    21074 cl shrink        0 lits rem          0 time: 0.19
139.59/35.05	c asymm  cl-useful: 0/1515/8429 lits-rem:0 time: 1.01
139.59/35.07	c calculated reachability. Time: 0.01
139.59/35.07	c  N dy   499    105324      2498      8429    571702     21074   1518493   2281885     10.78   no data  --
146.33/36.77	c  N dy   538    112426      2498      8429    571702     14382   1518493   1271357     10.83     11.55  --
151.91/38.14	c  N dy   580    119682      2498      8429    571702     21447   1518493   2288432     10.90     13.22  --
159.50/40.07	c  N dy   621    127530      2498      8429    571702     29108   1518491   3541636     10.98     11.69  --
165.92/41.66	c  N dy   664    136227      2498      8429    571702     22997   1518490   2484381     11.00     11.59  --
173.86/43.68	c  N dy   714    144940      2498      8429    571702     15866   1518490   1250644     11.07     15.73  --
181.44/45.56	c  N dy   779    154277      2498      8429    571702     24967   1518489   2511547     11.33     26.70  --
184.63/46.37	c  S st   794    157988      2498      8429    571702     28551   1518489   3047473     11.34      9.30  --
185.03/46.49	c  S st   794    158490      2498      8429    571702     29049   1518489   3125700     11.34   no data  --
185.43/46.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
185.43/46.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
191.83/48.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.4M T:  6.50
192.61/48.31	c bin-w-bin subsume rem            0 bins  time:  0.27 s
198.20/49.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
198.20/49.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.23 s
198.60/49.84	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.22 s
218.94/54.96	c lits-rem:      1394  cl-subs:      634  v-elim:      0  v-fix:    0  time: 20.40 s
218.94/54.97	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
219.34/55.03	c vivif2 --  cl tried    28415 cl shrink        0 lits rem          0 time: 0.25
220.54/55.30	c asymm  cl-useful: 0/518/8429 lits-rem:0 time: 1.07
220.54/55.31	c calculated reachability. Time: 0.01
220.54/55.31	c  N dy   794    158490      2498      8429    571702     28415   1518477   3078916     11.34   no data  --
229.32/57.59	c  N dy   822    168690      2498      8429    571702     21806   1518477   1817500     11.28     11.90  --
238.49/59.86	c  N dy   864    179515      2498      8429    571702     32351   1518477   3294652     11.25     13.07  --
248.47/62.34	c  N dy   913    191100      2498      8429    571702     26030   1518477   2340296     11.30     12.00  --
260.84/65.43	c  N dy   964    203333      2498      8429    571702     19446   1518477   1441950     11.31     12.00  --
271.60/68.14	c  N dy  1023    216766      2498      8429    571702     32528   1518477   3216828     11.38     12.12  --
284.00/71.24	c  N dy  1082    230627      2498      8429    571702     26612   1518477   2358435     11.40     24.26  --
290.75/72.97	c  S st  1120    237735      2498      8429    571702     33514   1518477   3240419     11.43     11.95  --
291.15/73.08	c  S st  1120    238240      2498      8429    571702     34017   1518477   3313310     11.43   no data  --
291.55/73.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
291.55/73.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
299.13/75.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 58.2M T:  7.63
299.53/75.19	c bin-w-bin subsume rem            0 bins  time:  0.27 s
305.93/76.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.28 s
306.35/76.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
306.35/76.88	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
326.26/81.82	c lits-rem:       957  cl-subs:     1242  v-elim:      0  v-fix:    0  time: 19.67 s
326.26/81.83	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
326.66/81.90	c vivif2 --  cl tried    32775 cl shrink        0 lits rem          0 time: 0.29
327.46/82.17	c asymm  cl-useful: 0/608/8429 lits-rem:0 time: 1.10
327.46/82.19	c calculated reachability. Time: 0.01
327.46/82.19	c  N dy  1120    238240      2498      8429    571702     32775   1518475   3254776     11.43   no data  --
342.61/85.92	c  N dy  1194    253537      2498      8429    571702     27221   1518475   2401439     11.49     12.16  --
359.77/90.29	c  N dy  1263    269819      2498      8429    571702     21645   1518474   1462872     11.53     12.15  --
375.33/94.12	c  N dy  1337    287049      2498      8429    571702     38447   1518474   3694915     11.58     12.22  --
392.08/98.33	c  N dy  1440    305433      2498      8429    571702     33992   1518474   2876334     11.72     13.73  --
392.48/98.48	c  F st  1443    306252      2498      8429    571702     34785   1518474   2984018     11.72   no data  --
410.43/102.94	c  N dy  1507    325156      2498      8429    571702     29716   1518474   2250358     11.76     12.48  --
431.97/108.34	c  N dy  1589    345651      2498      8429    571702     25348   1518474   1634761     11.76     12.70  --
441.56/110.81	c  S st  1641    357360      2498      8429    571702     36731   1518474   3127024     11.77   no data  --
442.39/110.91	c  S st  1641    357865      2498      8429    571702     37235   1518474   3196368     11.77   no data  --
442.39/110.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
442.39/110.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
449.13/112.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.3M T:  6.70
449.53/112.77	c bin-w-bin subsume rem            0 bins  time:  0.27 s
455.55/114.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.96 s
455.90/114.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
455.90/114.39	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
475.46/119.22	c lits-rem:       453  cl-subs:     1324  v-elim:      0  v-fix:    0  time: 19.26 s
475.46/119.23	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
475.86/119.31	c vivif2 --  cl tried    35911 cl shrink        0 lits rem          0 time: 0.31
476.66/119.55	c asymm  cl-useful: 0/1060/8429 lits-rem:0 time: 0.97
476.66/119.57	c calculated reachability. Time: 0.01
476.66/119.57	c  N dy  1641    357865      2498      8429    571702     35911   1518459   3139044     11.77   no data  --
498.61/125.00	c  N dy  1725    378045      2498      8429    571703     30275   1518459   2252471     11.81     12.44  --
520.54/130.57	c  N dy  1847    398077      2498      8429    571703     49734   1518457   4928117     11.95     16.34  --
540.89/135.62	c  N dy  1899    418877      2498      8429    571703     43716   1518457   3658663     11.91     12.54  --
560.47/140.52	c  N dy  1986    439053      2498      8429    571704     36137   1518457   2651422     11.95     12.68  --
583.18/146.23	c  N dy  2092    460495      2498      8429    571704     28823   1518457   1784610     12.01     12.69  --
601.54/150.81	c  N dy  2187    480554      2498      8429    571704     48354   1518457   4001026     12.07     12.84  --
624.28/156.57	c  N dy  2277    503338      2498      8429    571704     41292   1518457   3298883     12.13     12.93  --
651.81/163.43	c  N dy  2392    523347      2498      8429    571704     30632   1518456   1894642     12.23     12.97  --
663.37/166.33	c  S st  2443    536797      2498      8429    571704     43647   1518456   3435350     12.22   no data  --
663.77/166.46	c  S st  2443    537301      2498      8429    571704     44150   1518456   3502557     12.22   no data  --
663.77/166.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
663.77/166.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
671.36/168.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 64.5M T:  7.40
672.15/168.51	c bin-w-bin subsume rem            0 bins  time:  0.27 s
677.34/169.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.44 s
677.74/169.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
677.74/169.99	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
699.28/175.30	c lits-rem:       458  cl-subs:     1951  v-elim:      0  v-fix:    0  time: 21.18 s
699.28/175.31	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
699.68/175.40	c vivif2 --  cl tried    42199 cl shrink       41 lits rem         42 time: 0.37
700.48/175.67	c asymm  cl-useful: 0/603/8429 lits-rem:0 time: 1.07
700.48/175.69	c calculated reachability. Time: 0.01
700.48/175.69	c  N dy  2443    537301      2498      8429    571704     42199   1518456   3438431     12.22   no data  --
724.40/181.60	c  N dy  2519    557624      2498      8429    571704     62012   1518456   5953272     12.23     12.88  --
743.57/186.40	c  N dy  2606    578457      2498      8429    571704     51228   1518456   4345933     12.26     13.20  --
767.49/192.46	c  N dy  2676    600115      2498      8429    571704     40150   1518456   2817950     12.27     13.06  --
790.24/198.18	c  N dy  2751    620300      2498      8429    571704     59773   1518456   5205923     12.28     12.95  --
814.18/204.15	c  N dy  2841    640794      2498      8429    571704     46742   1518456   3616257     12.30     13.01  --
838.51/210.27	c  N dy  2911    661437      2498      8429    571704     66780   1518456   5863962     12.29     12.96  --
858.88/215.40	c  N dy  2992    681453      2498      8429    571704     52268   1518456   4306251     12.31     19.72  --
884.39/221.77	c  N dy  3058    701495      2498      8429    571704     36686   1518456   2287514     12.32     13.92  --
904.33/226.70	c  N dy  3134    721683      2498      8429    571704     56356   1518456   4538386     12.33     13.14  --
930.26/233.22	c  N dy  3247    741768      2498      8429    571704     39874   1518454   2712071     12.40     13.18  --
953.41/239.04	c  N dy  3315    763332      2498      8429    571704     60886   1518454   5278465     12.38     13.04  --
981.34/246.00	c  N dy  3411    784515      2498      8429    571704     44449   1518454   3106492     12.44     13.10  --
1007.27/252.58	c  N dy  3494    804520      2498      8429    571704     63878   1518454   5805359     12.48     13.15  --
1008.85/252.98	c  S st  3495    805952      2498      8429    571704     65257   1518454   5961818     12.47      9.11  --
1010.05/253.23	c  S st  3495    806454      2498      8429    571704     65759   1518454   6015607     12.47   no data  --
1010.05/253.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1010.05/253.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1023.22/256.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 84.5M T: 13.15
1024.42/256.82	c bin-w-bin subsume rem            0 bins  time:  0.27 s
1031.60/258.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.26 s
1032.00/258.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
1032.00/258.76	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
1174.41/294.44	c lits-rem:       881  cl-subs:     3118  v-elim:      0  v-fix:    0  time: 142.13 s
1174.41/294.44	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
1174.83/294.59	c vivif2 --  cl tried    62641 cl shrink        0 lits rem          0 time: 0.57
1176.40/294.91	c asymm  cl-useful: 0/1136/8429 lits-rem:0 time: 1.30
1176.40/294.93	c calculated reachability. Time: 0.01
1176.40/294.93	c  N dy  3495    806454      2498      8429    571704     62641   1518453   5889110     12.47   no data  --
1207.12/302.65	c  N dy  3615    826525      2498      8429    571704     44292   1518453   3167420     12.56     24.81  --
1229.85/308.33	c  N dy  3677    846545      2498      8429    571704     63685   1518453   5167793     12.55     17.40  --
1256.99/315.18	c  N dy  3754    867280      2498      8429    571704     44977   1518453   2906415     12.56     13.24  --
1277.33/320.29	c  N dy  3810    887574      2498      8429    571704     64675   1518453   5466088     12.55     13.29  --
1304.86/327.10	c  N dy  3882    908178      2498      8429    571704     44837   1518453   2975781     12.55     13.38  --
1327.60/332.81	c  N dy  3974    928233      2498      8429    571704     64320   1518453   5788158     12.57     23.67  --
1357.52/340.39	c  N dy  4038    948397      2498      8429    571704     43152   1518453   2721380     12.56     13.38  --
1380.67/346.14	c  N dy  4113    968434      2498      8429    571704     62640   1518453   5173694     12.57     14.67  --
1413.37/354.36	c  N dy  4204    988572      2498      8429    571704     82216   1518453   7907796     12.59     13.26  --
1435.70/359.99	c  N dy  4262   1008587      2498      8429    571704     59802   1518453   4884700     12.59     19.73  --
1469.61/368.41	c  N dy  4337   1031157      2498      8429    571704     81729   1518453   7421186     12.59     13.32  --
1496.34/375.13	c  N dy  4393   1051183      2498      8429    571704     58444   1518452   4199142     12.58     43.82  --
1525.89/382.57	c  N dy  4466   1071454      2498      8429    571704     78113   1518452   6283248     12.59     13.29  --
1526.66/382.77	c  F st  4468   1071876      2498      8429    571704     78519   1518452   6328012     12.59      8.39  --
1557.37/390.47	c  N dy  4541   1091680      2498      8429    571704     54121   1518452   4092042     12.61     13.35  --
1591.71/399.01	c  N dy  4616   1111895      2498      8429    571704     73784   1518452   6327425     12.62     13.36  --
1629.19/408.49	c  N dy  4689   1131947      2498      8429    571704     48570   1518452   2969300     12.63     13.51  --
1652.73/414.33	c  N dy  4759   1151987      2498      8429    571704     68087   1518452   5270079     12.64     14.35  --
1683.04/421.96	c  N dy  4833   1172216      2498      8429    571704     87775   1518452   7843892     12.64     13.64  --
1711.36/429.05	c  N dy  4949   1192835      2498      8429    571705     62137   1518452   4641337     12.68     13.39  --
1736.10/435.31	c  S st  5014   1209681      2498      8429    571705     78504   1518452   6608417     12.68   no data  --
1737.29/435.51	c  S st  5014   1210183      2498      8429    571705     79003   1518452   6696281     12.68   no data  --
1737.29/435.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1737.29/435.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1750.10/438.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 82.9M T: 12.77
1751.25/439.02	c bin-w-bin subsume rem            0 bins  time:  0.27 s
1758.88/440.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.73 s
1759.23/441.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
1759.23/441.08	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
1951.12/489.21	c lits-rem:      1177  cl-subs:     4361  v-elim:      0  v-fix:    0  time: 191.74 s
1951.54/489.21	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
1951.96/489.39	c vivif2 --  cl tried    74642 cl shrink       65 lits rem         65 time: 0.70
1953.51/489.72	c asymm  cl-useful: 0/931/8429 lits-rem:0 time: 1.31
1953.51/489.73	c calculated reachability. Time: 0.01
1953.51/489.73	c  N dy  5014   1210183      2498      8429    571705     74642   1518452   6569843     12.68   no data  --
1991.80/499.31	c  N dy  5088   1231262      2498      8429    571705     48503   1518452   3036917     12.68     13.35  --
2014.14/504.94	c  N dy  5141   1251278      2498      8429    571705     67903   1518452   5109220     12.66     19.80  --
2043.27/512.20	c  N dy  5214   1271280      2498      8429    571705     87301   1518452   7032573     12.66     15.16  --
2067.20/518.21	c  N dy  5257   1291318      2498      8429    571705     59238   1518452   3967746     12.63     26.87  --
2092.38/524.54	c  N dy  5314   1311653      2498      8429    571705     78979   1518451   6385349     12.63     13.51  --
2124.25/532.57	c  N dy  5374   1331722      2498      8429    571705     49915   1518450   3037703     12.64     13.33  --
2149.01/538.75	c  N dy  5472   1351785      2498      8429    571705     69413   1518450   5422614     12.66     13.36  --
2179.72/546.42	c  N dy  5544   1371848      2498      8429    571705     88922   1518450   8009776     12.66     24.96  --
2213.21/554.89	c  N dy  5636   1392594      2498      8429    571705     59533   1518450   4078781     12.68     13.38  --
2239.94/561.58	c  N dy  5710   1412693      2498      8429    571705     79071   1518450   6242925     12.67     13.54  --
2270.26/569.17	c  N dy  5771   1432798      2498      8429    571705     98548   1518450   8247902     12.66     13.42  --
2295.38/575.47	c  N dy  5860   1452809      2498      8429    571705     67544   1518450   5366506     12.67     18.30  --
2329.34/583.94	c  N dy  5943   1473215      2498      8429    571705     87456   1518450   7695590     12.68     13.48  --
2369.59/594.09	c  N dy  6046   1494110      2498      8429    571705     56202   1518450   3579607     12.71     13.63  --
2392.73/599.89	c  N dy  6105   1514474      2498      8429    571705     75945   1518450   6023445     12.71     13.66  --
2425.46/608.06	c  N dy  6171   1534655      2498      8429    571705     95518   1518450   8038950     12.70     13.59  --
2456.18/615.79	c  N dy  6238   1555409      2498      8429    571705     63240   1518450   4475273     12.70     13.44  --
2489.28/624.04	c  N dy  6324   1575493      2498      8429    571705     82735   1518450   7016184     12.71     15.28  --
2534.35/635.39	c  N dy  6381   1596589      2498      8429    571705    103183   1518450   9174770     12.71     13.44  --
2565.89/643.26	c  N dy  6484   1616667      2498      8429    571705     69351   1518450   5302323     12.72     13.62  --
2604.96/653.07	c  N dy  6574   1636680      2498      8429    571705     88749   1518450   7765872     12.74     13.55  --
2658.45/666.42	c  N dy  6657   1656719      2498      8429    571705    108113   1518450  10022716     12.75     30.17  --
2688.33/673.99	c  N dy  6720   1677014      2498      8429    571705     73398   1518450   5612426     12.75     13.61  --
2728.24/683.94	c  N dy  6791   1698297      2498      8429    571705     93999   1518450   7988843     12.74     13.45  --
2752.96/690.11	c  S st  6843   1710183      2498      8429    571705    105485   1518450   9514833     12.75     10.06  --
2753.76/690.39	c  S st  6843   1710688      2498      8429    571705    105988   1518450   9584044     12.75   no data  --
2754.16/690.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
2754.16/690.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2772.90/695.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 117.6M T: 18.66
2774.49/695.54	c bin-w-bin subsume rem            0 bins  time:  0.27 s
2782.48/697.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.90 s
2782.48/697.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.23 s
2782.87/697.64	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
3192.57/800.30	c lits-rem:       808  cl-subs:     7187  v-elim:      0  v-fix:    0  time: 409.10 s
3192.57/800.31	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
3193.39/800.55	c vivif2 --  cl tried    98801 cl shrink        0 lits rem          0 time: 0.93
3194.96/800.91	c asymm  cl-useful: 0/234/8429 lits-rem:0 time: 1.46
3194.96/800.93	c calculated reachability. Time: 0.01
3194.96/800.93	c  N dy  6843   1710688      2498      8429    571705     98801   1518450   9395456     12.75   no data  --
3236.05/811.26	c  N dy  6934   1731897      2498      8429    571705     64224   1518450   4472772     12.76     13.54  --
3262.78/817.91	c  N dy  6996   1752344      2498      8429    571705     84094   1518450   6613726     12.75     13.43  --
3295.48/826.13	c  N dy  7051   1772626      2498      8429    571705    103727   1518450   9041107     12.74     13.53  --
3330.18/834.84	c  N dy  7155   1792796      2498      8429    571705     67142   1518450   4905265     12.77     13.45  --
3364.10/843.39	c  N dy  7270   1812902      2498      8429    571705     86680   1518450   7420137     12.80     13.61  --
3407.98/854.40	c  N dy  7338   1834149      2498      8429    571705    107268   1518450   9722828     12.80     13.49  --
3442.69/863.07	c  N dy  7438   1854404      2498      8429    571706     69727   1518450   5057645     12.81     13.50  --
3477.79/871.87	c  N dy  7503   1875026      2498      8429    571706     89653   1518450   7325959     12.81     13.52  --
3523.66/883.37	c  N dy  7603   1895125      2498      8429    571706    109117   1518450   9885086     12.83     16.77  --
3565.56/893.85	c  N dy  7686   1915888      2498      8429    571706     71085   1518449   5030286     12.84     13.97  --
3595.88/901.48	c  N dy  7741   1936229      2498      8429    571706     90867   1518449   7084707     12.83     13.88  --
3631.78/910.50	c  N dy  7821   1956390      2498      8429    571706    110480   1518449   9782232     12.83     13.51  --
3665.29/918.81	c  N dy  7876   1976419      2498      8429    571706     70753   1518449   4962313     12.83     25.77  --
3700.79/927.76	c  N dy  7957   1996478      2498      8429    571706     90164   1518449   7465479     12.83     17.63  --
3742.32/938.12	c  N dy  8036   2016557      2498      8429    571706    109587   1518449   9743075     12.84     23.98  --
3780.98/947.87	c  N dy  8109   2036566      2498      8429    571706     68893   1518449   4659055     12.84     13.63  --
3818.87/957.39	c  N dy  8205   2058038      2498      8429    571706     89701   1518449   7036995     12.86     14.77  --
3862.35/968.27	c  N dy  8278   2078067      2498      8429    571706    109085   1518449   9179798     12.85     14.95  --
3905.03/978.93	c  N dy  8376   2099050      2498      8429    571706     68417   1518449   4820654     12.87     13.59  --
3941.33/988.00	c  N dy  8453   2119602      2498      8429    571706     88257   1518448   7296289     12.87     13.64  --
3991.21/1000.53	c  N dy  8526   2139705      2498      8429    571707    107650   1518448   9514528     12.88     13.57  --
4049.07/1015.06	c  N dy  8582   2160912      2498      8429    571707     66239   1518448   4491794     12.87     13.55  --
4083.36/1023.62	c  N dy  8667   2180937      2498      8429    571707     85691   1518448   6786756     12.88     13.59  --
4124.44/1033.92	c  N dy  8704   2202421      2498      8429    571707    106409   1518448   8947663     12.87     13.55  --
4145.19/1039.15	c  S st  8747   2210688      2498      8429    571707    114402   1518448   9997391     12.87      8.90  --
4146.78/1039.51	c  S st  8747   2211190      2498      8429    571707    114903   1518448  10076517     12.87   no data  --
4146.78/1039.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
4146.78/1039.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4169.12/1045.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 128.0M T: 22.43
4170.72/1045.56	c bin-w-bin subsume rem            0 bins  time:  0.27 s
4179.89/1047.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.09 s
4180.29/1047.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2498 time:  0.24 s
4180.29/1047.97	c Removed useless bin:       0  fixed:     0  props:   2.87M  time:  0.23 s
4643.10/1163.97	c lits-rem:      3408  cl-subs:     7269  v-elim:      0  v-fix:    0  time: 462.36 s
4643.10/1163.98	c vivif2 --  cl tried     8429 cl shrink        1 lits rem          1 time: 0.03
4644.30/1164.24	c vivif2 --  cl tried   107634 cl shrink       68 lits rem         68 time: 1.04
4645.92/1164.62	c asymm  cl-useful: 0/242/8429 lits-rem:0 time: 1.49
4645.92/1164.64	c calculated reachability. Time: 0.01
4645.92/1164.64	c  N dy  8747   2211190      2498      8429    571707    107634   1518447   9868995     12.87   no data  --
4693.39/1176.59	c  N dy  8824   2231218      2498      8429    571709     64203   1518447   4326427     12.88     23.13  --
4724.10/1184.22	c  N dy  8895   2251251      2498      8429    571709     83689   1518447   6582597     12.88     33.19  --
4764.84/1194.44	c  N dy  8996   2271347      2498      8429    571709    103216   1518447   8949872     12.89     13.76  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.92 8.00 7.87 5/319 17183
/proc/meminfo: memFree=25237560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 387564812 52465664 357 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660662203 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 12809 357 306 112 0 7774 0
[pid=17183/tid=17184] ppid=17181 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 387564812 52465664 357 33554432000 4194304 4650419 140735851056528 18446744073709551615 47849457711020 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 387564812 52465664 357 33554432000 4194304 4650419 140735851056528 18446744073709551615 47849457710617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 387564812 52465664 357 33554432000 4194304 4650419 140735851056528 18446744073709551615 47849457710617 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0135851 s]
/proc/loadavg: 7.92 8.00 7.87 5/319 17183
/proc/meminfo: memFree=25237560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=248816 CPUtime=0.02 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1547 0 0 0 2 0 0 0 25 0 4 0 387564812 254787584 1463 33554432000 4194304 4650419 140735851056528 18446744073709551615 4373760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 66308 1470 343 112 0 61273 0
[pid=17183/tid=17184] ppid=17181 vsize=265232 CPUtime=0 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 284 0 0 0 0 0 0 0 25 0 4 0 387564812 271597568 1477 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660767214 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=273440 CPUtime=0 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 281 0 0 0 0 0 0 0 25 0 4 0 387564812 280002560 1484 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660324710 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=273440 CPUtime=0 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 294 0 0 0 0 0 0 0 25 0 4 0 387564812 280002560 1493 33554432000 4194304 4650419 140735851056528 18446744073709551615 4361457 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 248816

[startup+0.101101 s]
/proc/loadavg: 7.92 8.00 7.87 5/319 17183
/proc/meminfo: memFree=25237560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=294336 CPUtime=0.34 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 12603 0 0 0 29 5 0 0 18 0 4 0 387564812 301400064 12385 33554432000 4194304 4650419 140735851056528 18446744073709551615 4545938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 73650 12674 343 112 0 68615 0
[pid=17183/tid=17184] ppid=17181 vsize=294736 CPUtime=0.08 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) D 17181 17183 9395 0 -1 4202560 3067 0 0 0 7 1 0 0 18 0 4 0 387564812 301809664 12793 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=295004 CPUtime=0.08 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) D 17181 17183 9395 0 -1 4202560 3107 0 0 0 7 1 0 0 18 0 4 0 387564812 302084096 12931 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660358923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=295136 CPUtime=0.09 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 3164 0 0 0 7 2 0 0 18 0 4 0 387564812 302219264 13078 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 294336

[startup+0.459751 s]
/proc/loadavg: 7.92 8.00 7.87 5/319 17183
/proc/meminfo: memFree=25237560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=303616 CPUtime=1.76 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 21282 0 0 0 169 7 0 0 18 0 4 0 387564812 310902784 21052 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660323361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 75970 21183 383 112 0 70935 0
[pid=17183/tid=17184] ppid=17181 vsize=304012 CPUtime=0.43 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 5198 0 0 0 41 2 0 0 18 0 4 0 387564812 311308288 21281 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=304144 CPUtime=0.43 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 5449 0 0 0 42 1 0 0 18 0 4 0 387564812 311443456 21329 33554432000 4194304 4650419 140735851056528 18446744073709551615 4551312 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=304276 CPUtime=0.43 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 4777 0 0 0 41 2 0 0 18 0 4 0 387564812 311578624 21440 33554432000 4194304 4650419 140735851056528 18446744073709551615 4303903 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 303616

[startup+1.01492 s]
/proc/loadavg: 7.92 8.00 7.87 5/319 17183
/proc/meminfo: memFree=25237560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=329004 CPUtime=5.51 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 37541 0 0 0 538 13 0 0 19 0 4 0 387564812 336900096 35243 33554432000 4194304 4650419 140735851056528 18446744073709551615 268660705415 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 82251 34731 392 112 0 77216 0
[pid=17183/tid=17184] ppid=17181 vsize=329004 CPUtime=1.36 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) D 17181 17183 9395 0 -1 4202560 9747 0 0 0 132 4 0 0 18 0 4 0 387564812 336900096 34731 33554432000 4194304 4650419 140735851056528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=329004 CPUtime=1.36 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 9319 0 0 0 134 2 0 0 18 0 4 0 387564812 336900096 34731 33554432000 4194304 4650419 140735851056528 18446744073709551615 4331268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=329004 CPUtime=1.38 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 7026 0 0 0 135 3 0 0 19 0 4 0 387564812 336900096 34731 33554432000 4194304 4650419 140735851056528 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 329004

[startup+1.5333 s]
/proc/loadavg: 7.92 8.00 7.87 5/319 17183
/proc/meminfo: memFree=25237560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=327716 CPUtime=6.04 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 39508 0 0 0 591 13 0 0 19 0 4 0 387564812 335581184 33607 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 81929 33607 392 112 0 76894 0
[pid=17183/tid=17184] ppid=17181 vsize=327716 CPUtime=1.49 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 10633 0 0 0 145 4 0 0 19 0 4 0 387564812 335581184 33607 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=327716 CPUtime=1.5 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 10125 0 0 0 148 2 0 0 19 0 4 0 387564812 335581184 33607 33554432000 4194304 4650419 140735851056528 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=327716 CPUtime=1.51 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 7218 0 0 0 148 3 0 0 19 0 4 0 387564812 335581184 33607 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 327716

[startup+3.11302 s]
/proc/loadavg: 7.92 8.00 7.87 9/323 17187
/proc/meminfo: memFree=25061568/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=308456 CPUtime=12.33 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 50483 0 0 0 1218 15 0 0 22 0 4 0 387564812 315858944 36770 33554432000 4194304 4650419 140735851056528 18446744073709551615 4333905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 77114 36770 393 112 0 72079 0
[pid=17183/tid=17184] ppid=17181 vsize=308456 CPUtime=3.05 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 12750 0 0 0 301 4 0 0 22 0 4 0 387564812 315858944 36770 33554432000 4194304 4650419 140735851056528 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=308456 CPUtime=3.08 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 12725 0 0 0 305 3 0 0 22 0 4 0 387564812 315858944 36770 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=308456 CPUtime=3.08 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 10226 0 0 0 305 3 0 0 22 0 4 0 387564812 315858944 36770 33554432000 4194304 4650419 140735851056528 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 308456

[startup+6.30047 s]
/proc/loadavg: 7.93 8.00 7.87 9/323 17187
/proc/meminfo: memFree=24991632/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=388448 CPUtime=25.08 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 71747 0 0 0 2489 19 0 0 25 0 4 0 387564812 397770752 49773 33554432000 4194304 4650419 140735851056528 18446744073709551615 4436464 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 97112 49773 394 112 0 92077 0
[pid=17183/tid=17184] ppid=17181 vsize=388448 CPUtime=6.21 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 17753 0 0 0 616 5 0 0 25 0 4 0 387564812 397770752 49773 33554432000 4194304 4650419 140735851056528 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=388448 CPUtime=6.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 15885 0 0 0 624 4 0 0 25 0 4 0 387564812 397770752 49773 33554432000 4194304 4650419 140735851056528 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=388448 CPUtime=6.29 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 16797 0 0 0 625 4 0 0 25 0 4 0 387564812 397770752 49773 33554432000 4194304 4650419 140735851056528 18446744073709551615 4436173 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 388448

[startup+12.7003 s]
/proc/loadavg: 7.93 8.00 7.87 9/323 17187
/proc/meminfo: memFree=24883392/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=520256 CPUtime=50.59 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 101791 0 0 0 5034 25 0 0 25 0 4 0 387564812 532742144 69338 33554432000 4194304 4650419 140735851056528 18446744073709551615 4436173 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 130064 69339 394 112 0 125029 0
[pid=17183/tid=17184] ppid=17181 vsize=520256 CPUtime=12.54 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 27890 0 0 0 1247 7 0 0 25 0 4 0 387564812 532742144 69339 33554432000 4194304 4650419 140735851056528 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=520256 CPUtime=12.67 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 25562 0 0 0 1262 5 0 0 25 0 4 0 387564812 532742144 69339 33554432000 4194304 4650419 140735851056528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=520256 CPUtime=12.68 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 21662 0 0 0 1263 5 0 0 25 0 4 0 387564812 532742144 69339 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 520256

[startup+25.5011 s]
/proc/loadavg: 8.11 8.03 7.88 10/323 17187
/proc/meminfo: memFree=24800264/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=651576 CPUtime=101.65 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 148639 0 0 0 10131 34 0 0 25 0 4 0 387564812 667213824 95486 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 162894 95486 394 112 0 157859 0
[pid=17183/tid=17184] ppid=17181 vsize=651576 CPUtime=25.2 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 38730 0 0 0 2510 10 0 0 25 0 4 0 387564812 667213824 95486 33554432000 4194304 4650419 140735851056528 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=651576 CPUtime=25.47 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 33655 0 0 0 2540 7 0 0 25 0 4 0 387564812 667213824 95486 33554432000 4194304 4650419 140735851056528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=651576 CPUtime=25.48 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 38889 0 0 0 2540 8 0 0 25 0 4 0 387564812 667213824 95486 33554432000 4194304 4650419 140735851056528 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 651576

[startup+51.1006 s]
/proc/loadavg: 8.07 8.03 7.89 9/323 17188
/proc/meminfo: memFree=24649504/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=718812 CPUtime=203.78 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 213355 0 0 0 20329 49 0 0 25 0 4 0 387564812 736063488 114924 33554432000 4194304 4650419 140735851056528 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 179703 114924 394 112 0 174668 0
[pid=17183/tid=17184] ppid=17181 vsize=718812 CPUtime=50.54 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 49252 0 0 0 5041 13 0 0 25 0 4 0 387564812 736063488 114924 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=718812 CPUtime=51.07 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 50452 0 0 0 5096 11 0 0 25 0 4 0 387564812 736063488 114924 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=718812 CPUtime=51.08 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 64029 0 0 0 5094 14 0 0 25 0 4 0 387564812 736063488 114924 33554432000 4194304 4650419 140735851056528 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 718812

[startup+102.301 s]
/proc/loadavg: 8.03 8.02 7.89 9/323 17189
/proc/meminfo: memFree=23454928/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=963896 CPUtime=408.03 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 329850 0 0 0 40729 74 0 0 25 0 4 0 387564812 987029504 167338 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 240974 167338 394 112 0 235939 0
[pid=17183/tid=17184] ppid=17181 vsize=963896 CPUtime=101.2 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 75212 0 0 0 10101 19 0 0 25 0 4 0 387564812 987029504 167338 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=963896 CPUtime=102.27 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 81290 0 0 0 10209 18 0 0 25 0 4 0 387564812 987029504 167338 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=963896 CPUtime=102.27 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 108898 0 0 0 10205 22 0 0 25 0 4 0 387564812 987029504 167338 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 963896

[startup+162.301 s]

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

[pid=17183] ppid=17181 vsize=1392776 CPUtime=2562.26 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1267815 0 0 0 255884 342 0 0 25 0 4 0 387564812 1426202624 257585 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 348194 257585 394 112 0 343159 0
[pid=17183/tid=17184] ppid=17181 vsize=1392776 CPUtime=637.29 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 271833 0 0 0 63649 80 0 0 25 0 4 0 387564812 1426202624 257585 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1392776 CPUtime=642.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 300544 0 0 0 64136 92 0 0 25 0 4 0 387564812 1426202624 257585 33554432000 4194304 4650419 140735851056528 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1392776 CPUtime=640.39 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 504006 0 0 0 63926 113 0 0 25 0 4 0 387564812 1426202624 257585 33554432000 4194304 4650419 140735851056528 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.26
Current children cumulated vsize (KiB) 1392776

[startup+702.301 s]
/proc/loadavg: 8.08 8.10 7.98 10/323 17205
/proc/meminfo: memFree=19563264/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1306300 CPUtime=2801.63 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1554153 0 0 0 279768 395 0 0 25 0 4 0 387564812 1337651200 260881 33554432000 4194304 4650419 140735851056528 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 326575 260881 394 112 0 321540 0
[pid=17183/tid=17184] ppid=17181 vsize=1306300 CPUtime=697.29 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 291719 0 0 0 69642 87 0 0 25 0 4 0 387564812 1337651200 260881 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1306300 CPUtime=702.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 327229 0 0 0 70125 103 0 0 25 0 4 0 387564812 1337651200 260881 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1306300 CPUtime=699.75 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 716641 0 0 0 69837 138 0 0 25 0 4 0 387564812 1337651200 260881 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.63
Current children cumulated vsize (KiB) 1306300

[startup+762.301 s]
/proc/loadavg: 8.14 8.11 7.99 9/323 17207
/proc/meminfo: memFree=19419860/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1455236 CPUtime=3040.97 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1604176 0 0 0 303678 419 0 0 25 0 4 0 387564812 1490161664 266817 33554432000 4194304 4650419 140735851056528 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 363809 266817 394 112 0 358774 0
[pid=17183/tid=17184] ppid=17181 vsize=1455236 CPUtime=757.29 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 313718 0 0 0 75633 96 0 0 25 0 4 0 387564812 1490161664 266817 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1455236 CPUtime=762.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 332654 0 0 0 76122 106 0 0 25 0 4 0 387564812 1490161664 266817 33554432000 4194304 4650419 140735851056528 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1455236 CPUtime=759.1 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 739161 0 0 0 75760 150 0 0 25 0 4 0 387564812 1490161664 266817 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.97
Current children cumulated vsize (KiB) 1455236

[startup+822.301 s]
/proc/loadavg: 8.20 8.12 8.00 9/323 17209
/proc/meminfo: memFree=19165000/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1510460 CPUtime=3280.33 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1687465 0 0 0 327582 451 0 0 25 0 4 0 387564812 1546711040 282067 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 377615 282067 394 112 0 372580 0
[pid=17183/tid=17184] ppid=17181 vsize=1510460 CPUtime=817.29 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 337574 0 0 0 81624 105 0 0 25 0 4 0 387564812 1546711040 282067 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1510460 CPUtime=822.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 364944 0 0 0 82110 118 0 0 25 0 4 0 387564812 1546711040 282067 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1510460 CPUtime=818.45 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 762259 0 0 0 81686 159 0 0 25 0 4 0 387564812 1546711040 282067 33554432000 4194304 4650419 140735851056528 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.33
Current children cumulated vsize (KiB) 1510460

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.00 9/323 17210
/proc/meminfo: memFree=19089324/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1605752 CPUtime=3519.67 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1766200 0 0 0 351487 480 0 0 25 0 4 0 387564812 1644290048 288051 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 401438 288051 394 112 0 396403 0
[pid=17183/tid=17184] ppid=17181 vsize=1605752 CPUtime=877.29 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 362300 0 0 0 87614 115 0 0 25 0 4 0 387564812 1644290048 288051 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1605752 CPUtime=882.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 378784 0 0 0 88106 122 0 0 25 0 4 0 387564812 1644290048 288051 33554432000 4194304 4650419 140735851056528 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1605752 CPUtime=877.79 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 785721 0 0 0 87612 167 0 0 25 0 4 0 387564812 1644290048 288051 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.67
Current children cumulated vsize (KiB) 1605752

[startup+942.301 s]
/proc/loadavg: 8.17 8.12 8.01 10/323 17212
/proc/meminfo: memFree=18832120/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1770100 CPUtime=3759.03 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1842791 0 0 0 375394 509 0 0 25 0 4 0 387564812 1812582400 313332 33554432000 4194304 4650419 140735851056528 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 442525 313332 394 112 0 437490 0
[pid=17183/tid=17184] ppid=17181 vsize=1770100 CPUtime=937.29 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 376210 0 0 0 93609 120 0 0 25 0 4 0 387564812 1812582400 313332 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1770100 CPUtime=942.27 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 401167 0 0 0 94097 130 0 0 25 0 4 0 387564812 1812582400 313332 33554432000 4194304 4650419 140735851056528 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1770100 CPUtime=937.15 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 809048 0 0 0 93539 176 0 0 25 0 4 0 387564812 1812582400 313332 33554432000 4194304 4650419 140735851056528 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.03
Current children cumulated vsize (KiB) 1770100

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.01 9/323 17213
/proc/meminfo: memFree=18771560/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1706252 CPUtime=3998.38 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 1928070 0 0 0 399300 538 0 0 25 0 4 0 387564812 1747202048 314846 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 426563 314846 394 112 0 421528 0
[pid=17183/tid=17184] ppid=17181 vsize=1706252 CPUtime=997.3 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 398193 0 0 0 99601 129 0 0 25 0 4 0 387564812 1747202048 314846 33554432000 4194304 4650419 140735851056528 18446744073709551615 4310867 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1706252 CPUtime=1002.27 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 423675 0 0 0 100086 141 0 0 25 0 4 0 387564812 1747202048 314846 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1706252 CPUtime=996.5 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 841839 0 0 0 99469 181 0 0 25 0 4 0 387564812 1747202048 314847 33554432000 4194304 4650419 140735851056528 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.38
Current children cumulated vsize (KiB) 1706252

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.01 9/323 17215
/proc/meminfo: memFree=18640804/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1808768 CPUtime=4237.76 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 2073890 0 0 0 423207 569 0 0 25 0 4 0 387564812 1852178432 331115 33554432000 4194304 4650419 140735851056528 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 452192 331115 394 112 0 447157 0
[pid=17183/tid=17184] ppid=17181 vsize=1808768 CPUtime=1057.31 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 416171 0 0 0 105593 138 0 0 25 0 4 0 387564812 1852178432 331116 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366743 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1808768 CPUtime=1062.29 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 426088 0 0 0 106087 142 0 0 25 0 4 0 387564812 1852178432 331116 33554432000 4194304 4650419 140735851056528 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1808768 CPUtime=1055.85 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 954450 0 0 0 105389 196 0 0 25 0 4 0 387564812 1852178432 331116 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.76
Current children cumulated vsize (KiB) 1808768

[startup+1122.3 s]
/proc/loadavg: 6.52 7.73 7.89 5/314 17235
/proc/meminfo: memFree=25815628/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1714360 CPUtime=4477.11 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 2115211 0 0 0 447121 590 0 0 25 0 4 0 387564812 1755504640 316453 33554432000 4194304 4650419 140735851056528 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 428590 316453 394 112 0 423555 0
[pid=17183/tid=17184] ppid=17181 vsize=1714360 CPUtime=1117.3 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 432391 0 0 0 111584 146 0 0 25 0 4 0 387564812 1755504640 316453 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1714360 CPUtime=1122.28 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 428361 0 0 0 112085 143 0 0 25 0 4 0 387564812 1755504640 316453 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1714360 CPUtime=1115.22 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 977277 0 0 0 111314 208 0 0 25 0 4 0 387564812 1755504640 316453 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.11
Current children cumulated vsize (KiB) 1714360

[startup+1182.31 s]
/proc/loadavg: 4.97 7.06 7.65 5/314 17236
/proc/meminfo: memFree=25808756/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1643744 CPUtime=4716.56 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 2195257 0 0 0 471036 620 0 0 25 0 4 0 387564812 1683193856 317870 33554432000 4194304 4650419 140735851056528 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 410936 317870 394 112 0 405901 0
[pid=17183/tid=17184] ppid=17181 vsize=1643744 CPUtime=1177.31 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 455878 0 0 0 117578 153 0 0 25 0 4 0 387564812 1683193856 317870 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1643744 CPUtime=1182.29 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 451308 0 0 0 118076 153 0 0 25 0 4 0 387564812 1683193856 317870 33554432000 4194304 4650419 140735851056528 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1643744 CPUtime=1174.64 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 999643 0 0 0 117246 218 0 0 25 0 4 0 387564812 1683193856 317870 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.56
Current children cumulated vsize (KiB) 1643744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 4.69 6.86 7.57 5/314 17237
/proc/meminfo: memFree=25724532/32951124 swapFree=46575252/67111528
[pid=17183] ppid=17181 vsize=1774832 CPUtime=4800.33 cores=1,3,5,7
/proc/17183/stat : 17183 (strangenight1-m) R 17181 17183 9395 0 -1 4202496 2220074 0 0 0 479403 630 0 0 25 0 4 0 387564812 1817427968 338773 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17183/statm: 443708 338773 394 112 0 438673 0
[pid=17183/tid=17184] ppid=17181 vsize=1774832 CPUtime=1198.31 cores=1,3,5,7
/proc/17183/task/17184/stat : 17184 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 460225 0 0 0 119675 156 0 0 25 0 4 0 387564812 1817427968 338775 33554432000 4194304 4650419 140735851056528 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17183/tid=17185] ppid=17181 vsize=1774832 CPUtime=1203.3 cores=1,3,5,7
/proc/17183/task/17185/stat : 17185 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 461883 0 0 0 120174 156 0 0 25 0 4 0 387564812 1817427968 338775 33554432000 4194304 4650419 140735851056528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17183/tid=17186] ppid=17181 vsize=1774832 CPUtime=1195.41 cores=1,3,5,7
/proc/17183/task/17186/stat : 17186 (strangenight1-m) R 17181 17183 9395 0 -1 4202560 1005071 0 0 0 119321 220 0 0 25 0 4 0 387564812 1817427968 338775 33554432000 4194304 4650419 140735851056528 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1774832

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.37
CPU time (s): 4800.42
CPU user time (s): 4794.07
CPU system time (s): 6.35603
CPU usage (%): 398.915
Max. virtual memory (cumulated for all children) (KiB): 1839568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.07
system time used= 6.35603
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2220081
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= 7603
involuntary context switches= 36972

runsolver used 3.57546 second user time and 9.32658 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-15 06:28:55
IDJOB=3369109
IDBENCH=88204
IDSOLVER=1846
FILE ID=node107/3369109-1305433735
RUNJOBID= node107-1305433517-16711
PBS_JOBID= 13324575
Free space on /tmp= 73400 MiB

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

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=1489658041

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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:      25237840 kB
Buffers:        149660 kB
Cached:        1243088 kB
SwapCached:       9832 kB
Active:        7093700 kB
Inactive:       335392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25237840 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:           13632 kB
Writeback:           0 kB
AnonPages:     6033940 kB
Mapped:          19740 kB
Slab:           147280 kB
PageTables:      72948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 67083076 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= 73480 MiB
End job on node107 at 2011-05-15 06:49:01