Trace number 3366248

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.21 1203.68

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-3366248-1305399760.cnf'
0.00/0.00	c -- header says num vars:          30000
0.00/0.00	c -- header says num clauses:      126000
0.36/0.31	c -- clauses added:            0 learnts,       126000 normals,            0 xors
0.36/0.31	c -- vars added      30000
0.36/0.31	c Parsing time:  0.09 s
0.36/0.31	c  N st     0         0     30000    126000         0         0    378000         0   no data   no data
0.36/0.31	c asymm  cl-useful: 0/126000/126000 lits-rem:0 time: 0.12
0.36/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.17/1.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.17/1.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.17/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.17/1.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30000 time:  0.01 s
1.17/1.04	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1.17/1.04	c lits-rem:         0  cl-subs:        0  v-elim:    741  v-fix:    0  time:  0.21 s
1.17/1.04	c Finding binary XORs  T:     0.01 s  found:       0
1.17/1.04	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.17/1.04	c calculated reachability. Time: 0.00
1.17/1.04	c Calc default polars -  time:   0.01 s pos:   13402 undec:    3252 neg:   13346
1.17/1.04	c =========================================================================================
1.17/1.04	c types(t): F = full restart, N = normal restart
1.17/1.04	c types(t): S = simplification begin/end, E = solution found
1.17/1.04	c restart types(rt): st = static, dy = dynamic
1.17/1.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/1.04	c  B st     0         0     29259    125199         0         0    380094         0   no data   no data
9.10/2.36	c  N dy    22      4055     29259    125199         0      4054    380094   1095229    149.93    158.78
15.93/4.09	c  N dy    50      8159     29259    125199         0      8157    380094   2092863    155.25    164.47
22.66/5.78	c  N dy    76     12186     29259    125199         0     12184    380094   3042926    154.37    163.69
29.83/7.55	c  N dy   103     16247     29259    125199         0     16245    380094   4019404    154.93    169.10
37.02/9.37	c  N dy   131     20266     29259    125199         0     10265    380094    690846    154.99    164.09
44.20/11.10	c  N dy   157     24385     29259    125199         0     14383    380094   1646193    154.27    166.08
44.99/11.37	c  F st   161     25000     29259    125199         0     14998    380094   1788772    154.11    132.58
54.56/13.75	c  N dy   167     30000     29259    125199         0     19998    380094   3514133    154.11   no data
54.56/13.75	c  S st   167     30000     29259    125199         0     19998    380094   3514133    154.11   no data
55.40/13.97	c  S st   167     30501     29259    125199         0     20499    380094   3593880    154.11   no data
55.40/13.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55.75/14.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
56.15/14.11	c blocked clauses removed:      631 vars:    110 tried:       29259 T: 0.02 s
56.15/14.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
56.15/14.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
56.15/14.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29149 time:  0.01 s
56.15/14.15	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
56.55/14.29	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.14 s
58.15/14.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
61.73/15.51	c lits-rem:        14  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.85 s
62.13/15.66	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.15
62.13/15.67	c calculated reachability. Time: 0.00
62.13/15.67	c  N dy   167     30501     29133    124554         0     20220    378245   3472129    154.11   no data
70.12/17.67	c  N dy   197     34628     29133    124554         0     24347    378245   4497618    155.18    163.95
78.08/19.65	c  N dy   226     38764     29133    124554         0     28483    378245   5486707    155.48    165.42
85.68/21.59	c  N dy   258     42790     29133    124554         0     17153    378245   1190736    156.44    164.72
91.24/22.91	c  S st   276     45751     29133    124554         0     20114    378245   1878430    156.10   no data
92.04/23.16	c  S st   276     46254     29133    124554         0     20617    378245   1956146    156.10   no data
92.04/23.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.44/23.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
92.44/23.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.44/23.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
92.84/23.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
92.84/23.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
92.84/23.33	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
93.24/23.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
93.64/23.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
94.88/23.88	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.26 s
94.88/23.89	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
95.23/23.93	c vivif2 --  cl tried    20616 cl shrink        0 lits rem          0 time: 0.03
95.63/24.08	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.15
95.63/24.09	c calculated reachability. Time: 0.00
95.63/24.09	c  N dy   276     46254     29133    124554         0     20616    378245   1955903    156.10   no data
103.24/25.98	c  N dy   304     50372     29133    124554         0     24734    378245   2938512    155.93    167.82
111.19/27.93	c  N dy   332     54477     29133    124554         0     28839    378245   3928765    155.98    174.29
119.17/29.93	c  N dy   362     58561     29133    124554         0     32922    378245   4952291    156.58    166.52
127.13/31.90	c  N dy   389     62625     29133    124554         0     36985    378245   5979915    156.93    170.70
134.36/33.75	c  N dy   416     66647     29133    124554         0     22328    378245   1612565    156.95    169.86
139.50/35.02	c  S st   436     69381     29133    124554         0     25061    378245   2267682    156.85   no data
140.30/35.25	c  S st   436     69885     29133    124554         0     25565    378245   2365774    156.85   no data
140.30/35.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
140.70/35.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
140.70/35.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.70/35.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
141.10/35.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
141.10/35.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
141.10/35.43	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
141.50/35.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
142.30/35.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
143.88/36.13	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.40 s
143.88/36.15	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
143.88/36.19	c vivif2 --  cl tried    25564 cl shrink        0 lits rem          0 time: 0.04
144.68/36.35	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.16
144.68/36.36	c calculated reachability. Time: 0.00
144.68/36.36	c  N dy   436     69885     29133    124554         0     25564    378245   2365570    156.85   no data
153.46/38.52	c  N dy   468     74420     29133    124554         0     30099    378245   3477997    157.03    169.37
162.63/40.86	c  N dy   496     79299     29133    124554         0     34978    378245   4644782    156.79    166.26
172.60/43.35	c  N dy   531     84374     29133    124554         0     40052    378245   5863753    156.68    215.18
178.98/44.95	c  F st   552     87500     29133    124554         0     22342    378245   1053311    156.74   no data
185.37/46.56	c  N st   557     90795     29133    124554         0     25636    378245   2136292    156.74   no data
196.93/49.48	c  N dy   583     96835     29133    124554         0     31675    378245   3928182    156.60    176.19
209.69/52.62	c  N dy   623    103258     29133    124554         0     38097    378245   5513027    156.67    188.43
212.90/53.43	c  S st   636    104829     29133    124554         0     39668    378245   5906633    156.81   no data
213.68/53.68	c  S st   636    105331     29133    124554         0     40170    378245   5987976    156.81   no data
214.08/53.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
214.47/53.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
214.47/53.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
214.47/53.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
214.47/53.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
214.47/53.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
214.47/53.87	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
215.27/54.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
216.88/54.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
223.65/56.13	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.66 s
223.65/56.15	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
224.05/56.25	c vivif2 --  cl tried    40169 cl shrink        0 lits rem          0 time: 0.10
224.85/56.44	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.18
224.85/56.45	c calculated reachability. Time: 0.00
224.85/56.45	c  N dy   636    105331     29133    124554         0     40169    378245   5987853    156.81   no data
238.41/59.89	c  N dy   681    112074     29133    124554         0     24497    378245   1142948    156.77    167.91
253.16/63.58	c  N dy   734    119616     29133    124554         0     32038    378245   2998467    156.98    165.26
268.73/67.40	c  N dy   788    127342     29133    124554         0     39764    378245   4882119    157.18    177.69
285.07/71.58	c  N dy   838    135565     29133    124554         0     24285    378245    746821    157.01    191.70
301.41/75.69	c  N dy   889    144472     29133    124554         0     33192    378245   2803296    156.50    165.93
319.76/80.29	c  N dy   949    153734     29133    124554         0     42454    378245   5047543    156.53    167.89
328.54/82.49	c  S st   982    157997     29133    124554         0     46717    378245   6107673    156.72   no data
329.74/82.75	c  S st   982    158501     29133    124554         0     47221    378245   6193978    156.72   no data
329.74/82.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
330.13/82.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
330.53/82.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
330.53/82.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
330.53/82.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
330.53/82.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
330.53/82.96	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
330.93/83.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
332.92/83.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
341.69/85.75	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.22 s
341.69/85.77	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
342.09/85.88	c vivif2 --  cl tried    47216 cl shrink        0 lits rem          0 time: 0.11
342.90/86.08	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
342.90/86.09	c calculated reachability. Time: 0.00
342.90/86.09	c  N dy   982    158501     29133    124554         0     47216    378245   6192439    156.72   no data
363.23/91.15	c  N dy  1051    168835     29133    124554         0     32688    378245   2469038    156.66    165.52
385.16/96.64	c  N dy  1126    179769     29133    124554         0     43622    378245   5113300    156.64    167.27
409.10/102.61	c  N dy  1212    191340     29133    124554         0     29263    378245   1373325    156.71    170.10
433.02/108.67	c  N dy  1298    203567     29133    124554         0     41490    378245   4333444    156.83    165.23
460.15/115.44	c  N dy  1386    216647     29133    124554         0     27609    378245    700209    156.96    169.43
487.27/122.29	c  N dy  1483    230508     29133    124554         0     41470    378245   4120593    157.07    169.46
502.03/125.99	c  S st  1532    237751     29133    124554         0     48713    378245   5891660    157.05   no data
503.22/126.26	c  S st  1532    238254     29133    124554         0     49216    378245   5981136    157.05   no data
503.22/126.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
503.62/126.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
504.02/126.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
504.02/126.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
504.02/126.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
504.02/126.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
504.02/126.46	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
504.82/126.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
506.02/126.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
515.61/129.32	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.34 s
515.61/129.34	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
516.03/129.44	c vivif2 --  cl tried    49211 cl shrink        0 lits rem          0 time: 0.10
516.78/129.65	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
516.78/129.66	c calculated reachability. Time: 0.00
516.78/129.66	c  N dy  1532    238254     29133    124554         0     49211    378245   5979700    157.05   no data
548.29/137.55	c  N dy  1642    253532     29133    124554         0     36510    378245   2647459    157.37    181.49
582.18/146.01	c  N dy  1751    269815     29133    124554         0     52792    378245   6719009    157.47    166.16
617.68/154.96	c  N dy  1867    287072     29133    124554         0     41056    378245   3493002    157.57    168.32
656.77/164.73	c  N dy  1994    305576     29133    124554         0     59560    378245   8039764    157.55    167.18
658.37/165.13	c  F st  1998    306251     29133    124554         0     30238    378245    552728    157.53   no data
696.26/174.63	c  N dy  2091    325159     29133    124554         0     49144    378245   5486946    157.57    169.67
738.53/185.22	c  N dy  2233    345265     29133    124554         0     38254    378245   2313964    157.71    166.28
763.26/191.44	c  S st  2318    357381     29133    124554         0     50370    378245   5241213    157.74   no data
764.46/191.71	c  S st  2318    357886     29133    124554         0     50875    378245   5333193    157.74   no data
764.46/191.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
764.86/191.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
764.86/191.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
764.86/191.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
764.86/191.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
765.26/191.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
765.26/191.92	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
765.68/192.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
766.84/192.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
775.61/194.54	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.15 s
775.61/194.56	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
776.02/194.65	c vivif2 --  cl tried    50874 cl shrink        0 lits rem          0 time: 0.09
776.82/194.86	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
776.82/194.87	c calculated reachability. Time: 0.00
776.82/194.87	c  N dy  2318    357886     29133    124554         0     50874    378245   5331754    157.74   no data
820.28/205.74	c  N dy  2460    378133     29133    124554         0     39123    378245   2191206    157.79    168.07
862.62/216.33	c  N dy  2596    398235     29133    124554         0     59224    378245   7129762    157.83    167.01
903.65/226.69	c  N dy  2721    418291     29133    124554         0     46278    378245   3690318    157.73    167.86
947.52/237.65	c  N dy  2862    438427     29133    124554         0     66414    378245   8656718    157.81    167.62
989.00/248.03	c  N dy  2991    458434     29133    124554         0     52420    378245   4946180    157.77    169.86
1032.47/258.94	c  N dy  3127    478440     29133    124554         0     37433    378245   1073954    157.83    167.95
1074.34/269.49	c  N dy  3270    498529     29133    124554         0     57520    378245   6010901    157.86    173.46
1118.62/280.60	c  N dy  3409    518786     29133    124554         0     41779    378245   1909895    157.90    171.00
1156.89/290.14	c  S st  3530    536831     29133    124554         0     59821    378245   6392120    157.95   no data
1158.10/290.45	c  S st  3530    537334     29133    124554         0     60324    378245   6480065    157.95   no data
1158.10/290.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1158.50/290.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1158.90/290.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1158.90/290.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1158.90/290.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1158.90/290.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
1158.90/290.67	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1159.70/290.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1161.28/291.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1173.68/294.33	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.11 s
1173.68/294.35	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
1174.10/294.46	c vivif2 --  cl tried    60318 cl shrink        0 lits rem          0 time: 0.11
1174.85/294.68	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.22
1174.85/294.69	c calculated reachability. Time: 0.00
1174.85/294.69	c  N dy  3530    537334     29133    124554         0     60318    378245   6477351    157.95   no data
1219.52/305.81	c  N dy  3668    557403     29133    124554         0     43388    378245   2042801    157.96    166.66
1261.84/316.49	c  N dy  3798    577413     29133    124554         0     63398    378245   6936410    157.97    170.04
1306.46/327.67	c  N dy  3934    597422     29133    124554         0     45410    378245   2274938    158.01    169.97
1349.93/338.51	c  N dy  4065    617493     29133    124554         0     65481    378245   7148564    157.97    185.70
1393.80/349.57	c  N dy  4201    637541     29133    124554         0     46535    378245   2300250    157.92    178.30
1437.32/360.44	c  N dy  4334    657645     29133    124554         0     66638    378245   7179844    157.92    167.97
1482.35/371.70	c  N dy  4466    677726     29133    124554         0     46717    378245   2070249    157.94    166.94
1526.61/382.81	c  N dy  4604    697727     29133    124554         0     66718    378245   6985580    157.97    212.03
1572.08/394.29	c  N dy  4737    717829     29133    124554         0     45827    378245   1652365    157.98    169.33
1615.55/405.16	c  N dy  4870    737885     29133    124554         0     65880    378245   6602678    158.05    167.08
1662.60/416.94	c  N dy  5012    757971     29133    124554         0     43961    378245    958197    158.07    171.24
1705.68/427.75	c  N dy  5152    778036     29133    124554         0     64026    378245   5993939    158.14    166.59
1752.35/439.47	c  N dy  5287    798128     29133    124554         0     84118    378245  10825834    158.08    166.52
1769.89/443.83	c  S st  5344    806001     29133    124554         0     48987    378245   1946607    158.09    161.91
1771.08/444.10	c  S st  5344    806505     29133    124554         0     49491    378245   2042867    158.09   no data
1771.08/444.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1771.48/444.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1771.48/444.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1771.48/444.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1771.48/444.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1771.48/444.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
1771.88/444.30	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1772.28/444.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1772.68/444.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1775.47/445.28	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.70 s
1775.47/445.29	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
1775.87/445.33	c vivif2 --  cl tried    49489 cl shrink        0 lits rem          0 time: 0.04
1776.67/445.53	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.20
1776.67/445.54	c calculated reachability. Time: 0.00
1776.67/445.54	c  N dy  5344    806505     29133    124554         0     49489    378245   2042074    158.09   no data
1821.34/456.72	c  N dy  5487    826561     29133    124554         0     69544    378245   7000932    158.15    166.58
1869.20/468.74	c  N dy  5634    846714     29133    124554         0     45697    378245    897630    158.24    172.34
1912.27/479.56	c  N dy  5766    866785     29133    124554         0     65766    378245   5846997    158.28    215.36
1959.38/491.36	c  N dy  5902    886875     29133    124554         0     85854    378245  10810219    158.31    167.19
2003.99/502.51	c  N dy  6034    906907     29133    124554         0     60891    378245   4421321    158.27    169.68
2049.46/513.95	c  N dy  6166    927039     29133    124554         0     81023    378245   9353468    158.27    171.16
2095.37/525.42	c  N dy  6289    947145     29133    124554         0     55136    378245   2699534    158.20    167.68
2139.99/536.65	c  N dy  6418    967238     29133    124554         0     75228    378245   7666154    158.22    171.67
2187.84/548.68	c  N dy  6546    987252     29133    124554         0     48238    378245    790941    158.19    169.07
2231.71/559.68	c  N dy  6687   1007309     29133    124554         0     68295    378245   5737441    158.27    170.91
2279.20/571.52	c  N dy  6826   1027340     29133    124554         0     88324    378245  10660187    158.28    171.36
2324.64/582.90	c  N dy  6955   1047345     29133    124554         0     60337    378245   3490353    158.27    170.17
2370.52/594.43	c  N dy  7093   1067383     29133    124554         0     80375    378245   8459875    158.32    181.53
2381.27/597.17	c  F st  7126   1071877     29133    124554         0     84869    378245   9572267    158.33   no data
2420.00/606.88	c  N dy  7206   1087463     29133    124554         0     51455    378245   1131549    158.36    171.18
2463.87/617.87	c  N dy  7345   1107496     29133    124554         0     71485    378245   6069574    158.40    171.24
2512.48/630.07	c  N dy  7488   1127638     29133    124554         0     91627    378245  11107067    158.45    170.57
2559.15/641.77	c  N dy  7624   1147769     29133    124554         0     61756    378245   3378953    158.45    167.66
2605.00/653.29	c  N dy  7760   1167902     29133    124554         0     81887    378245   8300875    158.44    171.40
2656.06/666.01	c  N dy  7897   1187992     29133    124554         0    101977    378245  13195707    158.44    190.96
2701.12/677.32	c  N dy  8023   1208005     29133    124554         0     70984    378245   5426862    158.42    168.73
2705.16/678.35	c  S st  8037   1209757     29133    124554         0     72736    378245   5870640    158.43    150.84
2706.30/678.66	c  S st  8037   1210260     29133    124554         0     73239    378245   5964269    158.43   no data
2706.30/678.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2707.10/678.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
2707.10/678.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2707.10/678.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2707.10/678.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2707.10/678.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
2707.10/678.89	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
2707.90/679.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2709.11/679.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2722.28/682.68	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.27 s
2722.28/682.70	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
2723.05/682.81	c vivif2 --  cl tried    73235 cl shrink        0 lits rem          0 time: 0.11
2723.85/683.05	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.24
2723.85/683.06	c calculated reachability. Time: 0.00
2723.85/683.06	c  N dy  8037   1210260     29133    124554         0     73235    378245   5962600    158.43   no data
2772.10/695.13	c  N dy  8165   1230332     29133    124554         0     93305    378245  10904745    158.42    172.85
2819.57/707.09	c  N dy  8304   1250433     29133    124554         0     61412    378245   2885844    158.44    166.83
2865.84/718.68	c  N dy  8443   1270516     29133    124554         0     81492    378245   7903036    158.50    233.97
2916.08/731.28	c  N dy  8582   1290639     29133    124554         0    101613    378245  12882019    158.54    169.36
2962.35/742.88	c  N dy  8716   1310682     29133    124554         0     68658    378245   4391123    158.55    172.67
3010.21/754.86	c  N dy  8854   1330710     29133    124554         0     88682    378245   9221448    158.52    174.67
3061.66/767.72	c  N dy  8995   1350716     29133    124554         0     54690    378245    717469    158.56    175.00
3106.32/778.90	c  N dy  9132   1370717     29133    124554         0     74690    378245   5714619    158.58    168.12
3154.98/791.13	c  N dy  9269   1390803     29133    124554         0     94774    378245  10675772    158.59    199.40
3205.27/803.79	c  N dy  9404   1411056     29133    124554         0     60027    378245   1749608    158.59    167.35
3251.09/815.28	c  N dy  9539   1431135     29133    124554         0     80106    378245   6661944    158.58    169.56
3300.95/827.78	c  N dy  9671   1451221     29133    124554         0    100187    378245  11640640    158.59    168.89
3350.39/840.17	c  N dy  9806   1471406     29133    124554         0     64380    378245   2575535    158.59    168.68
3396.67/851.76	c  N dy  9941   1491451     29133    124554         0     84424    378245   7479828    158.58    238.05
3446.91/864.39	c  N dy 10078   1511474     29133    124554         0    104447    378245  12403449    158.59    167.36
3495.97/876.62	c  N dy 10210   1531572     29133    124554         0     67551    378245   3205929    158.61    170.57
3543.42/888.51	c  N dy 10349   1551630     29133    124554         0     87607    378245   8182872    158.64    167.27
3594.08/901.27	c  N dy 10486   1571632     29133    124554         0    107609    378245  13108939    158.66    172.64
3643.13/913.53	c  N dy 10620   1591760     29133    124554         0     69741    378245   3400652    158.69    171.07
3691.39/925.63	c  N dy 10759   1612031     29133    124554         0     90011    378245   8452855    158.73    170.69
3742.83/938.58	c  N dy 10893   1632075     29133    124554         0    110053    378245  13433485    158.74    167.80
3791.88/950.87	c  N dy 11035   1652112     29133    124554         0     71093    378245   3520929    158.75    169.19
3839.75/962.85	c  N dy 11164   1672192     29133    124554         0     91171    378245   8398819    158.73    179.59
3891.99/975.93	c  N dy 11301   1692295     29133    124554         0    111273    378245  13375467    158.75    170.12
3936.66/987.19	c  S st 11424   1710261     29133    124554         0     69240    378245   2879894    158.76   no data
3937.90/987.49	c  S st 11424   1710768     29133    124554         0     69747    378245   2965820    158.76   no data
3938.25/987.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3938.65/987.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.12
3938.65/987.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3938.65/987.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3938.65/987.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3939.05/987.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  29133 time:  0.01 s
3939.05/987.71	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.02 s
3939.44/987.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3940.24/988.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3947.83/989.94	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.89 s
3947.83/989.96	c vivif2 --  cl tried   124554 cl shrink        0 lits rem          0 time: 0.02
3948.22/990.01	c vivif2 --  cl tried    69746 cl shrink        0 lits rem          0 time: 0.06
3949.02/990.25	c asymm  cl-useful: 0/124554/124554 lits-rem:0 time: 0.24
3949.02/990.26	c calculated reachability. Time: 0.00
3949.02/990.26	c  N dy 11424   1710768     29133    124554         0     69746    378245   2965647    158.76   no data
3997.28/1002.35	c  N dy 11565   1730877     29133    124554         0     89854    378245   8040579    158.79    170.42
4048.72/1015.25	c  N dy 11703   1750896     29133    124554         0    109871    378245  12964146    158.81    168.50
4100.22/1028.14	c  N dy 11846   1770908     29133    124554         0     68886    378245   2567510    158.85    171.98
4147.63/1040.02	c  N dy 11986   1791008     29133    124554         0     88984    378245   7549498    158.87    171.93
4198.67/1052.88	c  N dy 12128   1811092     29133    124554         0    109065    378245  12497645    158.89    216.37
4252.92/1066.45	c  N dy 12263   1831179     29133    124554         0     67164    378245   1829320    158.88    168.85
4299.98/1078.28	c  N dy 12398   1851186     29133    124554         0     87171    378245   6750075    158.89    168.19
4350.62/1090.99	c  N dy 12533   1871228     29133    124554         0    107211    378245  11750172    158.89    168.08
4405.27/1104.65	c  N dy 12670   1891361     29133    124554         0     64347    378245    926253    158.90    170.45
4451.52/1116.24	c  N dy 12810   1911391     29133    124554         0     84376    378245   5875873    158.93    169.82
4502.17/1128.98	c  N dy 12950   1931622     29133    124554         0    104606    378245  10890606    158.94    167.70
4556.46/1142.52	c  N dy 13088   1951732     29133    124554         0    124713    378245  15892683    158.96    176.17
4604.72/1154.62	c  N dy 13221   1971891     29133    124554         0     80878    378245   4736238    158.97    168.61
4654.51/1167.15	c  N dy 13365   1991947     29133    124554         0    100933    378245   9781092    159.00    177.16
4707.96/1180.54	c  N dy 13499   2011974     29133    124554         0    120960    378245  14766866    159.01    169.17
4759.80/1193.56	c  N dy 13647   2032220     29133    124554         0     76206    378245   3427901    159.05    174.65

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366248-1305399760/watcher-3366248-1305399760 -o /tmp/evaluation-result-3366248-1305399760/solver-3366248-1305399760 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366248-1305399760.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: 8.09 8.11 7.70 6/357 17126
/proc/meminfo: memFree=24262940/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 632391472 52396032 353 33554432000 4194304 4580107 140734521331648 18446744073709551615 47428834825753 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 12792 353 302 95 0 7774 0
[pid=17126/tid=17127] ppid=17124 vsize=191008 CPUtime=0 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 1202 0 0 0 0 0 0 0 18 0 4 0 632391472 195592192 3910 33554432000 4194304 4580107 140734521331648 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=191008 CPUtime=0 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) D 17124 17126 16886 0 -1 4202560 1278 0 0 0 0 0 0 0 18 0 4 0 632391472 195592192 3920 33554432000 4194304 4580107 140734521331648 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=190492 CPUtime=0 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) D 17124 17126 16886 0 -1 4202560 1179 0 0 0 0 0 0 0 25 0 4 0 632391472 195063808 3793 33554432000 4194304 4580107 140734521331648 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0694489 s]
/proc/loadavg: 8.09 8.11 7.70 6/357 17126
/proc/meminfo: memFree=24262940/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=370588 CPUtime=0.22 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) S 17124 17126 16886 0 -1 4202496 16079 0 0 0 17 5 0 0 17 0 4 0 632391472 379482112 14429 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 92647 14449 337 95 0 87629 0
[pid=17126/tid=17127] ppid=17124 vsize=370588 CPUtime=0.05 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 3879 0 0 0 4 1 0 0 18 0 4 0 632391472 379482112 14473 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095116152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=370588 CPUtime=0.05 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 4248 0 0 0 4 1 0 0 18 0 4 0 632391472 379482112 14571 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=370588 CPUtime=0.05 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) S 17124 17126 16886 0 -1 4202560 4162 0 0 0 5 0 0 0 18 0 4 0 632391472 379482112 14582 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095556078 0 0 4096 2 18446604465492214848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 370588

[startup+0.109446 s]
/proc/loadavg: 8.09 8.11 7.70 6/357 17126
/proc/meminfo: memFree=24262940/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=374884 CPUtime=0.36 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 18917 0 0 0 27 9 0 0 17 0 4 0 632391472 383881216 17267 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095556127 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 93721 17296 337 95 0 88703 0
[pid=17126/tid=17127] ppid=17124 vsize=374884 CPUtime=0.09 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 4550 0 0 0 6 3 0 0 18 0 4 0 632391472 383881216 17319 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095107079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=374884 CPUtime=0.08 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 5034 0 0 0 7 1 0 0 18 0 4 0 632391472 383881216 17363 33554432000 4194304 4580107 140734521331648 18446744073709551615 4511018 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=374884 CPUtime=0.08 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) S 17124 17126 16886 0 -1 4202560 4903 0 0 0 7 1 0 0 17 0 4 0 632391472 383881216 17402 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095556078 0 0 4096 2 18446604465492214848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 374884

[startup+0.313921 s]
/proc/loadavg: 8.09 8.11 7.70 6/357 17126
/proc/meminfo: memFree=24262940/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=389736 CPUtime=1.17 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 24592 0 0 0 105 12 0 0 18 0 4 0 632391472 399089664 22942 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095494327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 98437 25451 363 95 0 93419 0
[pid=17126/tid=17127] ppid=17124 vsize=393748 CPUtime=0.31 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 7221 0 0 0 28 3 0 0 18 0 4 0 632391472 403197952 25453 33554432000 4194304 4580107 140734521331648 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=393748 CPUtime=0.31 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 7737 0 0 0 29 2 0 0 18 0 4 0 632391472 403197952 25455 33554432000 4194304 4580107 140734521331648 18446744073709551615 228095111877 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=407748 CPUtime=0.37 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) D 17124 17126 16886 0 -1 4202560 5373 0 0 0 35 2 0 0 18 0 4 0 632391472 417533952 31026 33554432000 4194304 4580107 140734521331648 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 389736

[startup+1.14705 s]
/proc/loadavg: 8.09 8.11 7.70 6/357 17126
/proc/meminfo: memFree=24262940/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=408564 CPUtime=4.5 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 41909 0 0 0 435 15 0 0 19 0 4 0 632391472 418369536 33345 33554432000 4194304 4580107 140734521331648 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 102141 33345 377 95 0 97123 0
[pid=17126/tid=17127] ppid=17124 vsize=408564 CPUtime=1.12 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 12393 0 0 0 108 4 0 0 19 0 4 0 632391472 418369536 33345 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=408564 CPUtime=1.12 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 11495 0 0 0 109 3 0 0 19 0 4 0 632391472 418369536 33345 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=408564 CPUtime=1.12 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 6067 0 0 0 110 2 0 0 19 0 4 0 632391472 418369536 33345 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 408564

[startup+1.50098 s]
/proc/loadavg: 8.09 8.11 7.70 6/357 17126
/proc/meminfo: memFree=24262940/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=408564 CPUtime=5.92 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 42949 0 0 0 577 15 0 0 19 0 4 0 632391472 418369536 34385 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 102141 34385 377 95 0 97123 0
[pid=17126/tid=17127] ppid=17124 vsize=408564 CPUtime=1.48 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 12662 0 0 0 144 4 0 0 19 0 4 0 632391472 418369536 34385 33554432000 4194304 4580107 140734521331648 18446744073709551615 4320780 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=408564 CPUtime=1.47 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 11747 0 0 0 144 3 0 0 19 0 4 0 632391472 418369536 34385 33554432000 4194304 4580107 140734521331648 18446744073709551615 4389793 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=408564 CPUtime=1.47 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 6278 0 0 0 145 2 0 0 19 0 4 0 632391472 418369536 34385 33554432000 4194304 4580107 140734521331648 18446744073709551615 4320616 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 408564

[startup+3.10069 s]
/proc/loadavg: 8.08 8.11 7.70 9/362 17131
/proc/meminfo: memFree=24057308/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=539828 CPUtime=12.29 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 47068 0 0 0 1213 16 0 0 24 0 4 0 632391472 552783872 38504 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 134957 38504 377 95 0 129939 0
[pid=17126/tid=17127] ppid=17124 vsize=539828 CPUtime=3.07 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 13604 0 0 0 303 4 0 0 24 0 4 0 632391472 552783872 38504 33554432000 4194304 4580107 140734521331648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=539828 CPUtime=3.07 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 12695 0 0 0 304 3 0 0 25 0 4 0 632391472 552783872 38505 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=539828 CPUtime=3.04 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 7586 0 0 0 302 2 0 0 24 0 4 0 632391472 552783872 38505 33554432000 4194304 4580107 140734521331648 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 539828

[startup+6.3011 s]
/proc/loadavg: 8.08 8.11 7.70 9/362 17131
/proc/meminfo: memFree=23962828/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=539828 CPUtime=25.05 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 54502 0 0 0 2487 18 0 0 25 0 4 0 632391472 552783872 45938 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 134957 45938 377 95 0 129939 0
[pid=17126/tid=17127] ppid=17124 vsize=539828 CPUtime=6.28 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 15478 0 0 0 623 5 0 0 25 0 4 0 632391472 552783872 45938 33554432000 4194304 4580107 140734521331648 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=539828 CPUtime=6.28 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 14501 0 0 0 624 4 0 0 25 0 4 0 632391472 552783872 45938 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=539828 CPUtime=6.2 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 9466 0 0 0 618 2 0 0 25 0 4 0 632391472 552783872 45938 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 539828

[startup+12.7009 s]
/proc/loadavg: 8.15 8.12 7.71 9/362 17131
/proc/meminfo: memFree=23879988/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=434924 CPUtime=50.6 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 77072 0 0 0 5036 24 0 0 25 0 4 0 632391472 445362176 44550 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 108731 44550 378 95 0 103713 0
[pid=17126/tid=17127] ppid=17124 vsize=434924 CPUtime=12.68 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 20758 0 0 0 1262 6 0 0 25 0 4 0 632391472 445362176 44566 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=434924 CPUtime=12.68 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 19625 0 0 0 1263 5 0 0 25 0 4 0 632391472 445362176 44566 33554432000 4194304 4580107 140734521331648 18446744073709551615 4295901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=434924 CPUtime=12.54 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 16249 0 0 0 1250 4 0 0 25 0 4 0 632391472 445362176 44566 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 434924

[startup+25.5006 s]
/proc/loadavg: 8.21 8.13 7.71 9/362 17132
/proc/meminfo: memFree=23582508/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=717492 CPUtime=101.61 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 173716 0 0 0 10114 47 0 0 25 0 4 0 632391472 734711808 106725 33554432000 4194304 4580107 140734521331648 18446744073709551615 4295942 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 179373 106725 379 95 0 174355 0
[pid=17126/tid=17127] ppid=17124 vsize=717492 CPUtime=25.47 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 52635 0 0 0 2533 14 0 0 25 0 4 0 632391472 734711808 106725 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=717492 CPUtime=25.47 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 34578 0 0 0 2539 8 0 0 25 0 4 0 632391472 734711808 106725 33554432000 4194304 4580107 140734521331648 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=717492 CPUtime=25.18 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 36467 0 0 0 2509 9 0 0 25 0 4 0 632391472 734711808 106725 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 717492

[startup+51.1009 s]
/proc/loadavg: 8.14 8.12 7.72 9/362 17132
/proc/meminfo: memFree=23420140/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=854384 CPUtime=203.71 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 247829 0 0 0 20305 66 0 0 25 0 4 0 632391472 874889216 136206 33554432000 4194304 4580107 140734521331648 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 213596 136206 379 95 0 208578 0
[pid=17126/tid=17127] ppid=17124 vsize=854384 CPUtime=51.07 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 70130 0 0 0 5088 19 0 0 25 0 4 0 632391472 874889216 136206 33554432000 4194304 4580107 140734521331648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=854384 CPUtime=51.07 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 55655 0 0 0 5094 13 0 0 25 0 4 0 632391472 874889216 136207 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=854384 CPUtime=50.48 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 52158 0 0 0 5035 13 0 0 25 0 4 0 632391472 874889216 136207 33554432000 4194304 4580107 140734521331648 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 854384

[startup+102.3 s]
/proc/loadavg: 8.13 8.12 7.74 9/362 17134
/proc/meminfo: memFree=23282104/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=997124 CPUtime=407.9 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 377817 0 0 0 40685 105 0 0 25 0 4 0 632391472 1021054976 170763 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17126/statm: 249281 170763 379 95 0 244263 0
[pid=17126/tid=17127] ppid=17124 vsize=997124 CPUtime=102.27 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 98600 0 0 0 10199 28 0 0 25 0 4 0 632391472 1021054976 170763 33554432000 4194304 4580107 140734521331648 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=997124 CPUtime=102.27 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 77910 0 0 0 10208 19 0 0 25 0 4 0 632391472 1021054976 170763 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=997124 CPUtime=101.08 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 82462 0 0 0 10086 22 0 0 25 0 4 0 632391472 1021054976 170763 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 997124

[startup+162.3 s]

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

[pid=17126] ppid=17124 vsize=1501328 CPUtime=2800.83 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 1440221 0 0 0 279618 465 0 0 25 0 4 0 632391472 1537359872 322368 33554432000 4194304 4580107 140734521331648 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 375332 322368 415 95 0 370314 0
[pid=17126/tid=17127] ppid=17124 vsize=1501328 CPUtime=701.85 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 381613 0 0 0 70064 121 0 0 25 0 4 0 632391472 1537359872 322368 33554432000 4194304 4580107 140734521331648 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1501328 CPUtime=702.27 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 319058 0 0 0 70127 100 0 0 25 0 4 0 632391472 1537359872 322368 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1501328 CPUtime=694.44 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 368594 0 0 0 69319 125 0 0 25 0 4 0 632391472 1537359872 322368 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.83
Current children cumulated vsize (KiB) 1501328

[startup+762.301 s]
/proc/loadavg: 8.12 8.11 7.91 9/362 17151
/proc/meminfo: memFree=22304492/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1567616 CPUtime=3040.11 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 1532429 0 0 0 303513 498 0 0 25 0 4 0 632391472 1605238784 322788 33554432000 4194304 4580107 140734521331648 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 391904 322788 379 95 0 386886 0
[pid=17126/tid=17127] ppid=17124 vsize=1567616 CPUtime=761.13 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 405576 0 0 0 75983 130 0 0 25 0 4 0 632391472 1605238784 322788 33554432000 4194304 4580107 140734521331648 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1567616 CPUtime=762.27 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 337554 0 0 0 76120 107 0 0 25 0 4 0 632391472 1605238784 322788 33554432000 4194304 4580107 140734521331648 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1567616 CPUtime=754.43 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 396064 0 0 0 75310 133 0 0 25 0 4 0 632391472 1605238784 322790 33554432000 4194304 4580107 140734521331648 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.11
Current children cumulated vsize (KiB) 1567616

[startup+822.301 s]
/proc/loadavg: 8.17 8.12 7.93 9/362 17153
/proc/meminfo: memFree=22275572/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1573772 CPUtime=3279.44 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 1625221 0 0 0 327412 532 0 0 25 0 4 0 632391472 1611542528 332638 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 393443 332638 379 95 0 388425 0
[pid=17126/tid=17127] ppid=17124 vsize=1573772 CPUtime=820.43 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 425754 0 0 0 81906 137 0 0 25 0 4 0 632391472 1611542528 332650 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1573772 CPUtime=822.29 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 360339 0 0 0 82112 117 0 0 25 0 4 0 632391472 1611542528 332650 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1573772 CPUtime=814.44 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 422130 0 0 0 81303 141 0 0 25 0 4 0 632391472 1611542528 332650 33554432000 4194304 4580107 140734521331648 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.44
Current children cumulated vsize (KiB) 1573772

[startup+882.301 s]
/proc/loadavg: 8.12 8.11 7.93 9/362 17154
/proc/meminfo: memFree=22385788/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1559032 CPUtime=3518.69 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 1718544 0 0 0 351303 566 0 0 25 0 4 0 632391472 1596448768 305250 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 389758 305250 379 95 0 384740 0
[pid=17126/tid=17127] ppid=17124 vsize=1559032 CPUtime=879.71 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 449042 0 0 0 87826 145 0 0 25 0 4 0 632391472 1596448768 305250 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1559032 CPUtime=882.27 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 383703 0 0 0 88101 126 0 0 25 0 4 0 632391472 1596448768 305250 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1559032 CPUtime=874.43 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 445655 0 0 0 87294 149 0 0 25 0 4 0 632391472 1596448768 305250 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.69
Current children cumulated vsize (KiB) 1559032

[startup+942.314 s]
/proc/loadavg: 8.15 8.12 7.94 9/362 17156
/proc/meminfo: memFree=22242792/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1509328 CPUtime=3758.03 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 1810156 0 0 0 375197 606 0 0 25 0 4 0 632391472 1545551872 324580 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 377332 324580 379 95 0 372314 0
[pid=17126/tid=17127] ppid=17124 vsize=1509328 CPUtime=939.01 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 470781 0 0 0 93746 155 0 0 25 0 4 0 632391472 1545551872 324580 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1509328 CPUtime=942.28 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 405628 0 0 0 94092 136 0 0 25 0 4 0 632391472 1545551872 324580 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1509328 CPUtime=934.44 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 468572 0 0 0 93286 158 0 0 25 0 4 0 632391472 1545551872 324580 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.03
Current children cumulated vsize (KiB) 1509328

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 7.95 9/362 17158
/proc/meminfo: memFree=22107856/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1526228 CPUtime=3997.28 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 1898798 0 0 0 399090 638 0 0 25 0 4 0 632391472 1562857472 320445 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 381557 320445 379 95 0 376539 0
[pid=17126/tid=17127] ppid=17124 vsize=1526228 CPUtime=998.3 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 494255 0 0 0 99668 162 0 0 25 0 4 0 632391472 1562857472 320445 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1526228 CPUtime=1002.27 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 429162 0 0 0 100081 146 0 0 25 0 4 0 632391472 1562857472 320445 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1526228 CPUtime=994.43 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 492123 0 0 0 99276 167 0 0 25 0 4 0 632391472 1562857472 320445 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.28
Current children cumulated vsize (KiB) 1526228

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 7.96 9/362 17159
/proc/meminfo: memFree=21976272/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1651404 CPUtime=4236.56 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 2015043 0 0 0 422980 676 0 0 25 0 4 0 632391472 1691037696 353143 33554432000 4194304 4580107 140734521331648 18446744073709551615 4321020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 412851 353143 379 95 0 407833 0
[pid=17126/tid=17127] ppid=17124 vsize=1651404 CPUtime=1058.04 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 519542 0 0 0 105633 171 0 0 25 0 4 0 632391472 1691037696 353143 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1651404 CPUtime=1062.27 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 473408 0 0 0 106070 157 0 0 25 0 4 0 632391472 1691037696 353143 33554432000 4194304 4580107 140734521331648 18446744073709551615 4416320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1651404 CPUtime=1053.98 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 514485 0 0 0 105222 176 0 0 25 0 4 0 632391472 1691037696 353143 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.56
Current children cumulated vsize (KiB) 1651404

[startup+1122.3 s]
/proc/loadavg: 8.09 8.11 7.96 9/362 17161
/proc/meminfo: memFree=22002048/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1680576 CPUtime=4475.85 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 2107229 0 0 0 446871 714 0 0 25 0 4 0 632391472 1720909824 344766 33554432000 4194304 4580107 140734521331648 18446744073709551615 4323013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 420144 344766 379 95 0 415126 0
[pid=17126/tid=17127] ppid=17124 vsize=1680576 CPUtime=1118.04 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 542819 0 0 0 111624 180 0 0 25 0 4 0 632391472 1720909824 344766 33554432000 4194304 4580107 140734521331648 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1680576 CPUtime=1122.26 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 495929 0 0 0 112061 165 0 0 25 0 4 0 632391472 1720909824 344766 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1680576 CPUtime=1113.27 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 539087 0 0 0 111141 186 0 0 25 0 4 0 632391472 1720909824 344766 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.85
Current children cumulated vsize (KiB) 1680576

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 7.97 9/362 17162
/proc/meminfo: memFree=21957504/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1554936 CPUtime=4715.13 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 2192870 0 0 0 470764 749 0 0 25 0 4 0 632391472 1592254464 350450 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 388734 350450 379 95 0 383716 0
[pid=17126/tid=17127] ppid=17124 vsize=1554936 CPUtime=1178.03 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 564268 0 0 0 117612 191 0 0 25 0 4 0 632391472 1592254464 350450 33554432000 4194304 4580107 140734521331648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1554936 CPUtime=1182.26 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 517385 0 0 0 118051 175 0 0 25 0 4 0 632391472 1592254464 350450 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1554936 CPUtime=1172.55 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 561175 0 0 0 117063 192 0 0 25 0 4 0 632391472 1592254464 350450 33554432000 4194304 4580107 140734521331648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.13
Current children cumulated vsize (KiB) 1554936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.06 8.09 7.97 10/362 17163
/proc/meminfo: memFree=22032516/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1748184 CPUtime=4800.1 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 2227066 0 0 0 479246 764 0 0 25 0 4 0 632391472 1790140416 342745 33554432000 4194304 4580107 140734521331648 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 437046 342745 379 95 0 432028 0
[pid=17126/tid=17127] ppid=17124 vsize=1748184 CPUtime=1199.35 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 574418 0 0 0 119739 196 0 0 25 0 4 0 632391472 1790140416 342753 33554432000 4194304 4580107 140734521331648 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1748184 CPUtime=1203.57 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 523152 0 0 0 120179 178 0 0 25 0 4 0 632391472 1790140416 342753 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1748184 CPUtime=1193.6 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 569482 0 0 0 119165 195 0 0 25 0 4 0 632391472 1790140416 342753 33554432000 4194304 4580107 140734521331648 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1748184

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

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

[startup+1203.6 s]
/proc/loadavg: 8.06 8.09 7.97 10/362 17163
/proc/meminfo: memFree=22032516/32951124 swapFree=65980216/67111528
[pid=17126] ppid=17124 vsize=1748184 CPUtime=4800.1 cores=1,3,5,7
/proc/17126/stat : 17126 (strangenight2-m) R 17124 17126 16886 0 -1 4202496 2227066 0 0 0 479246 764 0 0 25 0 4 0 632391472 1790140416 342745 33554432000 4194304 4580107 140734521331648 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17126/statm: 437046 342745 379 95 0 432028 0
[pid=17126/tid=17127] ppid=17124 vsize=1748184 CPUtime=1199.35 cores=1,3,5,7
/proc/17126/task/17127/stat : 17127 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 574418 0 0 0 119739 196 0 0 25 0 4 0 632391472 1790140416 342753 33554432000 4194304 4580107 140734521331648 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17126/tid=17128] ppid=17124 vsize=1748184 CPUtime=1203.57 cores=1,3,5,7
/proc/17126/task/17128/stat : 17128 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 523152 0 0 0 120179 178 0 0 25 0 4 0 632391472 1790140416 342753 33554432000 4194304 4580107 140734521331648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17126/tid=17129] ppid=17124 vsize=1748184 CPUtime=1193.6 cores=1,3,5,7
/proc/17126/task/17129/stat : 17129 (strangenight2-m) R 17124 17126 16886 0 -1 4202560 569482 0 0 0 119165 195 0 0 25 0 4 0 632391472 1790140416 342753 33554432000 4194304 4580107 140734521331648 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1748184

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.68
CPU time (s): 4800.21
CPU user time (s): 4792.5
CPU system time (s): 7.70483
CPU usage (%): 398.794
Max. virtual memory (cumulated for all children) (KiB): 1748184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.5
system time used= 7.70483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2227082
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= 7558
involuntary context switches= 18452

runsolver used 4.09238 second user time and 10.1235 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 21:02:40
IDJOB=3366248
IDBENCH=82657
IDSOLVER=1844
FILE ID=node142/3366248-1305399760
RUNJOBID= node142-1305397348-16905
PBS_JOBID= 13324456
Free space on /tmp= 73440 MiB

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

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

MD5SUM BENCH= bd4912a5ba3146c46ac3a58d7861d9a6
RANDOM SEED=317682662

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:      24263096 kB
Buffers:        312436 kB
Cached:        3831164 kB
SwapCached:      11520 kB
Active:        6034748 kB
Inactive:      2321764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24263096 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:           13600 kB
Writeback:           8 kB
AnonPages:     4208812 kB
Mapped:          20368 kB
Slab:           233988 kB
PageTables:      31420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77059176 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= 73432 MiB
End job on node142 at 2011-05-14 21:22:46