Trace number 3173740

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? (TO) 4800.21 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
MD5SUM785309e098f4d0ba8da3027c8426e931
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark245.957
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3173740-1304030261.cnf'
0.00/0.01	c -- header says num vars:          30000
0.00/0.01	c -- header says num clauses:      126000
0.00/0.22	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.00/0.22	c -- vars added      30000
0.00/0.22	c Parsing time:  0.09 s
0.00/0.29	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.00/0.29	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.00/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
0.00/0.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
0.00/0.42	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
0.31/0.65	c lits-rem:         0  cl-subs:        0  v-elim:    730  v-fix:    0  time:  0.21 s
0.31/0.65	c Finding binary XORs  T:     0.01 s  found:       0
0.31/0.75	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
0.31/0.75	c calculated reachability. Time: 0.00
0.31/0.75	c Calc default polars -  time:   0.01 s pos:   13484 undec:    3346 neg:   13170
0.31/0.75	c =========================================================================================
0.31/0.75	c types(t): F = full restart, N = normal restart
0.31/0.75	c types(t): S = simplification begin/end, E = solution found
0.31/0.75	c restart types(rt): st = static, dy = dynamic
0.31/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.31/0.75	c  B st     0         0     29270    125231         0         0    380074         0   no data   no data
9.15/2.37	c  N dy    19      4079     29270    125231         0      4079    380074   1224355    140.33    150.90
15.97/4.01	c  N dy    49      8233     29270    125231         0      8233    380074   2163586    146.58    164.27
22.73/5.72	c  N dy    82     12310     29270    125231         0     12310    380074   3129760    150.28    161.08
29.53/7.45	c  N dy   113     16335     29270    125231         0     16335    380074   4074702    151.35    159.66
36.72/9.25	c  N dy   144     20389     29270    125231         0     10390    380074    703243    152.71    160.88
43.90/11.00	c  N dy   171     24511     29270    125231         0     14512    380074   1716018    153.74    163.61
44.70/11.22	c  F st   176     25000     29270    125231         0     15001    380074   1845872    154.11   no data
53.89/13.51	c  N dy   182     30000     29270    125231         0     20000    380074   3530004    154.11   no data
53.89/13.51	c  S st   182     30000     29270    125231         0     20000    380074   3530004    154.11   no data
54.69/13.73	c  S st   182     30501     29270    125231         0     20501    380074   3622395    154.11   no data
54.69/13.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.11/13.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
55.51/13.94	c blocked clauses removed:      626 vars:     99 tried:       29270 T: 0.02 s
55.51/13.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.51/13.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.51/13.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29171 time:  0.01 s
55.51/13.98	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.29/14.14	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.15 s
57.49/14.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
61.48/15.48	c lits-rem:         3  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.97 s
62.28/15.63	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.15
62.28/15.63	c calculated reachability. Time: 0.00
62.28/15.64	c  N dy   182     30501     29158    124596         0     20223    378257   3506846    154.11   no data
69.87/17.53	c  N dy   213     34570     29158    124596         0     24292    378257   4500061    155.33    177.65
77.49/19.40	c  N dy   245     38581     29158    124596         0     28303    378257   5465991    155.59    168.47
85.05/21.35	c  N dy   271     42784     29158    124596         0     17140    378257   1159583    155.49    166.66
90.26/22.65	c  S st   289     45752     29158    124596         0     20108    378257   1881698    155.14   no data
91.04/22.88	c  S st   289     46255     29158    124596         0     20611    378257   1965410    155.14   no data
91.04/22.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
91.83/23.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
91.83/23.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.83/23.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
92.23/23.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.23/23.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
92.23/23.12	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
92.63/23.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
93.03/23.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
94.24/23.69	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.29 s
94.65/23.71	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
94.65/23.74	c vivif2 --  cl tried    20610 cl shrink        0 lits rem          0 time: 0.03
95.06/23.89	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.15
95.43/23.90	c calculated reachability. Time: 0.00
95.43/23.90	c  N dy   289     46255     29158    124596         0     20610    378257   1965300    155.14   no data
102.63/25.71	c  N dy   317     50318     29158    124596         0     24671    378257   2925698    155.09    201.80
109.81/27.59	c  N dy   344     54414     29158    124596         0     28767    378257   3950800    155.55    213.69
117.40/29.49	c  N dy   372     58471     29158    124596         0     32824    378257   4953808    155.61    169.64
125.41/31.47	c  N dy   401     62575     29158    124596         0     36928    378257   5987342    155.91    165.48
132.58/33.28	c  N dy   427     66626     29158    124596         0     22300    378257   1600942    155.72    176.19
137.78/34.55	c  S st   443     69386     29158    124596         0     25060    378257   2279892    155.65   no data
138.59/34.78	c  S st   443     69889     29158    124596         0     25563    378257   2367440    155.65   no data
138.59/34.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
139.37/34.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
139.37/34.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.37/34.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139.37/34.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
139.76/35.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
139.76/35.02	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
140.17/35.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
140.97/35.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
142.57/35.75	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.42 s
142.57/35.76	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
142.98/35.80	c vivif2 --  cl tried    25560 cl shrink        0 lits rem          0 time: 0.04
143.39/35.96	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.16
143.39/35.97	c calculated reachability. Time: 0.00
143.39/35.97	c  N dy   443     69889     29158    124596         0     25560    378257   2365693    155.65   no data
151.77/38.03	c  N dy   470     74408     29158    124596         0     30079    378257   3422160    155.28    164.43
160.97/40.31	c  N dy   504     79261     29158    124596         0     34932    378257   4551006    155.08    163.33
170.53/42.76	c  N dy   541     84358     29158    124596         0     40029    378257   5811026    155.27    197.21
176.92/44.30	c  F st   562     87500     29158    124596         0     22331    378257   1023164    155.25   no data
183.30/45.91	c  N st   567     90797     29158    124596         0     25626    378257   2049537    155.25   no data
194.10/48.65	c  N dy   595     96661     29158    124596         0     31490    378257   3674397    155.25    166.76
206.08/51.61	c  N dy   636    102847     29158    124596         0     37676    378257   5136368    155.16    196.72
210.07/52.62	c  S st   652    104834     29158    124596         0     39663    378257   5626122    155.36   no data
210.87/52.87	c  S st   652    105335     29158    124596         0     40164    378257   5708527    155.36   no data
210.87/52.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
211.67/53.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
211.67/53.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.07/53.10	c bin-w-bin subsume rem            0 bins  time:  0.01 s
212.07/53.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
212.07/53.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
212.07/53.13	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
212.88/53.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
214.07/53.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
220.86/55.38	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.68 s
221.26/55.40	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
221.66/55.50	c vivif2 --  cl tried    40162 cl shrink        0 lits rem          0 time: 0.10
222.08/55.68	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.18
222.08/55.69	c calculated reachability. Time: 0.00
222.08/55.69	c  N dy   652    105335     29158    124596         0     40162    378257   5706579    155.36   no data
235.66/59.04	c  N dy   701    112058     29158    124596         0     24465    378257   1150222    155.50    176.05
248.84/62.38	c  N dy   745    119243     29158    124596         0     31650    378257   2884943    155.47    163.69
264.00/66.11	c  N dy   801    126946     29158    124596         0     39353    378257   4747298    155.65    164.24
279.98/70.18	c  N dy   855    135100     29158    124596         0     23797    378257    625214    155.73    168.62
296.36/74.21	c  N dy   917    143810     29158    124596         0     32505    378257   2737583    155.97    177.51
314.35/78.79	c  N dy   979    153298     29158    124596         0     41992    378257   4968427    155.77    172.02
323.92/81.13	c  S st  1011    158003     29158    124596         0     46697    378257   6083923    155.80   no data
324.72/81.39	c  S st  1011    158507     29158    124596         0     47201    378257   6182674    155.80   no data
325.12/81.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
325.52/81.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
325.92/81.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
325.92/81.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
325.92/81.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
325.92/81.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
325.92/81.67	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
326.71/81.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
328.31/82.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
337.50/84.55	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.28 s
337.50/84.57	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
337.89/84.68	c vivif2 --  cl tried    47195 cl shrink        0 lits rem          0 time: 0.11
338.70/84.87	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.19
338.70/84.88	c calculated reachability. Time: 0.00
338.70/84.88	c  N dy  1011    158507     29158    124596         0     47195    378257   6179574    155.80   no data
358.29/89.79	c  N dy  1074    168732     29158    124596         0     32568    378257   2421775    155.69    167.71
379.44/95.04	c  N dy  1147    179544     29158    124596         0     43380    378257   5014885    155.76    166.14
402.23/100.76	c  N dy  1220    191014     29158    124596         0     28926    378257   1268394    155.60    169.69
426.18/106.73	c  N dy  1304    203312     29158    124596         0     41224    378257   4251395    155.75    167.46
452.95/113.49	c  N dy  1398    216346     29158    124596         0     27293    378257    605477    155.99    185.37
480.11/120.23	c  N dy  1499    230255     29158    124596         0     41202    378257   3963080    156.14    170.59
495.28/124.08	c  S st  1557    237760     29158    124596         0     48707    378257   5805420    156.27   no data
496.49/124.35	c  S st  1557    238266     29158    124596         0     49213    378257   5891053    156.27   no data
496.49/124.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
497.29/124.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
497.29/124.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
497.29/124.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
497.69/124.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
497.69/124.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
497.69/124.63	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
498.49/124.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
499.68/125.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
509.26/127.54	c lits-rem:         2  cl-subs:        7  v-elim:      0  v-fix:    0  time:  2.38 s
509.26/127.56	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
509.66/127.67	c vivif2 --  cl tried    49206 cl shrink        0 lits rem          0 time: 0.11
510.46/127.86	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.20
510.46/127.87	c calculated reachability. Time: 0.00
510.46/127.87	c  N dy  1557    238266     29158    124596         0     49206    378257   5888771    156.27   no data
541.22/135.50	c  N dy  1659    253563     29158    124596         0     36522    378257   2560841    156.30    184.73
574.00/143.72	c  N dy  1773    269779     29158    124596         0     52738    378257   6494446    156.45    168.44
608.75/152.46	c  N dy  1886    287072     29158    124596         0     41036    378257   3467008    156.52    167.74
646.68/161.98	c  N dy  2014    305493     29158    124596         0     59456    378257   7936798    156.59    171.34
648.70/162.44	c  F st  2021    306252     29158    124596         0     30224    378257    549359    156.64    169.26
686.63/171.92	c  N dy  2126    325101     29158    124596         0     49071    378257   5699325    156.88    167.57
728.17/182.30	c  N dy  2265    345117     29158    124596         0     38092    378257   2219956    156.96    167.99
752.54/188.47	c  S st  2349    357400     29158    124596         0     50373    378257   5194260    156.99    141.96
753.75/188.75	c  S st  2349    357905     29158    124596         0     50878    378257   5291139    156.99   no data
753.75/188.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
754.54/188.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
754.54/188.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
754.54/188.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
754.94/189.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
754.94/189.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
754.94/189.03	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
755.73/189.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
756.93/189.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
765.72/191.75	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.23 s
765.72/191.77	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
766.12/191.87	c vivif2 --  cl tried    50874 cl shrink        0 lits rem          0 time: 0.10
766.94/192.07	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.20
766.94/192.08	c calculated reachability. Time: 0.00
766.94/192.08	c  N dy  2349    357905     29158    124596         0     50874    378257   5289558    156.99   no data
808.86/202.56	c  N dy  2489    378022     29158    124596         0     38996    378257   2221653    157.14    166.77
850.82/213.02	c  N dy  2621    398080     29158    124596         0     59053    378257   7116195    157.17    165.70
892.34/223.42	c  N dy  2765    418185     29158    124596         0     46156    378257   3734605    157.28    171.01
934.68/234.06	c  N dy  2900    438249     29158    124596         0     66216    378257   8638743    157.34    165.64
975.83/244.35	c  N dy  3041    458322     29158    124596         0     52294    378257   4965246    157.39    177.45
1019.37/255.21	c  N dy  3176    478328     29158    124596         0     37297    378257   1031443    157.44    176.87
1060.51/265.58	c  N dy  3311    498396     29158    124596         0     57364    378257   5910050    157.46    166.06
1104.05/276.43	c  N dy  3454    518556     29158    124596         0     41531    378257   1819798    157.54    179.07
1141.99/285.94	c  S st  3583    536858     29158    124596         0     59827    378257   6234081    157.55    144.87
1143.20/286.24	c  S st  3583    537359     29158    124596         0     60328    378257   6331845    157.55   no data
1143.20/286.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1144.00/286.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1144.00/286.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1144.00/286.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1144.40/286.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1144.40/286.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
1144.40/286.52	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1145.21/286.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1146.39/287.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1158.77/290.11	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.02 s
1158.77/290.13	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
1159.17/290.24	c vivif2 --  cl tried    60324 cl shrink        0 lits rem          0 time: 0.11
1159.97/290.46	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.21
1159.97/290.47	c calculated reachability. Time: 0.00
1159.97/290.47	c  N dy  3583    537359     29158    124596         0     60324    378257   6328480    157.55   no data
1203.10/301.24	c  N dy  3716    557394     29158    124596         0     43363    378257   2011030    157.52    166.54
1245.46/311.88	c  N dy  3850    577437     29158    124596         0     63405    378257   6916718    157.56    169.58
1289.39/322.82	c  N dy  3994    597487     29158    124596         0     45454    378257   2341216    157.69    176.10
1332.13/333.58	c  N dy  4126    617675     29158    124596         0     65639    378257   7322888    157.72    172.74
1376.47/344.62	c  N dy  4267    637870     29158    124596         0     46838    378257   2429772    157.80    166.46
1419.21/355.39	c  N dy  4405    657948     29158    124596         0     66915    378257   7331795    157.83    166.81
1463.14/366.39	c  N dy  4537    677952     29158    124596         0     46929    378257   2131852    157.84    167.14
1507.09/377.39	c  N dy  4677    697983     29158    124596         0     66959    378257   7040233    157.92    176.06
1552.23/388.63	c  N dy  4816    718111     29158    124596         0     46081    378257   1774009    157.97    169.68
1594.97/399.34	c  N dy  4946    738294     29158    124596         0     66262    378257   6715030    157.97    170.99
1640.50/410.79	c  N dy  5084    758383     29158    124596         0     44348    378257   1078646    157.98    224.24
1682.84/421.37	c  N dy  5218    778385     29158    124596         0     64348    378257   6004510    157.97    166.48
1728.78/432.86	c  N dy  5356    798439     29158    124596         0     84401    378257  10960932    158.03    195.30
1745.15/436.93	c  S st  5410    806038     29158    124596         0     49005    378257   1962258    158.04   no data
1746.35/437.20	c  S st  5410    806542     29158    124596         0     49509    378257   2064074    158.04   no data
1746.35/437.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1746.77/437.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1747.17/437.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1747.17/437.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1747.17/437.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1747.17/437.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
1747.17/437.47	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1747.95/437.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1748.35/437.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1751.57/438.52	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.75 s
1751.57/438.53	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
1751.57/438.57	c vivif2 --  cl tried    49508 cl shrink        0 lits rem          0 time: 0.04
1752.35/438.77	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.19
1752.35/438.78	c calculated reachability. Time: 0.00
1752.35/438.78	c  N dy  5410    806542     29158    124596         0     49508    378257   2063996    158.04   no data
1795.51/449.56	c  N dy  5540    826602     29158    124596         0     69567    378257   6970773    158.05    184.43
1842.22/461.22	c  N dy  5676    846753     29158    124596         0     45723    378257    910399    158.03    169.40
1884.96/471.97	c  N dy  5813    866840     29158    124596         0     65810    378257   5898300    158.04    189.34
1931.31/483.55	c  N dy  5948    887030     29158    124596         0     85998    378257  10882945    158.05    168.12
1974.84/494.47	c  N dy  6083    907102     29158    124596         0     61069    378257   4462698    158.06    168.06
2021.17/506.03	c  N dy  6222    927406     29158    124596         0     81372    378257   9501418    158.08    171.01
2065.91/517.25	c  N dy  6353    947409     29158    124596         0     55377    378257   2773449    158.06    168.77
2110.65/528.44	c  N dy  6495    967491     29158    124596         0     75456    378257   7687715    158.08    168.07
2158.58/540.44	c  N dy  6634    987759     29158    124596         0     48726    378257    943809    158.15    166.52
2202.12/551.35	c  N dy  6775   1007850     29158    124596         0     68815    378257   5909212    158.18    168.58
2248.85/563.09	c  N dy  6910   1027879     29158    124596         0     88843    378257  10843053    158.21    173.53
2293.99/574.37	c  N dy  7044   1048037     29158    124596         0     61005    378257   3719525    158.22    166.75
2339.52/585.79	c  N dy  7179   1068174     29158    124596         0     81139    378257   8620327    158.22    176.17
2348.32/587.95	c  F st  7203   1071875     29158    124596         0     84840    378257   9504995    158.20    140.82
2387.06/597.61	c  N dy  7284   1088203     29158    124596         0     52169    378257   1271472    158.19    168.44
2431.00/608.60	c  N dy  7426   1108293     29158    124596         0     72256    378257   6303885    158.22    166.59
2478.13/620.43	c  N dy  7560   1128323     29158    124596         0     92284    378257  11262354    158.24    193.37
2524.07/631.91	c  N dy  7695   1148433     29158    124596         0     62399    378257   3575793    158.28    167.91
2570.00/643.41	c  N dy  7832   1168574     29158    124596         0     82540    378257   8617012    158.34    168.45
2619.14/655.70	c  N dy  7963   1188755     29158    124596         0     51728    378257    693631    158.32    170.30
2662.67/666.61	c  N dy  8091   1208782     29158    124596         0     71754    378257   5568396    158.30    167.95
2664.67/667.20	c  S st  8098   1209815     29158    124596         0     72787    378257   5815589    158.30   no data
2666.27/667.52	c  S st  8098   1210318     29158    124596         0     73290    378257   5905429    158.30   no data
2666.27/667.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2667.07/667.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.20
2667.07/667.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2667.07/667.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2667.07/667.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2667.47/667.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
2667.47/667.82	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2668.27/668.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2669.49/668.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2682.67/671.70	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.31 s
2683.07/671.72	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
2683.45/671.83	c vivif2 --  cl tried    73288 cl shrink        0 lits rem          0 time: 0.11
2684.25/672.06	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.23
2684.25/672.07	c calculated reachability. Time: 0.00
2684.25/672.07	c  N dy  8098   1210318     29158    124596         0     73288    378257   5905043    158.30   no data
2731.78/683.98	c  N dy  8236   1230384     29158    124596         0     93353    378257  10828730    158.33    170.64
2778.91/695.71	c  N dy  8367   1250530     29158    124596         0     61499    378257   2855806    158.35    169.62
2824.84/707.22	c  N dy  8506   1270626     29158    124596         0     81595    378257   7788860    158.36    197.02
2873.97/719.55	c  N dy  8641   1290717     29158    124596         0    101683    378257  12748957    158.38    167.43
2919.93/731.09	c  N dy  8780   1310743     29158    124596         0     68708    378257   4527688    158.42    169.77
2967.05/742.84	c  N dy  8923   1330756     29158    124596         0     88721    378257   9441042    158.45    198.80
3017.37/755.42	c  N dy  9057   1350794     29158    124596         0     54763    378257    712984    158.44    167.18
3061.71/766.56	c  N dy  9192   1370887     29158    124596         0     74856    378257   5643707    158.45    168.23
3109.65/778.52	c  N dy  9324   1390959     29158    124596         0     94928    378257  10524978    158.44    167.15
3159.18/790.93	c  N dy  9461   1410976     29158    124596         0     59946    378257   1759127    158.47    169.96
3203.92/802.19	c  N dy  9591   1431039     29158    124596         0     80009    378257   6741994    158.47    171.68
3253.45/814.53	c  N dy  9724   1451129     29158    124596         0    100098    378257  11688082    158.46    171.12
3300.98/826.48	c  N dy  9848   1471140     29158    124596         0     64108    378257   2529428    158.46    174.98
3347.32/838.03	c  N dy  9987   1491268     29158    124596         0     84236    378257   7476408    158.47    168.91
3397.25/850.56	c  N dy 10130   1511328     29158    124596         0    104296    378257  12406352    158.49    168.90
3445.58/862.69	c  N dy 10274   1531410     29158    124596         0     67381    378257   3138163    158.53    169.89
3493.12/874.54	c  N dy 10418   1551466     29158    124596         0     87436    378257   8201401    158.60    171.32
3543.86/887.21	c  N dy 10555   1571636     29158    124596         0    107605    378257  13170179    158.60    167.95
3591.38/899.17	c  N dy 10688   1591736     29158    124596         0     69702    378257   3415148    158.58    166.97
3638.92/911.07	c  N dy 10829   1611797     29158    124596         0     89762    378257   8383216    158.61    170.23
3689.27/923.66	c  N dy 10961   1631835     29158    124596         0    109800    378257  13337760    158.61    178.81
3737.59/935.76	c  N dy 11099   1651937     29158    124596         0     70902    378257   3541619    158.64    167.55
3784.71/947.52	c  N dy 11236   1672003     29158    124596         0     90966    378257   8409346    158.63    172.99
3835.84/960.31	c  N dy 11381   1692042     29158    124596         0    111003    378257  13353354    158.66    168.06
3879.78/971.38	c  S st 11505   1710318     29158    124596         0     69285    378257   2839114    158.65   no data
3880.98/971.67	c  S st 11505   1710820     29158    124596         0     69787    378257   2925807    158.65   no data
3880.98/971.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3881.77/971.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
3882.19/971.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3882.19/971.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3882.19/971.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3882.19/971.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29158 time:  0.01 s
3882.19/971.97	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3882.97/972.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
3883.77/972.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3891.38/974.22	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.87 s
3891.38/974.24	c vivif2 --  cl tried   124596 cl shrink        0 lits rem          0 time: 0.02
3891.76/974.30	c vivif2 --  cl tried    69782 cl shrink        0 lits rem          0 time: 0.06
3892.56/974.53	c asymm  cl-useful: 0/124596/124596 lits-rem:0 time: 0.23
3892.56/974.54	c calculated reachability. Time: 0.00
3892.56/974.54	c  N dy 11505   1710820     29158    124596         0     69782    378257   2922002    158.65   no data
3940.50/986.56	c  N dy 11652   1730991     29158    124596         0     89953    378257   7915652    158.68    171.52
3992.04/999.48	c  N dy 11797   1751197     29158    124596         0    110156    378257  12992047    158.72    173.08
4042.35/1012.04	c  N dy 11929   1771303     29158    124596         0     69263    378257   2582329    158.72    168.58
4088.70/1023.67	c  N dy 12062   1791309     29158    124596         0     89267    378257   7423409    158.71    167.23
4139.42/1036.39	c  N dy 12199   1811363     29158    124596         0    109321    378257  12435405    158.75    198.57
4191.34/1049.39	c  N dy 12339   1831451     29158    124596         0     67414    378257   1932323    158.78    168.08
4239.67/1061.43	c  N dy 12478   1851530     29158    124596         0     87492    378257   6894704    158.80    184.49
4290.00/1074.03	c  N dy 12616   1871765     29158    124596         0    107727    378257  11893967    158.81    169.10
4342.73/1087.25	c  N dy 12753   1891767     29158    124596         0     64733    378257   1022294    158.82    170.46
4388.67/1098.75	c  N dy 12888   1911855     29158    124596         0     84820    378257   6002833    158.84    167.22
4439.81/1111.56	c  N dy 13029   1932273     29158    124596         0    105236    378257  11112356    158.86    168.96
4492.94/1124.84	c  N dy 13161   1952312     29158    124596         0    125274    378257  16031295    158.85    175.67
4539.66/1136.53	c  N dy 13296   1972313     29158    124596         0     81280    378257   4803461    158.84    168.14
4588.80/1148.80	c  N dy 13421   1992406     29158    124596         0    101371    378257   9769529    158.83    167.97
4642.34/1162.26	c  N dy 13567   2012463     29158    124596         0    121426    378257  14755456    158.85    168.65
4692.24/1174.77	c  N dy 13699   2032538     29158    124596         0     76504    378257   3506587    158.87    180.69
4740.18/1186.73	c  N dy 13827   2052573     29158    124596         0     96539    378257   8455662    158.86    172.53
4792.13/1199.77	c  N dy 13969   2072625     29158    124596         0    116591    378257  13440361    158.89    168.65

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.74 7.93 6.49 5/180 28077
/proc/meminfo: memFree=26806936/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 514624615 52441088 347 33554432000 4194304 4627427 140733941463536 18446744073709551615 210204703729 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 12803 347 299 106 0 7774 0
[pid=28077/tid=28078] ppid=28075 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514624615 52441088 347 33554432000 4194304 4627427 140733941463536 18446744073709551615 47850574743464 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514624615 52441088 347 33554432000 4194304 4627427 140733941463536 18446744073709551615 47850574743468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514624615 52441088 347 33554432000 4194304 4627427 140733941463536 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.079968 s]
/proc/loadavg: 7.74 7.93 6.49 5/180 28077
/proc/meminfo: memFree=26806936/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=306572 CPUtime=0.31 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 18199 0 0 0 28 3 0 0 18 0 4 0 514624615 313929728 16072 33554432000 4194304 4627427 140733941463536 18446744073709551615 210204690615 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 77354 16332 339 106 0 72325 0
[pid=28077/tid=28078] ppid=28075 vsize=311700 CPUtime=0.1 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 5074 0 0 0 10 0 0 0 25 0 4 0 514624615 319180800 18480 33554432000 4194304 4627427 140733941463536 18446744073709551615 4407064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=353576 CPUtime=0.41 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 10762 0 0 0 39 2 0 0 18 0 4 0 514624615 362061824 33589 33554432000 4194304 4627427 140733941463536 18446744073709551615 210204705194 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=353576 CPUtime=0.41 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) D 28075 28077 27869 0 -1 4202560 5315 0 0 0 40 1 0 0 18 0 4 0 514624615 362061824 33589 33554432000 4194304 4627427 140733941463536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 306572

[startup+0.521082 s]
/proc/loadavg: 7.74 7.93 6.49 5/180 28077
/proc/meminfo: memFree=26806936/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=335220 CPUtime=2.05 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 38132 0 0 0 197 8 0 0 18 0 4 0 514624615 343265280 29830 33554432000 4194304 4627427 140733941463536 18446744073709551615 4410840 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 85055 31319 385 106 0 80026 0
[pid=28077/tid=28078] ppid=28075 vsize=340220 CPUtime=0.84 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 10980 0 0 0 83 1 0 0 18 0 4 0 514624615 348385280 31319 33554432000 4194304 4627427 140733941463536 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=340220 CPUtime=0.85 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 12097 0 0 0 82 3 0 0 18 0 4 0 514624615 348385280 31319 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=340220 CPUtime=0.84 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 5715 0 0 0 83 1 0 0 19 0 4 0 514624615 348385280 31319 33554432000 4194304 4627427 140733941463536 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 335220

[startup+0.961968 s]
/proc/loadavg: 7.74 7.93 6.49 5/180 28077
/proc/meminfo: memFree=26806936/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=340220 CPUtime=3.8 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 41584 0 0 0 372 8 0 0 18 0 4 0 514624615 348385280 31593 33554432000 4194304 4627427 140733941463536 18446744073709551615 4330282 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 85055 31593 385 106 0 80026 0
[pid=28077/tid=28078] ppid=28075 vsize=340220 CPUtime=0.94 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 11039 0 0 0 93 1 0 0 18 0 4 0 514624615 348385280 31593 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=340220 CPUtime=0.95 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 12160 0 0 0 92 3 0 0 18 0 4 0 514624615 348385280 31593 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=340220 CPUtime=0.94 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 5806 0 0 0 93 1 0 0 19 0 4 0 514624615 348385280 31593 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 340220

[startup+1.06195 s]
/proc/loadavg: 7.74 7.93 6.49 5/180 28077
/proc/meminfo: memFree=26806936/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=340220 CPUtime=4.21 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 41895 0 0 0 412 9 0 0 18 0 4 0 514624615 348385280 31878 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 85055 31878 385 106 0 80026 0
[pid=28077/tid=28078] ppid=28075 vsize=340220 CPUtime=1.04 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 11100 0 0 0 103 1 0 0 18 0 4 0 514624615 348385280 31878 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=340220 CPUtime=1.05 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 12230 0 0 0 102 3 0 0 18 0 4 0 514624615 348385280 31878 33554432000 4194304 4627427 140733941463536 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=340220 CPUtime=1.04 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 5916 0 0 0 103 1 0 0 19 0 4 0 514624615 348385280 31878 33554432000 4194304 4627427 140733941463536 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 340220

[startup+1.50088 s]
/proc/loadavg: 7.74 7.93 6.49 5/180 28077
/proc/meminfo: memFree=26806936/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=340220 CPUtime=5.96 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 43343 0 0 0 587 9 0 0 19 0 4 0 514624615 348385280 33274 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 85055 33274 385 106 0 80026 0
[pid=28077/tid=28078] ppid=28075 vsize=340220 CPUtime=1.48 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 11454 0 0 0 147 1 0 0 19 0 4 0 514624615 348385280 33274 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=340220 CPUtime=1.48 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 12585 0 0 0 145 3 0 0 19 0 4 0 514624615 348385280 33274 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=340220 CPUtime=1.48 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 6196 0 0 0 147 1 0 0 20 0 4 0 514624615 348385280 33274 33554432000 4194304 4627427 140733941463536 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 340220

[startup+3.10061 s]
/proc/loadavg: 7.76 7.94 6.49 9/184 28081
/proc/meminfo: memFree=26689600/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=471484 CPUtime=12.35 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 47700 0 0 0 1225 10 0 0 23 0 4 0 514624615 482799616 37579 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 117871 37579 385 106 0 112842 0
[pid=28077/tid=28078] ppid=28075 vsize=471484 CPUtime=3.08 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 12429 0 0 0 307 1 0 0 23 0 4 0 514624615 482799616 37579 33554432000 4194304 4627427 140733941463536 18446744073709551615 4332772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=471484 CPUtime=3.08 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 13598 0 0 0 305 3 0 0 23 0 4 0 514624615 482799616 37579 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=471484 CPUtime=3.07 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 7536 0 0 0 305 2 0 0 25 0 4 0 514624615 482799616 37579 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 471484

[startup+6.30107 s]
/proc/loadavg: 7.76 7.94 6.49 9/184 28081
/proc/meminfo: memFree=26693196/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=471484 CPUtime=25.13 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 55391 0 0 0 2501 12 0 0 25 0 4 0 514624615 482799616 45270 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 117871 45271 385 106 0 112842 0
[pid=28077/tid=28078] ppid=28075 vsize=471484 CPUtime=6.29 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 14244 0 0 0 627 2 0 0 25 0 4 0 514624615 482799616 45271 33554432000 4194304 4627427 140733941463536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=471484 CPUtime=6.29 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 15599 0 0 0 625 4 0 0 25 0 4 0 514624615 482799616 45271 33554432000 4194304 4627427 140733941463536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=471484 CPUtime=6.25 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 9456 0 0 0 623 2 0 0 25 0 4 0 514624615 482799616 45271 33554432000 4194304 4627427 140733941463536 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 471484

[startup+12.701 s]
/proc/loadavg: 7.88 7.95 6.52 9/184 28081
/proc/meminfo: memFree=26666148/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=426760 CPUtime=50.71 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 76563 0 0 0 5054 17 0 0 25 0 4 0 514624615 437002240 43873 33554432000 4194304 4627427 140733941463536 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 106690 43873 387 106 0 101661 0
[pid=28077/tid=28078] ppid=28075 vsize=426760 CPUtime=12.69 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 19387 0 0 0 1266 3 0 0 25 0 4 0 514624615 437002240 43873 33554432000 4194304 4627427 140733941463536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=426760 CPUtime=12.69 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 20965 0 0 0 1264 5 0 0 25 0 4 0 514624615 437002240 43873 33554432000 4194304 4627427 140733941463536 18446744073709551615 4305826 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=426760 CPUtime=12.62 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 14751 0 0 0 1259 3 0 0 25 0 4 0 514624615 437002240 43873 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 426760

[startup+25.5008 s]
/proc/loadavg: 7.98 7.97 6.54 9/184 28081
/proc/meminfo: memFree=26377364/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=724836 CPUtime=101.83 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 175796 0 0 0 10144 39 0 0 25 0 4 0 514624615 742232064 108311 33554432000 4194304 4627427 140733941463536 18446744073709551615 4330061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 181209 108311 390 106 0 176180 0
[pid=28077/tid=28078] ppid=28075 vsize=724836 CPUtime=25.48 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 52343 0 0 0 2539 9 0 0 25 0 4 0 514624615 742232064 108311 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=724836 CPUtime=25.49 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 36974 0 0 0 2540 9 0 0 25 0 4 0 514624615 742232064 108312 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=724836 CPUtime=25.35 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 35296 0 0 0 2527 8 0 0 25 0 4 0 514624615 742232064 108312 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 724836

[startup+51.1005 s]
/proc/loadavg: 7.98 7.97 6.57 9/184 28082
/proc/meminfo: memFree=26295780/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=910792 CPUtime=204.09 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 253026 0 0 0 20349 60 0 0 25 0 4 0 514624615 932651008 140705 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 227698 140705 390 106 0 222669 0
[pid=28077/tid=28078] ppid=28075 vsize=910792 CPUtime=51.08 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 69068 0 0 0 5094 14 0 0 25 0 4 0 514624615 932651008 140705 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=910792 CPUtime=51.08 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 62015 0 0 0 5093 15 0 0 25 0 4 0 514624615 932651008 140705 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=910792 CPUtime=50.81 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 51227 0 0 0 5068 13 0 0 25 0 4 0 514624615 932651008 140705 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 910792

[startup+102.301 s]
/proc/loadavg: 8.10 8.00 6.66 9/184 28083
/proc/meminfo: memFree=26066740/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=996108 CPUtime=408.6 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 370049 0 0 0 40763 97 0 0 25 0 4 0 514624615 1020014592 181396 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 249027 181396 390 106 0 243998 0
[pid=28077/tid=28078] ppid=28075 vsize=996108 CPUtime=102.28 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 87738 0 0 0 10207 21 0 0 25 0 4 0 514624615 1020014592 181396 33554432000 4194304 4627427 140733941463536 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=996108 CPUtime=102.29 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 90772 0 0 0 10204 25 0 0 25 0 4 0 514624615 1020014592 181396 33554432000 4194304 4627427 140733941463536 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=996108 CPUtime=101.73 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 83682 0 0 0 10149 24 0 0 25 0 4 0 514624615 1020014592 181396 33554432000 4194304 4627427 140733941463536 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 996108

[startup+162.301 s]

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

[pid=28077] ppid=28075 vsize=1472536 CPUtime=2565.6 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1281544 0 0 0 256169 391 0 0 25 0 4 0 514624615 1507876864 299223 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 368134 299223 390 106 0 363105 0
[pid=28077/tid=28078] ppid=28075 vsize=1472536 CPUtime=642.27 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 303868 0 0 0 64141 86 0 0 25 0 4 0 514624615 1507876864 299223 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1472536 CPUtime=642.27 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 331722 0 0 0 64119 108 0 0 25 0 4 0 514624615 1507876864 299223 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1472536 CPUtime=638.77 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 317850 0 0 0 63778 99 0 0 25 0 4 0 514624615 1507876864 299223 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 1472536

[startup+702.301 s]
/proc/loadavg: 8.10 8.10 7.34 9/184 28099
/proc/meminfo: memFree=24971756/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1540860 CPUtime=2805.28 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1374890 0 0 0 280105 423 0 0 25 0 4 0 514624615 1577840640 311946 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 385215 311946 390 106 0 380186 0
[pid=28077/tid=28078] ppid=28075 vsize=1540860 CPUtime=702.27 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 322960 0 0 0 70135 92 0 0 25 0 4 0 514624615 1577840640 311946 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1540860 CPUtime=702.27 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 358249 0 0 0 70110 117 0 0 25 0 4 0 514624615 1577840640 311946 33554432000 4194304 4627427 140733941463536 18446744073709551615 4321457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1540860 CPUtime=698.45 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 343273 0 0 0 69737 108 0 0 25 0 4 0 514624615 1577840640 311946 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 1540860

[startup+762.301 s]
/proc/loadavg: 8.09 8.09 7.39 9/184 28101
/proc/meminfo: memFree=24720376/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1556704 CPUtime=3044.94 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1471954 0 0 0 304035 459 0 0 25 0 4 0 514624615 1594064896 306459 33554432000 4194304 4627427 140733941463536 18446744073709551615 4330046 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 389176 306459 390 106 0 384147 0
[pid=28077/tid=28078] ppid=28075 vsize=1556704 CPUtime=762.26 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 346871 0 0 0 76127 99 0 0 25 0 4 0 514624615 1594064896 306459 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1556704 CPUtime=762.27 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 380341 0 0 0 76102 125 0 0 25 0 4 0 514624615 1594064896 306459 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1556704 CPUtime=758.11 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 366887 0 0 0 75694 117 0 0 25 0 4 0 514624615 1594064896 306459 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.94
Current children cumulated vsize (KiB) 1556704

[startup+822.301 s]
/proc/loadavg: 8.08 8.09 7.43 10/184 28103
/proc/meminfo: memFree=24733220/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1377212 CPUtime=3284.63 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1566628 0 0 0 327972 491 0 0 25 0 4 0 514624615 1410265088 296908 33554432000 4194304 4627427 140733941463536 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 344303 296908 390 106 0 339274 0
[pid=28077/tid=28078] ppid=28075 vsize=1377212 CPUtime=822.27 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 367108 0 0 0 82121 106 0 0 25 0 4 0 514624615 1410265088 296908 33554432000 4194304 4627427 140733941463536 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1377212 CPUtime=822.27 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 404089 0 0 0 82092 135 0 0 25 0 4 0 514624615 1410265088 296908 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1377212 CPUtime=817.79 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 394133 0 0 0 81654 125 0 0 25 0 4 0 514624615 1410265088 296908 33554432000 4194304 4627427 140733941463536 18446744073709551615 4305882 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.63
Current children cumulated vsize (KiB) 1377212

[startup+882.3 s]
/proc/loadavg: 8.14 8.10 7.47 9/184 28104
/proc/meminfo: memFree=24604844/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1563832 CPUtime=3524.27 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1663025 0 0 0 351903 524 0 0 25 0 4 0 514624615 1601363968 326684 33554432000 4194304 4627427 140733941463536 18446744073709551615 4332735 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 390958 326684 390 106 0 385929 0
[pid=28077/tid=28078] ppid=28075 vsize=1563832 CPUtime=882.27 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 388625 0 0 0 88112 115 0 0 25 0 4 0 514624615 1601363968 326684 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1563832 CPUtime=882.26 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 431109 0 0 0 88082 144 0 0 25 0 4 0 514624615 1601363968 326684 33554432000 4194304 4627427 140733941463536 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1563832 CPUtime=877.46 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 415900 0 0 0 87614 132 0 0 25 0 4 0 514624615 1601363968 326684 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.27
Current children cumulated vsize (KiB) 1563832

[startup+942.306 s]
/proc/loadavg: 8.05 8.08 7.50 9/184 28105
/proc/meminfo: memFree=24650924/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1574256 CPUtime=3763.96 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1758764 0 0 0 375840 556 0 0 25 0 4 0 514624615 1612038144 322026 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 393564 322026 390 106 0 388535 0
[pid=28077/tid=28078] ppid=28075 vsize=1574256 CPUtime=942.27 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 411978 0 0 0 94105 122 0 0 25 0 4 0 514624615 1612038144 322026 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1574256 CPUtime=942.27 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 453175 0 0 0 94075 152 0 0 25 0 4 0 514624615 1612038144 322026 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1574256 CPUtime=937.13 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 442875 0 0 0 93572 141 0 0 25 0 4 0 514624615 1612038144 322026 33554432000 4194304 4627427 140733941463536 18446744073709551615 4327579 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 1574256

[startup+1002.3 s]
/proc/loadavg: 8.09 8.08 7.53 9/184 28138
/proc/meminfo: memFree=25889280/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1574892 CPUtime=4003.61 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1844517 0 0 0 399772 589 0 0 25 0 4 0 514624615 1612689408 337454 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 393723 337454 390 106 0 388694 0
[pid=28077/tid=28078] ppid=28075 vsize=1574892 CPUtime=1002.26 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 430950 0 0 0 100097 129 0 0 25 0 4 0 514624615 1612689408 337454 33554432000 4194304 4627427 140733941463536 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1574892 CPUtime=1002.26 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 476581 0 0 0 100065 161 0 0 25 0 4 0 514624615 1612689408 337454 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1574892 CPUtime=996.8 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 462428 0 0 0 99532 148 0 0 25 0 4 0 514624615 1612689408 337454 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 1574892

[startup+1062.3 s]
/proc/loadavg: 8.03 8.06 7.56 9/184 28140
/proc/meminfo: memFree=25654136/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1707848 CPUtime=4243.27 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 1955516 0 0 0 423703 624 0 0 25 0 4 0 514624615 1748836352 349823 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 426962 349823 390 106 0 421933 0
[pid=28077/tid=28078] ppid=28075 vsize=1707848 CPUtime=1062.26 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 450377 0 0 0 106090 136 0 0 25 0 4 0 514624615 1748836352 349823 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1707848 CPUtime=1062.26 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 518570 0 0 0 106052 174 0 0 25 0 4 0 514624615 1748836352 349823 33554432000 4194304 4627427 140733941463536 18446744073709551615 4428398 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1707848 CPUtime=1056.47 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 489127 0 0 0 105491 156 0 0 25 0 4 0 514624615 1748836352 349823 33554432000 4194304 4627427 140733941463536 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1707848

[startup+1122.3 s]
/proc/loadavg: 8.01 8.05 7.58 9/184 28142
/proc/meminfo: memFree=25582916/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1708680 CPUtime=4482.94 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 2047186 0 0 0 447637 657 0 0 25 0 4 0 514624615 1749688320 366608 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 427170 366608 390 106 0 422141 0
[pid=28077/tid=28078] ppid=28075 vsize=1708680 CPUtime=1122.27 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 471102 0 0 0 112083 144 0 0 25 0 4 0 514624615 1749688320 366608 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1708680 CPUtime=1122.25 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 543902 0 0 0 112042 183 0 0 25 0 4 0 514624615 1749688320 366608 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1708680 CPUtime=1116.15 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 509852 0 0 0 111450 165 0 0 25 0 4 0 514624615 1749688320 366608 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1708680

[startup+1182.3 s]
/proc/loadavg: 8.06 8.05 7.61 9/184 28143
/proc/meminfo: memFree=25611284/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1710312 CPUtime=4722.6 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 2137048 0 0 0 471570 690 0 0 25 0 4 0 514624615 1751359488 349408 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 427578 349408 390 106 0 422549 0
[pid=28077/tid=28078] ppid=28075 vsize=1710312 CPUtime=1182.26 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 490184 0 0 0 118075 151 0 0 25 0 4 0 514624615 1751359488 349408 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1710312 CPUtime=1182.25 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 565427 0 0 0 118034 191 0 0 25 0 4 0 514624615 1751359488 349408 33554432000 4194304 4627427 140733941463536 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1710312 CPUtime=1175.81 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 536268 0 0 0 117406 175 0 0 25 0 4 0 514624615 1751359488 349408 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 1710312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.05 7.62 9/184 28144
/proc/meminfo: memFree=25548656/32951124 swapFree=67088964/67111528
[pid=28077] ppid=28075 vsize=1648644 CPUtime=4800.12 cores=1,3,5,7
/proc/28077/stat : 28077 (strangenight2-m) R 28075 28077 27869 0 -1 4202496 2167725 0 0 0 479310 702 0 0 25 0 4 0 514624615 1688211456 366235 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28077/statm: 412161 366235 390 106 0 407132 0
[pid=28077/tid=28078] ppid=28075 vsize=1648644 CPUtime=1201.67 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 497522 0 0 0 120013 154 0 0 25 0 4 0 514624615 1688211456 366235 33554432000 4194304 4627427 140733941463536 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28077/tid=28079] ppid=28075 vsize=1648644 CPUtime=1201.66 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 574079 0 0 0 119971 195 0 0 25 0 4 0 514624615 1688211456 366235 33554432000 4194304 4627427 140733941463536 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28077/tid=28080] ppid=28075 vsize=1648644 CPUtime=1195.11 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (strangenight2-m) R 28075 28077 27869 0 -1 4202560 543557 0 0 0 119333 178 0 0 25 0 4 0 514624615 1688211456 366235 33554432000 4194304 4627427 140733941463536 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1648644

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): 1201.77
CPU time (s): 4800.21
CPU user time (s): 4793.12
CPU system time (s): 7.08192
CPU usage (%): 399.428
Max. virtual memory (cumulated for all children) (KiB): 1710312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.12
system time used= 7.08192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2167732
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= 2343
involuntary context switches= 32056

runsolver used 1.86572 second user time and 4.71128 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 00:37:41
IDJOB=3173740
IDBENCH=82558
IDSOLVER=1586
FILE ID=node130/3173740-1304030261
RUNJOBID= node130-1304028687-27889
PBS_JOBID= 13170322
Free space on /tmp= 71984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173740-1304030261/watcher-3173740-1304030261 -o /tmp/evaluation-result-3173740-1304030261/solver-3173740-1304030261 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173740-1304030261.cnf

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

MD5SUM BENCH= 785309e098f4d0ba8da3027c8426e931
RANDOM SEED=2059390692

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26807340 kB
Buffers:       1122508 kB
Cached:        3917924 kB
SwapCached:      22432 kB
Active:         866260 kB
Inactive:      4854432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26807340 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:            7788 kB
Writeback:           0 kB
AnonPages:      657848 kB
Mapped:          15636 kB
Slab:           358120 kB
PageTables:       5564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1011780 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= 71980 MiB
End job on node130 at 2011-04-29 00:57:45