Trace number 4101373

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)1814 1800.01 1795.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3a.opb
MD5SUM959ce68b75ceb21d2cb97576331899fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark720
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1345
Optimality of the best value was proved NO
Number of variables2219
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint191
Number of terms in the objective function 1716
Biggest coefficient in the objective function 12439
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525516
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525516
Number of bits of the biggest sum of numbers20
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4101373-1466222284.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.30/0.23	c ... done. Wall clock time 0.134s.
0.30/0.23	c declared #vars     2219
0.30/0.23	c #constraints  151
0.30/0.23	c constraints type 
0.30/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22
0.30/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 129
0.30/0.23	c 151 constraints processed.
0.30/0.23	c objective function length is 1716 literals
1.26/0.62	c cleaning 2492 clauses out of 5001 with flag 10717/5001
1.88/1.09	c cleaning 4242 clauses out of 8509 with flag 23256/11001
2.59/1.80	c cleaning 5627 clauses out of 11272 with flag 38446/18006
3.70/2.83	c cleaning 6809 clauses out of 13640 with flag 55581/26001
5.23/4.34	c cleaning 7900 clauses out of 15835 with flag 76993/35005
5.73/4.85	c SATISFIABLE
5.73/4.85	c OPTIMIZING...
5.73/4.85	c Got one! Elapsed wall clock time (in seconds):4.751
5.73/4.85	o 11894
5.94/5.05	c cleaning 9329 clauses out of 18660 with flag 11385/45730
6.55/5.35	c cleaning 7659 clauses out of 15332 with flag 25343/51731
7.25/5.80	c cleaning 7328 clauses out of 14672 with flag 39674/58730
7.85/6.18	c cleaning 7661 clauses out of 15344 with flag 56410/66730
8.48/6.73	c cleaning 8334 clauses out of 16687 with flag 74915/75734
9.07/7.34	c cleaning 9168 clauses out of 18349 with flag 96556/85730
9.97/8.22	c cleaning 10083 clauses out of 20181 with flag 120070/96730
11.07/9.37	c cleaning 11043 clauses out of 22099 with flag 144986/108731
12.07/10.39	c cleaning 12022 clauses out of 24056 with flag 171148/121731
13.68/11.90	c cleaning 13010 clauses out of 26034 with flag 199343/135731
14.98/13.26	c cleaning 14001 clauses out of 28023 with flag 232386/150730
16.47/14.76	c cleaning 14996 clauses out of 30022 with flag 267888/166730
18.20/16.47	c cleaning 16000 clauses out of 32026 with flag 303723/183730
20.20/18.48	c cleaning 17007 clauses out of 34028 with flag 341492/201732
22.50/20.70	c cleaning 18003 clauses out of 36022 with flag 383917/220733
22.90/21.19	c Got one! Elapsed wall clock time (in seconds):21.087
22.90/21.19	o 4570
23.10/21.37	c cleaning 14809 clauses out of 29634 with flag 14445/232348
23.40/21.62	c cleaning 10398 clauses out of 20826 with flag 32662/238349
23.79/21.95	c cleaning 8708 clauses out of 17427 with flag 52160/245348
24.29/22.42	c cleaning 8350 clauses out of 16721 with flag 69816/253350
24.99/23.17	c cleaning 8679 clauses out of 17371 with flag 88281/262350
25.89/24.08	c cleaning 9340 clauses out of 18691 with flag 109875/272349
26.79/24.97	c cleaning 10164 clauses out of 20352 with flag 138897/283350
27.89/26.07	c cleaning 11085 clauses out of 22187 with flag 168440/295349
28.99/27.18	c cleaning 12045 clauses out of 24106 with flag 199308/308353
30.09/28.23	c cleaning 13005 clauses out of 26056 with flag 231722/322348
34.21/32.39	c cleaning 14015 clauses out of 28053 with flag 273706/337350
39.60/37.70	c cleaning 15008 clauses out of 30036 with flag 329114/353348
41.61/39.80	c Got one! Elapsed wall clock time (in seconds):39.695
41.61/39.80	o 4539
41.92/40.03	c cleaning 13656 clauses out of 27318 with flag 10690/365638
42.22/40.33	c cleaning 9819 clauses out of 19662 with flag 23217/371638
42.63/40.70	c cleaning 8407 clauses out of 16841 with flag 37717/378636
43.02/41.16	c cleaning 8200 clauses out of 16434 with flag 54195/386636
43.52/41.64	c cleaning 8605 clauses out of 17234 with flag 73244/395636
44.02/42.12	c cleaning 9307 clauses out of 18630 with flag 98621/405637
44.52/42.64	c cleaning 10153 clauses out of 20326 with flag 129269/416640
45.15/43.26	c cleaning 11075 clauses out of 22170 with flag 158038/428637
45.15/43.28	c Got one! Elapsed wall clock time (in seconds):43.182
45.15/43.28	o 3767
45.38/43.40	c cleaning 8252 clauses out of 16527 with flag 11206/434072
45.58/43.63	c cleaning 7130 clauses out of 14275 with flag 24911/440072
45.89/43.95	c cleaning 7067 clauses out of 14145 with flag 39828/447072
46.19/44.24	c cleaning 7526 clauses out of 15076 with flag 61318/455070
46.69/44.74	c cleaning 8264 clauses out of 16550 with flag 81158/464070
47.39/45.49	c cleaning 9131 clauses out of 18286 with flag 101870/474070
48.09/46.17	c cleaning 10063 clauses out of 20156 with flag 125013/485071
49.09/47.11	c cleaning 11033 clauses out of 22094 with flag 149819/497072
50.29/48.33	c cleaning 12017 clauses out of 24061 with flag 176698/510072
51.79/49.80	c cleaning 13006 clauses out of 26043 with flag 205729/524071
53.39/51.46	c cleaning 14004 clauses out of 28038 with flag 236994/539072
55.39/53.47	c cleaning 15000 clauses out of 30032 with flag 270212/555070
57.19/55.24	c cleaning 15998 clauses out of 32032 with flag 305793/572070
59.99/58.05	c cleaning 17006 clauses out of 34036 with flag 342350/590072
62.79/60.81	c cleaning 17996 clauses out of 36030 with flag 381760/609072
66.29/64.32	c cleaning 18998 clauses out of 38033 with flag 424417/629071
69.99/68.06	c cleaning 20000 clauses out of 40034 with flag 468524/650070
73.69/71.73	c cleaning 21000 clauses out of 42034 with flag 515021/672070
77.09/75.12	c cleaning 22002 clauses out of 44035 with flag 562866/695071
82.49/80.57	c cleaning 22999 clauses out of 46032 with flag 612837/719070
87.10/85.18	c cleaning 24002 clauses out of 48035 with flag 664987/744072
92.72/90.71	c cleaning 25002 clauses out of 50035 with flag 719666/770074
97.92/95.98	c cleaning 25998 clauses out of 52030 with flag 776789/797071
102.42/100.44	c cleaning 26995 clauses out of 54031 with flag 834445/825070
108.12/106.16	c cleaning 28003 clauses out of 56039 with flag 895239/854073
114.43/112.48	c cleaning 28996 clauses out of 58034 with flag 957718/884071
121.23/119.25	c cleaning 30002 clauses out of 60038 with flag 1022501/915071
128.13/126.15	c cleaning 31005 clauses out of 62037 with flag 1088376/947072
135.33/133.30	c cleaning 31997 clauses out of 64030 with flag 1157022/980070
142.94/140.95	c cleaning 33004 clauses out of 66037 with flag 1227033/1014074
151.29/149.20	c cleaning 33994 clauses out of 68029 with flag 1298877/1049070
159.18/157.16	c cleaning 35007 clauses out of 70039 with flag 1373816/1085074
168.09/166.02	c cleaning 35994 clauses out of 72028 with flag 1453439/1122070
177.60/175.53	c cleaning 37003 clauses out of 74034 with flag 1533513/1160070
187.09/185.07	c cleaning 38000 clauses out of 76031 with flag 1615211/1199070
196.71/194.60	c Got one! Elapsed wall clock time (in seconds):194.498
196.71/194.60	o 3766
200.65/198.58	c cleaning 39082 clauses out of 78188 with flag 11367/1239227
202.75/200.62	c cleaning 22535 clauses out of 45105 with flag 24887/1245226
203.05/200.97	c cleaning 14773 clauses out of 29570 with flag 41716/1252226
203.46/201.31	c cleaning 11382 clauses out of 22798 with flag 65457/1260227
203.95/201.86	c cleaning 10191 clauses out of 20415 with flag 92583/1269226
204.45/202.38	c cleaning 10100 clauses out of 20226 with flag 122489/1279228
205.15/203.09	c cleaning 10549 clauses out of 21124 with flag 148384/1290226
205.85/203.73	c cleaning 11272 clauses out of 22577 with flag 181351/1302228
206.65/204.53	c cleaning 12139 clauses out of 24303 with flag 222432/1315226
207.65/205.54	c cleaning 13071 clauses out of 26165 with flag 268114/1329227
209.06/206.96	c cleaning 14036 clauses out of 28093 with flag 309763/1344226
210.55/208.49	c cleaning 15017 clauses out of 30058 with flag 356970/1360227
212.64/210.40	c cleaning 16013 clauses out of 32041 with flag 404818/1377227
214.65/212.45	c cleaning 17001 clauses out of 34027 with flag 456548/1395226
217.04/214.82	c cleaning 18000 clauses out of 36026 with flag 506369/1414226
219.84/217.64	c cleaning 19004 clauses out of 38027 with flag 551024/1434227
223.04/220.81	c cleaning 20000 clauses out of 40022 with flag 599047/1455226
226.24/224.04	c cleaning 20999 clauses out of 42022 with flag 653458/1477226
229.44/227.21	c cleaning 21996 clauses out of 44023 with flag 707885/1500226
231.64/229.42	c cleaning 23009 clauses out of 46027 with flag 770681/1524226
235.04/232.84	c cleaning 24008 clauses out of 48023 with flag 838123/1549231
239.15/236.97	c cleaning 24999 clauses out of 50012 with flag 902498/1575228
245.23/242.96	c cleaning 25999 clauses out of 52013 with flag 959741/1602228
250.63/248.30	c Got one! Elapsed wall clock time (in seconds):248.202
250.63/248.30	o 3704
250.88/248.50	c cleaning 24312 clauses out of 48649 with flag 12408/1624863
250.99/248.69	c cleaning 15148 clauses out of 30333 with flag 26082/1630859
251.28/248.92	c cleaning 11075 clauses out of 22185 with flag 41917/1637859
251.48/249.17	c cleaning 9540 clauses out of 19111 with flag 60570/1645860
251.88/249.51	c cleaning 9265 clauses out of 18571 with flag 83620/1654860
252.28/249.96	c cleaning 9640 clauses out of 19308 with flag 111765/1664862
252.78/250.48	c cleaning 10324 clauses out of 20666 with flag 140641/1675860
253.48/251.12	c cleaning 11165 clauses out of 22341 with flag 177296/1687859
257.38/255.08	c cleaning 12079 clauses out of 24176 with flag 227847/1700859
261.99/259.59	c cleaning 13036 clauses out of 26099 with flag 280886/1714861
267.49/265.01	c cleaning 14029 clauses out of 28061 with flag 323410/1729859
273.16/270.66	c cleaning 15017 clauses out of 30034 with flag 368771/1745861
273.86/271.33	c Got one! Elapsed wall clock time (in seconds):271.227
273.86/271.33	o 2904
274.19/271.65	c cleaning 13220 clauses out of 26461 with flag 14017/1757305
274.49/271.93	c cleaning 9609 clauses out of 19245 with flag 31115/1763309
274.79/272.28	c cleaning 8292 clauses out of 16631 with flag 45512/1770304
275.19/272.66	c cleaning 8146 clauses out of 16339 with flag 63578/1778304
275.59/273.06	c cleaning 8587 clauses out of 17193 with flag 83083/1787304
276.69/274.18	c cleaning 9296 clauses out of 18607 with flag 114647/1797305
277.49/274.94	c cleaning 10147 clauses out of 20311 with flag 138761/1808305
278.29/275.76	c cleaning 11072 clauses out of 22164 with flag 168994/1820305
279.18/276.64	c cleaning 12033 clauses out of 24094 with flag 208647/1833307
280.38/277.84	c cleaning 13015 clauses out of 26060 with flag 250759/1847306
281.28/278.77	c cleaning 14007 clauses out of 28043 with flag 292366/1862304
281.78/279.23	c Got one! Elapsed wall clock time (in seconds):279.134
281.78/279.23	o 2088
282.01/279.44	c cleaning 13392 clauses out of 26821 with flag 11876/1875089
282.30/279.73	c cleaning 9696 clauses out of 19429 with flag 23994/1881089
282.50/279.99	c cleaning 8354 clauses out of 16733 with flag 38664/1888089
283.00/280.32	c cleaning 8171 clauses out of 16378 with flag 59351/1896088
283.40/280.73	c cleaning 8587 clauses out of 17207 with flag 84863/1905088
284.00/281.32	c cleaning 9292 clauses out of 18621 with flag 112466/1915089
284.60/281.93	c cleaning 10146 clauses out of 20329 with flag 142745/1926089
285.50/282.83	c cleaning 11082 clauses out of 22182 with flag 177552/1938088
286.20/283.58	c cleaning 12041 clauses out of 24100 with flag 212258/1951088
287.10/284.48	c cleaning 13019 clauses out of 26059 with flag 250846/1965088
288.40/285.76	c cleaning 14010 clauses out of 28040 with flag 294800/1980088
289.80/287.11	c cleaning 15009 clauses out of 30031 with flag 340295/1996089
291.00/288.33	c cleaning 15998 clauses out of 32021 with flag 380226/2013088
293.39/290.70	c cleaning 16994 clauses out of 34023 with flag 434584/2031088
300.49/297.77	c cleaning 18008 clauses out of 36032 with flag 494759/2050091
307.69/304.95	c cleaning 19003 clauses out of 38021 with flag 557471/2070088
313.49/310.75	c Got one! Elapsed wall clock time (in seconds):310.648
313.49/310.75	o 2086
313.79/311.00	c cleaning 19666 clauses out of 39337 with flag 10943/2090407
314.20/311.42	c cleaning 12818 clauses out of 25672 with flag 23751/2096408
314.69/311.85	c cleaning 9911 clauses out of 19854 with flag 38223/2103408
315.19/312.33	c cleaning 8956 clauses out of 17943 with flag 54773/2111408
315.59/312.78	c cleaning 8987 clauses out of 17989 with flag 76565/2120410
316.09/313.27	c Got one! Elapsed wall clock time (in seconds):313.167
316.09/313.27	o 2085
316.53/313.69	c cleaning 11724 clauses out of 23480 with flag 16377/2134888
316.92/314.03	c cleaning 8868 clauses out of 17756 with flag 31392/2140888
317.32/314.42	c cleaning 7931 clauses out of 15887 with flag 48139/2147887
318.82/315.95	c cleaning 7961 clauses out of 15956 with flag 75747/2155887
321.72/318.84	c cleaning 8498 clauses out of 16996 with flag 111450/2164888
325.23/322.36	c cleaning 9239 clauses out of 18497 with flag 148369/2174887
328.96/326.07	c cleaning 10109 clauses out of 20258 with flag 191460/2185887
332.65/329.71	c cleaning 11064 clauses out of 22149 with flag 238931/2197887
336.36/333.42	c cleaning 12037 clauses out of 24086 with flag 293133/2210888
340.45/337.53	c cleaning 13021 clauses out of 26052 with flag 342017/2224891
344.95/341.98	c cleaning 14007 clauses out of 28029 with flag 390649/2239889
348.35/345.37	c Got one! Elapsed wall clock time (in seconds):345.268
348.35/345.37	o 1840
348.86/345.84	c cleaning 14064 clauses out of 28129 with flag 21474/2253996
349.56/346.60	c cleaning 10017 clauses out of 20064 with flag 52460/2259995
350.56/347.50	c cleaning 8507 clauses out of 17047 with flag 85375/2266995
351.66/348.60	c cleaning 8259 clauses out of 16544 with flag 124931/2274999
352.76/349.74	c cleaning 8622 clauses out of 17281 with flag 165876/2283995
354.06/351.09	c cleaning 9318 clauses out of 18659 with flag 215397/2293995
355.65/352.64	c cleaning 10163 clauses out of 20342 with flag 268453/2304996
357.51/354.42	c cleaning 11081 clauses out of 22178 with flag 325096/2316995
359.21/356.18	c cleaning 12034 clauses out of 24099 with flag 376537/2329997
361.21/358.19	c cleaning 13024 clauses out of 26064 with flag 438354/2343996
363.41/360.32	c cleaning 14010 clauses out of 28039 with flag 521038/2358995
365.61/362.57	c cleaning 15008 clauses out of 30031 with flag 608684/2374997
368.01/364.92	c cleaning 16005 clauses out of 32024 with flag 686295/2391998
370.41/367.31	c cleaning 16997 clauses out of 34019 with flag 764658/2409998
372.47/369.37	c cleaning 18005 clauses out of 36020 with flag 837596/2428996
377.18/374.05	c cleaning 19003 clauses out of 38018 with flag 910670/2448999
377.57/374.47	c Got one! Elapsed wall clock time (in seconds):374.37
377.57/374.47	o 1814
377.67/374.57	c cleaning 12460 clauses out of 24931 with flag 5049/2454915
378.38/375.23	c cleaning 9220 clauses out of 18471 with flag 21380/2460915
378.67/375.56	c cleaning 8118 clauses out of 16252 with flag 39371/2467916
379.17/376.01	c cleaning 8063 clauses out of 16135 with flag 57651/2475917
379.67/376.58	c cleaning 8523 clauses out of 17070 with flag 82910/2484915
380.37/377.27	c cleaning 9267 clauses out of 18548 with flag 112018/2494916
381.27/378.10	c cleaning 10132 clauses out of 20282 with flag 142345/2505917
382.27/379.17	c cleaning 11066 clauses out of 22149 with flag 176981/2517916
383.57/380.43	c cleaning 12032 clauses out of 24084 with flag 213976/2530917
385.11/381.91	c cleaning 13014 clauses out of 26050 with flag 251125/2544915
386.81/383.66	c cleaning 14004 clauses out of 28036 with flag 293820/2559915
388.91/385.74	c cleaning 15008 clauses out of 30032 with flag 333838/2575915
391.31/388.11	c cleaning 16002 clauses out of 32025 with flag 376133/2592916
393.73/390.53	c cleaning 17000 clauses out of 34022 with flag 422844/2610915
396.52/393.31	c cleaning 18006 clauses out of 36023 with flag 474998/2629916
399.62/396.49	c cleaning 19000 clauses out of 38016 with flag 527233/2649915
403.22/400.03	c cleaning 19994 clauses out of 40016 with flag 582635/2670915
407.19/403.92	c cleaning 20999 clauses out of 42022 with flag 642844/2692915
411.99/408.73	c cleaning 22003 clauses out of 44024 with flag 704438/2715916
416.89/413.62	c cleaning 23005 clauses out of 46021 with flag 767276/2739916
421.09/417.84	c cleaning 23997 clauses out of 48015 with flag 836105/2764915
425.29/422.02	c cleaning 25000 clauses out of 50019 with flag 914776/2790916
430.09/426.82	c cleaning 25999 clauses out of 52018 with flag 995959/2817915
435.37/432.05	c cleaning 26999 clauses out of 54019 with flag 1081319/2845915
439.87/436.50	c cleaning 28003 clauses out of 56020 with flag 1183365/2874915
444.48/441.11	c cleaning 29000 clauses out of 58022 with flag 1284519/2904920
449.88/446.60	c cleaning 29998 clauses out of 60018 with flag 1387307/2935916
456.18/452.87	c cleaning 30998 clauses out of 62019 with flag 1485691/2967915
462.74/459.39	c cleaning 32001 clauses out of 64022 with flag 1588215/3000916
469.14/465.73	c cleaning 33007 clauses out of 66020 with flag 1691778/3034915
474.44/471.07	c cleaning 34002 clauses out of 68016 with flag 1775269/3069918
481.74/478.31	c cleaning 35005 clauses out of 70011 with flag 1859578/3105915
489.53/486.06	c cleaning 35990 clauses out of 72006 with flag 1976812/3142915
500.13/496.67	c cleaning 36992 clauses out of 74016 with flag 2115075/3180915
512.84/509.34	c cleaning 38002 clauses out of 76024 with flag 2261720/3219915
525.13/521.62	c cleaning 39001 clauses out of 78022 with flag 2413614/3259915
536.42/532.90	c cleaning 40000 clauses out of 80021 with flag 2568673/3300915
551.82/548.27	c cleaning 41001 clauses out of 82022 with flag 2719820/3342916
567.43/563.73	c cleaning 41998 clauses out of 84020 with flag 2902751/3385915
578.53/574.86	c cleaning 43001 clauses out of 86022 with flag 3059511/3429915
596.03/592.32	c cleaning 44001 clauses out of 88021 with flag 3254835/3474915
612.62/608.82	c cleaning 45000 clauses out of 90020 with flag 3441632/3520915
629.72/625.95	c cleaning 45995 clauses out of 92021 with flag 3621974/3567916
649.63/645.74	c cleaning 47000 clauses out of 94026 with flag 3832086/3615916
670.02/666.15	c cleaning 48005 clauses out of 96027 with flag 4047604/3664917
685.93/682.03	c cleaning 48992 clauses out of 98020 with flag 4205103/3714915
702.64/698.76	c cleaning 50006 clauses out of 100028 with flag 4374429/3765915
725.04/721.12	c cleaning 50995 clauses out of 102025 with flag 4604419/3817918
749.01/745.03	c cleaning 52004 clauses out of 104028 with flag 4831067/3870916
773.90/769.98	c cleaning 52996 clauses out of 106023 with flag 5063348/3924915
799.94/795.93	c cleaning 54004 clauses out of 108027 with flag 5304812/3979915
827.14/823.13	c cleaning 54999 clauses out of 110023 with flag 5540230/4035915
855.80/851.72	c cleaning 56006 clauses out of 112027 with flag 5787566/4092918
885.50/881.46	c cleaning 56998 clauses out of 114020 with flag 6041337/4150917
918.83/914.77	c cleaning 58001 clauses out of 116022 with flag 6299256/4209917
943.09/938.96	c cleaning 58999 clauses out of 118021 with flag 6543489/4269917
973.89/969.77	c cleaning 59999 clauses out of 120021 with flag 6812570/4330916
1008.15/1003.91	c cleaning 60999 clauses out of 122021 with flag 7076884/4392915
1045.04/1040.84	c cleaning 62001 clauses out of 124023 with flag 7341935/4455916
1081.57/1077.31	c cleaning 62996 clauses out of 126022 with flag 7607265/4519916
1118.93/1114.61	c cleaning 64002 clauses out of 128025 with flag 7875057/4584915
1155.83/1151.56	c cleaning 65006 clauses out of 130025 with flag 8150673/4650917
1194.55/1190.30	c cleaning 66001 clauses out of 132018 with flag 8416022/4717916
1240.29/1235.99	c cleaning 66998 clauses out of 134017 with flag 8689205/4785916
1286.26/1281.82	c cleaning 67997 clauses out of 136019 with flag 8979715/4854916
1330.66/1326.20	c cleaning 69003 clauses out of 138023 with flag 9276813/4924917
1377.18/1372.76	c cleaning 70001 clauses out of 140020 with flag 9573185/4995917
1427.80/1423.32	c cleaning 70997 clauses out of 142019 with flag 9882380/5067917
1460.36/1455.89	c cleaning 72002 clauses out of 144022 with flag 10169283/5140917
1490.84/1486.27	c cleaning 72996 clauses out of 146019 with flag 10396859/5214916
1524.12/1519.51	c cleaning 73998 clauses out of 148022 with flag 10628988/5289915
1560.28/1555.65	c cleaning 75000 clauses out of 150025 with flag 10882084/5365916
1615.43/1610.76	c cleaning 76000 clauses out of 152026 with flag 11120201/5442917
1674.79/1670.09	c cleaning 76994 clauses out of 154024 with flag 11368157/5520915
1728.16/1723.37	c cleaning 78000 clauses out of 156032 with flag 11615986/5599917
1785.01/1780.18	c cleaning 78995 clauses out of 158030 with flag 11873925/5679915
1800.01/1795.10	c starts		: 5569
1800.01/1795.10	c conflicts		: 5714421
1800.01/1795.10	c decisions		: 8090601
1800.01/1795.10	c propagations		: 147650428
1800.01/1795.10	c inspects		: 37200832017
1800.01/1795.10	c shortcuts		: 0
1800.01/1795.10	c learnt literals	: 3
1800.01/1795.10	c learnt binary clauses	: 3
1800.01/1795.10	c learnt ternary clauses	: 5
1800.01/1795.10	c learnt constraints	: 5714418
1800.01/1795.10	c ignored constraints	: 0
1800.01/1795.10	c root simplifications	: 0
1800.01/1795.10	c removed literals (reason simplification)	: 0
1800.01/1795.10	c reason swapping (by a shorter reason)	: 0
1800.01/1795.10	c Calls to reduceDB	: 245
1800.01/1795.10	c Number of update (reduction) of LBD	: 541619
1800.01/1795.10	c Imported unit clauses	: 0
1800.01/1795.10	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.10	c number of learned constraints concerned by reduction	: 0
1800.01/1795.10	c number of learning phase by resolution	: 0
1800.01/1795.10	c number of learning phase by cutting planes	: 0
1800.01/1795.10	c speed (assignments/second)	: 82263.05939693245
1800.01/1795.10	c non guided choices	31426
1800.01/1795.13	c learnt constraints type 
1800.01/1795.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.01/1795.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113539
1800.01/1795.13	s SATISFIABLE
1800.01/1795.13	c Found 12 solution(s)
1800.01/1795.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100 -x101 x102 x103 x104 x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 -x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 x213 -x214 x215 -x216 x217 x218 x219 x220 -x221 -x222 x223 x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 x364 x365 -x366 x367 x368 x369 x370 x371 x372 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 -x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 x666 -x667 x668 x669 x670 x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 -x730 x731 x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 -x821 x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 -x1458 x1459 x1460 x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 x1513 -x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 x1632 x1633 x1634 -x1635 x1636 -x1637 -x1638 x1639 -x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 x1663 x1664 x1665 -x1666 -x1667 x1668 x1669 x1670 x1671 x1672 -x1673 x1674 x1675 x1676 x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 -x1733 -x1734 -x1735 x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 x1812 x1813 x1814 x1815 x1816 -x1817 x1818 x1819 x1820 -x1821 -x1822 x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 -x1849 x1850 -x1851 x1852 -x1853 x1854 -x1855 -x1856 x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 x1871 x1872 x1873 x1874 x1875 -x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 x1884 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 x2001 x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 x2050 x2051 x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 
1800.01/1795.14	c objective function=1814
1800.01/1795.14	c Total wall clock time (in seconds): 1795.037

Verifier Data 

OK	1814

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-4101373-1466222284/watcher-4101373-1466222284 -o /tmp/evaluation-result-4101373-1466222284/solver-4101373-1466222284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4534 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101373-1466222284.opb 

pid=8670
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.29 2.22 2.19 3/196 8673
/proc/meminfo: memFree=30106628/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 24274840 98570240 977 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 24065 977 743 9 0 16771 0
[pid=8673/tid=8674] ppid=8670 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 24274841 98570240 978 33554432000 1073741824 1073778376 140737238776128 139670553112104 273905698176 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.29 2.22 2.19 3/196 8673
/proc/meminfo: memFree=30106628/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 4500 0 1 0 10 1 0 0 20 0 18 0 24274840 9787879424 6129 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2389619 6129 2157 9 0 2380296 0
[pid=8673/tid=8674] ppid=8670 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2387 0 1 0 8 0 0 0 20 0 18 0 24274841 9787879424 6129 33554432000 1073741824 1073778376 140737238776128 139670553115552 139670559640956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200271 s]
/proc/loadavg: 2.29 2.22 2.19 3/196 8673
/proc/meminfo: memFree=30106628/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 4993 0 1 0 29 1 0 0 20 0 18 0 24274840 9787879424 7392 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2389619 7392 2222 9 0 2380296 0
[pid=8673/tid=8674] ppid=8670 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2407 0 1 0 17 0 0 0 20 0 18 0 24274841 9787879424 7392 33554432000 1073741824 1073778376 140737238776128 139670553115552 273909070904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300258 s]
/proc/loadavg: 2.29 2.22 2.19 3/196 8673
/proc/meminfo: memFree=30106628/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 9822 0 1 0 57 2 0 0 20 0 19 0 24274840 9856040960 11550 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 11550 2243 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2458 0 1 0 26 1 0 0 20 0 19 0 24274841 9856040960 11550 33554432000 1073741824 1073778376 140737238776128 139670553103688 139670407110262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9625040

[startup+0.700184 s]
/proc/loadavg: 2.29 2.22 2.19 3/196 8673
/proc/meminfo: memFree=30106628/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 16282 0 1 0 146 3 0 0 20 0 19 0 24274840 9856040960 15702 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 15702 2257 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2459 0 1 0 66 1 0 0 20 0 19 0 24274841 9856040960 15702 33554432000 1073741824 1073778376 140737238776128 139670553103688 139670407676640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.42 2.25 2.20 3/215 8692
/proc/meminfo: memFree=30050384/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 16360 0 1 0 236 3 0 0 20 0 19 0 24274840 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 16801 2259 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2462 0 1 0 146 1 0 0 20 0 19 0 24274841 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670553108192 139670407677358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8676] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670396119976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8677] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8670 8673 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670395067432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8678] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670394014376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8679] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670392961832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8680] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670391908776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8681] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670054758952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8682] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670053705896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8683] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8670 8673 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670052653352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8684] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8670 8673 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670040456040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8685] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8670 8673 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670039402360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8686] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670038349192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8687] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670037297936 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8688] ppid=8670 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/8673/task/8688/stat : 8688 (java) S 8670 8673 4518 0 -1 4202560 3354 0 0 0 36 0 0 0 20 0 19 0 24274845 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670036244792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8689] ppid=8670 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/8673/task/8689/stat : 8689 (java) S 8670 8673 4518 0 -1 4202560 9271 0 0 0 51 1 0 0 20 0 19 0 24274845 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670035192248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8690] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8690/stat : 8690 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670034139384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8691] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8691/stat : 8691 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670033087048 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8692] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8692/stat : 8692 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274866 9856040960 16801 33554432000 1073741824 1073778376 140737238776128 139670031935016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.42 2.25 2.20 3/215 8692
/proc/meminfo: memFree=30043372/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 16363 0 1 0 400 3 0 0 20 0 19 0 24274840 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 18337 2259 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2465 0 1 0 306 1 0 0 20 0 19 0 24274841 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670553108192 139670407675519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8676] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670396119976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8677] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8670 8673 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670395067432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8678] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670394014376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8679] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670392961832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8680] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670391908776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8681] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670054758952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8682] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670053705896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8683] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8670 8673 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670052653352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8684] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8670 8673 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670040456040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8685] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8670 8673 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670039402360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8686] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670038349192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8687] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670037297936 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8688] ppid=8670 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/8673/task/8688/stat : 8688 (java) S 8670 8673 4518 0 -1 4202560 3354 0 0 0 36 0 0 0 20 0 19 0 24274845 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670036244792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8689] ppid=8670 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/8673/task/8689/stat : 8689 (java) S 8670 8673 4518 0 -1 4202560 9271 0 0 0 54 1 0 0 20 0 19 0 24274845 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670035192248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8690] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8690/stat : 8690 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670034139384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8691] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8691/stat : 8691 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670033087048 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8692] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8692/stat : 8692 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274866 9856040960 18337 33554432000 1073741824 1073778376 140737238776128 139670031935016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.47 2.26 2.20 3/215 8692
/proc/meminfo: memFree=30022032/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=8.07 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 21301 0 1 0 803 4 0 0 20 0 19 0 24274840 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 25582 2261 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2481 0 1 0 625 1 0 0 20 0 19 0 24274841 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670553108160 139670407798321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8676] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670396119976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8677] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8670 8673 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670395067432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8678] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670394014376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8679] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670392961832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8680] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670391908776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8681] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670054758952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8682] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670053705896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8683] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8670 8673 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24274842 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670052653352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8684] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8670 8673 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670040456040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8685] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8670 8673 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670039402360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8686] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670038349192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8687] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670037297936 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8688] ppid=8670 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/8673/task/8688/stat : 8688 (java) S 8670 8673 4518 0 -1 4202560 3354 0 0 0 40 0 0 0 20 0 19 0 24274845 9856040960 25582 33554432000 1073741824 1073778376 140737238776128 139670036244792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8689] ppid=8670 vsize=9625040 CPUtime=1.36 cores=0,2,4,6

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

[pid=8673/tid=8692] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8692/stat : 8692 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274866 9856040960 106912 33554432000 1073741824 1073778376 140737238776128 139670031935016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1727.16
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.11 2.19 2.18 3/215 8825
/proc/meminfo: memFree=29692272/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=1787.21 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 24369 0 1 0 178650 71 0 0 20 0 19 0 24274840 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 106923 2288 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=1775.97 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2575 0 1 0 177565 32 0 0 20 0 19 0 24274841 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670553108224 139670407694715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8676] ppid=8670 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8670 8673 4518 0 -1 4202560 171 0 0 0 39 6 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670396119976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8677] ppid=8670 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8670 8673 4518 0 -1 4202560 283 0 0 0 46 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670395067432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8678] ppid=8670 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8670 8673 4518 0 -1 4202560 175 0 0 0 38 4 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670394014376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8679] ppid=8670 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8670 8673 4518 0 -1 4202560 244 0 0 0 43 6 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670392961832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8680] ppid=8670 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8670 8673 4518 0 -1 4202560 181 0 0 0 49 7 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670391908776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8681] ppid=8670 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8670 8673 4518 0 -1 4202560 225 0 0 0 43 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670054758952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8682] ppid=8670 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8670 8673 4518 0 -1 4202560 346 0 0 0 44 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670053705896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8683] ppid=8670 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8670 8673 4518 0 -1 4202560 195 0 0 0 39 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670052653352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8684] ppid=8670 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8670 8673 4518 0 -1 4202560 137 0 0 0 29 2 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670040456040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8685] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8670 8673 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670039402360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8686] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8670 8673 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670038349192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8687] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670037297936 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8688] ppid=8670 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/8673/task/8688/stat : 8688 (java) S 8670 8673 4518 0 -1 4202560 4274 0 0 0 61 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670036244792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8689] ppid=8670 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/8673/task/8689/stat : 8689 (java) S 8670 8673 4518 0 -1 4202560 14201 0 0 0 151 2 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670035192248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8690] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8690/stat : 8690 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670034139384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8691] ppid=8670 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8673/task/8691/stat : 8691 (java) S 8670 8673 4518 0 -1 4202560 104 0 0 0 26 20 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670033087048 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8692] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8692/stat : 8692 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274866 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670031935016 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1787.21
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.1 s]
/proc/loadavg: 2.09 2.19 2.18 4/215 8825
/proc/meminfo: memFree=29671560/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 24369 0 1 0 179930 71 0 0 20 0 19 0 24274840 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 106923 2288 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=1788.74 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2575 0 1 0 178841 33 0 0 20 0 19 0 24274841 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670553108224 139670407933312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8676] ppid=8670 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8670 8673 4518 0 -1 4202560 171 0 0 0 39 6 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670396119976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8677] ppid=8670 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8670 8673 4518 0 -1 4202560 283 0 0 0 46 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670395067432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8678] ppid=8670 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8670 8673 4518 0 -1 4202560 175 0 0 0 38 4 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670394014376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8679] ppid=8670 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8670 8673 4518 0 -1 4202560 244 0 0 0 43 6 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670392961832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8680] ppid=8670 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8670 8673 4518 0 -1 4202560 181 0 0 0 49 7 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670391908776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8681] ppid=8670 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8670 8673 4518 0 -1 4202560 225 0 0 0 43 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670054758952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8682] ppid=8670 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8670 8673 4518 0 -1 4202560 346 0 0 0 44 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670053705896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8683] ppid=8670 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8670 8673 4518 0 -1 4202560 195 0 0 0 39 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670052653352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8684] ppid=8670 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8670 8673 4518 0 -1 4202560 137 0 0 0 29 2 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670040456040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8685] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8670 8673 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670039402360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8686] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8670 8673 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670038349192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8687] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670037297936 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8688] ppid=8670 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/8673/task/8688/stat : 8688 (java) S 8670 8673 4518 0 -1 4202560 4274 0 0 0 61 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670036244792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8689] ppid=8670 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/8673/task/8689/stat : 8689 (java) S 8670 8673 4518 0 -1 4202560 14201 0 0 0 151 2 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670035192248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8690] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8690/stat : 8690 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670034139384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8691] ppid=8670 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/8673/task/8691/stat : 8691 (java) S 8670 8673 4518 0 -1 4202560 104 0 0 0 26 21 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670033087048 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8692] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8692/stat : 8692 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274866 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670031935016 273909069737 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 8673 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.1 s]
/proc/loadavg: 2.09 2.19 2.18 4/215 8825
/proc/meminfo: memFree=29671560/32872528 swapFree=1482636/1662508
[pid=8673] ppid=8670 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8670 8673 4518 0 -1 4202496 24369 0 1 0 179930 71 0 0 20 0 19 0 24274840 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 140737238767264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2406260 106923 2288 9 0 2396937 0
[pid=8673/tid=8674] ppid=8670 vsize=9625040 CPUtime=1788.74 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8670 8673 4518 0 -1 4202560 2575 0 1 0 178841 33 0 0 20 0 19 0 24274841 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670553108224 139670407933312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8676] ppid=8670 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8670 8673 4518 0 -1 4202560 171 0 0 0 39 6 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670396119976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8677] ppid=8670 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8670 8673 4518 0 -1 4202560 283 0 0 0 46 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670395067432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8678] ppid=8670 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8670 8673 4518 0 -1 4202560 175 0 0 0 38 4 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670394014376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8673/tid=8679] ppid=8670 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8670 8673 4518 0 -1 4202560 244 0 0 0 43 6 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670392961832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8680] ppid=8670 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8670 8673 4518 0 -1 4202560 181 0 0 0 49 7 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670391908776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8681] ppid=8670 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8670 8673 4518 0 -1 4202560 225 0 0 0 43 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670054758952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8682] ppid=8670 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8670 8673 4518 0 -1 4202560 346 0 0 0 44 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670053705896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8683] ppid=8670 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8670 8673 4518 0 -1 4202560 195 0 0 0 39 5 0 0 20 0 19 0 24274842 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670052653352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8684] ppid=8670 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8670 8673 4518 0 -1 4202560 137 0 0 0 29 2 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670040456040 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8685] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8670 8673 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670039402360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8686] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8670 8673 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24274843 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670038349192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8687] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670037297936 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8688] ppid=8670 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/8673/task/8688/stat : 8688 (java) S 8670 8673 4518 0 -1 4202560 4274 0 0 0 61 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670036244792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8673/tid=8689] ppid=8670 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/8673/task/8689/stat : 8689 (java) S 8670 8673 4518 0 -1 4202560 14201 0 0 0 151 2 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670035192248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8690] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8690/stat : 8690 (java) S 8670 8673 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670034139384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8673/tid=8691] ppid=8670 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/8673/task/8691/stat : 8691 (java) S 8670 8673 4518 0 -1 4202560 104 0 0 0 26 21 0 0 20 0 19 0 24274845 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670033087048 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8673/tid=8692] ppid=8670 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8692/stat : 8692 (java) S 8670 8673 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24274866 9856040960 106923 33554432000 1073741824 1073778376 140737238776128 139670031935016 273909069737 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8673 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=718161
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=152824
# CPU time returned by wait4() is 1795.87
# 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): 1795.15
CPU time (s): 1800.01
CPU user time (s): 1799.3
CPU system time (s): 0.71
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 9626608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.15282
maximum resident set size= 544072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24417
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39566
involuntary context switches= 27556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7901 second user time and 16.5805 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 05:58:04
IDJOB=4101373
IDBENCH=1737
IDSOLVER=2546
FILE ID=node134/4101373-1466222284
RUNJOBID= node134-1466206058-4534
PBS_JOBID= 19918143
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101373-1466222284/watcher-4101373-1466222284 -o /tmp/evaluation-result-4101373-1466222284/solver-4101373-1466222284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4534 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101373-1466222284.opb

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

MD5SUM BENCH= 959ce68b75ceb21d2cb97576331899fc
RANDOM SEED=283961275

node134.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.020
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.04
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.020
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	: 7358.89
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.020
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.55
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.020
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.020
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.020
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.54
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.020
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.020
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:        30107504 kB
Buffers:          107364 kB
Cached:            91932 kB
SwapCached:         1008 kB
Active:           224824 kB
Inactive:         141420 kB
Active(anon):     167736 kB
Inactive(anon):     1616 kB
Active(file):      57088 kB
Inactive(file):   139804 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:               984 kB
Writeback:             0 kB
AnonPages:       1840220 kB
Mapped:            15360 kB
Shmem:                 0 kB
Slab:             599820 kB
SReclaimable:      43100 kB
SUnreclaim:       556720 kB
KernelStack:        1768 kB
PageTables:         7956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2351032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 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= 71716 MiB
End job on node134 at 2016-06-18 06:27:59