Trace number 4081167

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)6156 1800.14 903.067

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4834
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
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.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@5d764be1
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@9f436f5
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@4413ee
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@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081167-1465224457.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.50/0.30	c ... done. Wall clock time 0.186s.
0.50/0.30	c declared #vars     771
0.50/0.30	c #constraints  1951
0.50/0.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1520
0.50/0.31	c org.sat4j.specs.Constr$1 => 35
0.50/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 385
0.50/0.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
0.50/0.31	c 1951 constraints processed.
0.50/0.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 385
0.50/0.31	c org.sat4j.specs.Constr$1 => 35
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1520
0.50/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 11
0.50/0.31	c 1951 constraints processed.
0.50/0.31	c objective function length is 771 literals
0.50/0.33	c And the winner is solver0
0.62/0.81	c SATISFIABLE
0.62/0.81	c OPTIMIZING...
0.62/0.81	c Got one! Elapsed wall clock time (in seconds):0.692
0.62/0.81	o 7051
0.62/0.84	c And the winner is solver0
0.72/1.32	c Got one! Elapsed wall clock time (in seconds):1.205
0.72/1.32	o 7045
0.72/1.34	c And the winner is solver1
0.77/1.84	c Got one! Elapsed wall clock time (in seconds):1.718
0.77/1.84	o 6979
0.77/1.85	c And the winner is solver0
1.33/2.34	c Got one! Elapsed wall clock time (in seconds):2.224
1.33/2.34	o 6956
1.93/2.52	c And the winner is solver0
2.09/2.85	c Got one! Elapsed wall clock time (in seconds):2.728
2.09/2.85	o 6953
2.09/2.86	c And the winner is solver0
2.10/3.35	c Got one! Elapsed wall clock time (in seconds):3.231
2.10/3.35	o 6944
2.10/3.35	c And the winner is solver0
2.14/3.85	c Got one! Elapsed wall clock time (in seconds):3.734
2.14/3.85	o 6935
2.14/3.89	c And the winner is solver0
2.33/4.35	c Got one! Elapsed wall clock time (in seconds):4.236
2.33/4.35	o 6933
3.34/4.76	c cleaning 2921 clauses out of 5856 with flag 10276/5856
4.65/5.22	c cleaning 4462 clauses out of 8935 with flag 22566/11856
5.86/5.82	c cleaning 5729 clauses out of 11474 with flag 38411/18857
7.54/6.58	c cleaning 6862 clauses out of 13744 with flag 56704/26856
7.79/6.67	c And the winner is solver1
7.91/6.86	c Got one! Elapsed wall clock time (in seconds):6.738
7.91/6.86	o 6537
8.60/7.26	c cleaning 5974 clauses out of 11953 with flag 9230/31927
9.92/7.88	c cleaning 5982 clauses out of 11976 with flag 23072/37924
11.43/8.59	c cleaning 6498 clauses out of 12996 with flag 39317/44926
13.10/9.33	c cleaning 7245 clauses out of 14495 with flag 57916/52924
15.07/10.23	c cleaning 8122 clauses out of 16251 with flag 78920/61925
17.16/11.21	c cleaning 9065 clauses out of 18129 with flag 103121/71925
19.18/12.21	c cleaning 10032 clauses out of 20064 with flag 128845/82925
21.40/13.37	c cleaning 11008 clauses out of 22031 with flag 157052/94924
24.12/14.63	c cleaning 12007 clauses out of 24023 with flag 187569/107924
26.74/15.95	c cleaning 12998 clauses out of 26016 with flag 221121/121924
29.67/17.37	c cleaning 14001 clauses out of 28018 with flag 257642/136924
32.48/18.79	c cleaning 15005 clauses out of 30017 with flag 296668/152924
35.86/20.42	c cleaning 16002 clauses out of 32012 with flag 335578/169924
39.86/22.35	c cleaning 17002 clauses out of 34010 with flag 379725/187924
43.68/24.21	c cleaning 17995 clauses out of 36008 with flag 422055/206924
48.29/26.42	c cleaning 19003 clauses out of 38013 with flag 467083/226924
52.89/28.71	c cleaning 20001 clauses out of 40010 with flag 516563/247924
56.08/30.31	c And the winner is solver1
56.08/30.50	c Got one! Elapsed wall clock time (in seconds):30.383
56.08/30.50	o 6231
57.27/31.12	c cleaning 19936 clauses out of 39872 with flag 11896/267787
58.87/31.82	c cleaning 12963 clauses out of 25936 with flag 26685/273787
60.07/32.46	c cleaning 9982 clauses out of 19972 with flag 43294/280786
61.67/33.21	c cleaning 8994 clauses out of 17990 with flag 62632/288786
63.27/34.04	c cleaning 8991 clauses out of 17998 with flag 85139/297788
65.07/34.93	c cleaning 9499 clauses out of 19006 with flag 109726/307787
67.07/35.96	c cleaning 10245 clauses out of 20506 with flag 137225/318786
69.49/37.10	c cleaning 11125 clauses out of 22261 with flag 167240/330786
71.50/38.18	c cleaning 12066 clauses out of 24137 with flag 201017/343787
74.47/39.55	c cleaning 13035 clauses out of 26070 with flag 237807/357786
77.31/40.94	c cleaning 14013 clauses out of 28037 with flag 274803/372788
80.67/42.49	c cleaning 15009 clauses out of 30023 with flag 313454/388787
84.29/44.25	c cleaning 16004 clauses out of 32014 with flag 354703/405787
87.89/46.06	c cleaning 17000 clauses out of 34010 with flag 397496/423787
91.89/48.02	c cleaning 18005 clauses out of 36009 with flag 442755/442786
96.89/50.80	c cleaning 19000 clauses out of 38004 with flag 490550/462786
100.90/52.83	c cleaning 20003 clauses out of 40005 with flag 541924/483788
105.08/54.91	c cleaning 20999 clauses out of 42001 with flag 604583/505787
109.35/57.08	c cleaning 21998 clauses out of 44001 with flag 664167/528786
114.16/59.43	c cleaning 23001 clauses out of 46004 with flag 724849/552787
119.15/61.97	c cleaning 23997 clauses out of 48002 with flag 790521/577786
123.55/64.13	c And the winner is solver1
123.55/64.51	c Got one! Elapsed wall clock time (in seconds):64.39
123.55/64.51	o 6193
124.54/65.09	c cleaning 25676 clauses out of 51352 with flag 12411/605133
126.03/65.70	c cleaning 15838 clauses out of 31675 with flag 26222/611132
127.23/66.32	c cleaning 11418 clauses out of 22838 with flag 42445/618133
128.63/67.00	c cleaning 9710 clauses out of 19421 with flag 60931/626134
130.03/67.73	c cleaning 9355 clauses out of 18709 with flag 81834/635132
131.83/68.64	c cleaning 9678 clauses out of 19355 with flag 105016/645133
133.63/69.59	c cleaning 10338 clauses out of 20677 with flag 130577/656133
135.83/70.68	c cleaning 11167 clauses out of 22338 with flag 159406/668132
138.23/71.82	c cleaning 12080 clauses out of 24172 with flag 190345/681133
140.83/73.10	c cleaning 13043 clauses out of 26094 with flag 223940/695135
143.98/74.65	c cleaning 14016 clauses out of 28048 with flag 261622/710132
147.18/76.21	c cleaning 15012 clauses out of 30032 with flag 299637/726132
150.38/77.87	c cleaning 16008 clauses out of 32020 with flag 340843/743132
153.98/79.64	c cleaning 17006 clauses out of 34014 with flag 383996/761134
157.60/81.46	c cleaning 17997 clauses out of 36006 with flag 430672/780132
162.19/83.65	c cleaning 18997 clauses out of 38009 with flag 477694/800132
166.18/85.69	c cleaning 20003 clauses out of 40012 with flag 528818/821132
170.57/87.88	c cleaning 21003 clauses out of 42009 with flag 582353/843132
175.18/90.18	c cleaning 22001 clauses out of 44006 with flag 638172/866132
179.99/92.51	c cleaning 22995 clauses out of 46007 with flag 697640/890134
185.09/95.03	c cleaning 24002 clauses out of 48010 with flag 758264/915132
190.09/97.50	c cleaning 24999 clauses out of 50008 with flag 820365/941132
195.09/100.05	c cleaning 26003 clauses out of 52011 with flag 887263/968134
200.86/102.80	c cleaning 26999 clauses out of 54006 with flag 956195/996132
206.86/105.86	c cleaning 27998 clauses out of 56008 with flag 1027833/1025133
213.08/108.94	c cleaning 29004 clauses out of 58009 with flag 1100970/1055132
221.32/113.48	c cleaning 29996 clauses out of 60005 with flag 1175957/1086132
228.10/116.85	c cleaning 31002 clauses out of 62009 with flag 1253568/1118132
234.75/120.14	c cleaning 31999 clauses out of 64008 with flag 1335322/1151133
241.95/123.75	c cleaning 33001 clauses out of 66008 with flag 1418666/1185132
244.98/125.22	c And the winner is solver1
244.98/125.58	c Got one! Elapsed wall clock time (in seconds):125.464
244.98/125.58	o 6156
246.46/126.30	c cleaning 26902 clauses out of 53803 with flag 11914/1205928
247.86/127.01	c cleaning 16451 clauses out of 32901 with flag 26934/1211928
249.27/127.76	c cleaning 11720 clauses out of 23451 with flag 44589/1218929
250.94/128.58	c cleaning 9858 clauses out of 19730 with flag 64828/1226928
252.73/129.48	c cleaning 9430 clauses out of 18872 with flag 86164/1235928
254.73/130.49	c cleaning 9715 clauses out of 19442 with flag 109898/1245928
256.93/131.56	c cleaning 10364 clauses out of 20729 with flag 136329/1256930
259.33/132.78	c cleaning 11176 clauses out of 22364 with flag 165279/1268929
261.93/134.02	c cleaning 12091 clauses out of 24187 with flag 197367/1281928
264.55/135.34	c cleaning 13043 clauses out of 26096 with flag 231566/1295928
267.33/136.78	c cleaning 14023 clauses out of 28054 with flag 266944/1310929
270.64/138.34	c cleaning 15011 clauses out of 30030 with flag 305044/1326928
273.65/139.89	c cleaning 16009 clauses out of 32019 with flag 345063/1343928
276.84/141.49	c cleaning 17004 clauses out of 34011 with flag 388035/1361929
280.64/143.32	c cleaning 17994 clauses out of 36005 with flag 432871/1380928
284.65/145.37	c cleaning 19001 clauses out of 38011 with flag 480727/1400928
289.05/147.53	c cleaning 20006 clauses out of 40011 with flag 532538/1421929
293.25/149.70	c cleaning 21000 clauses out of 42005 with flag 585525/1443929
297.85/151.99	c cleaning 22000 clauses out of 44004 with flag 639927/1466928
302.64/154.35	c cleaning 23003 clauses out of 46005 with flag 697111/1490929
307.44/156.70	c cleaning 23997 clauses out of 48001 with flag 757068/1515928
312.64/159.32	c cleaning 24997 clauses out of 50005 with flag 819680/1541929
318.23/162.10	c cleaning 26000 clauses out of 52007 with flag 884813/1568928
323.83/164.99	c cleaning 26996 clauses out of 54007 with flag 950709/1596928
330.43/168.25	c cleaning 28001 clauses out of 56012 with flag 1019074/1625929
336.63/171.33	c cleaning 29001 clauses out of 58010 with flag 1091685/1655928
342.63/174.38	c cleaning 30001 clauses out of 60010 with flag 1167752/1686929
349.43/177.78	c cleaning 30998 clauses out of 62008 with flag 1243864/1718928
356.43/181.28	c cleaning 32000 clauses out of 64010 with flag 1324146/1751928
364.63/185.33	c cleaning 33000 clauses out of 66010 with flag 1405358/1785928
372.45/189.11	c cleaning 34001 clauses out of 68012 with flag 1488555/1820930
380.65/193.26	c cleaning 35005 clauses out of 70009 with flag 1573715/1856928
389.64/197.73	c cleaning 35997 clauses out of 72004 with flag 1661020/1893928
397.84/201.85	c cleaning 36999 clauses out of 74008 with flag 1751583/1931929
406.04/206.00	c cleaning 38002 clauses out of 76009 with flag 1846856/1970929
414.45/210.13	c cleaning 39001 clauses out of 78006 with flag 1944388/2010928
422.64/214.27	c cleaning 40003 clauses out of 80005 with flag 2043878/2051928
431.04/218.45	c cleaning 40999 clauses out of 82003 with flag 2145810/2093929
439.84/222.87	c cleaning 41995 clauses out of 84003 with flag 2254256/2136928
448.84/227.38	c cleaning 43002 clauses out of 86008 with flag 2365477/2180928
459.04/232.42	c cleaning 44003 clauses out of 88007 with flag 2476598/2225929
468.64/237.29	c cleaning 45002 clauses out of 90003 with flag 2588814/2271928
479.44/242.67	c cleaning 46000 clauses out of 92002 with flag 2702548/2318929
491.04/248.45	c cleaning 47000 clauses out of 94000 with flag 2817632/2366928
503.04/254.40	c cleaning 47993 clauses out of 96000 with flag 2935091/2415928
515.05/260.48	c cleaning 48998 clauses out of 98008 with flag 3055429/2465929
528.25/267.02	c cleaning 50000 clauses out of 100009 with flag 3176146/2516928
540.07/272.96	c cleaning 51000 clauses out of 102009 with flag 3299431/2568928
552.85/279.37	c cleaning 52001 clauses out of 104009 with flag 3425351/2621928
564.85/285.40	c cleaning 53002 clauses out of 106008 with flag 3551659/2675928
577.26/291.58	c cleaning 53997 clauses out of 108006 with flag 3682847/2730928
591.05/298.40	c cleaning 54999 clauses out of 110009 with flag 3818933/2786928
605.45/305.64	c cleaning 55996 clauses out of 112010 with flag 3968051/2843928
619.26/312.59	c cleaning 57000 clauses out of 114014 with flag 4123468/2901928
633.25/319.54	c cleaning 58005 clauses out of 116015 with flag 4273289/2960929
648.65/327.20	c cleaning 59004 clauses out of 118010 with flag 4421961/3020929
662.64/334.27	c cleaning 59998 clauses out of 120006 with flag 4569788/3081929
677.24/341.58	c cleaning 61005 clauses out of 122009 with flag 4718842/3143930
692.85/349.38	c cleaning 62000 clauses out of 124002 with flag 4871965/3206928
708.25/357.08	c cleaning 62999 clauses out of 126003 with flag 5030021/3270929
722.84/364.37	c cleaning 63993 clauses out of 128003 with flag 5190832/3335928
737.64/371.80	c cleaning 64999 clauses out of 130010 with flag 5359697/3401928
754.25/380.39	c cleaning 66003 clauses out of 132011 with flag 5527794/3468928
772.05/389.21	c cleaning 66999 clauses out of 134009 with flag 5691176/3536929
790.65/398.58	c cleaning 67996 clauses out of 136011 with flag 5856650/3605930
810.06/408.24	c cleaning 68999 clauses out of 138013 with flag 6028382/3675928
830.04/418.25	c cleaning 69999 clauses out of 140014 with flag 6199072/3746928
850.65/428.54	c cleaning 70999 clauses out of 142015 with flag 6373600/3818928
870.84/438.61	c cleaning 72009 clauses out of 144017 with flag 6548799/3891929
891.84/449.10	c cleaning 72999 clauses out of 146007 with flag 6724702/3965928
909.84/458.19	c cleaning 74001 clauses out of 148008 with flag 6908365/4040928
930.85/468.63	c cleaning 74998 clauses out of 150008 with flag 7097600/4116929
952.24/479.36	c cleaning 75999 clauses out of 152010 with flag 7287897/4193929
971.83/489.13	c cleaning 77001 clauses out of 154010 with flag 7480360/4271928
992.23/499.32	c cleaning 78005 clauses out of 156010 with flag 7668863/4350929
1012.03/509.24	c cleaning 78998 clauses out of 158005 with flag 7866602/4430929
1031.03/518.79	c cleaning 80001 clauses out of 160007 with flag 8070004/4511929
1052.05/529.24	c cleaning 81001 clauses out of 162006 with flag 8267017/4593929
1072.44/539.45	c cleaning 81999 clauses out of 164004 with flag 8471692/4676928
1096.23/551.36	c cleaning 82993 clauses out of 166007 with flag 8674557/4760930
1117.23/561.82	c cleaning 84003 clauses out of 168012 with flag 8884400/4845928
1141.23/573.82	c cleaning 85000 clauses out of 170009 with flag 9091071/4931928
1167.23/586.89	c cleaning 86002 clauses out of 172009 with flag 9299210/5018928
1193.22/599.85	c cleaning 86998 clauses out of 174008 with flag 9509520/5106929
1221.02/613.79	c cleaning 88005 clauses out of 176009 with flag 9728528/5195928
1249.59/627.90	c cleaning 88997 clauses out of 178004 with flag 9963201/5285928
1279.38/642.88	c cleaning 90004 clauses out of 180007 with flag 10187643/5376928
1308.39/657.33	c cleaning 90997 clauses out of 182004 with flag 10408544/5468929
1331.79/669.09	c cleaning 91997 clauses out of 184006 with flag 10626228/5561928
1357.39/681.84	c cleaning 93002 clauses out of 186010 with flag 10843440/5655929
1386.19/696.27	c cleaning 93999 clauses out of 188007 with flag 11071022/5750928
1417.40/711.81	c cleaning 95003 clauses out of 190009 with flag 11282776/5846929
1452.78/729.54	c cleaning 96002 clauses out of 192005 with flag 11500893/5943928
1487.99/747.19	c cleaning 97001 clauses out of 194003 with flag 11722022/6041928
1524.78/765.54	c cleaning 98001 clauses out of 196003 with flag 11945442/6140929
1564.59/785.44	c cleaning 99000 clauses out of 198002 with flag 12170328/6240929
1608.39/807.37	c cleaning 99993 clauses out of 200002 with flag 12394467/6341929
1652.14/829.09	c cleaning 101000 clauses out of 202008 with flag 12627812/6443928
1692.94/849.40	c cleaning 101999 clauses out of 204008 with flag 12861075/6546928
1738.96/872.46	c cleaning 102999 clauses out of 206009 with flag 13097490/6650928
1784.54/895.23	c cleaning 103989 clauses out of 208010 with flag 13338042/6755928
1800.14/903.00	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.14/903.00	c starts		: 107921
1800.14/903.00	c conflicts		: 6805624
1800.14/903.00	c decisions		: 25793348
1800.14/903.00	c propagations		: 985093282
1800.14/903.00	c inspects		: 8939312511
1800.14/903.00	c shortcuts		: 0
1800.14/903.00	c learnt literals	: 4
1800.14/903.00	c learnt binary clauses	: 3
1800.14/903.00	c learnt ternary clauses	: 100
1800.14/903.00	c learnt constraints	: 6805620
1800.14/903.00	c ignored constraints	: 0
1800.14/903.00	c root simplifications	: 0
1800.14/903.00	c removed literals (reason simplification)	: 129848979
1800.14/903.00	c reason swapping (by a shorter reason)	: 0
1800.14/903.00	c Calls to reduceDB	: 173
1800.14/903.00	c Number of update (reduction) of LBD	: 767462
1800.14/903.00	c Imported unit clauses	: 0
1800.14/903.00	c number of reductions to clauses (during analyze)	: 0
1800.14/903.00	c number of learned constraints concerned by reduction	: 0
1800.14/903.00	c number of learning phase by resolution	: 0
1800.14/903.00	c number of learning phase by cutting planes	: 0
1800.14/903.00	c speed (assignments/second)	: 1267139.535511921
1800.14/903.00	c non guided choices	0
1800.14/903.03	c learnt constraints type 
1800.14/903.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.14/903.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153714
1800.14/903.03	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.14/903.03	c starts		: 33
1800.14/903.03	c conflicts		: 5093
1800.14/903.03	c decisions		: 49127
1800.14/903.03	c propagations		: 397670
1800.14/903.03	c inspects		: 134359903
1800.14/903.03	c shortcuts		: 0
1800.14/903.03	c learnt literals	: 6
1800.14/903.03	c learnt binary clauses	: 3
1800.14/903.03	c learnt ternary clauses	: 11
1800.14/903.03	c learnt constraints	: 5086
1800.14/903.03	c ignored constraints	: 0
1800.14/903.03	c root simplifications	: 0
1800.14/903.03	c removed literals (reason simplification)	: 0
1800.14/903.03	c reason swapping (by a shorter reason)	: 0
1800.14/903.03	c Calls to reduceDB	: 0
1800.14/903.03	c Number of update (reduction) of LBD	: 0
1800.14/903.03	c Imported unit clauses	: 0
1800.14/903.03	c number of reductions to clauses (during analyze)	: 0
1800.14/903.03	c number of learned constraints concerned by reduction	: 0
1800.14/903.03	c number of learning phase by resolution	: 0
1800.14/903.03	c number of learning phase by cutting planes	: 0
1800.14/903.03	c speed (assignments/second)	: 442.5060394335228
1800.14/903.03	c non guided choices	6
1800.14/903.04	c learnt constraints type 
1800.14/903.04	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 61
1800.14/903.04	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 3
1800.14/903.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5022
1800.14/903.04	s SATISFIABLE
1800.14/903.04	c Found 12 solution(s)
1800.14/903.04	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 
1800.14/903.04	c objective function=6156
1800.14/903.04	c Total wall clock time (in seconds): 902.92

Verifier Data 

OK	6156

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-4081167-1465224457/watcher-4081167-1465224457 -o /tmp/evaluation-result-4081167-1465224457/solver-4081167-1465224457 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081167-1465224457.opb 

pid=1969
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: 4.08 4.04 3.85 5/195 1972
/proc/meminfo: memFree=28418800/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/1972/stat : 1972 (java) R 1969 1972 955 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 104380589 278528 34 33554432000 1073741824 1073778376 140734752797232 140736761679720 235365559477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 68 34 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 4.08 4.04 3.85 5/195 1972
/proc/meminfo: memFree=28418800/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 104380589 9787879424 6037 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2389619 6037 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200214 s]
/proc/loadavg: 4.08 4.04 3.85 5/195 1972
/proc/meminfo: memFree=28418800/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 4951 0 1 0 25 1 0 0 20 0 18 0 104380589 9787879424 6975 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2389619 6975 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.30022 s]
/proc/loadavg: 4.08 4.04 3.85 5/195 1972
/proc/meminfo: memFree=28418800/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 6108 0 1 0 49 1 0 0 20 0 18 0 104380589 9787879424 9525 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2389619 9525 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700222 s]
/proc/loadavg: 4.08 4.04 3.85 5/195 1972
/proc/meminfo: memFree=28418800/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 6742 0 1 0 59 3 0 0 20 0 19 0 104380589 10060525568 10554 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2456183 10554 2248 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 4.08 4.04 3.85 3/214 1997
/proc/meminfo: memFree=28379568/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 6908 0 1 0 72 5 0 0 20 0 19 0 104380589 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2456183 12608 2254 9 0 2446860 0
[pid=1972/tid=1974] ppid=1969 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/1972/task/1974/stat : 1974 (java) S 1969 1972 955 0 -1 4202560 2439 0 1 0 29 1 0 0 20 0 19 0 104380590 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910603318136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1975] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1975/stat : 1975 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910575770152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1976] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1976/stat : 1976 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910574717352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1977] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1977/stat : 1977 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910444525864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1978] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1978/stat : 1978 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910443473064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1979] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1979/stat : 1979 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910442421288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1980] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1980/stat : 1980 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910441368488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1981] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1981/stat : 1981 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139910440315688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1982] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1982/stat : 1982 (java) S 1969 1972 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909968947880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1983] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1983/stat : 1983 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104380592 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909956749800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1984] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1984/stat : 1984 (java) S 1969 1972 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104380593 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909955695864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1985] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1985/stat : 1985 (java) S 1969 1972 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104380593 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909954642952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1986] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1986/stat : 1986 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380595 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909953591440 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1987] ppid=1969 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/1972/task/1987/stat : 1987 (java) S 1969 1972 955 0 -1 4202560 1532 0 0 0 19 0 0 0 20 0 19 0 104380595 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909952539576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1988] ppid=1969 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/1972/task/1988/stat : 1988 (java) S 1969 1972 955 0 -1 4202560 1597 0 0 0 16 0 0 0 20 0 19 0 104380595 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909951486776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1989] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1989/stat : 1989 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380595 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909950434168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1990] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1990/stat : 1990 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380595 10060525568 12608 33554432000 1073741824 1073778376 140734752797232 139909949381576 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.08 4.04 3.85 9/214 2003
/proc/meminfo: memFree=28353008/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 16929 0 1 0 200 10 0 0 20 0 19 0 104380589 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2456183 22491 2263 9 0 2446860 0
[pid=1972/tid=1974] ppid=1969 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/1972/task/1974/stat : 1974 (java) S 1969 1972 955 0 -1 4202560 2440 0 1 0 30 1 0 0 20 0 19 0 104380590 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910603318136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1975] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1975/stat : 1975 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910575770152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1976] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1976/stat : 1976 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910574717352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1977] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1977/stat : 1977 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910444525864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1978] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1978/stat : 1978 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910443473064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1979] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1979/stat : 1979 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910442421288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1980] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1980/stat : 1980 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910441368488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1981] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1981/stat : 1981 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139910440315688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1982] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1982/stat : 1982 (java) S 1969 1972 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104380591 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909968947880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1983] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1983/stat : 1983 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104380592 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909956749800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1984] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1984/stat : 1984 (java) S 1969 1972 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104380593 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909955695864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1985] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1985/stat : 1985 (java) S 1969 1972 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104380593 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909954642952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1986] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1986/stat : 1986 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380595 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909953591440 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1987] ppid=1969 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/1972/task/1987/stat : 1987 (java) S 1969 1972 955 0 -1 4202560 5854 0 0 0 60 1 0 0 20 0 19 0 104380595 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909952539576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1988] ppid=1969 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/1972/task/1988/stat : 1988 (java) S 1969 1972 955 0 -1 4202560 7266 0 0 0 51 1 0 0 20 0 19 0 104380595 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909951486776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1989] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1989/stat : 1989 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380595 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909950434168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1990] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1990/stat : 1990 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104380595 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909949381576 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=2003] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2003/stat : 2003 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104380774 10060525568 22491 33554432000 1073741824 1073778376 140734752797232 139909945071272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30086 s]
/proc/loadavg: 3.91 4.01 3.84 5/217 2018
/proc/meminfo: memFree=28237748/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9824732 CPUtime=7.04 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 17514 0 1 0 689 15 0 0 20 0 22 0 104380589 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2456183 47146 2287 9 0 2446860 0
[pid=1972/tid=1974] ppid=1969 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/1972/task/1974/stat : 1974 (java) S 1969 1972 955 0 -1 4202560 2442 0 1 0 31 2 0 0 20 0 22 0 104380590 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910603318136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1975] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1975/stat : 1975 (java) S 1969 1972 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910575770152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1976] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1976/stat : 1976 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910574717352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1977] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1977/stat : 1977 (java) S 1969 1972 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910444525864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1978] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1978/stat : 1978 (java) S 1969 1972 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910443473064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1979] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1979/stat : 1979 (java) S 1969 1972 955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910442421288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1980] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1980/stat : 1980 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910441368488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1981] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1981/stat : 1981 (java) S 1969 1972 955 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139910440315688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1982] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1982/stat : 1982 (java) S 1969 1972 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104380591 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909968947880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1983] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1983/stat : 1983 (java) S 1969 1972 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104380592 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909956749800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1984] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1984/stat : 1984 (java) S 1969 1972 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909955695864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1985] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1985/stat : 1985 (java) S 1969 1972 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909954642952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1986] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1986/stat : 1986 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909953591440 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1987] ppid=1969 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/1972/task/1987/stat : 1987 (java) S 1969 1972 955 0 -1 4202560 5910 0 0 0 99 1 0 0 20 0 22 0 104380595 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909952539576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1988] ppid=1969 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/1972/task/1988/stat : 1988 (java) S 1969 1972 955 0 -1 4202560 7681 0 0 0 111 2 0 0 20 0 22 0 104380595 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909951486776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1989] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1989/stat : 1989 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909950434168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1990] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1990/stat : 1990 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909949381576 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=2003] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2003/stat : 2003 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104380774 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909945071272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=2016] ppid=1969 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/1972/task/2016/stat : 2016 (java) R 1969 1972 955 0 -1 4202560 9 0 0 0 189 0 0 0 20 0 22 0 104381025 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909946120664 139910456346052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=2017] ppid=1969 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/1972/task/2017/stat : 2017 (java) R 1969 1972 955 0 -1 4202560 39 0 0 0 189 1 0 0 20 0 22 0 104381025 10060525568 47146 33554432000 1073741824 1073778376 140734752797232 139909947173112 139910456126014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0

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

[pid=1972/tid=1982] ppid=1969 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/1972/task/1982/stat : 1982 (java) S 1969 1972 955 0 -1 4202560 606 0 0 0 80 19 0 0 20 0 22 0 104380591 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909968947880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1983] ppid=1969 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/1972/task/1983/stat : 1983 (java) S 1969 1972 955 0 -1 4202560 2264 0 0 0 282 13 0 0 20 0 22 0 104380592 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909956749800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1984] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1984/stat : 1984 (java) S 1969 1972 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909955695864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1985] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1985/stat : 1985 (java) S 1969 1972 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909954642952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1986] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1986/stat : 1986 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909953591440 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1987] ppid=1969 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/1972/task/1987/stat : 1987 (java) S 1969 1972 955 0 -1 4202560 9863 0 0 0 178 2 0 0 20 0 22 0 104380595 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909952539576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1988] ppid=1969 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/1972/task/1988/stat : 1988 (java) S 1969 1972 955 0 -1 4202560 7869 0 0 0 128 2 0 0 20 0 22 0 104380595 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909951486776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1989] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1989/stat : 1989 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909950434168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1990] ppid=1969 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/1972/task/1990/stat : 1990 (java) S 1969 1972 955 0 -1 4202560 48 0 0 0 6 8 0 0 20 0 22 0 104380595 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909949381576 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=2018] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2018/stat : 2018 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104381025 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909948228392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=2030] ppid=1969 vsize=9824732 CPUtime=693.14 cores=0,2,4,6
/proc/1972/task/2030/stat : 2030 (java) R 1969 1972 955 0 -1 4202560 6 0 0 0 69304 10 0 0 20 0 22 0 104393148 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909946114544 139910456199148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=2031] ppid=1969 vsize=9824732 CPUtime=693.29 cores=0,2,4,6
/proc/1972/task/2031/stat : 2031 (java) R 1969 1972 955 0 -1 4202560 4 0 0 0 69319 10 0 0 20 0 22 0 104393148 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909947173648 139910456410082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=2032] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2032/stat : 2032 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393148 10060525568 898539 33554432000 1073741824 1073778376 140734752797232 139909945070888 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1637.97
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.30 4.18 4.04 5/217 2260
/proc/meminfo: memFree=27550760/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9824732 CPUtime=1758.35 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 30485 0 1 0 175598 237 0 0 20 0 22 0 104380589 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2456183 924407 2296 9 0 2446860 0
[pid=1972/tid=1974] ppid=1969 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/1972/task/1974/stat : 1974 (java) S 1969 1972 955 0 -1 4202560 2449 0 1 0 34 2 0 0 20 0 22 0 104380590 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910603318136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1975] ppid=1969 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/1972/task/1975/stat : 1975 (java) S 1969 1972 955 0 -1 4202560 766 0 0 0 83 19 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910575770152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1976] ppid=1969 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/1972/task/1976/stat : 1976 (java) S 1969 1972 955 0 -1 4202560 596 0 0 0 82 20 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910574717352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1977] ppid=1969 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/1972/task/1977/stat : 1977 (java) S 1969 1972 955 0 -1 4202560 690 0 0 0 79 19 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910444525864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1978] ppid=1969 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/1972/task/1978/stat : 1978 (java) S 1969 1972 955 0 -1 4202560 569 0 0 0 73 23 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910443473064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1979] ppid=1969 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/1972/task/1979/stat : 1979 (java) S 1969 1972 955 0 -1 4202560 626 0 0 0 84 20 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910442421288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1980] ppid=1969 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/1972/task/1980/stat : 1980 (java) S 1969 1972 955 0 -1 4202560 673 0 0 0 97 23 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910441368488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1981] ppid=1969 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/1972/task/1981/stat : 1981 (java) S 1969 1972 955 0 -1 4202560 573 0 0 0 82 21 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910440315688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1982] ppid=1969 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/1972/task/1982/stat : 1982 (java) S 1969 1972 955 0 -1 4202560 639 0 0 0 88 19 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909968947880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1983] ppid=1969 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/1972/task/1983/stat : 1983 (java) S 1969 1972 955 0 -1 4202560 2266 0 0 0 283 13 0 0 20 0 22 0 104380592 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909956749800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1984] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1984/stat : 1984 (java) S 1969 1972 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909955695864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1985] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1985/stat : 1985 (java) S 1969 1972 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909954642952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1986] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1986/stat : 1986 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909953591440 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1987] ppid=1969 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/1972/task/1987/stat : 1987 (java) S 1969 1972 955 0 -1 4202560 9863 0 0 0 178 2 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909952539576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1988] ppid=1969 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/1972/task/1988/stat : 1988 (java) S 1969 1972 955 0 -1 4202560 7869 0 0 0 128 2 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909951486776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1989] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1989/stat : 1989 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909950434168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1990] ppid=1969 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/1972/task/1990/stat : 1990 (java) S 1969 1972 955 0 -1 4202560 52 0 0 0 7 8 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909949381576 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=2018] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2018/stat : 2018 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104381025 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909948228392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=2030] ppid=1969 vsize=9824732 CPUtime=752.8 cores=0,2,4,6
/proc/1972/task/2030/stat : 2030 (java) R 1969 1972 955 0 -1 4202560 6 0 0 0 75269 11 0 0 20 0 22 0 104393148 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909946114544 139910456332369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=2031] ppid=1969 vsize=9824732 CPUtime=752.95 cores=0,2,4,6
/proc/1972/task/2031/stat : 2031 (java) R 1969 1972 955 0 -1 4202560 5 0 0 0 75284 11 0 0 20 0 22 0 104393148 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909947174384 139910456410100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=2032] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2032/stat : 2032 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393148 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909945070888 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1758.35
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+903.001 s]
/proc/loadavg: 4.21 4.17 4.04 5/217 2260
/proc/meminfo: memFree=27509804/32872528 swapFree=13256/481332
[pid=1972] ppid=1969 vsize=9824732 CPUtime=1799.73 cores=0,2,4,6
/proc/1972/stat : 1972 (java) S 1969 1972 955 0 -1 4202496 30487 0 1 0 179736 237 0 0 20 0 22 0 104380589 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 140734752788368 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1972/statm: 2456183 924407 2296 9 0 2446860 0
[pid=1972/tid=1974] ppid=1969 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/1972/task/1974/stat : 1974 (java) S 1969 1972 955 0 -1 4202560 2449 0 1 0 34 2 0 0 20 0 22 0 104380590 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910603318136 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1975] ppid=1969 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/1972/task/1975/stat : 1975 (java) S 1969 1972 955 0 -1 4202560 766 0 0 0 83 19 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910575770152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1976] ppid=1969 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/1972/task/1976/stat : 1976 (java) S 1969 1972 955 0 -1 4202560 596 0 0 0 82 20 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910574717352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1977] ppid=1969 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/1972/task/1977/stat : 1977 (java) S 1969 1972 955 0 -1 4202560 690 0 0 0 79 19 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910444525864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1978] ppid=1969 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/1972/task/1978/stat : 1978 (java) S 1969 1972 955 0 -1 4202560 569 0 0 0 73 23 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910443473064 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1979] ppid=1969 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/1972/task/1979/stat : 1979 (java) S 1969 1972 955 0 -1 4202560 626 0 0 0 84 20 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910442421288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=1980] ppid=1969 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/1972/task/1980/stat : 1980 (java) S 1969 1972 955 0 -1 4202560 673 0 0 0 97 23 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910441368488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1981] ppid=1969 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/1972/task/1981/stat : 1981 (java) S 1969 1972 955 0 -1 4202560 573 0 0 0 82 21 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139910440315688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1982] ppid=1969 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/1972/task/1982/stat : 1982 (java) S 1969 1972 955 0 -1 4202560 639 0 0 0 88 19 0 0 20 0 22 0 104380591 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909968947880 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1983] ppid=1969 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/1972/task/1983/stat : 1983 (java) S 1969 1972 955 0 -1 4202560 2266 0 0 0 283 13 0 0 20 0 22 0 104380592 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909956749800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1984] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1984/stat : 1984 (java) S 1969 1972 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909955695864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1985] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1985/stat : 1985 (java) S 1969 1972 955 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 104380593 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909954642952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1986] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1986/stat : 1986 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909953591440 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1987] ppid=1969 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/1972/task/1987/stat : 1987 (java) S 1969 1972 955 0 -1 4202560 9863 0 0 0 178 2 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909952539576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=1988] ppid=1969 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/1972/task/1988/stat : 1988 (java) S 1969 1972 955 0 -1 4202560 7869 0 0 0 128 2 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909951486776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=1989] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/1989/stat : 1989 (java) S 1969 1972 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909950434168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=1990] ppid=1969 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/1972/task/1990/stat : 1990 (java) S 1969 1972 955 0 -1 4202560 54 0 0 0 8 9 0 0 20 0 22 0 104380595 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909949381576 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1972/tid=2018] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2018/stat : 2018 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104381025 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909948228392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1972/tid=2030] ppid=1969 vsize=9824732 CPUtime=773.44 cores=0,2,4,6
/proc/1972/task/2030/stat : 2030 (java) R 1969 1972 955 0 -1 4202560 6 0 0 0 77333 11 0 0 20 0 22 0 104393148 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909946114544 139910456208608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1972/tid=2031] ppid=1969 vsize=9824732 CPUtime=773.59 cores=0,2,4,6
/proc/1972/task/2031/stat : 2031 (java) R 1969 1972 955 0 -1 4202560 5 0 0 0 77348 11 0 0 20 0 22 0 104393148 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909947174384 139910456410062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1972/tid=2032] ppid=1969 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1972/task/2032/stat : 2032 (java) S 1969 1972 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104393148 10060525568 924407 33554432000 1073741824 1073778376 140734752797232 139909945070888 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.73
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 1972 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1972 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=409360
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=741583
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1799.73
#
# 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): 0.41
#  lost CPU user time (s): 0.430008
#  lost CPU system time (s): -0.02

Real time (s): 903.067
CPU time (s): 1800.14
CPU user time (s): 1797.79
CPU system time (s): 2.35
CPU usage (%): 199.336
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.41
system time used= 2.74158
maximum resident set size= 3697764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30531
page faults= 1
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22213
involuntary context switches= 7160

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.02024 second user time and 5.08923 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-06 16:47:37
IDJOB=4081167
IDBENCH=2018
IDSOLVER=2543
FILE ID=node104/4081167-1465224457
RUNJOBID= node104-1465220812-973
PBS_JOBID= 19843225
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-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081167-1465224457/watcher-4081167-1465224457 -o /tmp/evaluation-result-4081167-1465224457/solver-4081167-1465224457 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081167-1465224457.opb

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

MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b
RANDOM SEED=336145533

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28418700 kB
Buffers:           10892 kB
Cached:            85640 kB
SwapCached:         1732 kB
Active:          3232256 kB
Inactive:          38824 kB
Active(anon):    3174680 kB
Inactive(anon):     2356 kB
Active(file):      57576 kB
Inactive(file):    36468 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097220 kB
Dirty:               904 kB
Writeback:             0 kB
AnonPages:       3654740 kB
Mapped:            15296 kB
Shmem:                 0 kB
Slab:             565404 kB
SReclaimable:       9528 kB
SUnreclaim:       555876 kB
KernelStack:        1584 kB
PageTables:        11860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3913652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3586048 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 node104 at 2016-06-06 17:02:40