Trace number 3369104

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.32 1203.48

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
MD5SUMba3b1702a651cd8da3e6cada8f2e97bc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.28965
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of clauses405748
Sum of the clauses size813494
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2405703
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.05	c This is CryptoMiniSat 2.9.0
0.00/0.05	c compiled with gcc version 4.4.5
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3369104-1305434052.cnf'
0.00/0.05	c -- header says num vars:           2088
0.00/0.05	c -- header says num clauses:      405748
0.37/0.14	c -- clauses added:            0 learnts,       405748 normals,            0 xors
0.37/0.14	c -- vars added       2088
0.37/0.14	c Parsing time:  0.27 s
0.37/0.14	c  N st     0         0      2088        45    405703         0    813494         0   no data   no data  --
0.37/0.14	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
0.37/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.24
0.37/0.36	c bin-w-bin subsume rem            0 bins  time:  0.31 s
0.37/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
0.37/0.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2088 time:  0.17 s
0.37/0.45	c Removed useless bin:       0  fixed:     0  props:   2.04M  time:  0.16 s
1.35/0.98	c lits-rem:       189  cl-subs:        0  v-elim:     45  v-fix:    0  time:  0.51 s
1.35/0.98	c Finding binary XORs  T:     0.03 s  found:       0
1.35/0.98	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.35/0.98	c calculated reachability. Time: 0.01
1.35/0.98	c Calc default polars -  time:   0.01 s pos:       0 undec:      45 neg:    2043
1.35/0.98	c =========================================================================================
1.35/0.98	c types(t): F = full restart, N = normal restart
1.35/0.98	c types(t): S = simplification begin/end, E = solution found
1.35/0.98	c restart types(rt): st = static, dy = dynamic
1.35/0.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.35/0.98	c  B st     0         0      2043      7752    395908         0   1194307         0   no data   no data  --
1.35/1.12	c  N dy    16      4090      2043      7752    395908      3974   1194306    364351     10.09     11.52  --
5.66/1.49	c  N dy    31      8136      2043      7752    395909      5493   1194306    429666      9.27      9.83  --
7.93/2.06	c  N dy    51     12806      2043      7752    395909      5905   1194305    385827      9.21     10.12  --
9.89/2.57	c  N dy    75     16886      2043      7752    395909      9838   1194305    598336      9.39     10.97  --
11.89/3.02	c  N dy    97     20958      2043      7752    395909      8355   1194291    634941      9.40      9.93  --
13.88/3.51	c  F st   125     25000      2043      7752    395909     12313   1194284   1021173      9.56      7.55  --
13.88/3.57	c  N st   125     25000      2043      7752    395909     12313   1194284   1021173      9.56      7.55  --
16.28/4.15	c  N dy   131     30001      2043      7752    395909     10566   1194284    702735      9.56   no data  --
16.28/4.15	c  S st   131     30001      2043      7752    395909     10566   1194284    702735      9.56   no data  --
16.28/4.20	c  S st   131     30504      2043      7752    395909     11063   1194281    744484      9.56   no data  --
16.28/4.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
16.28/4.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.67/4.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 23.0M T:  2.20
19.06/4.85	c bin-w-bin subsume rem            0 bins  time:  0.19 s
24.24/6.11	c subs with bin:        0  lits-rem:      2206  v-fix:    0  time:  4.99 s
24.24/6.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
24.24/6.19	c Removed useless bin:       0  fixed:     0  props:   1.99M  time:  0.16 s
27.84/7.03	c lits-rem:      2650  cl-subs:      860  v-elim:      0  v-fix:    0  time:  3.37 s
28.64/7.26	c asymm  cl-useful: 666/1569/7752 lits-rem:8691 time: 0.92
28.64/7.27	c calculated reachability. Time: 0.01
28.64/7.27	c  N dy   131     30504      2043      7752    395910     10203   1176571    702851      9.56   no data  --
31.03/7.81	c  N dy   149     34622      2043      7752    395910     14244   1176571   1069010      9.51     10.09  --
33.42/8.41	c  N dy   172     38686      2043      7752    395910     10479   1176568    835867      9.67     13.15  --
35.81/9.06	c  N dy   190     42720      2043      7752    395910     14405   1176561   1366367      9.70     10.53  --
38.21/9.70	c  S st   217     45756      2043      7752    395915     17370   1176553   1886942     10.22   no data  --
38.63/9.78	c  S st   217     46259      2043      7752    395915      9137   1176553    643627     10.22   no data  --
38.63/9.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
38.63/9.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.00/10.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 24.3M T:  2.26
41.40/10.43	c bin-w-bin subsume rem            0 bins  time:  0.19 s
46.18/11.69	c subs with bin:        0  lits-rem:      3675  v-fix:    0  time:  4.99 s
46.58/11.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
46.58/11.77	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.15 s
50.17/12.61	c lits-rem:      1622  cl-subs:      285  v-elim:      0  v-fix:    0  time:  3.37 s
50.17/12.63	c vivif2 --  cl tried     7752 cl shrink     5550 lits rem      72092 time: 0.08
50.17/12.65	c vivif2 --  cl tried     8852 cl shrink       22 lits rem         23 time: 0.06
50.97/12.85	c asymm  cl-useful: 0/1695/7752 lits-rem:0 time: 0.82
50.97/12.86	c calculated reachability. Time: 0.01
50.97/12.86	c  N dy   217     46259      2043      7752    395915      8852   1097213    627119     10.22   no data  --
53.36/13.42	c  N dy   244     50723      2043      7752    395922     13206   1097213   1055481     10.28     10.96  --
55.76/14.05	c  N dy   275     54728      2043      7752    395922     17130   1097213   1441731     10.49     13.86  --
58.55/14.73	c  N dy   305     59068      2043      7752    395923     11625   1097212   1002358     10.80     11.51  --
60.98/15.37	c  N dy   321     63144      2043      7752    395923     15602   1097212   1595967     10.95     27.84  --
64.53/16.22	c  N dy   349     67352      2043      7752    395923     19713   1097212   2250027     11.23     11.84  --
66.11/16.62	c  S st   359     69388      2043      7752    395923     10976   1097212    852565     11.22   no data  --
66.11/16.68	c  S st   359     69889      2043      7752    395923     11477   1097212    911203     11.22   no data  --
66.11/16.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
66.11/16.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.92/17.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 26.1M T:  2.73
69.34/17.45	c bin-w-bin subsume rem            0 bins  time:  0.19 s
74.49/18.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.02 s
74.49/18.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
74.49/18.79	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.15 s
78.89/19.85	c lits-rem:       526  cl-subs:       70  v-elim:      0  v-fix:    0  time:  4.20 s
78.89/19.85	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
78.89/19.88	c vivif2 --  cl tried    11407 cl shrink       26 lits rem         29 time: 0.08
79.68/20.08	c asymm  cl-useful: 0/1779/7752 lits-rem:0 time: 0.83
79.68/20.09	c calculated reachability. Time: 0.01
79.68/20.09	c  N dy   359     69889      2043      7752    395924     11407   1097170    906257     11.22   no data  --
82.51/20.74	c  N dy   381     74389      2043      7752    395928     15781   1097170   1524374     11.28     13.56  --
85.66/21.58	c  N dy   406     79178      2043      7752    395929     20434   1097170   2193033     11.37     23.48  --
89.65/22.55	c  N dy   435     84287      2043      7752    395929     13739   1097169   1063094     11.56     12.18  --
91.28/22.96	c  F st   443     87503      2043      7752    395929     16877   1097169   1426337     11.52      8.94  --
93.24/23.49	c  N st   448     90797      2043      7752    395929     20077   1097169   1763650     11.52   no data  --
98.04/24.60	c  N dy   475     97160      2043      7752    395930     13589   1097167   1030125     11.60     12.24  --
101.62/25.59	c  N dy   501    103795      2043      7752    395930     20060   1097167   1761893     11.57     12.52  --
102.42/25.79	c  S st   512    104834      2043      7752    395930     21080   1097167   1927743     11.64   no data  --
102.82/25.89	c  S st   512    105337      2043      7752    395930     21581   1097167   1990160     11.64   no data  --
103.22/25.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
103.22/25.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.41/26.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 34.9M T:  3.51
107.21/26.90	c bin-w-bin subsume rem            0 bins  time:  0.19 s
112.40/28.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.47 s
112.80/28.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
112.80/28.36	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
124.76/31.38	c lits-rem:      2249  cl-subs:      385  v-elim:      0  v-fix:    0  time: 12.07 s
124.76/31.39	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
125.16/31.43	c vivif2 --  cl tried    21196 cl shrink       71 lits rem         80 time: 0.16
125.96/31.68	c asymm  cl-useful: 0/610/7752 lits-rem:0 time: 0.98
125.96/31.69	c calculated reachability. Time: 0.01
125.96/31.69	c  N dy   512    105337      2043      7752    395931     21196   1097153   1949580     11.64   no data  --
131.94/33.17	c  N dy   545    112328      2043      7752    395934     14377   1097153   1030744     11.68     12.33  --
137.52/34.57	c  N dy   589    119707      2043      7752    395934     21612   1097153   2189262     11.82     12.52  --
144.70/36.31	c  N dy   622    127497      2043      7752    395935     29226   1097153   3134057     11.82     12.49  --
149.89/37.61	c  N dy   654    135672      2043      7752    395937     22532   1097153   2116299     11.81     12.49  --
156.67/39.34	c  N dy   695    144362      2043      7752    395937     30953   1097151   3094632     11.89     14.43  --
163.05/40.98	c  N dy   741    153615      2043      7752    395939     24407   1097150   2355654     12.00     22.59  --
167.04/42.00	c  S st   760    158006      2043      7752    395941     28664   1097150   3005207     12.01      8.67  --
167.84/42.12	c  S st   760    158508      2043      7752    395941     29164   1097150   3069773     12.01   no data  --
167.84/42.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
167.84/42.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.63/43.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 45.8M T:  4.87
173.43/43.51	c bin-w-bin subsume rem            0 bins  time:  0.19 s
178.22/44.79	c subs with bin:        2  lits-rem:        16  v-fix:    0  time:  5.13 s
178.62/44.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
178.62/44.87	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.15 s
198.15/49.73	c lits-rem:      1212  cl-subs:      505  v-elim:      0  v-fix:    0  time: 19.35 s
198.15/49.74	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
198.15/49.79	c vivif2 --  cl tried    28657 cl shrink      106 lits rem        121 time: 0.22
199.35/50.04	c asymm  cl-useful: 0/520/7752 lits-rem:0 time: 1.01
199.35/50.06	c calculated reachability. Time: 0.01
199.35/50.06	c  N dy   760    158508      2043      7752    395942     28657   1097145   3009770     12.01   no data  --
207.73/52.16	c  N dy   813    168748      2043      7752    395946     22103   1097144   1838905     12.13     13.04  --
216.10/54.29	c  N dy   858    179617      2043      7752    395947     32680   1097144   3171704     12.15     12.91  --
224.87/56.49	c  N dy   921    191123      2043      7752    395947     26342   1097144   2233976     12.28     27.65  --
235.64/59.15	c  N dy   972    203439      2043      7752    395948     19838   1097144   1325830     12.30     13.14  --
244.85/61.43	c  N dy  1014    216641      2043      7752    395949     32751   1097144   2811429     12.24     12.91  --
255.99/64.21	c  N dy  1073    231154      2043      7752    395949     27411   1097144   2231812     12.29     12.95  --
261.17/65.56	c  S st  1088    237762      2043      7752    395950     33845   1097144   3002708     12.26   no data  --
261.57/65.67	c  S st  1088    238264      2043      7752    395950     34347   1097144   3074048     12.26   no data  --
261.57/65.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
261.57/65.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
266.79/66.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.9M T:  5.18
267.55/67.13	c bin-w-bin subsume rem            0 bins  time:  0.18 s
273.14/68.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.80 s
273.54/68.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
273.54/68.66	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
290.29/72.82	c lits-rem:       358  cl-subs:      738  v-elim:      0  v-fix:    0  time: 16.56 s
290.29/72.82	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
290.29/72.89	c vivif2 --  cl tried    33609 cl shrink      136 lits rem        146 time: 0.27
291.49/73.15	c asymm  cl-useful: 0/1200/7752 lits-rem:0 time: 1.04
291.49/73.16	c calculated reachability. Time: 0.01
291.49/73.16	c  N dy  1088    238264      2043      7752    395950     33609   1097142   3018399     12.26   no data  --
304.25/76.33	c  N dy  1162    253826      2043      7752    395950     28281   1097142   2409207     12.40     13.26  --
320.60/80.40	c  N dy  1246    270292      2043      7752    395951     22871   1097142   1490679     12.57     13.29  --
332.60/83.44	c  N dy  1307    287718      2043      7752    395953     39817   1097142   3296624     12.54     13.22  --
346.53/86.94	c  F st  1374    306252      2043      7752    395953     35533   1097142   2804582     12.57      9.88  --
346.53/86.99	c  N st  1374    306252      2043      7752    395953     35533   1097142   2804582     12.57      9.88  --
362.90/91.06	c  N dy  1428    327261      2043      7752    395953     32571   1097142   2518910     12.54     13.35  --
380.87/95.59	c  N dy  1527    347279      2043      7752    395954     27754   1097142   1886498     12.65     18.18  --
389.64/97.77	c  S st  1587    357396      2043      7752    395956     37640   1097142   3232045     12.74   no data  --
390.40/97.90	c  S st  1587    357898      2043      7752    395956     38140   1097142   3284342     12.74   no data  --
390.40/97.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
390.40/97.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.60/99.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 47.9M T:  5.29
396.00/99.39	c bin-w-bin subsume rem            0 bins  time:  0.18 s
402.81/101.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.49 s
402.81/101.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
402.81/101.10	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.16 s
424.74/106.53	c lits-rem:      1844  cl-subs:      836  v-elim:      0  v-fix:    0  time: 21.65 s
424.74/106.54	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
425.15/106.61	c vivif2 --  cl tried    37304 cl shrink       51 lits rem         54 time: 0.28
425.91/106.89	c asymm  cl-useful: 2/1098/7752 lits-rem:2 time: 1.13
426.31/106.90	c calculated reachability. Time: 0.01
426.31/106.90	c  N dy  1587    357898      2043      7752    395956     37304   1097139   3227877     12.74   no data  --
445.46/111.78	c  N dy  1686    377975      2043      7752    395959     31530   1097139   2365929     12.85     15.83  --
463.81/116.35	c  N dy  1750    398056      2043      7752    395959     51101   1097138   4791509     12.84     13.54  --
483.35/121.26	c  N dy  1812    419598      2043      7752    395962     45768   1097138   3562986     12.81     13.72  --
500.50/125.52	c  N dy  1885    439664      2043      7752    395963     38026   1097138   2862429     12.84     13.54  --
522.04/130.92	c  N dy  1944    460055      2043      7752    395963     29557   1097137   1879852     12.85     13.60  --
539.25/135.23	c  N dy  1993    480132      2043      7752    395965     48892   1097137   3257183     12.79     17.55  --
555.16/139.24	c  N dy  2061    500378      2043      7752    395965     39565   1097137   2747986     12.80     13.55  --
573.11/143.70	c  N dy  2124    520568      2043      7752    395965     59319   1097137   4810275     12.80     13.68  --
586.66/147.14	c  S st  2180    536848      2043      7752    395965     45021   1097137   3409167     12.82     11.79  --
587.09/147.25	c  S st  2180    537350      2043      7752    395965     45523   1097137   3479921     12.82   no data  --
587.09/147.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
587.09/147.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
592.64/148.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 46.4M T:  5.29
593.04/148.75	c bin-w-bin subsume rem            0 bins  time:  0.18 s
598.63/150.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.69 s
599.03/150.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
599.03/150.25	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.15 s
626.15/157.04	c lits-rem:      1105  cl-subs:     1329  v-elim:      0  v-fix:    0  time: 27.04 s
626.15/157.05	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
626.58/157.13	c vivif2 --  cl tried    44194 cl shrink      110 lits rem        115 time: 0.33
627.74/157.41	c asymm  cl-useful: 0/1096/7752 lits-rem:0 time: 1.10
627.74/157.42	c calculated reachability. Time: 0.01
627.74/157.42	c  N dy  2180    537350      2043      7752    395965     44194   1097137   3426504     12.82   no data  --
648.53/162.67	c  N dy  2246    558585      2043      7752    395966     33684   1097137   2227701     12.82     13.55  --
666.08/167.09	c  N dy  2306    578666      2043      7752    395968     53263   1097136   4589316     12.81     15.59  --
688.02/172.58	c  N dy  2388    598843      2043      7752    395969     40709   1097136   2568298     12.84     13.86  --
703.94/176.55	c  N dy  2447    618914      2043      7752    395969     60209   1097136   4516231     12.81     21.28  --
722.69/181.25	c  N dy  2541    639379      2043      7752    395969     47029   1097136   3532418     12.89     13.65  --
745.06/186.83	c  N dy  2587    660222      2043      7752    395969     67222   1097136   5317722     12.85     13.65  --
761.37/190.94	c  N dy  2643    680407      2043      7752    395970     52867   1097135   3648414     12.82     13.73  --
780.91/195.88	c  N dy  2712    700505      2043      7752    395970     37433   1097135   2238752     12.84     13.97  --
798.87/200.35	c  N dy  2766    720671      2043      7752    395971     57011   1097135   4353343     12.81     13.63  --
822.01/206.10	c  N dy  2846    740831      2043      7752    395972     40610   1097135   2344163     12.83     13.66  --
839.56/210.52	c  N dy  2905    760861      2043      7752    395972     60029   1097135   4323013     12.80     13.48  --
864.69/216.81	c  N dy  2985    781095      2043      7752    395972     42841   1097135   2691874     12.83     13.53  --
883.04/221.45	c  N dy  3041    801376      2043      7752    395972     62584   1097134   4656115     12.81     13.53  --
888.63/222.86	c  S st  3066    806025      2043      7752    395972     67110   1097134   5141574     12.82   no data  --
889.43/223.00	c  S st  3066    806526      2043      7752    395972     67609   1097134   5191733     12.82   no data  --
889.43/223.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
889.43/223.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
897.81/225.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 58.3M T:  8.27
898.63/225.32	c bin-w-bin subsume rem            0 bins  time:  0.17 s
903.78/226.66	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  5.34 s
904.18/226.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
904.18/226.74	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.16 s
1019.06/255.58	c lits-rem:       779  cl-subs:     3174  v-elim:      0  v-fix:    0  time: 114.62 s
1019.06/255.59	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
1019.86/255.71	c vivif2 --  cl tried    64435 cl shrink      150 lits rem        152 time: 0.51
1021.06/256.01	c asymm  cl-useful: 0/658/7752 lits-rem:0 time: 1.19
1021.06/256.02	c calculated reachability. Time: 0.01
1021.06/256.02	c  N dy  3066    806526      2043      7752    395973     64435   1097133   5086550     12.82   no data  --
1045.39/262.10	c  N dy  3160    826622      2043      7752    395977     46048   1097133   3154373     12.88     13.70  --
1069.33/268.12	c  N dy  3237    846885      2043      7752    395977     65732   1097133   5337202     12.90     13.62  --
1094.06/274.39	c  N dy  3326    867097      2043      7752    395978     46556   1097133   2960801     12.91     13.71  --
1113.64/279.31	c  N dy  3401    887109      2043      7752    395980     66017   1097133   5059007     12.92     17.42  --
1135.57/284.77	c  N dy  3456    907184      2043      7752    395981     45667   1097133   2834090     12.90     13.76  --
1155.89/289.82	c  N dy  3518    927359      2043      7752    395981     65203   1097133   4493263     12.90     13.97  --
1179.86/295.88	c  N dy  3599    949806      2043      7752    395981     46204   1097133   2856974     12.93     13.67  --
1199.36/300.77	c  N dy  3675    969849      2043      7752    395981     65655   1097133   4884929     12.94     21.02  --
1226.49/307.52	c  N dy  3757    989926      2043      7752    395981     43438   1097133   2568954     12.96     13.89  --
1246.83/312.66	c  N dy  3801   1011227      2043      7752    395981     64108   1097132   4405934     12.93     13.63  --
1272.36/319.00	c  N dy  3896   1032486      2043      7752    395981     84824   1097132   6493563     12.95     13.63  --
1293.54/324.31	c  N dy  3973   1052526      2043      7752    395981     61509   1097132   4457661     12.97     13.72  --
1327.41/332.81	c  F st  4065   1071876      2043      7752    395982     80394   1097132   6892643     13.00     11.88  --
1329.79/333.45	c  N st  4068   1073064      2043      7752    395982     81559   1097132   7055394     13.00   no data  --
1358.92/340.75	c  N dy  4153   1094803      2043      7752    395982     59006   1097132   4295431     13.03     14.12  --
1390.05/348.51	c  N dy  4218   1114806      2043      7752    395982     78444   1097132   6339750     13.02     17.80  --
1419.14/355.81	c  N dy  4275   1134832      2043      7752    395982     53165   1097132   3448064     13.01     18.49  --
1449.45/363.44	c  N dy  4378   1154877      2043      7752    395983     72653   1097132   5892336     13.06     20.27  --
1489.33/373.41	c  N dy  4463   1175168      2043      7752    395983     46710   1097132   2704027     13.09     13.94  --
1514.05/379.60	c  N dy  4545   1195260      2043      7752    395985     66281   1097132   5081943     13.10     18.30  --
1538.39/385.77	c  S st  4615   1209789      2043      7752    395987     80367   1097132   6560932     13.13     10.30  --
1539.63/386.02	c  S st  4615   1210290      2043      7752    395987     80866   1097132   6624298     13.13   no data  --
1539.63/386.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1539.63/386.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1551.15/388.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 75.7M T: 11.68
1552.38/389.23	c bin-w-bin subsume rem            0 bins  time:  0.17 s
1560.73/391.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.37 s
1560.73/391.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
1561.15/391.41	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.14 s
1752.97/439.50	c lits-rem:      2180  cl-subs:     4553  v-elim:      0  v-fix:    0  time: 191.52 s
1752.97/439.51	c vivif2 --  cl tried     7752 cl shrink        1 lits rem          1 time: 0.02
1753.37/439.67	c vivif2 --  cl tried    76313 cl shrink      694 lits rem        814 time: 0.64
1754.96/440.00	c asymm  cl-useful: 0/271/7752 lits-rem:0 time: 1.33
1754.96/440.01	c calculated reachability. Time: 0.01
1754.96/440.01	c  N dy  4615   1210290      2043      7752    395989     76313   1097130   6487320     13.13   no data  --
1788.87/448.59	c  N dy  4709   1230382      2043      7752    395989     49236   1097130   3065478     13.16     13.95  --
1811.65/454.26	c  N dy  4799   1251197      2043      7752    395989     69458   1097130   5225165     13.17     13.98  --
1839.51/461.21	c  N dy  4865   1271548      2043      7752    395990     89211   1097130   7158281     13.18     13.93  --
1864.63/467.57	c  N dy  4963   1292230      2043      7752    395990     61706   1097130   4098944     13.20     13.94  --
1888.57/473.52	c  N dy  5026   1312289      2043      7752    395992     81195   1097130   6018905     13.20     22.77  --
1918.09/480.94	c  N dy  5126   1332370      2043      7752    395994     52100   1097130   3258100     13.23     13.98  --
1944.02/487.44	c  N dy  5216   1353046      2043      7752    395995     72197   1097130   5540411     13.27     14.11  --
1979.12/496.27	c  N dy  5312   1373095      2043      7752    395996     91750   1097130   7818907     13.29     24.64  --
2006.65/503.16	c  N dy  5379   1393223      2043      7752    395996     61606   1097130   3836803     13.28     14.83  --
2031.76/509.47	c  N dy  5457   1413313      2043      7752    395997     81094   1097130   5983238     13.29     19.41  --
2067.67/518.46	c  N dy  5551   1435307      2043      7752    395997     51940   1097130   3005186     13.31     14.02  --
2088.81/523.73	c  N dy  5628   1455340      2043      7752    395997     71346   1097130   4985588     13.31     15.46  --
2117.53/530.94	c  N dy  5714   1475920      2043      7752    395997     91309   1097129   7144977     13.33     14.05  --
2143.46/537.49	c  N dy  5774   1495928      2043      7752    395997     59362   1097129   3882402     13.32     24.63  --
2168.59/543.75	c  N dy  5865   1515959      2043      7752    395997     78881   1097129   6089830     13.34     20.65  --
2201.73/552.02	c  N dy  5951   1536010      2043      7752    395997     98348   1097129   8292027     13.34     20.55  --
2228.82/558.89	c  N dy  6026   1556047      2043      7752    395998     65361   1097128   4291589     13.35     14.07  --
2259.18/566.44	c  N dy  6135   1577168      2043      7752    395998     85890   1097128   6672812     13.38     14.17  --
2297.44/576.06	c  N dy  6202   1597219      2043      7752    395998    105413   1097128   8951580     13.39     43.61  --
2323.37/582.52	c  N dy  6286   1618009      2043      7752    395999     72202   1097128   5135554     13.41     14.21  --
2353.69/590.16	c  N dy  6368   1638101      2043      7752    395999     91713   1097128   7240806     13.42     24.81  --
2392.37/599.81	c  N dy  6437   1658175      2043      7752    396000     56772   1097128   3456864     13.42     25.87  --
2419.09/606.52	c  N dy  6506   1678489      2043      7752    396000     76385   1097128   5324911     13.43     14.30  --
2455.00/615.59	c  N dy  6590   1698493      2043      7752    396001     95834   1097128   7393275     13.46     15.05  --
2478.93/621.57	c  S st  6640   1710290      2043      7752    396001    107298   1097128   8739164     13.47   no data  --
2480.12/621.89	c  S st  6640   1710792      2043      7752    396001    107798   1097128   8804923     13.47   no data  --
2480.53/621.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2480.53/621.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2495.29/625.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 95.5M T: 15.06
2496.88/626.02	c bin-w-bin subsume rem            0 bins  time:  0.18 s
2502.07/627.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.28 s
2502.07/627.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
2502.47/627.43	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.15 s
2826.39/708.63	c lits-rem:      1542  cl-subs:     5797  v-elim:      0  v-fix:    0  time: 322.80 s
2826.39/708.63	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.03
2827.19/708.86	c vivif2 --  cl tried   102001 cl shrink      331 lits rem        344 time: 0.91
2828.78/709.30	c asymm  cl-useful: 0/214/7752 lits-rem:0 time: 1.76
2829.21/709.32	c calculated reachability. Time: 0.01
2829.21/709.32	c  N dy  6640   1710792      2043      7752    396001    102001   1097125   8628401     13.47   no data  --
2859.49/716.98	c  N dy  6687   1731391      2043      7752    396002     66687   1097125   4421109     13.45     14.27  --
2888.21/724.11	c  N dy  6785   1751417      2043      7752    396002     86185   1097125   6585879     13.47     14.35  --
2920.13/732.19	c  N dy  6863   1771441      2043      7752    396002    105694   1097125   8667041     13.47     22.05  --
2950.04/739.66	c  N dy  6960   1791453      2043      7752    396002     68893   1097124   4722707     13.51     14.25  --
2977.57/746.54	c  N dy  7030   1812134      2043      7752    396002     88927   1097123   6829941     13.50     14.66  --
3010.27/754.76	c  N dy  7104   1832611      2043      7752    396002    108840   1097123   8901287     13.52     14.36  --
3038.60/761.82	c  N dy  7168   1852669      2043      7752    396002     71032   1097123   4835333     13.52     18.32  --
3067.72/769.12	c  N dy  7202   1874404      2043      7752    396002     92025   1097123   6698671     13.49     14.79  --
3098.04/776.73	c  N dy  7274   1894426      2043      7752    396002    111456   1097123   8760360     13.50     14.37  --
3129.95/784.75	c  N dy  7353   1916592      2043      7752    396002     74713   1097123   4979125     13.50     14.71  --
3157.48/791.66	c  N dy  7382   1937845      2043      7752    396002     95237   1097123   6667986     13.47     14.52  --
3190.18/799.83	c  N dy  7419   1957971      2043      7752    396002    114636   1097123   8159013     13.46     14.17  --
3218.11/806.83	c  N dy  7505   1978192      2043      7752    396003     75273   1097123   5431513     13.47     14.30  --
3254.01/815.84	c  N dy  7572   1999661      2043      7752    396003     96022   1097123   7446886     13.47     14.31  --
3297.90/826.82	c  N dy  7638   2019762      2043      7752    396003    115495   1097123   9426867     13.47     14.21  --
3328.61/834.57	c  N dy  7694   2040984      2043      7752    396003     76014   1097123   5043360     13.46     14.18  --
3361.72/842.89	c  N dy  7809   2061030      2043      7752    396004     95579   1097123   7378259     13.49     30.38  --
3402.41/853.03	c  N dy  7882   2081041      2043      7752    396004    114951   1097123   9432555     13.50     29.98  --
3435.16/861.24	c  N dy  7922   2101391      2043      7752    396004     73608   1097123   4733632     13.49     14.27  --
3461.49/867.85	c  N dy  7986   2121562      2043      7752    396004     93219   1097122   6884607     13.48     14.22  --
3499.34/877.30	c  N dy  8089   2143356      2043      7752    396005    114449   1097122   9651144     13.51     14.23  --
3532.05/885.54	c  N dy  8157   2163866      2043      7752    396005     72213   1097122   4546370     13.51     14.24  --
3558.77/892.23	c  N dy  8223   2183900      2043      7752    396005     91587   1097121   6483857     13.51     22.84  --
3596.28/901.61	c  N dy  8315   2204316      2043      7752    396005    111410   1097121   8758294     13.52     14.36  --
3611.43/905.45	c  S st  8353   2210794      2043      7752    396005    117709   1097121   9420020     13.54      8.54  --
3612.63/905.73	c  S st  8353   2211297      2043      7752    396005    118212   1097121   9487616     13.54   no data  --
3612.63/905.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3612.63/905.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3628.23/909.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 96.8M T: 15.64
3629.79/910.02	c bin-w-bin subsume rem            0 bins  time:  0.18 s
3637.01/911.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.21 s
3637.01/911.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.16 s
3637.36/911.91	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.15 s
3998.78/1002.54	c lits-rem:       883  cl-subs:     6442  v-elim:      0  v-fix:    0  time: 360.83 s
3998.78/1002.54	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.02
3999.58/1002.77	c vivif2 --  cl tried   111770 cl shrink      229 lits rem        238 time: 0.92
4000.80/1003.08	c asymm  cl-useful: 0/483/7752 lits-rem:0 time: 1.22
4000.80/1003.09	c calculated reachability. Time: 0.01
4000.80/1003.09	c  N dy  8353   2211297      2043      7752    396005    111770   1097120   9302456     13.54   no data  --
4037.47/1012.27	c  N dy  8437   2231695      2043      7752    396006     68615   1097120   4517439     13.55     14.40  --
4067.04/1019.67	c  N dy  8505   2251799      2043      7752    396006     88068   1097120   6742283     13.55     14.29  --
4109.28/1030.22	c  N dy  8618   2272039      2043      7752    396006    107800   1097120   9194095     13.58     14.43  --
4161.93/1043.48	c  N dy  8689   2293820      2043      7752    396006     64874   1097120   3916097     13.59     14.45  --
4191.46/1050.82	c  N dy  8737   2314845      2043      7752    396007     85168   1097120   6014847     13.58     14.40  --
4229.40/1060.32	c  N dy  8858   2334865      2043      7752    396007    104641   1097120   8330385     13.62     31.80  --
4272.44/1071.17	c  N dy  8924   2355050      2043      7752    396007    124253   1097120  10547514     13.62     14.51  --
4302.76/1078.70	c  N dy  8967   2375098      2043      7752    396007     78736   1097120   5184453     13.61     29.28  --
4332.67/1086.28	c  N dy  9034   2395674      2043      7752    396009     98719   1097120   7362250     13.61     14.35  --
4375.76/1097.04	c  N dy  9131   2415884      2043      7752    396009    118378   1097120   9595133     13.63     14.68  --
4420.84/1108.34	c  N dy  9178   2435899      2043      7752    396009     71736   1097120   4513373     13.61     14.60  --
4451.55/1116.03	c  N dy  9243   2456235      2043      7752    396010     91413   1097120   6612050     13.61     14.33  --
4488.29/1125.28	c  N dy  9308   2477006      2043      7752    396010    111611   1097120   8854082     13.61     14.41  --
4536.15/1137.24	c  N dy  9392   2497942      2043      7752    396010    131927   1097120  11127720     13.61     14.33  --
4566.87/1144.95	c  N dy  9459   2518087      2043      7752    396010     84491   1097120   5959243     13.61     14.38  --
4600.74/1153.44	c  N dy  9540   2538095      2043      7752    396011    103814   1097120   7782353     13.62     14.46  --
4640.64/1163.41	c  N dy  9633   2558147      2043      7752    396011    123265   1097120  10138717     13.63     19.73  --
4682.12/1173.89	c  N dy  9708   2578487      2043      7752    396011     75104   1097120   4911618     13.63     14.39  --
4711.67/1181.25	c  N dy  9768   2598523      2043      7752    396011     94461   1097120   7251706     13.63     24.41  --
4754.33/1191.92	c  N dy  9852   2618595      2043      7752    396011    113980   1097120   9523094     13.64     14.74  --

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-3369104-1305434052/watcher-3369104-1305434052 -o /tmp/evaluation-result-3369104-1305434052/solver-3369104-1305434052 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369104-1305434052.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: 6.08 6.67 6.35 5/342 22615
/proc/meminfo: memFree=17167784/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 655003160 52465664 353 33554432000 4194304 4650419 140733215527504 18446744073709551615 46927077459890 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22615/statm: 12809 353 303 112 0 7774 0
[pid=22615/tid=22616] ppid=22613 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 655003160 52465664 353 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 655003160 52465664 353 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 655003160 52465664 353 33554432000 4194304 4650419 140733215527504 18446744073709551615 46927077459880 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0835421 s]
/proc/loadavg: 6.08 6.67 6.35 5/342 22615
/proc/meminfo: memFree=17167784/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=286340 CPUtime=0.24 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 5135 0 0 0 23 1 0 0 18 0 4 0 655003160 293212160 4904 33554432000 4194304 4650419 140733215527504 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 71684 5164 343 112 0 66649 0
[pid=22615/tid=22616] ppid=22613 vsize=286736 CPUtime=0.06 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1339 0 0 0 6 0 0 0 18 0 4 0 655003160 293617664 5238 33554432000 4194304 4650419 140733215527504 18446744073709551615 4372274 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=287000 CPUtime=0.07 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) D 22613 22615 21982 0 -1 4202560 1305 0 0 0 7 0 0 0 18 0 4 0 655003160 293888000 5490 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=287132 CPUtime=0.07 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1323 0 0 0 7 0 0 0 18 0 4 0 655003160 294023168 5585 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 286340

[startup+0.113578 s]
/proc/loadavg: 6.08 6.67 6.35 5/342 22615
/proc/meminfo: memFree=17167784/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=290432 CPUtime=0.37 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 8946 0 0 0 35 2 0 0 18 0 4 0 655003160 297402368 8715 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244392119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 72740 9179 343 112 0 67705 0
[pid=22615/tid=22616] ppid=22613 vsize=291092 CPUtime=0.09 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 2410 0 0 0 9 0 0 0 18 0 4 0 655003160 298078208 9283 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244009669 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=291356 CPUtime=0.1 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) D 22613 22615 21982 0 -1 4202560 2285 0 0 0 10 0 0 0 18 0 4 0 655003160 298348544 9523 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=291488 CPUtime=0.1 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 2336 0 0 0 10 0 0 0 18 0 4 0 655003160 298483712 9738 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244009096 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 290432

[startup+0.361548 s]
/proc/loadavg: 6.08 6.67 6.35 5/342 22615
/proc/meminfo: memFree=17167784/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=299836 CPUtime=1.35 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 16102 0 0 0 132 3 0 0 18 0 4 0 655003160 307032064 15859 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244010017 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 74959 16281 383 112 0 69924 0
[pid=22615/tid=22616] ppid=22613 vsize=299836 CPUtime=0.34 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 4632 0 0 0 34 0 0 0 18 0 4 0 655003160 307032064 16595 33554432000 4194304 4650419 140733215527504 18446744073709551615 4446475 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=299836 CPUtime=0.34 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) D 22613 22615 21982 0 -1 4202560 4247 0 0 0 33 1 0 0 18 0 4 0 655003160 307032064 16873 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=299836 CPUtime=0.35 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 3316 0 0 0 34 1 0 0 18 0 4 0 655003160 307032064 17087 33554432000 4194304 4650419 140733215527504 18446744073709551615 4316028 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 299836

[startup+1.33918 s]
/proc/loadavg: 6.08 6.67 6.35 5/342 22615
/proc/meminfo: memFree=17167784/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=317264 CPUtime=5.26 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 30413 0 0 0 518 8 0 0 19 0 4 0 655003160 324878336 25611 33554432000 4194304 4650419 140733215527504 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 79316 25611 392 112 0 74281 0
[pid=22615/tid=22616] ppid=22613 vsize=317264 CPUtime=1.31 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 8386 0 0 0 131 0 0 0 19 0 4 0 655003160 324878336 25611 33554432000 4194304 4650419 140733215527504 18446744073709551615 4364889 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=317264 CPUtime=1.32 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 7677 0 0 0 129 3 0 0 19 0 4 0 655003160 324878336 25611 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=317264 CPUtime=1.32 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 5833 0 0 0 130 2 0 0 19 0 4 0 655003160 324878336 25611 33554432000 4194304 4650419 140733215527504 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 317264

[startup+1.53915 s]
/proc/loadavg: 6.08 6.67 6.35 5/342 22615
/proc/meminfo: memFree=17167784/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=317500 CPUtime=6.06 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 31535 0 0 0 598 8 0 0 19 0 4 0 655003160 325120000 25673 33554432000 4194304 4650419 140733215527504 18446744073709551615 4328873 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 79375 25673 392 112 0 74340 0
[pid=22615/tid=22616] ppid=22613 vsize=317500 CPUtime=1.51 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 8576 0 0 0 151 0 0 0 19 0 4 0 655003160 325120000 25673 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=317500 CPUtime=1.52 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 7752 0 0 0 149 3 0 0 19 0 4 0 655003160 325120000 25673 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=317500 CPUtime=1.52 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 6551 0 0 0 150 2 0 0 19 0 4 0 655003160 325120000 25673 33554432000 4194304 4650419 140733215527504 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 317500

[startup+3.10087 s]
/proc/loadavg: 6.48 6.74 6.37 9/346 22619
/proc/meminfo: memFree=17052304/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=298664 CPUtime=12.32 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 41849 0 0 0 1222 10 0 0 23 0 4 0 655003160 305831936 28932 33554432000 4194304 4650419 140733215527504 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 74666 28932 393 112 0 69631 0
[pid=22615/tid=22616] ppid=22613 vsize=298664 CPUtime=3.08 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 11512 0 0 0 307 1 0 0 24 0 4 0 655003160 305831936 28940 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=298664 CPUtime=3.06 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 9398 0 0 0 303 3 0 0 23 0 4 0 655003160 305831936 28940 33554432000 4194304 4650419 140733215527504 18446744073709551615 228244004821 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=298664 CPUtime=3.1 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 9611 0 0 0 307 3 0 0 23 0 4 0 655003160 305831936 28941 33554432000 4194304 4650419 140733215527504 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 298664

[startup+6.30031 s]
/proc/loadavg: 6.48 6.74 6.37 9/346 22619
/proc/meminfo: memFree=17002708/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=303184 CPUtime=25.05 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 65032 0 0 0 2491 14 0 0 25 0 4 0 655003160 310460416 47166 33554432000 4194304 4650419 140733215527504 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 75796 47166 394 112 0 70761 0
[pid=22615/tid=22616] ppid=22613 vsize=303184 CPUtime=6.27 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 18342 0 0 0 625 2 0 0 25 0 4 0 655003160 310460416 47166 33554432000 4194304 4650419 140733215527504 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=303184 CPUtime=6.22 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 13471 0 0 0 619 3 0 0 25 0 4 0 655003160 310460416 47166 33554432000 4194304 4650419 140733215527504 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=303184 CPUtime=6.28 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 15626 0 0 0 625 3 0 0 25 0 4 0 655003160 310460416 47166 33554432000 4194304 4650419 140733215527504 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 303184

[startup+12.7012 s]
/proc/loadavg: 6.79 6.80 6.39 9/346 22619
/proc/meminfo: memFree=16941996/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=399116 CPUtime=50.57 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 85572 0 0 0 5039 18 0 0 25 0 4 0 655003160 408694784 57987 33554432000 4194304 4650419 140733215527504 18446744073709551615 4370532 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 99779 57987 394 112 0 94744 0
[pid=22615/tid=22616] ppid=22613 vsize=399116 CPUtime=12.68 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 24396 0 0 0 1264 4 0 0 25 0 4 0 655003160 408694784 57987 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=399116 CPUtime=12.55 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 18306 0 0 0 1251 4 0 0 25 0 4 0 655003160 408694784 57987 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=399116 CPUtime=12.68 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 21043 0 0 0 1264 4 0 0 25 0 4 0 655003160 408694784 57987 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 399116

[startup+25.5009 s]
/proc/loadavg: 6.98 6.84 6.41 9/346 22619
/proc/meminfo: memFree=16837316/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=560376 CPUtime=101.62 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 136134 0 0 0 10134 28 0 0 25 0 4 0 655003160 573825024 81633 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 140094 81635 394 112 0 135059 0
[pid=22615/tid=22616] ppid=22613 vsize=560376 CPUtime=25.47 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 40128 0 0 0 2541 6 0 0 25 0 4 0 655003160 573825024 81637 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=560376 CPUtime=25.21 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 27577 0 0 0 2515 6 0 0 25 0 4 0 655003160 573825024 81637 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=560376 CPUtime=25.48 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 34690 0 0 0 2540 8 0 0 25 0 4 0 655003160 573825024 81637 33554432000 4194304 4650419 140733215527504 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 560376

[startup+51.1005 s]
/proc/loadavg: 7.32 6.93 6.45 9/346 22620
/proc/meminfo: memFree=16745628/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=639200 CPUtime=203.73 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 196755 0 0 0 20331 42 0 0 25 0 4 0 655003160 654540800 107054 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 159800 107055 394 112 0 154765 0
[pid=22615/tid=22616] ppid=22613 vsize=639200 CPUtime=51.07 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 46506 0 0 0 5100 7 0 0 25 0 4 0 655003160 654540800 107055 33554432000 4194304 4650419 140733215527504 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=639200 CPUtime=50.53 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 43090 0 0 0 5043 10 0 0 25 0 4 0 655003160 654540800 107055 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=639200 CPUtime=51.08 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 60263 0 0 0 5093 15 0 0 25 0 4 0 655003160 654540800 107055 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 639200

[startup+102.3 s]
/proc/loadavg: 7.77 7.12 6.54 9/346 22622
/proc/meminfo: memFree=16616824/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=700992 CPUtime=407.95 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 277560 0 0 0 40733 62 0 0 25 0 4 0 655003160 717815808 138784 33554432000 4194304 4650419 140733215527504 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 175248 138784 394 112 0 170213 0
[pid=22615/tid=22616] ppid=22613 vsize=700992 CPUtime=102.27 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 51536 0 0 0 10219 8 0 0 25 0 4 0 655003160 717815808 138784 33554432000 4194304 4650419 140733215527504 18446744073709551615 4504043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=700992 CPUtime=101.16 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 72040 0 0 0 10098 18 0 0 25 0 4 0 655003160 717815808 138784 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=700992 CPUtime=102.28 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 95970 0 0 0 10205 23 0 0 25 0 4 0 655003160 717815808 138784 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 700992

[startup+162.301 s]

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

[pid=22615] ppid=22613 vsize=1408424 CPUtime=2561.95 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 1699352 0 0 0 255826 369 0 0 25 0 4 0 655003160 1442226176 258210 33554432000 4194304 4650419 140733215527504 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 352106 258210 394 112 0 347071 0
[pid=22615/tid=22616] ppid=22613 vsize=1408424 CPUtime=642.29 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 186915 0 0 0 64178 51 0 0 25 0 4 0 655003160 1442226176 258210 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1408424 CPUtime=635.21 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 489745 0 0 0 63414 107 0 0 25 0 4 0 655003160 1442226176 258210 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1408424 CPUtime=642.3 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 511036 0 0 0 64116 114 0 0 25 0 4 0 655003160 1442226176 258210 33554432000 4194304 4650419 140733215527504 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.95
Current children cumulated vsize (KiB) 1408424

[startup+702.301 s]
/proc/loadavg: 4.17 6.04 6.51 5/337 22656
/proc/meminfo: memFree=16498920/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1344420 CPUtime=2801.25 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 2044633 0 0 0 279684 441 0 0 25 0 4 0 655003160 1376686080 266323 33554432000 4194304 4650419 140733215527504 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 336105 266335 394 112 0 331070 0
[pid=22615/tid=22616] ppid=22613 vsize=1344420 CPUtime=702.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 209746 0 0 0 70168 60 0 0 25 0 4 0 655003160 1376686080 266335 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1344420 CPUtime=694.54 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 521454 0 0 0 69334 120 0 0 25 0 4 0 655003160 1376686080 266335 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1344420 CPUtime=702.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 714758 0 0 0 70083 146 0 0 25 0 4 0 655003160 1376686080 266335 33554432000 4194304 4650419 140733215527504 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.25
Current children cumulated vsize (KiB) 1344420

[startup+762.301 s]
/proc/loadavg: 4.06 5.67 6.35 5/337 22657
/proc/meminfo: memFree=16487664/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1373868 CPUtime=3040.59 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 2273631 0 0 0 303565 494 0 0 25 0 4 0 655003160 1406840832 268854 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366657 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 343467 268854 394 112 0 338432 0
[pid=22615/tid=22616] ppid=22613 vsize=1373868 CPUtime=762.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 238112 0 0 0 76161 67 0 0 25 0 4 0 655003160 1406840832 268854 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1373868 CPUtime=753.88 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 541866 0 0 0 75262 126 0 0 25 0 4 0 655003160 1406840832 268854 33554432000 4194304 4650419 140733215527504 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1373868 CPUtime=762.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 737480 0 0 0 76076 153 0 0 25 0 4 0 655003160 1406840832 268854 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.59
Current children cumulated vsize (KiB) 1373868

[startup+822.301 s]
/proc/loadavg: 4.06 5.38 6.21 5/337 22659
/proc/meminfo: memFree=16460788/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1521372 CPUtime=3279.95 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 2360915 0 0 0 327475 520 0 0 25 0 4 0 655003160 1557884928 275643 33554432000 4194304 4650419 140733215527504 18446744073709551615 4334034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 380343 275643 394 112 0 375308 0
[pid=22615/tid=22616] ppid=22613 vsize=1521372 CPUtime=822.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 250957 0 0 0 82157 71 0 0 25 0 4 0 655003160 1557884928 275643 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1521372 CPUtime=813.24 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 570121 0 0 0 81192 132 0 0 25 0 4 0 655003160 1557884928 275643 33554432000 4194304 4650419 140733215527504 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1521372 CPUtime=822.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 760550 0 0 0 82067 162 0 0 25 0 4 0 655003160 1557884928 275643 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.95
Current children cumulated vsize (KiB) 1521372

[startup+882.301 s]
/proc/loadavg: 4.13 5.15 6.08 5/337 22660
/proc/meminfo: memFree=16435884/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1456768 CPUtime=3519.28 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 2721267 0 0 0 351325 603 0 0 25 0 4 0 655003160 1491730432 281657 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 364192 281657 394 112 0 359157 0
[pid=22615/tid=22616] ppid=22613 vsize=1456768 CPUtime=882.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 274527 0 0 0 88149 79 0 0 25 0 4 0 655003160 1491730432 281657 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1456768 CPUtime=872.58 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 869296 0 0 0 87065 193 0 0 25 0 4 0 655003160 1491730432 281657 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1456768 CPUtime=882.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 781969 0 0 0 88059 170 0 0 25 0 4 0 655003160 1491730432 281657 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.28
Current children cumulated vsize (KiB) 1456768

[startup+942.301 s]
/proc/loadavg: 4.12 4.96 5.95 5/337 22662
/proc/meminfo: memFree=16391136/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1588496 CPUtime=3758.64 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 2804076 0 0 0 375238 626 0 0 25 0 4 0 655003160 1626619904 293347 33554432000 4194304 4650419 140733215527504 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 397124 293347 394 112 0 392089 0
[pid=22615/tid=22616] ppid=22613 vsize=1588496 CPUtime=942.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 296663 0 0 0 94140 88 0 0 25 0 4 0 655003160 1626619904 293347 33554432000 4194304 4650419 140733215527504 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1588496 CPUtime=931.93 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 891615 0 0 0 92992 201 0 0 25 0 4 0 655003160 1626619904 293347 33554432000 4194304 4650419 140733215527504 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1588496 CPUtime=942.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 809201 0 0 0 94055 174 0 0 25 0 4 0 655003160 1626619904 293347 33554432000 4194304 4650419 140733215527504 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.64
Current children cumulated vsize (KiB) 1588496

[startup+1002.3 s]
/proc/loadavg: 4.11 4.80 5.83 5/337 22664
/proc/meminfo: memFree=16375348/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1495024 CPUtime=3997.98 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 3123496 0 0 0 399115 683 0 0 25 0 4 0 655003160 1530904576 296972 33554432000 4194304 4650419 140733215527504 18446744073709551615 4540537 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 373756 296972 394 112 0 368721 0
[pid=22615/tid=22616] ppid=22613 vsize=1495024 CPUtime=1002.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 313679 0 0 0 100133 95 0 0 25 0 4 0 655003160 1530904576 296972 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1495024 CPUtime=991.27 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 910526 0 0 0 98920 207 0 0 25 0 4 0 655003160 1530904576 296972 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1495024 CPUtime=1002.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1092694 0 0 0 100011 218 0 0 25 0 4 0 655003160 1530904576 296972 33554432000 4194304 4650419 140733215527504 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.98
Current children cumulated vsize (KiB) 1495024

[startup+1062.3 s]
/proc/loadavg: 4.10 4.66 5.72 5/337 22665
/proc/meminfo: memFree=16326900/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1562824 CPUtime=4237.33 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 3186671 0 0 0 423027 706 0 0 25 0 4 0 655003160 1600331776 291013 33554432000 4194304 4650419 140733215527504 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 390706 291013 394 112 0 385671 0
[pid=22615/tid=22616] ppid=22613 vsize=1562824 CPUtime=1062.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 324289 0 0 0 106130 98 0 0 25 0 4 0 655003160 1600331776 291013 33554432000 4194304 4650419 140733215527504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1562824 CPUtime=1050.62 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 928809 0 0 0 104848 214 0 0 25 0 4 0 655003160 1600331776 291013 33554432000 4194304 4650419 140733215527504 18446744073709551615 4439318 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1562824 CPUtime=1062.3 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1111039 0 0 0 106005 225 0 0 25 0 4 0 655003160 1600331776 291013 33554432000 4194304 4650419 140733215527504 18446744073709551615 4364856 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.33
Current children cumulated vsize (KiB) 1562824

[startup+1122.3 s]
/proc/loadavg: 4.04 4.54 5.61 5/337 22667
/proc/meminfo: memFree=16286528/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1593244 CPUtime=4476.68 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 3286394 0 0 0 446931 737 0 0 25 0 4 0 655003160 1631481856 310845 33554432000 4194304 4650419 140733215527504 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 398311 310845 394 112 0 393276 0
[pid=22615/tid=22616] ppid=22613 vsize=1593244 CPUtime=1122.28 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 345831 0 0 0 112122 106 0 0 25 0 4 0 655003160 1631481856 310845 33554432000 4194304 4650419 140733215527504 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1593244 CPUtime=1109.97 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 969372 0 0 0 110775 222 0 0 25 0 4 0 655003160 1631481856 310845 33554432000 4194304 4650419 140733215527504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1593244 CPUtime=1122.29 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1126539 0 0 0 111998 231 0 0 25 0 4 0 655003160 1631481856 310845 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.68
Current children cumulated vsize (KiB) 1593244

[startup+1182.3 s]
/proc/loadavg: 4.01 4.44 5.51 5/337 22668
/proc/meminfo: memFree=16313356/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1693748 CPUtime=4716.06 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 3655896 0 0 0 470795 811 0 0 25 0 4 0 655003160 1734397952 312076 33554432000 4194304 4650419 140733215527504 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 423437 312076 394 112 0 418402 0
[pid=22615/tid=22616] ppid=22613 vsize=1693748 CPUtime=1182.29 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 356728 0 0 0 118119 110 0 0 25 0 4 0 655003160 1734397952 312078 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1693748 CPUtime=1169.32 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1289906 0 0 0 116654 278 0 0 25 0 4 0 655003160 1734397952 312078 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1693748 CPUtime=1182.31 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1148950 0 0 0 117993 238 0 0 25 0 4 0 655003160 1734397952 312078 33554432000 4194304 4650419 140733215527504 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.06
Current children cumulated vsize (KiB) 1693748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 4.01 4.41 5.47 5/337 22669
/proc/meminfo: memFree=16293596/32951124 swapFree=67082152/67111528
[pid=22615] ppid=22613 vsize=1624828 CPUtime=4800.23 cores=0,2,4,6
/proc/22615/stat : 22615 (strangenight1-m) R 22613 22615 21982 0 -1 4202496 3688752 0 0 0 479204 819 0 0 25 0 4 0 655003160 1663823872 316991 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22615/statm: 406207 316991 394 112 0 401172 0
[pid=22615/tid=22616] ppid=22613 vsize=1624828 CPUtime=1203.4 cores=0,2,4,6
/proc/22615/task/22616/stat : 22616 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 366127 0 0 0 120227 113 0 0 25 0 4 0 655003160 1663823872 316992 33554432000 4194304 4650419 140733215527504 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22615/tid=22617] ppid=22613 vsize=1624828 CPUtime=1190.19 cores=0,2,4,6
/proc/22615/task/22617/stat : 22617 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1299927 0 0 0 118738 281 0 0 25 0 4 0 655003160 1663823872 316992 33554432000 4194304 4650419 140733215527504 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=1624828 CPUtime=1203.41 cores=0,2,4,6
/proc/22615/task/22618/stat : 22618 (strangenight1-m) R 22613 22615 21982 0 -1 4202560 1158262 0 0 0 120101 240 0 0 25 0 4 0 655003160 1663823872 316992 33554432000 4194304 4650419 140733215527504 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1624828

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.48
CPU time (s): 4800.32
CPU user time (s): 4792.07
CPU system time (s): 8.25175
CPU usage (%): 398.871
Max. virtual memory (cumulated for all children) (KiB): 1789860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.07
system time used= 8.25174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3688756
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= 4046
involuntary context switches= 21665

runsolver used 4.00839 second user time and 9.25059 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-15 06:34:12
IDJOB=3369104
IDBENCH=88211
IDSOLVER=1846
FILE ID=node136/3369104-1305434052
RUNJOBID= node136-1305433361-22393
PBS_JOBID= 13324605
Free space on /tmp= 73048 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369104-1305434052/watcher-3369104-1305434052 -o /tmp/evaluation-result-3369104-1305434052/solver-3369104-1305434052 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369104-1305434052.cnf

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

MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=1974760883

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17168064 kB
Buffers:        304152 kB
Cached:        5636372 kB
SwapCached:       2740 kB
Active:       10951484 kB
Inactive:      4492208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17168064 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           11296 kB
Writeback:           0 kB
AnonPages:     9501532 kB
Mapped:          28204 kB
Slab:           234980 kB
PageTables:      40048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70359496 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= 73052 MiB
End job on node136 at 2011-05-15 06:54:17