Trace number 4105410

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)82 1800.19 899.566

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-exps.r.opb
MD5SUM37869a33fb7d76f12c52d22950a4fb50
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark0.018997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 76
Optimality of the best value was proved YES
Number of variables696
Total number of constraints680
Number of constraints which are clauses680
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 696
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 696
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4105410-1466253645.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.28/0.26	c ... done. Wall clock time 0.151s.
0.28/0.26	c declared #vars     696
0.28/0.26	c #constraints  680
0.28/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.28/0.27	c constraints type 
0.28/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 613
0.28/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 67
0.28/0.27	c 680 constraints processed.
0.28/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.28/0.27	c constraints type 
0.28/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 67
0.28/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 613
0.28/0.27	c 680 constraints processed.
0.28/0.27	c objective function length is 696 literals
0.28/0.28	c And the winner is solver0
0.51/0.77	c SATISFIABLE
0.51/0.77	c OPTIMIZING...
0.51/0.77	c Got one! Elapsed wall clock time (in seconds):0.657
0.51/0.77	o 97
0.59/0.87	c And the winner is solver0
0.96/1.27	c Got one! Elapsed wall clock time (in seconds):1.163
0.96/1.27	o 96
1.44/1.43	c And the winner is solver1
1.55/1.78	c Got one! Elapsed wall clock time (in seconds):1.667
1.55/1.78	o 95
1.97/1.90	c And the winner is solver1
2.25/2.28	c Got one! Elapsed wall clock time (in seconds):2.17
2.25/2.28	o 94
2.52/2.47	c cleaning 2749 clauses out of 5507 with flag 4850/5507
3.65/2.96	c cleaning 4378 clauses out of 8758 with flag 20169/11507
3.87/3.02	c And the winner is solver1
3.93/3.29	c Got one! Elapsed wall clock time (in seconds):3.174
3.93/3.29	o 93
4.76/3.73	c cleaning 5057 clauses out of 10113 with flag 12308/17240
5.36/4.00	c And the winner is solver1
5.37/4.29	c Got one! Elapsed wall clock time (in seconds):4.176
5.37/4.29	o 92
5.62/4.47	c cleaning 5083 clauses out of 10165 with flag 4749/22349
6.70/4.99	c cleaning 5540 clauses out of 11083 with flag 19837/28350
8.13/5.62	c cleaning 6270 clauses out of 12542 with flag 37918/35349
9.75/6.44	c cleaning 7134 clauses out of 14273 with flag 59102/43350
11.35/7.20	c And the winner is solver1
11.35/7.29	c Got one! Elapsed wall clock time (in seconds):7.179
11.35/7.29	o 91
12.27/7.78	c cleaning 9769 clauses out of 19538 with flag 12400/55749
13.46/8.32	c cleaning 7880 clauses out of 15767 with flag 27812/61747
14.73/8.97	c cleaning 7445 clauses out of 14889 with flag 45701/68749
16.34/9.75	c cleaning 7723 clauses out of 15445 with flag 67845/76750
16.75/9.95	c And the winner is solver1
16.83/10.29	c Got one! Elapsed wall clock time (in seconds):10.182
16.83/10.29	o 90
17.28/10.54	c cleaning 6577 clauses out of 13156 with flag 7331/82184
18.30/11.04	c cleaning 6290 clauses out of 12579 with flag 22261/88184
19.49/11.65	c cleaning 6644 clauses out of 13289 with flag 40624/95184
21.19/12.41	c cleaning 7323 clauses out of 14645 with flag 60834/103184
22.80/13.26	c cleaning 8158 clauses out of 16322 with flag 84563/112184
24.79/14.21	c cleaning 9078 clauses out of 18164 with flag 110858/122184
27.07/15.36	c cleaning 10042 clauses out of 20086 with flag 139901/133184
29.73/16.66	c cleaning 11021 clauses out of 22044 with flag 174365/145184
32.54/18.05	c cleaning 12012 clauses out of 24024 with flag 207860/158185
36.14/19.71	c cleaning 13006 clauses out of 26011 with flag 246203/172184
39.73/21.57	c cleaning 14003 clauses out of 28007 with flag 285724/187186
44.10/23.65	c cleaning 15002 clauses out of 30004 with flag 328403/203186
48.70/25.92	c cleaning 16001 clauses out of 32001 with flag 375613/220185
53.69/28.49	c And the winner is solver1
53.85/28.50	c cleaning 16998 clauses out of 34000 with flag 429417/238185
53.85/28.84	c Got one! Elapsed wall clock time (in seconds):28.725
53.85/28.84	o 89
54.76/29.38	c cleaning 11000 clauses out of 22002 with flag 11980/243185
55.96/29.91	c cleaning 8492 clauses out of 17003 with flag 26864/249186
57.57/30.63	c cleaning 7749 clauses out of 15510 with flag 45157/256185
58.97/31.32	c cleaning 7877 clauses out of 15762 with flag 66275/264186
60.57/32.12	c cleaning 8439 clauses out of 16885 with flag 89938/273186
62.38/33.07	c cleaning 9217 clauses out of 18446 with flag 115967/283186
64.58/34.14	c cleaning 10109 clauses out of 20229 with flag 147081/294186
65.99/34.87	c And the winner is solver1
66.12/35.34	c Got one! Elapsed wall clock time (in seconds):35.228
66.12/35.34	o 88
67.22/35.95	c cleaning 11478 clauses out of 22960 with flag 12039/307026
68.42/36.51	c cleaning 8741 clauses out of 17482 with flag 26777/313026
70.03/37.23	c cleaning 7869 clauses out of 15740 with flag 44727/320025
71.43/37.90	c cleaning 7934 clauses out of 15873 with flag 64389/328027
73.03/38.74	c cleaning 8467 clauses out of 16938 with flag 88071/337026
74.84/39.66	c cleaning 9233 clauses out of 18470 with flag 115987/347025
77.04/40.73	c cleaning 10118 clauses out of 20237 with flag 147749/358025
79.44/41.96	c cleaning 11060 clauses out of 22120 with flag 182553/370026
81.03/42.78	c And the winner is solver1
81.16/42.84	c Got one! Elapsed wall clock time (in seconds):42.732
81.16/42.84	o 87
82.07/43.30	c cleaning 12127 clauses out of 24254 with flag 12985/383220
83.07/43.82	c cleaning 9063 clauses out of 18125 with flag 27797/389218
84.28/44.44	c cleaning 8028 clauses out of 16062 with flag 45332/396218
85.68/45.15	c cleaning 8017 clauses out of 16034 with flag 68413/404218
87.27/45.99	c cleaning 8507 clauses out of 17018 with flag 94403/413219
89.72/47.07	c cleaning 9254 clauses out of 18510 with flag 122211/423218
91.92/48.14	c cleaning 10127 clauses out of 20256 with flag 151806/434218
94.31/49.33	c cleaning 11063 clauses out of 22130 with flag 184498/446219
97.31/50.80	c cleaning 12033 clauses out of 24066 with flag 221971/459218
100.71/52.57	c cleaning 13014 clauses out of 26033 with flag 255567/473218
104.31/54.34	c cleaning 14008 clauses out of 28020 with flag 294562/488219
108.35/56.38	c cleaning 15002 clauses out of 30011 with flag 337714/504218
108.94/56.61	c And the winner is solver1
108.94/56.85	c Got one! Elapsed wall clock time (in seconds):56.737
108.94/56.85	o 86
109.51/57.14	c cleaning 10022 clauses out of 20044 with flag 7836/509253
111.12/57.81	c cleaning 8012 clauses out of 16023 with flag 24565/515254
112.33/58.49	c cleaning 7504 clauses out of 15010 with flag 42524/522253
114.11/59.30	c cleaning 7754 clauses out of 15507 with flag 63136/530254
115.91/60.25	c cleaning 8371 clauses out of 16752 with flag 85183/539253
118.11/61.34	c cleaning 9191 clauses out of 18382 with flag 111953/549254
120.51/62.57	c cleaning 10093 clauses out of 20190 with flag 140683/560253
123.51/64.01	c cleaning 11049 clauses out of 22098 with flag 172438/572254
126.51/65.54	c cleaning 12025 clauses out of 24050 with flag 204793/585255
129.72/67.15	c cleaning 13010 clauses out of 26024 with flag 239023/599254
133.30/68.95	c cleaning 14003 clauses out of 28013 with flag 275487/614253
137.30/70.91	c cleaning 15003 clauses out of 30012 with flag 316971/630255
142.66/73.91	c cleaning 15998 clauses out of 32008 with flag 361427/647254
147.26/76.23	c cleaning 17002 clauses out of 34009 with flag 406540/665253
151.86/78.59	c cleaning 17999 clauses out of 36008 with flag 456339/684254
156.86/81.09	c cleaning 19001 clauses out of 38008 with flag 509072/704253
162.66/83.97	c cleaning 20003 clauses out of 40008 with flag 566347/725254
168.67/87.00	c cleaning 21002 clauses out of 42005 with flag 624851/747254
174.86/90.00	c cleaning 22001 clauses out of 44003 with flag 686255/770254
181.77/93.48	c cleaning 22998 clauses out of 46001 with flag 747211/794253
188.79/96.94	c cleaning 24002 clauses out of 48004 with flag 810671/819254
191.17/98.17	c And the winner is solver1
191.17/98.57	c Got one! Elapsed wall clock time (in seconds):98.463
191.17/98.57	o 85
192.23/99.11	c cleaning 19656 clauses out of 39322 with flag 12383/834574
193.41/99.71	c cleaning 12833 clauses out of 25665 with flag 27216/840573
194.61/100.38	c cleaning 9916 clauses out of 19831 with flag 44900/847572
196.21/101.17	c cleaning 8956 clauses out of 17916 with flag 64564/855573
198.00/102.08	c cleaning 8973 clauses out of 17959 with flag 88478/864572
200.01/103.02	c cleaning 9488 clauses out of 18987 with flag 113802/874573
202.21/104.13	c cleaning 10248 clauses out of 20499 with flag 140825/885573
204.81/105.41	c cleaning 11126 clauses out of 22251 with flag 171919/897573
207.97/106.90	c cleaning 12055 clauses out of 24124 with flag 205079/910572
210.97/108.44	c cleaning 13026 clauses out of 26069 with flag 240560/924572
214.18/110.07	c cleaning 14019 clauses out of 28043 with flag 277712/939572
214.57/110.28	c And the winner is solver1
214.70/110.58	c Got one! Elapsed wall clock time (in seconds):110.471
214.70/110.58	o 84
215.12/110.83	c cleaning 9732 clauses out of 19466 with flag 7288/945014
216.12/111.36	c cleaning 7860 clauses out of 15733 with flag 22146/951013
217.32/111.97	c cleaning 7435 clauses out of 14874 with flag 39586/958014
218.72/112.68	c cleaning 7706 clauses out of 15439 with flag 59448/966014
220.52/113.57	c cleaning 8365 clauses out of 16733 with flag 82509/975014
222.54/114.52	c cleaning 9180 clauses out of 18369 with flag 107188/985015
224.74/115.63	c cleaning 10094 clauses out of 20188 with flag 135682/996014
227.32/116.95	c cleaning 11047 clauses out of 22093 with flag 166109/1008013
230.32/118.43	c cleaning 12019 clauses out of 24046 with flag 197861/1021013
233.12/119.86	c cleaning 13010 clauses out of 26028 with flag 235017/1035014
237.19/121.79	c cleaning 14007 clauses out of 28017 with flag 274369/1050013
240.79/123.56	c cleaning 15002 clauses out of 30010 with flag 316905/1066013
244.81/125.51	c cleaning 16001 clauses out of 32009 with flag 361010/1083014
249.01/127.63	c cleaning 17004 clauses out of 34007 with flag 406319/1101013
253.61/130.00	c cleaning 17998 clauses out of 36003 with flag 457900/1120013
258.79/132.53	c cleaning 19003 clauses out of 38006 with flag 516217/1140014
264.31/135.30	c cleaning 19998 clauses out of 40003 with flag 569970/1161014
269.91/138.07	c cleaning 21002 clauses out of 42005 with flag 628776/1183014
275.90/141.08	c cleaning 21997 clauses out of 44002 with flag 689737/1206013
281.50/143.80	c cleaning 22994 clauses out of 46005 with flag 751491/1230013
287.51/146.82	c cleaning 24004 clauses out of 48012 with flag 817723/1255014
293.89/149.97	c cleaning 25004 clauses out of 50007 with flag 883543/1281013
300.89/153.50	c cleaning 26002 clauses out of 52004 with flag 952573/1308014
307.69/156.85	c cleaning 26999 clauses out of 54002 with flag 1025109/1336014
314.30/160.17	c cleaning 27997 clauses out of 56003 with flag 1098250/1365014
322.88/164.98	c cleaning 29001 clauses out of 58007 with flag 1173473/1395015
330.68/168.83	c cleaning 29998 clauses out of 60005 with flag 1258177/1426014
339.08/173.06	c cleaning 31003 clauses out of 62006 with flag 1345931/1458013
348.14/177.55	c cleaning 32002 clauses out of 64003 with flag 1432287/1491013
357.74/182.38	c cleaning 32997 clauses out of 66002 with flag 1525220/1525014
368.04/187.43	c cleaning 34001 clauses out of 68004 with flag 1620759/1560013
379.23/193.07	c cleaning 35002 clauses out of 70004 with flag 1721334/1596014
391.35/199.08	c cleaning 36000 clauses out of 72002 with flag 1816396/1633014
402.76/204.80	c cleaning 36998 clauses out of 74002 with flag 1911690/1671014
413.52/210.04	c cleaning 37997 clauses out of 76003 with flag 2011787/1710013
424.73/215.69	c cleaning 39003 clauses out of 78007 with flag 2127477/1750014
436.90/221.66	c cleaning 39997 clauses out of 80003 with flag 2237751/1791013
450.71/228.56	c cleaning 41002 clauses out of 82007 with flag 2343099/1833014
461.95/234.06	c And the winner is solver1
461.95/234.54	c Got one! Elapsed wall clock time (in seconds):234.426
461.95/234.54	o 83
463.28/235.23	c cleaning 40264 clauses out of 80528 with flag 12353/1872537
464.68/235.91	c cleaning 23129 clauses out of 46264 with flag 26646/1878537
465.89/236.53	c cleaning 15065 clauses out of 30134 with flag 43577/1885536
467.28/237.22	c cleaning 11530 clauses out of 23069 with flag 63383/1893536
468.68/237.97	c cleaning 10268 clauses out of 20539 with flag 87071/1902536
470.49/238.83	c cleaning 10135 clauses out of 20272 with flag 112085/1912537
472.49/239.83	c cleaning 10565 clauses out of 21136 with flag 141264/1923536
474.69/240.95	c cleaning 11285 clauses out of 22571 with flag 174265/1935536
477.09/242.17	c cleaning 12139 clauses out of 24286 with flag 208441/1948536
480.52/243.71	c cleaning 13070 clauses out of 26147 with flag 248258/1962536
483.52/245.26	c cleaning 14032 clauses out of 28077 with flag 293015/1977536
486.72/246.85	c cleaning 15020 clauses out of 30045 with flag 337968/1993536
490.12/248.57	c cleaning 16010 clauses out of 32026 with flag 382348/2010537
493.92/250.48	c cleaning 17004 clauses out of 34015 with flag 428507/2028536
498.52/252.78	c cleaning 18001 clauses out of 36011 with flag 477033/2047536
503.38/255.06	c cleaning 19002 clauses out of 38010 with flag 530415/2067536
508.21/257.43	c cleaning 20004 clauses out of 40008 with flag 588324/2088536
512.99/259.86	c cleaning 21000 clauses out of 42008 with flag 646293/2110540
518.39/262.57	c cleaning 21997 clauses out of 44004 with flag 702817/2133536
524.60/265.62	c cleaning 23003 clauses out of 46007 with flag 767585/2157536
531.63/269.06	c cleaning 24001 clauses out of 48005 with flag 832485/2182537
538.62/272.54	c cleaning 24998 clauses out of 50003 with flag 902124/2208536
546.22/276.34	c cleaning 26002 clauses out of 52006 with flag 970295/2235537
551.42/278.93	c cleaning 0 clauses out of 9701 with flag 0/9701
554.58/280.24	c cleaning 26999 clauses out of 54003 with flag 1038115/2263536
562.84/284.35	c cleaning 27997 clauses out of 56004 with flag 1113075/2292536
570.65/288.28	c cleaning 29002 clauses out of 58008 with flag 1193216/2322537
579.96/292.71	c cleaning 29992 clauses out of 60005 with flag 1276565/2353536
588.76/297.15	c cleaning 31007 clauses out of 62014 with flag 1361053/2385537
598.81/302.08	c cleaning 32002 clauses out of 64008 with flag 1450340/2418538
609.21/307.22	c cleaning 32996 clauses out of 66004 with flag 1536490/2452536
620.32/312.60	c cleaning 34003 clauses out of 68009 with flag 1631068/2487537
631.13/318.01	c cleaning 34992 clauses out of 70005 with flag 1724007/2523536
642.27/323.41	c cleaning 36005 clauses out of 72016 with flag 1821514/2560539
652.66/328.66	c cleaning 37001 clauses out of 74008 with flag 1922681/2598536
664.63/334.48	c cleaning 37994 clauses out of 76010 with flag 2025609/2637539
676.82/340.53	c cleaning 39002 clauses out of 78013 with flag 2129911/2677536
690.31/347.14	c cleaning 40001 clauses out of 80011 with flag 2243046/2718536
703.71/353.89	c cleaning 41006 clauses out of 82011 with flag 2355761/2760537
718.02/360.85	c cleaning 41998 clauses out of 84004 with flag 2472859/2803536
731.86/367.66	c cleaning 42999 clauses out of 86006 with flag 2589107/2847536
745.66/374.53	c cleaning 44000 clauses out of 88007 with flag 2712348/2892536
762.48/382.84	c cleaning 44999 clauses out of 90009 with flag 2842645/2938538
779.48/391.27	c cleaning 46005 clauses out of 92009 with flag 2978484/2985537
796.48/399.80	c cleaning 47000 clauses out of 94003 with flag 3114987/3033536
817.34/410.09	c cleaning 47999 clauses out of 96003 with flag 3262637/3082536
835.58/419.06	c cleaning 48999 clauses out of 98004 with flag 3405049/3132536
859.44/430.87	c cleaning 49999 clauses out of 100005 with flag 3540585/3183536
881.94/441.90	c cleaning 50994 clauses out of 102006 with flag 3685183/3235536
905.76/454.80	c cleaning 52007 clauses out of 104013 with flag 3822338/3288537
928.16/465.80	c cleaning 52999 clauses out of 106006 with flag 3958008/3342537
948.87/476.14	c And the winner is solver1
948.87/476.24	c Got one! Elapsed wall clock time (in seconds):476.128
948.87/476.24	o 82
950.38/477.03	c cleaning 55567 clauses out of 111136 with flag 11970/3400666
951.98/477.81	c cleaning 30784 clauses out of 61570 with flag 26216/3406667
953.39/478.54	c cleaning 18887 clauses out of 37785 with flag 42623/3413666
954.78/479.29	c cleaning 13450 clauses out of 26899 with flag 65038/3421667
956.58/480.16	c cleaning 11225 clauses out of 22451 with flag 89226/3430669
958.37/481.09	c cleaning 10611 clauses out of 21224 with flag 114870/3440667
960.57/482.12	c cleaning 10794 clauses out of 21612 with flag 142437/3451666
963.10/483.34	c cleaning 11410 clauses out of 22819 with flag 175252/3463667
965.50/484.59	c cleaning 12203 clauses out of 24410 with flag 210028/3476668
968.30/485.96	c cleaning 13098 clauses out of 26205 with flag 245778/3490666
971.31/487.46	c cleaning 14051 clauses out of 28108 with flag 286821/3505667
974.90/489.29	c cleaning 15026 clauses out of 30056 with flag 335041/3521666
978.89/491.24	c cleaning 16012 clauses out of 32030 with flag 383491/3538666
982.89/493.27	c cleaning 17004 clauses out of 34018 with flag 435580/3556666
987.79/495.61	c cleaning 18004 clauses out of 36014 with flag 488077/3575666
992.59/498.07	c cleaning 18995 clauses out of 38011 with flag 540114/3595667
997.61/500.58	c cleaning 20005 clauses out of 40015 with flag 593331/3616666
1002.79/503.16	c cleaning 21004 clauses out of 42012 with flag 653585/3638668
1008.37/505.87	c cleaning 21999 clauses out of 44006 with flag 715393/3661666
1014.36/508.88	c cleaning 23003 clauses out of 46007 with flag 779383/3685666
1020.76/512.09	c cleaning 24002 clauses out of 48004 with flag 850752/3710666
1027.56/515.48	c cleaning 24992 clauses out of 50003 with flag 919826/3736667
1034.15/518.67	c cleaning 25998 clauses out of 52010 with flag 990113/3763666
1041.15/522.19	c cleaning 27003 clauses out of 54012 with flag 1062490/3791666
1048.35/525.75	c cleaning 28001 clauses out of 56010 with flag 1139014/3820667
1056.78/529.89	c cleaning 29002 clauses out of 58008 with flag 1216964/3850666
1065.18/534.10	c cleaning 30003 clauses out of 60007 with flag 1297087/3881667
1075.41/539.01	c cleaning 31003 clauses out of 62006 with flag 1379797/3913669
1086.42/544.57	c cleaning 31998 clauses out of 64000 with flag 1468486/3946666
1099.20/550.84	c cleaning 32994 clauses out of 66002 with flag 1557763/3980666
1110.00/556.20	c cleaning 34000 clauses out of 68008 with flag 1645071/4015666
1121.48/561.89	c cleaning 34996 clauses out of 70010 with flag 1742189/4051668
1132.27/567.23	c cleaning 36004 clauses out of 72012 with flag 1842463/4088666
1144.71/573.33	c cleaning 36991 clauses out of 74008 with flag 1950205/4126666
1157.40/579.58	c cleaning 38002 clauses out of 76019 with flag 2055180/4165668
1171.40/586.54	c cleaning 39006 clauses out of 78015 with flag 2160826/4205666
1185.53/593.45	c cleaning 40004 clauses out of 80009 with flag 2265962/4246666
1199.66/600.31	c cleaning 41001 clauses out of 82005 with flag 2377513/4288666
1213.86/607.47	c cleaning 42002 clauses out of 84004 with flag 2488660/4331666
1227.83/614.25	c cleaning 42998 clauses out of 86002 with flag 2608219/4375666
1242.95/621.63	c cleaning 43993 clauses out of 88004 with flag 2731063/4420666
1258.54/629.43	c cleaning 45000 clauses out of 90011 with flag 2857666/4466666
1277.98/639.09	c cleaning 46007 clauses out of 92014 with flag 2993807/4513669
1292.64/646.28	c cleaning 47002 clauses out of 94005 with flag 3122876/4561667
1311.49/655.50	c cleaning 47998 clauses out of 96004 with flag 3258272/4610668
1314.12/656.85	c cleaning 0 clauses out of 14732 with flag 0/14732
1329.13/664.22	c cleaning 49001 clauses out of 98004 with flag 3414625/4660666
1345.33/672.36	c cleaning 49982 clauses out of 100005 with flag 3570339/4711668
1365.72/682.47	c cleaning 51009 clauses out of 102022 with flag 3733493/4763667
1385.29/692.16	c cleaning 51998 clauses out of 104012 with flag 3912289/4816666
1404.68/701.77	c cleaning 53006 clauses out of 106016 with flag 4072328/4870668
1424.90/711.72	c cleaning 53997 clauses out of 108011 with flag 4257205/4925669
1448.66/723.52	c cleaning 55005 clauses out of 110013 with flag 4458266/4981668
1471.86/735.02	c cleaning 56001 clauses out of 112006 with flag 4609410/5038666
1493.70/745.84	c cleaning 57002 clauses out of 114006 with flag 4763866/5096667
1517.30/757.58	c cleaning 57999 clauses out of 116003 with flag 4923694/5155666
1541.56/769.54	c cleaning 59001 clauses out of 118005 with flag 5089619/5215667
1566.44/781.85	c cleaning 60000 clauses out of 120003 with flag 5256758/5276666
1591.91/794.45	c cleaning 61002 clauses out of 122003 with flag 5420265/5338666
1618.85/807.67	c cleaning 62000 clauses out of 124001 with flag 5599427/5401666
1643.83/820.01	c cleaning 63001 clauses out of 126001 with flag 5766680/5465666
1673.09/834.53	c cleaning 63999 clauses out of 128000 with flag 5937893/5530666
1702.32/849.09	c cleaning 64999 clauses out of 130001 with flag 6131629/5596666
1729.58/862.55	c cleaning 66002 clauses out of 132003 with flag 6310055/5663667
1764.46/881.71	c cleaning 66998 clauses out of 134000 with flag 6491878/5731666
1793.19/896.05	c cleaning 68002 clauses out of 136003 with flag 6665598/5800667
1800.19/899.50	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.19/899.50	c starts		: 115045
1800.19/899.50	c conflicts		: 5821467
1800.19/899.50	c decisions		: 19098103
1800.19/899.50	c propagations		: 675723076
1800.19/899.50	c inspects		: 10880685469
1800.19/899.50	c shortcuts		: 0
1800.19/899.50	c learnt literals	: 0
1800.19/899.50	c learnt binary clauses	: 0
1800.19/899.50	c learnt ternary clauses	: 0
1800.19/899.50	c learnt constraints	: 5821467
1800.19/899.50	c ignored constraints	: 0
1800.19/899.50	c root simplifications	: 0
1800.19/899.50	c removed literals (reason simplification)	: 21387780
1800.19/899.50	c reason swapping (by a shorter reason)	: 0
1800.19/899.50	c Calls to reduceDB	: 237
1800.19/899.50	c Number of update (reduction) of LBD	: 813845
1800.19/899.50	c Imported unit clauses	: 0
1800.19/899.50	c number of reductions to clauses (during analyze)	: 0
1800.19/899.50	c number of learned constraints concerned by reduction	: 0
1800.19/899.50	c number of learning phase by resolution	: 0
1800.19/899.50	c number of learning phase by cutting planes	: 0
1800.19/899.50	c speed (assignments/second)	: 1596476.5687203342
1800.19/899.50	c non guided choices	0
1800.19/899.53	c learnt constraints type 
1800.19/899.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 88801
1800.19/899.53	c >>>>>>>>>> Solver number 1 (14 answers) <<<<<<<<<<<<<<<<<<
1800.19/899.53	c starts		: 60
1800.19/899.53	c conflicts		: 17061
1800.19/899.53	c decisions		: 144047
1800.19/899.53	c propagations		: 748743
1800.19/899.53	c inspects		: 600445505
1800.19/899.53	c shortcuts		: 0
1800.19/899.53	c learnt literals	: 0
1800.19/899.53	c learnt binary clauses	: 0
1800.19/899.53	c learnt ternary clauses	: 0
1800.19/899.53	c learnt constraints	: 17061
1800.19/899.53	c ignored constraints	: 0
1800.19/899.53	c root simplifications	: 0
1800.19/899.53	c removed literals (reason simplification)	: 0
1800.19/899.53	c reason swapping (by a shorter reason)	: 0
1800.19/899.53	c Calls to reduceDB	: 2
1800.19/899.53	c Number of update (reduction) of LBD	: 0
1800.19/899.53	c Imported unit clauses	: 0
1800.19/899.53	c number of reductions to clauses (during analyze)	: 0
1800.19/899.53	c number of learned constraints concerned by reduction	: 0
1800.19/899.53	c number of learning phase by resolution	: 0
1800.19/899.53	c number of learning phase by cutting planes	: 0
1800.19/899.53	c speed (assignments/second)	: 833.5602568113226
1800.19/899.53	c non guided choices	12
1800.19/899.53	c learnt constraints type 
1800.19/899.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1702
1800.19/899.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15359
1800.19/899.53	s SATISFIABLE
1800.19/899.53	c Found 16 solution(s)
1800.19/899.53	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 
1800.19/899.54	c objective function=82
1800.19/899.54	c Total wall clock time (in seconds): 899.424

Verifier Data 

OK	82

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-4105410-1466253645/watcher-4105410-1466253645 -o /tmp/evaluation-result-4105410-1466253645/solver-4105410-1466253645 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20173 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105410-1466253645.opb 

pid=23830
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: 3.89 4.12 4.15 4/198 23833
/proc/meminfo: memFree=30162940/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 27411084 98570240 978 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 24065 978 743 9 0 16771 0
[pid=23833/tid=23834] ppid=23830 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) R 23830 23833 20157 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 27411084 98570240 978 33554432000 1073741824 1073778376 140735585086656 140110168403496 214537422208 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100112 s]
/proc/loadavg: 3.89 4.12 4.15 4/198 23833
/proc/meminfo: memFree=30162940/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 4419 0 1 0 9 2 0 0 20 0 18 0 27411084 9787879424 6051 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2389619 6054 2141 9 0 2380296 0
[pid=23833/tid=23834] ppid=23830 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) R 23830 23833 20157 0 -1 4202560 2388 0 1 0 6 1 0 0 20 0 18 0 27411084 9787879424 6054 33554432000 1073741824 1073778376 140735585086656 140110168406944 140110037376018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200315 s]
/proc/loadavg: 3.89 4.12 4.15 4/198 23833
/proc/meminfo: memFree=30162940/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 4949 0 1 0 26 2 0 0 20 0 18 0 27411084 9787879424 6991 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2389619 6996 2215 9 0 2380296 0
[pid=23833/tid=23834] ppid=23830 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) R 23830 23833 20157 0 -1 4202560 2400 0 1 0 16 1 0 0 20 0 18 0 27411084 9787879424 6996 33554432000 1073741824 1073778376 140735585086656 140110168398888 140110037345352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300358 s]
/proc/loadavg: 3.89 4.12 4.15 4/198 23833
/proc/meminfo: memFree=30162940/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 6224 0 1 0 47 4 0 0 20 0 19 0 27411084 10060525568 9802 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 9802 2242 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2426 0 1 0 23 2 0 0 20 0 19 0 27411084 10060525568 9802 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+0.700294 s]
/proc/loadavg: 3.89 4.12 4.15 4/198 23833
/proc/meminfo: memFree=30162940/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 6224 0 1 0 47 4 0 0 20 0 19 0 27411084 10060525568 9802 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 9802 2242 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2426 0 1 0 23 2 0 0 20 0 19 0 27411084 10060525568 9802 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 3.89 4.12 4.15 3/217 23858
/proc/meminfo: memFree=30124392/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 8298 0 1 0 146 9 0 0 20 0 19 0 27411084 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 13693 2256 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2431 0 1 0 24 2 0 0 20 0 19 0 27411084 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23836] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110157470632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23837] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110156418088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23838] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110009678504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23839] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110008625960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23840] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110007572904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23841] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110006520360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23842] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110005467304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23843] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23830 23833 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140110004414760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23844] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23830 23833 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27411086 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109992217448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23845] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23830 23833 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27411087 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109991163768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23846] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23830 23833 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27411087 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109990110600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23847] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411089 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109989059344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23848] ppid=23830 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/23833/task/23848/stat : 23848 (java) S 23830 23833 20157 0 -1 4202560 2364 0 0 0 35 0 0 0 20 0 19 0 27411089 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109988006200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23849] ppid=23830 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/23833/task/23849/stat : 23849 (java) S 23830 23833 20157 0 -1 4202560 2154 0 0 0 34 0 0 0 20 0 19 0 27411089 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109986953656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23850] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23850/stat : 23850 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411089 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109985900792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23851] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23851/stat : 23851 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411089 10060525568 13693 33554432000 1073741824 1073778376 140735585086656 140109984848456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 3.89 4.12 4.15 4/217 23864
/proc/meminfo: memFree=30083632/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 17313 0 1 0 379 14 0 0 20 0 19 0 27411084 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 32116 2270 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2432 0 1 0 25 2 0 0 20 0 19 0 27411084 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23836] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110157470632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23837] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110156418088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23838] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110009678504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23839] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110008625960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23840] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110007572904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23841] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110006520360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23842] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110005467304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23843] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23830 23833 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27411085 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140110004414760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23844] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23830 23833 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27411086 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109992217448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23845] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23830 23833 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27411087 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109991163768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23846] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23830 23833 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27411087 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109990110600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23847] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411089 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109989059344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23848] ppid=23830 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/23833/task/23848/stat : 23848 (java) S 23830 23833 20157 0 -1 4202560 10421 0 0 0 76 2 0 0 20 0 19 0 27411089 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109988006200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23849] ppid=23830 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/23833/task/23849/stat : 23849 (java) S 23830 23833 20157 0 -1 4202560 3059 0 0 0 55 2 0 0 20 0 19 0 27411089 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109986953656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23850] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23850/stat : 23850 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411089 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109985900792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23851] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23851/stat : 23851 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27411089 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109984848456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23861] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23861/stat : 23861 (java) S 23830 23833 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27411212 10060525568 32116 33554432000 1073741824 1073778376 140735585086656 140109981689512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 3.89 4.12 4.15 6/220 23873
/proc/meminfo: memFree=29979580/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=9.55 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 18067 0 1 0 937 18 0 0 20 0 22 0 27411084 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 54579 2284 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2434 0 1 0 25 2 0 0 20 0 22 0 27411084 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23836] ppid=23830 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23830 23833 20157 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110157470632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23837] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23830 23833 20157 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110156418088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23838] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23830 23833 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110009678504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23839] ppid=23830 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23830 23833 20157 0 -1 4202560 121 0 0 0 1 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110008625960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23840] ppid=23830 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23830 23833 20157 0 -1 4202560 130 0 0 0 1 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110007572904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23841] ppid=23830 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23830 23833 20157 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110006520360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23842] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23830 23833 20157 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110005467304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23843] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23830 23833 20157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27411085 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140110004414760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23844] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23830 23833 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27411086 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140109992217448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23845] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23830 23833 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140109991163768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23846] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23830 23833 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140109990110600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23847] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140109989059344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23848] ppid=23830 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/23833/task/23848/stat : 23848 (java) S 23830 23833 20157 0 -1 4202560 10422 0 0 0 84 2 0 0 20 0 22 0 27411089 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140109988006200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23849] ppid=23830 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/23833/task/23849/stat : 23849 (java) S 23830 23833 20157 0 -1 4202560 3191 0 0 0 62 2 0 0 20 0 22 0 27411089 10060525568 54579 33554432000 1073741824 1073778376 140735585086656 140109986953656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23850] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=23833/tid=23843] ppid=23830 vsize=9824732 CPUtime=4.87 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23830 23833 20157 0 -1 4202560 870 0 0 0 466 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110004414760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23844] ppid=23830 vsize=9824732 CPUtime=8.27 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23830 23833 20157 0 -1 4202560 3113 0 0 0 817 10 0 0 20 0 22 0 27411086 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109992217448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23845] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23830 23833 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109991163768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23846] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23830 23833 20157 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109990110600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23847] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109989059344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23848] ppid=23830 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/23833/task/23848/stat : 23848 (java) S 23830 23833 20157 0 -1 4202560 10555 0 0 0 172 2 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109988006200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23849] ppid=23830 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/23833/task/23849/stat : 23849 (java) S 23830 23833 20157 0 -1 4202560 3194 0 0 0 72 2 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109986953656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23850] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23850/stat : 23850 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109985900792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23851] ppid=23830 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/23833/task/23851/stat : 23851 (java) S 23830 23833 20157 0 -1 4202560 52 0 0 0 14 17 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109984848456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23861] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23861/stat : 23861 (java) S 23830 23833 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27411212 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109981689512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23909] ppid=23830 vsize=9824732 CPUtime=396.57 cores=0,2,4,6
/proc/23833/task/23909/stat : 23909 (java) R 23830 23833 20157 0 -1 4202560 18 0 0 0 39651 6 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109980627472 140110037882961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23910] ppid=23830 vsize=9824732 CPUtime=396.55 cores=0,2,4,6
/proc/23833/task/23910/stat : 23910 (java) R 23830 23833 20157 0 -1 4202560 21 0 0 0 39648 7 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109982739984 140110038354295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23911] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23911/stat : 23911 (java) S 23830 23833 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109983794600 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.501 s]
/proc/loadavg: 4.27 4.27 4.21 5/219 24013
/proc/meminfo: memFree=23335928/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=1798.64 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 29375 0 1 0 179595 269 0 0 20 0 22 0 27411084 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 1029565 2294 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2450 0 1 0 30 3 0 0 20 0 22 0 27411084 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23836] ppid=23830 vsize=9824732 CPUtime=4.37 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23830 23833 20157 0 -1 4202560 754 0 0 0 415 22 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110157470632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23837] ppid=23830 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23830 23833 20157 0 -1 4202560 1050 0 0 0 430 26 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110156418088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23838] ppid=23830 vsize=9824732 CPUtime=4.5 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23830 23833 20157 0 -1 4202560 571 0 0 0 434 16 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110009678504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23839] ppid=23830 vsize=9824732 CPUtime=4.87 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23830 23833 20157 0 -1 4202560 1034 0 0 0 468 19 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110008625960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23840] ppid=23830 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23830 23833 20157 0 -1 4202560 906 0 0 0 425 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110007572904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23841] ppid=23830 vsize=9824732 CPUtime=4.64 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23830 23833 20157 0 -1 4202560 779 0 0 0 443 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110006520360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23842] ppid=23830 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23830 23833 20157 0 -1 4202560 742 0 0 0 479 18 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110005467304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23843] ppid=23830 vsize=9824732 CPUtime=4.92 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23830 23833 20157 0 -1 4202560 870 0 0 0 471 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110004414760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23844] ppid=23830 vsize=9824732 CPUtime=8.27 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23830 23833 20157 0 -1 4202560 3113 0 0 0 817 10 0 0 20 0 22 0 27411086 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109992217448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23845] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23830 23833 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109991163768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23846] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23830 23833 20157 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109990110600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23847] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109989059344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23848] ppid=23830 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/23833/task/23848/stat : 23848 (java) S 23830 23833 20157 0 -1 4202560 10555 0 0 0 172 2 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109988006200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23849] ppid=23830 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/23833/task/23849/stat : 23849 (java) S 23830 23833 20157 0 -1 4202560 3194 0 0 0 72 2 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109986953656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23850] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23850/stat : 23850 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109985900792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23851] ppid=23830 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/23833/task/23851/stat : 23851 (java) S 23830 23833 20157 0 -1 4202560 52 0 0 0 14 17 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109984848456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23861] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23861/stat : 23861 (java) S 23830 23833 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27411212 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109981689512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23909] ppid=23830 vsize=9824732 CPUtime=413.64 cores=0,2,4,6
/proc/23833/task/23909/stat : 23909 (java) R 23830 23833 20157 0 -1 4202560 18 0 0 0 41358 6 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109980627472 140110037835781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23910] ppid=23830 vsize=9824732 CPUtime=413.63 cores=0,2,4,6
/proc/23833/task/23910/stat : 23910 (java) R 23830 23833 20157 0 -1 4202560 22 0 0 0 41356 7 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109982739280 140110038181453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23911] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23911/stat : 23911 (java) S 23830 23833 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109983794600 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
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 23833 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.501 s]
/proc/loadavg: 4.27 4.27 4.21 5/219 24013
/proc/meminfo: memFree=23335928/32872528 swapFree=1191052/1305516
[pid=23833] ppid=23830 vsize=9824732 CPUtime=1798.64 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 20157 0 -1 4202496 29375 0 1 0 179595 269 0 0 20 0 22 0 27411084 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140735585077792 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23833/statm: 2456183 1029565 2294 9 0 2446860 0
[pid=23833/tid=23834] ppid=23830 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/23833/task/23834/stat : 23834 (java) S 23830 23833 20157 0 -1 4202560 2450 0 1 0 30 3 0 0 20 0 22 0 27411084 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110168408952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23836] ppid=23830 vsize=9824732 CPUtime=4.37 cores=0,2,4,6
/proc/23833/task/23836/stat : 23836 (java) S 23830 23833 20157 0 -1 4202560 754 0 0 0 415 22 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110157470632 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23837] ppid=23830 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/23833/task/23837/stat : 23837 (java) S 23830 23833 20157 0 -1 4202560 1050 0 0 0 430 26 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110156418088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23838] ppid=23830 vsize=9824732 CPUtime=4.5 cores=0,2,4,6
/proc/23833/task/23838/stat : 23838 (java) S 23830 23833 20157 0 -1 4202560 571 0 0 0 434 16 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110009678504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23839] ppid=23830 vsize=9824732 CPUtime=4.87 cores=0,2,4,6
/proc/23833/task/23839/stat : 23839 (java) S 23830 23833 20157 0 -1 4202560 1034 0 0 0 468 19 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110008625960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23840] ppid=23830 vsize=9824732 CPUtime=4.46 cores=0,2,4,6
/proc/23833/task/23840/stat : 23840 (java) S 23830 23833 20157 0 -1 4202560 906 0 0 0 425 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110007572904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23841] ppid=23830 vsize=9824732 CPUtime=4.64 cores=0,2,4,6
/proc/23833/task/23841/stat : 23841 (java) S 23830 23833 20157 0 -1 4202560 779 0 0 0 443 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110006520360 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23842] ppid=23830 vsize=9824732 CPUtime=4.97 cores=0,2,4,6
/proc/23833/task/23842/stat : 23842 (java) S 23830 23833 20157 0 -1 4202560 742 0 0 0 479 18 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110005467304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23843] ppid=23830 vsize=9824732 CPUtime=4.92 cores=0,2,4,6
/proc/23833/task/23843/stat : 23843 (java) S 23830 23833 20157 0 -1 4202560 870 0 0 0 471 21 0 0 20 0 22 0 27411085 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140110004414760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23844] ppid=23830 vsize=9824732 CPUtime=8.27 cores=0,2,4,6
/proc/23833/task/23844/stat : 23844 (java) S 23830 23833 20157 0 -1 4202560 3113 0 0 0 817 10 0 0 20 0 22 0 27411086 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109992217448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23845] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23845/stat : 23845 (java) S 23830 23833 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109991163768 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23846] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23846/stat : 23846 (java) S 23830 23833 20157 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 27411087 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109990110600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23847] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23847/stat : 23847 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109989059344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23848] ppid=23830 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/23833/task/23848/stat : 23848 (java) S 23830 23833 20157 0 -1 4202560 10555 0 0 0 172 2 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109988006200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23849] ppid=23830 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/23833/task/23849/stat : 23849 (java) S 23830 23833 20157 0 -1 4202560 3194 0 0 0 72 2 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109986953656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23850] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23850/stat : 23850 (java) S 23830 23833 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109985900792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23851] ppid=23830 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/23833/task/23851/stat : 23851 (java) S 23830 23833 20157 0 -1 4202560 52 0 0 0 14 17 0 0 20 0 22 0 27411089 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109984848456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23833/tid=23861] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23861/stat : 23861 (java) S 23830 23833 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27411212 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109981689512 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23833/tid=23909] ppid=23830 vsize=9824732 CPUtime=413.64 cores=0,2,4,6
/proc/23833/task/23909/stat : 23909 (java) R 23830 23833 20157 0 -1 4202560 18 0 0 0 41358 6 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109980627472 140110037835781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23833/tid=23910] ppid=23830 vsize=9824732 CPUtime=413.63 cores=0,2,4,6
/proc/23833/task/23910/stat : 23910 (java) R 23830 23833 20157 0 -1 4202560 22 0 0 0 41356 7 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109982739280 140110038181453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23833/tid=23911] ppid=23830 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23833/task/23911/stat : 23911 (java) S 23830 23833 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27458709 10060525568 1029565 33554432000 1073741824 1073778376 140735585086656 140109983794600 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23833 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=867290
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=932554
# CPU time returned by wait4() is 1796.8
# while last known CPU time is 1798.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.55
#  lost CPU user time (s): 1.68997
#  lost CPU system time (s): -0.14

Real time (s): 899.566
CPU time (s): 1800.19
CPU user time (s): 1797.64
CPU system time (s): 2.55
CPU usage (%): 200.118
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.87
system time used= 2.93255
maximum resident set size= 4118400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29419
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24014
involuntary context switches= 25430

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61115 second user time and 7.33488 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 14:40:45
IDJOB=4105410
IDBENCH=2858
IDSOLVER=2543
FILE ID=node127/4105410-1466253645
RUNJOBID= node127-1466241741-20173
PBS_JOBID= 19918213
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-exps.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105410-1466253645/watcher-4105410-1466253645 -o /tmp/evaluation-result-4105410-1466253645/solver-4105410-1466253645 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20173 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105410-1466253645.opb

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

MD5SUM BENCH= 37869a33fb7d76f12c52d22950a4fb50
RANDOM SEED=1432213107

node127.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.769
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	: 5333.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.769
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.769
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.56
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.769
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.56
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.769
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.769
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.769
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.56
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.769
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:        30163584 kB
Buffers:           67804 kB
Cached:           214456 kB
SwapCached:          516 kB
Active:           438972 kB
Inactive:         225396 kB
Active(anon):     382292 kB
Inactive(anon):     2184 kB
Active(file):      56680 kB
Inactive(file):   223212 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:               976 kB
Writeback:             0 kB
AnonPages:       1678744 kB
Mapped:            15344 kB
Shmem:                 0 kB
Slab:             603544 kB
SReclaimable:      47284 kB
SUnreclaim:       556260 kB
KernelStack:        1752 kB
PageTables:         7508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2390532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 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= 71736 MiB
End job on node127 at 2016-06-18 14:55:44