Trace number 3366109

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.25 1203.88

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
MD5SUM839440d6b1cc9d3b4faa8d33a4dd7359
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.1582
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.10	c Using 4 threads
0.29/0.10	c This is CryptoMiniSat 3.0.0
0.29/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.29/0.10	c Reading file 'HOME/instance-3366109-1305395077.cnf'
0.29/0.10	c -- header says num vars:          20000
0.29/0.10	c -- header says num clauses:       84000
0.29/0.17	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.29/0.17	c -- vars added      20000
0.29/0.17	c Parsing time:  0.05 s
0.29/0.17	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.29/0.24	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.68/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.86/1.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.86/1.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.86/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.86/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.86/1.05	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.86/1.05	c lits-rem:         0  cl-subs:        0  v-elim:    531  v-fix:    0  time:  0.12 s
0.86/1.05	c Finding binary XORs  T:     0.00 s  found:       0
0.86/1.05	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.86/1.05	c calculated reachability. Time: 0.00
0.86/1.05	c Calc default polars -  time:   0.00 s pos:    8968 undec:    2233 neg:    8799
0.86/1.05	c =========================================================================================
0.86/1.05	c types(t): F = full restart, N = normal restart
0.86/1.05	c types(t): S = simplification begin/end, E = solution found
0.86/1.05	c restart types(rt): st = static, dy = dynamic
0.86/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.86/1.05	c  B st     0         0     19469     83386         0         0    253452         0   no data   no data
6.40/1.70	c  N dy    20      4142     19469     83386         0      4142    253452    930754    120.69    133.47
10.78/2.87	c  N dy    47      8319     19469     83386         0      8319    253452   1747418    121.25    127.76
15.59/4.08	c  N dy    79     12339     19469     83386         0     12339    253452   2567577    124.42    136.34
20.75/5.30	c  N dy   107     16383     19469     83386         0     16383    253452   3371053    124.72    135.92
25.93/6.61	c  N dy   136     20487     19469     83386         0     10487    253452    644952    125.15    131.76
30.72/7.84	c  N dy   163     24549     19469     83386         0     14548    253452   1467995    125.85    133.44
31.12/7.98	c  F st   166     25000     19469     83386         0     14999    253452   1559453    125.97    121.96
37.94/9.61	c  N dy   172     30000     19469     83386         0     19999    253452   2926464    125.97   no data
37.94/9.61	c  S st   172     30000     19469     83386         0     19999    253452   2926464    125.97   no data
38.29/9.77	c  S st   172     30502     19469     83386         0     20501    253452   2996633    125.97   no data
38.29/9.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.69/9.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.69/9.86	c blocked clauses removed:      359 vars:     55 tried:       19469 T: 0.01 s
38.69/9.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.69/9.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.69/9.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19414 time:  0.01 s
38.69/9.88	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.09/9.96	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.08 s
40.29/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
43.08/10.98	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.75 s
43.48/11.08	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.10
43.48/11.08	c calculated reachability. Time: 0.00
43.48/11.08	c  N dy   172     30502     19403     83017         0     20204    252428   2883503    125.97   no data
49.06/12.48	c  N dy   203     34676     19403     83017         0     24378    252428   3730554    126.73    136.69
55.07/13.92	c  N dy   231     38757     19403     83017         0     28459    252428   4540825    126.86    141.38
60.62/15.33	c  N dy   258     42933     19403     83017         0     17283    252428   1042944    127.19    134.93
64.25/16.26	c  S st   278     45753     19403     83017         0     20103    252428   1623824    127.10   no data
65.01/16.42	c  S st   278     46259     19403     83017         0     20609    252428   1695544    127.10   no data
65.01/16.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.01/16.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
65.40/16.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.40/16.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.40/16.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.40/16.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
65.40/16.53	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
65.80/16.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
66.20/16.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.00/16.94	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.22 s
67.00/16.95	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
67.00/16.98	c vivif2 --  cl tried    20608 cl shrink        0 lits rem          0 time: 0.03
67.39/17.08	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.10
67.39/17.09	c calculated reachability. Time: 0.00
67.39/17.09	c  N dy   278     46259     19403     83017         0     20608    252428   1694614    127.10   no data
73.02/18.44	c  N dy   308     50355     19403     83017         0     24704    252428   2548515    127.97    151.31
78.56/19.85	c  N dy   339     54540     19403     83017         0     28888    252428   3395807    128.15    137.31
84.15/21.25	c  N dy   366     58581     19403     83017         0     32928    252428   4220604    128.34    145.04
90.15/22.71	c  N dy   397     62706     19403     83017         0     37053    252428   5069328    128.77    136.02
95.31/24.05	c  N dy   424     66723     19403     83017         0     22394    252428   1414651    128.73    137.92
98.92/24.96	c  S st   445     69388     19403     83017         0     25059    252428   1967906    128.84   no data
99.70/25.14	c  S st   445     69888     19403     83017         0     25559    252428   2053524    128.84   no data
99.70/25.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.10/25.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
100.10/25.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.10/25.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
100.10/25.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.10/25.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.00 s
100.10/25.25	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
100.49/25.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
100.89/25.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
102.49/25.81	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.35 s
102.49/25.82	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
102.49/25.85	c vivif2 --  cl tried    25557 cl shrink        0 lits rem          0 time: 0.03
102.89/25.96	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.11
102.89/25.97	c calculated reachability. Time: 0.00
102.89/25.97	c  N dy   445     69888     19403     83017         0     25557    252428   2052944    128.84   no data
109.26/27.56	c  N dy   480     74443     19403     83017         0     30112    252428   3051654    129.38    163.98
116.05/29.26	c  N dy   513     79287     19403     83017         0     34956    252428   4032963    129.41    154.03
123.23/31.09	c  N dy   549     84353     19403     83017         0     40022    252428   5084483    129.71    137.76
128.01/32.23	c  F st   571     87501     19403     83017         0     22334    252428    923050    129.76   no data
132.39/33.37	c  N st   576     90800     19403     83017         0     25633    252428   1745504    129.76   no data
140.37/35.39	c  N dy   602     96735     19403     83017         0     31568    252428   3096828    129.70    137.62
149.55/37.65	c  N dy   646    103068     19403     83017         0     37901    252428   4373848    129.64    138.61
151.98/38.29	c  S st   658    104835     19403     83017         0     39667    252428   4716952    129.56    117.95
152.73/38.48	c  S st   658    105339     19403     83017         0     40171    252428   4784538    129.56   no data
153.13/38.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
153.13/38.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
153.13/38.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.13/38.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.53/38.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
153.53/38.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
153.53/38.61	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
153.93/38.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
154.73/38.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.76/40.44	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.44 s
160.76/40.45	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
161.11/40.52	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.07
161.50/40.65	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.13
161.50/40.66	c calculated reachability. Time: 0.00
161.50/40.66	c  N dy   658    105339     19403     83017         0     40168    252428   4782946    129.56   no data
171.48/43.19	c  N dy   705    112146     19403     83017         0     24557    252428   1036351    129.56    142.33
181.85/45.72	c  N dy   747    119384     19403     83017         0     31794    252428   2524375    129.45    138.08
192.61/48.49	c  N dy   794    127115     19403     83017         0     39524    252428   4085466    129.34    141.03
205.37/51.60	c  N dy   848    135264     19403     83017         0     23972    252428    605787    129.24    159.75
217.37/54.65	c  N dy   910    144028     19403     83017         0     32736    252428   2431784    129.58    144.65
230.95/58.04	c  N dy   968    153264     19403     83017         0     41972    252428   4347332    129.44    139.76
238.08/59.84	c  S st  1002    158008     19403     83017         0     46716    252428   5323795    129.57   no data
238.88/60.05	c  S st  1002    158509     19403     83017         0     47217    252428   5400212    129.57   no data
238.88/60.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
239.30/60.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
239.30/60.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.30/60.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.30/60.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
239.30/60.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
239.30/60.20	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
240.07/60.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
240.87/60.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
249.63/62.72	c lits-rem:        21  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.08 s
249.63/62.73	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
250.03/62.81	c vivif2 --  cl tried    47213 cl shrink        0 lits rem          0 time: 0.08
250.43/62.95	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
250.43/62.96	c calculated reachability. Time: 0.00
250.43/62.96	c  N dy  1002    158509     19403     83017         0     47213    252428   5399565    129.57   no data
265.19/66.68	c  N dy  1079    168636     19403     83017         0     32485    252428   2097705    129.85    158.00
281.55/70.70	c  N dy  1155    179397     19403     83017         0     43245    252428   4324533    129.97    157.51
299.09/75.17	c  N dy  1229    191057     19403     83017         0     28974    252428   1137477    129.84    137.12
317.04/79.64	c  N dy  1309    203357     19403     83017         0     41274    252428   3630795    129.79    137.49
337.77/84.81	c  N dy  1402    216443     19403     83017         0     27396    252428    566582    129.94    136.80
358.16/89.93	c  N dy  1496    230377     19403     83017         0     41329    252428   3435259    129.91    139.91
369.28/92.74	c  S st  1544    237763     19403     83017         0     48714    252428   4925786    129.93    121.16
370.09/92.95	c  S st  1544    238265     19403     83017         0     49216    252428   4997879    129.93   no data
370.09/92.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
370.49/93.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
370.49/93.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
370.49/93.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
370.49/93.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
370.49/93.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
370.49/93.09	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
370.90/93.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
372.07/93.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
380.44/95.52	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.04 s
380.44/95.53	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
380.84/95.61	c vivif2 --  cl tried    49213 cl shrink        0 lits rem          0 time: 0.08
381.24/95.75	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
381.24/95.76	c calculated reachability. Time: 0.00
381.24/95.76	c  N dy  1544    238265     19403     83017         0     49213    252428   4996865    129.93   no data
404.38/101.58	c  N dy  1646    253497     19403     83017         0     36467    252428   2235839    129.98    142.14
429.49/107.84	c  N dy  1761    269733     19403     83017         0     52702    252428   5601195    130.15    137.57
456.22/114.52	c  N dy  1870    286955     19403     83017         0     40935    252428   2907507    130.16    143.66
484.95/121.72	c  N dy  1988    305357     19403     83017         0     59335    252428   6737636    130.26    142.49
486.52/122.12	c  F st  1995    306252     19403     83017         0     30236    252428    497170    130.26     93.79
514.85/129.27	c  N dy  2092    324928     19403     83017         0     48911    252428   4764527    130.33    138.50
546.79/137.23	c  N dy  2234    344955     19403     83017         0     37939    252428   1864529    130.44    138.33
565.89/142.03	c  S st  2317    357397     19403     83017         0     50380    252428   4395792    130.40   no data
566.69/142.23	c  S st  2317    357900     19403     83017         0     50883    252428   4476715    130.40   no data
566.69/142.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
567.09/142.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
567.09/142.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
567.09/142.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
567.09/142.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
567.09/142.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
567.09/142.36	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
567.49/142.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
568.31/142.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
580.25/145.64	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.91 s
580.25/145.65	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
580.65/145.72	c vivif2 --  cl tried    50882 cl shrink        0 lits rem          0 time: 0.07
581.05/145.87	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.15
581.05/145.87	c calculated reachability. Time: 0.00
581.05/145.87	c  N dy  2317    357900     19403     83017         0     50882    252428   4476030    130.40   no data
613.74/154.05	c  N dy  2456    378000     19403     83017         0     38981    252428   1881798    130.45    160.35
645.64/162.03	c  N dy  2593    398035     19403     83017         0     59014    252428   6013855    130.51    141.17
677.55/170.01	c  N dy  2727    418063     19403     83017         0     46045    252428   3115524    130.53    142.27
709.85/178.18	c  N dy  2860    438078     19403     83017         0     66059    252428   7167237    130.56    144.98
741.35/186.05	c  N dy  2990    458229     19403     83017         0     52212    252428   4267860    130.53    141.63
775.25/194.51	c  N dy  3130    478294     19403     83017         0     37277    252428    922141    130.67    142.50
805.95/202.29	c  N dy  3257    498383     19403     83017         0     57365    252428   5061569    130.62    138.37
838.66/210.45	c  N dy  3387    518440     19403     83017         0     41420    252428   1582315    130.60    141.19
867.76/217.78	c  S st  3516    536850     19403     83017         0     59825    252428   5456790    130.70   no data
868.97/218.02	c  S st  3516    537354     19403     83017         0     60329    252428   5540675    130.70   no data
868.97/218.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
869.37/218.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
869.37/218.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
869.37/218.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
869.37/218.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
869.37/218.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
869.37/218.16	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
869.76/218.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
870.98/218.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
882.52/221.43	c lits-rem:         4  cl-subs:       10  v-elim:      0  v-fix:    0  time:  2.88 s
882.52/221.44	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
882.92/221.53	c vivif2 --  cl tried    60319 cl shrink        0 lits rem          0 time: 0.09
883.32/221.69	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.16
883.32/221.69	c calculated reachability. Time: 0.00
883.32/221.69	c  N dy  3516    537354     19403     83017         0     60319    252428   5535823    130.70   no data
916.81/230.01	c  N dy  3645    557390     19403     83017         0     43365    252428   1736059    130.68    181.87
948.33/237.99	c  N dy  3782    577474     19403     83017         0     63448    252428   5913867    130.71    137.95
982.21/246.41	c  N dy  3922    597528     19403     83017         0     45506    252428   2043092    130.79    141.03
1014.53/254.50	c  N dy  4053    617654     19403     83017         0     65630    252428   6214439    130.82    137.79
1048.02/262.95	c  N dy  4185    637773     19403     83017         0     46756    252428   2049144    130.85    139.33
1080.33/271.09	c  N dy  4318    657830     19403     83017         0     66811    252428   6186535    130.85    145.98
1114.22/279.53	c  N dy  4447    677864     19403     83017         0     46842    252428   1899881    130.83    142.46
1148.11/288.05	c  N dy  4581    698024     19403     83017         0     66998    252428   6075218    130.84    141.29
1182.86/296.76	c  N dy  4719    718122     19403     83017         0     46102    252428   1506729    130.91    150.83
1215.52/304.97	c  N dy  4858    738236     19403     83017         0     66215    252428   5671126    130.94    149.37
1251.01/313.85	c  N dy  4999    758364     19403     83017         0     44343    252428    964242    131.00    139.00
1282.92/321.89	c  N dy  5127    778462     19403     83017         0     64439    252428   5174623    131.00    186.90
1318.84/330.82	c  N dy  5267    798467     19403     83017         0     84438    252428   9400914    131.07    138.47
1330.77/333.89	c  S st  5319    806031     19403     83017         0     49005    252428   1712597    131.07   no data
1331.58/334.10	c  S st  5319    806536     19403     83017         0     49510    252428   1791753    131.07   no data
1332.00/334.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1332.00/334.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1332.35/334.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1332.35/334.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1332.35/334.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1332.35/334.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
1332.35/334.23	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1332.75/334.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1333.15/334.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1335.55/335.07	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.65 s
1335.55/335.08	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
1335.55/335.11	c vivif2 --  cl tried    49509 cl shrink        0 lits rem          0 time: 0.03
1336.39/335.25	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
1336.39/335.26	c calculated reachability. Time: 0.00
1336.39/335.26	c  N dy  5319    806536     19403     83017         0     49509    252428   1791455    131.07   no data
1369.84/343.64	c  N dy  5460    826743     19403     83017         0     69715    252428   6023224    131.15    139.78
1406.58/352.82	c  N dy  5595    846762     19403     83017         0     45733    252428    825819    131.21    145.67
1439.24/361.06	c  N dy  5734    866795     19403     83017         0     65766    252428   5032636    131.25    139.52
1475.13/370.00	c  N dy  5867    886948     19403     83017         0     85918    252428   9205214    131.27    149.70
1509.02/378.57	c  N dy  6006    907150     19403     83017         0     61129    252428   3847466    131.29    141.61
1544.51/387.40	c  N dy  6149    927185     19403     83017         0     81162    252428   8026050    131.34    140.17
1579.61/396.20	c  N dy  6286    947267     19403     83017         0     55245    252428   2384869    131.39    146.48
1613.51/404.77	c  N dy  6416    967314     19403     83017         0     75291    252428   6491080    131.38    164.93
1651.00/414.13	c  N dy  6546    987501     19403     83017         0     48481    252428    796633    131.38    143.66
1683.68/422.40	c  N dy  6671   1007518     19403     83017         0     68497    252428   4886043    131.34    139.49
1719.98/431.48	c  N dy  6808   1027532     19403     83017         0     88510    252428   9077428    131.35    193.25
1755.07/440.20	c  N dy  6941   1047765     19403     83017         0     60746    252428   3081790    131.35    138.99
1790.16/449.03	c  N dy  7085   1067850     19403     83017         0     80830    252428   7294335    131.40    138.88
1797.74/450.91	c  F st  7115   1071875     19403     83017         0     84855    252428   8129705    131.42    104.28
1827.27/458.33	c  N dy  7196   1087924     19403     83017         0     51900    252428   1087619    131.43    152.66
1861.14/466.80	c  N dy  7329   1107951     19403     83017         0     71926    252428   5244153    131.45    141.05
1897.45/476.00	c  N dy  7467   1128028     19403     83017         0     92002    252428   9380869    131.44    147.03
1932.96/484.86	c  N dy  7606   1148076     19403     83017         0     62050    252428   3000073    131.47    151.82
1968.40/493.74	c  N dy  7735   1168146     19403     83017         0     82118    252428   7169741    131.46    138.67
2006.70/503.39	c  N dy  7864   1188228     19403     83017         0     51202    252428    534629    131.47    139.55
2041.38/512.08	c  N dy  8002   1208290     19403     83017         0     71262    252428   4786253    131.51    162.73
2044.18/512.79	c  S st  8016   1209804     19403     83017         0     72776    252428   5110931    131.52   no data
2045.38/513.04	c  S st  8016   1210309     19403     83017         0     73281    252428   5184203    131.52   no data
2045.38/513.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2045.78/513.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2045.78/513.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2045.78/513.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2045.78/513.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2045.78/513.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
2045.78/513.20	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2046.59/513.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2047.36/513.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2059.75/516.65	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.07 s
2059.75/516.66	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
2060.17/516.74	c vivif2 --  cl tried    73277 cl shrink        0 lits rem          0 time: 0.09
2060.92/516.92	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.18
2060.92/516.93	c calculated reachability. Time: 0.00
2060.92/516.93	c  N dy  8016   1210309     19403     83017         0     73277    252428   5181949    131.52   no data
2098.02/526.27	c  N dy  8156   1230402     19403     83017         0     93369    252428   9375987    131.53    153.46
2134.75/535.44	c  N dy  8287   1250496     19403     83017         0     61470    252428   2490407    131.54    138.58
2170.20/544.36	c  N dy  8430   1270629     19403     83017         0     81601    252428   6719126    131.58    140.89
2210.08/554.30	c  N dy  8567   1290915     19403     83017         0    101887    252428  10953394    131.58    144.72
2245.16/563.19	c  N dy  8706   1310976     19403     83017         0     68946    252428   3906583    131.63    140.70
2281.85/572.34	c  N dy  8835   1331042     19403     83017         0     89011    252428   8149443    131.65    139.53
2322.52/582.52	c  N dy  8973   1351124     19403     83017         0     55093    252428    748013    131.70    179.96
2356.42/591.05	c  N dy  9114   1371180     19403     83017         0     75147    252428   4899221    131.71    153.32
2394.30/600.50	c  N dy  9246   1391185     19403     83017         0     95152    252428   9043182    131.71    139.48
2433.03/610.26	c  N dy  9385   1411248     19403     83017         0     60221    252428   1635158    131.73    140.64
2468.12/619.08	c  N dy  9522   1431368     19403     83017         0     80338    252428   5846218    131.78    139.35
2506.76/628.72	c  N dy  9657   1451395     19403     83017         0    100363    252428   9997591    131.80    146.56
2545.05/638.31	c  N dy  9794   1471451     19403     83017         0     64427    252428   2316260    131.82    141.48
2580.14/647.19	c  N dy  9914   1491468     19403     83017         0     84444    252428   6493319    131.82    139.96
2619.62/657.04	c  N dy 10050   1511554     19403     83017         0    104528    252428  10656344    131.81    142.77
2657.09/666.43	c  N dy 10182   1531652     19403     83017         0     67628    252428   2758368    131.82    143.80
2693.79/675.62	c  N dy 10323   1551696     19403     83017         0     87672    252428   6963251    131.83    143.15
2733.67/685.64	c  N dy 10460   1571725     19403     83017         0    107697    252428  11162662    131.84    168.52
2771.13/695.09	c  N dy 10593   1591824     19403     83017         0     69796    252428   3042676    131.87    171.06
2808.24/704.37	c  N dy 10729   1612179     19403     83017         0     90149    252428   7283076    131.87    139.76
2848.52/714.48	c  N dy 10861   1632348     19403     83017         0    110312    252428  11532686    131.90    138.98
2886.79/724.03	c  N dy 11000   1652597     19403     83017         0     71561    252428   3177576    131.92    145.53
2924.33/733.42	c  N dy 11142   1672683     19403     83017         0     91646    252428   7443536    131.95    156.97
2964.95/743.68	c  N dy 11282   1692789     19403     83017         0    111751    252428  11644511    131.97    139.30
2999.24/752.20	c  S st 11398   1710310     19403     83017         0     69282    252428   2504104    132.00   no data
3000.04/752.45	c  S st 11398   1710812     19403     83017         0     69784    252428   2576196    132.00   no data
3000.04/752.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3000.44/752.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3000.44/752.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3000.44/752.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3000.44/752.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3000.44/752.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
3000.84/752.60	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3000.84/752.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
3001.64/752.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3008.02/754.47	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.63 s
3008.02/754.48	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
3008.42/754.53	c vivif2 --  cl tried    69784 cl shrink        0 lits rem          0 time: 0.05
3009.22/754.70	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.18
3009.22/754.71	c calculated reachability. Time: 0.00
3009.22/754.71	c  N dy 11398   1710812     19403     83017         0     69784    252428   2576192    132.00   no data
3045.91/763.94	c  N dy 11524   1730897     19403     83017         0     89868    252428   6822624    131.99    145.04
3085.80/773.98	c  N dy 11654   1750934     19403     83017         0    109901    252428  11010465    132.00    141.15
3125.26/783.90	c  N dy 11789   1770976     19403     83017         0     68945    252428   2235455    132.01    139.43
3161.55/792.98	c  N dy 11920   1791008     19403     83017         0     88976    252428   6400979    132.00    139.30
3201.83/803.07	c  N dy 12052   1811108     19403     83017         0    109074    252428  10583090    132.01    141.90
3243.31/813.40	c  N dy 12181   1831169     19403     83017         0     67142    252428   1640302    132.02    186.68
3279.22/822.50	c  N dy 12314   1851449     19403     83017         0     87422    252428   5862351    132.01    141.21
3321.07/832.97	c  N dy 12455   1871548     19403     83017         0    107521    252428  10097575    132.03    139.38
3363.73/843.60	c  N dy 12586   1891591     19403     83017         0     64575    252428    882042    132.03    142.37
3399.23/852.56	c  N dy 12727   1911665     19403     83017         0     84648    252428   5125666    132.05    142.55
3439.51/862.67	c  N dy 12861   1932131     19403     83017         0    105114    252428   9427250    132.07    139.03
3482.97/873.58	c  N dy 12996   1952205     19403     83017         0    125187    252428  13644404    132.07    139.33
3520.06/882.85	c  N dy 13140   1972226     19403     83017         0     81205    252428   4213370    132.09    139.33
3558.34/892.48	c  N dy 13270   1992268     19403     83017         0    101245    252428   8407633    132.09    139.59
3601.81/903.30	c  N dy 13416   2012329     19403     83017         0    121305    252428  12686956    132.13    141.86
3640.89/913.16	c  N dy 13552   2032354     19403     83017         0     76327    252428   2909113    132.13    144.91
3678.81/922.64	c  N dy 13684   2052547     19403     83017         0     96517    252428   7227577    132.16    155.94
3720.65/933.17	c  N dy 13821   2072606     19403     83017         0    116575    252428  11443740    132.17    139.42
3763.71/943.93	c  N dy 13953   2092669     19403     83017         0     70641    252428   1566790    132.19    158.69
3800.40/953.12	c  N dy 14091   2112720     19403     83017         0     90690    252428   5767200    132.20    139.35
3841.11/963.35	c  N dy 14230   2132778     19403     83017         0    110748    252428   9946244    132.21    141.18
3884.56/974.31	c  N dy 14363   2152794     19403     83017         0    130763    252428  14088527    132.22    142.80
3922.42/983.76	c  N dy 14499   2173045     19403     83017         0     84018    252428   4117555    132.23    142.15
3961.50/993.53	c  N dy 14631   2193162     19403     83017         0    104133    252428   8337021    132.24    140.90
3999.38/1003.09	c  S st 14762   2210812     19403     83017         0    121782    252428  12087098    132.27    121.84
4000.98/1003.41	c  S st 14762   2211316     19403     83017         0    122286    252428  12157378    132.27   no data
4000.98/1003.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4001.38/1003.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.13
4001.78/1003.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4001.78/1003.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4001.78/1003.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4001.78/1003.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
4001.78/1003.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4002.58/1003.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4005.36/1004.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4033.28/1011.57	c lits-rem:         3  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.03 s
4033.28/1011.58	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
4034.12/1011.79	c vivif2 --  cl tried   122277 cl shrink        0 lits rem          0 time: 0.21
4035.27/1012.07	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.28
4035.27/1012.08	c calculated reachability. Time: 0.00
4035.27/1012.08	c  N dy 14762   2211316     19403     83017         0    122277    252428  12153584    132.27   no data
4079.53/1023.13	c  N dy 14897   2231330     19403     83017         0     74291    252428   1900937    132.28    139.40
4116.63/1032.50	c  N dy 15033   2251523     19403     83017         0     94482    252428   6135250    132.29    141.23
4158.10/1042.81	c  N dy 15174   2271544     19403     83017         0    114502    252428  10336344    132.30    140.52
4201.95/1053.85	c  N dy 15296   2291584     19403     83017         0    134541    252428  14546920    132.30    158.87
4240.64/1063.54	c  N dy 15442   2311662     19403     83017         0     85623    252428   4129766    132.33    143.61
4280.11/1073.48	c  N dy 15588   2331730     19403     83017         0    105689    252428   8399483    132.36    141.26
4323.63/1084.37	c  N dy 15731   2351934     19403     83017         0    125889    252428  12660547    132.38    141.20
4366.66/1095.13	c  N dy 15856   2372028     19403     83017         0     75989    252428   1840133    132.37    141.29
4404.14/1104.53	c  N dy 15986   2392205     19403     83017         0     96166    252428   6008116    132.36    140.39
4444.81/1114.75	c  N dy 16118   2412330     19403     83017         0    116289    252428  10237585    132.37    140.47
4489.48/1125.97	c  N dy 16251   2432475     19403     83017         0    136434    252428  14432968    132.36    143.11
4529.37/1135.95	c  N dy 16383   2452608     19403     83017         0     85570    252428   3644213    132.37    140.09
4568.85/1145.82	c  N dy 16519   2472694     19403     83017         0    105656    252428   7856269    132.37    139.65
4611.50/1156.53	c  N dy 16651   2492797     19403     83017         0    125758    252428  12049703    132.38    139.48
4657.75/1168.14	c  N dy 16793   2512928     19403     83017         0     73891    252428    996592    132.39    143.26
4695.24/1177.55	c  N dy 16924   2533147     19403     83017         0     94109    252428   5273953    132.40    143.74
4736.30/1187.87	c  N dy 17063   2553220     19403     83017         0    114180    252428   9536760    132.43    141.49
4781.38/1199.12	c  N dy 17205   2573265     19403     83017         0    134220    252428  13823611    132.46    168.85

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

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

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


[startup+0 s]
/proc/loadavg: 15.65 15.62 11.44 6/378 6897
/proc/meminfo: memFree=29978364/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 631923951 52396032 352 33554432000 4194304 4580107 140737266599024 18446744073709551615 47539192776211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6897/statm: 12792 352 302 95 0 7774 0
[pid=6897/tid=6898] ppid=6895 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 631923952 52396032 352 33554432000 4194304 4580107 140737266599024 18446744073709551615 47539192776208 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 631923952 52396032 352 33554432000 4194304 4580107 140737266599024 18446744073709551615 47539192776630 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 631923952 52396032 352 33554432000 4194304 4580107 140737266599024 18446744073709551615 47539192776217 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.10402 s]
/proc/loadavg: 15.65 15.62 11.44 6/378 6897
/proc/meminfo: memFree=29978364/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=51168 CPUtime=0.29 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) D 6895 6897 5961 0 -1 4202496 429 0 0 0 29 0 0 0 24 0 4 0 631923951 52396032 363 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039316165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6897/statm: 12792 363 309 95 0 7774 0
[pid=6897/tid=6898] ppid=6895 vsize=51168 CPUtime=0.09 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) S 6895 6897 5961 0 -1 4202560 4 0 0 0 9 0 0 0 18 0 4 0 631923952 52396032 363 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039760366 0 0 4096 2 18446604442074496000 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) S 6895 6897 5961 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 4 0 631923952 52396032 363 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039760366 0 0 4096 2 18446604442074496000 0 0 -1 4 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=51168 CPUtime=0.08 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 10 0 0 0 8 0 0 0 25 0 4 0 631923952 52396032 363 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039698522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51168

[startup+0.242144 s]
/proc/loadavg: 15.65 15.62 11.44 6/378 6897
/proc/meminfo: memFree=29978364/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=302504 CPUtime=0.68 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) D 6895 6897 5961 0 -1 4202496 14836 0 0 0 66 2 0 0 18 0 4 0 631923951 309764096 13081 33554432000 4194304 4580107 140737266599024 18446744073709551615 4238752 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6897/statm: 75626 13081 352 95 0 70608 0
[pid=6897/tid=6898] ppid=6895 vsize=302504 CPUtime=0.19 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 3657 0 0 0 19 0 0 0 18 0 4 0 631923952 309764096 13081 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=302504 CPUtime=0.1 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 3459 0 0 0 10 0 0 0 18 0 4 0 631923952 309764096 13081 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=302504 CPUtime=0.14 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 3638 0 0 0 14 0 0 0 18 0 4 0 631923952 309764096 13081 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 302504

[startup+0.30525 s]
/proc/loadavg: 15.65 15.62 11.44 6/378 6897
/proc/meminfo: memFree=29978364/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=309772 CPUtime=0.86 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 16932 0 0 0 84 2 0 0 18 0 4 0 631923951 317206528 15177 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039698615 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6897/statm: 77443 15260 363 95 0 72425 0
[pid=6897/tid=6898] ppid=6895 vsize=309772 CPUtime=0.23 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 3749 0 0 0 23 0 0 0 18 0 4 0 631923952 317206528 15260 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=309772 CPUtime=0.16 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 4744 0 0 0 16 0 0 0 18 0 4 0 631923952 317206528 15287 33554432000 4194304 4580107 140737266599024 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=309772 CPUtime=0.2 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) D 6895 6897 5961 0 -1 4202560 3738 0 0 0 20 0 0 0 18 0 4 0 631923952 317206528 15288 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039316513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 309772

[startup+1.19223 s]
/proc/loadavg: 15.65 15.62 11.44 6/378 6897
/proc/meminfo: memFree=29978364/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=322244 CPUtime=4.36 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 31213 0 0 0 432 4 0 0 19 0 4 0 631923951 329977856 23952 33554432000 4194304 4580107 140737266599024 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 80561 23952 377 95 0 75543 0
[pid=6897/tid=6898] ppid=6895 vsize=322244 CPUtime=1.1 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 9266 0 0 0 109 1 0 0 19 0 4 0 631923952 329977856 23952 33554432000 4194304 4580107 140737266599024 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=322244 CPUtime=1.02 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 8122 0 0 0 102 0 0 0 19 0 4 0 631923952 329977856 23952 33554432000 4194304 4580107 140737266599024 18446744073709551615 4302568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=322244 CPUtime=1.09 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 4540 0 0 0 109 0 0 0 19 0 4 0 631923952 329977856 23952 33554432000 4194304 4580107 140737266599024 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 322244

[startup+1.50118 s]
/proc/loadavg: 15.65 15.62 11.44 6/378 6897
/proc/meminfo: memFree=29978364/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=322244 CPUtime=5.61 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 32094 0 0 0 556 5 0 0 19 0 4 0 631923951 329977856 24833 33554432000 4194304 4580107 140737266599024 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 80561 24833 377 95 0 75543 0
[pid=6897/tid=6898] ppid=6895 vsize=322244 CPUtime=1.41 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 9474 0 0 0 140 1 0 0 19 0 4 0 631923952 329977856 24833 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=322244 CPUtime=1.33 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 8340 0 0 0 133 0 0 0 19 0 4 0 631923952 329977856 24833 33554432000 4194304 4580107 140737266599024 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=322244 CPUtime=1.4 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 4778 0 0 0 140 0 0 0 19 0 4 0 631923952 329977856 24834 33554432000 4194304 4580107 140737266599024 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 322244

[startup+3.10089 s]
/proc/loadavg: 15.12 15.51 11.43 9/382 6901
/proc/meminfo: memFree=29842544/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=453508 CPUtime=11.98 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 37064 0 0 0 1192 6 0 0 23 0 4 0 631923951 464392192 29803 33554432000 4194304 4580107 140737266599024 18446744073709551615 4320813 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 113377 29803 377 95 0 108359 0
[pid=6897/tid=6898] ppid=6895 vsize=453508 CPUtime=3.01 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 10709 0 0 0 300 1 0 0 23 0 4 0 631923952 464392192 29803 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=453508 CPUtime=2.94 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 9466 0 0 0 293 1 0 0 23 0 4 0 631923952 464392192 29803 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=453508 CPUtime=2.97 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 6227 0 0 0 297 0 0 0 23 0 4 0 631923952 464392192 29803 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 453508

[startup+6.31432 s]
/proc/loadavg: 14.55 15.38 11.41 9/381 6901
/proc/meminfo: memFree=29809072/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=425768 CPUtime=24.79 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 47135 0 0 0 2471 8 0 0 25 0 4 0 631923951 435986432 35246 33554432000 4194304 4580107 140737266599024 18446744073709551615 4295327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 106442 35246 377 95 0 101424 0
[pid=6897/tid=6898] ppid=6895 vsize=425768 CPUtime=6.23 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 13000 0 0 0 621 2 0 0 25 0 4 0 631923952 435986432 35246 33554432000 4194304 4580107 140737266599024 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=425768 CPUtime=6.15 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 11617 0 0 0 614 1 0 0 25 0 4 0 631923952 435986432 35246 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=425768 CPUtime=6.14 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 9632 0 0 0 613 1 0 0 25 0 4 0 631923952 435986432 35246 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 425768

[startup+12.7012 s]
/proc/loadavg: 14.02 15.26 11.39 9/380 6901
/proc/meminfo: memFree=29696916/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=686484 CPUtime=50.27 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 104879 0 0 0 5006 21 0 0 25 0 4 0 631923951 702959616 77600 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 171621 77600 379 95 0 166603 0
[pid=6897/tid=6898] ppid=6895 vsize=686484 CPUtime=12.61 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 40502 0 0 0 1254 7 0 0 25 0 4 0 631923952 702959616 77600 33554432000 4194304 4580107 140737266599024 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=686484 CPUtime=12.53 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 17174 0 0 0 1250 3 0 0 25 0 4 0 631923952 702959616 77600 33554432000 4194304 4580107 140737266599024 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=686484 CPUtime=12.47 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 13922 0 0 0 1245 2 0 0 25 0 4 0 631923952 702959616 77600 33554432000 4194304 4580107 140737266599024 18446744073709551615 4316617 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 686484

[startup+25.5009 s]
/proc/loadavg: 13.17 15.04 11.36 9/377 6902
/proc/meminfo: memFree=29608972/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=564636 CPUtime=101.29 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 164292 0 0 0 10092 37 0 0 25 0 4 0 631923951 578187264 87747 33554432000 4194304 4580107 140737266599024 18446744073709551615 4451475 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 141159 87747 379 95 0 136141 0
[pid=6897/tid=6898] ppid=6895 vsize=564636 CPUtime=25.41 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 50297 0 0 0 2531 10 0 0 25 0 4 0 631923952 578187264 87747 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=564636 CPUtime=25.32 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 32214 0 0 0 2524 8 0 0 25 0 4 0 631923952 578187264 87747 33554432000 4194304 4580107 140737266599024 18446744073709551615 4321769 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=564636 CPUtime=25.11 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 33997 0 0 0 2506 5 0 0 25 0 4 0 631923952 578187264 87747 33554432000 4194304 4580107 140737266599024 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 564636

[startup+51.1003 s]
/proc/loadavg: 11.48 14.49 11.27 9/372 6902
/proc/meminfo: memFree=29350500/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=815916 CPUtime=203.38 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 251600 0 0 0 20280 58 0 0 25 0 4 0 631923951 835497984 140360 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6897/statm: 203979 140360 379 95 0 198961 0
[pid=6897/tid=6898] ppid=6895 vsize=815916 CPUtime=51.01 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 67693 0 0 0 5087 14 0 0 25 0 4 0 631923952 835497984 140360 33554432000 4194304 4580107 140737266599024 18446744073709551615 4292959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=815916 CPUtime=50.92 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 50053 0 0 0 5079 13 0 0 25 0 4 0 631923952 835497984 140360 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=815916 CPUtime=50.44 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 61971 0 0 0 5032 12 0 0 25 0 4 0 631923952 835497984 140360 33554432000 4194304 4580107 140737266599024 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.38
Current children cumulated vsize (KiB) 815916

[startup+102.3 s]
/proc/loadavg: 9.47 13.42 11.09 9/371 6904
/proc/meminfo: memFree=29229100/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=777320 CPUtime=407.56 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 348036 0 0 0 40670 86 0 0 25 0 4 0 631923951 795975680 148341 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6897/statm: 194330 148341 379 95 0 189312 0
[pid=6897/tid=6898] ppid=6895 vsize=777320 CPUtime=102.22 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 95185 0 0 0 10200 22 0 0 25 0 4 0 631923952 795975680 148341 33554432000 4194304 4580107 140737266599024 18446744073709551615 4322895 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=777320 CPUtime=102.12 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 71602 0 0 0 10192 20 0 0 25 0 4 0 631923952 795975680 148341 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=777320 CPUtime=101.63 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 86895 0 0 0 10143 20 0 0 25 0 4 0 631923952 795975680 148341 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.56
Current children cumulated vsize (KiB) 777320

[startup+162.3 s]

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

[pid=6897] ppid=6895 vsize=1439736 CPUtime=2561 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1332134 0 0 0 255720 380 0 0 25 0 4 0 631923951 1474289664 269985 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 359934 269985 379 95 0 354916 0
[pid=6897/tid=6898] ppid=6895 vsize=1439736 CPUtime=642.2 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 346995 0 0 0 64125 95 0 0 25 0 4 0 631923952 1474289664 269985 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1439736 CPUtime=642.11 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 294117 0 0 0 64114 97 0 0 25 0 4 0 631923952 1474289664 269985 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1439736 CPUtime=636.38 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 343852 0 0 0 63549 89 0 0 25 0 4 0 631923952 1474289664 269985 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561
Current children cumulated vsize (KiB) 1439736

[startup+702.301 s]
/proc/loadavg: 8.10 8.82 9.65 9/371 6920
/proc/meminfo: memFree=28543632/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1309752 CPUtime=2800.26 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1428723 0 0 0 279615 411 0 0 25 0 4 0 631923951 1341186048 267150 33554432000 4194304 4580107 140737266599024 18446744073709551615 4302544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 327438 267150 379 95 0 322420 0
[pid=6897/tid=6898] ppid=6895 vsize=1309752 CPUtime=702.19 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 372195 0 0 0 70116 103 0 0 25 0 4 0 631923952 1341186048 267150 33554432000 4194304 4580107 140737266599024 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1309752 CPUtime=702.11 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 315555 0 0 0 70106 105 0 0 25 0 4 0 631923952 1341186048 267150 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1309752 CPUtime=695.68 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 368622 0 0 0 69471 97 0 0 25 0 4 0 631923952 1341186048 267150 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.26
Current children cumulated vsize (KiB) 1309752

[startup+762.3 s]
/proc/loadavg: 8.09 8.68 9.55 9/371 6921
/proc/meminfo: memFree=28527816/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1311128 CPUtime=3039.53 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1519493 0 0 0 303514 439 0 0 25 0 4 0 631923951 1342595072 261971 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 327782 261971 379 95 0 322764 0
[pid=6897/tid=6898] ppid=6895 vsize=1311128 CPUtime=762.19 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 395240 0 0 0 76109 110 0 0 25 0 4 0 631923952 1342595072 261971 33554432000 4194304 4580107 140737266599024 18446744073709551615 4306388 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1311128 CPUtime=762.1 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 336742 0 0 0 76098 112 0 0 25 0 4 0 631923952 1342595072 261971 33554432000 4194304 4580107 140737266599024 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1311128 CPUtime=754.96 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 391297 0 0 0 75392 104 0 0 25 0 4 0 631923952 1342595072 261971 33554432000 4194304 4580107 140737266599024 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.53
Current children cumulated vsize (KiB) 1311128

[startup+822.301 s]
/proc/loadavg: 8.08 8.57 9.46 10/371 6923
/proc/meminfo: memFree=28442312/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1356916 CPUtime=3278.81 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1634356 0 0 0 327408 473 0 0 25 0 4 0 631923951 1389481984 261104 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 339229 261104 379 95 0 334211 0
[pid=6897/tid=6898] ppid=6895 vsize=1356916 CPUtime=822.19 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 423173 0 0 0 82101 118 0 0 25 0 4 0 631923952 1389481984 261107 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1356916 CPUtime=822.1 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 368074 0 0 0 82090 120 0 0 25 0 4 0 631923952 1389481984 261110 33554432000 4194304 4580107 140737266599024 18446744073709551615 212039352075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1356916 CPUtime=814.25 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 418912 0 0 0 81313 112 0 0 25 0 4 0 631923952 1389481984 261110 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.81
Current children cumulated vsize (KiB) 1356916

[startup+882.301 s]
/proc/loadavg: 8.03 8.46 9.36 9/371 6925
/proc/meminfo: memFree=28318144/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1359144 CPUtime=3518.06 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1754823 0 0 0 351297 509 0 0 25 0 4 0 631923951 1391763456 264842 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 339786 264842 379 95 0 334768 0
[pid=6897/tid=6898] ppid=6895 vsize=1359144 CPUtime=882.19 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 450610 0 0 0 88092 127 0 0 25 0 4 0 631923952 1391763456 264842 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1359144 CPUtime=882.1 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 406705 0 0 0 88079 131 0 0 25 0 4 0 631923952 1391763456 264842 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1359144 CPUtime=873.54 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 445801 0 0 0 87233 121 0 0 25 0 4 0 631923952 1391763456 264842 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.06
Current children cumulated vsize (KiB) 1359144

[startup+942.3 s]
/proc/loadavg: 8.12 8.41 9.29 9/371 6926
/proc/meminfo: memFree=28251372/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1360416 CPUtime=3757.35 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1862102 0 0 0 375191 544 0 0 25 0 4 0 631923951 1393065984 266858 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 340104 266858 379 95 0 335086 0
[pid=6897/tid=6898] ppid=6895 vsize=1360416 CPUtime=942.19 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 477750 0 0 0 94085 134 0 0 25 0 4 0 631923952 1393065984 266869 33554432000 4194304 4580107 140737266599024 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1360416 CPUtime=941.7 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 433767 0 0 0 94032 138 0 0 25 0 4 0 631923952 1393065984 266869 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1360416 CPUtime=933.25 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 471743 0 0 0 93194 131 0 0 25 0 4 0 631923952 1393065984 266869 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.35
Current children cumulated vsize (KiB) 1360416

[startup+1002.3 s]
/proc/loadavg: 6.35 7.90 9.06 5/362 6955
/proc/meminfo: memFree=29211024/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1418116 CPUtime=3996.6 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 1966642 0 0 0 399081 579 0 0 25 0 4 0 631923951 1452150784 294732 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 354529 294732 379 95 0 349511 0
[pid=6897/tid=6898] ppid=6895 vsize=1418116 CPUtime=1002.18 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 503649 0 0 0 100075 143 0 0 25 0 4 0 631923952 1452150784 294732 33554432000 4194304 4580107 140737266599024 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1418116 CPUtime=1000.97 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 459368 0 0 0 99952 145 0 0 25 0 4 0 631923952 1452150784 294732 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1418116 CPUtime=993.24 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 498569 0 0 0 99182 142 0 0 25 0 4 0 631923952 1452150784 294733 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.6
Current children cumulated vsize (KiB) 1418116

[startup+1062.31 s]
/proc/loadavg: 4.96 7.22 8.75 5/362 6956
/proc/meminfo: memFree=28992876/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1682888 CPUtime=4235.9 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 2133311 0 0 0 422936 654 0 0 25 0 4 0 631923951 1723277312 348433 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 420722 348433 379 95 0 415704 0
[pid=6897/tid=6898] ppid=6895 vsize=1682888 CPUtime=1062.18 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 556061 0 0 0 106047 171 0 0 25 0 4 0 631923952 1723277312 348433 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1682888 CPUtime=1060.26 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 485811 0 0 0 105871 155 0 0 25 0 4 0 631923952 1723277312 348433 33554432000 4194304 4580107 140737266599024 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1682888 CPUtime=1053.24 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 542044 0 0 0 105171 153 0 0 25 0 4 0 631923952 1723277312 348433 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.9
Current children cumulated vsize (KiB) 1682888

[startup+1122.3 s]
/proc/loadavg: 4.41 6.65 8.46 5/362 6958
/proc/meminfo: memFree=28912104/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1626576 CPUtime=4475.12 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 2235539 0 0 0 446821 691 0 0 25 0 4 0 631923951 1665613824 354533 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 406644 354533 379 95 0 401626 0
[pid=6897/tid=6898] ppid=6895 vsize=1626576 CPUtime=1122.17 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 581530 0 0 0 112035 182 0 0 25 0 4 0 631923952 1665613824 354533 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1626576 CPUtime=1119.55 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 510703 0 0 0 111792 163 0 0 25 0 4 0 631923952 1665613824 354534 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1626576 CPUtime=1113.23 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 568093 0 0 0 111160 163 0 0 25 0 4 0 631923952 1665613824 354534 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.12
Current children cumulated vsize (KiB) 1626576

[startup+1182.3 s]
/proc/loadavg: 4.21 6.18 8.18 5/362 6960
/proc/meminfo: memFree=28947524/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1685224 CPUtime=4714.38 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 2339060 0 0 0 470714 724 0 0 25 0 4 0 631923951 1725669376 359895 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 421306 359895 379 95 0 416288 0
[pid=6897/tid=6898] ppid=6895 vsize=1685224 CPUtime=1182.17 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 608807 0 0 0 118024 193 0 0 25 0 4 0 631923952 1725669376 359895 33554432000 4194304 4580107 140737266599024 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1685224 CPUtime=1178.83 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 536314 0 0 0 117712 171 0 0 25 0 4 0 631923952 1725669376 359896 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1685224 CPUtime=1173.22 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 591704 0 0 0 117153 169 0 0 25 0 4 0 631923952 1725669376 359896 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.38
Current children cumulated vsize (KiB) 1685224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 4.15 6.04 8.09 5/362 6960
/proc/meminfo: memFree=28998108/32951124 swapFree=51873460/67111528
[pid=6897] ppid=6895 vsize=1570304 CPUtime=4800.13 cores=0,2,4,6
/proc/6897/stat : 6897 (strangenight2-m) R 6895 6897 5961 0 -1 4202496 2376076 0 0 0 479277 736 0 0 25 0 4 0 631923951 1607991296 346983 33554432000 4194304 4580107 140737266599024 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6897/statm: 392576 346983 379 95 0 387558 0
[pid=6897/tid=6898] ppid=6895 vsize=1570304 CPUtime=1203.68 cores=0,2,4,6
/proc/6897/task/6898/stat : 6898 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 618150 0 0 0 120173 195 0 0 25 0 4 0 631923952 1607991296 346989 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6897/tid=6899] ppid=6895 vsize=1570304 CPUtime=1200.08 cores=0,2,4,6
/proc/6897/task/6899/stat : 6899 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 545780 0 0 0 119833 175 0 0 25 0 4 0 631923952 1607991296 346989 33554432000 4194304 4580107 140737266599024 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6897/tid=6900] ppid=6895 vsize=1570304 CPUtime=1194.73 cores=0,2,4,6
/proc/6897/task/6900/stat : 6900 (strangenight2-m) R 6895 6897 5961 0 -1 4202560 601702 0 0 0 119300 173 0 0 25 0 4 0 631923952 1607991296 346989 33554432000 4194304 4580107 140737266599024 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1570304

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.88
CPU time (s): 4800.25
CPU user time (s): 4792.82
CPU system time (s): 7.43287
CPU usage (%): 398.731
Max. virtual memory (cumulated for all children) (KiB): 1698724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.82
system time used= 7.43287
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2376088
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= 4412
involuntary context switches= 36879

runsolver used 4.00039 second user time and 10.2504 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 19:44:37
IDJOB=3366109
IDBENCH=82518
IDSOLVER=1844
FILE ID=node146/3366109-1305395077
RUNJOBID= node146-1305393424-6536
PBS_JOBID= 13324433
Free space on /tmp= 73264 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366109-1305395077/watcher-3366109-1305395077 -o /tmp/evaluation-result-3366109-1305395077/solver-3366109-1305395077 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366109-1305395077.cnf

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

MD5SUM BENCH= 839440d6b1cc9d3b4faa8d33a4dd7359
RANDOM SEED=615984182

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29978776 kB
Buffers:         39668 kB
Cached:          58536 kB
SwapCached:      55744 kB
Active:        1088228 kB
Inactive:      1656496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29978776 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           10632 kB
Writeback:           0 kB
AnonPages:     2597444 kB
Mapped:          17696 kB
Slab:            99648 kB
PageTables:      59492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82406532 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= 73264 MiB
End job on node146 at 2011-05-14 20:04:43