Trace number 3173839

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.51 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf
MD5SUMbd4912a5ba3146c46ac3a58d7861d9a6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark37.8762
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-3173839-1304031564.cnf'
0.00/0.00	c -- header says num vars:          30000
0.00/0.00	c -- header says num clauses:      126000
1.13/0.34	c -- clauses added:            0 learnts,       126000 normals,            0 xors
1.13/0.34	c -- vars added      30000
1.13/0.34	c Parsing time:  0.09 s
1.13/0.34	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
1.13/0.34	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.11
1.13/0.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.06
1.13/0.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.13/0.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.13/0.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.13/0.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.13/0.41	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.13/1.22	c lits-rem:         0  cl-subs:        0  v-elim:    741  v-fix:    0  time:  0.21 s
1.13/1.22	c Finding binary XORs  T:     0.01 s  found:       0
1.13/1.22	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.13/1.22	c calculated reachability. Time: 0.00
1.13/1.22	c Calc default polars -  time:   0.01 s pos:   13402 undec:    3252 neg:   13346
1.13/1.22	c =========================================================================================
1.13/1.22	c types(t): F = full restart, N = normal restart
1.13/1.22	c types(t): S = simplification begin/end, E = solution found
1.13/1.22	c restart types(rt): st = static, dy = dynamic
1.13/1.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.13/1.22	c  B st     0         0     29259    125199         0         0    380094         0   no data   no data
9.15/2.32	c  N dy    22      4055     29259    125199         0      4054    380094   1095229    149.93    158.78
15.94/4.02	c  N dy    50      8159     29259    125199         0      8157    380094   2092863    155.25    164.47
22.33/5.68	c  N dy    76     12186     29259    125199         0     12184    380094   3042926    154.37    163.69
29.53/7.41	c  N dy   103     16247     29259    125199         0     16245    380094   4019404    154.93    169.10
36.31/9.18	c  N dy   131     20266     29259    125199         0     10265    380094    690846    154.99    164.09
43.10/10.89	c  N dy   157     24385     29259    125199         0     14383    380094   1646193    154.27    166.08
44.29/11.14	c  F st   161     25000     29259    125199         0     14998    380094   1788772    154.11    132.58
53.49/13.49	c  N dy   167     30000     29259    125199         0     19998    380094   3514133    154.11   no data
53.49/13.49	c  S st   167     30000     29259    125199         0     19998    380094   3514133    154.11   no data
54.69/13.70	c  S st   167     30501     29259    125199         0     20499    380094   3593880    154.11   no data
54.69/13.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.09/13.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
55.49/13.91	c blocked clauses removed:      631 vars:    110 tried:       29259 T: 0.02 s
55.49/13.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
55.49/13.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
55.49/13.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29149 time:  0.01 s
55.49/13.95	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.28/14.11	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.16 s
57.48/14.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
61.10/15.37	c lits-rem:        14  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.88 s
61.87/15.51	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.15
61.87/15.52	c calculated reachability. Time: 0.00
61.87/15.52	c  N dy   167     30501     29133    124554         0     20220    378245   3472129    154.11   no data
69.47/17.45	c  N dy   197     34628     29133    124554         0     24347    378245   4497618    155.18    163.95
77.06/19.39	c  N dy   226     38764     29133    124554         0     28483    378245   5486707    155.48    165.42
84.65/21.30	c  N dy   258     42790     29133    124554         0     17153    378245   1190736    156.44    164.72
90.24/22.61	c  S st   276     45751     29133    124554         0     20114    378245   1878430    156.10   no data
91.04/22.85	c  S st   276     46254     29133    124554         0     20617    378245   1956146    156.10   no data
91.04/22.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
91.86/23.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
91.86/23.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.86/23.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
91.86/23.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
91.86/23.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
91.86/23.08	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
92.64/23.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
93.04/23.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
94.23/23.65	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.28 s
94.23/23.66	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
94.63/23.70	c vivif2 --  cl tried    20616 cl shrink        0 lits rem          0 time: 0.03
95.03/23.85	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.15
95.03/23.85	c calculated reachability. Time: 0.00
95.03/23.86	c  N dy   276     46254     29133    124554         0     20616    378245   1955903    156.10   no data
102.62/25.71	c  N dy   304     50372     29133    124554         0     24734    378245   2938512    155.93    167.82
110.20/27.62	c  N dy   332     54477     29133    124554         0     28839    378245   3928765    155.98    174.29
117.81/29.57	c  N dy   362     58561     29133    124554         0     32922    378245   4952291    156.58    166.52
125.39/31.49	c  N dy   389     62625     29133    124554         0     36985    378245   5979915    156.93    170.70
132.97/33.31	c  N dy   416     66647     29133    124554         0     22328    378245   1612565    156.95    169.86
137.77/34.56	c  S st   436     69381     29133    124554         0     25061    378245   2267682    156.85   no data
138.57/34.79	c  S st   436     69885     29133    124554         0     25565    378245   2365774    156.85   no data
138.97/34.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
139.37/34.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
139.37/34.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.37/34.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139.77/35.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
139.77/35.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
139.77/35.03	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
140.18/35.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
140.96/35.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
142.56/35.76	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.43 s
142.56/35.78	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
142.96/35.82	c vivif2 --  cl tried    25564 cl shrink        0 lits rem          0 time: 0.04
143.36/35.98	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.16
143.36/35.99	c calculated reachability. Time: 0.00
143.36/35.99	c  N dy   436     69885     29133    124554         0     25564    378245   2365570    156.85   no data
152.14/38.11	c  N dy   468     74420     29133    124554         0     30099    378245   3477997    157.03    169.37
161.34/40.40	c  N dy   496     79299     29133    124554         0     34978    378245   4644782    156.79    166.26
170.94/42.84	c  N dy   531     84374     29133    124554         0     40052    378245   5863753    156.68    215.18
176.91/44.38	c  F st   552     87500     29133    124554         0     22342    378245   1053311    156.74   no data
183.71/46.00	c  N st   557     90795     29133    124554         0     25636    378245   2136292    156.74   no data
194.89/48.87	c  N dy   583     96835     29133    124554         0     31675    378245   3928182    156.60    176.19
207.28/51.95	c  N dy   623    103258     29133    124554         0     38097    378245   5513027    156.67    188.43
210.49/52.74	c  S st   636    104829     29133    124554         0     39668    378245   5906633    156.81   no data
211.26/52.98	c  S st   636    105331     29133    124554         0     40170    378245   5987976    156.81   no data
211.66/53.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
212.06/53.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
212.46/53.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.46/53.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
212.46/53.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
212.46/53.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
212.46/53.25	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
213.26/53.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
214.89/53.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
221.65/55.57	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.72 s
221.65/55.58	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
222.06/55.69	c vivif2 --  cl tried    40169 cl shrink        0 lits rem          0 time: 0.10
222.86/55.87	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.18
222.86/55.88	c calculated reachability. Time: 0.00
222.86/55.88	c  N dy   636    105331     29133    124554         0     40169    378245   5987853    156.81   no data
236.44/59.25	c  N dy   681    112074     29133    124554         0     24497    378245   1142948    156.77    167.91
250.81/62.82	c  N dy   734    119616     29133    124554         0     32038    378245   2998467    156.98    165.26
265.59/66.57	c  N dy   788    127342     29133    124554         0     39764    378245   4882119    157.18    177.69
281.97/70.67	c  N dy   838    135565     29133    124554         0     24285    378245    746821    157.01    191.70
297.95/74.69	c  N dy   889    144472     29133    124554         0     33192    378245   2803296    156.50    165.93
316.34/79.20	c  N dy   949    153734     29133    124554         0     42454    378245   5047543    156.53    167.89
324.73/81.37	c  S st   982    157997     29133    124554         0     46717    378245   6107673    156.72   no data
325.91/81.62	c  S st   982    158501     29133    124554         0     47221    378245   6193978    156.72   no data
325.91/81.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
326.71/81.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
326.71/81.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
326.71/81.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
326.71/81.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
326.71/81.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
327.11/81.90	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
327.51/82.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
329.12/82.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
338.31/84.78	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.28 s
338.69/84.80	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
339.09/84.91	c vivif2 --  cl tried    47216 cl shrink        0 lits rem          0 time: 0.11
339.89/85.10	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.19
339.89/85.11	c calculated reachability. Time: 0.00
339.89/85.11	c  N dy   982    158501     29133    124554         0     47216    378245   6192439    156.72   no data
359.47/90.08	c  N dy  1051    168835     29133    124554         0     32688    378245   2469038    156.66    165.52
381.03/95.43	c  N dy  1126    179769     29133    124554         0     43622    378245   5113300    156.64    167.27
404.59/101.32	c  N dy  1212    191340     29133    124554         0     29263    378245   1373325    156.71    170.10
428.17/107.24	c  N dy  1298    203567     29133    124554         0     41490    378245   4333444    156.83    165.23
454.53/113.89	c  N dy  1386    216647     29133    124554         0     27609    378245    700209    156.96    169.43
481.28/120.58	c  N dy  1483    230508     29133    124554         0     41470    378245   4120593    157.07    169.46
496.08/124.22	c  S st  1532    237751     29133    124554         0     48713    378245   5891660    157.05   no data
496.86/124.49	c  S st  1532    238254     29133    124554         0     49216    378245   5981136    157.05   no data
497.26/124.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
497.66/124.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
498.07/124.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
498.07/124.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
498.07/124.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
498.07/124.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
498.07/124.77	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
498.87/124.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
500.07/125.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
510.05/127.71	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.40 s
510.05/127.72	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
510.45/127.83	c vivif2 --  cl tried    49211 cl shrink        0 lits rem          0 time: 0.11
511.24/128.03	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
511.24/128.04	c calculated reachability. Time: 0.00
511.24/128.04	c  N dy  1532    238254     29133    124554         0     49211    378245   5979700    157.05   no data
542.40/135.81	c  N dy  1642    253532     29133    124554         0     36510    378245   2647459    157.37    181.49
575.59/144.13	c  N dy  1751    269815     29133    124554         0     52792    378245   6719009    157.47    166.16
610.33/152.90	c  N dy  1867    287072     29133    124554         0     41056    378245   3493002    157.57    168.32
648.66/162.45	c  N dy  1994    305576     29133    124554         0     59560    378245   8039764    157.55    167.18
650.27/162.85	c  F st  1998    306251     29133    124554         0     30238    378245    552728    157.53   no data
687.80/172.21	c  N dy  2091    325159     29133    124554         0     49144    378245   5486946    157.57    169.67
728.96/182.57	c  N dy  2233    345265     29133    124554         0     38254    378245   2313964    157.71    166.28
753.72/188.70	c  S st  2318    357381     29133    124554         0     50370    378245   5241213    157.74   no data
754.51/188.97	c  S st  2318    357886     29133    124554         0     50875    378245   5333193    157.74   no data
754.51/188.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
755.33/189.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
755.33/189.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
755.73/189.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
755.73/189.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
755.73/189.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
755.73/189.24	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
756.51/189.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
757.71/189.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
766.50/191.94	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.20 s
766.50/191.96	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
766.90/192.05	c vivif2 --  cl tried    50874 cl shrink        0 lits rem          0 time: 0.09
767.70/192.25	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
767.70/192.26	c calculated reachability. Time: 0.00
767.70/192.26	c  N dy  2318    357886     29133    124554         0     50874    378245   5331754    157.74   no data
809.64/202.78	c  N dy  2460    378133     29133    124554         0     39123    378245   2191206    157.79    168.07
851.59/213.24	c  N dy  2596    398235     29133    124554         0     59224    378245   7129762    157.83    167.01
892.33/223.40	c  N dy  2721    418291     29133    124554         0     46278    378245   3690318    157.73    167.86
935.08/234.14	c  N dy  2862    438427     29133    124554         0     66414    378245   8656718    157.81    167.62
975.81/244.33	c  N dy  2991    458434     29133    124554         0     52420    378245   4946180    157.77    169.86
1018.56/255.04	c  N dy  3127    478440     29133    124554         0     37433    378245   1073954    157.83    167.95
1060.09/265.41	c  N dy  3270    498529     29133    124554         0     57520    378245   6010901    157.86    173.46
1103.23/276.28	c  N dy  3409    518786     29133    124554         0     41779    378245   1909895    157.90    171.00
1140.79/285.67	c  S st  3530    536831     29133    124554         0     59821    378245   6392120    157.95   no data
1142.00/285.97	c  S st  3530    537334     29133    124554         0     60324    378245   6480065    157.95   no data
1142.00/286.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1142.78/286.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
1143.18/286.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1143.18/286.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1143.18/286.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1143.18/286.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
1143.18/286.26	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1143.98/286.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1145.58/286.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1158.36/290.02	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.18 s
1158.36/290.04	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
1158.76/290.15	c vivif2 --  cl tried    60318 cl shrink        0 lits rem          0 time: 0.12
1159.58/290.37	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.21
1159.58/290.38	c calculated reachability. Time: 0.00
1159.58/290.38	c  N dy  3530    537334     29133    124554         0     60318    378245   6477351    157.95   no data
1203.11/301.27	c  N dy  3668    557403     29133    124554         0     43388    378245   2042801    157.96    166.66
1245.04/311.76	c  N dy  3798    577413     29133    124554         0     63398    378245   6936410    157.97    170.04
1288.99/322.73	c  N dy  3934    597422     29133    124554         0     45410    378245   2274938    158.01    169.97
1331.34/333.37	c  N dy  4065    617493     29133    124554         0     65481    378245   7148564    157.97    185.70
1374.89/344.22	c  N dy  4201    637541     29133    124554         0     46535    378245   2300250    157.92    178.30
1417.60/354.91	c  N dy  4334    657645     29133    124554         0     66638    378245   7179844    157.92    167.97
1461.54/365.91	c  N dy  4466    677726     29133    124554         0     46717    378245   2070249    157.94    166.94
1504.69/376.79	c  N dy  4604    697727     29133    124554         0     66718    378245   6985580    157.97    212.03
1549.82/388.03	c  N dy  4737    717829     29133    124554         0     45827    378245   1652365    157.98    169.33
1592.57/398.76	c  N dy  4870    737885     29133    124554         0     65880    378245   6602678    158.05    167.08
1638.52/410.28	c  N dy  5012    757971     29133    124554         0     43961    378245    958197    158.07    171.24
1681.24/420.96	c  N dy  5152    778036     29133    124554         0     64026    378245   5993939    158.14    166.59
1727.17/432.41	c  N dy  5287    798128     29133    124554         0     84118    378245  10825834    158.08    166.52
1743.97/436.69	c  S st  5344    806001     29133    124554         0     48987    378245   1946607    158.09    161.91
1745.15/436.96	c  S st  5344    806505     29133    124554         0     49491    378245   2042867    158.09   no data
1745.15/436.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1745.95/437.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1745.95/437.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1746.35/437.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1746.35/437.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1746.35/437.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
1746.35/437.23	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1746.75/437.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1747.15/437.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1750.34/438.24	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.72 s
1750.34/438.26	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
1750.74/438.30	c vivif2 --  cl tried    49489 cl shrink        0 lits rem          0 time: 0.04
1751.55/438.50	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
1751.55/438.51	c calculated reachability. Time: 0.00
1751.55/438.51	c  N dy  5344    806505     29133    124554         0     49489    378245   2042074    158.09   no data
1795.08/449.41	c  N dy  5487    826561     29133    124554         0     69544    378245   7000932    158.15    166.58
1842.21/461.27	c  N dy  5634    846714     29133    124554         0     45697    378245    897630    158.24    172.34
1884.98/471.91	c  N dy  5766    866785     29133    124554         0     65766    378245   5846997    158.28    215.36
1930.89/483.48	c  N dy  5902    886875     29133    124554         0     85854    378245  10810219    158.31    167.19
1974.83/494.45	c  N dy  6034    906907     29133    124554         0     60891    378245   4421321    158.27    169.68
2019.96/505.73	c  N dy  6166    927039     29133    124554         0     81023    378245   9353468    158.27    171.16
2064.72/516.97	c  N dy  6289    947145     29133    124554         0     55136    378245   2699534    158.20    167.68
2109.44/528.10	c  N dy  6418    967238     29133    124554         0     75228    378245   7666154    158.22    171.67
2156.18/539.88	c  N dy  6546    987252     29133    124554         0     48238    378245    790941    158.19    169.07
2199.72/550.75	c  N dy  6687   1007309     29133    124554         0     68295    378245   5737441    158.27    170.91
2246.04/562.38	c  N dy  6826   1027340     29133    124554         0     88324    378245  10660187    158.28    171.36
2290.79/573.57	c  N dy  6955   1047345     29133    124554         0     60337    378245   3490353    158.27    170.17
2336.32/584.93	c  N dy  7093   1067383     29133    124554         0     80375    378245   8459875    158.32    181.53
2347.09/587.61	c  F st  7126   1071877     29133    124554         0     84869    378245   9572267    158.33   no data
2385.06/597.10	c  N dy  7206   1087463     29133    124554         0     51455    378245   1131549    158.36    171.18
2428.19/607.96	c  N dy  7345   1107496     29133    124554         0     71485    378245   6069574    158.40    171.24
2476.13/619.96	c  N dy  7488   1127638     29133    124554         0     91627    378245  11107067    158.45    170.57
2522.08/631.44	c  N dy  7624   1147769     29133    124554         0     61756    378245   3378953    158.45    167.66
2567.60/642.83	c  N dy  7760   1167902     29133    124554         0     81887    378245   8300875    158.44    171.40
2616.33/655.07	c  N dy  7897   1187992     29133    124554         0    101977    378245  13195707    158.44    190.96
2661.06/666.20	c  N dy  8023   1208005     29133    124554         0     70984    378245   5426862    158.42    168.73
2665.46/667.32	c  S st  8037   1209757     29133    124554         0     72736    378245   5870640    158.43    150.84
2666.68/667.65	c  S st  8037   1210260     29133    124554         0     73239    378245   5964269    158.43   no data
2666.68/667.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2667.45/667.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
2667.85/667.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2667.85/667.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2667.85/667.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2667.85/667.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
2667.85/667.95	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2668.65/668.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2669.85/668.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2683.44/671.82	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.32 s
2683.44/671.83	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
2683.84/671.94	c vivif2 --  cl tried    73235 cl shrink        0 lits rem          0 time: 0.11
2684.65/672.18	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.24
2684.65/672.19	c calculated reachability. Time: 0.00
2684.65/672.19	c  N dy  8037   1210260     29133    124554         0     73235    378245   5962600    158.43   no data
2732.16/684.05	c  N dy  8165   1230332     29133    124554         0     93305    378245  10904745    158.42    172.85
2778.90/695.73	c  N dy  8304   1250433     29133    124554         0     61412    378245   2885844    158.44    166.83
2824.44/707.19	c  N dy  8443   1270516     29133    124554         0     81492    378245   7903036    158.50    233.97
2873.96/719.52	c  N dy  8582   1290639     29133    124554         0    101613    378245  12882019    158.54    169.36
2919.51/730.95	c  N dy  8716   1310682     29133    124554         0     68658    378245   4391123    158.55    172.67
2966.24/742.69	c  N dy  8854   1330710     29133    124554         0     88682    378245   9221448    158.52    174.67
3016.56/755.27	c  N dy  8995   1350716     29133    124554         0     54690    378245    717469    158.56    175.00
3060.91/766.32	c  N dy  9132   1370717     29133    124554         0     74690    378245   5714619    158.58    168.12
3109.25/778.40	c  N dy  9269   1390803     29133    124554         0     94774    378245  10675772    158.59    199.40
3158.38/790.75	c  N dy  9404   1411056     29133    124554         0     60027    378245   1749608    158.59    167.35
3203.53/802.04	c  N dy  9539   1431135     29133    124554         0     80106    378245   6661944    158.58    169.56
3252.67/814.34	c  N dy  9671   1451221     29133    124554         0    100187    378245  11640640    158.59    168.89
3301.02/826.42	c  N dy  9806   1471406     29133    124554         0     64380    378245   2575535    158.59    168.68
3346.56/837.86	c  N dy  9941   1491451     29133    124554         0     84424    378245   7479828    158.58    238.05
3396.12/850.29	c  N dy 10078   1511474     29133    124554         0    104447    378245  12403449    158.59    167.36
3443.65/862.19	c  N dy 10210   1531572     29133    124554         0     67551    378245   3205929    158.61    170.57
3490.79/873.92	c  N dy 10349   1551630     29133    124554         0     87607    378245   8182872    158.64    167.27
3540.73/886.46	c  N dy 10486   1571632     29133    124554         0    107609    378245  13108939    158.66    172.64
3588.68/898.41	c  N dy 10620   1591760     29133    124554         0     69741    378245   3400652    158.69    171.07
3636.21/910.37	c  N dy 10759   1612031     29133    124554         0     90011    378245   8452855    158.73    170.69
3686.95/923.09	c  N dy 10893   1632075     29133    124554         0    110053    378245  13433485    158.74    167.80
3735.29/935.10	c  N dy 11035   1652112     29133    124554         0     71093    378245   3520929    158.75    169.19
3782.05/946.87	c  N dy 11164   1672192     29133    124554         0     91171    378245   8398819    158.73    179.59
3833.58/959.71	c  N dy 11301   1692295     29133    124554         0    111273    378245  13375467    158.75    170.12
3877.12/970.65	c  S st 11424   1710261     29133    124554         0     69240    378245   2879894    158.76   no data
3878.32/970.94	c  S st 11424   1710768     29133    124554         0     69747    378245   2965820    158.76   no data
3878.32/970.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3879.12/971.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.19
3879.12/971.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3879.12/971.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3879.54/971.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3879.54/971.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
3879.54/971.24	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3880.31/971.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
3880.71/971.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3888.73/973.53	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.94 s
3888.73/973.55	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
3889.11/973.61	c vivif2 --  cl tried    69746 cl shrink        0 lits rem          0 time: 0.06
3889.90/973.84	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.22
3889.90/973.85	c calculated reachability. Time: 0.00
3889.90/973.85	c  N dy 11424   1710768     29133    124554         0     69746    378245   2965647    158.76   no data
3937.45/985.74	c  N dy 11565   1730877     29133    124554         0     89854    378245   8040579    158.79    170.42
3988.18/998.42	c  N dy 11703   1750896     29133    124554         0    109871    378245  12964146    158.81    168.50
4038.15/1010.97	c  N dy 11846   1770908     29133    124554         0     68886    378245   2567510    158.85    171.98
4084.87/1022.69	c  N dy 11986   1791008     29133    124554         0     88984    378245   7549498    158.87    171.93
4135.61/1035.35	c  N dy 12128   1811092     29133    124554         0    109065    378245  12497645    158.89    216.37
4187.16/1048.23	c  N dy 12263   1831179     29133    124554         0     67164    378245   1829320    158.88    168.85
4233.49/1059.86	c  N dy 12398   1851186     29133    124554         0     87171    378245   6750075    158.89    168.19
4284.62/1072.68	c  N dy 12533   1871228     29133    124554         0    107211    378245  11750172    158.89    168.08
4338.55/1086.10	c  N dy 12670   1891361     29133    124554         0     64347    378245    926253    158.90    170.45
4383.70/1097.44	c  N dy 12810   1911391     29133    124554         0     84376    378245   5875873    158.93    169.82
4434.04/1110.02	c  N dy 12950   1931622     29133    124554         0    104606    378245  10890606    158.94    167.70
4487.17/1123.33	c  N dy 13088   1951732     29133    124554         0    124713    378245  15892683    158.96    176.17
4534.32/1135.17	c  N dy 13221   1971891     29133    124554         0     80878    378245   4736238    158.97    168.61
4583.85/1147.52	c  N dy 13365   1991947     29133    124554         0    100933    378245   9781092    159.00    177.16
4636.59/1160.70	c  N dy 13499   2011974     29133    124554         0    120960    378245  14766866    159.01    169.17
4686.92/1173.39	c  N dy 13647   2032220     29133    124554         0     76206    378245   3427901    159.05    174.65
4735.27/1185.43	c  N dy 13783   2052227     29133    124554         0     96213    378245   8398164    159.06    232.18
4787.21/1198.48	c  N dy 13923   2072451     29133    124554         0    116435    378245  13451063    159.09    178.14

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

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

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


[startup+0 s]
/proc/loadavg: 7.72 7.98 7.65 5/180 24997
/proc/meminfo: memFree=25866660/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 495571947 52441088 348 33554432000 4194304 4627427 140733678404688 18446744073709551615 47181806995378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 12803 348 299 106 0 7774 0
[pid=24997/tid=24998] ppid=24995 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 495571947 52441088 348 33554432000 4194304 4627427 140733678404688 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 495571947 52441088 348 33554432000 4194304 4627427 140733678404688 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 495571947 52441088 348 33554432000 4194304 4627427 140733678404688 18446744073709551615 47181806995378 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.107065 s]
/proc/loadavg: 7.72 7.98 7.65 5/180 24997
/proc/meminfo: memFree=25866660/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=319524 CPUtime=1.13 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) D 24995 24997 24690 0 -1 4202496 21896 0 0 0 110 3 0 0 18 0 4 0 495571947 327192576 19693 33554432000 4194304 4627427 140733678404688 18446744073709551615 228095112225 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 79881 19727 371 106 0 74852 0
[pid=24997/tid=24998] ppid=24995 vsize=319524 CPUtime=0.27 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 5574 0 0 0 27 0 0 0 18 0 4 0 495571947 327192576 19916 33554432000 4194304 4627427 140733678404688 18446744073709551615 228095109473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=321140 CPUtime=0.28 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) D 24995 24997 24690 0 -1 4202560 5891 0 0 0 27 1 0 0 18 0 4 0 495571947 328847360 21238 33554432000 4194304 4627427 140733678404688 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=322540 CPUtime=0.29 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 5224 0 0 0 29 0 0 0 18 0 4 0 495571947 330280960 22160 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308657 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 319524

[startup+1.23412 s]
/proc/loadavg: 7.72 7.98 7.65 5/180 24997
/proc/meminfo: memFree=25866660/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=340536 CPUtime=4.89 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 43580 0 0 0 480 9 0 0 19 0 4 0 495571947 348708864 32603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308703 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 85134 32603 385 106 0 80105 0
[pid=24997/tid=24998] ppid=24995 vsize=340536 CPUtime=1.21 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 11523 0 0 0 119 2 0 0 19 0 4 0 495571947 348708864 32603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=340536 CPUtime=1.22 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 12741 0 0 0 119 3 0 0 19 0 4 0 495571947 348708864 32603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4332309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=340536 CPUtime=1.21 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 6089 0 0 0 121 0 0 0 19 0 4 0 495571947 348708864 32603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 340536

[startup+1.3341 s]
/proc/loadavg: 7.72 7.98 7.65 5/180 24997
/proc/meminfo: memFree=25866660/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=340536 CPUtime=5.29 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 43872 0 0 0 520 9 0 0 19 0 4 0 495571947 348708864 32895 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 85134 32895 385 106 0 80105 0
[pid=24997/tid=24998] ppid=24995 vsize=340536 CPUtime=1.31 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 11607 0 0 0 129 2 0 0 19 0 4 0 495571947 348708864 32895 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=340536 CPUtime=1.32 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 12806 0 0 0 129 3 0 0 19 0 4 0 495571947 348708864 32895 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=340536 CPUtime=1.31 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 6146 0 0 0 131 0 0 0 19 0 4 0 495571947 348708864 32895 33554432000 4194304 4627427 140733678404688 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 340536

[startup+1.43408 s]
/proc/loadavg: 7.72 7.98 7.65 5/180 24997
/proc/meminfo: memFree=25866660/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=340536 CPUtime=5.69 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 44186 0 0 0 560 9 0 0 19 0 4 0 495571947 348708864 33209 33554432000 4194304 4627427 140733678404688 18446744073709551615 4507160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 85134 33209 385 106 0 80105 0
[pid=24997/tid=24998] ppid=24995 vsize=340536 CPUtime=1.41 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 11684 0 0 0 139 2 0 0 19 0 4 0 495571947 348708864 33209 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=340536 CPUtime=1.42 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 12883 0 0 0 139 3 0 0 19 0 4 0 495571947 348708864 33209 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=340536 CPUtime=1.41 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 6211 0 0 0 141 0 0 0 20 0 4 0 495571947 348708864 33209 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 340536

[startup+1.53406 s]
/proc/loadavg: 7.72 7.98 7.65 5/180 24997
/proc/meminfo: memFree=25866660/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=340536 CPUtime=6.09 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 44503 0 0 0 600 9 0 0 19 0 4 0 495571947 348708864 33500 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 85134 33500 385 106 0 80105 0
[pid=24997/tid=24998] ppid=24995 vsize=340536 CPUtime=1.51 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 11749 0 0 0 149 2 0 0 20 0 4 0 495571947 348708864 33500 33554432000 4194304 4627427 140733678404688 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=340536 CPUtime=1.52 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 12970 0 0 0 149 3 0 0 19 0 4 0 495571947 348708864 33501 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=340536 CPUtime=1.51 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 6273 0 0 0 151 0 0 0 20 0 4 0 495571947 348708864 33501 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 340536

[startup+3.10078 s]
/proc/loadavg: 7.72 7.98 7.65 9/184 25001
/proc/meminfo: memFree=25730880/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=471800 CPUtime=12.35 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 48740 0 0 0 1224 11 0 0 23 0 4 0 495571947 483123200 37711 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 117950 37711 385 106 0 112921 0
[pid=24997/tid=24998] ppid=24995 vsize=471800 CPUtime=3.08 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 12683 0 0 0 306 2 0 0 25 0 4 0 495571947 483123200 37711 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=471800 CPUtime=3.07 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 13947 0 0 0 304 3 0 0 23 0 4 0 495571947 483123200 37711 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=471800 CPUtime=3.08 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 7632 0 0 0 307 1 0 0 25 0 4 0 495571947 483123200 37711 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 471800

[startup+6.30119 s]
/proc/loadavg: 7.74 7.98 7.65 9/184 25001
/proc/meminfo: memFree=25732864/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=471800 CPUtime=25.13 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 56408 0 0 0 2500 13 0 0 25 0 4 0 495571947 483123200 45379 33554432000 4194304 4627427 140733678404688 18446744073709551615 4321831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 117950 45379 385 106 0 112921 0
[pid=24997/tid=24998] ppid=24995 vsize=471800 CPUtime=6.28 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 14482 0 0 0 625 3 0 0 25 0 4 0 495571947 483123200 45379 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=471800 CPUtime=6.26 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 15907 0 0 0 622 4 0 0 25 0 4 0 495571947 483123200 45379 33554432000 4194304 4627427 140733678404688 18446744073709551615 4330133 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=471800 CPUtime=6.28 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 9559 0 0 0 627 1 0 0 25 0 4 0 495571947 483123200 45379 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308703 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 471800

[startup+12.701 s]
/proc/loadavg: 7.76 7.98 7.65 9/184 25001
/proc/meminfo: memFree=25723252/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=426020 CPUtime=50.7 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 77553 0 0 0 5052 18 0 0 25 0 4 0 495571947 436244480 44111 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 106505 44111 387 106 0 101476 0
[pid=24997/tid=24998] ppid=24995 vsize=426020 CPUtime=12.68 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 19566 0 0 0 1264 4 0 0 25 0 4 0 495571947 436244480 44111 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=426020 CPUtime=12.62 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 21228 0 0 0 1257 5 0 0 25 0 4 0 495571947 436244480 44111 33554432000 4194304 4627427 140733678404688 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=426020 CPUtime=12.68 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 14930 0 0 0 1266 2 0 0 25 0 4 0 495571947 436244480 44111 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 426020

[startup+25.5007 s]
/proc/loadavg: 7.82 7.98 7.65 9/184 25001
/proc/meminfo: memFree=25453420/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=655712 CPUtime=101.83 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 174220 0 0 0 10142 41 0 0 25 0 4 0 495571947 671449088 105971 33554432000 4194304 4627427 140733678404688 18446744073709551615 4327583 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 163928 105971 390 106 0 158899 0
[pid=24997/tid=24998] ppid=24995 vsize=655712 CPUtime=25.48 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 50386 0 0 0 2538 10 0 0 25 0 4 0 495571947 671449088 105971 33554432000 4194304 4627427 140733678404688 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=655712 CPUtime=25.35 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 36865 0 0 0 2526 9 0 0 25 0 4 0 495571947 671449088 105971 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=655712 CPUtime=25.48 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 35598 0 0 0 2541 7 0 0 25 0 4 0 495571947 671449088 105971 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 655712

[startup+51.101 s]
/proc/loadavg: 7.96 8.00 7.67 9/184 25002
/proc/meminfo: memFree=25321704/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=955824 CPUtime=204.08 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 247381 0 0 0 20348 60 0 0 25 0 4 0 495571947 978763776 138929 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 238956 138929 390 106 0 233927 0
[pid=24997/tid=24998] ppid=24995 vsize=955824 CPUtime=51.08 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 66844 0 0 0 5094 14 0 0 25 0 4 0 495571947 978763776 138930 33554432000 4194304 4627427 140733678404688 18446744073709551615 4333301 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=955824 CPUtime=50.81 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 57450 0 0 0 5066 15 0 0 25 0 4 0 495571947 978763776 138930 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=955824 CPUtime=51.07 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 51835 0 0 0 5096 11 0 0 25 0 4 0 495571947 978763776 138931 33554432000 4194304 4627427 140733678404688 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 955824

[startup+102.307 s]
/proc/loadavg: 7.98 8.00 7.68 9/184 25012
/proc/meminfo: memFree=25118532/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=959168 CPUtime=408.61 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 362435 0 0 0 40765 96 0 0 25 0 4 0 495571947 982188032 174445 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 239792 174445 390 106 0 234763 0
[pid=24997/tid=24998] ppid=24995 vsize=959168 CPUtime=102.29 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 86976 0 0 0 10208 21 0 0 25 0 4 0 495571947 982188032 174445 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=959168 CPUtime=101.74 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 85546 0 0 0 10149 25 0 0 25 0 4 0 495571947 982188032 174445 33554432000 4194304 4627427 140733678404688 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=959168 CPUtime=102.29 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 80030 0 0 0 10208 21 0 0 25 0 4 0 495571947 982188032 174445 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 959168

[startup+162.301 s]

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

[pid=24997] ppid=24995 vsize=1524608 CPUtime=2565.62 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1297711 0 0 0 256150 412 0 0 25 0 4 0 495571947 1561198592 313766 33554432000 4194304 4627427 140733678404688 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 381152 313766 390 106 0 376123 0
[pid=24997/tid=24998] ppid=24995 vsize=1524608 CPUtime=642.28 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 301790 0 0 0 64138 90 0 0 25 0 4 0 495571947 1561198592 313766 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1524608 CPUtime=638.78 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 334281 0 0 0 63769 109 0 0 25 0 4 0 495571947 1561198592 313766 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1524608 CPUtime=642.28 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 338620 0 0 0 64123 105 0 0 25 0 4 0 495571947 1561198592 313766 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.62
Current children cumulated vsize (KiB) 1524608

[startup+702.301 s]
/proc/loadavg: 8.07 8.08 7.86 9/184 25028
/proc/meminfo: memFree=24187276/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1533200 CPUtime=2805.26 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1388728 0 0 0 280083 443 0 0 25 0 4 0 495571947 1569996800 308603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 383300 308603 390 106 0 378271 0
[pid=24997/tid=24998] ppid=24995 vsize=1533200 CPUtime=702.27 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 320857 0 0 0 70130 97 0 0 25 0 4 0 495571947 1569996800 308603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1533200 CPUtime=698.45 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 362094 0 0 0 69726 119 0 0 25 0 4 0 495571947 1569996800 308603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1533200 CPUtime=702.27 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 360427 0 0 0 70115 112 0 0 25 0 4 0 495571947 1569996800 308603 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 1533200

[startup+762.306 s]
/proc/loadavg: 8.07 8.07 7.87 9/184 25030
/proc/meminfo: memFree=24130576/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1549164 CPUtime=3044.94 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1486205 0 0 0 304015 479 0 0 25 0 4 0 495571947 1586343936 311075 33554432000 4194304 4627427 140733678404688 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 387291 311075 390 106 0 382262 0
[pid=24997/tid=24998] ppid=24995 vsize=1549164 CPUtime=762.27 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 344765 0 0 0 76121 106 0 0 25 0 4 0 495571947 1586343936 311075 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1549164 CPUtime=758.12 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 383875 0 0 0 75685 127 0 0 25 0 4 0 495571947 1586343936 311075 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1549164 CPUtime=762.27 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 388188 0 0 0 76106 121 0 0 25 0 4 0 495571947 1586343936 311075 33554432000 4194304 4627427 140733678404688 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.94
Current children cumulated vsize (KiB) 1549164

[startup+822.301 s]
/proc/loadavg: 5.81 7.46 7.67 5/175 25050
/proc/meminfo: memFree=25593736/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1490048 CPUtime=3284.64 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1576951 0 0 0 327947 517 0 0 25 0 4 0 495571947 1525809152 297489 33554432000 4194304 4627427 140733678404688 18446744073709551615 4332428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 372512 297490 390 106 0 367483 0
[pid=24997/tid=24998] ppid=24995 vsize=1490048 CPUtime=822.27 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 364707 0 0 0 82113 114 0 0 25 0 4 0 495571947 1525809152 297490 33554432000 4194304 4627427 140733678404688 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1490048 CPUtime=817.84 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 407457 0 0 0 81648 136 0 0 25 0 4 0 495571947 1525809152 297490 33554432000 4194304 4627427 140733678404688 18446744073709551615 4333188 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1490048 CPUtime=822.27 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 411898 0 0 0 82095 132 0 0 25 0 4 0 495571947 1525809152 297490 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 1490048

[startup+882.301 s]
/proc/loadavg: 4.66 6.82 7.44 5/175 25051
/proc/meminfo: memFree=25548184/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1490500 CPUtime=3524.35 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1671202 0 0 0 351876 559 0 0 25 0 4 0 495571947 1526272000 317855 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 372625 317855 390 106 0 367596 0
[pid=24997/tid=24998] ppid=24995 vsize=1490500 CPUtime=882.26 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 386427 0 0 0 88103 123 0 0 25 0 4 0 495571947 1526272000 317855 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1490500 CPUtime=877.55 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 432873 0 0 0 87607 148 0 0 25 0 4 0 495571947 1526272000 317855 33554432000 4194304 4627427 140733678404688 18446744073709551615 4330943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1490500 CPUtime=882.27 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 436658 0 0 0 88084 143 0 0 25 0 4 0 495571947 1526272000 317855 33554432000 4194304 4627427 140733678404688 18446744073709551615 4332156 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1490500

[startup+942.301 s]
/proc/loadavg: 4.28 6.32 7.23 5/175 25053
/proc/meminfo: memFree=25529188/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1566632 CPUtime=3764.06 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1769909 0 0 0 375808 598 0 0 25 0 4 0 495571947 1604231168 323883 33554432000 4194304 4627427 140733678404688 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 391658 323883 390 106 0 386629 0
[pid=24997/tid=24998] ppid=24995 vsize=1566632 CPUtime=942.26 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 409787 0 0 0 94094 132 0 0 25 0 4 0 495571947 1604231168 323883 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1566632 CPUtime=937.27 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 456497 0 0 0 93569 158 0 0 25 0 4 0 495571947 1604231168 323883 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1566632 CPUtime=942.26 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 461257 0 0 0 94074 152 0 0 25 0 4 0 495571947 1604231168 323883 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 1566632

[startup+1002.3 s]
/proc/loadavg: 4.10 5.90 7.02 5/175 25054
/proc/meminfo: memFree=25607040/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1506784 CPUtime=4003.77 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1853876 0 0 0 399742 635 0 0 25 0 4 0 495571947 1542946816 303367 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 376696 303367 390 106 0 371667 0
[pid=24997/tid=24998] ppid=24995 vsize=1506784 CPUtime=1002.26 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 428518 0 0 0 100086 140 0 0 25 0 4 0 495571947 1542946816 303367 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1506784 CPUtime=996.99 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 479564 0 0 0 99531 168 0 0 25 0 4 0 495571947 1542946816 303367 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1506784 CPUtime=1002.26 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 482589 0 0 0 100065 161 0 0 25 0 4 0 495571947 1542946816 303367 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 1506784

[startup+1062.3 s]
/proc/loadavg: 4.15 5.58 6.84 5/175 25056
/proc/meminfo: memFree=25510780/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1568604 CPUtime=4243.47 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 1944578 0 0 0 423679 668 0 0 25 0 4 0 495571947 1606250496 328602 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308717 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 392151 328602 390 106 0 387122 0
[pid=24997/tid=24998] ppid=24995 vsize=1568604 CPUtime=1062.26 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 448612 0 0 0 106079 147 0 0 25 0 4 0 495571947 1606250496 328602 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1568604 CPUtime=1056.7 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 501137 0 0 0 105494 176 0 0 25 0 4 0 495571947 1606250496 328602 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1568604 CPUtime=1062.25 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 508097 0 0 0 106054 171 0 0 25 0 4 0 495571947 1606250496 328602 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 1568604

[startup+1122.3 s]
/proc/loadavg: 4.12 5.31 6.66 5/175 25058
/proc/meminfo: memFree=25435128/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1640028 CPUtime=4483.17 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 2051415 0 0 0 447604 713 0 0 25 0 4 0 495571947 1679388672 346390 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 410007 346390 390 106 0 404978 0
[pid=24997/tid=24998] ppid=24995 vsize=1640028 CPUtime=1122.26 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 468383 0 0 0 112071 155 0 0 25 0 4 0 495571947 1679388672 346390 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1640028 CPUtime=1116.41 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 544572 0 0 0 111450 191 0 0 25 0 4 0 495571947 1679388672 346390 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1640028 CPUtime=1122.25 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 530757 0 0 0 112042 183 0 0 25 0 4 0 495571947 1679388672 346390 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 1640028

[startup+1182.3 s]
/proc/loadavg: 4.11 5.08 6.50 5/175 25059
/proc/meminfo: memFree=25448732/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1702476 CPUtime=4722.89 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 2142879 0 0 0 471541 748 0 0 25 0 4 0 495571947 1743335424 344300 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 425619 344300 390 106 0 420590 0
[pid=24997/tid=24998] ppid=24995 vsize=1702476 CPUtime=1182.26 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 488717 0 0 0 118062 164 0 0 25 0 4 0 495571947 1743335424 344300 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1702476 CPUtime=1176.13 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 567467 0 0 0 117412 201 0 0 25 0 4 0 495571947 1743335424 344300 33554432000 4194304 4627427 140733678404688 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1702476 CPUtime=1182.24 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 555966 0 0 0 118033 191 0 0 25 0 4 0 495571947 1743335424 344300 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.89
Current children cumulated vsize (KiB) 1702476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.08 5.01 6.45 5/175 25060
/proc/meminfo: memFree=25407188/32951124 swapFree=67111524/67111528
[pid=24997] ppid=24995 vsize=1656240 CPUtime=4800.4 cores=1,3,5,7
/proc/24997/stat : 24997 (strangenight2-m) R 24995 24997 24690 0 -1 4202496 2173485 0 0 0 479280 760 0 0 25 0 4 0 495571947 1695989760 353085 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24997/statm: 414060 353085 390 106 0 409031 0
[pid=24997/tid=24998] ppid=24995 vsize=1656240 CPUtime=1201.66 cores=1,3,5,7
/proc/24997/task/24998/stat : 24998 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 495786 0 0 0 119999 167 0 0 25 0 4 0 495571947 1695989760 353086 33554432000 4194304 4627427 140733678404688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24997/tid=24999] ppid=24995 vsize=1656240 CPUtime=1195.44 cores=1,3,5,7
/proc/24997/task/24999/stat : 24999 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 574775 0 0 0 119340 204 0 0 25 0 4 0 495571947 1695989760 353086 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24997/tid=25000] ppid=24995 vsize=1656240 CPUtime=1201.65 cores=1,3,5,7
/proc/24997/task/25000/stat : 25000 (strangenight2-m) R 24995 24997 24690 0 -1 4202560 564771 0 0 0 119971 194 0 0 25 0 4 0 495571947 1695989760 353086 33554432000 4194304 4627427 140733678404688 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1656240

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.51
CPU user time (s): 4792.83
CPU system time (s): 7.67383
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 1717956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.83
system time used= 7.67383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2173495
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= 2813
involuntary context switches= 32280

runsolver used 1.76673 second user time and 4.46532 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 00:59:25
IDJOB=3173839
IDBENCH=82657
IDSOLVER=1586
FILE ID=node142/3173839-1304031564
RUNJOBID= node142-1304028687-24709
PBS_JOBID= 13170310
Free space on /tmp= 71304 MiB

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

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

MD5SUM BENCH= bd4912a5ba3146c46ac3a58d7861d9a6
RANDOM SEED=127918540

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25866940 kB
Buffers:       1615384 kB
Cached:        3927332 kB
SwapCached:          4 kB
Active:        1521616 kB
Inactive:      5032648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25866940 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7788 kB
Writeback:           0 kB
AnonPages:     1010624 kB
Mapped:          15548 kB
Slab:           464404 kB
PageTables:       6908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1278028 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= 71308 MiB
End job on node142 at 2011-04-29 01:19:29