Trace number 4118431

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 Res+CP PB16SAT (TO)-97 1800.73 896.16

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament24.lin.opb
MD5SUMd9f3e5d408eb1139be772886f3e2aecb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-121
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables804
Total number of constraints1056
Number of constraints which are clauses528
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 710
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 778
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 778
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118431-1467227022.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.26	c ... done. Wall clock time 0.14s.
0.23/0.26	c declared #vars     804
0.23/0.26	c #constraints  1056
0.23/0.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 528
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 528
0.23/0.26	c 1056 constraints processed.
0.23/0.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 528
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 528
0.23/0.26	c 1056 constraints processed.
0.23/0.26	c objective function length is 710 literals
0.23/0.28	c And the winner is solver0
0.42/0.77	c SATISFIABLE
0.42/0.77	c OPTIMIZING...
0.42/0.77	c Got one! Elapsed wall clock time (in seconds):0.647
0.42/0.77	o -71
2.64/1.46	c cleaning 2499 clauses out of 5002 with flag 10015/5002
4.39/2.11	c cleaning 4250 clauses out of 8501 with flag 22011/11000
4.62/2.26	c And the winner is solver1
4.62/2.29	c Got one! Elapsed wall clock time (in seconds):2.169
4.62/2.29	o -85
5.85/2.78	c cleaning 4914 clauses out of 9832 with flag 8489/16581
7.09/3.40	c cleaning 5459 clauses out of 10917 with flag 21122/22580
8.76/4.16	c cleaning 6227 clauses out of 12458 with flag 35928/29580
10.61/5.08	c cleaning 7113 clauses out of 14230 with flag 52831/37579
12.90/6.18	c cleaning 8055 clauses out of 16118 with flag 71908/46580
13.76/6.52	c And the winner is solver1
13.81/6.79	c Got one! Elapsed wall clock time (in seconds):6.676
13.81/6.79	o -86
14.21/7.01	c cleaning 6596 clauses out of 13198 with flag 4213/51715
15.44/7.64	c cleaning 6297 clauses out of 12603 with flag 16964/57716
17.14/8.47	c cleaning 6651 clauses out of 13306 with flag 31791/64716
18.94/9.37	c cleaning 7325 clauses out of 14655 with flag 48768/72716
21.22/10.45	c cleaning 8160 clauses out of 16329 with flag 67819/81715
23.63/11.63	c cleaning 9084 clauses out of 18172 with flag 88918/91718
25.02/12.32	c And the winner is solver1
25.08/12.80	c Got one! Elapsed wall clock time (in seconds):12.68
25.08/12.80	o -87
26.08/13.39	c cleaning 10017 clauses out of 20041 with flag 10568/102671
27.81/14.12	c cleaning 8008 clauses out of 16022 with flag 23214/108669
28.81/14.66	c And the winner is solver1
28.95/14.85	c Got one! Elapsed wall clock time (in seconds):14.732
28.95/14.85	o -94
30.05/15.42	c cleaning 9221 clauses out of 18448 with flag 10645/119103
31.27/16.06	c cleaning 7612 clauses out of 15228 with flag 23401/125104
33.27/16.90	c cleaning 7305 clauses out of 14615 with flag 38241/132103
34.87/17.74	c cleaning 7652 clauses out of 15311 with flag 55242/140104
36.87/18.77	c cleaning 8328 clauses out of 16658 with flag 74287/149103
39.07/19.90	c cleaning 9167 clauses out of 18333 with flag 95490/159106
41.66/21.15	c cleaning 10081 clauses out of 20163 with flag 118767/170103
44.88/22.61	c cleaning 11039 clauses out of 22084 with flag 144068/182105
48.24/24.25	c cleaning 12019 clauses out of 24044 with flag 171477/195104
51.83/26.01	c cleaning 13009 clauses out of 26024 with flag 201268/209103
56.29/28.12	c cleaning 14008 clauses out of 28015 with flag 232911/224103
60.69/30.33	c cleaning 14999 clauses out of 30007 with flag 266893/240103
65.49/32.72	c cleaning 16002 clauses out of 32009 with flag 302764/257104
70.89/35.40	c cleaning 17004 clauses out of 34008 with flag 340813/275105
77.58/38.93	c cleaning 18001 clauses out of 36003 with flag 380826/294104
83.59/41.96	c cleaning 18997 clauses out of 38002 with flag 423206/314104
90.59/45.44	c cleaning 20000 clauses out of 40004 with flag 467726/335103
97.09/48.61	c cleaning 21000 clauses out of 42004 with flag 514166/357103
103.69/51.93	c cleaning 22000 clauses out of 44004 with flag 563050/380103
106.09/53.19	c And the winner is solver1
106.31/53.30	c Got one! Elapsed wall clock time (in seconds):53.183
106.31/53.30	o -95
107.31/53.89	c cleaning 18451 clauses out of 36918 with flag 10531/395017
108.71/54.55	c cleaning 12230 clauses out of 24467 with flag 23392/401017
110.11/55.29	c cleaning 9611 clauses out of 19237 with flag 38110/408017
111.94/56.15	c cleaning 8811 clauses out of 17628 with flag 54974/416019
114.37/57.26	c cleaning 8904 clauses out of 17815 with flag 74033/425017
116.58/58.39	c cleaning 9449 clauses out of 18912 with flag 95254/435018
119.16/59.67	c cleaning 10231 clauses out of 20464 with flag 118647/446019
122.16/61.12	c cleaning 11112 clauses out of 22232 with flag 144185/458018
125.16/62.66	c cleaning 12061 clauses out of 24121 with flag 171815/471019
128.56/64.35	c cleaning 13029 clauses out of 26059 with flag 201521/485018
132.18/66.17	c cleaning 14010 clauses out of 28029 with flag 233383/500017
136.37/68.21	c cleaning 15008 clauses out of 30020 with flag 267349/516018
141.20/70.51	c cleaning 16003 clauses out of 32014 with flag 303278/533020
146.19/73.01	c cleaning 17005 clauses out of 34009 with flag 341583/551018
151.39/75.60	c cleaning 17997 clauses out of 36003 with flag 382009/570017
157.20/78.57	c cleaning 19001 clauses out of 38008 with flag 424434/590019
163.59/81.77	c cleaning 20000 clauses out of 40005 with flag 468870/611017
171.52/86.02	c cleaning 21001 clauses out of 42006 with flag 515752/633018
178.38/89.45	c cleaning 21999 clauses out of 44004 with flag 564563/656017
185.20/92.86	c cleaning 22999 clauses out of 46006 with flag 615222/680018
193.09/96.72	c cleaning 24001 clauses out of 48007 with flag 668102/705018
200.29/100.39	c cleaning 24999 clauses out of 50005 with flag 723392/731017
209.09/104.70	c cleaning 25998 clauses out of 52006 with flag 780406/758017
218.47/109.35	c cleaning 27001 clauses out of 54008 with flag 839639/786017
227.87/114.02	c cleaning 28003 clauses out of 56008 with flag 901059/815018
239.06/119.56	c cleaning 28999 clauses out of 58005 with flag 964652/845018
241.27/120.65	c And the winner is solver1
241.41/120.81	c Got one! Elapsed wall clock time (in seconds):120.694
241.41/120.81	o -96
242.65/121.43	c cleaning 20511 clauses out of 41030 with flag 10593/857042
244.06/122.13	c cleaning 13255 clauses out of 26519 with flag 23281/863042
245.64/122.97	c cleaning 10125 clauses out of 20264 with flag 38133/870042
247.44/123.88	c cleaning 9068 clauses out of 18141 with flag 55061/878044
249.64/124.90	c cleaning 9030 clauses out of 18071 with flag 74121/887042
252.19/126.13	c cleaning 9521 clauses out of 19042 with flag 95380/897043
254.78/127.46	c cleaning 10259 clauses out of 20521 with flag 118718/908043
257.78/128.92	c cleaning 11125 clauses out of 22260 with flag 144152/920041
260.98/130.55	c cleaning 12065 clauses out of 24135 with flag 171566/933041
264.78/132.40	c cleaning 13034 clauses out of 26070 with flag 201206/947041
265.38/132.70	c And the winner is solver1
265.39/132.82	c Got one! Elapsed wall clock time (in seconds):132.7
265.39/132.82	o -97
265.95/133.13	c cleaning 9297 clauses out of 18600 with flag 6510/952605
267.34/133.81	c cleaning 7650 clauses out of 15304 with flag 19250/958606
268.74/134.56	c cleaning 7321 clauses out of 14654 with flag 34123/965606
270.89/135.57	c cleaning 7663 clauses out of 15333 with flag 51060/973606
273.09/136.63	c cleaning 8333 clauses out of 16670 with flag 70637/982606
275.49/137.88	c cleaning 9167 clauses out of 18336 with flag 92003/992605
278.29/139.21	c cleaning 10079 clauses out of 20170 with flag 115487/1003606
281.09/140.66	c cleaning 11042 clauses out of 22090 with flag 140857/1015605
284.48/142.37	c cleaning 12021 clauses out of 24049 with flag 168332/1028606
288.30/144.27	c cleaning 13011 clauses out of 26028 with flag 198105/1042606
292.91/146.49	c cleaning 14006 clauses out of 28017 with flag 229960/1057606
297.50/148.70	c cleaning 15002 clauses out of 30012 with flag 263911/1073607
302.10/151.09	c cleaning 16003 clauses out of 32008 with flag 300008/1090605
307.29/153.61	c cleaning 17002 clauses out of 34006 with flag 338140/1108606
312.09/156.07	c cleaning 18002 clauses out of 36004 with flag 378253/1127606
318.09/159.03	c cleaning 18997 clauses out of 38002 with flag 420612/1147606
323.89/161.98	c cleaning 20001 clauses out of 40005 with flag 465093/1168606
330.78/165.23	c cleaning 20999 clauses out of 42003 with flag 511559/1190605
337.19/168.41	c cleaning 22003 clauses out of 44005 with flag 560371/1213606
343.97/171.84	c cleaning 22998 clauses out of 46001 with flag 611331/1237605
351.17/175.49	c cleaning 24002 clauses out of 48004 with flag 664368/1262606
358.77/179.28	c cleaning 24998 clauses out of 50001 with flag 719426/1288605
367.17/183.49	c cleaning 25996 clauses out of 52003 with flag 776825/1315605
374.97/187.35	c cleaning 27001 clauses out of 54007 with flag 836546/1343605
384.16/191.82	c cleaning 27998 clauses out of 56006 with flag 898842/1372605
393.96/196.79	c cleaning 29002 clauses out of 58008 with flag 962797/1402605
406.06/203.36	c cleaning 30003 clauses out of 60006 with flag 1028402/1433605
417.13/208.83	c cleaning 30999 clauses out of 62004 with flag 1096422/1465606
429.34/214.96	c cleaning 31997 clauses out of 64004 with flag 1165966/1498605
442.23/221.33	c cleaning 33004 clauses out of 66007 with flag 1239009/1532605
454.61/227.42	c cleaning 0 clauses out of 6557 with flag 0/6557
455.23/227.63	c cleaning 34002 clauses out of 68003 with flag 1313404/1567605
469.14/234.54	c cleaning 34998 clauses out of 70001 with flag 1389413/1603605
482.50/241.18	c cleaning 35998 clauses out of 72005 with flag 1467530/1640607
497.91/248.74	c cleaning 37000 clauses out of 74006 with flag 1547858/1678606
513.52/256.42	c cleaning 38000 clauses out of 76005 with flag 1630489/1717605
529.53/264.36	c cleaning 39004 clauses out of 78007 with flag 1714946/1757607
547.00/272.91	c cleaning 39998 clauses out of 80001 with flag 1801412/1798605
569.06/283.90	c cleaning 41000 clauses out of 82003 with flag 1889988/1840605
588.49/293.48	c cleaning 42000 clauses out of 84004 with flag 1980956/1883606
608.16/303.19	c cleaning 42998 clauses out of 86003 with flag 2074055/1927605
627.26/312.38	c cleaning 44003 clauses out of 88005 with flag 2169282/1972605
646.70/321.96	c cleaning 44999 clauses out of 90003 with flag 2266835/2018606
668.28/332.53	c cleaning 45998 clauses out of 92003 with flag 2366416/2065605
686.88/341.69	c cleaning 46998 clauses out of 94006 with flag 2468656/2113606
710.08/352.92	c cleaning 48003 clauses out of 96007 with flag 2572108/2162605
734.25/365.90	c cleaning 48997 clauses out of 98005 with flag 2678107/2212606
753.31/375.45	c cleaning 49999 clauses out of 100008 with flag 2785947/2263606
778.74/388.05	c cleaning 51000 clauses out of 102008 with flag 2896244/2315605
803.26/400.28	c cleaning 52005 clauses out of 104009 with flag 3008572/2368606
832.34/414.67	c cleaning 52994 clauses out of 106004 with flag 3123226/2422606
863.33/429.97	c cleaning 54001 clauses out of 108010 with flag 3239759/2477606
893.80/444.93	c cleaning 54997 clauses out of 110008 with flag 3358571/2533605
926.14/460.88	c cleaning 56003 clauses out of 112012 with flag 3479322/2590606
954.65/474.93	c cleaning 56999 clauses out of 114008 with flag 3602440/2648605
983.27/488.91	c cleaning 58002 clauses out of 116009 with flag 3728463/2707605
1013.69/503.81	c cleaning 59001 clauses out of 118007 with flag 3856426/2767605
1043.56/518.69	c cleaning 60001 clauses out of 120006 with flag 3985819/2828605
1077.57/535.21	c cleaning 60998 clauses out of 122005 with flag 4117444/2890605
1109.20/550.90	c cleaning 61998 clauses out of 124007 with flag 4252257/2953605
1142.37/567.35	c cleaning 62999 clauses out of 126009 with flag 4388339/3017605
1178.71/585.35	c cleaning 64004 clauses out of 128012 with flag 4525905/3082607
1217.44/604.41	c cleaning 64998 clauses out of 130008 with flag 4665894/3148607
1252.24/621.77	c cleaning 66001 clauses out of 132009 with flag 4808200/3215606
1289.64/640.46	c cleaning 67000 clauses out of 134007 with flag 4952795/3283605
1319.27/655.11	c cleaning 68002 clauses out of 136009 with flag 5098871/3352607
1350.68/670.80	c cleaning 69001 clauses out of 138005 with flag 5246932/3422605
1384.96/687.82	c cleaning 69998 clauses out of 140004 with flag 5396707/3493605
1417.97/704.40	c cleaning 71001 clauses out of 142007 with flag 5549069/3565606
1452.58/721.65	c cleaning 71998 clauses out of 144006 with flag 5703861/3638606
1484.36/737.60	c cleaning 73004 clauses out of 146008 with flag 5857329/3712606
1523.18/756.92	c cleaning 74002 clauses out of 148003 with flag 6008646/3787605
1564.59/778.51	c cleaning 75001 clauses out of 150002 with flag 6161754/3863606
1603.99/798.23	c cleaning 76001 clauses out of 152001 with flag 6316494/3940606
1649.33/820.88	c cleaning 76999 clauses out of 154000 with flag 6472909/4018606
1694.73/843.51	c cleaning 78000 clauses out of 156000 with flag 6631279/4097605
1734.30/863.28	c cleaning 79001 clauses out of 158002 with flag 6791929/4177607
1776.50/884.35	c cleaning 79996 clauses out of 159999 with flag 6954523/4258605
1800.10/896.10	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.10/896.10	c starts		: 72400
1800.10/896.10	c conflicts		: 4313951
1800.10/896.10	c decisions		: 18282448
1800.10/896.10	c propagations		: 130901820
1800.10/896.10	c inspects		: 9658600254
1800.10/896.10	c shortcuts		: 0
1800.10/896.10	c learnt literals	: 0
1800.10/896.10	c learnt binary clauses	: 0
1800.10/896.10	c learnt ternary clauses	: 0
1800.10/896.10	c learnt constraints	: 4313951
1800.10/896.10	c ignored constraints	: 0
1800.10/896.10	c root simplifications	: 0
1800.10/896.10	c removed literals (reason simplification)	: 9117697
1800.10/896.10	c reason swapping (by a shorter reason)	: 0
1800.10/896.10	c Calls to reduceDB	: 147
1800.10/896.10	c Number of update (reduction) of LBD	: 159689
1800.10/896.10	c Imported unit clauses	: 0
1800.10/896.10	c number of reductions to clauses (during analyze)	: 0
1800.10/896.10	c number of learned constraints concerned by reduction	: 0
1800.10/896.10	c number of learning phase by resolution	: 0
1800.10/896.10	c number of learning phase by cutting planes	: 0
1800.10/896.10	c speed (assignments/second)	: 171499.3075926365
1800.10/896.10	c non guided choices	1
1800.10/896.13	c learnt constraints type 
1800.10/896.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 135349
1800.10/896.13	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.10/896.13	c starts		: 43
1800.10/896.13	c conflicts		: 11477
1800.10/896.13	c decisions		: 46209
1800.10/896.13	c propagations		: 340617
1800.10/896.13	c inspects		: 425120363
1800.10/896.13	c shortcuts		: 0
1800.10/896.13	c learnt literals	: 0
1800.10/896.13	c learnt binary clauses	: 0
1800.10/896.13	c learnt ternary clauses	: 0
1800.10/896.13	c learnt constraints	: 11476
1800.10/896.13	c ignored constraints	: 0
1800.10/896.13	c root simplifications	: 0
1800.10/896.13	c removed literals (reason simplification)	: 0
1800.10/896.13	c reason swapping (by a shorter reason)	: 0
1800.10/896.13	c Calls to reduceDB	: 1
1800.10/896.13	c Number of update (reduction) of LBD	: 0
1800.10/896.13	c Imported unit clauses	: 0
1800.10/896.13	c number of reductions to clauses (during analyze)	: 0
1800.10/896.13	c number of learned constraints concerned by reduction	: 0
1800.10/896.13	c number of learning phase by resolution	: 0
1800.10/896.13	c number of learning phase by cutting planes	: 0
1800.10/896.13	c speed (assignments/second)	: 380.43950520760615
1800.10/896.13	c non guided choices	10
1800.10/896.14	c learnt constraints type 
1800.10/896.14	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.10/896.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11474
1800.10/896.14	s SATISFIABLE
1800.10/896.14	c Found 8 solution(s)
1800.10/896.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 
1800.10/896.14	c objective function=-97
1800.10/896.14	c Total wall clock time (in seconds): 896.02

Verifier Data 

OK	-97

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-4118431-1467227022/watcher-4118431-1467227022 -o /tmp/evaluation-result-4118431-1467227022/solver-4118431-1467227022 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118431-1467227022.opb 

pid=13191
running on 4 cores: 1,3,5,7

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: 4.13 4.21 4.07 4/197 13194
/proc/meminfo: memFree=24883436/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13194/stat : 13194 (java) D 13191 13194 5962 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 3653444 9515008 184 33554432000 1073741824 1073778376 140736297888704 140736297879928 225444523447 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2323 184 142 9 0 71 0

[startup+0.100156 s]
/proc/loadavg: 4.13 4.21 4.07 4/197 13194
/proc/meminfo: memFree=24883436/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 4465 0 1 0 8 1 0 0 20 0 18 0 3653444 9787879424 5592 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2389619 5592 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200331 s]
/proc/loadavg: 4.13 4.21 4.07 4/197 13194
/proc/meminfo: memFree=24883436/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 4756 0 1 0 22 1 0 0 20 0 18 0 3653444 9787879424 6857 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2389619 6857 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300334 s]
/proc/loadavg: 4.13 4.21 4.07 4/197 13194
/proc/meminfo: memFree=24883436/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 6074 0 1 0 39 3 0 0 20 0 19 0 3653444 10060525568 9162 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 9162 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732

[startup+0.700271 s]
/proc/loadavg: 4.13 4.21 4.07 4/197 13194
/proc/meminfo: memFree=24883436/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 6074 0 1 0 39 3 0 0 20 0 19 0 3653444 10060525568 9162 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 9162 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732

[startup+1.50097 s]
/proc/loadavg: 4.13 4.21 4.07 7/219 13219
/proc/meminfo: memFree=24822156/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 16673 0 1 0 281 6 0 0 20 0 22 0 3653444 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 24140 2270 9 0 2446860 0
[pid=13194/tid=13196] ppid=13191 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/13194/task/13196/stat : 13196 (java) S 13191 13194 5962 0 -1 4202560 2471 0 1 0 24 1 0 0 20 0 22 0 3653445 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139859033117560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13197] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13197/stat : 13197 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858971847464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13198] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13198/stat : 13198 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858970794664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13199] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13199/stat : 13199 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858969742376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13200] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13200/stat : 13200 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858968689576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13201] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13201/stat : 13201 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858967636264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13202] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13202/stat : 13202 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858871531688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13203] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13203/stat : 13203 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858870479400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13204] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13204/stat : 13204 (java) S 13191 13194 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858869426600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13205] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13205/stat : 13205 (java) S 13191 13194 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858857229032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13206] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13206/stat : 13206 (java) S 13191 13194 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858856175096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13207] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13207/stat : 13207 (java) S 13191 13194 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858855122696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13208] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13208/stat : 13208 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858854071184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13209] ppid=13191 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/13194/task/13209/stat : 13209 (java) S 13191 13194 5962 0 -1 4202560 6144 0 0 0 53 2 0 0 20 0 22 0 3653450 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858853017784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13210] ppid=13191 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/13194/task/13210/stat : 13210 (java) S 13191 13194 5962 0 -1 4202560 6702 0 0 0 59 2 0 0 20 0 22 0 3653450 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858851964984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13211] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13211/stat : 13211 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858850912888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13212] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13212/stat : 13212 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858849860296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13215] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13215/stat : 13215 (java) S 13191 13194 5962 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3653471 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858846701224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13217] ppid=13191 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/13194/task/13217/stat : 13217 (java) R 13191 13194 5962 0 -1 4202560 11 0 0 0 69 0 0 0 20 0 22 0 3653523 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858847752656 139859036056516 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13218] ppid=13191 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/13194/task/13218/stat : 13218 (java) R 13191 13194 5962 0 -1 4202560 33 0 0 0 68 0 0 0 20 0 22 0 3653523 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858848802368 139858973392130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13219] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13219/stat : 13219 (java) S 13191 13194 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3653525 10060525568 24140 33554432000 1073741824 1073778376 140733710904528 139858845648040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.13 4.21 4.07 6/219 13219
/proc/meminfo: memFree=24735084/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=6.67 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 21918 0 1 0 656 11 0 0 20 0 22 0 3653444 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 48313 2286 9 0 2446860 0
[pid=13194/tid=13196] ppid=13191 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/13194/task/13196/stat : 13196 (java) S 13191 13194 5962 0 -1 4202560 2471 0 1 0 24 2 0 0 20 0 22 0 3653445 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139859033117560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13197] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13197/stat : 13197 (java) S 13191 13194 5962 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858971847464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13198] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13198/stat : 13198 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858970794664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13199] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13199/stat : 13199 (java) S 13191 13194 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858969742376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13200] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13200/stat : 13200 (java) S 13191 13194 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858968689576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13201] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13201/stat : 13201 (java) S 13191 13194 5962 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858967636264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13202] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13202/stat : 13202 (java) S 13191 13194 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858871531688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13203] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13203/stat : 13203 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858870479400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13204] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13204/stat : 13204 (java) S 13191 13194 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3653446 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858869426600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13205] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13205/stat : 13205 (java) S 13191 13194 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858857229032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13206] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13206/stat : 13206 (java) S 13191 13194 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858856175096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13207] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13207/stat : 13207 (java) S 13191 13194 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858855122696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13208] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13208/stat : 13208 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858854071184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13209] ppid=13191 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/13194/task/13209/stat : 13209 (java) S 13191 13194 5962 0 -1 4202560 9194 0 0 0 94 2 0 0 20 0 22 0 3653450 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858853017784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13210] ppid=13191 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/13194/task/13210/stat : 13210 (java) S 13191 13194 5962 0 -1 4202560 8800 0 0 0 88 2 0 0 20 0 22 0 3653450 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858851964984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13211] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13211/stat : 13211 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858850912888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13212] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13212/stat : 13212 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858849860296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13219] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13219/stat : 13219 (java) S 13191 13194 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3653525 10060525568 48313 33554432000 1073741824 1073778376 140733710904528 139858845648040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.20 4.22 4.08 12/219 13222
/proc/meminfo: memFree=24558348/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=13.36 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 22983 0 1 0 1318 18 0 0 20 0 22 0 3653444 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 70537 2286 9 0 2446860 0
[pid=13194/tid=13196] ppid=13191 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/13194/task/13196/stat : 13196 (java) S 13191 13194 5962 0 -1 4202560 2471 0 1 0 24 2 0 0 20 0 22 0 3653445 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139859033117560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13197] ppid=13191 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13194/task/13197/stat : 13197 (java) S 13191 13194 5962 0 -1 4202560 109 0 0 0 3 0 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858971847464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13198] ppid=13191 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13194/task/13198/stat : 13198 (java) S 13191 13194 5962 0 -1 4202560 250 0 0 0 4 2 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858970794664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13199] ppid=13191 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13194/task/13199/stat : 13199 (java) S 13191 13194 5962 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858969742376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13200] ppid=13191 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13194/task/13200/stat : 13200 (java) S 13191 13194 5962 0 -1 4202560 131 0 0 0 5 1 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858968689576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13201] ppid=13191 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13194/task/13201/stat : 13201 (java) S 13191 13194 5962 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858967636264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13202] ppid=13191 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/13194/task/13202/stat : 13202 (java) S 13191 13194 5962 0 -1 4202560 243 0 0 0 4 2 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858871531688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13203] ppid=13191 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13194/task/13203/stat : 13203 (java) S 13191 13194 5962 0 -1 4202560 122 0 0 0 3 0 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858870479400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13204] ppid=13191 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13194/task/13204/stat : 13204 (java) S 13191 13194 5962 0 -1 4202560 137 0 0 0 3 2 0 0 20 0 22 0 3653446 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858869426600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13205] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13205/stat : 13205 (java) S 13191 13194 5962 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858857229032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13206] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13206/stat : 13206 (java) S 13191 13194 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858856175096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13207] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13207/stat : 13207 (java) S 13191 13194 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858855122696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13208] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13208/stat : 13208 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858854071184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13209] ppid=13191 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/13194/task/13209/stat : 13209 (java) S 13191 13194 5962 0 -1 4202560 9194 0 0 0 95 2 0 0 20 0 22 0 3653450 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858853017784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13210] ppid=13191 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/13194/task/13210/stat : 13210 (java) S 13191 13194 5962 0 -1 4202560 8813 0 0 0 99 2 0 0 20 0 22 0 3653450 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858851964984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13211] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13211/stat : 13211 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 70537 33554432000 1073741824 1073778376 140733710904528 139858850912888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13212] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.34 4.30 4.21 5/219 13429
/proc/meminfo: memFree=20180824/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=1772.52 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 36120 0 1 0 176959 293 0 0 20 0 22 0 3653444 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 1065094 2296 9 0 2446860 0
[pid=13194/tid=13196] ppid=13191 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13194/task/13196/stat : 13196 (java) S 13191 13194 5962 0 -1 4202560 2483 0 1 0 29 3 0 0 20 0 22 0 3653445 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139859033117560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13197] ppid=13191 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/13194/task/13197/stat : 13197 (java) S 13191 13194 5962 0 -1 4202560 853 0 0 0 417 26 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858971847464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13198] ppid=13191 vsize=9824732 CPUtime=4.4 cores=1,3,5,7
/proc/13194/task/13198/stat : 13198 (java) S 13191 13194 5962 0 -1 4202560 1157 0 0 0 410 30 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858970794664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13199] ppid=13191 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/13194/task/13199/stat : 13199 (java) S 13191 13194 5962 0 -1 4202560 853 0 0 0 435 27 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858969742376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13200] ppid=13191 vsize=9824732 CPUtime=4.35 cores=1,3,5,7
/proc/13194/task/13200/stat : 13200 (java) S 13191 13194 5962 0 -1 4202560 959 0 0 0 406 29 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858968689576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13201] ppid=13191 vsize=9824732 CPUtime=3.91 cores=1,3,5,7
/proc/13194/task/13201/stat : 13201 (java) S 13191 13194 5962 0 -1 4202560 632 0 0 0 371 20 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858967636264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13202] ppid=13191 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/13194/task/13202/stat : 13202 (java) S 13191 13194 5962 0 -1 4202560 918 0 0 0 398 25 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858871531688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13203] ppid=13191 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/13194/task/13203/stat : 13203 (java) S 13191 13194 5962 0 -1 4202560 912 0 0 0 403 29 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858870479400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13204] ppid=13191 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/13194/task/13204/stat : 13204 (java) S 13191 13194 5962 0 -1 4202560 991 0 0 0 414 28 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858869426600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13205] ppid=13191 vsize=9824732 CPUtime=7.36 cores=1,3,5,7
/proc/13194/task/13205/stat : 13205 (java) S 13191 13194 5962 0 -1 4202560 3312 0 0 0 727 9 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858857229032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13206] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13206/stat : 13206 (java) S 13191 13194 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858856175096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13207] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13207/stat : 13207 (java) S 13191 13194 5962 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858855122696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13208] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13208/stat : 13208 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858854071184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13209] ppid=13191 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/13194/task/13209/stat : 13209 (java) S 13191 13194 5962 0 -1 4202560 9237 0 0 0 127 2 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858853017784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13210] ppid=13191 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/13194/task/13210/stat : 13210 (java) S 13191 13194 5962 0 -1 4202560 10238 0 0 0 161 2 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858851964984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13211] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13211/stat : 13211 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858850912888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13212] ppid=13191 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13194/task/13212/stat : 13212 (java) S 13191 13194 5962 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858849860296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13219] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13219/stat : 13219 (java) S 13191 13194 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3653525 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858845648040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13240] ppid=13191 vsize=9824732 CPUtime=736.03 cores=1,3,5,7
/proc/13194/task/13240/stat : 13240 (java) R 13191 13194 5962 0 -1 4202560 28 0 0 0 73590 13 0 0 20 0 22 0 3666726 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858846691472 139858973418002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13241] ppid=13191 vsize=9824732 CPUtime=736.12 cores=1,3,5,7
/proc/13194/task/13241/stat : 13241 (java) R 13191 13194 5962 0 -1 4202560 37 0 0 0 73597 15 0 0 20 0 22 0 3666726 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858847751648 139858973482542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13242] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13242/stat : 13242 (java) S 13191 13194 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3666727 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858848806440 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1772.52
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.101 s]
/proc/loadavg: 4.34 4.30 4.21 5/219 13430
/proc/meminfo: memFree=20180064/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=1800.1 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 36120 0 1 0 179717 293 0 0 20 0 22 0 3653444 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 1065094 2296 9 0 2446860 0
[pid=13194/tid=13196] ppid=13191 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13194/task/13196/stat : 13196 (java) S 13191 13194 5962 0 -1 4202560 2483 0 1 0 29 3 0 0 20 0 22 0 3653445 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139859033117560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13197] ppid=13191 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/13194/task/13197/stat : 13197 (java) S 13191 13194 5962 0 -1 4202560 853 0 0 0 417 26 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858971847464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13198] ppid=13191 vsize=9824732 CPUtime=4.4 cores=1,3,5,7
/proc/13194/task/13198/stat : 13198 (java) S 13191 13194 5962 0 -1 4202560 1157 0 0 0 410 30 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858970794664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13199] ppid=13191 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/13194/task/13199/stat : 13199 (java) S 13191 13194 5962 0 -1 4202560 853 0 0 0 435 27 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858969742376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13200] ppid=13191 vsize=9824732 CPUtime=4.35 cores=1,3,5,7
/proc/13194/task/13200/stat : 13200 (java) S 13191 13194 5962 0 -1 4202560 959 0 0 0 406 29 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858968689576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13201] ppid=13191 vsize=9824732 CPUtime=3.91 cores=1,3,5,7
/proc/13194/task/13201/stat : 13201 (java) S 13191 13194 5962 0 -1 4202560 632 0 0 0 371 20 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858967636264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13202] ppid=13191 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/13194/task/13202/stat : 13202 (java) S 13191 13194 5962 0 -1 4202560 918 0 0 0 398 25 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858871531688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13203] ppid=13191 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/13194/task/13203/stat : 13203 (java) S 13191 13194 5962 0 -1 4202560 912 0 0 0 403 29 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858870479400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13204] ppid=13191 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/13194/task/13204/stat : 13204 (java) S 13191 13194 5962 0 -1 4202560 991 0 0 0 414 28 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858869426600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13205] ppid=13191 vsize=9824732 CPUtime=7.36 cores=1,3,5,7
/proc/13194/task/13205/stat : 13205 (java) S 13191 13194 5962 0 -1 4202560 3312 0 0 0 727 9 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858857229032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13206] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13206/stat : 13206 (java) S 13191 13194 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858856175096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13207] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13207/stat : 13207 (java) S 13191 13194 5962 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858855122696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13208] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13208/stat : 13208 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858854071184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13209] ppid=13191 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/13194/task/13209/stat : 13209 (java) S 13191 13194 5962 0 -1 4202560 9237 0 0 0 127 2 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858853017784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13210] ppid=13191 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/13194/task/13210/stat : 13210 (java) S 13191 13194 5962 0 -1 4202560 10238 0 0 0 161 2 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858851964984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13211] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13211/stat : 13211 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858850912888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13212] ppid=13191 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13194/task/13212/stat : 13212 (java) S 13191 13194 5962 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858849860296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13219] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13219/stat : 13219 (java) S 13191 13194 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3653525 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858845648040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13240] ppid=13191 vsize=9824732 CPUtime=749.82 cores=1,3,5,7
/proc/13194/task/13240/stat : 13240 (java) R 13191 13194 5962 0 -1 4202560 28 0 0 0 74969 13 0 0 20 0 22 0 3666726 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858846691472 139858973418232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13241] ppid=13191 vsize=9824732 CPUtime=749.91 cores=1,3,5,7
/proc/13194/task/13241/stat : 13241 (java) R 13191 13194 5962 0 -1 4202560 37 0 0 0 74976 15 0 0 20 0 22 0 3666726 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858847751648 139858973482497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13242] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13242/stat : 13242 (java) S 13191 13194 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3666727 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858848806440 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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

[startup+896.101 s]
/proc/loadavg: 4.34 4.30 4.21 5/219 13430
/proc/meminfo: memFree=20180064/32872528 swapFree=1499084/1695308
[pid=13194] ppid=13191 vsize=9824732 CPUtime=1800.1 cores=1,3,5,7
/proc/13194/stat : 13194 (java) S 13191 13194 5962 0 -1 4202496 36120 0 1 0 179717 293 0 0 20 0 22 0 3653444 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 140733710895664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13194/statm: 2456183 1065094 2296 9 0 2446860 0
[pid=13194/tid=13196] ppid=13191 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13194/task/13196/stat : 13196 (java) S 13191 13194 5962 0 -1 4202560 2483 0 1 0 29 3 0 0 20 0 22 0 3653445 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139859033117560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13197] ppid=13191 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/13194/task/13197/stat : 13197 (java) S 13191 13194 5962 0 -1 4202560 853 0 0 0 417 26 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858971847464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13198] ppid=13191 vsize=9824732 CPUtime=4.4 cores=1,3,5,7
/proc/13194/task/13198/stat : 13198 (java) S 13191 13194 5962 0 -1 4202560 1157 0 0 0 410 30 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858970794664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13199] ppid=13191 vsize=9824732 CPUtime=4.62 cores=1,3,5,7
/proc/13194/task/13199/stat : 13199 (java) S 13191 13194 5962 0 -1 4202560 853 0 0 0 435 27 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858969742376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13200] ppid=13191 vsize=9824732 CPUtime=4.35 cores=1,3,5,7
/proc/13194/task/13200/stat : 13200 (java) S 13191 13194 5962 0 -1 4202560 959 0 0 0 406 29 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858968689576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13201] ppid=13191 vsize=9824732 CPUtime=3.91 cores=1,3,5,7
/proc/13194/task/13201/stat : 13201 (java) S 13191 13194 5962 0 -1 4202560 632 0 0 0 371 20 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858967636264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13202] ppid=13191 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/13194/task/13202/stat : 13202 (java) S 13191 13194 5962 0 -1 4202560 918 0 0 0 398 25 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858871531688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13203] ppid=13191 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/13194/task/13203/stat : 13203 (java) S 13191 13194 5962 0 -1 4202560 912 0 0 0 403 29 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858870479400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13204] ppid=13191 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/13194/task/13204/stat : 13204 (java) S 13191 13194 5962 0 -1 4202560 991 0 0 0 414 28 0 0 20 0 22 0 3653446 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858869426600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13205] ppid=13191 vsize=9824732 CPUtime=7.36 cores=1,3,5,7
/proc/13194/task/13205/stat : 13205 (java) S 13191 13194 5962 0 -1 4202560 3312 0 0 0 727 9 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858857229032 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13206] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13206/stat : 13206 (java) S 13191 13194 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858856175096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13207] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13207/stat : 13207 (java) S 13191 13194 5962 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3653447 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858855122696 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13208] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13208/stat : 13208 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858854071184 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13209] ppid=13191 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/13194/task/13209/stat : 13209 (java) S 13191 13194 5962 0 -1 4202560 9237 0 0 0 127 2 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858853017784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13194/tid=13210] ppid=13191 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/13194/task/13210/stat : 13210 (java) S 13191 13194 5962 0 -1 4202560 10238 0 0 0 161 2 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858851964984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13194/tid=13211] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13211/stat : 13211 (java) S 13191 13194 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858850912888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13212] ppid=13191 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13194/task/13212/stat : 13212 (java) S 13191 13194 5962 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 3653450 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858849860296 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13219] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13219/stat : 13219 (java) S 13191 13194 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3653525 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858845648040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13240] ppid=13191 vsize=9824732 CPUtime=749.82 cores=1,3,5,7
/proc/13194/task/13240/stat : 13240 (java) R 13191 13194 5962 0 -1 4202560 28 0 0 0 74969 13 0 0 20 0 22 0 3666726 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858846691472 139858973418232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13194/tid=13241] ppid=13191 vsize=9824732 CPUtime=749.91 cores=1,3,5,7
/proc/13194/task/13241/stat : 13241 (java) R 13191 13194 5962 0 -1 4202560 37 0 0 0 74976 15 0 0 20 0 22 0 3666726 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858847751648 139858973482497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13194/tid=13242] ppid=13191 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13194/task/13242/stat : 13242 (java) S 13191 13194 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3666727 10060525568 1065094 33554432000 1073741824 1073778376 140733710904528 139858848806440 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 896.16
CPU time (s): 1800.73
CPU user time (s): 1797.35
CPU system time (s): 3.38049
CPU usage (%): 200.939
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.35
system time used= 3.38049
maximum resident set size= 4260508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36164
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23467
involuntary context switches= 23871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00209 second user time and 7.19591 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 21:03:42
IDJOB=4118431
IDBENCH=111493
IDSOLVER=2543
FILE ID=node137/4118431-1467227022
RUNJOBID= node137-1467212962-6647
PBS_JOBID= 19997573
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament24.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118431-1467227022/watcher-4118431-1467227022 -o /tmp/evaluation-result-4118431-1467227022/solver-4118431-1467227022 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118431-1467227022.opb

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

MD5SUM BENCH= d9f3e5d408eb1139be772886f3e2aecb
RANDOM SEED=1554850099

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.265
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.54
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		: 2666.265
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:        24883972 kB
Buffers:          104960 kB
Cached:          1790056 kB
SwapCached:            0 kB
Active:          3836068 kB
Inactive:        1689116 kB
Active(anon):    3632332 kB
Inactive(anon):        4 kB
Active(file):     203736 kB
Inactive(file):  1689112 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       5312936 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             608864 kB
SReclaimable:      52964 kB
SUnreclaim:       555900 kB
KernelStack:        1784 kB
PageTables:        14456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5990268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3751936 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= 71692 MiB
End job on node137 at 2016-06-29 21:18:38