Trace number 4081172

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)1398 1800.53 904.461

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM8aa1aebf70d33d96463ba96014c98682
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1053
Best CPU time to get the best result obtained on this benchmark0.405938
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1053
Optimality of the best value was proved YES
Number of variables304
Total number of constraints671
Number of constraints which are clauses671
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 constraint1
Maximum length of a constraint28
Number of terms in the objective function 304
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 12887
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12887
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.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@5d764be1
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@9f436f5
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@4413ee
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@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081172-1465224572.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.28/0.22	c ... done. Wall clock time 0.116s.
0.28/0.22	c declared #vars     304
0.28/0.22	c #constraints  671
0.28/0.23	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 489
0.28/0.23	c org.sat4j.specs.Constr$1 => 3
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 178
0.28/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.28/0.23	c 671 constraints processed.
0.28/0.23	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 178
0.28/0.23	c org.sat4j.specs.Constr$1 => 3
0.28/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 489
0.28/0.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.28/0.23	c 671 constraints processed.
0.28/0.23	c objective function length is 304 literals
0.28/0.24	c And the winner is solver0
0.35/0.73	c SATISFIABLE
0.35/0.73	c OPTIMIZING...
0.35/0.73	c Got one! Elapsed wall clock time (in seconds):0.622
0.35/0.73	o 1553
0.59/0.85	c And the winner is solver0
1.08/1.23	c Got one! Elapsed wall clock time (in seconds):1.127
1.08/1.23	o 1530
1.32/1.34	c And the winner is solver0
1.69/1.74	c Got one! Elapsed wall clock time (in seconds):1.63
1.69/1.74	o 1527
1.90/1.88	c And the winner is solver0
2.18/2.24	c Got one! Elapsed wall clock time (in seconds):2.132
2.18/2.24	o 1524
2.73/2.46	c cleaning 3222 clauses out of 6447 with flag 5026/6447
3.83/2.71	c And the winner is solver0
3.83/2.74	c Got one! Elapsed wall clock time (in seconds):2.635
3.83/2.74	o 1508
3.83/2.76	c And the winner is solver1
3.93/3.24	c Got one! Elapsed wall clock time (in seconds):3.137
3.93/3.24	o 1505
3.93/3.25	c And the winner is solver1
3.93/3.74	c Got one! Elapsed wall clock time (in seconds):3.638
3.93/3.74	o 1501
4.06/3.86	c cleaning 4466 clauses out of 8932 with flag 6017/12154
5.02/4.21	c cleaning 5233 clauses out of 10466 with flag 23155/18154
6.34/4.73	c cleaning 6116 clauses out of 12232 with flag 42644/25154
7.21/5.04	c And the winner is solver1
7.29/5.25	c Got one! Elapsed wall clock time (in seconds):5.14
7.29/5.25	o 1489
7.43/5.33	c And the winner is solver1
7.58/5.75	c Got one! Elapsed wall clock time (in seconds):5.642
7.58/5.75	o 1484
7.69/5.87	c And the winner is solver0
7.84/6.25	c Got one! Elapsed wall clock time (in seconds):6.144
7.84/6.25	o 1482
8.13/6.48	c cleaning 8795 clauses out of 17591 with flag 8294/36629
9.33/6.86	c cleaning 7397 clauses out of 14793 with flag 23345/42628
10.24/7.22	c cleaning 7198 clauses out of 14395 with flag 38891/49628
11.11/7.70	c cleaning 7599 clauses out of 15198 with flag 57991/57629
12.11/8.20	c cleaning 8297 clauses out of 16598 with flag 83151/66628
13.38/8.79	c cleaning 9148 clauses out of 18301 with flag 111242/76628
14.59/9.38	c cleaning 10077 clauses out of 20153 with flag 141919/87628
16.09/10.04	c And the winner is solver1
16.16/10.27	c Got one! Elapsed wall clock time (in seconds):10.164
16.16/10.27	o 1477
16.81/10.60	c cleaning 13433 clauses out of 26873 with flag 14797/104425
17.41/10.94	c cleaning 9720 clauses out of 19440 with flag 28834/110425
18.21/11.33	c cleaning 8355 clauses out of 16719 with flag 47065/117424
19.01/11.77	c cleaning 8181 clauses out of 16364 with flag 68657/125424
20.03/12.26	c cleaning 8590 clauses out of 17183 with flag 91557/134424
21.21/12.82	c cleaning 9293 clauses out of 18593 with flag 116485/144424
22.51/13.47	c cleaning 10150 clauses out of 20300 with flag 143363/155424
23.91/14.17	c cleaning 11075 clauses out of 22150 with flag 174084/167424
25.31/14.88	c cleaning 12032 clauses out of 24075 with flag 208484/180424
26.61/15.51	c And the winner is solver1
26.82/15.77	c Got one! Elapsed wall clock time (in seconds):15.666
26.82/15.77	o 1469
27.47/16.11	c cleaning 13831 clauses out of 27687 with flag 13559/196069
27.87/16.37	c And the winner is solver1
28.03/16.77	c Got one! Elapsed wall clock time (in seconds):16.668
28.03/16.77	o 1463
28.07/16.85	c cleaning 9706 clauses out of 19422 with flag 2947/201635
28.67/17.18	c cleaning 7852 clauses out of 15716 with flag 17555/207635
29.47/17.57	c cleaning 7433 clauses out of 14865 with flag 34359/214636
30.48/18.02	c cleaning 7711 clauses out of 15431 with flag 54860/222635
31.48/18.54	c cleaning 8342 clauses out of 16720 with flag 78879/231635
32.69/19.10	c cleaning 9185 clauses out of 18379 with flag 106457/241636
33.89/19.74	c cleaning 10094 clauses out of 20196 with flag 138053/252638
35.29/20.43	c cleaning 11040 clauses out of 22101 with flag 174646/264637
36.97/21.21	c cleaning 12016 clauses out of 24060 with flag 214357/277636
38.37/21.99	c cleaning 13015 clauses out of 26043 with flag 255956/291635
40.20/22.84	c cleaning 14012 clauses out of 28028 with flag 301825/306635
42.28/23.82	c cleaning 15005 clauses out of 30016 with flag 348327/322635
44.56/24.96	c cleaning 16007 clauses out of 32013 with flag 401440/339637
46.76/26.04	c cleaning 16997 clauses out of 34008 with flag 455057/357639
48.96/27.14	c cleaning 18003 clauses out of 36007 with flag 510655/376635
51.15/28.29	c cleaning 18999 clauses out of 38004 with flag 567125/396635
53.95/29.60	c cleaning 19998 clauses out of 40005 with flag 624196/417635
56.57/30.95	c cleaning 21003 clauses out of 42009 with flag 682276/439637
59.36/32.35	c cleaning 21995 clauses out of 44004 with flag 741360/462635
62.75/34.05	c cleaning 23006 clauses out of 46011 with flag 802794/486637
65.95/35.68	c cleaning 24002 clauses out of 48004 with flag 866804/511636
69.35/37.34	c cleaning 24998 clauses out of 50001 with flag 935679/537635
72.76/39.04	c cleaning 25998 clauses out of 52004 with flag 1013385/564636
76.65/40.91	c And the winner is solver1
76.69/41.28	c Got one! Elapsed wall clock time (in seconds):41.174
76.69/41.28	o 1452
77.61/41.75	c cleaning 29212 clauses out of 58439 with flag 14456/597069
78.40/42.17	c cleaning 17607 clauses out of 35224 with flag 29588/603066
79.20/42.57	c cleaning 12306 clauses out of 24619 with flag 46911/610068
80.22/43.03	c cleaning 10152 clauses out of 20311 with flag 67630/618066
81.20/43.56	c cleaning 9577 clauses out of 19160 with flag 89867/627067
82.42/44.11	c cleaning 9781 clauses out of 19582 with flag 116668/637066
83.60/44.75	c cleaning 10394 clauses out of 20801 with flag 145288/648066
85.00/45.42	c cleaning 11196 clauses out of 22407 with flag 178266/660066
86.40/46.18	c cleaning 12107 clauses out of 24213 with flag 213479/673068
88.28/47.06	c cleaning 13047 clauses out of 26106 with flag 249932/687068
90.07/47.90	c cleaning 14029 clauses out of 28058 with flag 291968/702067
91.88/48.87	c cleaning 15009 clauses out of 30028 with flag 333559/718066
93.88/49.86	c cleaning 16001 clauses out of 32020 with flag 381029/735067
96.09/50.95	c cleaning 17007 clauses out of 34018 with flag 431157/753066
98.49/52.16	c cleaning 18005 clauses out of 36011 with flag 481798/772066
100.95/53.35	c cleaning 19004 clauses out of 38007 with flag 532064/792067
103.55/54.60	c cleaning 20002 clauses out of 40003 with flag 589418/813067
106.15/55.97	c cleaning 21000 clauses out of 42000 with flag 651606/835066
109.35/57.57	c cleaning 21997 clauses out of 44000 with flag 710758/858066
112.34/59.06	c cleaning 23002 clauses out of 46003 with flag 775390/882066
115.56/60.63	c cleaning 23998 clauses out of 48001 with flag 840930/907066
119.14/62.45	c cleaning 25002 clauses out of 50005 with flag 916026/933068
122.74/64.27	c cleaning 25998 clauses out of 52002 with flag 991291/960067
126.56/66.18	c cleaning 26999 clauses out of 54003 with flag 1073863/988066
130.54/68.10	c cleaning 28003 clauses out of 56005 with flag 1153166/1017067
135.02/70.31	c cleaning 28999 clauses out of 58002 with flag 1228112/1047067
139.84/72.78	c cleaning 30001 clauses out of 60002 with flag 1306051/1078066
144.62/75.16	c cleaning 30997 clauses out of 62002 with flag 1390664/1110067
150.10/77.88	c cleaning 32004 clauses out of 64007 with flag 1473138/1143069
152.30/78.97	c And the winner is solver1
152.47/79.29	c Got one! Elapsed wall clock time (in seconds):79.187
152.47/79.29	o 1433
153.27/79.72	c cleaning 25511 clauses out of 51031 with flag 12168/1162097
153.87/80.07	c cleaning 15760 clauses out of 31519 with flag 25924/1168096
154.69/80.48	c cleaning 11369 clauses out of 22759 with flag 43189/1175096
155.67/80.94	c cleaning 9682 clauses out of 19391 with flag 63703/1183097
156.47/81.39	c cleaning 9349 clauses out of 18709 with flag 85616/1192097
157.67/81.92	c cleaning 9671 clauses out of 19360 with flag 112372/1202097
158.95/82.55	c cleaning 10343 clauses out of 20689 with flag 144004/1213097
160.33/83.21	c cleaning 11172 clauses out of 22345 with flag 176416/1225096
161.73/83.92	c cleaning 12083 clauses out of 24174 with flag 210165/1238097
163.35/84.70	c cleaning 13041 clauses out of 26090 with flag 250109/1252096
164.93/85.56	c cleaning 14021 clauses out of 28050 with flag 288667/1267097
166.73/86.42	c cleaning 15012 clauses out of 30030 with flag 331420/1283098
167.95/87.06	c And the winner is solver1
168.08/87.31	c Got one! Elapsed wall clock time (in seconds):87.204
168.08/87.31	o 1421
168.66/87.65	c cleaning 15924 clauses out of 31847 with flag 12485/1299927
169.26/87.99	c cleaning 10959 clauses out of 21922 with flag 26851/1305926
170.32/88.41	c cleaning 8977 clauses out of 17963 with flag 44408/1312926
171.12/88.83	c cleaning 8490 clauses out of 16986 with flag 65923/1320926
171.93/89.28	c cleaning 8742 clauses out of 17496 with flag 88963/1329926
173.12/89.84	c cleaning 9369 clauses out of 18755 with flag 113283/1339927
174.32/90.44	c cleaning 10193 clauses out of 20386 with flag 140468/1350927
175.71/91.13	c cleaning 11080 clauses out of 22192 with flag 172478/1362926
177.11/91.87	c cleaning 12050 clauses out of 24113 with flag 207921/1375927
178.91/92.71	c cleaning 13031 clauses out of 26062 with flag 244278/1389926
180.78/93.70	c cleaning 14016 clauses out of 28032 with flag 285686/1404927
182.98/94.75	c cleaning 15005 clauses out of 30016 with flag 331197/1420927
185.18/95.81	c cleaning 15998 clauses out of 32010 with flag 379504/1437926
187.38/96.99	c cleaning 16998 clauses out of 34012 with flag 431336/1455926
190.17/98.33	c cleaning 18008 clauses out of 36016 with flag 486868/1474928
192.81/99.68	c cleaning 19001 clauses out of 38009 with flag 542703/1494929
193.41/99.95	c And the winner is solver1
193.53/100.31	c Got one! Elapsed wall clock time (in seconds):100.208
193.53/100.31	o 1416
194.10/100.66	c cleaning 14515 clauses out of 29045 with flag 13186/1504966
194.90/101.01	c cleaning 10261 clauses out of 20529 with flag 29214/1510965
195.70/101.41	c cleaning 8625 clauses out of 17268 with flag 48649/1517965
196.50/101.85	c cleaning 8314 clauses out of 16644 with flag 68924/1525966
197.52/102.40	c cleaning 8655 clauses out of 17329 with flag 91127/1534965
198.70/102.98	c cleaning 9336 clauses out of 18676 with flag 118654/1544967
200.10/103.62	c cleaning 10167 clauses out of 20338 with flag 147561/1555965
201.55/104.37	c cleaning 11082 clauses out of 22172 with flag 178816/1567966
203.16/105.14	c cleaning 12040 clauses out of 24089 with flag 212899/1580965
204.76/105.98	c cleaning 13020 clauses out of 26050 with flag 249156/1594966
206.57/106.87	c cleaning 14007 clauses out of 28029 with flag 293810/1609965
208.57/107.83	c cleaning 15007 clauses out of 30023 with flag 340510/1625966
210.56/108.85	c cleaning 16006 clauses out of 32016 with flag 389058/1642966
212.60/109.86	c And the winner is solver1
212.73/110.32	c Got one! Elapsed wall clock time (in seconds):110.213
212.73/110.32	o 1398
213.28/110.68	c cleaning 19263 clauses out of 38550 with flag 14676/1665506
214.08/111.02	c cleaning 12639 clauses out of 25287 with flag 32467/1671506
214.88/111.42	c cleaning 9818 clauses out of 19648 with flag 52478/1678506
215.68/111.88	c cleaning 8915 clauses out of 17830 with flag 75270/1686506
216.70/112.38	c cleaning 8952 clauses out of 17915 with flag 100168/1695506
217.88/112.96	c cleaning 9475 clauses out of 18962 with flag 128564/1705505
219.08/113.59	c cleaning 10237 clauses out of 20489 with flag 158659/1716507
220.48/114.29	c cleaning 11121 clauses out of 22252 with flag 192872/1728507
222.08/115.05	c cleaning 12065 clauses out of 24129 with flag 230295/1741505
223.73/115.89	c cleaning 13033 clauses out of 26065 with flag 268651/1755506
225.55/116.75	c cleaning 14011 clauses out of 28031 with flag 309555/1770505
227.33/117.67	c cleaning 15003 clauses out of 30020 with flag 355748/1786505
229.33/118.64	c cleaning 16008 clauses out of 32017 with flag 400860/1803505
231.53/119.77	c cleaning 17004 clauses out of 34009 with flag 446134/1821505
233.93/120.90	c cleaning 18000 clauses out of 36006 with flag 493345/1840506
236.13/122.08	c cleaning 18998 clauses out of 38005 with flag 548027/1860505
238.54/123.27	c cleaning 20002 clauses out of 40008 with flag 605410/1881506
241.33/124.62	c cleaning 21000 clauses out of 42005 with flag 663156/1903505
244.14/126.06	c cleaning 22003 clauses out of 44006 with flag 724667/1926506
246.94/127.49	c cleaning 22999 clauses out of 46002 with flag 788724/1950505
250.14/129.03	c cleaning 23992 clauses out of 48003 with flag 859398/1975505
253.34/130.65	c cleaning 25005 clauses out of 50012 with flag 930040/2001506
256.73/132.33	c cleaning 25999 clauses out of 52006 with flag 1005809/2028505
260.13/134.06	c cleaning 26999 clauses out of 54007 with flag 1083866/2056505
263.93/135.95	c cleaning 28001 clauses out of 56008 with flag 1167784/2085505
268.13/138.07	c cleaning 29002 clauses out of 58007 with flag 1244073/2115505
272.33/140.19	c cleaning 30000 clauses out of 60005 with flag 1325083/2146505
277.13/142.51	c cleaning 31002 clauses out of 62006 with flag 1401646/2178506
281.73/144.88	c cleaning 32001 clauses out of 64003 with flag 1485463/2211505
286.53/147.23	c cleaning 32999 clauses out of 66004 with flag 1580977/2245507
290.93/149.49	c cleaning 33992 clauses out of 68004 with flag 1677637/2280506
295.94/151.98	c cleaning 35007 clauses out of 70015 with flag 1772189/2316509
301.46/154.97	c cleaning 35999 clauses out of 72004 with flag 1869589/2353505
306.86/157.62	c cleaning 37000 clauses out of 74006 with flag 1976830/2391506
311.86/160.19	c cleaning 37997 clauses out of 76007 with flag 2084927/2430507
317.47/162.94	c cleaning 38996 clauses out of 78008 with flag 2194053/2470505
323.06/165.70	c cleaning 40000 clauses out of 80012 with flag 2308121/2511505
328.86/168.66	c cleaning 41000 clauses out of 82012 with flag 2425472/2553505
335.25/171.83	c cleaning 41999 clauses out of 84012 with flag 2542476/2596505
342.06/175.20	c cleaning 43002 clauses out of 86013 with flag 2666006/2640505
349.26/178.84	c cleaning 43994 clauses out of 88012 with flag 2792410/2685506
357.07/182.72	c cleaning 45000 clauses out of 90017 with flag 2909660/2731505
365.45/186.92	c cleaning 46002 clauses out of 92017 with flag 3033904/2778505
372.65/190.58	c cleaning 46995 clauses out of 94015 with flag 3162790/2826505
380.25/194.34	c cleaning 48006 clauses out of 96020 with flag 3286783/2875505
388.05/198.28	c cleaning 49005 clauses out of 98015 with flag 3422436/2925506
396.05/202.21	c cleaning 50001 clauses out of 100011 with flag 3561337/2976507
403.45/205.96	c cleaning 51001 clauses out of 102008 with flag 3710128/3028505
412.16/210.24	c cleaning 52004 clauses out of 104008 with flag 3843605/3081506
421.34/214.82	c cleaning 53002 clauses out of 106004 with flag 3984496/3135506
430.94/219.63	c cleaning 53997 clauses out of 108001 with flag 4129080/3190505
439.94/224.16	c cleaning 54996 clauses out of 110005 with flag 4272307/3246506
449.73/229.01	c cleaning 55996 clauses out of 112008 with flag 4414222/3303505
459.13/233.72	c cleaning 57002 clauses out of 114015 with flag 4571424/3361508
468.93/238.63	c cleaning 57999 clauses out of 116010 with flag 4730293/3420505
480.53/244.46	c cleaning 59006 clauses out of 118011 with flag 4882505/3480505
492.53/250.46	c cleaning 59995 clauses out of 120005 with flag 5044682/3541505
502.92/255.62	c cleaning 60995 clauses out of 122010 with flag 5213748/3603505
512.93/260.63	c cleaning 62004 clauses out of 124015 with flag 5392419/3666505
522.53/265.40	c cleaning 62997 clauses out of 126012 with flag 5563176/3730506
533.72/271.08	c cleaning 64005 clauses out of 128014 with flag 5729832/3795505
545.52/276.92	c cleaning 64999 clauses out of 130009 with flag 5892481/3861505
556.52/282.50	c cleaning 66005 clauses out of 132010 with flag 6061236/3928505
568.91/288.69	c cleaning 66996 clauses out of 134007 with flag 6235745/3996507
580.91/294.69	c cleaning 68000 clauses out of 136009 with flag 6419337/4065505
593.11/300.74	c cleaning 69001 clauses out of 138010 with flag 6598376/4135506
605.91/307.18	c cleaning 70005 clauses out of 140009 with flag 6777831/4206506
618.51/313.47	c cleaning 70995 clauses out of 142004 with flag 6981110/4278506
631.92/320.15	c cleaning 71999 clauses out of 144009 with flag 7184157/4351506
645.32/326.84	c cleaning 72998 clauses out of 146010 with flag 7392262/4425506
658.52/333.41	c cleaning 74000 clauses out of 148011 with flag 7594623/4500505
672.30/340.30	c cleaning 75006 clauses out of 150012 with flag 7797712/4576506
686.30/347.33	c cleaning 75994 clauses out of 152005 with flag 7986951/4653505
700.49/354.45	c cleaning 77001 clauses out of 154012 with flag 8194734/4731506
715.89/362.20	c cleaning 78003 clauses out of 156010 with flag 8400744/4810505
732.49/370.44	c cleaning 78992 clauses out of 158009 with flag 8611755/4890507
748.89/378.66	c cleaning 79999 clauses out of 160016 with flag 8829114/4971506
765.57/387.11	c cleaning 81003 clauses out of 162016 with flag 9048026/5053505
781.38/395.04	c cleaning 82000 clauses out of 164013 with flag 9266600/5136505
798.56/403.62	c cleaning 83000 clauses out of 166013 with flag 9492241/5220505
815.36/412.01	c cleaning 84003 clauses out of 168013 with flag 9713526/5305505
834.95/421.87	c cleaning 84997 clauses out of 170011 with flag 9929535/5391506
851.77/430.28	c cleaning 86002 clauses out of 172014 with flag 10157862/5478506
869.37/439.02	c cleaning 86995 clauses out of 174011 with flag 10405947/5566505
886.78/447.77	c cleaning 88006 clauses out of 176016 with flag 10652752/5655505
903.36/456.04	c cleaning 89004 clauses out of 178012 with flag 10889100/5745507
920.36/464.50	c cleaning 90004 clauses out of 180008 with flag 11131828/5836507
938.96/473.89	c cleaning 90988 clauses out of 182002 with flag 11373855/5928505
958.15/483.44	c cleaning 92004 clauses out of 184014 with flag 11609510/6021505
975.76/492.23	c cleaning 92996 clauses out of 186010 with flag 11850071/6115505
993.95/501.38	c cleaning 94005 clauses out of 188014 with flag 12096714/6210505
1014.16/511.41	c cleaning 95002 clauses out of 190009 with flag 12333261/6306505
1034.56/521.65	c cleaning 95998 clauses out of 192007 with flag 12583362/6403505
1055.36/532.03	c cleaning 97001 clauses out of 194009 with flag 12837313/6501505
1075.57/542.13	c cleaning 98002 clauses out of 196008 with flag 13102122/6600505
1096.47/552.59	c cleaning 99003 clauses out of 198007 with flag 13364860/6700506
1115.68/562.13	c cleaning 99994 clauses out of 200003 with flag 13644370/6801505
1136.66/572.69	c cleaning 100999 clauses out of 202009 with flag 13911600/6903505
1158.86/583.73	c cleaning 101999 clauses out of 204011 with flag 14191245/7006506
1184.25/596.45	c cleaning 102996 clauses out of 206012 with flag 14458367/7110506
1208.26/608.48	c cleaning 104008 clauses out of 208015 with flag 14724227/7215505
1230.06/619.37	c cleaning 104999 clauses out of 210009 with flag 15010676/7321507
1251.45/630.08	c cleaning 105996 clauses out of 212008 with flag 15294641/7428505
1276.64/642.60	c cleaning 106997 clauses out of 214014 with flag 15573837/7536507
1298.83/653.79	c cleaning 107999 clauses out of 216015 with flag 15859263/7645505
1322.23/665.43	c cleaning 109003 clauses out of 218016 with flag 16134614/7755505
1344.64/676.63	c cleaning 109998 clauses out of 220013 with flag 16424968/7866505
1370.22/689.47	c cleaning 111006 clauses out of 222016 with flag 16707878/7978506
1396.97/702.75	c cleaning 112001 clauses out of 224009 with flag 16987947/8091505
1433.56/721.02	c cleaning 113001 clauses out of 226008 with flag 17256713/8205505
1468.16/738.36	c cleaning 114001 clauses out of 228007 with flag 17529464/8320505
1503.16/755.89	c cleaning 114997 clauses out of 230007 with flag 17819808/8436506
1527.36/767.93	c cleaning 116002 clauses out of 232011 with flag 18122974/8553507
1553.34/780.92	c cleaning 116991 clauses out of 234007 with flag 18432466/8671505
1588.14/798.33	c cleaning 118000 clauses out of 236017 with flag 18735868/8790506
1615.44/812.10	c cleaning 119004 clauses out of 238016 with flag 19049554/8910505
1641.64/825.27	c cleaning 120000 clauses out of 240012 with flag 19352921/9031505
1669.65/839.28	c cleaning 121004 clauses out of 242012 with flag 19650885/9153505
1702.24/855.54	c cleaning 121999 clauses out of 244008 with flag 19965254/9276505
1731.25/870.08	c cleaning 123005 clauses out of 246009 with flag 20280012/9400505
1757.65/883.30	c cleaning 123991 clauses out of 248004 with flag 20600837/9525505
1784.84/896.84	c cleaning 125000 clauses out of 250013 with flag 20934699/9651505
1800.04/904.40	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.04/904.40	c starts		: 154089
1800.04/904.40	c conflicts		: 9730787
1800.04/904.40	c decisions		: 24278570
1800.04/904.40	c propagations		: 525714622
1800.04/904.40	c inspects		: 10865826497
1800.04/904.40	c shortcuts		: 0
1800.04/904.40	c learnt literals	: 5
1800.04/904.40	c learnt binary clauses	: 5
1800.04/904.40	c learnt ternary clauses	: 46
1800.04/904.40	c learnt constraints	: 9730782
1800.04/904.40	c ignored constraints	: 0
1800.04/904.40	c root simplifications	: 0
1800.04/904.40	c removed literals (reason simplification)	: 64312567
1800.04/904.40	c reason swapping (by a shorter reason)	: 0
1800.04/904.40	c Calls to reduceDB	: 236
1800.04/904.40	c Number of update (reduction) of LBD	: 2057485
1800.04/904.40	c Imported unit clauses	: 0
1800.04/904.40	c number of reductions to clauses (during analyze)	: 0
1800.04/904.40	c number of learned constraints concerned by reduction	: 0
1800.04/904.40	c number of learning phase by resolution	: 0
1800.04/904.40	c number of learning phase by cutting planes	: 0
1800.04/904.40	c speed (assignments/second)	: 662040.72375397
1800.04/904.40	c non guided choices	0
1800.04/904.43	c learnt constraints type 
1800.04/904.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.04/904.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 204290
1800.04/904.43	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.04/904.43	c starts		: 42
1800.04/904.43	c conflicts		: 4969
1800.04/904.43	c decisions		: 37319
1800.04/904.43	c propagations		: 236563
1800.04/904.43	c inspects		: 98739806
1800.04/904.43	c shortcuts		: 0
1800.04/904.43	c learnt literals	: 3
1800.04/904.43	c learnt binary clauses	: 2
1800.04/904.43	c learnt ternary clauses	: 4
1800.04/904.43	c learnt constraints	: 4963
1800.04/904.43	c ignored constraints	: 0
1800.04/904.43	c root simplifications	: 0
1800.04/904.43	c removed literals (reason simplification)	: 0
1800.04/904.43	c reason swapping (by a shorter reason)	: 0
1800.04/904.43	c Calls to reduceDB	: 0
1800.04/904.43	c Number of update (reduction) of LBD	: 0
1800.04/904.43	c Imported unit clauses	: 0
1800.04/904.43	c number of reductions to clauses (during analyze)	: 0
1800.04/904.43	c number of learned constraints concerned by reduction	: 0
1800.04/904.43	c number of learning phase by resolution	: 0
1800.04/904.43	c number of learning phase by cutting planes	: 0
1800.04/904.43	c speed (assignments/second)	: 263.3809779353313
1800.04/904.43	c non guided choices	0
1800.04/904.43	c learnt constraints type 
1800.04/904.43	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 35
1800.04/904.43	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2
1800.04/904.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4926
1800.04/904.43	s SATISFIABLE
1800.04/904.43	c Found 18 solution(s)
1800.04/904.43	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 
1800.04/904.43	c objective function=1398
1800.04/904.43	c Total wall clock time (in seconds): 904.328

Verifier Data 

OK	1398

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-4081172-1465224572/watcher-4081172-1465224572 -o /tmp/evaluation-result-4081172-1465224572/solver-4081172-1465224572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12333 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081172-1465224572.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.49 4.13 3.23 3/185 12649
/proc/meminfo: memFree=31748196/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 104390482 98570240 978 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 24065 978 744 9 0 16771 0
[pid=12649/tid=12651] ppid=12646 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) R 12646 12649 12316 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 104390482 98570240 978 33554432000 1073741824 1073778376 140736274963248 139690457562664 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 4.49 4.13 3.23 3/185 12649
/proc/meminfo: memFree=31748196/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 4561 0 1 0 10 1 0 0 20 0 18 0 104390482 9787879424 5680 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2389619 5680 2158 9 0 2380296 0
[pid=12649/tid=12651] ppid=12646 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) R 12646 12649 12316 0 -1 4202560 2443 0 1 0 6 1 0 0 20 0 18 0 104390482 9787879424 5680 33554432000 1073741824 1073778376 140736274963248 139690457566112 262966142221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200364 s]
/proc/loadavg: 4.49 4.13 3.23 3/185 12649
/proc/meminfo: memFree=31748196/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 5001 0 1 0 27 1 0 0 20 0 18 0 104390482 9787879424 7016 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2389619 7016 2216 9 0 2380296 0
[pid=12649/tid=12651] ppid=12646 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) R 12646 12649 12316 0 -1 4202560 2457 0 1 0 16 1 0 0 20 0 18 0 104390482 9787879424 7016 33554432000 1073741824 1073778376 140736274963248 139690457566112 139690329674736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300352 s]
/proc/loadavg: 4.49 4.13 3.23 3/185 12649
/proc/meminfo: memFree=31748196/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 5177 0 1 0 34 1 0 0 20 0 19 0 104390482 10060525568 8686 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 8686 2240 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2468 0 1 0 19 2 0 0 20 0 19 0 104390482 10060525568 8686 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 9824732

[startup+0.700306 s]
/proc/loadavg: 4.49 4.13 3.23 3/185 12649
/proc/meminfo: memFree=31748196/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 5177 0 1 0 34 1 0 0 20 0 19 0 104390482 10060525568 8686 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 8686 2240 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2468 0 1 0 19 2 0 0 20 0 19 0 104390482 10060525568 8686 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.49 4.13 3.23 1/213 12689
/proc/meminfo: memFree=31674920/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 13961 0 1 0 162 7 0 0 20 0 19 0 104390482 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 17017 2260 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2470 0 1 0 20 2 0 0 20 0 19 0 104390482 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12655] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12655/stat : 12655 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690301189032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12656] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12656/stat : 12656 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690300136488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12657] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12657/stat : 12657 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690299083432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12658] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12658/stat : 12658 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690298030888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12659] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12659/stat : 12659 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690296977832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12660] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12660/stat : 12660 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690295925288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12661] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12661/stat : 12661 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690294872232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12662] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12662/stat : 12662 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690293819688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12663] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12663/stat : 12663 (java) S 12646 12649 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104390484 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690281622376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12664] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12664/stat : 12664 (java) S 12646 12649 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104390484 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690280568696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12665] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12665/stat : 12665 (java) S 12646 12649 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104390484 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690279515528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12671] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12671/stat : 12671 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390486 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690278464272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12672] ppid=12646 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/12649/task/12672/stat : 12672 (java) S 12646 12649 12316 0 -1 4202560 6307 0 0 0 52 2 0 0 20 0 19 0 104390486 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690277411128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12673] ppid=12646 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/12649/task/12673/stat : 12673 (java) S 12646 12649 12316 0 -1 4202560 3833 0 0 0 42 0 0 0 20 0 19 0 104390486 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690276358584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12674] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12674/stat : 12674 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390486 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690275305720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12675] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12675/stat : 12675 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390486 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690274253384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12682] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12682/stat : 12682 (java) S 12646 12649 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104390505 10060525568 17017 33554432000 1073741824 1073778376 140736274963248 139690271094056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.49 4.13 3.23 1/213 12704
/proc/meminfo: memFree=31625948/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=3.93 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 23707 0 1 0 377 16 0 0 20 0 19 0 104390482 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 48200 2287 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2471 0 1 0 21 2 0 0 20 0 19 0 104390482 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12655] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12655/stat : 12655 (java) S 12646 12649 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690301189032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12656] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12656/stat : 12656 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690300136488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12657] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12657/stat : 12657 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690299083432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12658] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12658/stat : 12658 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690298030888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12659] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12659/stat : 12659 (java) S 12646 12649 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690296977832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12660] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12660/stat : 12660 (java) S 12646 12649 12316 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690295925288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12661] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12661/stat : 12661 (java) S 12646 12649 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690294872232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12662] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12662/stat : 12662 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104390483 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690293819688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12663] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12663/stat : 12663 (java) S 12646 12649 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104390484 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690281622376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12664] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12664/stat : 12664 (java) S 12646 12649 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104390484 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690280568696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12665] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12665/stat : 12665 (java) S 12646 12649 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104390484 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690279515528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12671] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12671/stat : 12671 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390486 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690278464272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12672] ppid=12646 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/12649/task/12672/stat : 12672 (java) S 12646 12649 12316 0 -1 4202560 11329 0 0 0 106 2 0 0 20 0 19 0 104390486 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690277411128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12673] ppid=12646 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/12649/task/12673/stat : 12673 (java) S 12646 12649 12316 0 -1 4202560 8435 0 0 0 84 1 0 0 20 0 19 0 104390486 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690276358584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12674] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12674/stat : 12674 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390486 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690275305720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12675] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12675/stat : 12675 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390486 10060525568 48200 33554432000 1073741824 1073778376 140736274963248 139690274253384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9824732

[startup+6.30076 s]
/proc/loadavg: 4.29 4.09 3.22 1/213 12737
/proc/meminfo: memFree=31341980/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=7.93 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 25303 0 1 0 766 27 0 0 20 0 22 0 104390482 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 71104 2288 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2472 0 1 0 21 2 0 0 20 0 22 0 104390482 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12655] ppid=12646 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/12649/task/12655/stat : 12655 (java) S 12646 12649 12316 0 -1 4202560 67 0 0 0 5 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690301189032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12656] ppid=12646 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12649/task/12656/stat : 12656 (java) S 12646 12649 12316 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690300136488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12657] ppid=12646 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12649/task/12657/stat : 12657 (java) S 12646 12649 12316 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690299083432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12658] ppid=12646 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/12649/task/12658/stat : 12658 (java) S 12646 12649 12316 0 -1 4202560 51 0 0 0 4 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690298030888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12659] ppid=12646 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/12649/task/12659/stat : 12659 (java) S 12646 12649 12316 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690296977832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12660] ppid=12646 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12649/task/12660/stat : 12660 (java) S 12646 12649 12316 0 -1 4202560 57 0 0 0 1 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690295925288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12661] ppid=12646 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/12649/task/12661/stat : 12661 (java) S 12646 12649 12316 0 -1 4202560 75 0 0 0 3 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690294872232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12662] ppid=12646 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/12649/task/12662/stat : 12662 (java) S 12646 12649 12316 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104390483 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690293819688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12663] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12663/stat : 12663 (java) S 12646 12649 12316 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690281622376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12664] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12664/stat : 12664 (java) S 12646 12649 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690280568696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12665] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12665/stat : 12665 (java) S 12646 12649 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690279515528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12671] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12671/stat : 12671 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690278464272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12672] ppid=12646 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/12649/task/12672/stat : 12672 (java) S 12646 12649 12316 0 -1 4202560 12521 0 0 0 168 2 0 0 20 0 22 0 104390486 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690277411128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12673] ppid=12646 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/12649/task/12673/stat : 12673 (java) S 12646 12649 12316 0 -1 4202560 8437 0 0 0 103 1 0 0 20 0 22 0 104390486 10060525568 71104 33554432000 1073741824 1073778376 140736274963248 139690276358584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12674] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.06 4.03 3.67 5/219 12907
/proc/meminfo: memFree=27280720/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=1635.84 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 33410 0 1 0 163413 171 0 0 20 0 22 0 104390482 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 756617 2296 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2475 0 1 0 25 2 0 0 20 0 22 0 104390482 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12655] ppid=12646 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/12649/task/12655/stat : 12655 (java) S 12646 12649 12316 0 -1 4202560 340 0 0 0 53 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690301189032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12656] ppid=12646 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/12649/task/12656/stat : 12656 (java) S 12646 12649 12316 0 -1 4202560 323 0 0 0 48 10 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690300136488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12657] ppid=12646 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/12649/task/12657/stat : 12657 (java) S 12646 12649 12316 0 -1 4202560 310 0 0 0 50 11 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690299083432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12658] ppid=12646 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/12649/task/12658/stat : 12658 (java) S 12646 12649 12316 0 -1 4202560 400 0 0 0 46 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690298030888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12659] ppid=12646 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/12649/task/12659/stat : 12659 (java) S 12646 12649 12316 0 -1 4202560 246 0 0 0 47 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690296977832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12660] ppid=12646 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/12649/task/12660/stat : 12660 (java) S 12646 12649 12316 0 -1 4202560 417 0 0 0 52 10 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690295925288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12661] ppid=12646 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/12649/task/12661/stat : 12661 (java) S 12646 12649 12316 0 -1 4202560 382 0 0 0 50 9 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690294872232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12662] ppid=12646 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/12649/task/12662/stat : 12662 (java) S 12646 12649 12316 0 -1 4202560 267 0 0 0 50 13 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690293819688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12663] ppid=12646 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/12649/task/12663/stat : 12663 (java) S 12646 12649 12316 0 -1 4202560 1640 0 0 0 149 6 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690281622376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12664] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12664/stat : 12664 (java) S 12646 12649 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690280568696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12665] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12665/stat : 12665 (java) S 12646 12649 12316 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690279515528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12671] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12671/stat : 12671 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690278464272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12672] ppid=12646 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/12649/task/12672/stat : 12672 (java) S 12646 12649 12316 0 -1 4202560 12526 0 0 0 174 2 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690277411128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12673] ppid=12646 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/12649/task/12673/stat : 12673 (java) S 12646 12649 12316 0 -1 4202560 11020 0 0 0 173 2 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690276358584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12674] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12674/stat : 12674 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690275305720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12675] ppid=12646 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/12649/task/12675/stat : 12675 (java) S 12646 12649 12316 0 -1 4202560 47 0 0 0 8 11 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690274253384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12749] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12749/stat : 12749 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104391107 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690272147112 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12860] ppid=12646 vsize=9824732 CPUtime=709.86 cores=1,3,5,7
/proc/12649/task/12860/stat : 12860 (java) R 12646 12649 12316 0 -1 4202560 8 0 0 0 70974 12 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690270031632 139690330131444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12861] ppid=12646 vsize=9824732 CPUtime=709.99 cores=1,3,5,7
/proc/12649/task/12861/stat : 12861 (java) R 12646 12649 12316 0 -1 4202560 5 0 0 0 70986 13 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690271091440 139690330818646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12862] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12862/stat : 12862 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690273199784 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1635.84
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.09 4.04 3.69 5/219 12908
/proc/meminfo: memFree=27273360/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=1755.86 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 33414 0 1 0 175413 173 0 0 20 0 22 0 104390482 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 756617 2296 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2475 0 1 0 25 2 0 0 20 0 22 0 104390482 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12655] ppid=12646 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/12649/task/12655/stat : 12655 (java) S 12646 12649 12316 0 -1 4202560 340 0 0 0 53 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690301189032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12656] ppid=12646 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/12649/task/12656/stat : 12656 (java) S 12646 12649 12316 0 -1 4202560 323 0 0 0 48 10 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690300136488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12657] ppid=12646 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/12649/task/12657/stat : 12657 (java) S 12646 12649 12316 0 -1 4202560 310 0 0 0 50 11 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690299083432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12658] ppid=12646 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/12649/task/12658/stat : 12658 (java) S 12646 12649 12316 0 -1 4202560 400 0 0 0 46 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690298030888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12659] ppid=12646 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/12649/task/12659/stat : 12659 (java) S 12646 12649 12316 0 -1 4202560 246 0 0 0 47 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690296977832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12660] ppid=12646 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/12649/task/12660/stat : 12660 (java) S 12646 12649 12316 0 -1 4202560 417 0 0 0 52 10 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690295925288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12661] ppid=12646 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/12649/task/12661/stat : 12661 (java) S 12646 12649 12316 0 -1 4202560 382 0 0 0 50 9 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690294872232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12662] ppid=12646 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/12649/task/12662/stat : 12662 (java) S 12646 12649 12316 0 -1 4202560 267 0 0 0 50 13 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690293819688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12663] ppid=12646 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/12649/task/12663/stat : 12663 (java) S 12646 12649 12316 0 -1 4202560 1640 0 0 0 149 6 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690281622376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12664] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12664/stat : 12664 (java) S 12646 12649 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690280568696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12665] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12665/stat : 12665 (java) S 12646 12649 12316 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690279515528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12671] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12671/stat : 12671 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690278464272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12672] ppid=12646 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/12649/task/12672/stat : 12672 (java) S 12646 12649 12316 0 -1 4202560 12526 0 0 0 174 2 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690277411128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12673] ppid=12646 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/12649/task/12673/stat : 12673 (java) S 12646 12649 12316 0 -1 4202560 11020 0 0 0 173 2 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690276358584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12674] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12674/stat : 12674 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690275305720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12675] ppid=12646 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/12649/task/12675/stat : 12675 (java) S 12646 12649 12316 0 -1 4202560 51 0 0 0 8 13 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690274253384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12749] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12749/stat : 12749 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104391107 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690272147112 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12860] ppid=12646 vsize=9824732 CPUtime=769.87 cores=1,3,5,7
/proc/12649/task/12860/stat : 12860 (java) R 12646 12649 12316 0 -1 4202560 8 0 0 0 76974 13 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690270031632 139690330116703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12861] ppid=12646 vsize=9824732 CPUtime=769.99 cores=1,3,5,7
/proc/12649/task/12861/stat : 12861 (java) R 12646 12649 12316 0 -1 4202560 5 0 0 0 76985 14 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690271091440 139690330225422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12862] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12862/stat : 12862 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690273199784 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1755.86
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.401 s]
/proc/loadavg: 4.06 4.04 3.70 5/219 12909
/proc/meminfo: memFree=27272368/32872528 swapFree=11320/319964
[pid=12649] ppid=12646 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/12649/stat : 12649 (java) S 12646 12649 12316 0 -1 4202496 33416 0 1 0 179831 173 0 0 20 0 22 0 104390482 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 140736274954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12649/statm: 2456183 756617 2296 9 0 2446860 0
[pid=12649/tid=12651] ppid=12646 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/12649/task/12651/stat : 12651 (java) S 12646 12649 12316 0 -1 4202560 2475 0 1 0 25 2 0 0 20 0 22 0 104390482 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690457568120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12655] ppid=12646 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/12649/task/12655/stat : 12655 (java) S 12646 12649 12316 0 -1 4202560 340 0 0 0 53 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690301189032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12656] ppid=12646 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/12649/task/12656/stat : 12656 (java) S 12646 12649 12316 0 -1 4202560 323 0 0 0 48 10 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690300136488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12657] ppid=12646 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/12649/task/12657/stat : 12657 (java) S 12646 12649 12316 0 -1 4202560 310 0 0 0 50 11 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690299083432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12658] ppid=12646 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/12649/task/12658/stat : 12658 (java) S 12646 12649 12316 0 -1 4202560 400 0 0 0 46 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690298030888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12659] ppid=12646 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/12649/task/12659/stat : 12659 (java) S 12646 12649 12316 0 -1 4202560 246 0 0 0 47 8 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690296977832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12660] ppid=12646 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/12649/task/12660/stat : 12660 (java) S 12646 12649 12316 0 -1 4202560 417 0 0 0 52 10 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690295925288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12661] ppid=12646 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/12649/task/12661/stat : 12661 (java) S 12646 12649 12316 0 -1 4202560 382 0 0 0 50 9 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690294872232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12662] ppid=12646 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/12649/task/12662/stat : 12662 (java) S 12646 12649 12316 0 -1 4202560 267 0 0 0 50 13 0 0 20 0 22 0 104390483 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690293819688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12663] ppid=12646 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/12649/task/12663/stat : 12663 (java) S 12646 12649 12316 0 -1 4202560 1640 0 0 0 149 6 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690281622376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12664] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12664/stat : 12664 (java) S 12646 12649 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690280568696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12665] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12665/stat : 12665 (java) S 12646 12649 12316 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104390484 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690279515528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12671] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12671/stat : 12671 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690278464272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12672] ppid=12646 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/12649/task/12672/stat : 12672 (java) S 12646 12649 12316 0 -1 4202560 12526 0 0 0 174 2 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690277411128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12673] ppid=12646 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/12649/task/12673/stat : 12673 (java) S 12646 12649 12316 0 -1 4202560 11020 0 0 0 173 2 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690276358584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12674] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12674/stat : 12674 (java) S 12646 12649 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690275305720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12675] ppid=12646 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/12649/task/12675/stat : 12675 (java) S 12646 12649 12316 0 -1 4202560 53 0 0 0 9 13 0 0 20 0 22 0 104390486 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690274253384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12649/tid=12749] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12749/stat : 12749 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104391107 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690272147112 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12649/tid=12860] ppid=12646 vsize=9824732 CPUtime=791.96 cores=1,3,5,7
/proc/12649/task/12860/stat : 12860 (java) R 12646 12649 12316 0 -1 4202560 8 0 0 0 79182 14 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690270031632 139690330116691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12649/tid=12861] ppid=12646 vsize=9824732 CPUtime=792.08 cores=1,3,5,7
/proc/12649/task/12861/stat : 12861 (java) R 12646 12649 12316 0 -1 4202560 5 0 0 0 79193 15 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690271091440 139690330701321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12649/tid=12862] ppid=12646 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12649/task/12862/stat : 12862 (java) S 12646 12649 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104401514 10060525568 756617 33554432000 1073741824 1073778376 140736274963248 139690273199784 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 12649 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 904.461
CPU time (s): 1800.53
CPU user time (s): 1798.37
CPU system time (s): 2.15967
CPU usage (%): 199.072
Max. virtual memory (cumulated for all children) (KiB): 9825944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 2.15967
maximum resident set size= 3026600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33460
page faults= 1
swaps= 0
block input operations= 8
block output operations= 672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22496
involuntary context switches= 19151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25105 second user time and 6.578 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 16:49:32
IDJOB=4081172
IDBENCH=2020
IDSOLVER=2543
FILE ID=node128/4081172-1465224572
RUNJOBID= node128-1465223671-12333
PBS_JOBID= 19843236
Free space on /tmp= 71748 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-cmb.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081172-1465224572/watcher-4081172-1465224572 -o /tmp/evaluation-result-4081172-1465224572/solver-4081172-1465224572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12333 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081172-1465224572.opb

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

MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682
RANDOM SEED=1351520844

node128.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.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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.486
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.486
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.486
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.486
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.54
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.486
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.56
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.486
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.486
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:        31756000 kB
Buffers:           14072 kB
Cached:            78788 kB
SwapCached:         1660 kB
Active:            59896 kB
Inactive:          36852 kB
Active(anon):       6132 kB
Inactive(anon):      512 kB
Active(file):      53764 kB
Inactive(file):    36340 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:              1624 kB
Writeback:             0 kB
AnonPages:        324004 kB
Mapped:             8920 kB
Shmem:                 0 kB
Slab:             567908 kB
SReclaimable:      11176 kB
SUnreclaim:       556732 kB
KernelStack:        1416 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     442820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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= 71748 MiB
End job on node128 at 2016-06-06 17:04:37