Trace number 4118965

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-230 1800.39 1800.63

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.lin.opb
MD5SUM880a7980df3d2b06275e6dfd41d8e0a1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-250
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables507
Total number of constraints924
Number of constraints which are clauses462
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints462
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 507
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 10496
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 10496
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	16
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2626d4f1
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4def8cf3
0.10/0.10	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4118965-1467238584.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.27/0.22	c ... done. Wall clock time 0.116s.
0.27/0.22	c declared #vars     507
0.27/0.22	c #constraints  924
0.27/0.22	c constraints type 
0.27/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 462
0.27/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 462
0.27/0.22	c 924 constraints processed.
0.27/0.22	c objective function length is 507 literals
0.27/0.23	c SATISFIABLE
0.27/0.23	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.13
0.27/0.24	o -130
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.147
0.27/0.25	o -132
0.48/0.36	c Got one! Elapsed wall clock time (in seconds):0.25
0.48/0.36	o -138
0.48/0.36	c Got one! Elapsed wall clock time (in seconds):0.256
0.48/0.36	o -140
0.48/0.38	c Got one! Elapsed wall clock time (in seconds):0.27
0.48/0.38	o -142
0.77/0.42	c Got one! Elapsed wall clock time (in seconds):0.317
0.77/0.42	o -144
0.77/0.48	c Got one! Elapsed wall clock time (in seconds):0.377
0.77/0.48	o -146
0.77/0.49	c Got one! Elapsed wall clock time (in seconds):0.38
0.77/0.49	o -150
0.77/0.49	c Got one! Elapsed wall clock time (in seconds):0.384
0.77/0.49	o -152
1.15/0.62	c Got one! Elapsed wall clock time (in seconds):0.513
1.15/0.62	o -154
1.27/0.74	c Got one! Elapsed wall clock time (in seconds):0.637
1.27/0.74	o -156
1.43/0.86	c Got one! Elapsed wall clock time (in seconds):0.754
1.43/0.86	o -158
1.55/0.92	c Got one! Elapsed wall clock time (in seconds):0.81
1.55/0.92	o -160
1.77/1.12	c cleaning 4471 clauses out of 8941 with flag 4095/8941
2.22/1.55	c Got one! Elapsed wall clock time (in seconds):1.446
2.22/1.55	o -161
2.22/1.56	c Got one! Elapsed wall clock time (in seconds):1.457
2.22/1.56	o -163
2.42/1.79	c Got one! Elapsed wall clock time (in seconds):1.689
2.42/1.79	o -166
2.62/1.93	c Got one! Elapsed wall clock time (in seconds):1.822
2.62/1.93	o -167
2.86/2.14	c cleaning 8280 clauses out of 16560 with flag 4061/21031
3.37/2.69	c cleaning 7141 clauses out of 14281 with flag 16298/27032
3.78/2.83	c Got one! Elapsed wall clock time (in seconds):2.721
3.78/2.83	o -168
4.14/3.09	c cleaning 6086 clauses out of 12176 with flag 6089/32068
4.92/3.54	c cleaning 6044 clauses out of 12089 with flag 18343/38067
5.44/4.04	c Got one! Elapsed wall clock time (in seconds):3.933
5.44/4.04	o -169
5.85/4.45	c Got one! Elapsed wall clock time (in seconds):4.341
5.85/4.45	o -170
6.01/4.57	c cleaning 9198 clauses out of 18402 with flag 2018/50424
6.31/4.87	c Got one! Elapsed wall clock time (in seconds):4.762
6.31/4.87	o -171
6.56/5.06	c cleaning 7469 clauses out of 14941 with flag 4031/56161
6.66/5.12	c Got one! Elapsed wall clock time (in seconds):5.014
6.66/5.12	o -173
7.09/5.56	c cleaning 6686 clauses out of 13377 with flag 10175/62066
7.59/6.05	c cleaning 6342 clauses out of 12691 with flag 22470/68066
8.00/6.43	c Got one! Elapsed wall clock time (in seconds):6.326
8.00/6.43	o -176
8.50/6.90	c cleaning 8192 clauses out of 16390 with flag 10511/78107
9.00/7.40	c cleaning 7097 clauses out of 14197 with flag 22927/84106
9.50/7.96	c cleaning 7044 clauses out of 14100 with flag 37163/91106
10.28/8.66	c cleaning 7525 clauses out of 15056 with flag 53434/99106
10.98/9.37	c Got one! Elapsed wall clock time (in seconds):9.264
10.98/9.37	o -178
11.28/9.62	c Got one! Elapsed wall clock time (in seconds):9.517
11.28/9.62	o -179
11.28/9.68	c Got one! Elapsed wall clock time (in seconds):9.577
11.28/9.68	o -180
11.69/10.04	c cleaning 10876 clauses out of 21755 with flag 6192/113330
12.18/10.56	c cleaning 8434 clauses out of 16878 with flag 18662/119329
12.79/11.13	c cleaning 7722 clauses out of 15444 with flag 33435/126329
13.48/11.80	c cleaning 7859 clauses out of 15723 with flag 50072/134330
14.18/12.59	c cleaning 8431 clauses out of 16865 with flag 68379/143331
15.08/13.46	c cleaning 9215 clauses out of 18432 with flag 89061/153329
15.28/13.68	c Got one! Elapsed wall clock time (in seconds):13.575
15.28/13.68	o -181
15.48/13.82	c Got one! Elapsed wall clock time (in seconds):13.719
15.48/13.82	o -182
15.68/14.01	c cleaning 7945 clauses out of 15894 with flag 4307/160006
16.18/14.50	c cleaning 6972 clauses out of 13949 with flag 16696/166006
16.68/15.04	c cleaning 6983 clauses out of 13976 with flag 31246/173005
16.68/15.06	c Got one! Elapsed wall clock time (in seconds):14.959
16.68/15.06	o -183
16.78/15.19	c Got one! Elapsed wall clock time (in seconds):15.086
16.78/15.19	o -184
16.88/15.26	c Got one! Elapsed wall clock time (in seconds):15.152
16.88/15.26	o -186
17.28/15.61	c cleaning 7009 clauses out of 14023 with flag 8283/180035
17.68/16.09	c cleaning 6501 clauses out of 13013 with flag 20725/186034
18.29/16.62	c cleaning 6756 clauses out of 13512 with flag 35138/193034
19.02/17.24	c cleaning 7376 clauses out of 14756 with flag 51871/201034
19.72/17.93	c cleaning 8190 clauses out of 16381 with flag 70093/210035
20.32/18.56	c Got one! Elapsed wall clock time (in seconds):18.455
20.32/18.56	o -189
20.32/18.56	c Got one! Elapsed wall clock time (in seconds):18.459
20.32/18.56	o -195
20.82/19.07	c cleaning 10551 clauses out of 21110 with flag 10270/222954
21.32/19.59	c cleaning 8277 clauses out of 16559 with flag 22800/228954
21.92/20.16	c cleaning 7639 clauses out of 15282 with flag 37204/235954
22.52/20.79	c cleaning 7817 clauses out of 15643 with flag 53428/243954
23.34/21.54	c cleaning 8410 clauses out of 16826 with flag 71589/252954
24.14/22.38	c cleaning 9203 clauses out of 18416 with flag 91971/262954
25.14/23.35	c cleaning 10105 clauses out of 20213 with flag 114691/273954
26.24/24.43	c cleaning 11051 clauses out of 22108 with flag 138949/285954
26.74/24.93	c Got one! Elapsed wall clock time (in seconds):24.829
26.74/24.93	o -196
26.74/24.94	c Got one! Elapsed wall clock time (in seconds):24.837
26.74/24.94	o -201
27.26/25.48	c cleaning 11052 clauses out of 22117 with flag 10414/297014
27.93/26.01	c cleaning 8534 clauses out of 17067 with flag 22865/303016
28.44/26.57	c cleaning 7764 clauses out of 15532 with flag 37058/310015
29.12/27.21	c cleaning 7879 clauses out of 15767 with flag 53271/318014
29.92/28.02	c cleaning 8441 clauses out of 16890 with flag 73346/327016
30.82/28.90	c cleaning 9222 clauses out of 18448 with flag 95571/337015
31.92/30.02	c cleaning 10108 clauses out of 20226 with flag 121351/348015
33.22/31.31	c cleaning 11054 clauses out of 22118 with flag 150803/360015
33.32/31.48	c Got one! Elapsed wall clock time (in seconds):31.376
33.32/31.48	o -203
33.42/31.54	c Got one! Elapsed wall clock time (in seconds):31.436
33.42/31.54	o -207
33.72/31.83	c cleaning 8573 clauses out of 17159 with flag 6547/366110
34.22/32.34	c cleaning 7291 clauses out of 14587 with flag 18981/372111
34.72/32.88	c cleaning 7144 clauses out of 14296 with flag 33812/379111
35.42/33.52	c cleaning 7575 clauses out of 15152 with flag 50269/387111
36.13/34.27	c cleaning 8288 clauses out of 16577 with flag 68785/396111
37.09/35.11	c cleaning 9141 clauses out of 18289 with flag 89144/406111
37.99/36.03	c cleaning 10067 clauses out of 20147 with flag 111824/417110
39.09/37.11	c cleaning 11038 clauses out of 22081 with flag 137939/429111
40.29/38.35	c cleaning 12016 clauses out of 24042 with flag 165527/442110
41.60/39.70	c cleaning 13012 clauses out of 26027 with flag 195786/456111
43.29/41.33	c cleaning 14002 clauses out of 28015 with flag 227880/471111
45.00/43.06	c cleaning 15003 clauses out of 30013 with flag 261056/487111
46.99/45.04	c cleaning 16000 clauses out of 32010 with flag 295852/504111
49.18/47.14	c cleaning 17001 clauses out of 34009 with flag 333023/522110
51.48/49.50	c cleaning 18002 clauses out of 36009 with flag 372260/541111
53.89/51.89	c cleaning 19001 clauses out of 38006 with flag 413385/561110
56.58/54.59	c cleaning 20002 clauses out of 40005 with flag 458206/582110
59.58/57.55	c cleaning 20995 clauses out of 42003 with flag 504091/604110
62.92/60.75	c cleaning 22003 clauses out of 44008 with flag 551856/627110
66.22/64.09	c cleaning 22998 clauses out of 46005 with flag 602298/651110
69.72/67.56	c cleaning 24003 clauses out of 48007 with flag 654630/676110
73.62/71.49	c cleaning 24999 clauses out of 50004 with flag 709246/702110
78.04/75.68	c cleaning 26003 clauses out of 52006 with flag 764405/729111
82.24/79.81	c cleaning 27000 clauses out of 54002 with flag 821928/757110
86.74/84.33	c cleaning 27997 clauses out of 56002 with flag 881242/786110
91.73/88.88	c cleaning 28995 clauses out of 58006 with flag 942504/816111
96.54/93.61	c cleaning 30003 clauses out of 60011 with flag 1005333/847111
101.97/98.89	c cleaning 31000 clauses out of 62008 with flag 1071851/879111
107.79/104.62	c cleaning 31998 clauses out of 64007 with flag 1140648/912110
113.78/110.63	c cleaning 33004 clauses out of 66009 with flag 1211035/946110
120.07/116.64	c cleaning 34001 clauses out of 68006 with flag 1283146/981111
126.06/122.63	c cleaning 35003 clauses out of 70005 with flag 1355608/1017111
133.15/129.43	c cleaning 35995 clauses out of 72002 with flag 1430446/1054111
139.65/135.90	c cleaning 36998 clauses out of 74006 with flag 1507020/1092110
144.84/140.87	c Got one! Elapsed wall clock time (in seconds):140.763
144.84/140.87	o -208
145.83/141.87	c cleaning 36120 clauses out of 72253 with flag 10732/1127355
145.94/141.91	c Got one! Elapsed wall clock time (in seconds):141.808
145.94/141.91	o -211
146.73/142.80	c cleaning 20771 clauses out of 41553 with flag 10729/1132775
147.43/143.49	c cleaning 13387 clauses out of 26783 with flag 23417/1138776
148.14/144.18	c cleaning 10195 clauses out of 20396 with flag 38392/1145776
148.93/144.90	c cleaning 9094 clauses out of 18200 with flag 57182/1153775
149.63/145.65	c cleaning 9051 clauses out of 18107 with flag 79058/1162776
150.81/146.56	c cleaning 9525 clauses out of 19056 with flag 103198/1172776
150.91/146.65	c Got one! Elapsed wall clock time (in seconds):146.544
150.91/146.65	o -212
151.31/147.04	c cleaning 7449 clauses out of 14910 with flag 8911/1178155
151.72/147.51	c cleaning 6724 clauses out of 13462 with flag 21884/1184156
152.01/147.71	c Got one! Elapsed wall clock time (in seconds):147.605
152.01/147.71	o -214
152.21/147.95	c cleaning 6356 clauses out of 12724 with flag 6643/1190142
152.71/148.41	c cleaning 6178 clauses out of 12368 with flag 19979/1196142
153.21/148.93	c cleaning 6592 clauses out of 13190 with flag 35644/1203142
153.81/149.55	c cleaning 7295 clauses out of 14598 with flag 53001/1211142
154.51/150.27	c cleaning 8146 clauses out of 16303 with flag 72057/1220142
155.41/151.12	c cleaning 9077 clauses out of 18158 with flag 93127/1230143
156.73/152.22	c cleaning 10032 clauses out of 20080 with flag 116686/1241142
157.93/153.44	c cleaning 11022 clauses out of 22048 with flag 142172/1253142
159.23/154.74	c cleaning 12011 clauses out of 24027 with flag 169006/1266143
160.84/156.36	c cleaning 13006 clauses out of 26015 with flag 198317/1280142
162.53/158.05	c cleaning 14002 clauses out of 28009 with flag 230325/1295142
164.42/159.89	c cleaning 15004 clauses out of 30007 with flag 263719/1311142
166.43/161.85	c cleaning 15997 clauses out of 32003 with flag 298886/1328142
168.72/164.16	c cleaning 16997 clauses out of 34008 with flag 346350/1346144
171.32/166.77	c cleaning 18003 clauses out of 36009 with flag 398222/1365142
174.01/169.35	c cleaning 19004 clauses out of 38007 with flag 448768/1385143
176.71/172.06	c cleaning 19994 clauses out of 40002 with flag 504564/1406142
180.01/175.35	c cleaning 21005 clauses out of 42010 with flag 573913/1428144
183.83/179.05	c cleaning 21997 clauses out of 44005 with flag 650698/1451144
187.62/182.88	c cleaning 23003 clauses out of 46006 with flag 726658/1475142
188.32/183.59	c Got one! Elapsed wall clock time (in seconds):183.482
188.32/183.59	o -215
189.12/184.34	c cleaning 17239 clauses out of 34489 with flag 12460/1486628
189.77/184.98	c cleaning 11621 clauses out of 23251 with flag 27396/1492629
190.46/185.64	c cleaning 9310 clauses out of 18629 with flag 43108/1499628
191.16/186.30	c cleaning 8654 clauses out of 17319 with flag 60882/1507628
191.87/187.09	c cleaning 8829 clauses out of 17667 with flag 80026/1516630
192.76/187.98	c cleaning 9412 clauses out of 18836 with flag 100737/1526628
193.76/188.96	c cleaning 10211 clauses out of 20424 with flag 123203/1537628
194.86/190.04	c cleaning 11104 clauses out of 22213 with flag 147804/1549628
196.30/191.38	c cleaning 12055 clauses out of 24109 with flag 174450/1562628
197.80/192.81	c cleaning 13024 clauses out of 26055 with flag 204054/1576629
199.29/194.38	c cleaning 14015 clauses out of 28031 with flag 235691/1591629
201.09/196.12	c cleaning 15005 clauses out of 30015 with flag 269961/1607628
202.97/197.98	c cleaning 16002 clauses out of 32010 with flag 305821/1624628
204.97/199.96	c cleaning 17000 clauses out of 34008 with flag 343836/1642628
207.17/202.13	c cleaning 18002 clauses out of 36008 with flag 382614/1661628
209.93/204.76	c cleaning 19000 clauses out of 38008 with flag 423715/1681630
212.62/207.43	c cleaning 19998 clauses out of 40007 with flag 467730/1702629
215.62/210.43	c cleaning 21002 clauses out of 42009 with flag 513001/1724629
218.90/213.63	c cleaning 22001 clauses out of 44006 with flag 560608/1747628
222.20/216.97	c cleaning 23000 clauses out of 46007 with flag 610698/1771630
225.68/220.36	c cleaning 23996 clauses out of 48005 with flag 663073/1796628
229.58/224.23	c cleaning 24998 clauses out of 50010 with flag 717677/1822629
233.67/228.32	c cleaning 26001 clauses out of 52011 with flag 774029/1849628
238.22/232.81	c cleaning 27002 clauses out of 54011 with flag 832032/1877629
243.13/237.76	c cleaning 28000 clauses out of 56008 with flag 893907/1906628
248.24/242.77	c cleaning 29001 clauses out of 58010 with flag 957677/1936630
253.92/248.28	c cleaning 29996 clauses out of 60007 with flag 1022592/1967628
259.32/253.64	c cleaning 31002 clauses out of 62012 with flag 1090788/1999629
265.60/259.76	c cleaning 32005 clauses out of 64009 with flag 1161904/2032628
267.80/261.97	c Got one! Elapsed wall clock time (in seconds):261.865
267.80/261.97	o -216
268.90/263.02	c cleaning 26898 clauses out of 53809 with flag 10399/2054433
269.58/263.76	c cleaning 16450 clauses out of 32910 with flag 23091/2060432
270.20/264.40	c cleaning 11725 clauses out of 23460 with flag 37550/2067432
270.90/265.10	c cleaning 9860 clauses out of 19736 with flag 53995/2075433
271.70/265.85	c cleaning 9430 clauses out of 18876 with flag 72965/2084433
272.60/266.72	c cleaning 9717 clauses out of 19445 with flag 93715/2094432
273.50/267.68	c cleaning 10361 clauses out of 20729 with flag 116425/2105433
274.76/268.80	c cleaning 11182 clauses out of 22367 with flag 141009/2117432
275.96/270.07	c cleaning 12088 clauses out of 24186 with flag 168657/2130433
277.36/271.42	c cleaning 13046 clauses out of 26097 with flag 197565/2144432
278.87/272.92	c cleaning 14020 clauses out of 28051 with flag 228282/2159432
280.64/274.63	c cleaning 15016 clauses out of 30032 with flag 261275/2175433
282.44/276.49	c cleaning 15998 clauses out of 32016 with flag 297260/2192433
284.54/278.57	c cleaning 17008 clauses out of 34017 with flag 334523/2210432
286.69/280.66	c cleaning 18001 clauses out of 36009 with flag 374371/2229432
289.19/283.11	c cleaning 19001 clauses out of 38008 with flag 416037/2249432
291.74/285.63	c cleaning 20004 clauses out of 40007 with flag 459138/2270432
294.45/288.38	c cleaning 20994 clauses out of 42003 with flag 504407/2292432
297.65/291.60	c cleaning 22005 clauses out of 44009 with flag 552366/2315432
301.17/295.06	c cleaning 22997 clauses out of 46004 with flag 601953/2339432
305.07/298.98	c cleaning 23998 clauses out of 48007 with flag 654364/2364432
309.21/303.05	c cleaning 25002 clauses out of 50009 with flag 708477/2390432
313.44/307.19	c cleaning 26000 clauses out of 52008 with flag 764080/2417433
316.24/309.97	c Got one! Elapsed wall clock time (in seconds):309.867
316.24/309.97	o -218
317.24/310.94	c cleaning 26290 clauses out of 52594 with flag 10343/2444019
317.94/311.62	c cleaning 16147 clauses out of 32303 with flag 22825/2450018
318.25/311.92	c Got one! Elapsed wall clock time (in seconds):311.812
318.25/311.92	o -219
318.45/312.11	c cleaning 10949 clauses out of 21911 with flag 4233/2455773
318.90/312.59	c cleaning 8471 clauses out of 16962 with flag 16588/2461773
319.49/313.14	c cleaning 7737 clauses out of 15491 with flag 31464/2468773
320.09/313.73	c cleaning 7868 clauses out of 15754 with flag 48160/2476773
320.89/314.50	c cleaning 8441 clauses out of 16887 with flag 66720/2485774
321.69/315.36	c cleaning 9223 clauses out of 18445 with flag 87541/2495773
322.74/316.36	c cleaning 10108 clauses out of 20222 with flag 109858/2506773
323.84/317.41	c cleaning 11057 clauses out of 22115 with flag 134513/2518774
325.04/318.65	c cleaning 12024 clauses out of 24057 with flag 160977/2531773
326.44/320.00	c cleaning 13015 clauses out of 26034 with flag 190343/2545774
327.91/321.47	c cleaning 14005 clauses out of 28020 with flag 220890/2560775
329.61/323.19	c cleaning 15005 clauses out of 30014 with flag 253279/2576774
331.51/325.05	c cleaning 16000 clauses out of 32008 with flag 288830/2593773
333.62/327.13	c cleaning 17002 clauses out of 34009 with flag 332227/2611774
335.62/329.20	c cleaning 18000 clauses out of 36007 with flag 376960/2630774
338.12/331.58	c cleaning 19004 clauses out of 38008 with flag 422191/2650775
338.22/331.67	c Got one! Elapsed wall clock time (in seconds):331.568
338.22/331.67	o -220
338.62/332.05	c cleaning 12084 clauses out of 24180 with flag 8776/2655951
339.22/332.60	c cleaning 9042 clauses out of 18097 with flag 21790/2661952
339.72/333.19	c cleaning 8021 clauses out of 16054 with flag 36788/2668951
340.42/333.81	c cleaning 8010 clauses out of 16034 with flag 53203/2676952
341.17/334.54	c cleaning 8509 clauses out of 17024 with flag 72146/2685952
341.96/335.39	c cleaning 9253 clauses out of 18515 with flag 93234/2695952
342.96/336.36	c cleaning 10128 clauses out of 20262 with flag 116489/2706952
344.13/337.42	c cleaning 11063 clauses out of 22133 with flag 141246/2718951
345.33/338.67	c cleaning 12034 clauses out of 24070 with flag 168060/2731951
346.74/340.06	c cleaning 13013 clauses out of 26037 with flag 196683/2745952
348.39/341.62	c cleaning 14006 clauses out of 28023 with flag 228009/2760951
350.10/343.32	c cleaning 15006 clauses out of 30018 with flag 261560/2776952
352.09/345.35	c cleaning 16001 clauses out of 32011 with flag 297006/2793951
354.35/347.49	c cleaning 17006 clauses out of 34011 with flag 333803/2811952
354.56/347.67	c Got one! Elapsed wall clock time (in seconds):347.561
354.56/347.67	o -221
354.85/347.96	c cleaning 11033 clauses out of 22074 with flag 6642/2817021
355.35/348.44	c cleaning 8514 clauses out of 17041 with flag 19568/2823021
355.85/348.96	c cleaning 7756 clauses out of 15528 with flag 34785/2830022
356.67/349.60	c cleaning 7880 clauses out of 15771 with flag 51748/2838021
357.37/350.36	c cleaning 8441 clauses out of 16891 with flag 71162/2847021
358.27/351.20	c cleaning 9226 clauses out of 18451 with flag 92688/2857022
359.18/352.18	c cleaning 10105 clauses out of 20225 with flag 116148/2868022
360.40/353.32	c cleaning 11055 clauses out of 22119 with flag 141706/2880021
361.60/354.58	c cleaning 12033 clauses out of 24065 with flag 169966/2893022
363.10/356.03	c cleaning 13014 clauses out of 26032 with flag 200179/2907022
364.64/357.59	c cleaning 14004 clauses out of 28017 with flag 232283/2922021
366.33/359.28	c cleaning 15003 clauses out of 30013 with flag 264993/2938021
368.37/361.21	c cleaning 16004 clauses out of 32012 with flag 300896/2955023
370.47/363.35	c cleaning 16998 clauses out of 34006 with flag 337972/2973021
372.72/365.51	c cleaning 18002 clauses out of 36009 with flag 378784/2992022
375.02/367.84	c cleaning 19003 clauses out of 38007 with flag 424948/3012022
377.71/370.47	c cleaning 19996 clauses out of 40003 with flag 469856/3033021
380.61/373.36	c cleaning 21002 clauses out of 42007 with flag 516605/3055021
383.90/376.52	c cleaning 22002 clauses out of 44005 with flag 567122/3078021
386.91/379.55	c cleaning 22996 clauses out of 46004 with flag 618749/3102022
390.42/383.04	c cleaning 24000 clauses out of 48007 with flag 670701/3127021
394.26/386.89	c cleaning 25000 clauses out of 50009 with flag 724852/3153023
398.43/390.96	c cleaning 26003 clauses out of 52008 with flag 782837/3180022
402.54/395.03	c cleaning 26998 clauses out of 54005 with flag 841455/3208022
406.90/399.34	c cleaning 28002 clauses out of 56007 with flag 902135/3237022
411.76/404.18	c cleaning 29000 clauses out of 58004 with flag 966359/3267021
417.44/409.74	c cleaning 29996 clauses out of 60008 with flag 1031982/3298025
424.13/416.37	c cleaning 30999 clauses out of 62008 with flag 1097423/3330021
430.01/422.10	c cleaning 32001 clauses out of 64010 with flag 1165108/3363022
436.35/428.43	c cleaning 32998 clauses out of 66008 with flag 1234078/3397021
442.92/434.93	c cleaning 34000 clauses out of 68010 with flag 1307558/3432021
450.04/441.90	c cleaning 35002 clauses out of 70010 with flag 1381705/3468021
456.46/448.27	c cleaning 35996 clauses out of 72008 with flag 1456781/3505021
463.81/455.59	c cleaning 37004 clauses out of 74012 with flag 1535047/3543021
471.70/463.21	c cleaning 38002 clauses out of 76008 with flag 1615747/3582021
477.65/469.09	c Got one! Elapsed wall clock time (in seconds):468.985
477.65/469.09	o -222
478.75/470.13	c cleaning 40642 clauses out of 81286 with flag 10287/3625301
478.95/470.39	c Got one! Elapsed wall clock time (in seconds):470.281
478.95/470.39	o -223
479.56/470.93	c cleaning 22882 clauses out of 45776 with flag 6210/3630433
480.05/471.46	c cleaning 14439 clauses out of 28895 with flag 18584/3636434
480.71/472.03	c cleaning 10722 clauses out of 21456 with flag 33708/3643434
481.30/472.66	c cleaning 9362 clauses out of 18733 with flag 51083/3651433
481.71/473.07	c Got one! Elapsed wall clock time (in seconds):472.963
481.71/473.07	o -227
482.22/473.55	c cleaning 10088 clauses out of 20178 with flag 10795/3662240
482.72/474.00	c cleaning 8039 clauses out of 16089 with flag 23399/3668239
483.12/474.49	c cleaning 7520 clauses out of 15050 with flag 38000/3675239
483.72/475.09	c cleaning 7763 clauses out of 15531 with flag 55310/3683240
484.43/475.78	c cleaning 8379 clauses out of 16768 with flag 75043/3692240
485.23/476.58	c cleaning 9190 clauses out of 18388 with flag 95992/3702239
486.16/477.46	c cleaning 10094 clauses out of 20198 with flag 119170/3713239
487.26/478.52	c cleaning 11051 clauses out of 22104 with flag 144383/3725239
488.49/479.78	c cleaning 12021 clauses out of 24055 with flag 171497/3738241
489.81/481.05	c cleaning 13011 clauses out of 26033 with flag 200630/3752240
491.32/482.54	c cleaning 14005 clauses out of 28021 with flag 232004/3767239
493.03/484.26	c cleaning 15006 clauses out of 30016 with flag 265267/3783239
494.91/486.03	c cleaning 15998 clauses out of 32010 with flag 300441/3800239
497.04/488.12	c cleaning 17003 clauses out of 34012 with flag 338485/3818239
499.04/490.15	c cleaning 18002 clauses out of 36009 with flag 377488/3837239
501.28/492.38	c cleaning 19001 clauses out of 38008 with flag 418525/3857240
503.80/494.89	c cleaning 20002 clauses out of 40006 with flag 461927/3878239
506.61/497.63	c cleaning 20999 clauses out of 42005 with flag 507027/3900240
509.81/500.75	c cleaning 21996 clauses out of 44005 with flag 554244/3923239
513.13/504.01	c cleaning 22999 clauses out of 46010 with flag 603339/3947240
516.50/507.32	c cleaning 24005 clauses out of 48010 with flag 655951/3972239
520.12/510.91	c cleaning 24998 clauses out of 50005 with flag 710373/3998239
524.18/514.87	c cleaning 26003 clauses out of 52007 with flag 765801/4025239
528.79/519.46	c cleaning 26995 clauses out of 54005 with flag 823617/4053240
533.29/523.86	c cleaning 28003 clauses out of 56009 with flag 883554/4082239
538.28/528.73	c cleaning 29001 clauses out of 58007 with flag 945215/4112240
543.40/533.78	c cleaning 29996 clauses out of 60006 with flag 1016215/4143240
548.41/538.65	c cleaning 30996 clauses out of 62009 with flag 1091434/4175239
553.28/543.36	c cleaning 32003 clauses out of 64013 with flag 1164210/4208239
558.67/548.69	c cleaning 32998 clauses out of 66010 with flag 1242873/4242239
564.39/554.29	c cleaning 34002 clauses out of 68012 with flag 1329244/4277239
570.33/560.07	c cleaning 35005 clauses out of 70010 with flag 1423734/4313239
576.60/566.26	c cleaning 35997 clauses out of 72005 with flag 1513814/4350239
583.90/573.32	c cleaning 36996 clauses out of 74008 with flag 1602959/4388239
591.18/580.29	c cleaning 38004 clauses out of 76015 with flag 1694656/4427242
598.66/587.60	c cleaning 38998 clauses out of 78008 with flag 1793708/4467239
605.87/594.64	c cleaning 39999 clauses out of 80011 with flag 1894199/4508240
613.73/602.37	c cleaning 41000 clauses out of 82012 with flag 1997702/4550240
621.83/610.25	c cleaning 42000 clauses out of 84011 with flag 2100400/4593239
630.40/618.50	c cleaning 43004 clauses out of 86011 with flag 2210525/4637239
639.83/627.73	c cleaning 43999 clauses out of 88008 with flag 2325234/4682240
649.34/637.01	c cleaning 44996 clauses out of 90008 with flag 2441332/4728239
658.67/646.17	c cleaning 46003 clauses out of 92013 with flag 2557922/4775240
668.20/655.47	c cleaning 47003 clauses out of 94009 with flag 2672487/4823239
679.79/666.73	c cleaning 47997 clauses out of 96006 with flag 2787485/4872239
683.90/670.77	c Got one! Elapsed wall clock time (in seconds):670.664
683.90/670.77	o -230
685.13/671.96	c cleaning 38853 clauses out of 77705 with flag 10384/4901935
686.10/672.89	c cleaning 22421 clauses out of 44851 with flag 23164/4907934
686.90/673.64	c cleaning 14707 clauses out of 29430 with flag 39364/4914934
687.73/674.42	c cleaning 11354 clauses out of 22723 with flag 58067/4922934
688.42/675.16	c cleaning 10181 clauses out of 20369 with flag 77272/4931934
689.24/675.95	c cleaning 10086 clauses out of 20188 with flag 98026/4941934
690.18/676.88	c cleaning 10547 clauses out of 21102 with flag 120957/4952934
691.30/677.92	c cleaning 11279 clauses out of 22559 with flag 146236/4964938
692.56/679.10	c cleaning 12136 clauses out of 24277 with flag 173579/4977935
693.98/680.45	c cleaning 13066 clauses out of 26140 with flag 202627/4991934
695.54/681.96	c cleaning 14037 clauses out of 28074 with flag 236772/5006934
697.25/683.60	c cleaning 15011 clauses out of 30037 with flag 273356/5022934
699.09/685.35	c cleaning 16008 clauses out of 32027 with flag 310940/5039935
701.15/687.35	c cleaning 17010 clauses out of 34021 with flag 349938/5057937
703.27/689.44	c cleaning 17999 clauses out of 36008 with flag 393330/5076934
705.59/691.68	c cleaning 19003 clauses out of 38009 with flag 434636/5096934
707.95/693.99	c cleaning 20002 clauses out of 40006 with flag 479587/5117934
710.66/696.55	c cleaning 21002 clauses out of 42004 with flag 525572/5139934
713.54/699.34	c cleaning 22001 clauses out of 44003 with flag 574725/5162935
716.88/702.53	c cleaning 22995 clauses out of 46001 with flag 626526/5186934
720.61/706.12	c cleaning 23999 clauses out of 48006 with flag 680408/5211934
724.38/709.89	c cleaning 24996 clauses out of 50007 with flag 736699/5237934
728.67/714.05	c cleaning 26004 clauses out of 52013 with flag 795187/5264936
732.97/718.24	c cleaning 26999 clauses out of 54009 with flag 854198/5292936
737.67/722.73	c cleaning 28003 clauses out of 56008 with flag 913379/5321934
742.44/727.40	c cleaning 28999 clauses out of 58006 with flag 975485/5351935
747.47/732.31	c cleaning 29998 clauses out of 60007 with flag 1040550/5382935
752.86/737.51	c cleaning 31003 clauses out of 62008 with flag 1106436/5414934
758.75/743.20	c cleaning 31996 clauses out of 64005 with flag 1174077/5447934
765.24/749.54	c cleaning 33005 clauses out of 66011 with flag 1243884/5481936
772.07/756.14	c cleaning 34002 clauses out of 68004 with flag 1316255/5516934
779.13/763.04	c cleaning 34999 clauses out of 70002 with flag 1389505/5552934
786.46/770.27	c cleaning 35998 clauses out of 72003 with flag 1465823/5589934
793.42/777.06	c cleaning 36996 clauses out of 74005 with flag 1546668/5627934
801.06/784.48	c cleaning 37998 clauses out of 76010 with flag 1632857/5666935
809.20/792.31	c cleaning 39005 clauses out of 78012 with flag 1720219/5706935
817.95/800.80	c cleaning 39998 clauses out of 80006 with flag 1813283/5747934
826.60/809.18	c cleaning 41000 clauses out of 82009 with flag 1906610/5789935
836.59/818.86	c cleaning 42002 clauses out of 84009 with flag 2000414/5832935
845.33/827.34	c cleaning 42997 clauses out of 86007 with flag 2095829/5876935
855.40/837.13	c cleaning 43998 clauses out of 88011 with flag 2195671/5921936
865.29/846.71	c cleaning 45001 clauses out of 90011 with flag 2298607/5967934
877.97/859.06	c cleaning 46003 clauses out of 92010 with flag 2399479/6014934
888.93/869.62	c cleaning 47003 clauses out of 94007 with flag 2504773/6062934
900.65/881.05	c cleaning 47995 clauses out of 96004 with flag 2611373/6111934
912.70/892.82	c cleaning 48998 clauses out of 98009 with flag 2717907/6161934
925.09/904.88	c cleaning 49999 clauses out of 100011 with flag 2830772/6212934
938.94/918.36	c cleaning 51005 clauses out of 102013 with flag 2951776/6264935
952.83/931.86	c cleaning 51999 clauses out of 104007 with flag 3075595/6317934
968.44/946.97	c cleaning 52996 clauses out of 106009 with flag 3193101/6371935
984.95/962.92	c cleaning 54001 clauses out of 108013 with flag 3312433/6426935
1000.19/977.73	c cleaning 55000 clauses out of 110012 with flag 3432795/6482935
1017.13/994.41	c cleaning 56003 clauses out of 112013 with flag 3556620/6539936
1034.22/1011.00	c cleaning 57001 clauses out of 114009 with flag 3683343/6597935
1050.66/1026.94	c cleaning 58001 clauses out of 116008 with flag 3814520/6656935
1066.44/1042.40	c cleaning 58996 clauses out of 118007 with flag 3949415/6716935
1084.87/1060.36	c cleaning 60003 clauses out of 120012 with flag 4083811/6777936
1104.47/1079.45	c cleaning 61000 clauses out of 122007 with flag 4220407/6839934
1123.55/1098.14	c cleaning 62001 clauses out of 124007 with flag 4365302/6902934
1145.60/1119.68	c cleaning 62999 clauses out of 126006 with flag 4514847/6966934
1166.33/1139.97	c cleaning 64002 clauses out of 128007 with flag 4659194/7031934
1187.86/1161.01	c cleaning 65002 clauses out of 130008 with flag 4807414/7097937
1212.97/1185.68	c cleaning 65996 clauses out of 132003 with flag 4957722/7164934
1238.56/1210.80	c cleaning 67000 clauses out of 134008 with flag 5115693/7232935
1265.93/1237.68	c cleaning 68002 clauses out of 136007 with flag 5270864/7301934
1290.74/1261.91	c cleaning 69001 clauses out of 138006 with flag 5427812/7371935
1317.27/1287.86	c cleaning 70000 clauses out of 140005 with flag 5591814/7442935
1342.79/1312.69	c cleaning 71000 clauses out of 142007 with flag 5752817/7514937
1369.79/1339.16	c cleaning 71995 clauses out of 144004 with flag 5902994/7587934
1399.01/1367.73	c cleaning 73004 clauses out of 146009 with flag 6068967/7661934
1428.97/1397.00	c cleaning 73995 clauses out of 148005 with flag 6238485/7736934
1460.42/1427.70	c cleaning 75004 clauses out of 150010 with flag 6409700/7812934
1488.10/1454.67	c cleaning 75995 clauses out of 152006 with flag 6583932/7889934
1519.35/1485.18	c cleaning 77002 clauses out of 154012 with flag 6759763/7967935
1548.46/1513.60	c cleaning 78001 clauses out of 156009 with flag 6930841/8046934
1581.14/1545.56	c cleaning 79003 clauses out of 158008 with flag 7100765/8126934
1615.06/1578.70	c cleaning 79997 clauses out of 160005 with flag 7269666/8207934
1647.53/1610.35	c cleaning 81001 clauses out of 162008 with flag 7438597/8289934
1681.46/1643.41	c cleaning 82003 clauses out of 164007 with flag 7612166/8372934
1715.71/1678.22	c cleaning 82998 clauses out of 166005 with flag 7784618/8456935
1753.19/1713.53	c cleaning 84000 clauses out of 168006 with flag 7958952/8541934
1792.46/1793.13	c cleaning 84996 clauses out of 170006 with flag 8136646/8627934
1800.25/1800.60	c starts		: 21716
1800.25/1800.60	c conflicts		: 8656201
1800.25/1800.60	c decisions		: 10924275
1800.25/1800.60	c propagations		: 159960101
1800.25/1800.60	c inspects		: 30729427848
1800.25/1800.60	c shortcuts		: 0
1800.25/1800.60	c learnt literals	: 0
1800.25/1800.60	c learnt binary clauses	: 189
1800.25/1800.60	c learnt ternary clauses	: 799
1800.25/1800.60	c learnt constraints	: 8656201
1800.25/1800.60	c ignored constraints	: 0
1800.25/1800.60	c root simplifications	: 0
1800.25/1800.60	c removed literals (reason simplification)	: 0
1800.25/1800.60	c reason swapping (by a shorter reason)	: 0
1800.25/1800.60	c Calls to reduceDB	: 357
1800.25/1800.60	c Number of update (reduction) of LBD	: 63793
1800.25/1800.60	c Imported unit clauses	: 0
1800.25/1800.60	c number of reductions to clauses (during analyze)	: 0
1800.25/1800.60	c number of learned constraints concerned by reduction	: 0
1800.25/1800.60	c number of learning phase by resolution	: 0
1800.25/1800.60	c number of learning phase by cutting planes	: 0
1800.25/1800.60	c speed (assignments/second)	: 88848.41013324476
1800.25/1800.60	c non guided choices	0
1800.25/1800.62	c learnt constraints type 
1800.25/1800.62	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 189
1800.25/1800.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113088
1800.25/1800.62	s SATISFIABLE
1800.25/1800.62	c Found 51 solution(s)
1800.25/1800.62	v x1 -x2 x3 x4 x5 x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 x27 x28 x29 x30 x31 x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 x42 -x43 x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100 x101 x102 x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 x142 -x143 x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 -x276 x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 x339 x340 x341 -x342 -x343 -x344 -x345 x346 x347 x348 -x349 x350 x351 -x352 x353 x354 -x355 x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 -x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 -x505 -x506 x507 
1800.25/1800.62	c objective function=-230
1800.25/1800.62	c Total wall clock time (in seconds): 1800.519

Verifier Data 

OK	-230

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118965-1467238584/watcher-4118965-1467238584 -o /tmp/evaluation-result-4118965-1467238584/solver-4118965-1467238584 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15698 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118965-1467238584.opb 

pid=16362
running on 8 cores: 4-7,12-15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.06 2.03 2.05 4/281 16365
/proc/meminfo: memFree=27628352/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=96272 CPUtime=0 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 1360 0 0 0 0 0 0 0 20 0 2 0 4811212 98582528 985 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 24068 985 750 9 0 16774 0
[pid=16365/tid=16366] ppid=16362 vsize=96268 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) D 16362 16365 15681 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 2 0 4811213 98578432 989 33554432000 1073741824 1073778376 140733719987696 140552391103160 216799472935 0 0 0 16784584 18446744072100756772 0 0 -1 12 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.06 2.03 2.05 4/281 16365
/proc/meminfo: memFree=27628352/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9896436 CPUtime=0.1 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 4494 0 1 0 9 1 0 0 20 0 23 0 4811212 10133950464 6098 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2474109 6098 2140 9 0 2464786 0
[pid=16365/tid=16366] ppid=16362 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2419 0 1 0 7 0 0 0 20 0 23 0 4811213 10133950464 6098 33554432000 1073741824 1073778376 140733719987696 140552391105440 216812021005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436

[startup+0.200278 s]
/proc/loadavg: 2.06 2.03 2.05 4/281 16365
/proc/meminfo: memFree=27628352/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 4956 0 1 0 26 1 0 0 20 0 23 0 4811212 10133950464 6999 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2474109 6999 2215 9 0 2464786 0
[pid=16365/tid=16366] ppid=16362 vsize=9896436 CPUtime=0.17 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2441 0 1 0 17 0 0 0 20 0 23 0 4811213 10133950464 6999 33554432000 1073741824 1073778376 140733719987696 140552391105440 140552217671133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9896436

[startup+0.300263 s]
/proc/loadavg: 2.06 2.03 2.05 4/281 16365
/proc/meminfo: memFree=27628352/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9963000 CPUtime=0.48 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 6821 0 1 0 47 1 0 0 20 0 24 0 4811212 10202112000 8999 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2490750 8999 2245 9 0 2481427 0
[pid=16365/tid=16366] ppid=16362 vsize=9963000 CPUtime=0.27 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2451 0 1 0 27 0 0 0 20 0 24 0 4811213 10202112000 8999 33554432000 1073741824 1073778376 140733719987696 140552391106616 140552217672988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9963000

[startup+0.700273 s]
/proc/loadavg: 2.06 2.03 2.05 4/281 16365
/proc/meminfo: memFree=27628352/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9963000 CPUtime=1.27 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 11263 0 1 0 125 2 0 0 20 0 24 0 4811212 10202112000 12960 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2490750 12960 2250 9 0 2481427 0
[pid=16365/tid=16366] ppid=16362 vsize=9963000 CPUtime=0.67 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2454 0 1 0 67 0 0 0 20 0 24 0 4811213 10202112000 12960 33554432000 1073741824 1073778376 140733719987696 140552391106872 140552218059174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9963000

[startup+1.5009 s]
/proc/loadavg: 2.06 2.03 2.05 4/305 16389
/proc/meminfo: memFree=27578392/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9963000 CPUtime=2.22 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 11326 0 1 0 220 2 0 0 20 0 24 0 4811212 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2490750 16597 2260 9 0 2481427 0
[pid=16365/tid=16366] ppid=16362 vsize=9963000 CPUtime=1.47 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2462 0 1 0 146 1 0 0 20 0 24 0 4811213 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552391105016 140552218230076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16368] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16368/stat : 16368 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552352598440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16369] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16369/stat : 16369 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552351545896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16370] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16370/stat : 16370 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552350492840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16371] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16371/stat : 16371 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552349440296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16372] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16372/stat : 16372 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552348388264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16373] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16373/stat : 16373 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552347335720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16374] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16374/stat : 16374 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552346282664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16375] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16375/stat : 16375 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552345230120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16376] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16376/stat : 16376 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552344177064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16377] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16377/stat : 16377 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552343124520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16365/tid=16378] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16378/stat : 16378 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552342071464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16379] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16379/stat : 16379 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552341018920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16380] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16380/stat : 16380 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552339966888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16381] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16381/stat : 16381 (java) S 16362 16365 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552203869160 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16382] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16382/stat : 16382 (java) S 16362 16365 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140552202814968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16383] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16383/stat : 16383 (java) S 16362 16365 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551194142216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16384] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16384/stat : 16384 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551193090448 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16385] ppid=16362 vsize=9963000 CPUtime=0.34 cores=4-7,12-15
/proc/16365/task/16385/stat : 16385 (java) S 16362 16365 15681 0 -1 4202560 2450 0 0 0 34 0 0 0 20 0 24 0 4811217 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551192037816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16386] ppid=16362 vsize=9963000 CPUtime=0.35 cores=4-7,12-15
/proc/16365/task/16386/stat : 16386 (java) S 16362 16365 15681 0 -1 4202560 5128 0 0 0 35 0 0 0 20 0 24 0 4811217 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551190984760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16387] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16387/stat : 16387 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551189932408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16388] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16388/stat : 16388 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551188880584 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16389] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16389/stat : 16389 (java) S 16362 16365 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4811235 10202112000 16597 33554432000 1073741824 1073778376 140733719987696 140551187826344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9963000

[startup+3.101 s]
/proc/loadavg: 2.06 2.03 2.05 4/305 16389
/proc/meminfo: memFree=27559080/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9963000 CPUtime=4.27 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 15816 0 1 0 424 3 0 0 20 0 24 0 4811212 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2490750 24168 2263 9 0 2481427 0
[pid=16365/tid=16366] ppid=16362 vsize=9963000 CPUtime=3.06 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2475 0 1 0 305 1 0 0 20 0 24 0 4811213 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552391107080 140552218062571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16368] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16368/stat : 16368 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552352598440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16369] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16369/stat : 16369 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552351545896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16370] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16370/stat : 16370 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552350492840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16371] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16371/stat : 16371 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552349440296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16372] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16372/stat : 16372 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552348388264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16373] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16373/stat : 16373 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552347335720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16374] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16374/stat : 16374 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552346282664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16375] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16375/stat : 16375 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552345230120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16376] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16376/stat : 16376 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552344177064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16377] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16377/stat : 16377 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552343124520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16365/tid=16378] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16378/stat : 16378 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552342071464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16379] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16379/stat : 16379 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552341018920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16380] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16380/stat : 16380 (java) S 16362 16365 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552339966888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16381] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16381/stat : 16381 (java) S 16362 16365 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552203869160 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16382] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16382/stat : 16382 (java) S 16362 16365 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140552202814968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16383] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16383/stat : 16383 (java) S 16362 16365 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551194142216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16384] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16384/stat : 16384 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551193090448 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16385] ppid=16362 vsize=9963000 CPUtime=0.41 cores=4-7,12-15
/proc/16365/task/16385/stat : 16385 (java) S 16362 16365 15681 0 -1 4202560 2520 0 0 0 41 0 0 0 20 0 24 0 4811217 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551192037816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16386] ppid=16362 vsize=9963000 CPUtime=0.73 cores=4-7,12-15
/proc/16365/task/16386/stat : 16386 (java) R 16362 16365 15681 0 -1 4202560 9535 0 0 0 72 1 0 0 20 0 24 0 4811217 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551190984760 140552397069512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16387] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16387/stat : 16387 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551189932408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16388] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16388/stat : 16388 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551188880584 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16389] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16389/stat : 16389 (java) S 16362 16365 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4811235 10202112000 24168 33554432000 1073741824 1073778376 140733719987696 140551187826344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9963000

[startup+6.30095 s]
/proc/loadavg: 2.05 2.03 2.05 4/305 16389
/proc/meminfo: memFree=27487768/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9963000 CPUtime=7.9 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 17980 0 1 0 785 5 0 0 20 0 24 0 4811212 10202112000 36305 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2490750 36305 2266 9 0 2481427 0
[pid=16365/tid=16366] ppid=16362 vsize=9963000 CPUtime=6.25 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 2501 0 1 0 623 2 0 0 20 0 24 0 4811213 10202112000 36305 33554432000 1073741824 1073778376 140733719987696 140552391107112 140552218078943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16368] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16368/stat : 16368 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 36305 33554432000 1073741824 1073778376 140733719987696 140552352598440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16369] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16369/stat : 16369 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 36305 33554432000 1073741824 1073778376 140733719987696 140552351545896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16370] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16370/stat : 16370 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811214 10202112000 36305 33554432000 1073741824 1073778376 140733719987696 140552350492840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16371] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15

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

/proc/16365/task/16375/stat : 16375 (java) S 16362 16365 15681 0 -1 4202560 1573 0 0 0 310 29 0 0 20 0 24 0 4811214 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552345230120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16376] ppid=16362 vsize=9963000 CPUtime=3.51 cores=4-7,12-15
/proc/16365/task/16376/stat : 16376 (java) S 16362 16365 15681 0 -1 4202560 1403 0 0 0 323 28 0 0 20 0 24 0 4811214 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552344177064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16377] ppid=16362 vsize=9963000 CPUtime=3.38 cores=4-7,12-15
/proc/16365/task/16377/stat : 16377 (java) S 16362 16365 15681 0 -1 4202560 564 0 0 0 308 30 0 0 20 0 24 0 4811214 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552343124520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16378] ppid=16362 vsize=9963000 CPUtime=3.53 cores=4-7,12-15
/proc/16365/task/16378/stat : 16378 (java) S 16362 16365 15681 0 -1 4202560 1491 0 0 0 321 32 0 0 20 0 24 0 4811214 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552342071464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16379] ppid=16362 vsize=9963000 CPUtime=3.52 cores=4-7,12-15
/proc/16365/task/16379/stat : 16379 (java) S 16362 16365 15681 0 -1 4202560 1375 0 0 0 325 27 0 0 20 0 24 0 4811214 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552341018920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16380] ppid=16362 vsize=9963000 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16380/stat : 16380 (java) S 16362 16365 15681 0 -1 4202560 2009 0 0 0 319 31 0 0 20 0 24 0 4811214 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552339966888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16381] ppid=16362 vsize=9963000 CPUtime=4.22 cores=4-7,12-15
/proc/16365/task/16381/stat : 16381 (java) S 16362 16365 15681 0 -1 4202560 969 0 0 0 414 8 0 0 20 0 24 0 4811215 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552203869160 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16382] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16382/stat : 16382 (java) S 16362 16365 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140552202814968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16383] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16383/stat : 16383 (java) S 16362 16365 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551194142216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16384] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16384/stat : 16384 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551193090448 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16385] ppid=16362 vsize=9963000 CPUtime=0.46 cores=4-7,12-15
/proc/16365/task/16385/stat : 16385 (java) S 16362 16365 15681 0 -1 4202560 2522 0 0 0 46 0 0 0 20 0 24 0 4811217 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551192037816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16386] ppid=16362 vsize=9963000 CPUtime=1.18 cores=4-7,12-15
/proc/16365/task/16386/stat : 16386 (java) S 16362 16365 15681 0 -1 4202560 11675 0 0 0 117 1 0 0 20 0 24 0 4811217 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551190984760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16387] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16387/stat : 16387 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551189932408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16388] ppid=16362 vsize=9963000 CPUtime=0.47 cores=4-7,12-15
/proc/16365/task/16388/stat : 16388 (java) S 16362 16365 15681 0 -1 4202560 98 0 0 0 22 25 0 0 20 0 24 0 4811217 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551188880584 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16389] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16389/stat : 16389 (java) S 16362 16365 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4811235 10202112000 66150 33554432000 1073741824 1073778376 140733719987696 140551187826344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 9963000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.59 s]
/proc/loadavg: 1.12 1.56 1.82 10/305 16504
/proc/meminfo: memFree=27628680/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=9963000 CPUtime=1800.25 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 38882 0 1 0 179592 433 0 0 20 0 24 0 4811212 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2490750 72390 2288 9 0 2481427 0
[pid=16365/tid=16366] ppid=16362 vsize=9963000 CPUtime=1743.5 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) S 16362 16365 15681 0 -1 4202560 3232 0 1 0 174316 34 0 0 20 0 24 0 4811213 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552391105880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16365/tid=16368] ppid=16362 vsize=9963000 CPUtime=3.34 cores=4-7,12-15
/proc/16365/task/16368/stat : 16368 (java) R 16362 16365 15681 0 -1 4202560 1657 0 0 0 307 27 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552352598440 216808590471 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16369] ppid=16362 vsize=9963000 CPUtime=3.61 cores=4-7,12-15
/proc/16365/task/16369/stat : 16369 (java) R 16362 16365 15681 0 -1 4202560 1396 0 0 0 332 29 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552351546072 140552395282616 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16370] ppid=16362 vsize=9963000 CPUtime=3.53 cores=4-7,12-15
/proc/16365/task/16370/stat : 16370 (java) R 16362 16365 15681 0 -1 4202560 1547 0 0 0 327 26 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552350492840 216808590471 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16371] ppid=16362 vsize=9963000 CPUtime=3.52 cores=4-7,12-15
/proc/16365/task/16371/stat : 16371 (java) R 16362 16365 15681 0 -1 4202560 1474 0 0 0 321 31 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552349440296 216808590471 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=16365/tid=16372] ppid=16362 vsize=9963000 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16372/stat : 16372 (java) R 16362 16365 15681 0 -1 4202560 1667 0 0 0 315 35 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552348388392 140552399152288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16373] ppid=16362 vsize=9963000 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16373/stat : 16373 (java) R 16362 16365 15681 0 -1 4202560 1240 0 0 0 321 29 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552347335848 216808590471 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16374] ppid=16362 vsize=9963000 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16374/stat : 16374 (java) R 16362 16365 15681 0 -1 4202560 1656 0 0 0 319 31 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552346282792 216808590471 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16375] ppid=16362 vsize=9963000 CPUtime=3.41 cores=4-7,12-15
/proc/16365/task/16375/stat : 16375 (java) R 16362 16365 15681 0 -1 4202560 1613 0 0 0 311 30 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552345230248 216808590471 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16376] ppid=16362 vsize=9963000 CPUtime=3.54 cores=4-7,12-15
/proc/16365/task/16376/stat : 16376 (java) R 16362 16365 15681 0 -1 4202560 1425 0 0 0 326 28 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552344177240 140552393666035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16377] ppid=16362 vsize=9963000 CPUtime=3.42 cores=4-7,12-15
/proc/16365/task/16377/stat : 16377 (java) R 16362 16365 15681 0 -1 4202560 567 0 0 0 312 30 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552343124520 216808590471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16378] ppid=16362 vsize=9963000 CPUtime=3.55 cores=4-7,12-15
/proc/16365/task/16378/stat : 16378 (java) R 16362 16365 15681 0 -1 4202560 1492 0 0 0 323 32 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552342071592 216808590471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16379] ppid=16362 vsize=9963000 CPUtime=3.55 cores=4-7,12-15
/proc/16365/task/16379/stat : 16379 (java) R 16362 16365 15681 0 -1 4202560 1382 0 0 0 327 28 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552341019048 216808590471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16380] ppid=16362 vsize=9963000 CPUtime=3.53 cores=4-7,12-15
/proc/16365/task/16380/stat : 16380 (java) R 16362 16365 15681 0 -1 4202560 2012 0 0 0 322 31 0 0 20 0 24 0 4811214 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552339967016 216808590471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16381] ppid=16362 vsize=9963000 CPUtime=4.22 cores=4-7,12-15
/proc/16365/task/16381/stat : 16381 (java) S 16362 16365 15681 0 -1 4202560 970 0 0 0 414 8 0 0 20 0 24 0 4811215 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552203868040 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16382] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16382/stat : 16382 (java) S 16362 16365 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140552202814968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16383] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16383/stat : 16383 (java) S 16362 16365 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 4811215 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551194142216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16384] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16384/stat : 16384 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551193090448 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16385] ppid=16362 vsize=9963000 CPUtime=0.46 cores=4-7,12-15
/proc/16365/task/16385/stat : 16385 (java) S 16362 16365 15681 0 -1 4202560 2522 0 0 0 46 0 0 0 20 0 24 0 4811217 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551192037816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16386] ppid=16362 vsize=9963000 CPUtime=1.18 cores=4-7,12-15
/proc/16365/task/16386/stat : 16386 (java) S 16362 16365 15681 0 -1 4202560 11675 0 0 0 117 1 0 0 20 0 24 0 4811217 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551190984760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16387] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16387/stat : 16387 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551189932408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16388] ppid=16362 vsize=9963000 CPUtime=0.48 cores=4-7,12-15
/proc/16365/task/16388/stat : 16388 (java) S 16362 16365 15681 0 -1 4202560 98 0 0 0 22 26 0 0 20 0 24 0 4811217 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551188880584 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16389] ppid=16362 vsize=9963000 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16389/stat : 16389 (java) S 16362 16365 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 4811235 10202112000 72390 33554432000 1073741824 1073778376 140733719987696 140551187826344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 9963000

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16365 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.63 s]
/proc/loadavg: 1.12 1.56 1.82 10/305 16504
/proc/meminfo: memFree=27628680/32872528 swapFree=8828/8828
[pid=16365] ppid=16362 vsize=10096128 CPUtime=1800.39 cores=4-7,12-15
/proc/16365/stat : 16365 (java) S 16362 16365 15681 0 -1 4202496 38926 0 1 0 179605 434 0 0 20 0 24 0 4811212 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140733719978832 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/16365/statm: 2524032 72425 2297 9 0 2514709 0
[pid=16365/tid=16366] ppid=16362 vsize=10096128 CPUtime=1743.53 cores=4-7,12-15
/proc/16365/task/16366/stat : 16366 (java) R 16362 16365 15681 0 -1 4202560 3232 0 1 0 174319 34 0 0 20 0 24 0 4811213 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552391105304 140552218357569 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=16365/tid=16368] ppid=16362 vsize=10096128 CPUtime=3.35 cores=4-7,12-15
/proc/16365/task/16368/stat : 16368 (java) S 16362 16365 15681 0 -1 4202560 1657 0 0 0 308 27 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552352598440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16369] ppid=16362 vsize=10096128 CPUtime=3.61 cores=4-7,12-15
/proc/16365/task/16369/stat : 16369 (java) S 16362 16365 15681 0 -1 4202560 1396 0 0 0 332 29 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552351545896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16365/tid=16370] ppid=16362 vsize=10096128 CPUtime=3.54 cores=4-7,12-15
/proc/16365/task/16370/stat : 16370 (java) S 16362 16365 15681 0 -1 4202560 1547 0 0 0 328 26 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552350492840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16365/tid=16371] ppid=16362 vsize=10096128 CPUtime=3.53 cores=4-7,12-15
/proc/16365/task/16371/stat : 16371 (java) S 16362 16365 15681 0 -1 4202560 1474 0 0 0 322 31 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552349440296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16372] ppid=16362 vsize=10096128 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16372/stat : 16372 (java) S 16362 16365 15681 0 -1 4202560 1667 0 0 0 315 35 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552348388264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16373] ppid=16362 vsize=10096128 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16373/stat : 16373 (java) S 16362 16365 15681 0 -1 4202560 1240 0 0 0 321 29 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552347335720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16374] ppid=16362 vsize=10096128 CPUtime=3.5 cores=4-7,12-15
/proc/16365/task/16374/stat : 16374 (java) S 16362 16365 15681 0 -1 4202560 1656 0 0 0 319 31 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552346282664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16375] ppid=16362 vsize=10096128 CPUtime=3.42 cores=4-7,12-15
/proc/16365/task/16375/stat : 16375 (java) S 16362 16365 15681 0 -1 4202560 1613 0 0 0 312 30 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552345230120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16376] ppid=16362 vsize=10096128 CPUtime=3.55 cores=4-7,12-15
/proc/16365/task/16376/stat : 16376 (java) S 16362 16365 15681 0 -1 4202560 1425 0 0 0 326 29 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552344177064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16377] ppid=16362 vsize=10096128 CPUtime=3.43 cores=4-7,12-15
/proc/16365/task/16377/stat : 16377 (java) S 16362 16365 15681 0 -1 4202560 567 0 0 0 313 30 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552343124520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16365/tid=16378] ppid=16362 vsize=10096128 CPUtime=3.56 cores=4-7,12-15
/proc/16365/task/16378/stat : 16378 (java) S 16362 16365 15681 0 -1 4202560 1492 0 0 0 324 32 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552342071464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16379] ppid=16362 vsize=10096128 CPUtime=3.56 cores=4-7,12-15
/proc/16365/task/16379/stat : 16379 (java) S 16362 16365 15681 0 -1 4202560 1382 0 0 0 328 28 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552341018920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16380] ppid=16362 vsize=10096128 CPUtime=3.53 cores=4-7,12-15
/proc/16365/task/16380/stat : 16380 (java) S 16362 16365 15681 0 -1 4202560 2012 0 0 0 322 31 0 0 20 0 24 0 4811214 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552339966888 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16381] ppid=16362 vsize=10096128 CPUtime=4.22 cores=4-7,12-15
/proc/16365/task/16381/stat : 16381 (java) S 16362 16365 15681 0 -1 4202560 971 0 0 0 414 8 0 0 20 0 24 0 4811215 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552203869160 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16365/tid=16382] ppid=16362 vsize=10096128 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16382/stat : 16382 (java) S 16362 16365 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 4811215 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140552202814968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16383] ppid=16362 vsize=10096128 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16383/stat : 16383 (java) S 16362 16365 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 4811215 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140551194142216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16384] ppid=16362 vsize=10096128 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16384/stat : 16384 (java) S 16362 16365 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 4811217 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140551193090448 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16385] ppid=16362 vsize=10096128 CPUtime=0.46 cores=4-7,12-15
/proc/16365/task/16385/stat : 16385 (java) S 16362 16365 15681 0 -1 4202560 2522 0 0 0 46 0 0 0 20 0 24 0 4811217 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140551192037816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16365/tid=16386] ppid=16362 vsize=10096128 CPUtime=1.2 cores=4-7,12-15
/proc/16365/task/16386/stat : 16386 (java) S 16362 16365 15681 0 -1 4202560 11683 0 0 0 119 1 0 0 20 0 24 0 4811217 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140551190984760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16365/tid=16387] ppid=16362 vsize=10096128 CPUtime=0 cores=4-7,12-15
/proc/16365/task/16387/stat : 16387 (java) S 16362 16365 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 4811217 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140551189932408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16365/tid=16388] ppid=16362 vsize=10096128 CPUtime=0.48 cores=4-7,12-15
/proc/16365/task/16388/stat : 16388 (java) S 16362 16365 15681 0 -1 4202560 98 0 0 0 22 26 0 0 20 0 24 0 4811217 10338435072 72425 33554432000 1073741824 1073778376 140733719987696 140551188880584 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 10096128

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16365 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=89712
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=760276
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.63
CPU time (s): 1800.39
CPU user time (s): 1796.05
CPU system time (s): 4.34
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 10096128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.09
system time used= 4.76028
maximum resident set size= 536452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38927
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66442
involuntary context switches= 64855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9609 second user time and 16.6385 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-30 00:16:24
IDJOB=4118965
IDBENCH=111552
IDSOLVER=2546
FILE ID=node132/4118965-1467238584
RUNJOBID= node132-1467233254-15698
PBS_JOBID= 19997601
Free space on /tmp= 71540 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118965-1467238584/watcher-4118965-1467238584 -o /tmp/evaluation-result-4118965-1467238584/solver-4118965-1467238584 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15698 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118965-1467238584.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 880a7980df3d2b06275e6dfd41d8e0a1
RANDOM SEED=1429029733

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27627932 kB
Buffers:          120968 kB
Cached:          3855044 kB
SwapCached:            0 kB
Active:           581652 kB
Inactive:        3868628 kB
Active(anon):     476924 kB
Inactive(anon):        0 kB
Active(file):     104728 kB
Inactive(file):  3868628 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               572 kB
Writeback:             0 kB
AnonPages:        501656 kB
Mapped:            22260 kB
Shmem:               216 kB
Slab:             631968 kB
SReclaimable:      72684 kB
SUnreclaim:       559284 kB
KernelStack:        2456 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     946556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71536 MiB
End job on node132 at 2016-06-30 00:47:13