Trace number 3366189

Some explanations

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

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

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

Solver answer on this benchmark

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

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.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-3366189-1305398309.cnf'
0.00/0.01	c -- header says num vars:          30000
0.00/0.01	c -- header says num clauses:      126000
0.00/0.26	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.00/0.26	c -- vars added      30000
0.00/0.26	c Parsing time:  0.08 s
0.00/0.26	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.00/0.26	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
0.00/0.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
1.03/0.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.03/0.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.03/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.03/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.03/0.39	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.51/1.21	c lits-rem:         0  cl-subs:        0  v-elim:    699  v-fix:    0  time:  0.20 s
1.51/1.21	c Finding binary XORs  T:     0.01 s  found:       0
1.51/1.21	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.51/1.21	c calculated reachability. Time: 0.00
1.51/1.21	c Calc default polars -  time:   0.01 s pos:   13431 undec:    3330 neg:   13239
1.51/1.21	c =========================================================================================
1.51/1.21	c types(t): F = full restart, N = normal restart
1.51/1.21	c types(t): S = simplification begin/end, E = solution found
1.51/1.21	c restart types(rt): st = static, dy = dynamic
1.51/1.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.51/1.21	c  B st     0         0     29301    125264         0         0    380164         0   no data   no data
9.13/2.30	c  N dy    22      4063     29301    125264         0      4062    380164   1074002    146.22    154.29
15.51/3.99	c  N dy    52      8125     29301    125264         0      8124    380164   2081066    157.56    168.55
22.68/5.75	c  N dy    78     12217     29301    125264         0     12215    380164   3113428    158.48    186.63
29.89/7.53	c  N dy   105     16299     29301    125264         0     16297    380164   4141292    159.05    175.61
37.04/9.34	c  N dy   130     20318     29301    125264         0     10320    380164    720751    158.88    245.45
43.81/11.05	c  N dy   156     24322     29301    125264         0     14324    380164   1652792    157.32    167.97
45.02/11.34	c  F st   161     25000     29301    125264         0     15002    380164   1816956    157.28   no data
54.19/13.67	c  N dy   167     30005     29301    125264         0     20007    380164   3483557    157.28   no data
54.19/13.67	c  S st   167     30005     29301    125264         0     20007    380164   3483557    157.28   no data
55.40/13.90	c  S st   167     30506     29301    125264         0     20508    380164   3585852    157.28   no data
55.40/13.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.40/13.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
55.80/14.04	c blocked clauses removed:      643 vars:    107 tried:       29301 T: 0.02 s
55.80/14.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.80/14.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.80/14.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29194 time:  0.01 s
55.80/14.08	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.63/14.22	c lits-rem:         0  cl-subs:        0  v-elim:     25  v-fix:    0  time:  0.13 s
57.78/14.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
61.37/15.45	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time:  0.85 s
61.77/15.59	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.15
62.17/15.60	c calculated reachability. Time: 0.00
62.17/15.60	c  N dy   167     30506     29169    124599         0     20094    378334   3316768    157.28   no data
69.36/17.47	c  N dy   191     34526     29169    124599         0     24113    378334   4289701    157.13    166.41
76.91/19.39	c  N dy   221     38548     29169    124599         0     28135    378334   5273685    157.42    165.95
84.88/21.33	c  N dy   249     42629     29169    124599         0     16920    378334   1135960    157.09    170.48
90.47/22.76	c  S st   273     45759     29169    124599         0     20050    378334   1891249    157.19   no data
91.29/23.00	c  S st   273     46261     29169    124599         0     20552    378334   1969973    157.19   no data
91.71/23.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
91.71/23.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
92.06/23.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.06/23.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
92.06/23.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.06/23.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
92.06/23.16	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
92.46/23.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
93.26/23.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
94.06/23.70	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
94.46/23.71	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
94.46/23.75	c vivif2 --  cl tried    20552 cl shrink        0 lits rem          0 time: 0.03
95.26/23.90	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.15
95.26/23.91	c calculated reachability. Time: 0.00
95.26/23.91	c  N dy   273     46261     29169    124599         0     20552    378334   1969970    157.19   no data
102.44/25.75	c  N dy   297     50319     29169    124599         0     24610    378334   2929810    156.99    201.79
110.01/27.67	c  N dy   324     54474     29169    124599         0     28764    378334   3902378    156.75    168.15
117.62/29.61	c  N dy   351     58576     29169    124599         0     32866    378334   4875912    156.54    165.80
125.57/31.52	c  N dy   375     62639     29169    124599         0     36929    378334   5829676    156.26    185.26
133.48/33.57	c  N dy   405     66739     29169    124599         0     22385    378334   1620210    156.33    164.98
138.60/34.88	c  S st   423     69391     29169    124599         0     25037    378334   2246350    156.22    126.26
139.83/35.13	c  S st   423     69893     29169    124599         0     25539    378334   2331559    156.22   no data
139.83/35.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
140.18/35.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
140.18/35.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.18/35.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
140.18/35.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
140.18/35.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
140.58/35.30	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
140.97/35.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
141.37/35.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
142.96/35.98	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.40 s
143.35/36.00	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
143.35/36.04	c vivif2 --  cl tried    25537 cl shrink        0 lits rem          0 time: 0.04
144.20/36.22	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.16
144.20/36.22	c calculated reachability. Time: 0.00
144.20/36.22	c  N dy   423     69893     29169    124599         0     25537    378334   2331392    156.22   no data
152.48/38.37	c  N dy   459     74389     29169    124599         0     30033    378334   3460660    156.66    175.70
161.92/40.70	c  N dy   493     79191     29169    124599         0     34835    378334   4617064    156.44    166.10
171.77/43.28	c  N dy   528     84414     29169    124599         0     40058    378334   5900261    156.60    175.59
178.08/44.80	c  F st   547     87501     29169    124599         0     22321    378334   1049284    156.51   no data
183.98/46.37	c  N st   552     90801     29169    124599         0     25621    378334   2044126    156.51   no data
195.83/49.33	c  N dy   583     96791     29169    124599         0     31611    378334   3790664    156.80    165.62
208.51/52.52	c  N dy   628    103274     29169    124599         0     38093    378334   5415821    156.92    175.95
211.70/53.31	c  S st   639    104839     29169    124599         0     39658    378334   5779113    156.85   no data
212.49/53.57	c  S st   639    105343     29169    124599         0     40162    378334   5867256    156.85   no data
212.49/53.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
212.90/53.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
213.32/53.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
213.32/53.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
213.32/53.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
213.32/53.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
213.32/53.77	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
214.09/53.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
215.29/54.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
222.51/56.05	c lits-rem:         6  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.71 s
222.51/56.07	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
222.86/56.17	c vivif2 --  cl tried    40155 cl shrink        0 lits rem          0 time: 0.10
223.66/56.36	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.18
223.66/56.36	c calculated reachability. Time: 0.00
223.66/56.36	c  N dy   639    105343     29169    124599         0     40155    378334   5864229    156.85   no data
237.61/59.81	c  N dy   686    112093     29169    124599         0     24491    378334   1153362    156.86    165.17
251.57/63.30	c  N dy   739    119284     29169    124599         0     31682    378334   2915916    156.84    166.74
266.73/67.15	c  N dy   793    126987     29169    124599         0     39385    378334   4849485    157.12    165.63
283.51/71.37	c  N dy   850    135193     29169    124599         0     23886    378334    655603    157.21    165.85
299.83/75.43	c  N dy   902    143904     29169    124599         0     32597    378334   2735867    157.06    171.47
318.18/80.02	c  N dy   962    153189     29169    124599         0     41882    378334   5030492    157.05    169.77
328.14/82.50	c  S st   995    158014     29169    124599         0     46707    378334   6181515    157.10   no data
328.94/82.75	c  S st   995    158519     29169    124599         0     47212    378334   6266993    157.10   no data
328.94/82.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
329.34/82.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
329.74/82.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
329.74/82.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
329.74/82.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
329.74/82.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
329.74/82.95	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
330.54/83.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
331.76/83.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
341.31/85.85	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.29 s
341.31/85.86	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
341.70/85.97	c vivif2 --  cl tried    47204 cl shrink        0 lits rem          0 time: 0.11
342.50/86.17	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
342.50/86.18	c calculated reachability. Time: 0.00
342.50/86.18	c  N dy   995    158519     29169    124599         0     47204    378334   6264125    157.10   no data
362.90/91.21	c  N dy  1061    168728     29169    124599         0     32564    378334   2403730    156.98    167.88
384.41/96.62	c  N dy  1139    179553     29169    124599         0     43389    378334   5054283    157.06    170.10
407.51/102.41	c  N dy  1213    191052     29169    124599         0     28960    378334   1277045    156.99    170.51
431.44/108.43	c  N dy  1300    203309     29169    124599         0     41215    378334   4240838    157.03    173.91
458.17/115.19	c  N dy  1389    216379     29169    124599         0     27319    378334    614319    157.00    187.55
484.89/121.90	c  N dy  1475    230256     29169    124599         0     41194    378334   3985475    156.81    169.83
500.44/125.76	c  S st  1527    237779     29169    124599         0     48717    378334   5823815    156.77    143.89
501.64/126.02	c  S st  1527    238282     29169    124599         0     49220    378334   5911217    156.77   no data
501.64/126.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
502.04/126.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
502.04/126.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
502.04/126.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
502.44/126.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
502.44/126.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
502.44/126.22	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
502.86/126.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
504.43/126.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
513.61/129.07	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.30 s
513.61/129.09	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
514.01/129.19	c vivif2 --  cl tried    49214 cl shrink        0 lits rem          0 time: 0.10
514.81/129.39	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
515.21/129.40	c calculated reachability. Time: 0.00
515.21/129.40	c  N dy  1527    238282     29169    124599         0     49214    378334   5907092    156.77   no data
546.74/137.35	c  N dy  1635    253690     29169    124599         0     36641    378334   2642839    156.93    165.83
579.82/145.68	c  N dy  1739    269925     29169    124599         0     52876    378334   6610228    156.96    168.54
615.71/154.65	c  N dy  1860    287331     29169    124599         0     41294    378334   3571862    157.11    165.92
654.00/164.24	c  N dy  1974    305718     29169    124599         0     59678    378334   7966889    156.98    168.72
655.20/164.55	c  F st  1977    306251     29169    124599         0     30222    378334    551511    156.97    156.93
694.28/174.30	c  N dy  2082    325322     29169    124599         0     49293    378334   5635340    157.02    166.06
736.17/184.82	c  N dy  2221    345401     29169    124599         0     38375    378334   2308212    157.12    177.81
760.50/190.98	c  S st  2297    357423     29169    124599         0     50396    378334   5253057    157.13   no data
761.72/191.26	c  S st  2297    357926     29169    124599         0     50899    378334   5333228    157.13   no data
761.72/191.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
762.14/191.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
762.49/191.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
762.49/191.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
762.49/191.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
762.49/191.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
762.49/191.46	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
763.30/191.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
764.50/191.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
773.27/194.10	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.15 s
773.27/194.12	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
773.67/194.21	c vivif2 --  cl tried    50898 cl shrink        0 lits rem          0 time: 0.09
774.46/194.42	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
774.46/194.43	c calculated reachability. Time: 0.00
774.46/194.43	c  N dy  2297    357926     29169    124599         0     50898    378334   5332939    157.13   no data
817.14/205.18	c  N dy  2434    378011     29169    124599         0     38984    378334   2238484    157.18    247.87
859.41/215.71	c  N dy  2573    398059     29169    124599         0     59030    378334   7100378    157.21    167.00
901.30/226.27	c  N dy  2710    418130     29169    124599         0     46103    378334   3727470    157.39    180.71
945.17/237.20	c  N dy  2856    438234     29169    124599         0     66206    378334   8644121    157.48    166.78
986.65/247.61	c  N dy  2993    458274     29169    124599         0     52245    378334   5031687    157.61    167.81
1030.52/258.60	c  N dy  3126    478370     29169    124599         0     37342    378334   1052170    157.62    169.39
1072.01/269.09	c  N dy  3268    498388     29169    124599         0     57359    378334   6035773    157.72    179.07
1115.89/280.04	c  N dy  3405    518410     29169    124599         0     41382    378334   1793750    157.74    167.80
1154.97/289.80	c  S st  3531    536890     29169    124599         0     59861    378334   6258257    157.74   no data
1155.77/290.08	c  S st  3531    537394     29169    124599         0     60365    378334   6358310    157.74   no data
1156.17/290.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1156.58/290.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1156.58/290.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1156.58/290.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1156.58/290.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1156.58/290.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
1157.01/290.31	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1157.35/290.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1158.95/290.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1171.32/293.93	c lits-rem:        12  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.05 s
1171.32/293.95	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
1171.72/294.06	c vivif2 --  cl tried    60361 cl shrink        0 lits rem          0 time: 0.11
1172.52/294.28	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.22
1172.52/294.29	c calculated reachability. Time: 0.00
1172.52/294.29	c  N dy  3531    537394     29169    124599         0     60361    378334   6355434    157.74   no data
1216.79/305.33	c  N dy  3669    557412     29169    124599         0     43383    378334   2035798    157.73    172.18
1259.46/316.08	c  N dy  3803    577453     29169    124599         0     63423    378334   6909612    157.76    181.68
1304.15/327.24	c  N dy  3944    597558     29169    124599         0     45532    378334   2364347    157.84    167.67
1347.22/338.03	c  N dy  4077    617616     29169    124599         0     65586    378334   7191610    157.82    167.31
1392.29/349.39	c  N dy  4217    637777     29169    124599         0     46756    378334   2418538    157.91    167.57
1436.18/360.30	c  N dy  4351    657832     29169    124599         0     66811    378334   7268159    157.87    174.52
1482.44/371.92	c  N dy  4495    677877     29169    124599         0     46853    378334   2135202    157.95    166.95
1525.91/382.87	c  N dy  4637    698038     29169    124599         0     67012    378334   7015814    157.96    166.43
1572.18/394.46	c  N dy  4782    718310     29169    124599         0     46287    378334   1791334    158.08    173.08
1615.66/405.38	c  N dy  4918    738431     29169    124599         0     66407    378334   6822414    158.14    166.87
1661.93/416.92	c  N dy  5045    758553     29169    124599         0     44530    378334   1092981    158.06    168.71
1705.03/427.77	c  N dy  5187    778634     29169    124599         0     64605    378334   6086428    158.14    172.82
1752.07/439.52	c  N dy  5325    798718     29169    124599         0     84686    378334  11053382    158.17    179.39
1768.03/443.58	c  S st  5376    806092     29169    124599         0     49063    378334   1977749    158.18   no data
1769.23/443.85	c  S st  5376    806594     29169    124599         0     49565    378334   2063802    158.18   no data
1769.23/443.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1769.63/443.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1770.03/444.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1770.03/444.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1770.03/444.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1770.03/444.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
1770.03/444.04	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1770.42/444.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1770.84/444.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1774.02/445.03	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.71 s
1774.02/445.05	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
1774.02/445.09	c vivif2 --  cl tried    49565 cl shrink        0 lits rem          0 time: 0.04
1774.82/445.29	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.20
1775.23/445.31	c calculated reachability. Time: 0.00
1775.23/445.31	c  N dy  5376    806594     29169    124599         0     49565    378334   2063801    158.18   no data
1820.27/456.65	c  N dy  5515    826996     29169    124599         0     69967    378334   7100703    158.21    169.22
1867.78/468.51	c  N dy  5656    847097     29169    124599         0     46064    378334   1013163    158.24    174.75
1911.24/479.47	c  N dy  5797    867234     29169    124599         0     66201    378334   5947881    158.26    169.69
1958.28/491.26	c  N dy  5932    887339     29169    124599         0     86305    378334  10857677    158.31    169.16
2003.38/502.52	c  N dy  6071    907357     29169    124599         0     61327    378334   4499480    158.31    169.64
2049.22/514.09	c  N dy  6204    927359     29169    124599         0     81328    378334   9433687    158.35    168.02
2095.93/525.73	c  N dy  6340    947376     29169    124599         0     55342    378334   2810504    158.35    167.02
2140.96/537.06	c  N dy  6482    967394     29169    124599         0     75359    378334   7713868    158.38    216.13
2190.02/549.35	c  N dy  6625    987601     29169    124599         0     48566    378334    890010    158.39    169.77
2234.68/560.52	c  N dy  6766   1007667     29169    124599         0     68628    378334   5946343    158.48    168.48
2281.75/572.38	c  N dy  6898   1027731     29169    124599         0     88691    378334  10851648    158.46    173.95
2328.04/583.95	c  N dy  7030   1047861     29169    124599         0     60828    378334   3690181    158.47    170.20
2373.88/595.45	c  N dy  7166   1067943     29169    124599         0     80908    378334   8686983    158.51    169.42
2383.46/597.82	c  F st  7192   1071876     29169    124599         0     84841    378334   9674039    158.52   no data
2422.55/607.63	c  N dy  7274   1088064     29169    124599         0     52035    378334   1260836    158.54    168.83
2467.21/618.86	c  N dy  7412   1108121     29169    124599         0     72092    378334   6198565    158.56    185.44
2515.09/630.81	c  N dy  7539   1128154     29169    124599         0     92124    378334  11126073    158.54    171.47
2562.94/642.83	c  N dy  7686   1148307     29169    124599         0     62287    378334   3641434    158.62    171.93
2609.25/654.46	c  N dy  7825   1168375     29169    124599         0     82353    378334   8636486    158.67    169.93
2660.67/667.39	c  N dy  7968   1188515     29169    124599         0     51487    378334    637158    158.68    186.01
2705.35/678.54	c  N dy  8099   1208620     29169    124599         0     71591    378334   5525505    158.67    173.91
2708.12/679.28	c  S st  8110   1209893     29169    124599         0     72864    378334   5845024    158.68   no data
2709.74/679.61	c  S st  8110   1210396     29169    124599         0     73367    378334   5941942    158.68   no data
2709.74/679.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2710.16/679.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
2710.16/679.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2710.51/679.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2710.51/679.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2710.51/679.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
2710.51/679.84	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2711.31/680.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2712.51/680.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2725.68/683.63	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.23 s
2725.68/683.65	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
2726.08/683.76	c vivif2 --  cl tried    73364 cl shrink        0 lits rem          0 time: 0.11
2727.29/684.01	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.24
2727.29/684.02	c calculated reachability. Time: 0.00
2727.29/684.02	c  N dy  8110   1210396     29169    124599         0     73364    378334   5940859    158.68   no data
2775.54/696.17	c  N dy  8243   1230473     29169    124599         0     93438    378334  10907278    158.68    170.02
2824.22/708.35	c  N dy  8379   1250730     29169    124599         0     61699    378334   2913114    158.68    169.53
2870.04/719.85	c  N dy  8513   1270783     29169    124599         0     81749    378334   7846367    158.65    168.65
2919.51/732.27	c  N dy  8650   1290855     29169    124599         0    101821    378334  12772847    158.66    167.48
2966.56/744.00	c  N dy  8790   1310983     29169    124599         0     68951    378334   4492409    158.70    178.56
3014.83/756.10	c  N dy  8933   1331080     29169    124599         0     89044    378334   9510876    158.74    167.62
3065.88/768.99	c  N dy  9067   1351138     29169    124599         0     55105    378334    824837    158.75    174.41
3110.96/780.25	c  N dy  9200   1371179     29169    124599         0     75144    378334   5740487    158.74    168.54
3160.01/792.51	c  N dy  9337   1391398     29169    124599         0     95362    378334  10760400    158.76    169.72
3210.31/805.13	c  N dy  9474   1411423     29169    124599         0     60385    378334   1858988    158.77    167.67
3256.13/816.62	c  N dy  9612   1431529     29169    124599         0     80490    378334   6662698    158.74    168.31
3305.99/829.10	c  N dy  9752   1451627     29169    124599         0    100586    378334  11686606    158.79    168.10
3355.44/841.57	c  N dy  9896   1471851     29169    124599         0     64819    378334   2722496    158.80    170.24
3402.51/853.34	c  N dy 10036   1491883     29169    124599         0     84851    378334   7668217    158.83    170.52
3452.75/865.97	c  N dy 10180   1511928     29169    124599         0    104894    378334  12611815    158.84    174.68
3501.80/878.23	c  N dy 10313   1532126     29169    124599         0     68089    378334   3200175    158.82    168.02
3549.26/890.15	c  N dy 10451   1552245     29169    124599         0     88207    378334   8259302    158.85    168.88
3600.76/903.08	c  N dy 10591   1572306     29169    124599         0    108267    378334  13176039    158.86    172.63
3649.37/915.21	c  N dy 10728   1592318     29169    124599         0     70284    378334   3537548    158.87    174.44
3696.85/927.19	c  N dy 10866   1612322     29169    124599         0     90286    378334   8551570    158.91    168.85
3749.09/940.26	c  N dy 11006   1632452     29169    124599         0    110411    378334  13548917    158.92    173.78
3798.19/952.54	c  N dy 11140   1652573     29169    124599         0     71541    378334   3603772    158.93    180.66
3846.03/964.55	c  N dy 11265   1672679     29169    124599         0     91647    378334   8528498    158.90    169.52
3897.86/977.53	c  N dy 11404   1692718     29169    124599         0    111684    378334  13462589    158.92    167.99
3941.74/988.56	c  S st 11522   1710396     29169    124599         0     69362    378334   2874876    158.92    146.08
3942.98/988.88	c  S st 11522   1710900     29169    124599         0     69866    378334   2981832    158.92   no data
3943.32/988.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3943.72/989.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
3943.72/989.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3943.72/989.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3943.72/989.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3943.72/989.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29169 time:  0.01 s
3943.72/989.09	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3944.53/989.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3945.33/989.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3952.90/991.34	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.89 s
3952.90/991.36	c vivif2 --  cl tried   124599 cl shrink        0 lits rem          0 time: 0.02
3953.30/991.42	c vivif2 --  cl tried    69865 cl shrink        0 lits rem          0 time: 0.06
3954.10/991.65	c asymm  cl-useful: 0/124599/124599 lits-rem:0 time: 0.23
3954.10/991.66	c calculated reachability. Time: 0.00
3954.10/991.66	c  N dy 11522   1710900     29169    124599         0     69865    378334   2981653    158.92   no data
4002.36/1003.71	c  N dy 11651   1731098     29169    124599         0     90061    378334   7910395    158.88    170.40
4053.40/1016.59	c  N dy 11781   1751341     29169    124599         0    110303    378334  12921626    158.87    169.20
4105.30/1029.57	c  N dy 11925   1771549     29169    124599         0     69519    378334   2738672    158.87    168.43
4153.15/1041.53	c  N dy 12060   1791626     29169    124599         0     89595    378334   7688656    158.88    170.73
4203.78/1054.28	c  N dy 12190   1811640     29169    124599         0    109609    378334  12533601    158.86    177.56
4257.22/1067.68	c  N dy 12322   1831673     29169    124599         0     67641    378334   1933582    158.86    174.58
4304.69/1079.58	c  N dy 12462   1851721     29169    124599         0     87687    378334   6915834    158.88    171.66
4355.73/1092.31	c  N dy 12597   1871762     29169    124599         0    107727    378334  11822828    158.88    171.02
4410.37/1106.01	c  N dy 12736   1891816     29169    124599         0     64782    378334   1022845    158.90    172.94
4457.43/1117.86	c  N dy 12877   1911866     29169    124599         0     84832    378334   5974962    158.92    167.36
4509.28/1130.83	c  N dy 13026   1932162     29169    124599         0    105124    378334  11114267    158.97    168.37
4563.53/1144.49	c  N dy 13165   1952252     29169    124599         0    125214    378334  16163331    158.99    176.40
4612.19/1156.62	c  N dy 13303   1972299     29169    124599         0     81269    378334   4833937    159.00    167.51
4662.07/1169.15	c  N dy 13434   1992378     29169    124599         0    101347    378334   9732842    158.98    167.84
4715.14/1182.43	c  N dy 13566   2012454     29169    124599         0    121422    378334  14583677    158.96    181.27
4766.94/1195.42	c  N dy 13710   2032540     29169    124599         0     76508    378334   3433298    158.98    195.54

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366189-1305398309/watcher-3366189-1305398309 -o /tmp/evaluation-result-3366189-1305398309/solver-3366189-1305398309 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366189-1305398309.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.49 7.88 6.49 8/354 7587
/proc/meminfo: memFree=17763812/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=182252 CPUtime=0.01 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1096 0 0 0 1 0 0 0 25 0 4 0 730061567 186626048 1024 33554432000 4194304 4580107 140735345097952 18446744073709551615 256415496686 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 45563 1048 317 95 0 40545 0
[pid=7587/tid=7588] ppid=7585 vsize=198916 CPUtime=0 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 1709 0 0 0 0 0 0 0 18 0 4 0 730061568 203689984 4862 33554432000 4194304 4580107 140735345097952 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=198916 CPUtime=0 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 1769 0 0 0 0 0 0 0 18 0 4 0 730061568 203689984 4892 33554432000 4194304 4580107 140735345097952 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=198916 CPUtime=0 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 1770 0 0 0 0 0 0 0 18 0 4 0 730061568 203689984 4916 33554432000 4194304 4580107 140735345097952 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0462021 s]
/proc/loadavg: 7.49 7.88 6.49 8/354 7587
/proc/meminfo: memFree=17763812/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=315696 CPUtime=1.03 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) D 7585 7587 7452 0 -1 4202496 21628 0 0 0 100 3 0 0 18 0 4 0 730061567 323272704 20026 33554432000 4194304 4580107 140735345097952 18446744073709551615 256415434935 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 78924 20238 363 95 0 73906 0
[pid=7587/tid=7588] ppid=7585 vsize=315696 CPUtime=0.25 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 5864 0 0 0 25 0 0 0 18 0 4 0 730061568 323272704 20825 33554432000 4194304 4580107 140735345097952 18446744073709551615 4401307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=315696 CPUtime=0.26 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 6074 0 0 0 26 0 0 0 18 0 4 0 730061568 323272704 21607 33554432000 4194304 4580107 140735345097952 18446744073709551615 4401307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=315696 CPUtime=0.27 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 5179 0 0 0 27 0 0 0 18 0 4 0 730061568 323272704 23251 33554432000 4194304 4580107 140735345097952 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 315696

[startup+0.391748 s]
/proc/loadavg: 7.49 7.88 6.49 8/354 7587
/proc/meminfo: memFree=17763812/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=328208 CPUtime=1.51 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) D 7585 7587 7452 0 -1 4202496 34641 0 0 0 145 6 0 0 18 0 4 0 730061567 336084992 31950 33554432000 4194304 4580107 140735345097952 18446744073709551615 256415434935 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 82052 31465 371 95 0 77034 0
[pid=7587/tid=7588] ppid=7585 vsize=331096 CPUtime=0.37 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 10776 0 0 0 36 1 0 0 18 0 4 0 730061568 339042304 32474 33554432000 4194304 4580107 140735345097952 18446744073709551615 256415449514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=331096 CPUtime=0.38 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) D 7585 7587 7452 0 -1 4202560 10532 0 0 0 36 2 0 0 18 0 4 0 730061568 339042304 32474 33554432000 4194304 4580107 140735345097952 18446744073709551615 4421446 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=331096 CPUtime=0.38 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 5291 0 0 0 37 1 0 0 18 0 4 0 730061568 339042304 32474 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 328208

[startup+1.22531 s]
/proc/loadavg: 7.49 7.88 6.49 8/354 7587
/proc/meminfo: memFree=17763812/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=325656 CPUtime=4.84 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 43530 0 0 0 475 9 0 0 19 0 4 0 730061567 333471744 32029 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 81414 32029 377 95 0 76396 0
[pid=7587/tid=7588] ppid=7585 vsize=325656 CPUtime=1.2 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 12614 0 0 0 118 2 0 0 18 0 4 0 730061568 333471744 32029 33554432000 4194304 4580107 140735345097952 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=325656 CPUtime=1.2 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 12536 0 0 0 118 2 0 0 19 0 4 0 730061568 333471744 32029 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=325656 CPUtime=1.21 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 5883 0 0 0 120 1 0 0 19 0 4 0 730061568 333471744 32029 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 325656

[startup+1.32529 s]
/proc/loadavg: 7.49 7.88 6.49 8/354 7587
/proc/meminfo: memFree=17763812/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=325656 CPUtime=5.24 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 43811 0 0 0 515 9 0 0 19 0 4 0 730061567 333471744 32310 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 81414 32310 377 95 0 76396 0
[pid=7587/tid=7588] ppid=7585 vsize=325656 CPUtime=1.3 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 12696 0 0 0 128 2 0 0 19 0 4 0 730061568 333471744 32310 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=325656 CPUtime=1.3 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 12606 0 0 0 128 2 0 0 19 0 4 0 730061568 333471744 32310 33554432000 4194304 4580107 140735345097952 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=325656 CPUtime=1.31 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 5935 0 0 0 130 1 0 0 19 0 4 0 730061568 333471744 32310 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 325656

[startup+1.52525 s]
/proc/loadavg: 7.49 7.88 6.49 8/354 7587
/proc/meminfo: memFree=17763812/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=325656 CPUtime=6.04 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 44463 0 0 0 595 9 0 0 19 0 4 0 730061567 333471744 32884 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293979 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 81414 32884 377 95 0 76396 0
[pid=7587/tid=7588] ppid=7585 vsize=325656 CPUtime=1.5 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 12885 0 0 0 148 2 0 0 19 0 4 0 730061568 333471744 32884 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=325656 CPUtime=1.5 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 12769 0 0 0 148 2 0 0 19 0 4 0 730061568 333471744 32884 33554432000 4194304 4580107 140735345097952 18446744073709551615 4321007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=325656 CPUtime=1.51 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 6044 0 0 0 150 1 0 0 20 0 4 0 730061568 333471744 32884 33554432000 4194304 4580107 140735345097952 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 325656

[startup+3.10096 s]
/proc/loadavg: 7.49 7.88 6.49 9/358 7591
/proc/meminfo: memFree=17549896/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=458504 CPUtime=12.34 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 48802 0 0 0 1223 11 0 0 23 0 4 0 730061567 469508096 37223 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 114626 37223 377 95 0 109608 0
[pid=7587/tid=7588] ppid=7585 vsize=458504 CPUtime=3.08 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 13926 0 0 0 306 2 0 0 23 0 4 0 730061568 469508096 37236 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=458504 CPUtime=3.09 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 13774 0 0 0 306 3 0 0 23 0 4 0 730061568 469508096 37236 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=458504 CPUtime=3.1 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 7379 0 0 0 309 1 0 0 25 0 4 0 730061568 469508096 37236 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 458504

[startup+6.30035 s]
/proc/loadavg: 7.61 7.90 6.50 9/358 7591
/proc/meminfo: memFree=17550640/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=459104 CPUtime=25.08 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 56800 0 0 0 2495 13 0 0 25 0 4 0 730061567 470122496 45221 33554432000 4194304 4580107 140735345097952 18446744073709551615 4321002 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 114776 45221 377 95 0 109758 0
[pid=7587/tid=7588] ppid=7585 vsize=459104 CPUtime=6.27 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 15911 0 0 0 624 3 0 0 25 0 4 0 730061568 470122496 45221 33554432000 4194304 4580107 140735345097952 18446744073709551615 4324233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=459104 CPUtime=6.27 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 15811 0 0 0 624 3 0 0 25 0 4 0 730061568 470122496 45222 33554432000 4194304 4580107 140735345097952 18446744073709551615 4341610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=459104 CPUtime=6.29 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 9329 0 0 0 627 2 0 0 25 0 4 0 730061568 470122496 45223 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 459104

[startup+12.7011 s]
/proc/loadavg: 7.64 7.90 6.51 9/358 7592
/proc/meminfo: memFree=17367380/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=415176 CPUtime=50.6 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 78455 0 0 0 5042 18 0 0 25 0 4 0 730061567 425140224 44191 33554432000 4194304 4580107 140735345097952 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 103794 44191 378 95 0 98776 0
[pid=7587/tid=7588] ppid=7585 vsize=415176 CPUtime=12.68 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 21315 0 0 0 1263 5 0 0 25 0 4 0 730061568 425140224 44191 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=415176 CPUtime=12.68 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 21265 0 0 0 1263 5 0 0 25 0 4 0 730061568 425140224 44191 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=415176 CPUtime=12.68 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 14788 0 0 0 1265 3 0 0 25 0 4 0 730061568 425140224 44191 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 415176

[startup+25.5007 s]
/proc/loadavg: 7.72 7.90 6.53 9/358 7594
/proc/meminfo: memFree=17027988/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=721700 CPUtime=101.63 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 177497 0 0 0 10119 44 0 0 25 0 4 0 730061567 739020800 109323 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 180425 109323 379 95 0 175407 0
[pid=7587/tid=7588] ppid=7585 vsize=721700 CPUtime=25.46 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 56614 0 0 0 2534 12 0 0 25 0 4 0 730061568 739020800 109323 33554432000 4194304 4580107 140735345097952 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=721700 CPUtime=25.47 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 37265 0 0 0 2537 10 0 0 25 0 4 0 730061568 739020800 109323 33554432000 4194304 4580107 140735345097952 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=721700 CPUtime=25.47 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 33749 0 0 0 2540 7 0 0 25 0 4 0 730061568 739020800 109323 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 721700

[startup+51.1009 s]
/proc/loadavg: 8.10 7.97 6.59 10/359 7596
/proc/meminfo: memFree=16705640/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=903308 CPUtime=202.92 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 253814 0 0 0 20225 67 0 0 25 0 4 0 730061567 924987392 140580 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 225827 140580 379 95 0 220809 0
[pid=7587/tid=7588] ppid=7585 vsize=903308 CPUtime=50.73 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 74170 0 0 0 5055 18 0 0 25 0 4 0 730061568 924987392 140580 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=903308 CPUtime=51.07 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 61919 0 0 0 5089 18 0 0 25 0 4 0 730061568 924987392 140580 33554432000 4194304 4580107 140735345097952 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=903308 CPUtime=50.75 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 48837 0 0 0 5063 12 0 0 25 0 4 0 730061568 924987392 140580 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.92
Current children cumulated vsize (KiB) 903308

[startup+102.301 s]
/proc/loadavg: 8.08 7.99 6.67 9/358 7597
/proc/meminfo: memFree=16502524/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=987736 CPUtime=407.11 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 376876 0 0 0 40609 102 0 0 25 0 4 0 730061567 1011441664 175907 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 246934 175907 379 95 0 241916 0
[pid=7587/tid=7588] ppid=7585 vsize=987736 CPUtime=101.94 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 101877 0 0 0 10166 28 0 0 25 0 4 0 730061568 1011441664 175907 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=987736 CPUtime=102.27 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 90551 0 0 0 10201 26 0 0 25 0 4 0 730061568 1011441664 175907 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=987736 CPUtime=101.93 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 72869 0 0 0 10176 17 0 0 25 0 4 0 730061568 1011441664 175907 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (KiB) 987736

[startup+162.301 s]

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

[pid=7587] ppid=7585 vsize=1653268 CPUtime=2800.25 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1425238 0 0 0 279581 444 0 0 25 0 4 0 730061567 1692946432 330921 33554432000 4194304 4580107 140735345097952 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 413317 330921 379 95 0 408299 0
[pid=7587/tid=7588] ppid=7585 vsize=1653268 CPUtime=701.94 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 387071 0 0 0 70078 116 0 0 25 0 4 0 730061568 1692946432 330921 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1653268 CPUtime=702.27 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 358967 0 0 0 70110 117 0 0 25 0 4 0 730061568 1692946432 330921 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1653268 CPUtime=701.81 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 326943 0 0 0 70079 102 0 0 25 0 4 0 730061568 1692946432 330921 33554432000 4194304 4580107 140735345097952 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.25
Current children cumulated vsize (KiB) 1653268

[startup+762.301 s]
/proc/loadavg: 8.19 8.13 7.40 9/358 7615
/proc/meminfo: memFree=15484060/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1559324 CPUtime=3039.56 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1523240 0 0 0 303478 478 0 0 25 0 4 0 730061567 1596747776 323415 33554432000 4194304 4580107 140735345097952 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 389831 323415 379 95 0 384813 0
[pid=7587/tid=7588] ppid=7585 vsize=1559324 CPUtime=761.93 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 411263 0 0 0 76069 124 0 0 25 0 4 0 730061568 1596747776 323415 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1559324 CPUtime=762.27 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 381045 0 0 0 76102 125 0 0 25 0 4 0 730061568 1596747776 323415 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1559324 CPUtime=761.79 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 351054 0 0 0 76068 111 0 0 25 0 4 0 730061568 1596747776 323415 33554432000 4194304 4580107 140735345097952 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.56
Current children cumulated vsize (KiB) 1559324

[startup+822.301 s]
/proc/loadavg: 8.20 8.13 7.45 9/358 7616
/proc/meminfo: memFree=15504876/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1575472 CPUtime=3278.86 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1617794 0 0 0 327373 513 0 0 25 0 4 0 730061567 1613283328 317365 33554432000 4194304 4580107 140735345097952 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 393868 317366 379 95 0 388850 0
[pid=7587/tid=7588] ppid=7585 vsize=1575472 CPUtime=821.93 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 434813 0 0 0 82059 134 0 0 25 0 4 0 730061568 1613283328 317367 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1575472 CPUtime=822.28 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 404893 0 0 0 82094 134 0 0 25 0 4 0 730061568 1613283328 317367 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1575472 CPUtime=821.77 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 374937 0 0 0 82058 119 0 0 25 0 4 0 730061568 1613283328 317367 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.86
Current children cumulated vsize (KiB) 1575472

[startup+882.3 s]
/proc/loadavg: 8.12 8.12 7.48 9/358 7618
/proc/meminfo: memFree=15277572/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1581868 CPUtime=3518.15 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1709979 0 0 0 351266 549 0 0 25 0 4 0 730061567 1619832832 312019 33554432000 4194304 4580107 140735345097952 18446744073709551615 4320936 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 395467 312019 379 95 0 390449 0
[pid=7587/tid=7588] ppid=7585 vsize=1581868 CPUtime=881.93 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 456776 0 0 0 88052 141 0 0 25 0 4 0 730061568 1619832832 312019 33554432000 4194304 4580107 140735345097952 18446744073709551615 4295853 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1581868 CPUtime=882.26 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 432084 0 0 0 88081 145 0 0 25 0 4 0 730061568 1619832832 312019 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1581868 CPUtime=881.76 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 394976 0 0 0 88049 127 0 0 25 0 4 0 730061568 1619832832 312019 33554432000 4194304 4580107 140735345097952 18446744073709551615 4295903 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.15
Current children cumulated vsize (KiB) 1581868

[startup+942.301 s]
/proc/loadavg: 8.10 8.11 7.52 9/358 7619
/proc/meminfo: memFree=15198436/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1577728 CPUtime=3757.46 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1806069 0 0 0 375162 584 0 0 25 0 4 0 730061567 1615593472 339563 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 394432 339563 379 95 0 389414 0
[pid=7587/tid=7588] ppid=7585 vsize=1577728 CPUtime=941.93 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 484218 0 0 0 94042 151 0 0 25 0 4 0 730061568 1615593472 339563 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1577728 CPUtime=942.27 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 454027 0 0 0 94073 154 0 0 25 0 4 0 730061568 1615593472 339563 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1577728 CPUtime=941.75 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 416672 0 0 0 94040 135 0 0 25 0 4 0 730061568 1615593472 339563 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.46
Current children cumulated vsize (KiB) 1577728

[startup+1002.3 s]
/proc/loadavg: 8.04 8.09 7.55 9/358 7621
/proc/meminfo: memFree=15309144/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1518108 CPUtime=3996.77 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1892082 0 0 0 399062 615 0 0 25 0 4 0 730061567 1554542592 308754 33554432000 4194304 4580107 140735345097952 18446744073709551615 4317452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 379527 308754 379 95 0 374509 0
[pid=7587/tid=7588] ppid=7585 vsize=1518108 CPUtime=1001.92 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 507161 0 0 0 100034 158 0 0 25 0 4 0 730061568 1554542592 308755 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1518108 CPUtime=1002.27 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 477677 0 0 0 100065 162 0 0 25 0 4 0 730061568 1554542592 308755 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1518108 CPUtime=1001.74 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 434363 0 0 0 100031 143 0 0 25 0 4 0 730061568 1554542592 308755 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.77
Current children cumulated vsize (KiB) 1518108

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 7.58 9/358 7623
/proc/meminfo: memFree=15086912/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1711348 CPUtime=4236.09 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 1999034 0 0 0 422960 649 0 0 25 0 4 0 730061567 1752420352 362576 33554432000 4194304 4580107 140735345097952 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 427837 362576 379 95 0 422819 0
[pid=7587/tid=7588] ppid=7585 vsize=1711348 CPUtime=1061.92 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 529114 0 0 0 106027 165 0 0 25 0 4 0 730061568 1752420352 362576 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1711348 CPUtime=1062.26 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 516720 0 0 0 106054 172 0 0 25 0 4 0 730061568 1752420352 362576 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1711348 CPUtime=1061.73 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 455967 0 0 0 106021 152 0 0 25 0 4 0 730061568 1752420352 362576 33554432000 4194304 4580107 140735345097952 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.09
Current children cumulated vsize (KiB) 1711348

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 7.62 9/358 7624
/proc/meminfo: memFree=15093352/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1651536 CPUtime=4475.37 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 2088397 0 0 0 446858 679 0 0 25 0 4 0 730061567 1691172864 337370 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 412884 337370 379 95 0 407866 0
[pid=7587/tid=7588] ppid=7585 vsize=1651536 CPUtime=1121.92 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 549671 0 0 0 112020 172 0 0 25 0 4 0 730061568 1691172864 337370 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1651536 CPUtime=1122.26 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 543584 0 0 0 112045 181 0 0 25 0 4 0 730061568 1691172864 337370 33554432000 4194304 4580107 140735345097952 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1651536 CPUtime=1121.71 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 475270 0 0 0 112013 158 0 0 25 0 4 0 730061568 1691172864 337370 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.37
Current children cumulated vsize (KiB) 1651536

[startup+1182.3 s]
/proc/loadavg: 8.28 8.15 7.66 9/358 7626
/proc/meminfo: memFree=14901268/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1713764 CPUtime=4714.72 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 2174328 0 0 0 470763 709 0 0 25 0 4 0 730061567 1754894336 364725 33554432000 4194304 4580107 140735345097952 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 428441 364725 379 95 0 423423 0
[pid=7587/tid=7588] ppid=7585 vsize=1713764 CPUtime=1181.93 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 569222 0 0 0 118015 178 0 0 25 0 4 0 730061568 1754894336 364733 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1713764 CPUtime=1182.28 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 564700 0 0 0 118040 188 0 0 25 0 4 0 730061568 1754894336 364733 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1713764 CPUtime=1181.71 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 496329 0 0 0 118005 166 0 0 25 0 4 0 730061568 1754894336 364733 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.72
Current children cumulated vsize (KiB) 1713764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.26 8.15 7.67 5/353 7627
/proc/meminfo: memFree=16374420/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1779876 CPUtime=4800.06 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 2207587 0 0 0 479285 721 0 0 25 0 4 0 730061567 1822593024 356309 33554432000 4194304 4580107 140735345097952 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 444969 356309 379 95 0 439951 0
[pid=7587/tid=7588] ppid=7585 vsize=1779876 CPUtime=1203.33 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 577073 0 0 0 120152 181 0 0 25 0 4 0 730061568 1822593024 356317 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1779876 CPUtime=1203.68 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 574406 0 0 0 120176 192 0 0 25 0 4 0 730061568 1822593024 356317 33554432000 4194304 4580107 140735345097952 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1779876 CPUtime=1203.11 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 502187 0 0 0 120143 168 0 0 25 0 4 0 730061568 1822593024 356317 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1779876

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

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

[startup+1203.7 s]
/proc/loadavg: 8.26 8.15 7.67 5/353 7627
/proc/meminfo: memFree=16374420/32950928 swapFree=67111200/67111528
[pid=7587] ppid=7585 vsize=1779876 CPUtime=4800.06 cores=0,2,4,6
/proc/7587/stat : 7587 (strangenight2-m) R 7585 7587 7452 0 -1 4202496 2207587 0 0 0 479285 721 0 0 25 0 4 0 730061567 1822593024 356309 33554432000 4194304 4580107 140735345097952 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7587/statm: 444969 356309 379 95 0 439951 0
[pid=7587/tid=7588] ppid=7585 vsize=1779876 CPUtime=1203.33 cores=0,2,4,6
/proc/7587/task/7588/stat : 7588 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 577073 0 0 0 120152 181 0 0 25 0 4 0 730061568 1822593024 356317 33554432000 4194304 4580107 140735345097952 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7587/tid=7589] ppid=7585 vsize=1779876 CPUtime=1203.68 cores=0,2,4,6
/proc/7587/task/7589/stat : 7589 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 574406 0 0 0 120176 192 0 0 25 0 4 0 730061568 1822593024 356317 33554432000 4194304 4580107 140735345097952 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7587/tid=7590] ppid=7585 vsize=1779876 CPUtime=1203.11 cores=0,2,4,6
/proc/7587/task/7590/stat : 7590 (strangenight2-m) R 7585 7587 7452 0 -1 4202560 502187 0 0 0 120143 168 0 0 25 0 4 0 730061568 1822593024 356317 33554432000 4194304 4580107 140735345097952 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1779876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.78
CPU time (s): 4800.18
CPU user time (s): 4792.9
CPU system time (s): 7.27689
CPU usage (%): 398.757
Max. virtual memory (cumulated for all children) (KiB): 1779876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.9
system time used= 7.27689
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2207601
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= 2601
involuntary context switches= 21391

runsolver used 3.9144 second user time and 9.69453 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-14 20:38:29
IDJOB=3366189
IDBENCH=82598
IDSOLVER=1844
FILE ID=node115/3366189-1305398309
RUNJOBID= node115-1305397103-7470
PBS_JOBID= 13324450
Free space on /tmp= 73228 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366189-1305398309/watcher-3366189-1305398309 -o /tmp/evaluation-result-3366189-1305398309/solver-3366189-1305398309 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366189-1305398309.cnf

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

MD5SUM BENCH= e97fda1e892cdb27859435984e5a4127
RANDOM SEED=1320105657

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17764092 kB
Buffers:        284872 kB
Cached:        4517584 kB
SwapCached:          0 kB
Active:       11997128 kB
Inactive:      2873024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17764092 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:           14788 kB
Writeback:           0 kB
AnonPages:    10066784 kB
Mapped:          28016 kB
Slab:           211328 kB
PageTables:      40816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69766980 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= 73220 MiB
End job on node115 at 2011-05-14 20:58:35