Trace number 3290854

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-1-mtUNSAT 1911.39 478.524

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290854-1304133591.cnf'
0.00/0.00	c -- header says num vars:           6664
0.00/0.00	c -- header says num clauses:       89966
0.00/0.04	c -- clauses added:            0 learnts,        89966 normals,            0 xors
0.00/0.04	c -- vars added       6664
0.00/0.04	c Parsing time:  0.10 s
0.00/0.04	c  N st     0         0      6664     73004     16962         0    425665         0   no data   no data  --
0.00/0.39	c asymm  cl-useful: 0/7956/73004 lits-rem:0 time: 1.37
0.32/0.57	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   68 Bins:      0 BRemL:      0 BRemN:      0 P:  9.5M T:  0.66
0.32/0.57	c Replacing       68 vars Replaced    42354 lits Time:     0.04 s 
0.32/1.01	c bin-w-bin subsume rem           28 bins  time:  0.01 s
0.32/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.32/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6592 time:  0.06 s
0.32/1.01	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.03 s
0.32/1.30	c lits-rem:         0  cl-subs:        4  v-elim:   1008  v-fix:    0  time:  2.70 s
0.32/1.30	c Finding binary XORs  T:     0.02 s  found:       0
0.32/1.36	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
0.32/1.36	c calculated reachability. Time: 0.00
0.32/1.36	c Calc default polars -  time:   0.01 s pos:     272 undec:    1080 neg:    5312
0.32/1.36	c =========================================================================================
0.32/1.36	c types(t): F = full restart, N = normal restart
0.32/1.36	c types(t): S = simplification begin/end, E = solution found
0.32/1.36	c restart types(rt): st = static, dy = dynamic
0.32/1.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.32/1.36	c  B st     0         0      5584     75160     13890         0    461157         0   no data   no data  --
0.32/1.55	c  N dy    19      4005      5583     75160     13996      3859    461157    117589      9.49     10.02  --
7.00/1.78	c  N dy    39      8157      5583     75160     14276      7868    461157    234324      9.32      9.93  --
7.96/2.02	c  N dy    58     12160      5582     75160     14502     11764    461157    358425      9.31     12.65  --
9.15/2.38	c  N dy    77     16647      5582     75160     14577     16147    461157    499265      9.36     10.03  --
10.37/2.69	c Finding binary XORs  T:     0.02 s  found:       0
10.77/2.76	c  N dy    95     20723      5581     75159     14737     10412    461038    200648      9.31     13.44  --
11.95/3.08	c  N dy   101     24827      5581     75159     14762     14463    461038    337481      9.15      9.68  --
11.95/3.09	c  F st   103     25000      5581     75159     14884     14635    461038    343592      9.17   no data  --
13.95/3.50	c  N dy   109     30001      5580     75158     14926     19553    461025    494993      9.17   no data  --
13.95/3.50	c  S st   109     30001      5580     75158     14926     19553    461025    494993      9.17   no data  --
14.35/3.62	c  S st   109     30502      5580     75158     14960     20020    461025    505765      9.17   no data  --
14.35/3.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
14.35/3.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   7935 BRemL:     15 BRemN:      0 P: 12.3M T:  1.53
15.94/4.02	c Replacing        1 vars Replaced       29 lits Time:     0.02 s 
15.94/4.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
16.74/4.21	c subs with bin:       84  lits-rem:      5944  v-fix:    0  time:  0.64 s
16.74/4.23	c Subs w/ non-existent bins:      1 l-rem:    544 v-fix:     0 done:   2422 time:  0.06 s
16.74/4.23	c Removed useless bin:       0  fixed:     0  props:   0.59M  time:  0.02 s
27.13/6.84	c lits-rem:      1721  cl-subs:     1662  v-elim:      2  v-fix:    0  time: 10.38 s
27.94/7.02	c asymm  cl-useful: 0/2204/74826 lits-rem:0 time: 0.69
27.94/7.02	c calculated reachability. Time: 0.01
27.94/7.02	c  N dy   109     30502      5577     74826     22849     18607    458301    483613      9.17   no data  --
27.94/7.03	c Finding binary XORs  T:     0.02 s  found:       0
29.52/7.46	c  N dy   127     34509      5574     74826     22876     22588    458301    613530      9.14      9.65  --
31.53/7.95	c  N dy   157     38592      5573     74826     24148     26659    458301    757020      9.39      9.89  --
33.91/8.50	c  N dy   188     42622      5573     74826     24149     15448    458301    290294      9.57     11.93  --
35.12/8.83	c Finding binary XORs  T:     0.02 s  found:       3
35.12/8.84	c  S st   202     45754      5572     74822     24441     18495    458200    410457      9.51   no data  --
35.52/8.93	c  S st   202     46255      5572     74822     24441     18996    458200    425212      9.51   no data  --
35.52/8.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
35.52/8.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    119 BRemL:    214 BRemN:      0 P: 12.3M T:  1.22
36.73/9.25	c Replacing        3 vars Replaced     1166 lits Time:     0.03 s 
36.73/9.28	c bin-w-bin subsume rem          859 bins  time:  0.01 s
37.51/9.42	c subs with bin:      223  lits-rem:      1737  v-fix:    0  time:  0.55 s
37.51/9.43	c Subs w/ non-existent bins:     10 l-rem:    371 v-fix:     0 done:   3439 time:  0.06 s
37.51/9.44	c Removed useless bin:       0  fixed:     0  props:   0.53M  time:  0.02 s
46.29/11.66	c lits-rem:       657  cl-subs:     2231  v-elim:      6  v-fix:    0  time:  8.85 s
46.29/11.68	c vivif2 --  cl tried    73998 cl shrink       39 lits rem         39 time: 0.07
46.29/11.69	c vivif2 --  cl tried    17373 cl shrink     1484 lits rem       3982 time: 0.06
47.09/11.87	c asymm  cl-useful: 0/3158/73998 lits-rem:0 time: 0.70
47.09/11.88	c calculated reachability. Time: 0.01
47.09/11.88	c  N dy   202     46255      5563     73998     23435     17373    452807    369942      9.51   no data  --
49.09/12.35	c  N dy   223     50377      5562     73998     23451     21475    452807    518652      9.50     10.19  --
51.49/12.92	c  N dy   235     54617      5561     73998     23451     25675    452807    648401      9.41     10.14  --
53.49/13.48	c  N dy   265     58630      5561     73998     23453     29677    452807    784847      9.50     12.93  --
55.89/14.09	c  N dy   290     62685      5561     73998     23454     33713    452807    928084      9.54     12.96  --
58.69/14.73	c  N dy   316     66690      5561     73998     23459     19176    452807    347910      9.59     12.53  --
59.87/15.06	c  S st   336     69382      5561     73998     23461     21847    452807    443607      9.62      9.18  --
60.27/15.16	c  S st   336     69884      5561     73998     23461     22348    452807    463518      9.62   no data  --
60.27/15.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
60.27/15.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.48/15.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    123 BRemL:      3 BRemN:      0 P: 12.5M T:  1.24
61.88/15.51	c bin-w-bin subsume rem            1 bins  time:  0.01 s
62.28/15.64	c subs with bin:        2  lits-rem:        27  v-fix:    0  time:  0.52 s
62.28/15.66	c Subs w/ non-existent bins:     47 l-rem:    509 v-fix:     0 done:   3148 time:  0.06 s
62.28/15.66	c Removed useless bin:       0  fixed:     0  props:   0.50M  time:  0.02 s
72.28/18.11	c lits-rem:      1133  cl-subs:      492  v-elim:      1  v-fix:    0  time:  9.74 s
72.28/18.12	c vivif2 --  cl tried    73999 cl shrink        0 lits rem          0 time: 0.07
72.28/18.14	c vivif2 --  cl tried    21810 cl shrink      581 lits rem       2295 time: 0.07
73.06/18.33	c asymm  cl-useful: 0/2594/73999 lits-rem:0 time: 0.73
73.06/18.33	c calculated reachability. Time: 0.01
73.06/18.33	c  N dy   336     69884      5560     73999     23541     21810    452755    451565      9.62   no data  --
76.28/19.13	c  N dy   351     75077      5560     73999     23545     26982    452755    761586      9.55     10.10  --
76.28/19.14	c Finding binary XORs  T:     0.02 s  found:       0
79.05/19.89	c  N dy   365     79866      5558     73999     23838     31749    452709    998107      9.49     10.24  --
83.05/20.85	c  N dy   394     85286      5558     73999     23841     37141    452709   1201717      9.52     10.07  --
84.65/21.25	c  F st   406     87502      5558     73999     23842     39349    452709   1288259      9.53   no data  --
87.04/21.83	c  N st   411     90801      5558     73999     23822     21925    452663    417518      9.53   no data  --
90.24/22.63	c  N dy   436     96688      5558     73999     24030     27776    452663    615866      9.56     10.55  --
93.43/23.45	c  N dy   470    102942      5558     73999     24036     33991    452663    831750      9.55     10.06  --
94.63/23.79	c  S st   481    104827      5558     73999     24036     35870    452663    907465      9.55   no data  --
95.43/23.95	c  S st   481    105330      5558     73999     24036     36373    452663    925065      9.55   no data  --
95.43/23.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
95.43/23.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.03/24.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    116 BRemL:     23 BRemN:      0 P: 14.6M T:  1.53
97.03/24.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
98.65/24.77	c subs with bin:       78  lits-rem:       488  v-fix:    0  time:  1.51 s
98.65/24.79	c Subs w/ non-existent bins:      4 l-rem:    361 v-fix:     0 done:   3788 time:  0.06 s
98.65/24.79	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
106.62/26.72	c lits-rem:       788  cl-subs:      861  v-elim:      0  v-fix:    0  time:  7.68 s
106.62/26.73	c vivif2 --  cl tried    73999 cl shrink        0 lits rem          0 time: 0.07
106.62/26.78	c vivif2 --  cl tried    35430 cl shrink     3049 lits rem      12338 time: 0.17
107.43/26.96	c asymm  cl-useful: 0/2569/73999 lits-rem:0 time: 0.72
107.43/26.97	c calculated reachability. Time: 0.01
107.43/26.97	c  N dy   481    105330      5558     73999     24129     35430    452663    895326      9.55   no data  --
109.01/27.34	c Finding binary XORs  T:     0.02 s  found:       0
113.00/28.33	c  N dy   490    112175      5558     73999     24301     42243    452663   1350893      9.47     10.03  --
117.80/29.54	c  N dy   521    119336      5558     73999     24313     27083    452663    571559      9.44      9.94  --
123.40/30.94	c  N dy   540    127489      5557     73999     24335     35129    452663    912562      9.35     10.03  --
129.40/32.41	c  N dy   566    136855      5557     73999     24617     44420    452663   1485677      9.27      9.97  --
133.79/33.55	c Finding binary XORs  T:     0.02 s  found:       0
134.96/33.81	c  N dy   614    145599      5557     73999     24597     29358    452617    577155      9.28      9.81  --
141.36/35.41	c  N dy   673    155119      5555     73999     24604     38825    452617    945281      9.31      9.91  --
143.35/35.93	c  S st   687    157995      5555     73999     24612     41675    452617   1042175      9.31   no data  --
144.15/36.10	c  S st   687    158495      5555     73999     24612     42175    452617   1059080      9.31   no data  --
144.15/36.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
144.15/36.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.75/36.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    121 BRemL:     39 BRemN:      0 P: 15.4M T:  1.61
145.75/36.57	c bin-w-bin subsume rem            1 bins  time:  0.01 s
147.74/37.07	c subs with bin:      184  lits-rem:      2625  v-fix:    0  time:  2.00 s
147.74/37.08	c Subs w/ non-existent bins:      1 l-rem:    113 v-fix:     0 done:   1588 time:  0.05 s
147.74/37.09	c Removed useless bin:       0  fixed:     0  props:   0.45M  time:  0.02 s
158.13/39.67	c lits-rem:      1117  cl-subs:     2581  v-elim:      2  v-fix:    0  time: 10.30 s
158.13/39.69	c vivif2 --  cl tried    73993 cl shrink        3 lits rem          6 time: 0.07
158.53/39.74	c vivif2 --  cl tried    38761 cl shrink     4364 lits rem      14600 time: 0.20
159.33/39.93	c asymm  cl-useful: 0/2490/73993 lits-rem:0 time: 0.78
159.33/39.94	c calculated reachability. Time: 0.01
159.33/39.94	c  N dy   687    158495      5553     73993     24626     38761    452477    952508      9.31   no data  --
167.72/42.09	c  N dy   737    169140      5552     73993     24643     25089    452477    405532      9.31      9.81  --
174.50/43.70	c  N dy   787    180000      5552     73993     24657     35882    452477    822047      9.30      9.83  --
183.30/46.00	c  N dy   848    191528      5552     73993     24666     47346    452477   1312468      9.31     12.59  --
191.28/47.90	c  N dy   895    203927      5552     73993     24673     34136    452477    774348      9.29      9.82  --
194.08/48.62	c Finding binary XORs  T:     0.02 s  found:       0
200.87/50.36	c  N dy   946    217046      5551     73991     24809     46129    452449   1308625      9.28      9.81  --
211.66/53.05	c  N dy  1017    230930      5551     73991     24825     33755    452449    688119      9.29     10.46  --
215.65/54.04	c  S st  1052    237744      5551     73991     24829     40534    452449    994918      9.30      7.53  --
216.45/54.24	c  S st  1052    238248      5551     73991     24829     41037    452449   1010302      9.30   no data  --
216.45/54.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
216.45/54.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.04/54.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    153 BRemL:     44 BRemN:      0 P: 15.4M T:  1.66
218.44/54.71	c bin-w-bin subsume rem            3 bins  time:  0.01 s
220.45/55.27	c subs with bin:      286  lits-rem:      1881  v-fix:    0  time:  2.22 s
220.45/55.28	c Subs w/ non-existent bins:     55 l-rem:    470 v-fix:     0 done:   1619 time:  0.06 s
220.45/55.29	c Removed useless bin:       0  fixed:     0  props:   0.45M  time:  0.02 s
229.64/57.57	c lits-rem:      1082  cl-subs:     3274  v-elim:      4  v-fix:    0  time:  9.10 s
229.64/57.59	c vivif2 --  cl tried    73940 cl shrink        4 lits rem          4 time: 0.07
230.05/57.63	c vivif2 --  cl tried    37481 cl shrink     2502 lits rem      11281 time: 0.17
230.83/57.84	c asymm  cl-useful: 0/2797/73940 lits-rem:0 time: 0.82
230.83/57.84	c calculated reachability. Time: 0.01
230.83/57.84	c  N dy  1052    238248      5547     73940     24888     37481    452029    898082      9.30   no data  --
232.03/58.18	c Finding binary XORs  T:     0.02 s  found:       0
242.81/60.80	c  N dy  1114    253815      5547     73940     25148     52904    452029   1549613      9.27      9.77  --
253.99/63.68	c  N dy  1189    270034      5546     73940     25159     41561    452029    907936      9.26      9.79  --
269.59/67.54	c  N dy  1276    287322      5546     73940     25181     30084    452029    449940      9.28      9.77  --
283.18/70.97	c  N dy  1365    305691      5546     73940     25203     48254    452029   1148141      9.28     11.11  --
283.96/71.10	c  F st  1368    306251      5546     73940     25203     48810    452029   1168185      9.28   no data  --
293.94/73.68	c Finding binary XORs  T:     0.02 s  found:       0
298.74/74.85	c  N dy  1429    325288      5546     73939     25512     37976    452016    766642      9.27      9.79  --
315.92/79.19	c  N dy  1525    345558      5545     73939     25525     58070    452016   1505052      9.26      9.83  --
325.10/81.48	c  S st  1579    357374      5545     73939     25539     39107    452016    675657      9.25      9.83  --
325.90/81.63	c  S st  1579    357874      5545     73939     25539     39607    452016    692796      9.25   no data  --
325.90/81.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
325.90/81.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
327.49/82.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    180 BRemL:     84 BRemN:      0 P: 14.6M T:  1.47
327.49/82.05	c bin-w-bin subsume rem            5 bins  time:  0.01 s
328.70/82.34	c subs with bin:      668  lits-rem:      3801  v-fix:    0  time:  1.16 s
328.70/82.36	c Subs w/ non-existent bins:     44 l-rem:    976 v-fix:     0 done:   2196 time:  0.07 s
328.70/82.36	c Removed useless bin:       0  fixed:     0  props:   0.45M  time:  0.02 s
335.09/83.97	c lits-rem:      1373  cl-subs:     3658  v-elim:     13  v-fix:    0  time:  6.44 s
335.09/83.99	c vivif2 --  cl tried    73947 cl shrink        0 lits rem          0 time: 0.07
335.51/84.02	c vivif2 --  cl tried    35095 cl shrink     1540 lits rem       5275 time: 0.12
336.28/84.21	c asymm  cl-useful: 16/3451/73947 lits-rem:32 time: 0.76
336.28/84.22	c calculated reachability. Time: 0.01
336.28/84.22	c  N dy  1579    357874      5532     73947     25464     35095    452059    583020      9.25   no data  --
341.88/85.64	c Finding binary XORs  T:     0.02 s  found:       0
352.67/88.36	c  N dy  1681    377899      5531     73946     25444     54804    452046   1329063      9.25      9.75  --
370.24/92.72	c  N dy  1779    398143      5530     73946     25635     43378    452046    859333      9.26      9.79  --
379.85/95.13	c Finding binary XORs  T:     0.02 s  found:       0
388.63/97.37	c  N dy  1888    418585      5528     73944     25524     61176    451974   1616576      9.27      9.77  --
404.20/101.21	c  N dy  1989    438643      5528     73944     25536     49745    451974   1096154      9.30     11.19  --
422.97/105.95	c  N dy  2101    458684      5528     73944     25544     36591    451974    538010      9.31     16.29  --
440.55/110.37	c  N dy  2204    479252      5528     73944     25555     57022    451974   1276586      9.33      9.83  --
460.92/115.47	c  N dy  2338    499280      5528     73944     25563     42519    451974    724671      9.37     14.26  --
480.09/120.28	c  N dy  2442    519359      5527     73944     25574     62481    451974   1469710      9.39      9.92  --
497.27/124.57	c  S st  2537    536811      5527     73944     25588     44195    451974    737778      9.41   no data  --
498.08/124.75	c  S st  2537    537315      5527     73944     25588     44697    451974    755508      9.41   no data  --
498.08/124.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
498.08/124.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
499.66/125.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    221 BRemL:     85 BRemN:      0 P: 15.3M T:  1.67
500.07/125.23	c bin-w-bin subsume rem            7 bins  time:  0.01 s
501.27/125.54	c subs with bin:      379  lits-rem:      2160  v-fix:    0  time:  1.25 s
501.27/125.56	c Subs w/ non-existent bins:    108 l-rem:   1384 v-fix:     0 done:    545 time:  0.07 s
501.27/125.56	c Removed useless bin:       0  fixed:     0  props:   0.46M  time:  0.02 s
508.85/127.45	c lits-rem:      1471  cl-subs:     2492  v-elim:      6  v-fix:    0  time:  7.53 s
508.85/127.47	c vivif2 --  cl tried    73844 cl shrink       13 lits rem         31 time: 0.07
509.25/127.50	c vivif2 --  cl tried    41730 cl shrink     2453 lits rem       8054 time: 0.15
510.05/127.72	c asymm  cl-useful: 25/2540/73844 lits-rem:42 time: 0.86
510.05/127.73	c calculated reachability. Time: 0.01
510.05/127.73	c  N dy  2537    537315      5521     73844     25599     41730    451314    692965      9.41   no data  --
510.05/127.73	c Finding binary XORs  T:     0.02 s  found:       0
528.84/132.42	c  N dy  2628    557402      5521     73844     25607     61715    451314   1512205      9.40     12.85  --
550.00/137.74	c  N dy  2723    577717      5521     73844     25619     45271    451314    781966      9.40      9.91  --
569.17/142.59	c  N dy  2800    598064      5521     73844     25626     65474    451314   1579806      9.38      9.93  --
589.55/147.68	c  N dy  2886    618956      5521     73844     25636     48547    451314    849097      9.37      9.90  --
610.31/152.87	c  N dy  2964    639025      5521     73844     25647     68417    451314   1574169      9.36      9.92  --
631.09/158.02	c  N dy  3046    659232      5521     73844     25659     49823    451314    856345      9.35      9.91  --
642.27/160.85	c Finding binary XORs  T:     0.02 s  found:       0
651.07/163.02	c  N dy  3140    679401      5521     73844     25920     69779    451314   1622475      9.35      9.84  --
671.44/168.15	c  N dy  3207    699917      5521     73844     25938     50427    451314    851678      9.33      9.86  --
693.40/173.64	c  N dy  3310    720472      5521     73844     25949     70770    451314   1621215      9.34      9.92  --
713.40/178.68	c Finding binary XORs  T:     0.02 s  found:       0
713.80/178.79	c  N dy  3387    740566      5521     73844     26215     50074    451314    775276      9.33      9.85  --
734.16/183.83	c  N dy  3473    760649      5520     73844     26236     69983    451314   1519203      9.32      9.83  --
754.52/188.96	c  N dy  3564    780696      5520     73844     26255     48237    451314    735059      9.31     11.46  --
768.90/192.58	c Finding binary XORs  T:     0.02 s  found:       0
773.29/193.69	c  N dy  3652    801229      5520     73843     26570     68145    451301   1457947      9.31      9.81  --
778.49/194.97	c  S st  3675    805972      5520     73843     26574     72835    451301   1615388      9.31      8.75  --
779.31/195.20	c  S st  3675    806473      5520     73843     26574     73335    451301   1630271      9.31   no data  --
779.71/195.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
779.71/195.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
781.69/195.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    170 BRemL:    102 BRemN:      0 P: 17.9M T:  2.02
781.69/195.79	c bin-w-bin subsume rem            4 bins  time:  0.01 s
786.07/196.85	c subs with bin:     1201  lits-rem:      5242  v-fix:    0  time:  4.25 s
786.07/196.87	c Subs w/ non-existent bins:      7 l-rem:   1453 v-fix:     0 done:    766 time:  0.07 s
786.07/196.88	c Removed useless bin:       0  fixed:     0  props:   0.45M  time:  0.02 s
806.07/201.86	c lits-rem:      2000  cl-subs:     7618  v-elim:      7  v-fix:    0  time: 19.88 s
806.07/201.88	c vivif2 --  cl tried    73774 cl shrink        8 lits rem         24 time: 0.07
806.45/201.97	c vivif2 --  cl tried    64598 cl shrink     7470 lits rem      27942 time: 0.37
807.64/202.23	c asymm  cl-useful: 29/2114/73774 lits-rem:29 time: 1.03
807.64/202.24	c calculated reachability. Time: 0.01
807.64/202.24	c  N dy  3675    806473      5513     73774     26536     64593    450828   1369056      9.31   no data  --
832.03/208.39	c  N dy  3776    826526      5512     73774     26552     84409    450828   2072396      9.31     10.34  --
836.83/209.55	c Finding binary XORs  T:     0.02 s  found:       0
850.39/212.93	c  N dy  3874    846567      5511     73772     26471     60518    450802   1183158      9.31     12.80  --
875.97/219.32	c  N dy  3967    866823      5511     73772     26481     80560    450802   1871781      9.31      9.85  --
896.73/224.53	c  N dy  4074    887018      5511     73772     26494     57789    450802    996270      9.31     10.35  --
917.50/229.70	c  N dy  4160    907028      5511     73772     26512     77569    450802   1686660      9.31     12.71  --
939.46/235.29	c  N dy  4243    927082      5510     73772     26545     53267    450802    802871      9.31     11.00  --
961.04/240.60	c  N dy  4342    947173      5509     73772     26554     73168    450802   1519026      9.31     10.65  --
985.01/246.62	c  N dy  4430    967406      5509     73772     26570     47914    450802    591867      9.31      9.82  --
1004.98/251.67	c  N dy  4528    988590      5507     73772     26594     68878    450802   1340200      9.31      9.91  --
1030.17/257.96	c  N dy  4658   1008594      5507     73772     26607     88701    450802   2099248      9.33     15.77  --
1050.52/263.06	c  N dy  4745   1028627      5506     73772     26627     62111    450801   1057674      9.33     13.16  --
1074.11/268.92	c  N dy  4887   1048669      5506     73772     26645     81982    450801   1785152      9.35     13.53  --
1097.66/274.82	c Finding binary XORs  T:     0.02 s  found:       0
1099.66/275.32	c  N dy  5004   1068741      5506     73768     26440     52639    450701    756029      9.37     11.12  --
1102.46/276.04	c  F st  5019   1071877      5506     73768     26448     55747    450701    849056      9.37   no data  --
1120.82/280.69	c  N dy  5100   1089306      5506     73768     26455     73007    450701   1443481      9.37      9.87  --
1148.81/287.65	c  N dy  5220   1109729      5505     73768     26468     93237    450701   2185876      9.39      9.89  --
1167.56/292.39	c  N dy  5330   1130037      5505     73768     26489     65724    450701   1156641      9.39      9.91  --
1189.93/297.93	c  N dy  5452   1150127      5505     73768     26511     85643    450701   1864989      9.41     10.48  --
1192.34/298.53	c Finding binary XORs  T:     0.02 s  found:       0
1215.09/304.24	c  N dy  5566   1172016      5504     73767     26829     57923    450686    875418      9.42     10.05  --
1238.27/310.04	c  N dy  5700   1192192      5503     73767     26843     77921    450686   1622121      9.44      9.94  --
1261.84/315.96	c  S st  5802   1209709      5503     73767     26849     95230    450686   2221117      9.45   no data  --
1263.43/316.37	c  S st  5802   1210210      5503     73767     26849     95731    450686   2236854      9.45   no data  --
1263.43/316.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1263.43/316.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1266.63/317.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    200 BRemL:    204 BRemN:      0 P: 20.8M T:  2.99
1267.05/317.25	c bin-w-bin subsume rem           15 bins  time:  0.01 s
1273.42/318.87	c subs with bin:     1486  lits-rem:     11525  v-fix:    0  time:  6.45 s
1273.42/318.90	c Subs w/ non-existent bins:     82 l-rem:   2294 v-fix:     0 done:   2203 time:  0.10 s
1273.82/318.90	c Removed useless bin:       0  fixed:     0  props:   0.45M  time:  0.02 s
1312.17/328.59	c lits-rem:      2033  cl-subs:    15833  v-elim:     18  v-fix:    0  time: 38.66 s
1312.57/328.60	c vivif2 --  cl tried    73496 cl shrink       20 lits rem         20 time: 0.08
1312.97/328.73	c vivif2 --  cl tried    77359 cl shrink    10124 lits rem      34785 time: 0.49
1314.17/329.00	c asymm  cl-useful: 8/2168/73496 lits-rem:8 time: 1.07
1314.17/329.00	c calculated reachability. Time: 0.01
1314.17/329.00	c  N dy  5802   1210210      5485     73496     26493     77356    448562   1664604      9.45   no data  --
1314.17/329.01	c Finding binary XORs  T:     0.02 s  found:       0
1336.13/334.51	c Finding binary XORs  T:     0.02 s  found:       0
1342.92/336.20	c  N dy  5892   1230212      5484     73495     26851     96555    448549   2396976      9.44     12.33  --
1363.29/341.30	c  N dy  5955   1250282      5484     73495     26863     67346    448549   1226213      9.43      9.99  --
1388.07/347.59	c  N dy  6026   1270396      5484     73495     26874     87275    448549   1939597      9.43      9.97  --
1415.23/354.31	c  N dy  6104   1290538      5484     73495     26890     56449    448549    767684      9.42     10.12  --
1435.20/359.38	c  N dy  6178   1310556      5484     73495     26898     76302    448549   1449250      9.41      9.92  --
1458.77/365.21	c  N dy  6263   1330660      5484     73495     26916     96204    448549   2150826      9.41      9.93  --
1481.54/370.93	c  N dy  6328   1350793      5484     73495     26935     63968    448549    994887      9.40      9.93  --
1501.51/375.98	c  N dy  6408   1370856      5483     73495     26957     83788    448549   1636603      9.39     10.72  --
1531.09/383.33	c  N dy  6480   1391022      5483     73495     26976    103738    448549   2322571      9.39     10.09  --
1552.25/388.64	c  N dy  6558   1411070      5482     73495     27003     70335    448549   1169098      9.38      9.97  --
1577.81/395.03	c  N dy  6659   1432062      5480     73495     27015     91126    448549   1917637      9.38      9.88  --
1606.57/402.27	c  N dy  6737   1452091      5478     73495     27038     56567    448549    646943      9.38     13.20  --
1614.18/404.15	c Finding binary XORs  T:     0.02 s  found:       0
1627.36/407.47	c  N dy  6842   1472159      5477     73490     26854     74013    448438   1328235      9.38      9.91  --
1652.51/413.72	c  N dy  6932   1492219      5477     73490     26880     93864    448438   2032888      9.38     11.17  --
1680.49/420.79	c  N dy  7049   1512402      5476     73490     26901     59690    448438    778748      9.38      9.92  --
1703.24/426.42	c  N dy  7144   1532635      5476     73490     26911     79727    448438   1456649      9.38      9.90  --
1730.40/433.22	c  N dy  7227   1552666      5458     73490     26928     99594    448438   2142463      9.38     11.14  --
1757.97/440.12	c  N dy  7316   1572934      5458     73490     26954     63850    448438    891988      9.38      9.91  --
1779.54/445.56	c  N dy  7369   1593015      5455     73490     26991     83692    448438   1578231      9.37      9.87  --
1810.30/453.21	c  N dy  7471   1613240      5453     73490     27020    103672    448438   2298884      9.37     10.00  --
1813.50/454.00	c Finding binary XORs  T:     0.02 s  found:       0
1836.67/459.86	c  N dy  7549   1633913      5452     73413     27201     64778    447591    948875      9.36      9.86  --
1860.24/465.79	c  N dy  7667   1654218      5452     73413     27221     84880    447591   1636313      9.37     10.15  --
1889.80/473.17	c  N dy  7752   1674408      5451     73413     27244    104837    447591   2305564      9.36      9.89  --
1906.57/477.36	c Finding binary XORs  T:     0.02 s  found:       5
1910.96/478.49	c Following stats are for *FIRST FINISHED THREAD ONLY*
1910.96/478.49	c num threads              : 4          
1910.96/478.49	c restarts                 : 8044       
1910.96/478.49	c dynamic restarts         : 8014       
1910.96/478.49	c static restarts          : 30         
1910.96/478.49	c full restarts            : 4          
1910.96/478.49	c total simplify time      : 1.68       
1910.96/478.49	c learnts DL2              : 0          
1910.96/478.49	c learnts size 2           : 34848      
1910.96/478.49	c learnts size 1           : 1451        (21.77     % of vars)
1910.96/478.49	c filedLit time            : 13.46       (0.70      % time)
1910.96/478.49	c v-elim SatELite          : 1102        (16.54     % vars)
1910.96/478.49	c SatELite time            : 70.83       (3.71      % time)
1910.96/478.49	c v-elim xor               : 0           (0.00      % vars)
1910.96/478.49	c xor elim time            : 0.21        (0.01      % time)
1910.96/478.49	c num binary xor trees     : 72         
1910.96/478.49	c binxor trees' crown      : 74          (1.03      leafs/tree)
1910.96/478.49	c bin xor find time        : 0.48       
1910.96/478.49	c OTF clause improved      : 24967       (0.01      clauses/conflict)
1910.96/478.49	c OTF impr. size diff      : 32295       (1.29       lits/clause)
1910.96/478.49	c OTF cl watch-shrink      : 1439712     (0.72      clauses/conflict)
1910.96/478.49	c OTF cl watch-sh-lit      : 6610803     (4.59       lits/clause)
1910.96/478.49	c tried to recurMin cls    : 712584      (35.76      % of conflicts)
1910.96/478.49	c updated cache            : 24082       (0.03       lits/tried recurMin)
1910.96/478.49	c unit cls received        : 57          (3.93      % of units)
1910.96/478.49	c unit cls sent            : 258         (17.78     % of units)
1910.96/478.49	c bin cls received         : 7461       
1910.96/478.49	c bin cls sent             : 3096       
1910.96/478.49	c clauses over max glue    : 0           (0.00      % of all clauses)
1910.96/478.49	c conflicts                : 1992920     (1043.64   / sec)
1910.96/478.49	c decisions                : 2928697     (0.72      % random)
1910.96/478.49	c bogo-props               : 43295760684 (22672938.65 / sec)
1910.96/478.49	c conflict literals        : 72520525    (44.53     % deleted)
1910.96/478.49	c Memory used              : 635.86      MB
1910.96/478.49	c single-thread CPU time   : 1909.58     s
1910.96/478.49	c all-threads sum CPU time : 1909.58     s
1910.96/478.49	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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

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

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


[startup+0 s]
/proc/loadavg: 7.74 6.07 6.19 6/180 7991
/proc/meminfo: memFree=27637360/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 603589750 52465664 353 33554432000 4194304 4650419 140734621243904 18446744073709551615 47355794433964 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 12809 353 303 112 0 7774 0
[pid=7991/tid=7992] ppid=7989 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603589750 52465664 353 33554432000 4194304 4650419 140734621243904 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 603589750 52465664 353 33554432000 4194304 4650419 140734621243904 18446744073709551615 47355794433970 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 603589750 52465664 353 33554432000 4194304 4650419 140734621243904 18446744073709551615 47355794433970 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0415029 s]
/proc/loadavg: 7.74 6.07 6.19 6/180 7991
/proc/meminfo: memFree=27637360/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=293568 CPUtime=0.32 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 9769 0 0 0 29 3 0 0 25 0 4 0 603589750 300613632 9253 33554432000 4194304 4650419 140734621243904 18446744073709551615 231895533751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 73392 9347 369 112 0 68357 0
[pid=7991/tid=7992] ppid=7989 vsize=320008 CPUtime=0.38 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) D 7989 7991 7283 0 -1 4202560 3330 0 0 0 38 0 0 0 18 0 4 0 603589750 327688192 12387 33554432000 4194304 4650419 140734621243904 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=320008 CPUtime=0.37 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 3895 0 0 0 37 0 0 0 18 0 4 0 603589750 327688192 12387 33554432000 4194304 4650419 140734621243904 18446744073709551615 231895533703 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=320008 CPUtime=0.38 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 2655 0 0 0 38 0 0 0 18 0 4 0 603589750 327688192 11880 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 293568

[startup+1.01122 s]
/proc/loadavg: 7.74 6.07 6.19 6/180 7991
/proc/meminfo: memFree=27637360/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=323072 CPUtime=7 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 33646 0 0 0 692 8 0 0 19 0 4 0 603589750 330825728 28431 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 80768 28431 394 112 0 75733 0
[pid=7991/tid=7992] ppid=7989 vsize=323072 CPUtime=1.74 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9384 0 0 0 172 2 0 0 19 0 4 0 603589750 330825728 28431 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=323072 CPUtime=1.74 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9742 0 0 0 172 2 0 0 19 0 4 0 603589750 330825728 28431 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=323072 CPUtime=1.74 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 4906 0 0 0 173 1 0 0 19 0 4 0 603589750 330825728 28431 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 323072

[startup+1.86125 s]
/proc/loadavg: 7.74 6.07 6.19 6/180 7991
/proc/meminfo: memFree=27637360/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=323072 CPUtime=7.4 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 33868 0 0 0 732 8 0 0 19 0 4 0 603589750 330825728 28653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 80768 28653 394 112 0 75733 0
[pid=7991/tid=7992] ppid=7989 vsize=323072 CPUtime=1.84 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9434 0 0 0 182 2 0 0 19 0 4 0 603589750 330825728 28653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=323072 CPUtime=1.84 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9799 0 0 0 182 2 0 0 19 0 4 0 603589750 330825728 28653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4333238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=323072 CPUtime=1.84 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 4964 0 0 0 183 1 0 0 19 0 4 0 603589750 330825728 28653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363538 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 323072

[startup+1.96123 s]
/proc/loadavg: 7.74 6.07 6.19 6/180 7991
/proc/meminfo: memFree=27637360/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=323072 CPUtime=7.8 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 34060 0 0 0 772 8 0 0 19 0 4 0 603589750 330825728 28845 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 80768 28845 394 112 0 75733 0
[pid=7991/tid=7992] ppid=7989 vsize=323072 CPUtime=1.94 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9484 0 0 0 192 2 0 0 19 0 4 0 603589750 330825728 28845 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366769 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=323072 CPUtime=1.94 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9850 0 0 0 192 2 0 0 19 0 4 0 603589750 330825728 28845 33554432000 4194304 4650419 140734621243904 18446744073709551615 4315057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=323072 CPUtime=1.94 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 5002 0 0 0 193 1 0 0 19 0 4 0 603589750 330825728 28845 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 323072

[startup+2.00122 s]
/proc/loadavg: 7.74 6.07 6.19 6/180 7991
/proc/meminfo: memFree=27637360/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=323072 CPUtime=7.96 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 34138 0 0 0 788 8 0 0 19 0 4 0 603589750 330825728 28923 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364856 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 80768 28923 394 112 0 75733 0
[pid=7991/tid=7992] ppid=7989 vsize=323072 CPUtime=1.98 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9506 0 0 0 196 2 0 0 19 0 4 0 603589750 330825728 28923 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=323072 CPUtime=1.98 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 9872 0 0 0 196 2 0 0 19 0 4 0 603589750 330825728 28923 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=323072 CPUtime=1.98 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 5020 0 0 0 197 1 0 0 19 0 4 0 603589750 330825728 28923 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 323072

[startup+3.10102 s]
/proc/loadavg: 7.74 6.07 6.19 9/184 7995
/proc/meminfo: memFree=27519080/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=327028 CPUtime=12.35 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 39669 0 0 0 1225 10 0 0 22 0 4 0 603589750 334876672 28618 33554432000 4194304 4650419 140734621243904 18446744073709551615 231895157722 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 81757 28618 394 112 0 76722 0
[pid=7991/tid=7992] ppid=7989 vsize=327028 CPUtime=3.07 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 10868 0 0 0 305 2 0 0 21 0 4 0 603589750 334876672 28618 33554432000 4194304 4650419 140734621243904 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=327028 CPUtime=3.08 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 11362 0 0 0 306 2 0 0 22 0 4 0 603589750 334876672 28618 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=327028 CPUtime=3.07 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 6372 0 0 0 306 1 0 0 22 0 4 0 603589750 334876672 28618 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 327028

[startup+6.30042 s]
/proc/loadavg: 7.76 6.10 6.20 9/184 7995
/proc/meminfo: memFree=27457600/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=366008 CPUtime=25.12 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 59625 0 0 0 2499 13 0 0 25 0 4 0 603589750 374792192 46653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 91502 46653 395 112 0 86467 0
[pid=7991/tid=7992] ppid=7989 vsize=366008 CPUtime=6.25 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 15494 0 0 0 623 2 0 0 25 0 4 0 603589750 374792192 46653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4475954 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=366008 CPUtime=6.28 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 15532 0 0 0 625 3 0 0 25 0 4 0 603589750 374792192 46653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=366008 CPUtime=6.27 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 14269 0 0 0 625 2 0 0 25 0 4 0 603589750 374792192 46653 33554432000 4194304 4650419 140734621243904 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 366008

[startup+12.7002 s]
/proc/loadavg: 7.78 6.13 6.21 9/184 7995
/proc/meminfo: memFree=27436408/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=367868 CPUtime=50.69 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 76441 0 0 0 5051 18 0 0 25 0 4 0 603589750 376696832 47746 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 91967 47746 395 112 0 86932 0
[pid=7991/tid=7992] ppid=7989 vsize=367868 CPUtime=12.62 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 21087 0 0 0 1258 4 0 0 25 0 4 0 603589750 376696832 47746 33554432000 4194304 4650419 140734621243904 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=367868 CPUtime=12.68 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 20552 0 0 0 1264 4 0 0 25 0 4 0 603589750 376696832 47746 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=367868 CPUtime=12.68 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 17377 0 0 0 1264 4 0 0 25 0 4 0 603589750 376696832 47746 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 367868

[startup+25.5008 s]
/proc/loadavg: 7.89 6.21 6.23 9/184 7996
/proc/meminfo: memFree=27398820/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=393020 CPUtime=101.82 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 103782 0 0 0 10156 26 0 0 25 0 4 0 603589750 402452480 56250 33554432000 4194304 4650419 140734621243904 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 98255 56250 395 112 0 93220 0
[pid=7991/tid=7992] ppid=7989 vsize=393020 CPUtime=25.35 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 27215 0 0 0 2530 5 0 0 25 0 4 0 603589750 402452480 56250 33554432000 4194304 4650419 140734621243904 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=393020 CPUtime=25.48 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 28485 0 0 0 2541 7 0 0 25 0 4 0 603589750 402452480 56250 33554432000 4194304 4650419 140734621243904 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=393020 CPUtime=25.48 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 23705 0 0 0 2542 6 0 0 25 0 4 0 603589750 402452480 56250 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 393020

[startup+51.107 s]
/proc/loadavg: 7.93 6.38 6.29 9/184 7996
/proc/meminfo: memFree=27343288/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=523164 CPUtime=204.09 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 143860 0 0 0 20370 39 0 0 25 0 4 0 603589750 535719936 67499 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 130791 67499 395 112 0 125756 0
[pid=7991/tid=7992] ppid=7989 vsize=523164 CPUtime=50.81 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 36855 0 0 0 5073 8 0 0 25 0 4 0 603589750 535719936 67499 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=523164 CPUtime=51.08 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 39190 0 0 0 5098 10 0 0 25 0 4 0 603589750 535719936 67499 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=523164 CPUtime=51.08 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 30342 0 0 0 5100 8 0 0 25 0 4 0 603589750 535719936 67499 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 523164

[startup+102.3 s]
/proc/loadavg: 8.02 6.64 6.38 9/184 7998
/proc/meminfo: memFree=27349460/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=528728 CPUtime=408.59 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 204309 0 0 0 40797 62 0 0 25 0 4 0 603589750 541417472 72727 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 132182 72727 399 112 0 127147 0
[pid=7991/tid=7992] ppid=7989 vsize=528728 CPUtime=101.74 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 52104 0 0 0 10160 14 0 0 25 0 4 0 603589750 541417472 72727 33554432000 4194304 4650419 140734621243904 18446744073709551615 4328352 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=528728 CPUtime=102.27 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 55058 0 0 0 10210 17 0 0 25 0 4 0 603589750 541417472 72727 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=528728 CPUtime=102.27 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 44956 0 0 0 10214 13 0 0 25 0 4 0 603589750 541417472 72727 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 528728

[startup+162.3 s]

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

/proc/7991/statm: 140182 81406 395 112 0 135147 0
[pid=7991/tid=7992] ppid=7989 vsize=560728 CPUtime=161.41 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 69693 0 0 0 16121 20 0 0 25 0 4 0 603589750 574185472 81406 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=560728 CPUtime=162.27 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 70898 0 0 0 16202 25 0 0 25 0 4 0 603589750 574185472 81406 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=560728 CPUtime=162.28 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 56132 0 0 0 16210 18 0 0 25 0 4 0 603589750 574185472 81406 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 560728

[startup+222.301 s]
/proc/loadavg: 8.12 7.13 6.58 9/184 8001
/proc/meminfo: memFree=27263924/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=594544 CPUtime=887.94 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 313517 0 0 0 88691 103 0 0 25 0 4 0 603589750 608813056 90412 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 148636 90412 395 112 0 143601 0
[pid=7991/tid=7992] ppid=7989 vsize=594544 CPUtime=221.09 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 83262 0 0 0 22084 25 0 0 25 0 4 0 603589750 608813056 90412 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=594544 CPUtime=222.28 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 88289 0 0 0 22196 32 0 0 25 0 4 0 603589750 608813056 90412 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=594544 CPUtime=222.28 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 63994 0 0 0 22207 21 0 0 25 0 4 0 603589750 608813056 90412 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 594544

[startup+282.301 s]
/proc/loadavg: 8.16 7.32 6.68 9/184 8003
/proc/meminfo: memFree=27225772/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=619564 CPUtime=1127.62 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 358663 0 0 0 112638 124 0 0 25 0 4 0 603589750 634433536 102318 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 154891 102318 395 112 0 149856 0
[pid=7991/tid=7992] ppid=7989 vsize=619564 CPUtime=280.75 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 92299 0 0 0 28047 28 0 0 25 0 4 0 603589750 634433536 102318 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=619564 CPUtime=282.27 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 110293 0 0 0 28185 42 0 0 25 0 4 0 603589750 634433536 102318 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=619564 CPUtime=282.28 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 69440 0 0 0 28205 23 0 0 25 0 4 0 603589750 634433536 102318 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.62
Current children cumulated vsize (KiB) 619564

[startup+342.301 s]
/proc/loadavg: 8.16 7.47 6.77 9/184 8004
/proc/meminfo: memFree=27214836/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=636076 CPUtime=1367.3 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 395136 0 0 0 136589 141 0 0 25 0 4 0 603589750 651341824 104966 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 159019 104966 395 112 0 153984 0
[pid=7991/tid=7992] ppid=7989 vsize=636076 CPUtime=340.43 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 100798 0 0 0 34011 32 0 0 25 0 4 0 603589750 651341824 104966 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=636076 CPUtime=342.28 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 121919 0 0 0 34181 47 0 0 25 0 4 0 603589750 651341824 104966 33554432000 4194304 4650419 140734621243904 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=636076 CPUtime=342.28 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 75313 0 0 0 34201 27 0 0 25 0 4 0 603589750 651341824 104966 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.3
Current children cumulated vsize (KiB) 636076

[startup+402.3 s]
/proc/loadavg: 8.22 7.61 6.86 9/184 8006
/proc/meminfo: memFree=27157248/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=665040 CPUtime=1606.97 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 439896 0 0 0 160538 159 0 0 25 0 4 0 603589750 681000960 118930 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 166260 118930 395 112 0 161225 0
[pid=7991/tid=7992] ppid=7989 vsize=665040 CPUtime=400.1 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 110502 0 0 0 39974 36 0 0 25 0 4 0 603589750 681000960 118930 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=665040 CPUtime=402.27 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 138543 0 0 0 40175 52 0 0 25 0 4 0 603589750 681000960 118930 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=665040 CPUtime=402.28 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 80734 0 0 0 40199 29 0 0 25 0 4 0 603589750 681000960 118930 33554432000 4194304 4650419 140734621243904 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1606.97
Current children cumulated vsize (KiB) 665040

[startup+462.301 s]
/proc/loadavg: 8.18 7.71 6.94 9/184 8007
/proc/meminfo: memFree=27138504/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=711608 CPUtime=1846.65 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 472783 0 0 0 184493 172 0 0 25 0 4 0 603589750 728686592 121806 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 177902 121806 395 112 0 172867 0
[pid=7991/tid=7992] ppid=7989 vsize=711608 CPUtime=459.78 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 117757 0 0 0 45938 40 0 0 25 0 4 0 603589750 728686592 121806 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=711608 CPUtime=462.28 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 149894 0 0 0 46172 56 0 0 25 0 4 0 603589750 728686592 121806 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=711608 CPUtime=462.29 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 87288 0 0 0 46196 33 0 0 25 0 4 0 603589750 728686592 121806 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1846.65
Current children cumulated vsize (KiB) 711608

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

[startup+468.701 s]
/proc/loadavg: 8.17 7.71 6.95 9/184 8008
/proc/meminfo: memFree=27139124/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=651112 CPUtime=1872.22 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 477484 0 0 0 187047 175 0 0 25 0 4 0 603589750 666738688 121623 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 162778 121623 395 112 0 157743 0
[pid=7991/tid=7992] ppid=7989 vsize=651112 CPUtime=466.15 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 118349 0 0 0 46575 40 0 0 25 0 4 0 603589750 666738688 121623 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=651112 CPUtime=468.67 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 152460 0 0 0 46810 57 0 0 25 0 4 0 603589750 666738688 121623 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=651112 CPUtime=468.69 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 88115 0 0 0 46836 33 0 0 25 0 4 0 603589750 666738688 121623 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1872.22
Current children cumulated vsize (KiB) 651112

[startup+475.101 s]
/proc/loadavg: 8.23 7.73 6.96 9/184 8008
/proc/meminfo: memFree=27144700/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=651112 CPUtime=1897.78 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 481227 0 0 0 189601 177 0 0 25 0 4 0 603589750 666738688 125366 33554432000 4194304 4650419 140734621243904 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 162778 125366 395 112 0 157743 0
[pid=7991/tid=7992] ppid=7989 vsize=651112 CPUtime=472.51 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 120243 0 0 0 47210 41 0 0 25 0 4 0 603589750 666738688 125366 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=651112 CPUtime=475.08 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 153153 0 0 0 47450 58 0 0 25 0 4 0 603589750 666738688 125366 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=651112 CPUtime=475.09 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 88708 0 0 0 47475 34 0 0 25 0 4 0 603589750 666738688 125367 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1897.78
Current children cumulated vsize (KiB) 651112

[startup+476.7 s]
/proc/loadavg: 8.21 7.74 6.96 9/184 8008
/proc/meminfo: memFree=27141476/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=651112 CPUtime=1904.19 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 481808 0 0 0 190241 178 0 0 25 0 4 0 603589750 666738688 125947 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 162778 125947 395 112 0 157743 0
[pid=7991/tid=7992] ppid=7989 vsize=651112 CPUtime=474.1 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 120460 0 0 0 47369 41 0 0 25 0 4 0 603589750 666738688 125947 33554432000 4194304 4650419 140734621243904 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=651112 CPUtime=476.68 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 153276 0 0 0 47610 58 0 0 25 0 4 0 603589750 666738688 125947 33554432000 4194304 4650419 140734621243904 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=651112 CPUtime=476.69 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 88830 0 0 0 47635 34 0 0 25 0 4 0 603589750 666738688 125947 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1904.19
Current children cumulated vsize (KiB) 651112

[startup+477.5 s]
/proc/loadavg: 8.21 7.74 6.96 9/184 8008
/proc/meminfo: memFree=27141476/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=651112 CPUtime=1907.37 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 482052 0 0 0 190559 178 0 0 25 0 4 0 603589750 666738688 126191 33554432000 4194304 4650419 140734621243904 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 162778 126191 395 112 0 157743 0
[pid=7991/tid=7992] ppid=7989 vsize=651112 CPUtime=474.9 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 120550 0 0 0 47449 41 0 0 25 0 4 0 603589750 666738688 126191 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=651112 CPUtime=477.48 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 153331 0 0 0 47690 58 0 0 25 0 4 0 603589750 666738688 126191 33554432000 4194304 4650419 140734621243904 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=651112 CPUtime=477.49 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 88886 0 0 0 47715 34 0 0 25 0 4 0 603589750 666738688 126191 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1907.37
Current children cumulated vsize (KiB) 651112

[startup+478.301 s]
/proc/loadavg: 8.21 7.74 6.96 9/184 8008
/proc/meminfo: memFree=27167268/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=651112 CPUtime=1910.56 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4202496 482279 0 0 0 190878 178 0 0 25 0 4 0 603589750 666738688 119452 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 162778 119452 395 112 0 157743 0
[pid=7991/tid=7992] ppid=7989 vsize=651112 CPUtime=475.69 cores=1,3,5,7
/proc/7991/task/7992/stat : 7992 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 120636 0 0 0 47528 41 0 0 25 0 4 0 603589750 666738688 119452 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7991/tid=7993] ppid=7989 vsize=651112 CPUtime=478.28 cores=1,3,5,7
/proc/7991/task/7993/stat : 7993 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 153406 0 0 0 47770 58 0 0 25 0 4 0 603589750 666738688 119452 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=651112 CPUtime=478.29 cores=1,3,5,7
/proc/7991/task/7994/stat : 7994 (strangenight1-m) R 7989 7991 7283 0 -1 4202560 88952 0 0 0 47795 34 0 0 25 0 4 0 603589750 666738688 119452 33554432000 4194304 4650419 140734621243904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1910.56
Current children cumulated vsize (KiB) 651112

[startup+478.501 s]
/proc/loadavg: 8.21 7.74 6.96 9/184 8008
/proc/meminfo: memFree=27167268/32950928 swapFree=67111356/67111528
[pid=7991] ppid=7989 vsize=0 CPUtime=1911.36 cores=1,3,5,7
/proc/7991/stat : 7991 (strangenight1-m) R 7989 7991 7283 0 -1 4203524 482331 0 0 0 190957 179 0 0 25 0 1 0 603589750 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7991/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1911.36
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 478.524
CPU time (s): 1911.39
CPU user time (s): 1909.58
CPU system time (s): 1.81272
CPU usage (%): 399.435
Max. virtual memory (cumulated for all children) (KiB): 739660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1909.58
system time used= 1.81272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482331
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= 2976
involuntary context switches= 13316

runsolver used 0.736887 second user time and 1.88571 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 05:19:51
IDJOB=3290854
IDBENCH=83451
IDSOLVER=1588
FILE ID=node114/3290854-1304133591
RUNJOBID= node114-1304133399-7874
PBS_JOBID= 13170787
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290854-1304133591/watcher-3290854-1304133591 -o /tmp/evaluation-result-3290854-1304133591/solver-3290854-1304133591 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3290854-1304133591.cnf

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=1449565785

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:      27637516 kB
Buffers:       1086416 kB
Cached:        1873848 kB
SwapCached:        168 kB
Active:        2021764 kB
Inactive:      2783408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27637516 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           51808 kB
Writeback:           0 kB
AnonPages:     1844712 kB
Mapped:          15508 kB
Slab:           440664 kB
PageTables:       8272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2417344 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= 73324 MiB
End job on node114 at 2011-04-30 05:27:49