Trace number 3173780

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.16 1201.98

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf
MD5SUMe97fda1e892cdb27859435984e5a4127
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark93.1638
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173780-1304031184.cnf'
0.00/0.00	c -- header says num vars:          30000
0.00/0.00	c -- header says num clauses:      126000
0.36/0.14	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.36/0.14	c -- vars added      30000
0.36/0.14	c Parsing time:  0.08 s
0.36/0.14	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.36/0.32	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.36/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
1.28/0.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.28/0.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.28/0.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.28/0.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.28/0.44	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
4.61/1.23	c lits-rem:         0  cl-subs:        0  v-elim:    699  v-fix:    0  time:  0.21 s
4.61/1.23	c Finding binary XORs  T:     0.01 s  found:       0
4.61/1.23	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
4.61/1.23	c calculated reachability. Time: 0.00
4.61/1.23	c Calc default polars -  time:   0.01 s pos:   13431 undec:    3330 neg:   13239
4.61/1.23	c =========================================================================================
4.61/1.23	c types(t): F = full restart, N = normal restart
4.61/1.23	c types(t): S = simplification begin/end, E = solution found
4.61/1.23	c restart types(rt): st = static, dy = dynamic
4.61/1.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.61/1.23	c  B st     0         0     29301    125264         0         0    380164         0   no data   no data
9.08/2.35	c  N dy    22      4063     29301    125264         0      4062    380164   1074002    146.22    154.29
15.88/4.03	c  N dy    52      8125     29301    125264         0      8124    380164   2081066    157.56    168.55
22.66/5.77	c  N dy    78     12217     29301    125264         0     12215    380164   3113428    158.48    186.63
29.84/7.52	c  N dy   105     16299     29301    125264         0     16297    380164   4141292    159.05    175.61
37.03/9.32	c  N dy   130     20318     29301    125264         0     10320    380164    720751    158.88    245.45
43.82/11.02	c  N dy   156     24322     29301    125264         0     14324    380164   1652792    157.32    167.97
45.03/11.31	c  F st   161     25000     29301    125264         0     15002    380164   1816956    157.28   no data
54.21/13.62	c  N dy   167     30005     29301    125264         0     20007    380164   3483557    157.28   no data
54.21/13.62	c  S st   167     30005     29301    125264         0     20007    380164   3483557    157.28   no data
55.01/13.85	c  S st   167     30506     29301    125264         0     20508    380164   3585852    157.28   no data
55.01/13.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.83/14.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
55.83/14.06	c blocked clauses removed:      643 vars:    107 tried:       29301 T: 0.02 s
55.83/14.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.83/14.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.83/14.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29194 time:  0.01 s
56.20/14.10	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.60/14.25	c lits-rem:         0  cl-subs:        0  v-elim:     25  v-fix:    0  time:  0.16 s
57.81/14.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
61.79/15.50	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time:  0.88 s
62.19/15.64	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.15
62.19/15.65	c calculated reachability. Time: 0.00
62.19/15.65	c  N dy   167     30506     29169    124599         0     20094    378334   3316768    157.28   no data
69.38/17.43	c  N dy   191     34526     29169    124599         0     24113    378334   4289701    157.13    166.41
76.98/19.39	c  N dy   221     38548     29169    124599         0     28135    378334   5273685    157.42    165.95
84.96/21.30	c  N dy   249     42629     29169    124599         0     16920    378334   1135960    157.09    170.48
90.16/22.69	c  S st   273     45759     29169    124599         0     20050    378334   1891249    157.19   no data
91.35/22.91	c  S st   273     46261     29169    124599         0     20552    378334   1969973    157.19   no data
91.35/22.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.75/23.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
92.16/23.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.16/23.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
92.16/23.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.16/23.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
92.16/23.14	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
92.55/23.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
93.35/23.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
94.55/23.73	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
94.55/23.74	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
94.55/23.78	c vivif2 --  cl tried    20552 cl shrink        0 lits rem          0 time: 0.04
95.37/23.93	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.15
95.37/23.94	c calculated reachability. Time: 0.00
95.37/23.94	c  N dy   273     46261     29169    124599         0     20552    378334   1969970    157.19   no data
102.53/25.77	c  N dy   297     50319     29169    124599         0     24610    378334   2929810    156.99    201.79
110.13/27.65	c  N dy   324     54474     29169    124599         0     28764    378334   3902378    156.75    168.15
117.71/29.56	c  N dy   351     58576     29169    124599         0     32866    378334   4875912    156.54    165.80
125.31/31.47	c  N dy   375     62639     29169    124599         0     36929    378334   5829676    156.26    185.26
132.89/33.39	c  N dy   405     66739     29169    124599         0     22385    378334   1620210    156.33    164.98
138.09/34.63	c  S st   423     69391     29169    124599         0     25037    378334   2246350    156.22    126.26
138.90/34.86	c  S st   423     69893     29169    124599         0     25539    378334   2331559    156.22   no data
138.90/34.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
139.68/35.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
139.68/35.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.68/35.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139.68/35.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
139.68/35.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
139.68/35.10	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
140.48/35.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
140.88/35.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
142.87/35.82	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.42 s
142.87/35.84	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
142.87/35.88	c vivif2 --  cl tried    25537 cl shrink        0 lits rem          0 time: 0.04
143.69/36.04	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.16
143.69/36.05	c calculated reachability. Time: 0.00
143.69/36.05	c  N dy   423     69893     29169    124599         0     25537    378334   2331392    156.22   no data
152.07/38.16	c  N dy   459     74389     29169    124599         0     30033    378334   3460660    156.66    175.70
161.27/40.46	c  N dy   493     79191     29169    124599         0     34835    378334   4617064    156.44    166.10
171.64/43.03	c  N dy   528     84414     29169    124599         0     40058    378334   5900261    156.60    175.59
177.63/44.53	c  F st   547     87501     29169    124599         0     22321    378334   1049284    156.51   no data
183.61/46.08	c  N st   552     90801     29169    124599         0     25621    378334   2044126    156.51   no data
195.20/48.99	c  N dy   583     96791     29169    124599         0     31611    378334   3790664    156.80    165.62
207.98/52.15	c  N dy   628    103274     29169    124599         0     38093    378334   5415821    156.92    175.95
211.18/52.92	c  S st   639    104839     29169    124599         0     39658    378334   5779113    156.85   no data
211.98/53.18	c  S st   639    105343     29169    124599         0     40162    378334   5867256    156.85   no data
212.38/53.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
212.78/53.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
213.18/53.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
213.18/53.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
213.18/53.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
213.18/53.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
213.18/53.44	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
214.00/53.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
215.57/54.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
222.38/55.78	c lits-rem:         6  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.75 s
222.38/55.80	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
223.16/55.90	c vivif2 --  cl tried    40155 cl shrink        0 lits rem          0 time: 0.10
223.56/56.08	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.18
223.56/56.09	c calculated reachability. Time: 0.00
223.56/56.09	c  N dy   639    105343     29169    124599         0     40155    378334   5864229    156.85   no data
237.14/59.43	c  N dy   686    112093     29169    124599         0     24491    378334   1153362    156.86    165.17
251.12/62.91	c  N dy   739    119284     29169    124599         0     31682    378334   2915916    156.84    166.74
266.32/66.71	c  N dy   793    126987     29169    124599         0     39385    378334   4849485    157.12    165.63
282.68/70.89	c  N dy   850    135193     29169    124599         0     23886    378334    655603    157.21    165.85
298.66/74.89	c  N dy   902    143904     29169    124599         0     32597    378334   2735867    157.06    171.47
317.03/79.43	c  N dy   962    153189     29169    124599         0     41882    378334   5030492    157.05    169.77
326.62/81.87	c  S st   995    158014     29169    124599         0     46707    378334   6181515    157.10   no data
327.83/82.12	c  S st   995    158519     29169    124599         0     47212    378334   6266993    157.10   no data
327.83/82.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
328.61/82.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
328.61/82.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
328.61/82.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
328.61/82.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
328.61/82.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
328.61/82.39	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
329.41/82.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
331.02/82.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
340.60/85.33	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.34 s
340.60/85.35	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
341.02/85.46	c vivif2 --  cl tried    47204 cl shrink        0 lits rem          0 time: 0.11
341.80/85.65	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.19
341.80/85.66	c calculated reachability. Time: 0.00
341.80/85.66	c  N dy   995    158519     29169    124599         0     47204    378334   6264125    157.10   no data
361.77/90.61	c  N dy  1061    168728     29169    124599         0     32564    378334   2403730    156.98    167.88
382.94/95.92	c  N dy  1139    179553     29169    124599         0     43389    378334   5054283    157.06    170.10
405.71/101.65	c  N dy  1213    191052     29169    124599         0     28960    378334   1277045    156.99    170.51
429.30/107.58	c  N dy  1300    203309     29169    124599         0     41215    378334   4240838    157.03    173.91
456.03/114.24	c  N dy  1389    216379     29169    124599         0     27319    378334    614319    157.00    187.55
482.41/120.83	c  N dy  1475    230256     29169    124599         0     41194    378334   3985475    156.81    169.83
497.58/124.65	c  S st  1527    237779     29169    124599         0     48717    378334   5823815    156.77    143.89
498.78/124.91	c  S st  1527    238282     29169    124599         0     49220    378334   5911217    156.77   no data
498.78/124.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
499.60/125.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
499.60/125.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
499.60/125.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
499.60/125.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
499.60/125.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
499.60/125.18	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
500.38/125.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
501.98/125.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
511.17/128.08	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.35 s
511.57/128.10	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
511.97/128.21	c vivif2 --  cl tried    49214 cl shrink        0 lits rem          0 time: 0.10
512.78/128.40	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
512.78/128.41	c calculated reachability. Time: 0.00
512.78/128.41	c  N dy  1527    238282     29169    124599         0     49214    378334   5907092    156.77   no data
543.54/136.19	c  N dy  1635    253690     29169    124599         0     36641    378334   2642839    156.93    165.83
576.28/144.37	c  N dy  1739    269925     29169    124599         0     52876    378334   6610228    156.96    168.54
611.83/153.23	c  N dy  1860    287331     29169    124599         0     41294    378334   3571862    157.11    165.92
649.38/162.66	c  N dy  1974    305718     29169    124599         0     59678    378334   7966889    156.98    168.72
650.57/162.96	c  F st  1977    306251     29169    124599         0     30222    378334    551511    156.97    156.93
688.92/172.56	c  N dy  2082    325322     29169    124599         0     49293    378334   5635340    157.02    166.06
730.07/182.89	c  N dy  2221    345401     29169    124599         0     38375    378334   2308212    157.12    177.81
754.44/188.98	c  S st  2297    357423     29169    124599         0     50396    378334   5253057    157.13   no data
755.62/189.25	c  S st  2297    357926     29169    124599         0     50899    378334   5333228    157.13   no data
755.62/189.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
756.43/189.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
756.43/189.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
756.43/189.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
756.83/189.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
756.83/189.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
756.83/189.52	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
757.22/189.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
758.44/189.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
767.63/192.21	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.20 s
767.63/192.23	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
768.00/192.32	c vivif2 --  cl tried    50898 cl shrink        0 lits rem          0 time: 0.09
768.80/192.52	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
768.80/192.53	c calculated reachability. Time: 0.00
768.80/192.53	c  N dy  2297    357926     29169    124599         0     50898    378334   5332939    157.13   no data
810.35/202.95	c  N dy  2434    378011     29169    124599         0     38984    378334   2238484    157.18    247.87
852.30/213.44	c  N dy  2573    398059     29169    124599         0     59030    378334   7100378    157.21    167.00
893.84/223.82	c  N dy  2710    418130     29169    124599         0     46103    378334   3727470    157.39    180.71
936.58/234.58	c  N dy  2856    438234     29169    124599         0     66206    378334   8644121    157.48    166.78
977.73/244.82	c  N dy  2993    458274     29169    124599         0     52245    378334   5031687    157.61    167.81
1020.87/255.64	c  N dy  3126    478370     29169    124599         0     37342    378334   1052170    157.62    169.39
1062.04/265.98	c  N dy  3268    498388     29169    124599         0     57359    378334   6035773    157.72    179.07
1105.15/276.73	c  N dy  3405    518410     29169    124599         0     41382    378334   1793750    157.74    167.80
1143.50/286.37	c  S st  3531    536890     29169    124599         0     59861    378334   6258257    157.74   no data
1144.70/286.66	c  S st  3531    537394     29169    124599         0     60365    378334   6358310    157.74   no data
1144.70/286.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1145.51/286.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1145.89/286.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1145.89/286.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1145.89/286.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1145.89/286.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
1145.89/286.95	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1146.69/287.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1148.29/287.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1160.68/290.62	c lits-rem:        12  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.10 s
1160.68/290.64	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
1161.08/290.75	c vivif2 --  cl tried    60361 cl shrink        0 lits rem          0 time: 0.11
1161.87/290.97	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.22
1161.87/290.98	c calculated reachability. Time: 0.00
1161.87/290.98	c  N dy  3531    537394     29169    124599         0     60361    378334   6355434    157.74   no data
1205.41/301.82	c  N dy  3669    557412     29169    124599         0     43383    378334   2035798    157.73    172.18
1247.76/312.42	c  N dy  3803    577453     29169    124599         0     63423    378334   6909612    157.76    181.68
1291.29/323.39	c  N dy  3944    597558     29169    124599         0     45532    378334   2364347    157.84    167.67
1334.05/334.04	c  N dy  4077    617616     29169    124599         0     65586    378334   7191610    157.82    167.31
1378.39/345.19	c  N dy  4217    637777     29169    124599         0     46756    378334   2418538    157.91    167.57
1421.51/355.94	c  N dy  4351    657832     29169    124599         0     66811    378334   7268159    157.87    174.52
1465.87/367.06	c  N dy  4495    677877     29169    124599         0     46853    378334   2135202    157.95    166.95
1509.40/377.91	c  N dy  4637    698038     29169    124599         0     67012    378334   7015814    157.96    166.43
1555.33/389.47	c  N dy  4782    718310     29169    124599         0     46287    378334   1791334    158.08    173.08
1598.47/400.22	c  N dy  4918    738431     29169    124599         0     66407    378334   6822414    158.14    166.87
1643.62/411.57	c  N dy  5045    758553     29169    124599         0     44530    378334   1092981    158.06    168.71
1686.35/422.23	c  N dy  5187    778634     29169    124599         0     64605    378334   6086428    158.14    172.82
1732.69/433.83	c  N dy  5325    798718     29169    124599         0     84686    378334  11053382    158.17    179.39
1748.27/437.79	c  S st  5376    806092     29169    124599         0     49063    378334   1977749    158.18   no data
1749.47/438.06	c  S st  5376    806594     29169    124599         0     49565    378334   2063802    158.18   no data
1749.47/438.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1750.27/438.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1750.27/438.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1750.27/438.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1750.67/438.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1750.67/438.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
1750.67/438.33	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1751.07/438.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1751.49/438.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1754.66/439.35	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.74 s
1754.66/439.37	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
1755.06/439.40	c vivif2 --  cl tried    49565 cl shrink        0 lits rem          0 time: 0.04
1755.46/439.60	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
1755.87/439.61	c calculated reachability. Time: 0.00
1755.87/439.61	c  N dy  5376    806594     29169    124599         0     49565    378334   2063801    158.18   no data
1799.82/450.64	c  N dy  5515    826996     29169    124599         0     69967    378334   7100703    158.21    169.22
1846.93/462.46	c  N dy  5656    847097     29169    124599         0     46064    378334   1013163    158.24    174.75
1890.08/473.23	c  N dy  5797    867234     29169    124599         0     66201    378334   5947881    158.26    169.69
1936.42/484.87	c  N dy  5932    887339     29169    124599         0     86305    378334  10857677    158.31    169.16
1980.36/495.86	c  N dy  6071    907357     29169    124599         0     61327    378334   4499480    158.31    169.64
2025.88/507.29	c  N dy  6204    927359     29169    124599         0     81328    378334   9433687    158.35    168.02
2071.42/518.63	c  N dy  6340    947376     29169    124599         0     55342    378334   2810504    158.35    167.02
2116.17/529.81	c  N dy  6482    967394     29169    124599         0     75359    378334   7713868    158.38    216.13
2164.08/541.89	c  N dy  6625    987601     29169    124599         0     48566    378334    890010    158.39    169.77
2208.03/552.85	c  N dy  6766   1007667     29169    124599         0     68628    378334   5946343    158.48    168.48
2254.76/564.54	c  N dy  6898   1027731     29169    124599         0     88691    378334  10851648    158.46    173.95
2300.30/575.92	c  N dy  7030   1047861     29169    124599         0     60828    378334   3690181    158.47    170.20
2345.43/587.27	c  N dy  7166   1067943     29169    124599         0     80908    378334   8686983    158.51    169.42
2354.62/589.59	c  F st  7192   1071876     29169    124599         0     84841    378334   9674039    158.52   no data
2392.99/599.18	c  N dy  7274   1088064     29169    124599         0     52035    378334   1260836    158.54    168.83
2436.93/610.20	c  N dy  7412   1108121     29169    124599         0     72092    378334   6198565    158.56    185.44
2484.05/621.97	c  N dy  7539   1128154     29169    124599         0     92124    378334  11126073    158.54    171.47
2531.18/633.71	c  N dy  7686   1148307     29169    124599         0     62287    378334   3641434    158.62    171.93
2576.73/645.18	c  N dy  7825   1168375     29169    124599         0     82353    378334   8636486    158.67    169.93
2626.65/657.65	c  N dy  7968   1188515     29169    124599         0     51487    378334    637158    158.68    186.01
2670.14/668.52	c  N dy  8099   1208620     29169    124599         0     71591    378334   5525505    158.67    173.91
2672.88/669.26	c  S st  8110   1209893     29169    124599         0     72864    378334   5845024    158.68   no data
2674.08/669.58	c  S st  8110   1210396     29169    124599         0     73367    378334   5941942    158.68   no data
2674.08/669.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2675.25/669.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.20
2675.25/669.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2675.25/669.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2675.25/669.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2675.25/669.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
2675.25/669.88	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2676.04/670.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2677.64/670.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2691.12/673.80	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.29 s
2691.12/673.82	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
2691.53/673.95	c vivif2 --  cl tried    73364 cl shrink        0 lits rem          0 time: 0.12
2692.69/674.22	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.25
2692.69/674.23	c calculated reachability. Time: 0.00
2692.69/674.23	c  N dy  8110   1210396     29169    124599         0     73364    378334   5940859    158.68   no data
2742.48/686.84	c  N dy  8243   1230473     29169    124599         0     93438    378334  10907278    158.68    170.02
2790.01/698.77	c  N dy  8379   1250730     29169    124599         0     61699    378334   2913114    158.68    169.53
2835.16/710.08	c  N dy  8513   1270783     29169    124599         0     81749    378334   7846367    158.65    168.65
2883.90/722.28	c  N dy  8650   1290855     29169    124599         0    101821    378334  12772847    158.66    167.48
2930.22/733.82	c  N dy  8790   1310983     29169    124599         0     68951    378334   4492409    158.70    178.56
2977.36/745.65	c  N dy  8933   1331080     29169    124599         0     89044    378334   9510876    158.74    167.62
3028.49/758.41	c  N dy  9067   1351138     29169    124599         0     55105    378334    824837    158.75    174.41
3072.43/769.48	c  N dy  9200   1371179     29169    124599         0     75144    378334   5740487    158.74    168.54
3121.17/781.60	c  N dy  9337   1391398     29169    124599         0     95362    378334  10760400    158.76    169.72
3170.69/794.00	c  N dy  9474   1411423     29169    124599         0     60385    378334   1858988    158.77    167.67
3215.43/805.30	c  N dy  9612   1431529     29169    124599         0     80490    378334   6662698    158.74    168.31
3264.95/817.63	c  N dy  9752   1451627     29169    124599         0    100586    378334  11686606    158.79    168.10
3313.69/829.88	c  N dy  9896   1471851     29169    124599         0     64819    378334   2722496    158.80    170.24
3360.03/841.42	c  N dy 10036   1491883     29169    124599         0     84851    378334   7668217    158.83    170.52
3409.56/853.81	c  N dy 10180   1511928     29169    124599         0    104894    378334  12611815    158.84    174.68
3457.48/865.85	c  N dy 10313   1532126     29169    124599         0     68089    378334   3200175    158.82    168.02
3504.25/877.54	c  N dy 10451   1552245     29169    124599         0     88207    378334   8259302    158.85    168.88
3554.95/890.22	c  N dy 10591   1572306     29169    124599         0    108267    378334  13176039    158.86    172.63
3602.48/902.15	c  N dy 10728   1592318     29169    124599         0     70284    378334   3537548    158.87    174.44
3649.62/913.96	c  N dy 10866   1612322     29169    124599         0     90286    378334   8551570    158.91    168.85
3701.15/926.83	c  N dy 11006   1632452     29169    124599         0    110411    378334  13548917    158.92    173.78
3749.08/938.87	c  N dy 11140   1652573     29169    124599         0     71541    378334   3603772    158.93    180.66
3795.81/950.58	c  N dy 11265   1672679     29169    124599         0     91647    378334   8528498    158.90    169.52
3846.56/963.27	c  N dy 11404   1692718     29169    124599         0    111684    378334  13462589    158.92    167.99
3890.09/974.12	c  S st 11522   1710396     29169    124599         0     69362    378334   2874876    158.92    146.08
3891.29/974.42	c  S st 11522   1710900     29169    124599         0     69866    378334   2981832    158.92   no data
3891.29/974.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3892.08/974.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
3892.08/974.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3892.08/974.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3892.08/974.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3892.48/974.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
3892.48/974.72	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
3892.88/974.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
3893.68/975.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3901.67/977.00	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.92 s
3901.67/977.02	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
3901.67/977.07	c vivif2 --  cl tried    69865 cl shrink        0 lits rem          0 time: 0.06
3902.87/977.30	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.23
3902.87/977.31	c calculated reachability. Time: 0.00
3902.87/977.31	c  N dy 11522   1710900     29169    124599         0     69865    378334   2981653    158.92   no data
3950.41/989.21	c  N dy 11651   1731098     29169    124599         0     90061    378334   7910395    158.88    170.40
4001.13/1001.92	c  N dy 11781   1751341     29169    124599         0    110303    378334  12921626    158.87    169.20
4051.86/1014.68	c  N dy 11925   1771549     29169    124599         0     69519    378334   2738672    158.87    168.43
4099.00/1026.43	c  N dy 12060   1791626     29169    124599         0     89595    378334   7688656    158.88    170.73
4148.93/1038.93	c  N dy 12190   1811640     29169    124599         0    109609    378334  12533601    158.86    177.56
4200.46/1051.80	c  N dy 12322   1831673     29169    124599         0     67641    378334   1933582    158.86    174.58
4247.59/1063.61	c  N dy 12462   1851721     29169    124599         0     87687    378334   6915834    158.88    171.66
4297.92/1076.28	c  N dy 12597   1871762     29169    124599         0    107727    378334  11822828    158.88    171.02
4351.86/1089.72	c  N dy 12736   1891816     29169    124599         0     64782    378334   1022845    158.90    172.94
4398.18/1101.36	c  N dy 12877   1911866     29169    124599         0     84832    378334   5974962    158.92    167.36
4448.94/1114.08	c  N dy 13026   1932162     29169    124599         0    105124    378334  11114267    158.97    168.37
4502.43/1127.48	c  N dy 13165   1952252     29169    124599         0    125214    378334  16163331    158.99    176.40
4549.99/1139.38	c  N dy 13303   1972299     29169    124599         0     81269    378334   4833937    159.00    167.51
4599.50/1151.73	c  N dy 13434   1992378     29169    124599         0    101347    378334   9732842    158.98    167.84
4651.83/1164.81	c  N dy 13566   2012454     29169    124599         0    121422    378334  14583677    158.96    181.27
4702.56/1177.53	c  N dy 13710   2032540     29169    124599         0     76508    378334   3433298    158.98    195.54
4750.89/1189.62	c  N dy 13843   2052590     29169    124599         0     96557    378334   8380019    158.99    170.13

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-3173780-1304031184/watcher-3173780-1304031184 -o /tmp/evaluation-result-3173780-1304031184/solver-3173780-1304031184 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173780-1304031184.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: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 514717212 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 47186122766258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 12803 347 299 106 0 7774 0
[pid=25121/tid=25122] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514717213 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514717213 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 268284486710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514717213 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 47186122766248 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.022512 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=305080 CPUtime=0.05 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 11953 0 0 0 3 2 0 0 18 0 4 0 514717212 312401920 9834 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 76350 9864 339 106 0 71321 0
[pid=25121/tid=25122] ppid=25119 vsize=305400 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) S 25119 25121 24860 0 -1 4202560 2944 0 0 0 0 0 0 0 18 0 4 0 514717213 312729600 9878 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794094 0 0 4096 2 18446604453884856448 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=305400 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 3090 0 0 0 0 0 0 0 18 0 4 0 514717213 312729600 9897 33554432000 4194304 4627427 140735600953312 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=305400 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 2568 0 0 0 0 0 0 0 18 0 4 0 514717213 312729600 9915 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 305080

[startup+0.109117 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=376144 CPUtime=0.36 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 18636 0 0 0 26 10 0 0 18 0 4 0 514717212 385171456 16511 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 94036 16546 339 106 0 89007 0
[pid=25121/tid=25122] ppid=25119 vsize=376144 CPUtime=0.08 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) S 25119 25121 24860 0 -1 4202560 4575 0 0 0 6 2 0 0 17 0 4 0 514717213 385171456 16576 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794094 0 0 4096 2 18446604453884856448 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=376144 CPUtime=0.07 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 4830 0 0 0 5 2 0 0 17 0 4 0 514717213 385171456 16614 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272357617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=376144 CPUtime=0.09 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 4311 0 0 0 7 2 0 0 17 0 4 0 514717213 385171456 16645 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 376144

[startup+0.340868 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=384980 CPUtime=1.28 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 24225 0 0 0 112 16 0 0 18 0 4 0 514717212 394219520 22100 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 96307 22480 371 106 0 91278 0
[pid=25121/tid=25122] ppid=25119 vsize=385228 CPUtime=0.31 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) D 25119 25121 24860 0 -1 4202560 6305 0 0 0 27 4 0 0 18 0 4 0 514717213 394473472 22750 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272386151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=388116 CPUtime=0.32 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 7081 0 0 0 28 4 0 0 18 0 4 0 514717213 397430784 24021 33554432000 4194304 4627427 140735600953312 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=388116 CPUtime=0.33 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 5203 0 0 0 30 3 0 0 18 0 4 0 514717213 397430784 24021 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 384980

[startup+1.28287 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=397112 CPUtime=5.01 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 43790 0 0 0 481 20 0 0 19 0 4 0 514717212 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 99278 32688 385 106 0 94249 0
[pid=25121/tid=25122] ppid=25119 vsize=397112 CPUtime=1.24 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 13243 0 0 0 119 5 0 0 19 0 4 0 514717213 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=397112 CPUtime=1.23 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 11732 0 0 0 118 5 0 0 19 0 4 0 514717213 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=397112 CPUtime=1.25 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 5834 0 0 0 122 3 0 0 19 0 4 0 514717213 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 397112

[startup+1.50083 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=397112 CPUtime=5.88 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 44422 0 0 0 568 20 0 0 19 0 4 0 514717212 406642688 33320 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 99278 33321 385 106 0 94249 0
[pid=25121/tid=25122] ppid=25119 vsize=397112 CPUtime=1.45 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 13412 0 0 0 140 5 0 0 19 0 4 0 514717213 406642688 33321 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=397112 CPUtime=1.45 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 11888 0 0 0 140 5 0 0 19 0 4 0 514717213 406642688 33321 33554432000 4194304 4627427 140735600953312 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=397112 CPUtime=1.47 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 5949 0 0 0 144 3 0 0 19 0 4 0 514717213 406642688 33321 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 397112

[startup+3.10055 s]
/proc/loadavg: 7.81 8.03 7.46 9/184 25125
/proc/meminfo: memFree=15288432/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=528376 CPUtime=12.27 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 48688 0 0 0 1206 21 0 0 23 0 4 0 514717212 541057024 37534 33554432000 4194304 4627427 140735600953312 18446744073709551615 4329990 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 132094 37534 385 106 0 127065 0
[pid=25121/tid=25122] ppid=25119 vsize=528376 CPUtime=3.04 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 14387 0 0 0 299 5 0 0 23 0 4 0 514717213 541057024 37534 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=528376 CPUtime=3.06 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 12944 0 0 0 300 6 0 0 23 0 4 0 514717213 541057024 37535 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=528376 CPUtime=3.06 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 7175 0 0 0 303 3 0 0 23 0 4 0 514717213 541057024 37535 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 528376

[startup+6.30697 s]
/proc/loadavg: 7.90 8.04 7.47 9/184 25125
/proc/meminfo: memFree=15248272/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=528376 CPUtime=25.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 56378 0 0 0 2485 22 0 0 25 0 4 0 514717212 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 132094 45224 385 106 0 127065 0
[pid=25121/tid=25122] ppid=25119 vsize=528376 CPUtime=6.24 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 16219 0 0 0 618 6 0 0 25 0 4 0 514717213 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=528376 CPUtime=6.26 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 14972 0 0 0 620 6 0 0 25 0 4 0 514717213 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=528376 CPUtime=6.28 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 9034 0 0 0 624 4 0 0 25 0 4 0 514717213 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 528376

[startup+12.7008 s]
/proc/loadavg: 7.91 8.04 7.47 9/184 25125
/proc/meminfo: memFree=15250748/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=485080 CPUtime=50.61 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 81521 0 0 0 5035 26 0 0 25 0 4 0 514717212 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 121270 43863 387 106 0 116241 0
[pid=25121/tid=25122] ppid=25119 vsize=485080 CPUtime=12.6 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 21518 0 0 0 1253 7 0 0 25 0 4 0 514717213 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=485080 CPUtime=12.65 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 20488 0 0 0 1258 7 0 0 25 0 4 0 514717213 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=485080 CPUtime=12.67 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 18014 0 0 0 1262 5 0 0 25 0 4 0 514717213 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 485080

[startup+25.5006 s]
/proc/loadavg: 7.93 8.04 7.48 9/184 25125
/proc/meminfo: memFree=15021712/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=722860 CPUtime=101.73 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 181436 0 0 0 10123 50 0 0 25 0 4 0 514717212 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 180715 109040 390 106 0 175686 0
[pid=25121/tid=25122] ppid=25119 vsize=722860 CPUtime=25.33 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 56594 0 0 0 2517 16 0 0 25 0 4 0 514717213 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=722860 CPUtime=25.45 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 36356 0 0 0 2535 10 0 0 21 0 4 0 514717213 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=722860 CPUtime=25.46 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 38643 0 0 0 2537 9 0 0 25 0 4 0 514717213 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 722860

[startup+51.101 s]
/proc/loadavg: 7.95 8.04 7.49 9/184 25126
/proc/meminfo: memFree=14875364/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=967052 CPUtime=203.99 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 261799 0 0 0 20331 68 0 0 25 0 4 0 514717212 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4325081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 241763 135234 390 106 0 236734 0
[pid=25121/tid=25122] ppid=25119 vsize=967052 CPUtime=50.79 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 72450 0 0 0 5058 21 0 0 25 0 4 0 514717213 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=967052 CPUtime=51.04 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 60874 0 0 0 5089 15 0 0 25 0 4 0 514717213 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=967052 CPUtime=51.05 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 59387 0 0 0 5093 12 0 0 25 0 4 0 514717213 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 967052

[startup+102.301 s]
/proc/loadavg: 8.02 8.04 7.52 9/184 25127
/proc/meminfo: memFree=14733976/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1061076 CPUtime=408.51 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 402747 0 0 0 40744 107 0 0 25 0 4 0 514717212 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 265269 176390 390 106 0 260240 0
[pid=25121/tid=25122] ppid=25119 vsize=1061076 CPUtime=101.71 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 99511 0 0 0 10142 29 0 0 25 0 4 0 514717213 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1061076 CPUtime=102.24 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 93482 0 0 0 10200 24 0 0 25 0 4 0 514717213 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1061076 CPUtime=102.25 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 97968 0 0 0 10203 22 0 0 25 0 4 0 514717213 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4321656 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.51
Current children cumulated vsize (KiB) 1061076

[startup+162.301 s]

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

[pid=25121] ppid=25119 vsize=1537592 CPUtime=2804.4 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1437161 0 0 0 280015 425 0 0 25 0 4 0 514717212 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 384398 307616 390 106 0 379369 0
[pid=25121/tid=25122] ppid=25119 vsize=1537592 CPUtime=698.55 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 359551 0 0 0 69749 106 0 0 25 0 4 0 514717213 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1537592 CPUtime=702 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 361663 0 0 0 70088 112 0 0 25 0 4 0 514717213 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1537592 CPUtime=702.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 372965 0 0 0 70113 107 0 0 25 0 4 0 514717213 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.4
Current children cumulated vsize (KiB) 1537592

[startup+762.301 s]
/proc/loadavg: 8.21 8.13 7.82 9/184 25188
/proc/meminfo: memFree=14222008/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1475616 CPUtime=3044.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1536449 0 0 0 303952 455 0 0 25 0 4 0 514717212 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 368904 307291 390 106 0 363875 0
[pid=25121/tid=25122] ppid=25119 vsize=1475616 CPUtime=758.23 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 381476 0 0 0 75710 113 0 0 25 0 4 0 514717213 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1475616 CPUtime=761.99 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 389714 0 0 0 76079 120 0 0 25 0 4 0 514717213 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1475616 CPUtime=762.21 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 398300 0 0 0 76106 115 0 0 25 0 4 0 514717213 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.07
Current children cumulated vsize (KiB) 1475616

[startup+822.3 s]
/proc/loadavg: 8.14 8.12 7.83 9/184 25190
/proc/meminfo: memFree=14083856/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1611536 CPUtime=3283.74 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1633631 0 0 0 327885 489 0 0 25 0 4 0 514717212 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 402884 332498 390 106 0 397855 0
[pid=25121/tid=25122] ppid=25119 vsize=1611536 CPUtime=817.91 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 401491 0 0 0 81672 119 0 0 25 0 4 0 514717213 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1611536 CPUtime=821.99 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 417096 0 0 0 82068 131 0 0 25 0 4 0 514717213 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1611536 CPUtime=822.21 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 422221 0 0 0 82097 124 0 0 25 0 4 0 514717213 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.74
Current children cumulated vsize (KiB) 1611536

[startup+882.301 s]
/proc/loadavg: 8.12 8.11 7.84 9/184 25191
/proc/meminfo: memFree=14071444/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1648152 CPUtime=3523.4 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1737340 0 0 0 351819 521 0 0 25 0 4 0 514717212 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 412038 331865 390 106 0 407009 0
[pid=25121/tid=25122] ppid=25119 vsize=1648152 CPUtime=877.59 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 428755 0 0 0 87631 128 0 0 25 0 4 0 514717213 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332271 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1648152 CPUtime=881.98 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 442814 0 0 0 88060 138 0 0 25 0 4 0 514717213 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1648152 CPUtime=882.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 449299 0 0 0 88089 131 0 0 25 0 4 0 514717213 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.4
Current children cumulated vsize (KiB) 1648152

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 7.85 9/184 25193
/proc/meminfo: memFree=14128104/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1411880 CPUtime=3763.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1833381 0 0 0 375755 552 0 0 25 0 4 0 514717212 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 352970 303640 390 106 0 347941 0
[pid=25121/tid=25122] ppid=25119 vsize=1411880 CPUtime=937.27 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 455296 0 0 0 93591 136 0 0 25 0 4 0 514717213 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1411880 CPUtime=941.97 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 466378 0 0 0 94051 146 0 0 25 0 4 0 514717213 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1411880 CPUtime=942.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 472060 0 0 0 94081 139 0 0 25 0 4 0 514717213 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.07
Current children cumulated vsize (KiB) 1411880

[startup+1002.3 s]
/proc/loadavg: 8.04 8.08 7.86 9/184 25194
/proc/meminfo: memFree=14028888/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1599608 CPUtime=4002.73 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1924486 0 0 0 399691 582 0 0 25 0 4 0 514717212 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 399902 323348 390 106 0 394873 0
[pid=25121/tid=25122] ppid=25119 vsize=1599608 CPUtime=996.96 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 478829 0 0 0 99553 143 0 0 25 0 4 0 514717213 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1599608 CPUtime=1001.96 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 493243 0 0 0 100041 155 0 0 25 0 4 0 514717213 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1599608 CPUtime=1002.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 491602 0 0 0 100073 147 0 0 25 0 4 0 514717213 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.73
Current children cumulated vsize (KiB) 1599608

[startup+1062.31 s]
/proc/loadavg: 8.01 8.07 7.86 9/184 25196
/proc/meminfo: memFree=13998492/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1459144 CPUtime=4242.41 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2022580 0 0 0 423629 612 0 0 25 0 4 0 514717212 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 364786 318811 395 106 0 359757 0
[pid=25121/tid=25122] ppid=25119 vsize=1459144 CPUtime=1056.64 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 502331 0 0 0 105512 152 0 0 25 0 4 0 514717213 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1459144 CPUtime=1061.96 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 514452 0 0 0 106034 162 0 0 25 0 4 0 514717213 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4415761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1459144 CPUtime=1062.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 517834 0 0 0 106066 154 0 0 25 0 4 0 514717213 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.41
Current children cumulated vsize (KiB) 1459144

[startup+1122.3 s]
/proc/loadavg: 8.00 8.05 7.87 9/184 25198
/proc/meminfo: memFree=13868660/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1602108 CPUtime=4482.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2132687 0 0 0 447560 647 0 0 25 0 4 0 514717212 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 400527 350035 390 106 0 395498 0
[pid=25121/tid=25122] ppid=25119 vsize=1602108 CPUtime=1116.31 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 522172 0 0 0 111473 158 0 0 25 0 4 0 514717213 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1602108 CPUtime=1121.94 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 562257 0 0 0 112020 174 0 0 25 0 4 0 514717213 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1602108 CPUtime=1122.19 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 539144 0 0 0 112056 163 0 0 25 0 4 0 514717213 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.07
Current children cumulated vsize (KiB) 1602108

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 7.89 9/184 25199
/proc/meminfo: memFree=13844964/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1668728 CPUtime=4721.73 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2224897 0 0 0 471492 681 0 0 25 0 4 0 514717212 1708777472 354728 33554432000 4194304 4627427 140735600953312 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 417182 354728 390 106 0 412153 0
[pid=25121/tid=25122] ppid=25119 vsize=1668728 CPUtime=1175.99 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 546177 0 0 0 117432 167 0 0 25 0 4 0 514717213 1708777472 354729 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1668728 CPUtime=1181.93 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 583791 0 0 0 118010 183 0 0 25 0 4 0 514717213 1708777472 354729 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1668728 CPUtime=1182.18 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 559291 0 0 0 118049 169 0 0 25 0 4 0 514717213 1708777472 354729 33554432000 4194304 4627427 140735600953312 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.73
Current children cumulated vsize (KiB) 1668728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.07 8.06 7.89 9/184 25200
/proc/meminfo: memFree=13795232/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1684528 CPUtime=4800.06 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2258635 0 0 0 479313 693 0 0 25 0 4 0 514717212 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 421132 361163 390 106 0 416103 0
[pid=25121/tid=25122] ppid=25119 vsize=1684528 CPUtime=1195.51 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 555612 0 0 0 119381 170 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1684528 CPUtime=1201.54 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 591081 0 0 0 119968 186 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1684528 CPUtime=1201.79 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 568696 0 0 0 120006 173 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1684528

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

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

[startup+1201.9 s]
/proc/loadavg: 8.07 8.06 7.89 9/184 25200
/proc/meminfo: memFree=13795232/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1684528 CPUtime=4800.06 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2258635 0 0 0 479313 693 0 0 25 0 4 0 514717212 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 421132 361163 390 106 0 416103 0
[pid=25121/tid=25122] ppid=25119 vsize=1684528 CPUtime=1195.51 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 555612 0 0 0 119381 170 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1684528 CPUtime=1201.54 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 591081 0 0 0 119968 186 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1684528 CPUtime=1201.79 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 568696 0 0 0 120006 173 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1684528

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.98
CPU time (s): 4800.16
CPU user time (s): 4793.16
CPU system time (s): 7.00194
CPU usage (%): 399.354
Max. virtual memory (cumulated for all children) (KiB): 1745260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.16
system time used= 7.00193
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2258643
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= 12430
involuntary context switches= 35168

runsolver used 2.02569 second user time and 4.34534 second system time

The end

Launcher Data

Begin job on node122 at 2011-04-29 00:53:04
IDJOB=3173780
IDBENCH=82598
IDSOLVER=1586
FILE ID=node122/3173780-1304031184
RUNJOBID= node122-1304028687-24878
PBS_JOBID= 13170330
Free space on /tmp= 71656 MiB

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

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

MD5SUM BENCH= e97fda1e892cdb27859435984e5a4127
RANDOM SEED=434695639

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15444132 kB
Buffers:       1730512 kB
Cached:       14488316 kB
SwapCached:          0 kB
Active:        5940788 kB
Inactive:     11001720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15444132 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8232 kB
Writeback:           0 kB
AnonPages:      722812 kB
Mapped:          15588 kB
Slab:           500996 kB
PageTables:       6136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1071908 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= 71652 MiB
End job on node122 at 2011-04-29 01:13:08