Trace number 3369276

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.24 1203.37

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.466928
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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-3369276-1305434145.cnf'
0.00/0.01	c -- header says num vars:            894
0.00/0.01	c -- header says num clauses:       82294
0.00/0.02	c -- clauses added:            0 learnts,        82294 normals,            0 xors
0.00/0.02	c -- vars added        894
0.00/0.02	c Parsing time:  0.05 s
0.00/0.02	c  N st     0         0       894        30     82264         0    165422         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
0.00/0.08	c bin-w-bin subsume rem            0 bins  time:  0.05 s
0.00/0.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    894 time:  0.03 s
0.00/0.08	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.03 s
2.76/0.71	c lits-rem:       549  cl-subs:        0  v-elim:     30  v-fix:    0  time:  0.10 s
2.76/0.71	c Finding binary XORs  T:     0.00 s  found:       0
2.76/0.71	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
2.76/0.71	c calculated reachability. Time: 0.00
2.76/0.71	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     864
2.76/0.71	c =========================================================================================
2.76/0.71	c types(t): F = full restart, N = normal restart
2.76/0.71	c types(t): S = simplification begin/end, E = solution found
2.76/0.71	c restart types(rt): st = static, dy = dynamic
2.76/0.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.76/0.71	c  B st     0         0       864      3096     78304         0    258657         0   no data   no data  --
2.76/0.71	c  N dy     8      4675       864      3096     78304      4540    258649    545580     11.40     12.04  --
4.40/1.13	c  N dy    22     11251       864      3096     78305      4364    258647    332957     10.32     11.02  --
5.95/1.50	c  N dy    43     15351       864      3096     78305      8366    258644    728065     10.63     11.96  --
7.16/1.89	c  N dy    58     19353       864      3096     78305      6806    258641    523613     10.51     11.10  --
9.14/2.32	c  N dy    63     23746       864      3096     78305     11081    258641    781266     10.21     10.76  --
9.54/2.45	c  F st    67     25001       864      3096     78305     12300    258641    837641     10.12   no data  --
10.74/2.76	c  N st    72     28298       864      3096     78305      8884    258638    603842     10.12   no data  --
11.54/2.92	c  S st    73     30000       864      3096     78305     10529    258638    695756     10.12   no data  --
11.54/2.96	c  S st    73     30502       864      3096     78305     11029    258638    728871     10.12   no data  --
11.54/2.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.54/2.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.34/3.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.5M T:  0.69
12.34/3.18	c bin-w-bin subsume rem            0 bins  time:  0.05 s
17.57/4.46	c subs with bin:        0  lits-rem:       990  v-fix:    0  time:  5.13 s
17.57/4.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
17.57/4.48	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
29.49/7.43	c lits-rem:      4198  cl-subs:      554  v-elim:      0  v-fix:    0  time: 11.77 s
30.31/7.62	c asymm  cl-useful: 1264/1652/3096 lits-rem:9593 time: 0.75
30.31/7.62	c calculated reachability. Time: 0.00
30.31/7.62	c  N dy    73     30502       864      3096     78305     10475    245964    698732     10.12   no data  --
31.88/8.05	c  N dy    91     34523       864      3096     78305     14393    245964    966576     10.16     10.99  --
33.88/8.55	c  N dy   118     39897       864      3096     78305     11954    245964    825774     10.28     10.84  --
35.87/9.06	c  N dy   137     43997       864      3096     78306     15945    245964   1216423     10.33     11.03  --
37.07/9.34	c  S st   147     45753       864      3096     78306      8907    245964    506023     10.36     10.44  --
37.07/9.37	c  S st   147     46255       864      3096     78306      9408    245964    531474     10.36   no data  --
37.07/9.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
37.07/9.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.87/9.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.6M T:  0.61
37.87/9.56	c bin-w-bin subsume rem            0 bins  time:  0.05 s
42.65/10.79	c subs with bin:        0  lits-rem:      2156  v-fix:    0  time:  4.91 s
43.05/10.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
43.05/10.80	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
55.42/13.96	c lits-rem:       635  cl-subs:      203  v-elim:      0  v-fix:    0  time: 12.56 s
55.42/13.96	c vivif2 --  cl tried     3096 cl shrink      984 lits rem       4616 time: 0.01
55.42/13.97	c vivif2 --  cl tried     9205 cl shrink        0 lits rem          0 time: 0.04
56.22/14.11	c asymm  cl-useful: 0/1414/3096 lits-rem:0 time: 0.55
56.22/14.11	c calculated reachability. Time: 0.00
56.22/14.11	c  N dy   147     46255       864      3096     78306      9205    239021    525494     10.36   no data  --
57.80/14.52	c  N dy   167     50267       864      3096     78306     13101    239021    892089     10.41     11.00  --
60.21/15.19	c  N dy   192     54795       864      3096     78306     17525    239021   1304303     10.50     11.30  --
62.60/15.71	c  N dy   206     59273       864      3096     78306     12165    239021    759618     10.45     11.43  --
64.59/16.21	c  N dy   226     63279       864      3096     78306     16053    239021   1130566     10.49     17.09  --
66.98/16.81	c  N dy   244     67421       864      3096     78306     20093    239021   1444750     10.56     11.13  --
67.78/17.08	c  S st   251     69385       864      3096     78306     11311    239021    671014     10.52   no data  --
68.18/17.13	c  S st   251     69886       864      3096     78306     11811    239021    711009     10.52   no data  --
68.18/17.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.18/17.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.99/17.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.2M T:  0.76
68.99/17.35	c bin-w-bin subsume rem            0 bins  time:  0.04 s
74.19/18.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.01 s
74.19/18.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
74.19/18.63	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
84.93/21.37	c lits-rem:      1114  cl-subs:      259  v-elim:      0  v-fix:    0  time: 10.96 s
84.93/21.37	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.01
84.93/21.39	c vivif2 --  cl tried    11552 cl shrink        0 lits rem          0 time: 0.04
85.74/21.58	c asymm  cl-useful: 0/1555/3096 lits-rem:0 time: 0.75
85.74/21.58	c calculated reachability. Time: 0.00
85.74/21.58	c  N dy   251     69886       864      3096     78306     11552    239019    703796     10.52   no data  --
88.12/22.12	c  N dy   274     74431       864      3096     78306     15967    239019   1129213     10.55     11.69  --
91.33/23.00	c  N dy   302     79951       864      3096     78306     21311    239019   1580497     10.61     11.46  --
94.91/23.82	c  N dy   332     85528       864      3096     78306     15092    239019    956545     10.63     11.30  --
95.71/24.04	c  F st   343     87500       864      3096     78306     17014    239019   1127188     10.65   no data  --
98.90/24.82	c  N dy   349     92695       864      3096     78307     21979    239019   1571596     10.65   no data  --
102.49/25.78	c  N dy   384     98663       864      3096     78307     15200    239019    920554     10.73     11.54  --
106.07/26.66	c  S st   416    104829       864      3096     78307     21230    239019   1452985     10.78      9.86  --
106.47/26.74	c  S st   416    105332       864      3096     78307     21733    239019   1492498     10.78   no data  --
106.47/26.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
106.47/26.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.08/27.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.1M T:  1.62
108.47/27.20	c bin-w-bin subsume rem            0 bins  time:  0.05 s
113.67/28.53	c subs with bin:      494  lits-rem:         5  v-fix:    0  time:  5.26 s
113.67/28.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
113.67/28.54	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
124.82/31.32	c lits-rem:      2164  cl-subs:      417  v-elim:      0  v-fix:    0  time: 11.06 s
124.82/31.32	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.01
124.82/31.34	c vivif2 --  cl tried    20822 cl shrink        0 lits rem          0 time: 0.09
125.62/31.56	c asymm  cl-useful: 0/1026/3096 lits-rem:0 time: 0.86
125.62/31.56	c calculated reachability. Time: 0.00
125.62/31.56	c  N dy   416    105332       864      3096     78307     20822    239019   1460591     10.78   no data  --
130.81/32.86	c  N dy   439    112143       864      3096     78307     13817    239019    733423     10.73     11.47  --
134.40/33.79	c  N dy   466    119356       864      3096     78307     20808    239019   1257592     10.70     11.34  --
139.59/35.09	c  N dy   512    126972       864      3096     78308     28209    239019   1912898     10.77     19.37  --
144.39/36.26	c  N dy   553    135118       864      3096     78308     21532    239019   1352015     10.83     16.35  --
150.75/37.87	c  N dy   600    143797       864      3096     78308     29935    239019   2060485     10.90     11.62  --
156.34/39.26	c  N dy   647    153925       864      3096     78308     24272    239019   1446551     10.94     11.53  --
159.12/39.95	c  S st   667    157998       864      3096     78308     28227    239019   1791691     10.95   no data  --
159.52/40.04	c  S st   667    158498       864      3096     78308     28726    239019   1834188     10.95   no data  --
159.52/40.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
159.52/40.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.13/40.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.7M T:  1.54
161.13/40.49	c bin-w-bin subsume rem            0 bins  time:  0.04 s
166.33/41.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.10 s
166.33/41.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
166.33/41.79	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
180.27/45.27	c lits-rem:      2105  cl-subs:      904  v-elim:      0  v-fix:    0  time: 13.90 s
180.27/45.28	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
180.67/45.31	c vivif2 --  cl tried    27822 cl shrink        8 lits rem          8 time: 0.12
181.07/45.45	c asymm  cl-useful: 0/515/3096 lits-rem:0 time: 0.58
181.07/45.45	c calculated reachability. Time: 0.00
181.07/45.45	c  N dy   667    158498       864      3096     78308     27822    239019   1800509     10.95   no data  --
187.86/47.13	c  N dy   716    168655       864      3096     78308     21190    239019   1191149     11.02     12.65  --
195.04/48.99	c  N dy   756    179453       864      3096     78308     31639    239019   2136473     11.03     14.64  --
203.81/51.13	c  N dy   802    191248       864      3096     78308     25592    239019   1510981     11.04     11.70  --
213.79/53.60	c  N dy   858    203468       864      3096     78308     19041    239019    870810     11.06     11.72  --
221.77/55.61	c  N dy   918    216695       864      3096     78308     31919    239019   1967730     11.09     11.75  --
232.15/58.21	c  N dy   992    231254       864      3096     78308     26609    239019   1451968     11.12     11.78  --
235.73/59.14	c  S st  1004    237748       864      3096     78309     32872    239019   1799911     11.08      9.47  --
236.13/59.23	c  S st  1004    238251       864      3096     78309     33374    239019   1836298     11.08   no data  --
236.13/59.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
236.13/59.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
237.71/59.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 17.4M T:  1.61
238.11/59.70	c bin-w-bin subsume rem            0 bins  time:  0.04 s
242.90/60.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.05 s
242.90/60.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
242.90/60.98	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
257.26/64.56	c lits-rem:      1770  cl-subs:     2123  v-elim:      0  v-fix:    0  time: 14.27 s
257.26/64.56	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.01
257.66/64.60	c vivif2 --  cl tried    31251 cl shrink       64 lits rem         64 time: 0.14
258.48/64.82	c asymm  cl-useful: 0/1018/3096 lits-rem:0 time: 0.86
258.48/64.82	c calculated reachability. Time: 0.00
258.48/64.82	c  N dy  1004    238251       864      3096     78309     31251    239019   1783857     11.08   no data  --
268.82/67.44	c  N dy  1055    253479       864      3096     78310     25651    239019   1346728     11.05     11.66  --
281.99/70.73	c  N dy  1140    269670       864      3096     78310     41357    239019   2674787     11.11     14.22  --
294.35/73.85	c  N dy  1247    287087       864      3096     78311     36962    239019   2202745     11.21     11.84  --
308.72/77.40	c  F st  1329    306255       864      3096     78311     33206    239019   1917081     11.23      9.75  --
308.72/77.41	c  N st  1329    306255       864      3096     78311     33206    239019   1917081     11.23      9.75  --
325.07/81.55	c  N dy  1391    325877       864      3096     78312     28987    239019   1514275     11.23     11.95  --
342.27/85.89	c  N dy  1477    346470       864      3096     78314     24714    239019   1060118     11.23     11.83  --
349.01/87.52	c  S st  1520    357378       864      3096     78316     35261    239019   1884678     11.23      9.53  --
349.41/87.62	c  S st  1520    357879       864      3096     78316     35759    239019   1920967     11.23   no data  --
349.41/87.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
349.41/87.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
351.04/88.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.6M T:  1.77
351.39/88.13	c bin-w-bin subsume rem            0 bins  time:  0.04 s
356.98/89.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.45 s
356.98/89.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
356.98/89.51	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
371.75/93.23	c lits-rem:      2186  cl-subs:     1742  v-elim:      0  v-fix:    0  time: 14.81 s
371.75/93.23	c vivif2 --  cl tried     3096 cl shrink        3 lits rem          3 time: 0.00
371.75/93.26	c vivif2 --  cl tried    34017 cl shrink      227 lits rem        246 time: 0.15
372.98/93.52	c asymm  cl-useful: 0/650/3096 lits-rem:0 time: 1.00
372.98/93.52	c calculated reachability. Time: 0.00
372.98/93.52	c  N dy  1520    357879       864      3096     78316     34017    239016   1886852     11.23   no data  --
390.54/97.99	c  N dy  1619    377917       864      3096     78317     28289    239016   1342337     11.25     13.63  --
408.10/102.34	c  N dy  1702    397966       864      3096     78317     47702    239016   2836800     11.25     12.47  --
424.40/106.41	c  N dy  1784    418789       864      3096     78317     41761    239016   2382306     11.25     12.02  --
441.96/110.87	c  N dy  1864    439082       864      3096     78319     34282    239016   1710468     11.25     11.86  --
460.33/115.47	c  N dy  1962    459348       864      3096     78319     53893    239016   3223870     11.27     11.89  --
477.88/119.83	c  N dy  2067    479840       864      3096     78319     45580    239016   2507694     11.31     12.08  --
495.43/124.24	c  N dy  2144    499879       864      3096     78319     35969    239016   1770803     11.31     11.99  --
514.55/129.05	c  N dy  2245    520168       864      3096     78319     55647    239016   3366635     11.34     12.01  --
528.92/132.69	c  S st  2319    536820       864      3096     78319     41739    239016   2118293     11.35   no data  --
529.72/132.81	c  S st  2319    537321       864      3096     78319     42239    239016   2150799     11.35   no data  --
529.72/132.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
529.72/132.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
531.70/133.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 21.1M T:  2.13
532.10/133.42	c bin-w-bin subsume rem            0 bins  time:  0.04 s
537.29/134.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.39 s
537.29/134.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
537.29/134.79	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
559.24/140.28	c lits-rem:      2704  cl-subs:     2248  v-elim:      0  v-fix:    0  time: 21.88 s
559.24/140.28	c vivif2 --  cl tried     3096 cl shrink        2 lits rem          2 time: 0.00
559.64/140.32	c vivif2 --  cl tried    39991 cl shrink       36 lits rem         36 time: 0.17
560.43/140.56	c asymm  cl-useful: 0/489/3096 lits-rem:0 time: 0.97
560.43/140.57	c calculated reachability. Time: 0.00
560.43/140.57	c  N dy  2319    537321       864      3096     78319     39991    239014   2111883     11.35   no data  --
580.37/145.55	c  N dy  2382    558033       864      3096     78322     59971    239014   3634325     11.32     11.93  --
597.12/149.74	c  N dy  2458    578080       864      3096     78322     48382    239014   2576060     11.32     11.98  --
618.29/155.01	c  N dy  2561    598233       864      3096     78325     36016    239014   1645423     11.34     11.98  --
636.27/159.53	c  N dy  2634    618524       864      3096     78326     55604    239014   2941144     11.33     11.93  --
653.39/163.91	c  N dy  2731    638703       864      3096     78327     42228    239014   2041645     11.36     12.06  --
674.52/169.11	c  N dy  2781    659065       864      3096     78331     61871    239014   3550194     11.33     12.06  --
695.26/174.33	c  N dy  2879    680105       864      3096     78331     48432    239014   2508850     11.38     12.06  --
721.99/181.03	c  N dy  2999    700205       864      3096     78331     67815    239014   4084185     11.43     12.05  --
740.74/185.70	c  N dy  3089    720294       864      3096     78331     52447    239014   2843864     11.43     12.47  --
768.66/192.74	c  N dy  3199    740604       864      3096     78331     36387    239014   1475861     11.47     12.18  --
785.46/196.99	c  N dy  3289    760716       864      3096     78332     55801    239014   2969072     11.49     12.35  --
812.53/203.79	c  N dy  3412    780877       864      3096     78332     38572    239014   1615175     11.55     12.17  --
831.69/208.56	c  N dy  3526    800949       864      3096     78334     58063    239014   3267279     11.60     17.63  --
837.69/210.01	c  S st  3547    805985       864      3096     78334     62964    239014   3679029     11.61      9.23  --
838.12/210.18	c  S st  3547    806489       864      3096     78334     63466    239014   3717902     11.61   no data  --
838.12/210.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
838.12/210.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
842.08/211.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 30.7M T:  3.73
842.50/211.25	c bin-w-bin subsume rem            0 bins  time:  0.04 s
849.25/212.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.82 s
849.25/212.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
849.25/212.97	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
982.92/246.49	c lits-rem:      2758  cl-subs:     4427  v-elim:      0  v-fix:    0  time: 133.59 s
983.28/246.50	c vivif2 --  cl tried     3096 cl shrink        6 lits rem          6 time: 0.01
983.28/246.57	c vivif2 --  cl tried    59039 cl shrink     1147 lits rem       1244 time: 0.30
984.48/246.85	c asymm  cl-useful: 0/330/3096 lits-rem:0 time: 1.11
984.48/246.85	c calculated reachability. Time: 0.00
984.48/246.85	c  N dy  3547    806489       864      3096     78334     59039    239008   3634982     11.61   no data  --
1013.99/254.21	c  N dy  3624    827485       864      3096     78343     41639    239008   1892933     11.61     12.22  --
1034.34/259.34	c  N dy  3719    847649       864      3096     78343     61176    239008   3498488     11.63     12.43  --
1061.91/266.27	c  N dy  3821    867811       864      3096     78343     41947    239008   1884293     11.66     12.30  --
1082.21/271.36	c  N dy  3925    888086       864      3096     78345     61548    239008   3469759     11.68     12.39  --
1112.13/278.84	c  N dy  4024    908587       864      3096     78345     41723    239008   1797438     11.70     12.48  --
1131.70/283.77	c  N dy  4105    929963       864      3096     78345     62363    239008   3460151     11.71     12.38  --
1160.79/291.06	c  N dy  4193    950054       864      3096     78347     41212    239008   1734863     11.71     12.49  --
1179.97/295.85	c  N dy  4285    970190       864      3096     78349     60683    239008   3314137     11.72     12.38  --
1207.47/302.79	c  N dy  4366    990251       864      3096     78352     80028    239008   4812004     11.72     14.61  --
1229.80/308.31	c  N dy  4451   1010777       864      3096     78352     58244    239008   3035310     11.73     12.36  --
1260.12/315.94	c  N dy  4562   1030968       864      3096     78352     77724    239008   4630267     11.77     12.45  --
1287.25/322.73	c  N dy  4677   1051391       864      3096     78353     55073    239008   2772939     11.80     12.51  --
1316.00/330.00	c  N dy  4781   1071462       864      3096     78353     74493    239008   4405360     11.83     19.83  --
1317.16/330.23	c  F st  4786   1071875       864      3096     78353     74890    239008   4432747     11.83   no data  --
1346.71/337.70	c  N dy  4861   1091678       864      3096     78355     50571    239008   2350587     11.84     12.74  --
1375.41/344.89	c  N dy  4958   1113617       864      3096     78355     71742    239008   4025762     11.86     12.61  --
1407.73/352.90	c  N dy  5032   1133626       864      3096     78356     46639    239008   2021162     11.86     14.96  --
1428.87/358.27	c  N dy  5120   1154064       864      3096     78357     66367    239008   3619942     11.87     12.52  --
1463.57/366.94	c  N dy  5230   1174133       864      3096     78357     85743    239008   5286512     11.90     14.45  --
1491.10/373.86	c  N dy  5333   1194815       864      3096     78357     60293    239008   3146430     11.93     12.60  --
1513.88/379.54	c  S st  5413   1209734       864      3096     78357     74764    239008   4312629     11.95      8.52  --
1514.63/379.76	c  S st  5413   1210237       864      3096     78357     75263    239008   4353448     11.95   no data  --
1514.63/379.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1514.63/379.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1520.22/381.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.4M T:  5.28
1520.62/381.23	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1527.79/383.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.42 s
1528.19/383.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
1528.19/383.11	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
1741.64/436.70	c lits-rem:      2926  cl-subs:     4954  v-elim:      0  v-fix:    0  time: 213.57 s
1741.64/436.70	c vivif2 --  cl tried     3096 cl shrink        7 lits rem          8 time: 0.01
1742.06/436.80	c vivif2 --  cl tried    70309 cl shrink     1105 lits rem       1229 time: 0.37
1743.61/437.16	c asymm  cl-useful: 0/340/3096 lits-rem:0 time: 1.47
1743.61/437.17	c calculated reachability. Time: 0.00
1743.61/437.17	c  N dy  5413   1210237       864      3096     78357     70309    238996   4264111     11.95   no data  --
1781.90/446.72	c  N dy  5496   1230266       864      3096     78361     89630    238996   5844311     11.95     15.19  --
1811.43/454.15	c  N dy  5609   1251384       864      3096     78362     63743    238996   3461947     11.97     12.65  --
1842.15/461.82	c  N dy  5696   1271437       864      3096     78362     83018    238996   5085795     11.98     19.44  --
1875.65/470.25	c  N dy  5815   1291470       864      3096     78364     55098    238996   2714113     12.01     32.47  --
1902.78/477.04	c  N dy  5930   1311522       864      3096     78364     74416    238996   4244666     12.03     12.67  --
1939.87/486.36	c  N dy  6029   1331645       864      3096     78365     93810    238996   5829493     12.04     12.73  --
1965.01/492.66	c  N dy  6132   1351709       864      3096     78367     65010    238996   3453734     12.06     14.24  --
1998.51/501.07	c  N dy  6243   1371836       864      3096     78367     84401    238996   5015044     12.09     12.83  --
2033.62/509.85	c  N dy  6343   1391890       864      3096     78368     54582    238996   2510908     12.10     17.37  --
2058.35/516.01	c  N dy  6430   1411945       864      3096     78368     73921    238996   4082983     12.11     20.27  --
2094.25/525.05	c  N dy  6538   1432045       864      3096     78370     93383    238996   5716968     12.13     14.98  --
2122.98/532.26	c  N dy  6626   1452896       864      3096     78371     63275    238996   3038999     12.13     12.84  --
2152.09/539.55	c  N dy  6716   1473017       864      3096     78372     82671    238996   4567529     12.14     12.93  --
2192.79/549.75	c  N dy  6817   1493427       864      3096     78373     51251    238996   2161669     12.15     12.82  --
2217.12/555.86	c  N dy  6912   1513435       864      3096     78373     70572    238996   3758670     12.16     12.83  --
2251.07/564.35	c  N dy  6976   1533499       864      3096     78373     89930    238996   5297158     12.15     22.82  --
2289.73/574.05	c  N dy  7057   1554626       864      3096     78373     58202    238996   2704834     12.16     12.84  --
2319.64/581.56	c  N dy  7127   1575527       864      3096     78375     78271    238996   4279915     12.15     12.80  --
2358.33/591.25	c  N dy  7230   1595663       864      3096     78375     97691    238996   5902787     12.17     12.96  --
2389.85/599.18	c  N dy  7335   1615822       864      3096     78377     64024    238996   3110522     12.18     12.99  --
2419.36/606.53	c  N dy  7420   1636790       864      3096     78377     84185    238996   4756233     12.18     12.95  --
2463.65/617.61	c  N dy  7514   1656845       864      3096     78377    103529    238996   6390605     12.19     21.49  --
2495.17/625.58	c  N dy  7609   1677304       864      3096     78378     69280    238996   3479206     12.19     12.95  --
2528.26/633.88	c  N dy  7701   1697323       864      3096     78379     88569    238996   4985623     12.20     20.96  --
2555.40/640.69	c  S st  7764   1710238       864      3096     78382    101037    238996   6001836     12.21      9.83  --
2556.60/640.96	c  S st  7764   1710741       864      3096     78382    101539    238996   6042180     12.21   no data  --
2556.60/640.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2556.60/640.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2564.57/642.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 48.9M T:  7.86
2565.37/643.14	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2572.55/644.92	c subs with bin:       85  lits-rem:         0  v-fix:    0  time:  7.12 s
2572.55/644.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
2572.55/644.94	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.03 s
3042.86/762.90	c lits-rem:      5475  cl-subs:     7723  v-elim:      0  v-fix:    0  time: 470.08 s
3043.26/762.90	c vivif2 --  cl tried     3096 cl shrink       12 lits rem         12 time: 0.01
3043.66/763.04	c vivif2 --  cl tried    93731 cl shrink     3238 lits rem       4182 time: 0.57
3044.88/763.40	c asymm  cl-useful: 0/446/3096 lits-rem:0 time: 1.44
3045.30/763.41	c calculated reachability. Time: 0.00
3045.30/763.41	c  N dy  7764   1710741       864      3096     78382     93731    238983   5887219     12.21   no data  --
3083.16/772.95	c  N dy  7836   1730767       864      3096     78392     58227    238983   2711240     12.20     14.11  --
3109.48/779.52	c  N dy  7922   1751849       864      3096     78392     78568    238983   4344718     12.20     13.00  --
3147.78/789.11	c  N dy  8034   1771910       864      3096     78393     97939    238983   5947394     12.22     26.94  --
3189.27/799.51	c  N dy  8137   1792065       864      3096     78395     61474    238983   2887619     12.24     13.13  --
3222.78/807.93	c  N dy  8248   1812137       864      3096     78395     80746    238983   4371661     12.25     13.04  --
3266.25/818.82	c  N dy  8372   1832196       864      3096     78398    100058    238983   5986584     12.27     23.82  --
3308.17/829.39	c  N dy  8464   1852443       864      3096     78399     62757    238983   2965966     12.28     13.09  --
3340.45/837.45	c  N dy  8559   1872468       864      3096     78401     82044    238983   4548576     12.28     25.64  --
3385.94/848.84	c  N dy  8662   1892477       864      3096     78402    101262    238983   6152079     12.30     13.02  --
3435.01/861.17	c  N dy  8792   1912578       864      3096     78403     62947    238983   2990788     12.32     16.16  --
3470.11/870.00	c  N dy  8911   1932584       864      3096     78403     82158    238983   4615543     12.35     13.04  --
3521.16/882.77	c  N dy  9030   1952922       864      3096     78404    101594    238983   6062526     12.36     13.12  --
3567.83/894.40	c  N dy  9120   1973023       864      3096     78406     62275    238983   2903117     12.37     19.65  --
3596.97/901.71	c  N dy  9237   1993056       864      3096     78406     81645    238983   4520317     12.39     13.29  --
3636.86/911.71	c  N dy  9335   2013070       864      3096     78409    100907    238983   6033203     12.40     17.04  --
3688.72/924.75	c  N dy  9463   2033122       864      3096     78410     60577    238983   2734270     12.43     13.42  --
3716.68/931.75	c  N dy  9573   2053193       864      3096     78410     79927    238983   4367687     12.44     16.27  --
3754.93/941.39	c  N dy  9656   2073284       864      3096     78412     99207    238983   5979632     12.45     14.92  --
3812.38/955.81	c  N dy  9793   2093398       864      3096     78413    118546    238983   7551824     12.47     13.24  --
3851.47/965.59	c  N dy  9912   2113562       864      3096     78414     77352    238983   4041366     12.49     13.17  --
3890.57/975.39	c  N dy 10020   2133658       864      3096     78416     96671    238983   5611964     12.51     13.26  --
3942.42/988.39	c  N dy 10136   2153698       864      3096     78416    115878    238983   7148307     12.53     13.27  --
3983.51/998.62	c  N dy 10220   2173823       864      3096     78416     73684    238983   3727251     12.53     13.25  --
4023.42/1008.65	c  N dy 10297   2194340       864      3096     78417     93405    238983   5292934     12.53     13.21  --
4072.11/1020.82	c  S st 10390   2210742       864      3096     78417    109219    238983   6615688     12.54      8.73  --
4073.66/1021.29	c  S st 10390   2211246       864      3096     78417    109721    238983   6660316     12.54   no data  --
4074.06/1021.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4074.06/1021.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4084.03/1023.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 58.1M T: 10.07
4084.85/1024.03	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4093.21/1026.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.46 s
4093.21/1026.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.03 s
4093.21/1026.16	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.03 s
4753.42/1191.66	c lits-rem:      3452  cl-subs:     7091  v-elim:      0  v-fix:    0  time: 659.49 s
4753.42/1191.67	c vivif2 --  cl tried     3096 cl shrink       11 lits rem         11 time: 0.01
4754.21/1191.83	c vivif2 --  cl tried   102630 cl shrink     3870 lits rem       4763 time: 0.64
4755.81/1192.21	c asymm  cl-useful: 0/359/3096 lits-rem:0 time: 1.55
4755.81/1192.22	c calculated reachability. Time: 0.00
4755.81/1192.22	c  N dy 10390   2211246       864      3096     78418    102630    238971   6505935     12.54   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: 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-3369276-1305434145/watcher-3369276-1305434145 -o /tmp/evaluation-result-3369276-1305434145/solver-3369276-1305434145 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369276-1305434145.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.15 7.79 7.85 6/339 10315
/proc/meminfo: memFree=17205004/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 655015404 52465664 352 33554432000 4194304 4650419 140734015380240 18446744073709551615 47328682088374 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 12809 352 303 112 0 7774 0
[pid=10315/tid=10316] ppid=10313 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 655015404 52465664 352 33554432000 4194304 4650419 140734015380240 18446744073709551615 47328682088370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 655015404 52465664 352 33554432000 4194304 4650419 140734015380240 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 655015404 52465664 352 33554432000 4194304 4650419 140734015380240 18446744073709551615 47328682088370 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0850951 s]
/proc/loadavg: 7.15 7.79 7.85 6/339 10315
/proc/meminfo: memFree=17205004/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=285644 CPUtime=0.3 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) D 10313 10315 10213 0 -1 4202496 5158 0 0 0 29 1 0 0 18 0 4 0 655015404 292499456 5055 33554432000 4194304 4650419 140734015380240 18446744073709551615 270612771525 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 71411 5055 387 112 0 66376 0
[pid=10315/tid=10316] ppid=10313 vsize=285644 CPUtime=0.07 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1258 0 0 0 7 0 0 0 25 0 4 0 655015404 292499456 5055 33554432000 4194304 4650419 140734015380240 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=285644 CPUtime=0.06 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1231 0 0 0 6 0 0 0 25 0 4 0 655015404 292499456 5055 33554432000 4194304 4650419 140734015380240 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=285644 CPUtime=0.07 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) D 10313 10315 10213 0 -1 4202560 944 0 0 0 7 0 0 0 18 0 4 0 655015404 292499456 5055 33554432000 4194304 4650419 140734015380240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 285644

[startup+0.124313 s]
/proc/loadavg: 7.15 7.79 7.85 6/339 10315
/proc/meminfo: memFree=17205004/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=287012 CPUtime=0.45 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 6635 0 0 0 44 1 0 0 18 0 4 0 655015404 293900288 6532 33554432000 4194304 4650419 140734015380240 18446744073709551615 4363371 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 71753 6533 390 112 0 66718 0
[pid=10315/tid=10316] ppid=10313 vsize=287012 CPUtime=0.11 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1735 0 0 0 11 0 0 0 25 0 4 0 655015404 293900288 6534 33554432000 4194304 4650419 140734015380240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=287012 CPUtime=0.1 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1707 0 0 0 10 0 0 0 25 0 4 0 655015404 293900288 6534 33554432000 4194304 4650419 140734015380240 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=287012 CPUtime=0.11 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1024 0 0 0 11 0 0 0 18 0 4 0 655015404 293900288 6534 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 287012

[startup+0.300365 s]
/proc/loadavg: 7.15 7.79 7.85 6/339 10315
/proc/meminfo: memFree=17205004/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=287896 CPUtime=1.16 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 8225 0 0 0 114 2 0 0 18 0 4 0 655015404 294805504 7801 33554432000 4194304 4650419 140734015380240 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 71974 7801 392 112 0 66939 0
[pid=10315/tid=10316] ppid=10313 vsize=287896 CPUtime=0.29 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 2148 0 0 0 29 0 0 0 25 0 4 0 655015404 294805504 7802 33554432000 4194304 4650419 140734015380240 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=287896 CPUtime=0.27 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1982 0 0 0 27 0 0 0 25 0 4 0 655015404 294805504 7802 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=287896 CPUtime=0.28 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 1530 0 0 0 28 0 0 0 18 0 4 0 655015404 294805504 7803 33554432000 4194304 4650419 140734015380240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 287896

[startup+0.700294 s]
/proc/loadavg: 7.15 7.79 7.85 6/339 10315
/proc/meminfo: memFree=17205004/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=293076 CPUtime=2.76 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 11679 0 0 0 273 3 0 0 18 0 4 0 655015404 300109824 8837 33554432000 4194304 4650419 140734015380240 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 73269 8837 392 112 0 68234 0
[pid=10315/tid=10316] ppid=10313 vsize=293076 CPUtime=0.68 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 3102 0 0 0 68 0 0 0 25 0 4 0 655015404 300109824 8837 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=293076 CPUtime=0.67 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 2646 0 0 0 67 0 0 0 25 0 4 0 655015404 300109824 8837 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=293076 CPUtime=0.68 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 2425 0 0 0 68 0 0 0 18 0 4 0 655015404 300109824 8838 33554432000 4194304 4650419 140734015380240 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 293076

[startup+1.50115 s]
/proc/loadavg: 7.30 7.81 7.85 9/343 10319
/proc/meminfo: memFree=17154792/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=276056 CPUtime=5.95 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 17158 0 0 0 591 4 0 0 20 0 4 0 655015404 282681344 10157 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 69014 10157 393 112 0 63979 0
[pid=10315/tid=10316] ppid=10313 vsize=276056 CPUtime=1.48 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 4476 0 0 0 148 0 0 0 25 0 4 0 655015404 282681344 10157 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=276056 CPUtime=1.47 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 3854 0 0 0 146 1 0 0 25 0 4 0 655015404 282681344 10157 33554432000 4194304 4650419 140734015380240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=276056 CPUtime=1.49 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 3982 0 0 0 148 1 0 0 20 0 4 0 655015404 282681344 10157 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 276056

[startup+3.10087 s]
/proc/loadavg: 7.30 7.81 7.85 9/343 10319
/proc/meminfo: memFree=17128876/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=278004 CPUtime=12.34 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 29567 0 0 0 1228 6 0 0 25 0 4 0 655015404 284676096 18159 33554432000 4194304 4650419 140734015380240 18446744073709551615 4370537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 69501 18159 394 112 0 64466 0
[pid=10315/tid=10316] ppid=10313 vsize=278004 CPUtime=3.09 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 7072 0 0 0 308 1 0 0 25 0 4 0 655015404 284676096 18159 33554432000 4194304 4650419 140734015380240 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=278004 CPUtime=3.05 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 7406 0 0 0 304 1 0 0 25 0 4 0 655015404 284676096 18159 33554432000 4194304 4650419 140734015380240 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=278004 CPUtime=3.08 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 7819 0 0 0 307 1 0 0 25 0 4 0 655015404 284676096 18159 33554432000 4194304 4650419 140734015380240 18446744073709551615 4435932 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 278004

[startup+6.30031 s]
/proc/loadavg: 7.30 7.81 7.85 9/343 10320
/proc/meminfo: memFree=17041448/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=295168 CPUtime=25.1 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 39513 0 0 0 2502 8 0 0 25 0 4 0 655015404 302252032 26836 33554432000 4194304 4650419 140734015380240 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 73792 26836 394 112 0 68757 0
[pid=10315/tid=10316] ppid=10313 vsize=295168 CPUtime=6.29 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 11616 0 0 0 627 2 0 0 25 0 4 0 655015404 302252032 26836 33554432000 4194304 4650419 140734015380240 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=295168 CPUtime=6.21 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 7605 0 0 0 620 1 0 0 25 0 4 0 655015404 302252032 26836 33554432000 4194304 4650419 140734015380240 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=295168 CPUtime=6.28 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 8943 0 0 0 627 1 0 0 25 0 4 0 655015404 302252032 26836 33554432000 4194304 4650419 140734015380240 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 295168

[startup+12.7012 s]
/proc/loadavg: 7.40 7.81 7.86 9/343 10320
/proc/meminfo: memFree=17027932/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=297036 CPUtime=50.64 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 62167 0 0 0 5051 13 0 0 25 0 4 0 655015404 304164864 35235 33554432000 4194304 4650419 140734015380240 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 74259 35235 394 112 0 69224 0
[pid=10315/tid=10316] ppid=10313 vsize=297036 CPUtime=12.68 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 19881 0 0 0 1265 3 0 0 25 0 4 0 655015404 304164864 35235 33554432000 4194304 4650419 140734015380240 18446744073709551615 4435210 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=297036 CPUtime=12.54 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 12087 0 0 0 1252 2 0 0 25 0 4 0 655015404 304164864 35235 33554432000 4194304 4650419 140734015380240 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=297036 CPUtime=12.69 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 16196 0 0 0 1266 3 0 0 25 0 4 0 655015404 304164864 35235 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 297036

[startup+25.5009 s]
/proc/loadavg: 7.50 7.82 7.86 9/343 10320
/proc/meminfo: memFree=16915468/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=299908 CPUtime=101.69 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 91630 0 0 0 10149 20 0 0 25 0 4 0 655015404 307105792 43108 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 74977 43108 394 112 0 69942 0
[pid=10315/tid=10316] ppid=10313 vsize=299908 CPUtime=25.48 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 27853 0 0 0 2543 5 0 0 25 0 4 0 655015404 307105792 43108 33554432000 4194304 4650419 140734015380240 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=299908 CPUtime=25.2 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 17816 0 0 0 2516 4 0 0 25 0 4 0 655015404 307105792 43108 33554432000 4194304 4650419 140734015380240 18446744073709551615 4436321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=299908 CPUtime=25.48 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 25514 0 0 0 2544 4 0 0 25 0 4 0 655015404 307105792 43108 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 299908

[startup+51.1004 s]
/proc/loadavg: 7.79 7.86 7.87 9/343 10321
/proc/meminfo: memFree=16714888/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=576120 CPUtime=203.81 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 161886 0 0 0 20348 33 0 0 25 0 4 0 655015404 589946880 77831 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365407 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 144030 77831 394 112 0 138995 0
[pid=10315/tid=10316] ppid=10313 vsize=576120 CPUtime=51.09 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 44908 0 0 0 5100 9 0 0 25 0 4 0 655015404 589946880 77831 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=576120 CPUtime=50.53 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 31026 0 0 0 5047 6 0 0 25 0 4 0 655015404 589946880 77831 33554432000 4194304 4650419 140734015380240 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=576120 CPUtime=51.08 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 50321 0 0 0 5098 10 0 0 25 0 4 0 655015404 589946880 77831 33554432000 4194304 4650419 140734015380240 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 576120

[startup+102.313 s]
/proc/loadavg: 8.10 7.93 7.89 9/343 10322
/proc/meminfo: memFree=16649040/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=583208 CPUtime=408.1 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 253573 0 0 0 40753 57 0 0 25 0 4 0 655015404 597204992 90252 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 145802 90252 394 112 0 140767 0
[pid=10315/tid=10316] ppid=10313 vsize=583208 CPUtime=102.29 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 69506 0 0 0 10215 14 0 0 25 0 4 0 655015404 597204992 90252 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=583208 CPUtime=101.18 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 54441 0 0 0 10106 12 0 0 25 0 4 0 655015404 597204992 90252 33554432000 4194304 4650419 140734015380240 18446744073709551615 4433204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=583208 CPUtime=102.29 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 80432 0 0 0 10210 19 0 0 25 0 4 0 655015404 597204992 90252 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 583208

[startup+162.301 s]

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

[pid=10315] ppid=10313 vsize=1136332 CPUtime=2801.52 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1083242 0 0 0 279854 298 0 0 25 0 4 0 655015404 1163603968 188253 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 284083 188253 416 112 0 279048 0
[pid=10315/tid=10316] ppid=10313 vsize=1136332 CPUtime=702.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 317958 0 0 0 70144 83 0 0 25 0 4 0 655015404 1163603968 188253 33554432000 4194304 4650419 140734015380240 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1136332 CPUtime=694.63 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 220669 0 0 0 69387 76 0 0 25 0 4 0 655015404 1163603968 188253 33554432000 4194304 4650419 140734015380240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1136332 CPUtime=702.29 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 410640 0 0 0 70132 97 0 0 25 0 4 0 655015404 1163603968 188253 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.52
Current children cumulated vsize (KiB) 1136332

[startup+762.313 s]
/proc/loadavg: 8.18 8.11 7.99 9/343 10340
/proc/meminfo: memFree=15875920/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1138684 CPUtime=3040.91 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1131567 0 0 0 303772 319 0 0 25 0 4 0 655015404 1166012416 187295 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 284671 187295 394 112 0 279636 0
[pid=10315/tid=10316] ppid=10313 vsize=1138684 CPUtime=762.28 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 332809 0 0 0 76139 89 0 0 25 0 4 0 655015404 1166012416 187295 33554432000 4194304 4650419 140734015380240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1138684 CPUtime=753.98 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 236035 0 0 0 75314 84 0 0 25 0 4 0 655015404 1166012416 187295 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366015 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1138684 CPUtime=762.31 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 428702 0 0 0 76127 104 0 0 25 0 4 0 655015404 1166012416 187295 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.91
Current children cumulated vsize (KiB) 1138684

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 7.99 9/343 10341
/proc/meminfo: memFree=15801992/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1199804 CPUtime=3280.22 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1189829 0 0 0 327679 343 0 0 25 0 4 0 655015404 1228599296 202105 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 299951 202105 394 112 0 294916 0
[pid=10315/tid=10316] ppid=10313 vsize=1199804 CPUtime=822.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 347932 0 0 0 82131 96 0 0 25 0 4 0 655015404 1228599296 202105 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1199804 CPUtime=813.33 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 248269 0 0 0 81244 89 0 0 25 0 4 0 655015404 1228599296 202105 33554432000 4194304 4650419 140734015380240 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1199804 CPUtime=822.3 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 444526 0 0 0 82119 111 0 0 25 0 4 0 655015404 1228599296 202105 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.22
Current children cumulated vsize (KiB) 1199804

[startup+882.3 s]
/proc/loadavg: 8.12 8.10 8.00 9/343 10343
/proc/meminfo: memFree=15800492/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1135392 CPUtime=3519.57 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1355912 0 0 0 351576 381 0 0 25 0 4 0 655015404 1162641408 198299 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 283848 198299 394 112 0 278813 0
[pid=10315/tid=10316] ppid=10313 vsize=1135392 CPUtime=882.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 361938 0 0 0 88123 104 0 0 25 0 4 0 655015404 1162641408 198299 33554432000 4194304 4650419 140734015380240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1135392 CPUtime=872.67 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 381586 0 0 0 87158 109 0 0 25 0 4 0 655015404 1162641408 198299 33554432000 4194304 4650419 140734015380240 18446744073709551615 270612775855 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1135392 CPUtime=882.3 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 459417 0 0 0 88112 118 0 0 25 0 4 0 655015404 1162641408 198299 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.57
Current children cumulated vsize (KiB) 1135392

[startup+942.301 s]
/proc/loadavg: 8.17 8.11 8.01 9/343 10344
/proc/meminfo: memFree=15733012/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1201924 CPUtime=3758.92 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1417314 0 0 0 375490 402 0 0 25 0 4 0 655015404 1230770176 207526 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 300481 207526 394 112 0 295446 0
[pid=10315/tid=10316] ppid=10313 vsize=1201924 CPUtime=942.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 374500 0 0 0 94118 109 0 0 25 0 4 0 655015404 1230770176 207526 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1201924 CPUtime=932.02 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 404208 0 0 0 93087 115 0 0 25 0 4 0 655015404 1230770176 207526 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1201924 CPUtime=942.29 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 475406 0 0 0 94106 123 0 0 25 0 4 0 655015404 1230770176 207526 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.92
Current children cumulated vsize (KiB) 1201924

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.01 9/343 10346
/proc/meminfo: memFree=15648056/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1267468 CPUtime=3998.27 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1453847 0 0 0 399412 415 0 0 25 0 4 0 655015404 1297887232 224482 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 316867 224482 394 112 0 311832 0
[pid=10315/tid=10316] ppid=10313 vsize=1267468 CPUtime=1002.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 394914 0 0 0 100115 112 0 0 25 0 4 0 655015404 1297887232 224482 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1267468 CPUtime=991.36 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 409515 0 0 0 99017 119 0 0 25 0 4 0 655015404 1297887232 224482 33554432000 4194304 4650419 140734015380240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1267468 CPUtime=1002.3 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 482144 0 0 0 100104 126 0 0 25 0 4 0 655015404 1297887232 224482 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.27
Current children cumulated vsize (KiB) 1267468

[startup+1062.3 s]
/proc/loadavg: 8.17 8.12 8.02 9/343 10348
/proc/meminfo: memFree=15457676/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1333012 CPUtime=4237.62 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1496995 0 0 0 423339 423 0 0 25 0 4 0 655015404 1365004288 228136 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 333253 228136 394 112 0 328218 0
[pid=10315/tid=10316] ppid=10313 vsize=1333012 CPUtime=1062.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 406525 0 0 0 106113 114 0 0 25 0 4 0 655015404 1365004288 228136 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1333012 CPUtime=1050.71 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 420522 0 0 0 104950 121 0 0 25 0 4 0 655015404 1365004288 228136 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1333012 CPUtime=1062.3 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 501225 0 0 0 106101 129 0 0 25 0 4 0 655015404 1365004288 228136 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.62
Current children cumulated vsize (KiB) 1333012

[startup+1122.3 s]
/proc/loadavg: 8.16 8.13 8.02 9/343 10349
/proc/meminfo: memFree=15448356/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1267468 CPUtime=4476.96 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1626065 0 0 0 447251 445 0 0 25 0 4 0 655015404 1297887232 230721 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 316867 230721 394 112 0 311832 0
[pid=10315/tid=10316] ppid=10313 vsize=1267468 CPUtime=1122.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 411252 0 0 0 112113 114 0 0 25 0 4 0 655015404 1297887232 230721 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1267468 CPUtime=1110.06 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 458312 0 0 0 110880 126 0 0 25 0 4 0 655015404 1297887232 230721 33554432000 4194304 4650419 140734015380240 18446744073709551615 270612807880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1267468 CPUtime=1122.3 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 587778 0 0 0 112084 146 0 0 25 0 4 0 655015404 1297887232 230721 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.96
Current children cumulated vsize (KiB) 1267468

[startup+1182.3 s]
/proc/loadavg: 7.27 7.94 7.96 5/334 10369
/proc/meminfo: memFree=16566680/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1291224 CPUtime=4716.32 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1787507 0 0 0 471157 475 0 0 25 0 4 0 655015404 1322213376 232001 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 322806 232001 394 112 0 317771 0
[pid=10315/tid=10316] ppid=10313 vsize=1291224 CPUtime=1182.27 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 434292 0 0 0 118109 118 0 0 25 0 4 0 655015404 1322213376 232001 33554432000 4194304 4650419 140734015380240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1291224 CPUtime=1169.41 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 585951 0 0 0 116795 146 0 0 25 0 4 0 655015404 1322213376 232002 33554432000 4194304 4650419 140734015380240 18446744073709551615 4334293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1291224 CPUtime=1182.3 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 598542 0 0 0 118079 151 0 0 25 0 4 0 655015404 1322213376 232002 33554432000 4194304 4650419 140734015380240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4716.32
Current children cumulated vsize (KiB) 1291224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 6.34 7.68 7.88 6/334 10369
/proc/meminfo: memFree=16564200/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1226172 CPUtime=4800.15 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1887374 0 0 0 479520 495 0 0 25 0 4 0 655015404 1255600128 232602 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 306543 232602 394 112 0 301508 0
[pid=10315/tid=10316] ppid=10313 vsize=1226172 CPUtime=1203.29 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 523887 0 0 0 120198 131 0 0 25 0 4 0 655015404 1255600128 232603 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1226172 CPUtime=1190.18 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 588627 0 0 0 118870 148 0 0 25 0 4 0 655015404 1255600128 232603 33554432000 4194304 4650419 140734015380240 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1226172 CPUtime=1203.33 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 604532 0 0 0 120178 155 0 0 25 0 4 0 655015404 1255600128 232603 33554432000 4194304 4650419 140734015380240 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1226172

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

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

[startup+1203.3 s]
/proc/loadavg: 6.34 7.68 7.88 6/334 10369
/proc/meminfo: memFree=16564200/32951124 swapFree=67056804/67111528
[pid=10315] ppid=10313 vsize=1226172 CPUtime=4800.15 cores=1,3,5,7
/proc/10315/stat : 10315 (strangenight1-m) R 10313 10315 10213 0 -1 4202496 1887374 0 0 0 479520 495 0 0 25 0 4 0 655015404 1255600128 232602 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10315/statm: 306543 232602 394 112 0 301508 0
[pid=10315/tid=10316] ppid=10313 vsize=1226172 CPUtime=1203.29 cores=1,3,5,7
/proc/10315/task/10316/stat : 10316 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 523887 0 0 0 120198 131 0 0 25 0 4 0 655015404 1255600128 232603 33554432000 4194304 4650419 140734015380240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10315/tid=10317] ppid=10313 vsize=1226172 CPUtime=1190.18 cores=1,3,5,7
/proc/10315/task/10317/stat : 10317 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 588627 0 0 0 118870 148 0 0 25 0 4 0 655015404 1255600128 232603 33554432000 4194304 4650419 140734015380240 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10315/tid=10318] ppid=10313 vsize=1226172 CPUtime=1203.33 cores=1,3,5,7
/proc/10315/task/10318/stat : 10318 (strangenight1-m) R 10313 10315 10213 0 -1 4202560 604532 0 0 0 120178 155 0 0 25 0 4 0 655015404 1255600128 232603 33554432000 4194304 4650419 140734015380240 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1226172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.37
CPU time (s): 4800.24
CPU user time (s): 4795.24
CPU system time (s): 4.99324
CPU usage (%): 398.899
Max. virtual memory (cumulated for all children) (KiB): 1356768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.24
system time used= 4.99324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1887377
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= 1087
involuntary context switches= 30246

runsolver used 3.60045 second user time and 9.56455 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-15 06:35:45
IDJOB=3369276
IDBENCH=88215
IDSOLVER=1846
FILE ID=node108/3369276-1305434145
RUNJOBID= node108-1305434109-10232
PBS_JOBID= 13324636
Free space on /tmp= 73568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369276-1305434145/watcher-3369276-1305434145 -o /tmp/evaluation-result-3369276-1305434145/solver-3369276-1305434145 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369276-1305434145.cnf

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=1691745493

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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:      17205284 kB
Buffers:        291616 kB
Cached:        4756544 kB
SwapCached:       8700 kB
Active:       11361128 kB
Inactive:      4074380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17205284 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           11044 kB
Writeback:           0 kB
AnonPages:    10384268 kB
Mapped:          27368 kB
Slab:           208168 kB
PageTables:      38884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52622744 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= 73568 MiB
End job on node108 at 2011-05-15 06:55:50