Trace number 4118218

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)-96 1800.01 1790.04

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.lin.opb
MD5SUMabd801c118da4548a3b6b8867150aecd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-96
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables263
Total number of constraints456
Number of constraints which are clauses228
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints228
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 263
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2816
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2816
Number of bits of the biggest sum of numbers12
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118218-1467225608.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.19	c ... done. Wall clock time 0.075s.
0.09/0.19	c declared #vars     263
0.09/0.19	c #constraints  456
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 228
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 228
0.09/0.19	c 456 constraints processed.
0.09/0.19	c objective function length is 263 literals
0.24/0.20	c SATISFIABLE
0.24/0.20	c OPTIMIZING...
0.24/0.20	c Got one! Elapsed wall clock time (in seconds):0.084
0.24/0.20	o -69
0.24/0.21	c Got one! Elapsed wall clock time (in seconds):0.093
0.24/0.21	o -70
0.24/0.22	c Got one! Elapsed wall clock time (in seconds):0.104
0.24/0.22	o -71
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.234
0.50/0.35	o -72
0.78/0.59	c cleaning 2516 clauses out of 5032 with flag 8504/5032
1.22/0.88	c Got one! Elapsed wall clock time (in seconds):0.765
1.22/0.88	o -73
1.59/1.20	c cleaning 6483 clauses out of 12965 with flag 10316/15481
1.99/1.59	c cleaning 6241 clauses out of 12482 with flag 23169/21481
2.41/1.98	c cleaning 6616 clauses out of 13241 with flag 38124/28481
2.93/2.42	c cleaning 7313 clauses out of 14625 with flag 54926/36481
2.93/2.43	c Got one! Elapsed wall clock time (in seconds):2.321
2.93/2.43	o -74
3.36/2.79	c cleaning 6292 clauses out of 12590 with flag 10429/41759
3.78/3.19	c cleaning 6150 clauses out of 12299 with flag 23000/47760
4.29/3.66	c cleaning 6564 clauses out of 13148 with flag 37573/54759
4.90/4.22	c cleaning 7286 clauses out of 14584 with flag 55204/62759
5.50/4.80	c cleaning 8150 clauses out of 16299 with flag 74499/71760
6.21/5.60	c cleaning 9073 clauses out of 18149 with flag 95103/81760
7.10/6.45	c cleaning 10035 clauses out of 20076 with flag 117247/92760
8.00/7.37	c cleaning 11018 clauses out of 22041 with flag 141871/104760
9.10/8.40	c cleaning 12011 clauses out of 24022 with flag 168311/117759
10.20/9.56	c cleaning 13005 clauses out of 26012 with flag 196490/131760
11.50/10.81	c cleaning 14000 clauses out of 28006 with flag 227347/146759
12.81/12.20	c cleaning 15002 clauses out of 30006 with flag 260444/162759
14.41/13.76	c cleaning 16000 clauses out of 32004 with flag 295978/179759
16.31/15.63	c cleaning 16998 clauses out of 34005 with flag 334572/197760
18.11/17.47	c cleaning 18001 clauses out of 36007 with flag 376054/216760
20.01/19.39	c cleaning 18996 clauses out of 38005 with flag 420568/236759
20.52/19.83	c Got one! Elapsed wall clock time (in seconds):19.712
20.52/19.83	o -76
20.52/19.83	c Got one! Elapsed wall clock time (in seconds):19.715
20.52/19.83	o -77
21.01/20.37	c cleaning 15235 clauses out of 30474 with flag 10083/248224
21.51/20.81	c cleaning 10617 clauses out of 21239 with flag 22262/254224
21.91/21.28	c cleaning 8811 clauses out of 17623 with flag 36732/261225
22.51/21.80	c cleaning 8402 clauses out of 16811 with flag 52868/269224
23.01/22.38	c cleaning 8701 clauses out of 17409 with flag 71884/278224
23.71/23.09	c cleaning 9351 clauses out of 18708 with flag 94434/288224
24.51/23.85	c cleaning 10176 clauses out of 20359 with flag 116660/299226
25.41/24.70	c cleaning 11090 clauses out of 22182 with flag 142316/311225
26.31/25.66	c cleaning 12042 clauses out of 24091 with flag 170629/324224
27.52/26.86	c cleaning 13023 clauses out of 26052 with flag 201945/338227
28.92/28.25	c cleaning 14013 clauses out of 28027 with flag 235847/353225
30.57/29.87	c cleaning 15007 clauses out of 30014 with flag 272567/369225
32.16/31.47	c cleaning 15998 clauses out of 32007 with flag 308300/386225
33.87/33.12	c cleaning 17001 clauses out of 34008 with flag 346482/404224
35.67/34.96	c cleaning 18002 clauses out of 36007 with flag 390533/423224
37.77/37.04	c cleaning 19001 clauses out of 38006 with flag 434018/443225
39.97/39.29	c cleaning 20000 clauses out of 40004 with flag 480355/464224
42.47/41.73	c cleaning 20997 clauses out of 42006 with flag 526194/486226
45.27/44.51	c cleaning 22000 clauses out of 44009 with flag 577714/509226
47.96/47.25	c cleaning 22996 clauses out of 46007 with flag 628560/533224
51.16/50.44	c cleaning 24005 clauses out of 48011 with flag 683387/558224
51.97/51.27	c Got one! Elapsed wall clock time (in seconds):51.155
51.97/51.27	o -78
51.97/51.27	c Got one! Elapsed wall clock time (in seconds):51.158
51.97/51.27	o -79
51.97/51.28	c Got one! Elapsed wall clock time (in seconds):51.167
51.97/51.28	o -80
52.65/51.88	c cleaning 19179 clauses out of 38367 with flag 10156/572585
53.14/52.35	c cleaning 12590 clauses out of 25187 with flag 22566/578584
53.64/52.84	c cleaning 9795 clauses out of 19597 with flag 37350/585584
54.14/53.32	c cleaning 8898 clauses out of 17801 with flag 55039/593583
54.64/53.87	c cleaning 8945 clauses out of 17903 with flag 74590/602583
54.74/53.94	c Got one! Elapsed wall clock time (in seconds):53.823
54.74/53.94	o -81
54.94/54.19	c cleaning 7309 clauses out of 14621 with flag 8988/608246
55.34/54.55	c cleaning 6655 clauses out of 13313 with flag 22330/614247
55.74/54.92	c cleaning 6824 clauses out of 13657 with flag 37848/621246
56.14/55.34	c cleaning 7413 clauses out of 14834 with flag 55095/629247
56.64/55.86	c cleaning 8205 clauses out of 16422 with flag 75182/638248
57.24/56.48	c cleaning 9102 clauses out of 18215 with flag 98370/648246
57.96/57.17	c Got one! Elapsed wall clock time (in seconds):57.059
57.96/57.17	o -82
57.96/57.18	c Got one! Elapsed wall clock time (in seconds):57.069
57.96/57.18	o -83
58.46/57.67	c cleaning 12458 clauses out of 24916 with flag 10089/664049
58.96/58.17	c cleaning 9230 clauses out of 18459 with flag 22175/670050
59.46/58.63	c cleaning 8107 clauses out of 16228 with flag 36266/677049
59.96/59.10	c cleaning 8055 clauses out of 16121 with flag 52409/685049
60.46/59.65	c cleaning 8531 clauses out of 17067 with flag 70494/694050
61.16/60.30	c cleaning 9268 clauses out of 18537 with flag 91676/704051
61.86/61.03	c cleaning 10130 clauses out of 20269 with flag 114348/715051
62.76/61.91	c cleaning 11066 clauses out of 22137 with flag 140566/727049
63.66/62.87	c cleaning 12029 clauses out of 24071 with flag 169590/740049
64.87/64.03	c cleaning 13019 clauses out of 26043 with flag 202607/754050
66.17/65.36	c cleaning 14007 clauses out of 28023 with flag 241869/769049
67.37/66.55	c cleaning 15005 clauses out of 30016 with flag 276952/785049
68.17/67.36	c Got one! Elapsed wall clock time (in seconds):67.242
68.17/67.36	o -84
68.77/67.95	c cleaning 16223 clauses out of 32445 with flag 10557/802483
69.27/68.43	c cleaning 11110 clauses out of 22223 with flag 23885/808484
69.67/68.83	c cleaning 9048 clauses out of 18112 with flag 39064/815483
70.07/69.30	c cleaning 8527 clauses out of 17067 with flag 58349/823486
70.67/69.83	c cleaning 8761 clauses out of 17537 with flag 80097/832483
71.28/70.43	c cleaning 9385 clauses out of 18777 with flag 102648/842484
71.97/71.16	c cleaning 10190 clauses out of 20391 with flag 128318/853483
72.87/72.04	c cleaning 11096 clauses out of 22202 with flag 157393/865484
73.87/73.02	c cleaning 12048 clauses out of 24105 with flag 187548/878483
75.07/74.21	c cleaning 13024 clauses out of 26057 with flag 221095/892483
76.27/75.45	c cleaning 14014 clauses out of 28033 with flag 256814/907483
77.57/76.79	c cleaning 15006 clauses out of 30020 with flag 294771/923484
79.20/78.37	c cleaning 16000 clauses out of 32014 with flag 334740/940484
80.80/79.99	c cleaning 17002 clauses out of 34013 with flag 375974/958483
82.70/81.85	c cleaning 17998 clauses out of 36011 with flag 420023/977483
84.70/83.81	c cleaning 19005 clauses out of 38013 with flag 463820/997483
86.70/85.86	c cleaning 19998 clauses out of 40008 with flag 511565/1018483
88.90/88.02	c cleaning 21001 clauses out of 42010 with flag 560811/1040483
90.90/90.04	c cleaning 22000 clauses out of 44009 with flag 610815/1063483
91.00/90.13	c Got one! Elapsed wall clock time (in seconds):90.016
91.00/90.13	o -88
91.30/90.47	c cleaning 13832 clauses out of 27663 with flag 8044/1069137
91.70/90.81	c cleaning 9909 clauses out of 19831 with flag 20177/1075137
92.00/91.18	c cleaning 8454 clauses out of 16921 with flag 34362/1082136
92.50/91.63	c cleaning 8230 clauses out of 16468 with flag 50522/1090137
93.00/92.17	c cleaning 8617 clauses out of 17237 with flag 68660/1099136
93.70/92.83	c cleaning 9311 clauses out of 18621 with flag 89024/1109137
94.40/93.53	c cleaning 10150 clauses out of 20309 with flag 111137/1120136
95.11/94.26	c cleaning 11074 clauses out of 22159 with flag 135885/1132136
96.01/95.11	c cleaning 12042 clauses out of 24085 with flag 162800/1145136
96.91/96.06	c cleaning 13018 clauses out of 26046 with flag 191817/1159139
98.01/97.19	c cleaning 14010 clauses out of 28027 with flag 222863/1174138
99.31/98.42	c cleaning 15008 clauses out of 30016 with flag 255817/1190137
100.71/99.86	c cleaning 15998 clauses out of 32007 with flag 290609/1207136
102.21/101.36	c cleaning 17002 clauses out of 34010 with flag 328125/1225137
103.91/103.08	c cleaning 18001 clauses out of 36008 with flag 368012/1244137
105.91/105.08	c cleaning 19003 clauses out of 38006 with flag 409958/1264136
108.11/107.20	c cleaning 19997 clauses out of 40003 with flag 453677/1285136
110.31/109.49	c cleaning 20996 clauses out of 42006 with flag 500598/1307136
112.53/111.66	c cleaning 22002 clauses out of 44010 with flag 547624/1330136
114.83/113.91	c cleaning 23005 clauses out of 46009 with flag 598090/1354137
117.54/116.69	c cleaning 23998 clauses out of 48003 with flag 652214/1379136
120.73/119.80	c cleaning 25001 clauses out of 50005 with flag 707973/1405136
124.14/123.25	c cleaning 26002 clauses out of 52004 with flag 764482/1432136
127.54/126.62	c cleaning 27002 clauses out of 54003 with flag 823866/1460137
131.03/130.13	c cleaning 27993 clauses out of 56000 with flag 884645/1489136
135.23/134.30	c cleaning 29000 clauses out of 58008 with flag 950127/1519137
139.63/138.63	c cleaning 29999 clauses out of 60007 with flag 1017591/1550136
144.23/143.23	c cleaning 30997 clauses out of 62008 with flag 1086328/1582136
148.93/147.96	c cleaning 32003 clauses out of 64012 with flag 1160703/1615137
154.03/153.04	c cleaning 32999 clauses out of 66009 with flag 1238786/1649137
156.80/155.77	c Got one! Elapsed wall clock time (in seconds):155.653
156.80/155.77	o -89
157.60/156.52	c cleaning 30373 clauses out of 60755 with flag 10034/1676882
158.10/157.02	c cleaning 18188 clauses out of 36380 with flag 22044/1682880
158.50/157.48	c cleaning 12591 clauses out of 25192 with flag 36894/1689880
159.00/157.91	c cleaning 10295 clauses out of 20601 with flag 53932/1697880
159.50/158.40	c cleaning 9650 clauses out of 19306 with flag 73180/1706880
159.99/158.94	c cleaning 9828 clauses out of 19656 with flag 95501/1716880
160.60/159.58	c cleaning 10412 clauses out of 20828 with flag 119175/1727880
161.39/160.30	c cleaning 11204 clauses out of 22416 with flag 145062/1739880
162.09/161.04	c cleaning 12105 clauses out of 24213 with flag 174450/1752881
162.99/161.91	c cleaning 13055 clauses out of 26109 with flag 206544/1766882
164.00/162.99	c cleaning 14024 clauses out of 28053 with flag 238739/1781881
165.29/164.24	c cleaning 15007 clauses out of 30028 with flag 273679/1797880
165.49/164.45	c Got one! Elapsed wall clock time (in seconds):164.335
165.49/164.45	o -91
165.69/164.60	c cleaning 10420 clauses out of 20846 with flag 4124/1803705
165.99/164.94	c cleaning 8206 clauses out of 16425 with flag 16892/1809704
166.39/165.35	c cleaning 7608 clauses out of 15220 with flag 31695/1816705
166.85/165.78	c cleaning 7804 clauses out of 15612 with flag 49103/1824705
167.36/166.24	c cleaning 8397 clauses out of 16808 with flag 68650/1833705
167.55/166.44	c Got one! Elapsed wall clock time (in seconds):166.322
167.55/166.44	o -92
167.65/166.51	c cleaning 7069 clauses out of 14148 with flag 2306/1839442
167.95/166.81	c cleaning 6535 clauses out of 13079 with flag 14469/1845442
168.25/167.15	c cleaning 6770 clauses out of 13545 with flag 29658/1852443
168.65/167.52	c cleaning 7384 clauses out of 14776 with flag 46172/1860444
169.15/168.01	c cleaning 8195 clauses out of 16390 with flag 66402/1869442
169.65/168.55	c cleaning 9098 clauses out of 18195 with flag 87171/1879442
170.25/169.16	c cleaning 10047 clauses out of 20097 with flag 109656/1890442
171.05/169.91	c cleaning 11024 clauses out of 22052 with flag 134092/1902444
171.85/170.71	c cleaning 12014 clauses out of 24027 with flag 161958/1915443
172.76/171.62	c cleaning 13005 clauses out of 26015 with flag 192661/1929445
173.75/172.65	c cleaning 14000 clauses out of 28008 with flag 226554/1944443
174.96/173.84	c cleaning 15004 clauses out of 30008 with flag 260686/1960443
176.45/175.30	c cleaning 16000 clauses out of 32003 with flag 296298/1977442
177.99/176.82	c cleaning 17001 clauses out of 34004 with flag 333933/1995443
179.69/178.52	c cleaning 18000 clauses out of 36004 with flag 373535/2014444
181.29/180.19	c cleaning 18997 clauses out of 38002 with flag 414730/2034442
183.19/182.06	c cleaning 20000 clauses out of 40005 with flag 457774/2055442
185.29/184.11	c cleaning 21003 clauses out of 42005 with flag 503408/2077442
187.49/186.35	c cleaning 21995 clauses out of 44002 with flag 554015/2100442
189.59/188.48	c cleaning 23000 clauses out of 46007 with flag 606887/2124442
191.98/190.75	c cleaning 24001 clauses out of 48009 with flag 661335/2149444
194.38/193.12	c cleaning 24999 clauses out of 50007 with flag 720349/2175443
196.87/195.60	c cleaning 26003 clauses out of 52008 with flag 781879/2202443
199.57/198.32	c cleaning 27003 clauses out of 54005 with flag 842927/2230443
200.77/199.54	c Got one! Elapsed wall clock time (in seconds):199.429
200.77/199.54	o -93
201.40/200.16	c cleaning 23425 clauses out of 46850 with flag 10653/2250291
201.90/200.69	c cleaning 14712 clauses out of 29426 with flag 23472/2256292
202.50/201.24	c cleaning 10852 clauses out of 21713 with flag 37904/2263291
203.10/201.85	c cleaning 9426 clauses out of 18862 with flag 54445/2271292
203.60/202.38	c cleaning 9218 clauses out of 18435 with flag 72664/2280291
204.20/202.97	c cleaning 9605 clauses out of 19217 with flag 92994/2290291
205.09/203.72	c cleaning 10305 clauses out of 20613 with flag 115388/2301292
205.89/204.57	c cleaning 11148 clauses out of 22307 with flag 139668/2313291
206.89/205.51	c cleaning 12076 clauses out of 24161 with flag 165867/2326293
207.89/206.56	c cleaning 13041 clauses out of 26083 with flag 194257/2340291
208.99/207.66	c cleaning 14021 clauses out of 28046 with flag 224887/2355295
210.29/208.90	c cleaning 15004 clauses out of 30021 with flag 259312/2371291
211.69/210.31	c cleaning 16010 clauses out of 32019 with flag 294802/2388293
213.19/211.83	c cleaning 17002 clauses out of 34008 with flag 331244/2406292
214.90/213.55	c cleaning 17999 clauses out of 36007 with flag 370398/2425293
216.87/215.46	c cleaning 19000 clauses out of 38007 with flag 411582/2445292
219.06/217.60	c cleaning 19998 clauses out of 40007 with flag 454775/2466292
221.06/219.69	c cleaning 21000 clauses out of 42009 with flag 500019/2488292
223.16/221.78	c cleaning 21998 clauses out of 44008 with flag 548101/2511291
225.76/224.35	c cleaning 23004 clauses out of 46010 with flag 599388/2535291
228.46/227.09	c cleaning 23993 clauses out of 48006 with flag 652805/2560291
231.64/230.17	c cleaning 25007 clauses out of 50014 with flag 707618/2586292
234.94/233.45	c cleaning 25998 clauses out of 52006 with flag 764308/2613291
238.34/236.83	c cleaning 27000 clauses out of 54010 with flag 824056/2641293
242.04/240.56	c cleaning 28005 clauses out of 56009 with flag 887057/2670292
245.75/244.29	c cleaning 28994 clauses out of 58003 with flag 950835/2700291
249.63/248.06	c cleaning 30005 clauses out of 60009 with flag 1016533/2731291
253.92/252.33	c cleaning 30996 clauses out of 62005 with flag 1084398/2763292
258.23/256.64	c cleaning 32000 clauses out of 64009 with flag 1155465/2796292
262.94/261.31	c cleaning 33002 clauses out of 66010 with flag 1227331/2830293
267.80/266.16	c cleaning 33999 clauses out of 68007 with flag 1300781/2865292
273.20/271.58	c cleaning 34998 clauses out of 70007 with flag 1376609/2901291
278.70/277.01	c cleaning 36003 clauses out of 72009 with flag 1451577/2938291
284.20/282.57	c cleaning 37002 clauses out of 74006 with flag 1529435/2976291
289.55/287.86	c cleaning 37998 clauses out of 76006 with flag 1607844/3015293
295.16/293.50	c cleaning 39000 clauses out of 78007 with flag 1689461/3055292
301.56/299.87	c cleaning 39999 clauses out of 80007 with flag 1773794/3096292
308.83/307.03	c cleaning 40998 clauses out of 82007 with flag 1860541/3138291
316.23/314.43	c cleaning 42005 clauses out of 84010 with flag 1949036/3181292
323.04/321.26	c cleaning 42997 clauses out of 86005 with flag 2039858/3225292
330.79/329.00	c cleaning 44000 clauses out of 88008 with flag 2132463/3270292
340.28/338.46	c cleaning 45002 clauses out of 90008 with flag 2227372/3316292
348.98/347.16	c cleaning 45996 clauses out of 92005 with flag 2326552/3363291
356.24/354.38	c cleaning 47004 clauses out of 94010 with flag 2433111/3411292
363.33/361.46	c cleaning 47996 clauses out of 96006 with flag 2540876/3460292
370.73/368.71	c cleaning 49000 clauses out of 98010 with flag 2651579/3510292
378.24/376.28	c cleaning 49999 clauses out of 100010 with flag 2764448/3561292
385.43/383.49	c cleaning 51001 clauses out of 102011 with flag 2878456/3613292
393.64/391.58	c cleaning 51997 clauses out of 104009 with flag 2998057/3666291
401.34/399.29	c cleaning 53004 clauses out of 106012 with flag 3116658/3720291
410.14/407.92	c cleaning 53997 clauses out of 108008 with flag 3241234/3775291
417.74/415.54	c cleaning 55006 clauses out of 110012 with flag 3362282/3831292
427.84/425.53	c cleaning 56001 clauses out of 112006 with flag 3477376/3888292
437.95/435.69	c cleaning 56998 clauses out of 114004 with flag 3594515/3946291
444.89/442.56	c Got one! Elapsed wall clock time (in seconds):442.443
444.89/442.56	o -94
446.39/444.01	c cleaning 53794 clauses out of 107588 with flag 10457/3996873
447.20/444.89	c cleaning 29896 clauses out of 59795 with flag 22683/4002874
447.79/445.45	c cleaning 18441 clauses out of 36898 with flag 36913/4009873
448.39/446.04	c cleaning 13225 clauses out of 26458 with flag 53403/4017874
449.00/446.69	c cleaning 11116 clauses out of 22232 with flag 71546/4026873
449.59/447.29	c cleaning 10555 clauses out of 21118 with flag 91642/4036875
450.29/447.96	c cleaning 10780 clauses out of 21562 with flag 113667/4047874
451.09/448.74	c cleaning 11385 clauses out of 22780 with flag 137707/4059872
451.89/449.59	c cleaning 12190 clauses out of 24396 with flag 163774/4072873
452.89/450.56	c cleaning 13099 clauses out of 26205 with flag 192920/4086872
454.12/451.71	c cleaning 14048 clauses out of 28106 with flag 223304/4101872
455.42/453.04	c cleaning 15030 clauses out of 30060 with flag 255736/4117874
456.83/454.43	c cleaning 16011 clauses out of 32030 with flag 290824/4134874
458.22/455.87	c cleaning 17004 clauses out of 34017 with flag 327032/4152872
459.82/457.49	c cleaning 18007 clauses out of 36014 with flag 366716/4171873
461.62/459.28	c cleaning 18998 clauses out of 38008 with flag 407388/4191874
463.64/461.26	c cleaning 20001 clauses out of 40011 with flag 449809/4212875
465.74/463.33	c cleaning 21003 clauses out of 42007 with flag 494911/4234872
468.14/465.76	c cleaning 21995 clauses out of 44004 with flag 543129/4257872
470.64/468.21	c cleaning 23002 clauses out of 46009 with flag 591977/4281872
473.56/471.11	c cleaning 24002 clauses out of 48007 with flag 642307/4306872
476.36/473.93	c cleaning 24996 clauses out of 50005 with flag 696346/4332872
479.27/476.89	c cleaning 26001 clauses out of 52009 with flag 751394/4359872
482.57/480.16	c cleaning 27000 clauses out of 54009 with flag 808758/4387873
485.78/483.38	c cleaning 27997 clauses out of 56008 with flag 869221/4416872
489.38/486.99	c cleaning 29001 clauses out of 58012 with flag 930814/4446873
493.08/490.70	c cleaning 30005 clauses out of 60010 with flag 994133/4477872
497.41/495.00	c cleaning 31002 clauses out of 62005 with flag 1059126/4509872
501.51/499.05	c cleaning 31997 clauses out of 64003 with flag 1127051/4542872
506.21/503.78	c cleaning 33003 clauses out of 66007 with flag 1195532/4576873
511.03/508.59	c cleaning 34000 clauses out of 68003 with flag 1266414/4611872
516.33/513.83	c cleaning 34997 clauses out of 70004 with flag 1340337/4647873
521.94/519.45	c cleaning 35998 clauses out of 72006 with flag 1417377/4684872
527.47/524.95	c cleaning 37004 clauses out of 74009 with flag 1495751/4722873
533.27/530.71	c cleaning 37998 clauses out of 76004 with flag 1575516/4761872
540.30/537.70	c cleaning 38996 clauses out of 78006 with flag 1658386/4801872
548.10/545.57	c cleaning 40000 clauses out of 80011 with flag 1742193/4842873
556.55/553.99	c cleaning 41005 clauses out of 82011 with flag 1828413/4884873
563.85/561.25	c cleaning 42002 clauses out of 84006 with flag 1916399/4927873
571.63/568.98	c cleaning 43000 clauses out of 86004 with flag 2008257/4971873
579.43/576.70	c cleaning 43999 clauses out of 88004 with flag 2103884/5016873
587.29/584.57	c cleaning 44997 clauses out of 90005 with flag 2198532/5062873
596.49/593.70	c cleaning 45999 clauses out of 92007 with flag 2298662/5109872
606.15/603.30	c cleaning 47000 clauses out of 94010 with flag 2400851/5157874
616.05/613.29	c cleaning 48001 clauses out of 96009 with flag 2504731/5206873
626.79/623.99	c cleaning 49001 clauses out of 98009 with flag 2612490/5256874
636.89/634.04	c cleaning 50002 clauses out of 100008 with flag 2718028/5307874
646.03/643.15	c cleaning 51000 clauses out of 102004 with flag 2825788/5359872
655.66/652.70	c cleaning 52001 clauses out of 104005 with flag 2933006/5412873
666.27/663.34	c cleaning 52998 clauses out of 106003 with flag 3044068/5466872
677.41/674.45	c cleaning 53997 clauses out of 108005 with flag 3155613/5521872
690.23/687.24	c cleaning 55000 clauses out of 110009 with flag 3269393/5577873
702.44/699.49	c cleaning 55998 clauses out of 112008 with flag 3385839/5634872
715.07/712.01	c cleaning 57004 clauses out of 114010 with flag 3503008/5692872
727.91/724.84	c cleaning 57998 clauses out of 116007 with flag 3622802/5751873
737.47/734.36	c cleaning 59000 clauses out of 118008 with flag 3752020/5811872
746.48/743.30	c cleaning 59998 clauses out of 120008 with flag 3885752/5872872
755.70/752.51	c cleaning 61001 clauses out of 122011 with flag 4023510/5934873
765.22/762.04	c cleaning 62001 clauses out of 124010 with flag 4163413/5997873
774.87/771.66	c cleaning 63000 clauses out of 126008 with flag 4304094/6061872
784.36/781.04	c cleaning 63995 clauses out of 128008 with flag 4443305/6126872
795.24/791.81	c cleaning 65002 clauses out of 130014 with flag 4592771/6192873
805.75/802.38	c cleaning 65999 clauses out of 132011 with flag 4733669/6259872
817.18/813.76	c cleaning 67002 clauses out of 134013 with flag 4884061/6327873
828.62/825.14	c cleaning 68002 clauses out of 136011 with flag 5037740/6396873
832.17/828.66	c Got one! Elapsed wall clock time (in seconds):828.544
832.17/828.66	o -95
833.37/829.89	c cleaning 52400 clauses out of 104809 with flag 10621/6433673
834.17/830.65	c cleaning 29203 clauses out of 58410 with flag 23040/6439674
834.67/831.18	c cleaning 18101 clauses out of 36206 with flag 37505/6446673
835.27/831.72	c cleaning 13053 clauses out of 26106 with flag 53994/6454674
835.87/832.32	c cleaning 11019 clauses out of 22052 with flag 72250/6463673
836.47/832.96	c cleaning 10511 clauses out of 21033 with flag 92475/6473673
837.19/833.67	c cleaning 10758 clauses out of 21523 with flag 115322/6484674
837.99/834.43	c cleaning 11381 clauses out of 22764 with flag 139880/6496673
838.79/835.27	c cleaning 12185 clauses out of 24384 with flag 166953/6509674
839.79/836.22	c cleaning 13097 clauses out of 26198 with flag 196105/6523673
840.80/837.25	c cleaning 14046 clauses out of 28102 with flag 228549/6538674
842.01/838.45	c cleaning 15023 clauses out of 30056 with flag 262828/6554674
843.41/839.84	c cleaning 16013 clauses out of 32032 with flag 297445/6571673
844.91/841.30	c cleaning 17010 clauses out of 34019 with flag 333725/6589673
846.53/842.98	c cleaning 18004 clauses out of 36009 with flag 372212/6608673
848.33/844.72	c cleaning 18995 clauses out of 38005 with flag 412826/6628673
850.43/846.87	c cleaning 20004 clauses out of 40011 with flag 456291/6649674
852.75/849.14	c cleaning 21004 clauses out of 42007 with flag 502173/6671674
855.15/851.59	c cleaning 21990 clauses out of 44002 with flag 550737/6694673
857.85/854.21	c cleaning 23006 clauses out of 46013 with flag 599994/6718674
860.69/857.08	c cleaning 23999 clauses out of 48006 with flag 652068/6743673
863.78/860.16	c cleaning 25003 clauses out of 50009 with flag 707648/6769675
866.88/863.20	c cleaning 26001 clauses out of 52005 with flag 765752/6796674
870.29/866.60	c cleaning 27000 clauses out of 54004 with flag 826382/6824674
873.99/870.31	c cleaning 27998 clauses out of 56004 with flag 888780/6853674
878.32/874.68	c cleaning 28999 clauses out of 58005 with flag 952958/6883673
882.83/879.17	c cleaning 30004 clauses out of 60007 with flag 1019218/6914674
886.95/883.24	c cleaning 30998 clauses out of 62002 with flag 1086541/6946673
890.48/886.79	c cleaning 31999 clauses out of 64004 with flag 1157638/6979673
893.97/890.21	c cleaning 32997 clauses out of 66006 with flag 1230580/7013674
897.70/893.90	c cleaning 33998 clauses out of 68008 with flag 1307607/7048673
901.10/897.35	c cleaning 35003 clauses out of 70011 with flag 1388202/7084674
905.02/901.28	c cleaning 36004 clauses out of 72008 with flag 1473478/7121674
909.13/905.38	c cleaning 36994 clauses out of 74003 with flag 1557797/7159673
913.44/909.70	c cleaning 37998 clauses out of 76009 with flag 1648465/7198673
918.16/914.30	c cleaning 39006 clauses out of 78013 with flag 1738043/7238675
922.56/918.75	c cleaning 39997 clauses out of 80006 with flag 1821608/7279674
927.68/923.83	c cleaning 40999 clauses out of 82009 with flag 1912396/7321674
932.52/928.68	c cleaning 42005 clauses out of 84009 with flag 2003432/7364673
938.37/934.42	c cleaning 43003 clauses out of 86005 with flag 2093311/7408674
944.96/941.01	c cleaning 43996 clauses out of 88002 with flag 2186838/7453674
952.09/948.20	c cleaning 45001 clauses out of 90007 with flag 2283031/7499675
959.02/955.06	c cleaning 45998 clauses out of 92004 with flag 2379676/7546673
966.87/962.81	c cleaning 47001 clauses out of 94007 with flag 2478020/7594674
974.42/970.33	c cleaning 48000 clauses out of 96007 with flag 2577886/7643675
982.34/978.28	c cleaning 49001 clauses out of 98006 with flag 2678993/7693674
990.39/986.23	c cleaning 49999 clauses out of 100005 with flag 2782189/7744674
998.73/994.58	c cleaning 51001 clauses out of 102006 with flag 2887256/7796674
1007.87/1003.63	c cleaning 51994 clauses out of 104004 with flag 2994748/7849673
1016.21/1011.91	c cleaning 52999 clauses out of 106010 with flag 3104806/7903673
1025.93/1021.65	c cleaning 54001 clauses out of 108011 with flag 3217447/7958673
1035.47/1031.13	c cleaning 55003 clauses out of 110011 with flag 3331680/8014674
1044.81/1040.45	c cleaning 55993 clauses out of 112008 with flag 3448482/8071674
1054.99/1050.58	c cleaning 57003 clauses out of 114015 with flag 3568013/8129674
1065.32/1060.84	c cleaning 58006 clauses out of 116012 with flag 3689406/8188674
1076.64/1072.11	c cleaning 58999 clauses out of 118005 with flag 3811909/8248673
1088.53/1083.93	c cleaning 60003 clauses out of 120008 with flag 3936393/8309675
1100.96/1096.39	c cleaning 60996 clauses out of 122003 with flag 4067202/8371673
1112.15/1107.48	c cleaning 62002 clauses out of 124007 with flag 4203927/8434673
1126.45/1121.63	c cleaning 62997 clauses out of 126005 with flag 4353778/8498673
1140.88/1136.01	c cleaning 63996 clauses out of 128008 with flag 4499803/8563673
1155.31/1150.47	c cleaning 65003 clauses out of 130013 with flag 4648375/8629674
1169.65/1164.72	c cleaning 65997 clauses out of 132010 with flag 4796750/8696674
1183.03/1178.01	c cleaning 67007 clauses out of 134014 with flag 4946643/8764675
1197.60/1192.55	c cleaning 67998 clauses out of 136006 with flag 5096810/8833674
1213.77/1208.69	c cleaning 68998 clauses out of 138008 with flag 5244932/8903674
1226.54/1221.37	c cleaning 69998 clauses out of 140010 with flag 5398422/8974674
1238.90/1233.63	c cleaning 71001 clauses out of 142011 with flag 5554513/9046673
1251.98/1246.60	c cleaning 72000 clauses out of 144010 with flag 5706062/9119673
1266.47/1261.04	c cleaning 73003 clauses out of 146010 with flag 5858744/9193673
1274.30/1268.89	c Got one! Elapsed wall clock time (in seconds):1268.777
1274.30/1268.89	o -96
1275.90/1270.41	c cleaning 64696 clauses out of 129391 with flag 10092/9250057
1276.70/1271.27	c cleaning 35342 clauses out of 70694 with flag 22202/9256056
1277.42/1271.93	c cleaning 21169 clauses out of 42352 with flag 36575/9263056
1277.92/1272.44	c cleaning 14581 clauses out of 29182 with flag 52771/9271055
1278.52/1273.00	c cleaning 11792 clauses out of 23601 with flag 71186/9280055
1279.14/1273.64	c cleaning 10894 clauses out of 21810 with flag 91369/9290056
1279.74/1274.29	c cleaning 10954 clauses out of 21916 with flag 113716/9301056
1280.64/1275.10	c cleaning 11480 clauses out of 22963 with flag 138119/9313057
1281.46/1275.97	c cleaning 12239 clauses out of 24481 with flag 164491/9326055
1282.36/1276.88	c cleaning 13116 clauses out of 26243 with flag 192909/9340056
1283.50/1277.91	c cleaning 14057 clauses out of 28126 with flag 223376/9355055
1284.70/1279.19	c cleaning 15035 clauses out of 30070 with flag 255827/9371056
1286.02/1280.46	c cleaning 16015 clauses out of 32034 with flag 290678/9388055
1287.44/1281.87	c cleaning 17004 clauses out of 34019 with flag 327742/9406055
1289.04/1283.43	c cleaning 18003 clauses out of 36015 with flag 366741/9425055
1290.76/1285.13	c cleaning 18999 clauses out of 38012 with flag 407579/9445055
1292.58/1286.97	c cleaning 20007 clauses out of 40014 with flag 450335/9466056
1294.71/1289.06	c cleaning 21003 clauses out of 42009 with flag 495432/9488058
1297.12/1291.41	c cleaning 22000 clauses out of 44005 with flag 542529/9511057
1299.63/1293.91	c cleaning 22999 clauses out of 46004 with flag 591784/9535056
1302.34/1296.66	c cleaning 23999 clauses out of 48004 with flag 643112/9560055
1305.05/1299.39	c cleaning 24999 clauses out of 50005 with flag 697143/9586055
1308.26/1302.55	c cleaning 26003 clauses out of 52007 with flag 752485/9613056
1311.58/1305.86	c cleaning 26998 clauses out of 54003 with flag 809475/9641055
1315.19/1309.45	c cleaning 28004 clauses out of 56008 with flag 869601/9670058
1319.12/1313.34	c cleaning 28999 clauses out of 58003 with flag 931410/9700057
1323.45/1317.62	c cleaning 29997 clauses out of 60004 with flag 995110/9731057
1327.98/1322.11	c cleaning 31000 clauses out of 62006 with flag 1062284/9763056
1332.73/1326.81	c cleaning 32000 clauses out of 64006 with flag 1132090/9796056
1337.97/1332.05	c cleaning 32999 clauses out of 66005 with flag 1203207/9830055
1342.74/1336.76	c cleaning 33998 clauses out of 68006 with flag 1274211/9865055
1347.67/1341.70	c cleaning 35005 clauses out of 70009 with flag 1346628/9901056
1352.42/1346.37	c cleaning 35995 clauses out of 72004 with flag 1422224/9938056
1358.24/1352.12	c cleaning 37000 clauses out of 74009 with flag 1500365/9976056
1363.70/1357.52	c cleaning 38005 clauses out of 76009 with flag 1580057/10015056
1369.65/1363.45	c cleaning 38997 clauses out of 78003 with flag 1661855/10055055
1375.71/1369.40	c cleaning 39996 clauses out of 80007 with flag 1745358/10096056
1381.88/1375.52	c cleaning 41004 clauses out of 82010 with flag 1831577/10138055
1388.04/1381.65	c cleaning 41995 clauses out of 84007 with flag 1918868/10181056
1394.80/1388.39	c cleaning 43002 clauses out of 86012 with flag 2008135/10225056
1402.14/1395.66	c cleaning 44002 clauses out of 88010 with flag 2099755/10270056
1410.19/1403.65	c cleaning 45002 clauses out of 90007 with flag 2193105/10316055
1418.54/1411.95	c cleaning 45999 clauses out of 92006 with flag 2289915/10363056
1428.11/1421.43	c cleaning 46995 clauses out of 94006 with flag 2388869/10411055
1436.81/1430.06	c cleaning 48000 clauses out of 96012 with flag 2487993/10460056
1446.86/1440.03	c cleaning 48996 clauses out of 98011 with flag 2589282/10510055
1456.82/1449.91	c cleaning 50006 clauses out of 100017 with flag 2692832/10561057
1467.21/1460.27	c cleaning 50995 clauses out of 102009 with flag 2799806/10613055
1477.27/1470.20	c cleaning 52002 clauses out of 104015 with flag 2908555/10666056
1487.47/1480.31	c cleaning 53002 clauses out of 106012 with flag 3018523/10720055
1498.88/1491.70	c cleaning 54001 clauses out of 108010 with flag 3132027/10775055
1508.56/1501.21	c cleaning 54998 clauses out of 110010 with flag 3251547/10831056
1517.67/1510.27	c cleaning 56000 clauses out of 112011 with flag 3375180/10888055
1526.52/1519.06	c cleaning 57002 clauses out of 114012 with flag 3500997/10946056
1536.98/1529.41	c cleaning 58005 clauses out of 116009 with flag 3619985/11005055
1547.28/1539.67	c cleaning 58996 clauses out of 118004 with flag 3741376/11065055
1559.35/1551.67	c cleaning 60000 clauses out of 120008 with flag 3864775/11126055
1572.10/1564.22	c cleaning 60997 clauses out of 122009 with flag 3996109/11188056
1586.01/1578.08	c cleaning 62002 clauses out of 124011 with flag 4148575/11251055
1599.93/1591.82	c cleaning 63002 clauses out of 126011 with flag 4304316/11315057
1612.37/1604.11	c cleaning 64004 clauses out of 128007 with flag 4451874/11380055
1625.58/1617.21	c cleaning 64999 clauses out of 130003 with flag 4584635/11446055
1637.13/1628.65	c cleaning 65999 clauses out of 132005 with flag 4729442/11513056
1649.64/1641.07	c cleaning 66997 clauses out of 134006 with flag 4875504/11581056
1662.24/1653.58	c cleaning 68000 clauses out of 136009 with flag 5022408/11650056
1675.47/1666.60	c cleaning 69002 clauses out of 138009 with flag 5165024/11720056
1689.30/1680.31	c cleaning 69999 clauses out of 140006 with flag 5312209/11791055
1702.23/1693.11	c cleaning 71005 clauses out of 142009 with flag 5461742/11863057
1718.35/1709.12	c cleaning 72000 clauses out of 144003 with flag 5608334/11936056
1732.92/1723.57	c cleaning 72999 clauses out of 146003 with flag 5758064/12010056
1748.28/1738.76	c cleaning 74002 clauses out of 148004 with flag 5918735/12085056
1768.54/1758.80	c cleaning 74997 clauses out of 150001 with flag 6072456/12161055
1789.19/1779.36	c cleaning 76001 clauses out of 152005 with flag 6227454/12238056
1800.01/1790.00	c starts		: 64783
1800.01/1790.00	c conflicts		: 12288933
1800.01/1790.00	c decisions		: 16925896
1800.01/1790.00	c propagations		: 143375121
1800.01/1790.00	c inspects		: 35979909805
1800.01/1790.00	c shortcuts		: 0
1800.01/1790.00	c learnt literals	: 0
1800.01/1790.00	c learnt binary clauses	: 283
1800.01/1790.00	c learnt ternary clauses	: 646
1800.01/1790.00	c learnt constraints	: 12288933
1800.01/1790.00	c ignored constraints	: 0
1800.01/1790.00	c root simplifications	: 0
1800.01/1790.00	c removed literals (reason simplification)	: 0
1800.01/1790.00	c reason swapping (by a shorter reason)	: 0
1800.01/1790.00	c Calls to reduceDB	: 417
1800.01/1790.00	c Number of update (reduction) of LBD	: 217078
1800.01/1790.00	c Imported unit clauses	: 0
1800.01/1790.00	c number of reductions to clauses (during analyze)	: 0
1800.01/1790.00	c number of learned constraints concerned by reduction	: 0
1800.01/1790.00	c number of learning phase by resolution	: 0
1800.01/1790.00	c number of learning phase by cutting planes	: 0
1800.01/1790.00	c speed (assignments/second)	: 80106.33586805304
1800.01/1790.00	c non guided choices	0
1800.01/1790.03	c learnt constraints type 
1800.01/1790.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 283
1800.01/1790.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126598
1800.01/1790.03	s SATISFIABLE
1800.01/1790.03	c Found 23 solution(s)
1800.01/1790.03	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 
1800.01/1790.03	c objective function=-96
1800.01/1790.03	c Total wall clock time (in seconds): 1789.917

Verifier Data 

OK	-96

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-4118218-1467225608/watcher-4118218-1467225608 -o /tmp/evaluation-result-4118218-1467225608/solver-4118218-1467225608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118218-1467225608.opb 

pid=3964
running on 4 cores: 0,2,4,6

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.09 2.22 2.19 3/195 3967
/proc/meminfo: memFree=29379432/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/3967/stat : 3967 (java) D 3964 3967 1865 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 1589977 2560000 46 33554432000 1073741824 1073778376 140733904437744 140733904434872 271778409767 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.09 2.22 2.19 3/195 3967
/proc/meminfo: memFree=29379432/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 4385 0 1 0 8 1 0 0 20 0 18 0 1589977 9787879424 6025 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.09 2.22 2.19 3/195 3967
/proc/meminfo: memFree=29379432/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 4786 0 1 0 23 1 0 0 20 0 19 0 1589977 9856040960 6846 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 6846 2208 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040

[startup+0.300226 s]
/proc/loadavg: 2.09 2.22 2.19 3/195 3967
/proc/meminfo: memFree=29379432/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 6717 0 1 0 48 2 0 0 20 0 19 0 1589977 9856040960 8473 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 8473 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.70017 s]
/proc/loadavg: 2.09 2.22 2.19 3/195 3967
/proc/meminfo: memFree=29379432/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 7339 0 1 0 105 2 0 0 20 0 19 0 1589977 9856040960 9569 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 9585 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.09 2.22 2.19 3/214 3986
/proc/meminfo: memFree=29342220/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 9009 0 1 0 197 2 0 0 20 0 19 0 1589977 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 12572 2257 9 0 2396937 0
[pid=3967/tid=3969] ppid=3964 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/3967/task/3969/stat : 3969 (java) R 3964 3967 1865 0 -1 4202560 2422 0 1 0 144 1 0 0 20 0 19 0 1589978 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140504001368272 140503832648944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3970] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3970/stat : 3970 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503962859688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3971] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3971/stat : 3971 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503961807144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3972] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3972/stat : 3972 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503960754600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3973] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3973/stat : 3973 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503959702056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3974] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3974/stat : 3974 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503958649512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3975] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3975/stat : 3975 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503957596968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3976] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3976/stat : 3976 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503956544424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3977] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3977/stat : 3977 (java) S 3964 3967 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503955491880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3978] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3978/stat : 3978 (java) S 3964 3967 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503824693352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3979] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3979/stat : 3979 (java) S 3964 3967 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503823639672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3980] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3980/stat : 3980 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589981 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503822587016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3981] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3981/stat : 3981 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503821535760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3982] ppid=3964 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/3967/task/3982/stat : 3982 (java) S 3964 3967 1865 0 -1 4202560 4113 0 0 0 32 0 0 0 20 0 19 0 1589983 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503820483128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3983] ppid=3964 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/3967/task/3983/stat : 3983 (java) S 3964 3967 1865 0 -1 4202560 1203 0 0 0 18 0 0 0 20 0 19 0 1589983 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503819430584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3984] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3984/stat : 3984 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503818378232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3985] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3985/stat : 3985 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140503817325896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 12572 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.09 2.22 2.19 3/214 3986
/proc/meminfo: memFree=29329560/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 11691 0 1 0 375 3 0 0 20 0 19 0 1589977 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 17793 2257 9 0 2396937 0
[pid=3967/tid=3969] ppid=3964 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/3967/task/3969/stat : 3969 (java) R 3964 3967 1865 0 -1 4202560 2433 0 1 0 303 2 0 0 20 0 19 0 1589978 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140504001366552 140503832542483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3970] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3970/stat : 3970 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503962859688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3971] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3971/stat : 3971 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503961807144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3972] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3972/stat : 3972 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503960754600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3973] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3973/stat : 3973 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503959702056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3974] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3974/stat : 3974 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503958649512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3975] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3975/stat : 3975 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503957596968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3976] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3976/stat : 3976 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503956544424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3977] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3977/stat : 3977 (java) S 3964 3967 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503955491880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3978] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3978/stat : 3978 (java) S 3964 3967 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503824693352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3979] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3979/stat : 3979 (java) S 3964 3967 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503823639672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3980] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3980/stat : 3980 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589981 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503822587016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3981] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3981/stat : 3981 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503821535760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3982] ppid=3964 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/3967/task/3982/stat : 3982 (java) S 3964 3967 1865 0 -1 4202560 4114 0 0 0 37 0 0 0 20 0 19 0 1589983 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503820483128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3983] ppid=3964 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/3967/task/3983/stat : 3983 (java) S 3964 3967 1865 0 -1 4202560 3873 0 0 0 33 0 0 0 20 0 19 0 1589983 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503819430584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3984] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3984/stat : 3984 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503818378232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3985] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3985/stat : 3985 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140503817325896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 17793 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.08 2.21 2.19 3/214 3986
/proc/meminfo: memFree=29297432/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=7 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 11707 0 1 0 697 3 0 0 20 0 19 0 1589977 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 24200 2258 9 0 2396937 0
[pid=3967/tid=3969] ppid=3964 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/3967/task/3969/stat : 3969 (java) R 3964 3967 1865 0 -1 4202560 2448 0 1 0 622 2 0 0 20 0 19 0 1589978 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140504001359520 140503832336304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3970] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3970/stat : 3970 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503962859688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3971] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3971/stat : 3971 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503961807144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3972] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3972/stat : 3972 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503960754600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3973] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3973/stat : 3973 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503959702056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3974] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3974/stat : 3974 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503958649512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3975] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3975/stat : 3975 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503957596968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3976] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3976/stat : 3976 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503956544424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3977] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3977/stat : 3977 (java) S 3964 3967 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1589979 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503955491880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3978] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3978/stat : 3978 (java) S 3964 3967 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503824693352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3979] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3979/stat : 3979 (java) S 3964 3967 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503823639672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3980] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3980/stat : 3980 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589981 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503822587016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3981] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3981/stat : 3981 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503821535760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3982] ppid=3964 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/3967/task/3982/stat : 3982 (java) S 3964 3967 1865 0 -1 4202560 4114 0 0 0 37 0 0 0 20 0 19 0 1589983 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503820483128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3983] ppid=3964 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/3967/task/3983/stat : 3983 (java) S 3964 3967 1865 0 -1 4202560 3873 0 0 0 35 0 0 0 20 0 19 0 1589983 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503819430584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3984] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3984/stat : 3984 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503818378232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3985] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3985/stat : 3985 (java) S 3964 3967 1865 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140503817325896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 24200 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9625040


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

[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 57972 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1671.14
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.08 2.19 2.17 3/213 4114
/proc/meminfo: memFree=28999444/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=1731.71 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 17614 0 1 0 173097 74 0 0 20 0 19 0 1589977 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 57397 2282 9 0 2396937 0
[pid=3967/tid=3969] ppid=3964 vsize=9625040 CPUtime=1713.09 cores=0,2,4,6
/proc/3967/task/3969/stat : 3969 (java) R 3964 3967 1865 0 -1 4202560 2746 0 1 0 171278 31 0 0 20 0 19 0 1589978 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140504001367280 140503832602069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3970] ppid=3964 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/3967/task/3970/stat : 3970 (java) S 3964 3967 1865 0 -1 4202560 526 0 0 0 149 7 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503962859688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3971] ppid=3964 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/3967/task/3971/stat : 3971 (java) S 3964 3967 1865 0 -1 4202560 430 0 0 0 148 5 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503961807144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3972] ppid=3964 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/3967/task/3972/stat : 3972 (java) S 3964 3967 1865 0 -1 4202560 366 0 0 0 147 6 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503960754600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3973] ppid=3964 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/3967/task/3973/stat : 3973 (java) S 3964 3967 1865 0 -1 4202560 569 0 0 0 147 5 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503959702056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3974] ppid=3964 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/3967/task/3974/stat : 3974 (java) S 3964 3967 1865 0 -1 4202560 490 0 0 0 143 5 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503958649512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3975] ppid=3964 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/3967/task/3975/stat : 3975 (java) S 3964 3967 1865 0 -1 4202560 413 0 0 0 145 6 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503957596968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3976] ppid=3964 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/3967/task/3976/stat : 3976 (java) S 3964 3967 1865 0 -1 4202560 392 0 0 0 140 7 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503956544424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3977] ppid=3964 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/3967/task/3977/stat : 3977 (java) S 3964 3967 1865 0 -1 4202560 499 0 0 0 146 5 0 0 20 0 19 0 1589979 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503955491880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3978] ppid=3964 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/3967/task/3978/stat : 3978 (java) S 3964 3967 1865 0 -1 4202560 257 0 0 0 89 4 0 0 20 0 19 0 1589980 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503824693352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3979] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3979/stat : 3979 (java) S 3964 3967 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503823639672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3980] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3980/stat : 3980 (java) S 3964 3967 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1589981 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503822587016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3981] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3981/stat : 3981 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503821535760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3982] ppid=3964 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/3967/task/3982/stat : 3982 (java) S 3964 3967 1865 0 -1 4202560 4118 0 0 0 43 0 0 0 20 0 19 0 1589983 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503820483128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3983] ppid=3964 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/3967/task/3983/stat : 3983 (java) S 3964 3967 1865 0 -1 4202560 5451 0 0 0 42 0 0 0 20 0 19 0 1589983 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503819430584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3984] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3984/stat : 3984 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503818378232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3985] ppid=3964 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/3967/task/3985/stat : 3985 (java) S 3964 3967 1865 0 -1 4202560 100 0 0 0 24 23 0 0 20 0 19 0 1589983 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140503817325896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 57397 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1731.71
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.03 2.15 2.16 3/213 4116
/proc/meminfo: memFree=29015940/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=1792.23 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 17647 0 1 0 179147 76 0 0 20 0 19 0 1589977 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 53846 2282 9 0 2396937 0
[pid=3967/tid=3969] ppid=3964 vsize=9625040 CPUtime=1772.61 cores=0,2,4,6
/proc/3967/task/3969/stat : 3969 (java) R 3964 3967 1865 0 -1 4202560 2769 0 1 0 177230 31 0 0 20 0 19 0 1589978 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140504001367280 140503832533401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3970] ppid=3964 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/3967/task/3970/stat : 3970 (java) S 3964 3967 1865 0 -1 4202560 526 0 0 0 159 7 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503962859688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3971] ppid=3964 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/3967/task/3971/stat : 3971 (java) S 3964 3967 1865 0 -1 4202560 430 0 0 0 156 6 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503961807144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3972] ppid=3964 vsize=9625040 CPUtime=1.64 cores=0,2,4,6
/proc/3967/task/3972/stat : 3972 (java) S 3964 3967 1865 0 -1 4202560 366 0 0 0 158 6 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503960754600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3973] ppid=3964 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/3967/task/3973/stat : 3973 (java) S 3964 3967 1865 0 -1 4202560 569 0 0 0 155 5 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503959702056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3974] ppid=3964 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/3967/task/3974/stat : 3974 (java) S 3964 3967 1865 0 -1 4202560 490 0 0 0 154 5 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503958649512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3975] ppid=3964 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/3967/task/3975/stat : 3975 (java) S 3964 3967 1865 0 -1 4202560 413 0 0 0 155 6 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503957596968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3976] ppid=3964 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/3967/task/3976/stat : 3976 (java) S 3964 3967 1865 0 -1 4202560 392 0 0 0 150 7 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503956544424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3977] ppid=3964 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/3967/task/3977/stat : 3977 (java) S 3964 3967 1865 0 -1 4202560 499 0 0 0 153 6 0 0 20 0 19 0 1589979 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503955491880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3978] ppid=3964 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/3967/task/3978/stat : 3978 (java) S 3964 3967 1865 0 -1 4202560 263 0 0 0 96 4 0 0 20 0 19 0 1589980 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503824693352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3979] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3979/stat : 3979 (java) S 3964 3967 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503823639672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3980] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3980/stat : 3980 (java) S 3964 3967 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1589981 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503822587016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3981] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3981/stat : 3981 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503821535760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3982] ppid=3964 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/3967/task/3982/stat : 3982 (java) S 3964 3967 1865 0 -1 4202560 4118 0 0 0 43 0 0 0 20 0 19 0 1589983 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503820483128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3983] ppid=3964 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/3967/task/3983/stat : 3983 (java) S 3964 3967 1865 0 -1 4202560 5451 0 0 0 42 0 0 0 20 0 19 0 1589983 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503819430584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3984] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3984/stat : 3984 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503818378232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3985] ppid=3964 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/3967/task/3985/stat : 3985 (java) S 3964 3967 1865 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 19 0 1589983 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140503817325896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 53846 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1792.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790 s]
/proc/loadavg: 2.02 2.15 2.16 3/213 4116
/proc/meminfo: memFree=29018656/32872528 swapFree=1099624/1181384
[pid=3967] ppid=3964 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/3967/stat : 3967 (java) S 3964 3967 1865 0 -1 4202496 17650 0 1 0 179925 76 0 0 20 0 19 0 1589977 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140733904428880 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3967/statm: 2406260 53654 2282 9 0 2396937 0
[pid=3967/tid=3969] ppid=3964 vsize=9625040 CPUtime=1780.25 cores=0,2,4,6
/proc/3967/task/3969/stat : 3969 (java) R 3964 3967 1865 0 -1 4202560 2772 0 1 0 177993 32 0 0 20 0 19 0 1589978 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140504001367280 140503832299027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3970] ppid=3964 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/3967/task/3970/stat : 3970 (java) S 3964 3967 1865 0 -1 4202560 526 0 0 0 161 7 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503962859688 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3971] ppid=3964 vsize=9625040 CPUtime=1.63 cores=0,2,4,6
/proc/3967/task/3971/stat : 3971 (java) S 3964 3967 1865 0 -1 4202560 430 0 0 0 157 6 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503961807144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3972] ppid=3964 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/3967/task/3972/stat : 3972 (java) S 3964 3967 1865 0 -1 4202560 366 0 0 0 160 6 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503960754600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3973] ppid=3964 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/3967/task/3973/stat : 3973 (java) S 3964 3967 1865 0 -1 4202560 569 0 0 0 156 5 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503959702056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3974] ppid=3964 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/3967/task/3974/stat : 3974 (java) S 3964 3967 1865 0 -1 4202560 490 0 0 0 156 5 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503958649512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3967/tid=3975] ppid=3964 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/3967/task/3975/stat : 3975 (java) S 3964 3967 1865 0 -1 4202560 413 0 0 0 156 6 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503957596968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3976] ppid=3964 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/3967/task/3976/stat : 3976 (java) S 3964 3967 1865 0 -1 4202560 392 0 0 0 153 7 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503956544424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3977] ppid=3964 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/3967/task/3977/stat : 3977 (java) S 3964 3967 1865 0 -1 4202560 499 0 0 0 154 6 0 0 20 0 19 0 1589979 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503955491880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3978] ppid=3964 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/3967/task/3978/stat : 3978 (java) S 3964 3967 1865 0 -1 4202560 263 0 0 0 96 4 0 0 20 0 19 0 1589980 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503824693352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3979] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3979/stat : 3979 (java) S 3964 3967 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1589980 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503823639672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3980] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3980/stat : 3980 (java) S 3964 3967 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1589981 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503822587016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3981] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3981/stat : 3981 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503821535760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3982] ppid=3964 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/3967/task/3982/stat : 3982 (java) S 3964 3967 1865 0 -1 4202560 4118 0 0 0 43 0 0 0 20 0 19 0 1589983 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503820483128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3983] ppid=3964 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/3967/task/3983/stat : 3983 (java) S 3964 3967 1865 0 -1 4202560 5451 0 0 0 42 0 0 0 20 0 19 0 1589983 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503819430584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3967/tid=3984] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3984/stat : 3984 (java) S 3964 3967 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1589983 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503818378232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3967/tid=3985] ppid=3964 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/3967/task/3985/stat : 3985 (java) S 3964 3967 1865 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 19 0 1589983 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140503817325896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3967/tid=3986] ppid=3964 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3967/task/3986/stat : 3986 (java) S 3964 3967 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1589997 9856040960 53654 33554432000 1073741824 1073778376 140733904437744 140502808650536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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 3967 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3967 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=710162
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=230812
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.04
CPU time (s): 1800.01
CPU user time (s): 1799.25
CPU system time (s): 0.76
CPU usage (%): 100.557
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.71
system time used= 1.23081
maximum resident set size= 500568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17697
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= 46970
involuntary context switches= 33395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3433 second user time and 11.9332 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-29 20:40:08
IDJOB=4118218
IDBENCH=111469
IDSOLVER=2546
FILE ID=node115/4118218-1467225608
RUNJOBID= node115-1467210312-1881
PBS_JOBID= 19997598
Free space on /tmp= 71664 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_bern35-04.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118218-1467225608/watcher-4118218-1467225608 -o /tmp/evaluation-result-4118218-1467225608/solver-4118218-1467225608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118218-1467225608.opb

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

MD5SUM BENCH= abd801c118da4548a3b6b8867150aecd
RANDOM SEED=1429121815

node115.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.087
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.17
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.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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.56
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.087
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.54
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.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.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.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.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.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29379696 kB
Buffers:           77456 kB
Cached:          1164332 kB
SwapCached:            0 kB
Active:           445008 kB
Inactive:        1148852 kB
Active(anon):     354896 kB
Inactive(anon):        0 kB
Active(file):      90112 kB
Inactive(file):  1148852 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       1535836 kB
Mapped:            22112 kB
Shmem:               204 kB
Slab:             575452 kB
SReclaimable:      19508 kB
SUnreclaim:       555944 kB
KernelStack:        1576 kB
PageTables:         7440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1662712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    413696 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= 71664 MiB
End job on node115 at 2016-06-29 21:09:58