Trace number 4081330

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)165 1800.19 901.287

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
MD5SUM3183c84355c854880486b3d148840656
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark120
Best CPU time to get the best result obtained on this benchmark0.632903
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 120
Optimality of the best value was proved YES
Number of variables1076
Total number of constraints1030
Number of constraints which are clauses1030
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint40
Number of terms in the objective function 1076
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1076
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1076
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4081330-1465231365.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  objective function found
0.29/0.28	c ... done. Wall clock time 0.171s.
0.29/0.28	c declared #vars     1076
0.29/0.28	c #constraints  1030
0.29/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 991
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39
0.29/0.28	c 1030 constraints processed.
0.29/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 39
0.29/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 991
0.29/0.28	c 1030 constraints processed.
0.29/0.28	c objective function length is 1076 literals
0.58/0.30	c And the winner is solver0
0.67/0.78	c SATISFIABLE
0.67/0.78	c OPTIMIZING...
0.67/0.78	c Got one! Elapsed wall clock time (in seconds):0.677
0.67/0.78	o 177
2.04/1.28	c And the winner is solver1
2.36/1.31	c cleaning 2496 clauses out of 5002 with flag 10569/5002
2.36/1.34	c Got one! Elapsed wall clock time (in seconds):1.235
2.36/1.34	o 176
3.09/1.52	c And the winner is solver1
3.37/1.85	c Got one! Elapsed wall clock time (in seconds):1.742
3.37/1.85	o 175
3.97/2.19	c And the winner is solver1
4.29/2.35	c Got one! Elapsed wall clock time (in seconds):2.245
4.29/2.35	o 174
4.84/2.60	c cleaning 4472 clauses out of 8944 with flag 5064/11440
6.30/3.33	c cleaning 5234 clauses out of 10473 with flag 20549/17441
7.93/4.19	c cleaning 6117 clauses out of 12239 with flag 38309/24441
10.01/5.19	c cleaning 7060 clauses out of 14122 with flag 60015/32441
10.21/5.21	c And the winner is solver1
10.22/5.35	c Got one! Elapsed wall clock time (in seconds):5.248
10.22/5.35	o 173
11.35/5.96	c cleaning 6103 clauses out of 12209 with flag 12686/37588
12.77/6.68	c cleaning 6056 clauses out of 12112 with flag 28407/43594
14.63/7.55	c cleaning 6524 clauses out of 13052 with flag 46648/50590
16.63/8.54	c cleaning 7262 clauses out of 14526 with flag 67131/58588
17.24/8.85	c And the winner is solver1
17.24/8.87	c Got one! Elapsed wall clock time (in seconds):8.762
17.24/8.87	o 172
17.99/9.24	c cleaning 6525 clauses out of 13054 with flag 7464/64378
19.67/10.01	c cleaning 6266 clauses out of 12531 with flag 22509/70380
21.26/10.88	c cleaning 6628 clauses out of 13262 with flag 39857/77377
23.26/11.87	c cleaning 7317 clauses out of 14634 with flag 60218/85377
25.55/12.97	c And the winner is solver1
25.68/13.37	c Got one! Elapsed wall clock time (in seconds):13.266
25.68/13.37	o 171
26.93/14.07	c cleaning 10406 clauses out of 20820 with flag 12724/98880
28.73/14.93	c cleaning 8207 clauses out of 16413 with flag 28030/104879
30.73/15.94	c cleaning 7602 clauses out of 15206 with flag 46266/111879
32.93/17.01	c cleaning 7798 clauses out of 15604 with flag 66594/119879
35.50/18.24	c cleaning 8402 clauses out of 16806 with flag 90256/128879
38.11/19.56	c cleaning 9202 clauses out of 18403 with flag 116988/138878
39.32/20.13	c And the winner is solver1
39.36/20.37	c Got one! Elapsed wall clock time (in seconds):20.269
39.36/20.37	o 170
39.41/20.49	c cleaning 7355 clauses out of 14723 with flag 2479/144400
40.81/21.20	c cleaning 6685 clauses out of 13369 with flag 17253/150401
42.96/22.11	c cleaning 6843 clauses out of 13685 with flag 35451/157402
44.97/23.11	c cleaning 7421 clauses out of 14841 with flag 56720/165401
47.18/24.29	c cleaning 8208 clauses out of 16419 with flag 78795/174400
49.77/25.58	c cleaning 9105 clauses out of 18211 with flag 104069/184400
52.56/26.97	c cleaning 10049 clauses out of 20106 with flag 132170/195400
55.77/28.52	c cleaning 11028 clauses out of 22058 with flag 162885/207401
59.54/30.37	c cleaning 12011 clauses out of 24029 with flag 195056/220400
63.54/32.38	c cleaning 13002 clauses out of 26019 with flag 230388/234401
66.94/34.02	c And the winner is solver1
66.94/34.38	c Got one! Elapsed wall clock time (in seconds):34.275
66.94/34.38	o 169
68.17/35.02	c cleaning 15057 clauses out of 30129 with flag 12581/251513
69.57/35.79	c cleaning 10533 clauses out of 21071 with flag 27612/257512
71.37/36.65	c cleaning 8766 clauses out of 17538 with flag 45493/264512
73.80/37.74	c cleaning 8382 clauses out of 16772 with flag 66667/272512
76.11/38.85	c cleaning 8691 clauses out of 17390 with flag 90258/281512
78.71/40.18	c cleaning 9347 clauses out of 18700 with flag 115938/291513
81.72/41.65	c cleaning 10171 clauses out of 20353 with flag 143891/302513
85.12/43.33	c cleaning 11089 clauses out of 22181 with flag 175293/314512
88.74/45.19	c cleaning 12042 clauses out of 24092 with flag 208285/327512
92.52/47.08	c cleaning 13022 clauses out of 26051 with flag 243725/341513
97.12/49.32	c cleaning 14013 clauses out of 28029 with flag 284731/356513
100.05/50.64	c And the winner is solver1
100.06/50.89	c Got one! Elapsed wall clock time (in seconds):50.782
100.06/50.89	o 168
101.30/51.52	c cleaning 13787 clauses out of 27579 with flag 12520/370076
102.70/52.25	c cleaning 9895 clauses out of 19791 with flag 27366/376075
104.51/53.12	c cleaning 8441 clauses out of 16896 with flag 44890/383075
106.51/54.10	c cleaning 8222 clauses out of 16454 with flag 65434/391074
108.52/55.18	c cleaning 8616 clauses out of 17234 with flag 89108/400076
111.11/56.44	c cleaning 9305 clauses out of 18616 with flag 116446/410074
113.91/57.84	c cleaning 10155 clauses out of 20312 with flag 148226/421075
117.12/59.44	c cleaning 11075 clauses out of 22157 with flag 183333/433075
120.71/61.22	c cleaning 12040 clauses out of 24081 with flag 220953/446074
124.51/63.13	c cleaning 13021 clauses out of 26042 with flag 256194/460075
129.63/65.52	c cleaning 14010 clauses out of 28020 with flag 294489/475074
134.43/67.96	c cleaning 15005 clauses out of 30010 with flag 335886/491074
140.03/70.75	c cleaning 16000 clauses out of 32005 with flag 380892/508074
145.63/73.53	c cleaning 16996 clauses out of 34005 with flag 427057/526074
151.63/76.55	c And the winner is solver1
151.63/76.89	c Got one! Elapsed wall clock time (in seconds):76.788
151.63/76.89	o 167
152.90/77.57	c cleaning 20409 clauses out of 40819 with flag 12520/549884
154.32/78.28	c cleaning 13203 clauses out of 26409 with flag 27622/555883
156.11/79.12	c cleaning 10104 clauses out of 20207 with flag 45629/562884
158.11/80.13	c cleaning 9047 clauses out of 18103 with flag 65639/570884
160.51/81.35	c cleaning 9028 clauses out of 18057 with flag 89110/579885
163.30/82.73	c cleaning 9513 clauses out of 19028 with flag 115307/589884
167.68/85.17	c cleaning 10253 clauses out of 20514 with flag 143961/600883
171.08/86.86	c cleaning 11128 clauses out of 22261 with flag 175927/612883
174.68/88.69	c cleaning 12064 clauses out of 24134 with flag 213240/625884
178.88/90.73	c cleaning 13033 clauses out of 26070 with flag 252072/639884
183.28/92.95	c cleaning 14015 clauses out of 28036 with flag 292234/654883
187.68/95.18	c cleaning 15010 clauses out of 30022 with flag 336787/670884
192.48/97.58	c cleaning 16002 clauses out of 32011 with flag 381825/687883
197.89/100.25	c cleaning 17005 clauses out of 34009 with flag 429059/705883
204.26/103.33	c cleaning 18003 clauses out of 36005 with flag 479200/724884
210.26/106.39	c cleaning 19000 clauses out of 38001 with flag 533858/744883
216.46/109.42	c cleaning 20001 clauses out of 40002 with flag 587621/765884
223.25/112.80	c cleaning 21000 clauses out of 42001 with flag 644840/787884
230.87/116.69	c cleaning 22000 clauses out of 44000 with flag 710337/810883
239.05/120.79	c cleaning 22997 clauses out of 46000 with flag 776846/834883
248.20/125.17	c cleaning 24000 clauses out of 48004 with flag 849443/859884
257.05/129.55	c cleaning 25001 clauses out of 50003 with flag 923390/885883
265.84/133.95	c cleaning 25997 clauses out of 52005 with flag 997090/912886
275.26/138.70	c cleaning 26998 clauses out of 54005 with flag 1073263/940883
285.45/143.76	c cleaning 28001 clauses out of 56008 with flag 1147061/969884
297.42/150.10	c And the winner is solver1
297.62/150.10	c Got one! Elapsed wall clock time (in seconds):150.0
297.62/150.10	o 166
298.84/150.90	c cleaning 30280 clauses out of 60560 with flag 12505/1002437
300.62/151.70	c cleaning 18138 clauses out of 36280 with flag 27418/1008437
302.42/152.60	c cleaning 12570 clauses out of 25143 with flag 45667/1015438
304.42/153.64	c cleaning 10286 clauses out of 20573 with flag 67384/1023438
306.62/154.74	c cleaning 9642 clauses out of 19286 with flag 91330/1032437
309.02/155.97	c cleaning 9819 clauses out of 19645 with flag 117818/1042438
311.83/157.35	c cleaning 10407 clauses out of 20825 with flag 146706/1053437
315.02/158.91	c cleaning 11209 clauses out of 22419 with flag 176366/1065438
318.22/160.55	c cleaning 12101 clauses out of 24209 with flag 210238/1078437
321.82/162.33	c cleaning 13056 clauses out of 26111 with flag 245963/1092440
325.62/164.29	c cleaning 14020 clauses out of 28052 with flag 284733/1107437
329.82/166.34	c cleaning 15014 clauses out of 30032 with flag 328095/1123437
334.71/168.70	c cleaning 16003 clauses out of 32018 with flag 372175/1140437
339.91/171.38	c cleaning 17006 clauses out of 34015 with flag 421924/1158437
345.71/174.27	c cleaning 18003 clauses out of 36010 with flag 476944/1177438
351.91/177.36	c cleaning 18997 clauses out of 38006 with flag 532495/1197437
357.91/180.40	c cleaning 20000 clauses out of 40009 with flag 588293/1218437
364.51/183.65	c cleaning 21004 clauses out of 42009 with flag 648891/1240437
368.75/185.61	c And the winner is solver1
368.75/185.61	c Got one! Elapsed wall clock time (in seconds):185.51
368.75/185.61	o 165
369.76/186.27	c cleaning 19325 clauses out of 38650 with flag 12712/1258082
371.37/187.02	c cleaning 12662 clauses out of 25326 with flag 28706/1264083
372.96/187.89	c cleaning 9821 clauses out of 19662 with flag 46859/1271081
374.96/188.90	c cleaning 8916 clauses out of 17841 with flag 69224/1279081
377.35/190.05	c cleaning 8958 clauses out of 17925 with flag 95050/1288081
379.95/191.32	c cleaning 9477 clauses out of 18968 with flag 122488/1298082
382.75/192.76	c cleaning 10242 clauses out of 20490 with flag 154425/1309081
385.95/194.36	c cleaning 11122 clauses out of 22248 with flag 192754/1321081
389.55/196.16	c cleaning 12057 clauses out of 24126 with flag 233328/1334081
393.57/198.13	c cleaning 13033 clauses out of 26070 with flag 278766/1348082
397.97/200.32	c cleaning 14019 clauses out of 28037 with flag 328212/1363082
402.37/202.59	c cleaning 15006 clauses out of 30017 with flag 372657/1379081
407.92/205.14	c cleaning 16004 clauses out of 32011 with flag 416759/1396081
413.12/207.76	c cleaning 17000 clauses out of 34007 with flag 464298/1414081
418.52/210.42	c cleaning 18002 clauses out of 36010 with flag 514398/1433084
424.32/213.33	c cleaning 19002 clauses out of 38006 with flag 565996/1453082
430.31/216.38	c cleaning 19998 clauses out of 40005 with flag 619836/1474083
437.31/219.87	c cleaning 20999 clauses out of 42005 with flag 679090/1496081
445.48/223.84	c cleaning 22003 clauses out of 44007 with flag 747987/1519082
453.68/227.96	c cleaning 22999 clauses out of 46004 with flag 812250/1543082
461.87/232.01	c cleaning 23999 clauses out of 48004 with flag 876406/1568081
470.27/236.24	c cleaning 25001 clauses out of 50006 with flag 942086/1594082
479.77/240.87	c cleaning 26000 clauses out of 52004 with flag 1015293/1621081
489.77/245.88	c cleaning 26999 clauses out of 54005 with flag 1100497/1649082
500.17/251.09	c cleaning 28000 clauses out of 56005 with flag 1191551/1678081
513.58/258.40	c cleaning 29003 clauses out of 58005 with flag 1272741/1708081
525.38/264.40	c cleaning 29997 clauses out of 60003 with flag 1358836/1739082
538.87/271.10	c cleaning 31003 clauses out of 62005 with flag 1452996/1771081
552.27/277.77	c cleaning 31998 clauses out of 64004 with flag 1545338/1804083
566.27/284.71	c cleaning 33001 clauses out of 66004 with flag 1637775/1838081
580.86/292.03	c cleaning 34000 clauses out of 68004 with flag 1732376/1873082
595.46/299.27	c cleaning 35000 clauses out of 70004 with flag 1830366/1909082
610.44/306.71	c cleaning 35998 clauses out of 72004 with flag 1942778/1946082
625.43/314.20	c cleaning 37003 clauses out of 74006 with flag 2069694/1984082
641.84/322.44	c cleaning 37999 clauses out of 76003 with flag 2174647/2023082
657.62/330.34	c cleaning 38999 clauses out of 78003 with flag 2276222/2063081
674.23/338.68	c cleaning 40001 clauses out of 80004 with flag 2383838/2104081
691.02/347.07	c cleaning 41003 clauses out of 82005 with flag 2500863/2146083
708.82/355.92	c cleaning 41996 clauses out of 84000 with flag 2618434/2189081
726.82/364.89	c cleaning 42999 clauses out of 86004 with flag 2737539/2233081
747.81/375.35	c cleaning 43996 clauses out of 88005 with flag 2871105/2278081
771.01/386.96	c cleaning 45000 clauses out of 90009 with flag 3004091/2324081
794.20/398.50	c cleaning 45997 clauses out of 92009 with flag 3120290/2371081
814.60/408.80	c cleaning 47003 clauses out of 94013 with flag 3252500/2419082
837.20/420.00	c cleaning 48002 clauses out of 96009 with flag 3383240/2468081
861.59/432.22	c cleaning 49003 clauses out of 98007 with flag 3513645/2518081
884.60/443.76	c cleaning 50000 clauses out of 100005 with flag 3646458/2569082
910.79/456.80	c cleaning 51002 clauses out of 102004 with flag 3808026/2621081
938.47/470.56	c cleaning 51996 clauses out of 104002 with flag 3977910/2674081
967.27/484.99	c cleaning 52999 clauses out of 106006 with flag 4123229/2728081
996.28/499.48	c cleaning 54001 clauses out of 108008 with flag 4270833/2783082
1023.87/513.26	c cleaning 55005 clauses out of 110009 with flag 4415259/2839084
1053.48/528.05	c cleaning 56003 clauses out of 112005 with flag 4573288/2896085
1084.67/543.61	c cleaning 56997 clauses out of 114000 with flag 4728188/2954083
1115.66/559.13	c cleaning 57994 clauses out of 116001 with flag 4884723/3013081
1146.87/574.79	c cleaning 59005 clauses out of 118009 with flag 5046981/3073083
1178.47/590.54	c cleaning 59998 clauses out of 120002 with flag 5207770/3134081
1211.92/607.16	c cleaning 60999 clauses out of 122005 with flag 5382793/3196082
1247.91/625.16	c cleaning 61997 clauses out of 124005 with flag 5566393/3259081
1280.51/641.49	c cleaning 63001 clauses out of 126008 with flag 5735430/3323081
1319.91/661.14	c cleaning 63997 clauses out of 128007 with flag 5905963/3388081
1360.48/681.43	c cleaning 65003 clauses out of 130010 with flag 6087566/3454081
1400.67/701.51	c cleaning 65998 clauses out of 132007 with flag 6269910/3521081
1438.68/720.58	c cleaning 67000 clauses out of 134009 with flag 6466556/3589081
1478.48/740.39	c cleaning 68002 clauses out of 136009 with flag 6644992/3658081
1515.66/758.96	c cleaning 68997 clauses out of 138007 with flag 6829732/3728081
1557.25/779.73	c cleaning 70005 clauses out of 140010 with flag 7014641/3799081
1596.44/799.32	c cleaning 70998 clauses out of 142005 with flag 7208142/3871081
1638.23/820.20	c cleaning 72003 clauses out of 144010 with flag 7430955/3944084
1680.43/841.30	c cleaning 72996 clauses out of 146006 with flag 7630940/4018083
1723.01/862.63	c cleaning 74000 clauses out of 148008 with flag 7862666/4093081
1768.82/885.60	c cleaning 74997 clauses out of 150009 with flag 8087818/4169082
1800.19/901.20	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.19/901.20	c starts		: 83273
1800.19/901.20	c conflicts		: 4218940
1800.19/901.20	c decisions		: 21032645
1800.19/901.20	c propagations		: 499805532
1800.19/901.20	c inspects		: 11413970326
1800.19/901.20	c shortcuts		: 0
1800.19/901.20	c learnt literals	: 0
1800.19/901.20	c learnt binary clauses	: 0
1800.19/901.20	c learnt ternary clauses	: 0
1800.19/901.20	c learnt constraints	: 4218940
1800.19/901.20	c ignored constraints	: 0
1800.19/901.20	c root simplifications	: 0
1800.19/901.20	c removed literals (reason simplification)	: 12701242
1800.19/901.20	c reason swapping (by a shorter reason)	: 0
1800.19/901.20	c Calls to reduceDB	: 169
1800.19/901.20	c Number of update (reduction) of LBD	: 630563
1800.19/901.20	c Imported unit clauses	: 0
1800.19/901.20	c number of reductions to clauses (during analyze)	: 0
1800.19/901.20	c number of learned constraints concerned by reduction	: 0
1800.19/901.20	c number of learning phase by resolution	: 0
1800.19/901.20	c number of learning phase by cutting planes	: 0
1800.19/901.20	c speed (assignments/second)	: 698457.2510603212
1800.19/901.20	c non guided choices	0
1800.19/901.23	c learnt constraints type 
1800.19/901.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124870
1800.19/901.23	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.19/901.23	c starts		: 41
1800.19/901.23	c conflicts		: 8080
1800.19/901.23	c decisions		: 72148
1800.19/901.23	c propagations		: 321826
1800.19/901.23	c inspects		: 99361724
1800.19/901.23	c shortcuts		: 0
1800.19/901.23	c learnt literals	: 0
1800.19/901.23	c learnt binary clauses	: 0
1800.19/901.23	c learnt ternary clauses	: 0
1800.19/901.23	c learnt constraints	: 8079
1800.19/901.23	c ignored constraints	: 0
1800.19/901.23	c root simplifications	: 0
1800.19/901.23	c removed literals (reason simplification)	: 0
1800.19/901.23	c reason swapping (by a shorter reason)	: 0
1800.19/901.23	c Calls to reduceDB	: 0
1800.19/901.23	c Number of update (reduction) of LBD	: 0
1800.19/901.23	c Imported unit clauses	: 0
1800.19/901.23	c number of reductions to clauses (during analyze)	: 0
1800.19/901.23	c number of learned constraints concerned by reduction	: 0
1800.19/901.23	c number of learning phase by resolution	: 0
1800.19/901.23	c number of learning phase by cutting planes	: 0
1800.19/901.23	c speed (assignments/second)	: 357.4112985264916
1800.19/901.23	c non guided choices	0
1800.19/901.23	c learnt constraints type 
1800.19/901.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1961
1800.19/901.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6118
1800.19/901.23	s SATISFIABLE
1800.19/901.23	c Found 13 solution(s)
1800.19/901.23	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 x340 x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 x400 x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617 -x618 x619 -x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 x725 -x726 x727 -x728 -x729 x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 x1074 -x1075 x1076 
1800.19/901.24	c objective function=165
1800.19/901.24	c Total wall clock time (in seconds): 901.137

Verifier Data 

OK	165

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-4081330-1465231365/watcher-4081330-1465231365 -o /tmp/evaluation-result-4081330-1465231365/solver-4081330-1465231365 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32164 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081330-1465231365.opb 

pid=7527
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: 3.97 4.09 4.14 5/197 7530
/proc/meminfo: memFree=28253600/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 1361 0 0 0 0 0 0 0 20 0 2 0 105071057 98582528 985 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 24068 985 750 9 0 16774 0
[pid=7530/tid=7531] ppid=7527 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) R 7527 7530 32147 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 2 0 105071058 99672064 1021 33554432000 1073741824 1073778376 140736607348992 140390256792248 219504799015 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 3.97 4.09 4.14 5/197 7530
/proc/meminfo: memFree=28253600/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 4489 0 1 0 10 1 0 0 20 0 18 0 105071057 9787879424 6128 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2389619 6128 2158 9 0 2380296 0
[pid=7530/tid=7531] ppid=7527 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) R 7527 7530 32147 0 -1 4202560 2386 0 1 0 6 2 0 0 20 0 18 0 105071058 9787879424 6128 33554432000 1073741824 1073778376 140736607348992 140390256794528 219513589579 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.200373 s]
/proc/loadavg: 3.97 4.09 4.14 5/197 7530
/proc/meminfo: memFree=28253600/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 4934 0 1 0 28 1 0 0 20 0 18 0 105071057 9787879424 7003 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2389619 7003 2219 9 0 2380296 0
[pid=7530/tid=7531] ppid=7527 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) R 7527 7530 32147 0 -1 4202560 2417 0 1 0 16 2 0 0 20 0 18 0 105071058 9787879424 7003 33554432000 1073741824 1073778376 140736607348992 140390256795640 140390082657052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300281 s]
/proc/loadavg: 3.97 4.09 4.14 5/197 7530
/proc/meminfo: memFree=28253600/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 7511 0 1 0 56 2 0 0 20 0 22 0 105071057 10060525568 10942 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 10942 2242 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2468 0 1 0 25 2 0 0 20 0 22 0 105071058 10060525568 10942 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9824732

[startup+0.700258 s]
/proc/loadavg: 3.97 4.09 4.14 5/197 7530
/proc/meminfo: memFree=28253600/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 8473 0 1 0 63 4 0 0 20 0 19 0 105071057 10060525568 11372 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 11372 2247 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2468 0 1 0 25 2 0 0 20 0 19 0 105071058 10060525568 11372 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 3.97 4.09 4.14 7/219 7555
/proc/meminfo: memFree=28203296/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 23674 0 1 0 299 10 0 0 20 0 22 0 105071057 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 28070 2265 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2471 0 1 0 26 2 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7533] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7533/stat : 7533 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390218287912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7534] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7534/stat : 7534 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390217235112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7535] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7535/stat : 7535 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390216182824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7536] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7536/stat : 7536 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390215130024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7537] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7537/stat : 7537 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390214076712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7538] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7538/stat : 7538 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390213023912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7539] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7539/stat : 7539 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390211971624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7540] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7540/stat : 7540 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390210918824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7541] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7541/stat : 7541 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071059 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390080432872 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7542] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7542/stat : 7542 (java) S 7527 7530 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390079378936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7543] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7543/stat : 7543 (java) S 7527 7530 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390078326536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7544] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7544/stat : 7544 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390077275024 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7545] ppid=7527 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/7530/task/7545/stat : 7545 (java) R 7527 7530 32147 0 -1 4202560 10522 0 0 0 69 2 0 0 20 0 22 0 105071062 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390076198888 140390259407191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7546] ppid=7527 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/7530/task/7546/stat : 7546 (java) R 7527 7530 32147 0 -1 4202560 9320 0 0 0 67 1 0 0 20 0 22 0 105071062 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390075156104 140390262753235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7547] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7547/stat : 7547 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390074116728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7548] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7548/stat : 7548 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390073064136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7555] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7555/stat : 7555 (java) S 7527 7530 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071137 10060525568 28070 33554432000 1073741824 1073778376 140736607348992 140390069904552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9824732

[startup+3.1007 s]
/proc/loadavg: 3.97 4.09 4.14 3/216 7561
/proc/meminfo: memFree=28134012/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=5.88 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 24435 0 1 0 574 14 0 0 20 0 22 0 105071057 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 39465 2270 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2471 0 1 0 27 2 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7533] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7533/stat : 7533 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390218287912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7534] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7534/stat : 7534 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390217235112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7535] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7535/stat : 7535 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390216182824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7536] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7536/stat : 7536 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390215130024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7537] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7537/stat : 7537 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390214076712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7538] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7538/stat : 7538 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390213023912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7539] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7539/stat : 7539 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390211971624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7540] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7540/stat : 7540 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390210918824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7541] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7541/stat : 7541 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071059 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390080432872 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7542] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7542/stat : 7542 (java) S 7527 7530 32147 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390079378936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7543] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7543/stat : 7543 (java) S 7527 7530 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390078326536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7544] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7544/stat : 7544 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390077275024 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7545] ppid=7527 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/7530/task/7545/stat : 7545 (java) S 7527 7530 32147 0 -1 4202560 11203 0 0 0 94 3 0 0 20 0 22 0 105071062 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390076221624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7546] ppid=7527 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/7530/task/7546/stat : 7546 (java) S 7527 7530 32147 0 -1 4202560 9361 0 0 0 99 2 0 0 20 0 22 0 105071062 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390075168824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7547] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7547/stat : 7547 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390074116728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7548] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7548/stat : 7548 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390073064136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7555] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7555/stat : 7555 (java) S 7527 7530 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071137 10060525568 39465 33554432000 1073741824 1073778376 140736607348992 140390069904552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 4.06 4.10 4.14 5/219 7567
/proc/meminfo: memFree=28046228/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=12.15 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 24532 0 1 0 1196 19 0 0 20 0 22 0 105071057 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 53668 2284 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2471 0 1 0 27 2 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7533] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7533/stat : 7533 (java) S 7527 7530 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390218287912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7534] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7534/stat : 7534 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390217235112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7535] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7535/stat : 7535 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390216182824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7536] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7536/stat : 7536 (java) S 7527 7530 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390215130024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7537] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7537/stat : 7537 (java) S 7527 7530 32147 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390214076712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7538] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7538/stat : 7538 (java) S 7527 7530 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390213023912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7539] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7539/stat : 7539 (java) S 7527 7530 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390211971624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7540] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7540/stat : 7540 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105071058 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390210918824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7541] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7541/stat : 7541 (java) S 7527 7530 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105071059 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390080432872 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7542] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7542/stat : 7542 (java) S 7527 7530 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390079378936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7543] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7543/stat : 7543 (java) S 7527 7530 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390078326536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7544] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7544/stat : 7544 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390077275024 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7545] ppid=7527 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/7530/task/7545/stat : 7545 (java) S 7527 7530 32147 0 -1 4202560 11204 0 0 0 105 3 0 0 20 0 22 0 105071062 10060525568 53668 33554432000 1073741824 1073778376 140736607348992 140390076221624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7546] ppid=7527 vsize=9824732 CPUtime=1.06 cores=1,3,5,7

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

[pid=7530/tid=7540] ppid=7527 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/7530/task/7540/stat : 7540 (java) S 7527 7530 32147 0 -1 4202560 699 0 0 0 118 24 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390210918824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7541] ppid=7527 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/7530/task/7541/stat : 7541 (java) S 7527 7530 32147 0 -1 4202560 2340 0 0 0 348 3 0 0 20 0 22 0 105071059 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390080432872 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7542] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7542/stat : 7542 (java) S 7527 7530 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390079378936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7543] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7543/stat : 7543 (java) S 7527 7530 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390078326536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7544] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7544/stat : 7544 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390077275024 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7545] ppid=7527 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/7530/task/7545/stat : 7545 (java) S 7527 7530 32147 0 -1 4202560 11217 0 0 0 131 3 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390076221624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7546] ppid=7527 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/7530/task/7546/stat : 7546 (java) S 7527 7530 32147 0 -1 4202560 9379 0 0 0 129 2 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390075168824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7547] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7547/stat : 7547 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390074116728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7548] ppid=7527 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/7530/task/7548/stat : 7548 (java) S 7527 7530 32147 0 -1 4202560 49 0 0 0 7 12 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390073064136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7555] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7555/stat : 7555 (java) S 7527 7530 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071137 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390069904552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7592] ppid=7527 vsize=9824732 CPUtime=631.82 cores=1,3,5,7
/proc/7530/task/7592/stat : 7592 (java) R 7527 7530 32147 0 -1 4202560 6 0 0 0 63172 10 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390070948096 140390083156276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7593] ppid=7527 vsize=9824732 CPUtime=631.94 cores=1,3,5,7
/proc/7530/task/7593/stat : 7593 (java) R 7527 7530 32147 0 -1 4202560 7 0 0 0 63185 9 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390068849152 140390083497022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7594] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7594/stat : 7594 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390072010408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1642.27
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.17 4.19 4.18 5/219 7739
/proc/meminfo: memFree=25929896/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=1762.26 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 34622 0 1 0 175952 274 0 0 20 0 22 0 105071057 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 967638 2293 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2476 0 1 0 31 3 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7533] ppid=7527 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/7530/task/7533/stat : 7533 (java) S 7527 7530 32147 0 -1 4202560 749 0 0 0 107 27 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390218287912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7534] ppid=7527 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/7530/task/7534/stat : 7534 (java) S 7527 7530 32147 0 -1 4202560 1029 0 0 0 132 30 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390217235112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7535] ppid=7527 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/7530/task/7535/stat : 7535 (java) S 7527 7530 32147 0 -1 4202560 660 0 0 0 111 22 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390216182824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7536] ppid=7527 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/7530/task/7536/stat : 7536 (java) S 7527 7530 32147 0 -1 4202560 643 0 0 0 120 20 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390215130024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7537] ppid=7527 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/7530/task/7537/stat : 7537 (java) S 7527 7530 32147 0 -1 4202560 953 0 0 0 107 26 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390214076712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7538] ppid=7527 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/7530/task/7538/stat : 7538 (java) S 7527 7530 32147 0 -1 4202560 674 0 0 0 108 24 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390213023912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7539] ppid=7527 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/7530/task/7539/stat : 7539 (java) S 7527 7530 32147 0 -1 4202560 763 0 0 0 111 26 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390211971624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7540] ppid=7527 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/7530/task/7540/stat : 7540 (java) S 7527 7530 32147 0 -1 4202560 699 0 0 0 118 24 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390210918824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7541] ppid=7527 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/7530/task/7541/stat : 7541 (java) S 7527 7530 32147 0 -1 4202560 2340 0 0 0 348 3 0 0 20 0 22 0 105071059 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390080432872 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7542] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7542/stat : 7542 (java) S 7527 7530 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390079378936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7543] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7543/stat : 7543 (java) S 7527 7530 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390078326536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7544] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7544/stat : 7544 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390077275024 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7545] ppid=7527 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/7530/task/7545/stat : 7545 (java) S 7527 7530 32147 0 -1 4202560 11217 0 0 0 131 3 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390076221624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7546] ppid=7527 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/7530/task/7546/stat : 7546 (java) S 7527 7530 32147 0 -1 4202560 9379 0 0 0 129 2 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390075168824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7547] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7547/stat : 7547 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390074116728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7548] ppid=7527 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/7530/task/7548/stat : 7548 (java) S 7527 7530 32147 0 -1 4202560 51 0 0 0 7 12 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390073064136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7555] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7555/stat : 7555 (java) S 7527 7530 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071137 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390069904552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7592] ppid=7527 vsize=9824732 CPUtime=691.65 cores=1,3,5,7
/proc/7530/task/7592/stat : 7592 (java) R 7527 7530 32147 0 -1 4202560 6 0 0 0 69154 11 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390070948096 140390083179423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7593] ppid=7527 vsize=9824732 CPUtime=691.79 cores=1,3,5,7
/proc/7530/task/7593/stat : 7593 (java) R 7527 7530 32147 0 -1 4202560 7 0 0 0 69169 10 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390068849152 140390084089328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7594] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7594/stat : 7594 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390072010408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.26
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.201 s]
/proc/loadavg: 4.12 4.18 4.17 5/219 7740
/proc/meminfo: memFree=25934300/32872528 swapFree=12208/1156848
[pid=7530] ppid=7527 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/7530/stat : 7530 (java) S 7527 7530 32147 0 -1 4202496 34624 0 1 0 179729 274 0 0 20 0 22 0 105071057 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140736607340128 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7530/statm: 2456183 967638 2293 9 0 2446860 0
[pid=7530/tid=7531] ppid=7527 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/7530/task/7531/stat : 7531 (java) S 7527 7530 32147 0 -1 4202560 2476 0 1 0 31 3 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390256796536 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7533] ppid=7527 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/7530/task/7533/stat : 7533 (java) S 7527 7530 32147 0 -1 4202560 749 0 0 0 107 27 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390218287912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7534] ppid=7527 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/7530/task/7534/stat : 7534 (java) S 7527 7530 32147 0 -1 4202560 1029 0 0 0 132 30 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390217235112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7535] ppid=7527 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/7530/task/7535/stat : 7535 (java) S 7527 7530 32147 0 -1 4202560 660 0 0 0 111 22 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390216182824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7536] ppid=7527 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/7530/task/7536/stat : 7536 (java) S 7527 7530 32147 0 -1 4202560 643 0 0 0 120 20 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390215130024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7537] ppid=7527 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/7530/task/7537/stat : 7537 (java) S 7527 7530 32147 0 -1 4202560 953 0 0 0 107 26 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390214076712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7538] ppid=7527 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/7530/task/7538/stat : 7538 (java) S 7527 7530 32147 0 -1 4202560 674 0 0 0 108 24 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390213023912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7539] ppid=7527 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/7530/task/7539/stat : 7539 (java) S 7527 7530 32147 0 -1 4202560 763 0 0 0 111 26 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390211971624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7540] ppid=7527 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/7530/task/7540/stat : 7540 (java) S 7527 7530 32147 0 -1 4202560 699 0 0 0 118 24 0 0 20 0 22 0 105071058 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390210918824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7541] ppid=7527 vsize=9824732 CPUtime=3.51 cores=1,3,5,7
/proc/7530/task/7541/stat : 7541 (java) S 7527 7530 32147 0 -1 4202560 2340 0 0 0 348 3 0 0 20 0 22 0 105071059 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390080432872 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7542] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7542/stat : 7542 (java) S 7527 7530 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390079378936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7543] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7543/stat : 7543 (java) S 7527 7530 32147 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105071060 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390078326536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7544] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7544/stat : 7544 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390077275024 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7545] ppid=7527 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/7530/task/7545/stat : 7545 (java) S 7527 7530 32147 0 -1 4202560 11217 0 0 0 131 3 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390076221624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7546] ppid=7527 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/7530/task/7546/stat : 7546 (java) S 7527 7530 32147 0 -1 4202560 9379 0 0 0 129 2 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390075168824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7530/tid=7547] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7547/stat : 7547 (java) S 7527 7530 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390074116728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7548] ppid=7527 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/7530/task/7548/stat : 7548 (java) S 7527 7530 32147 0 -1 4202560 53 0 0 0 7 12 0 0 20 0 22 0 105071062 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390073064136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7555] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7555/stat : 7555 (java) S 7527 7530 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105071137 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390069904552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7530/tid=7592] ppid=7527 vsize=9824732 CPUtime=710.49 cores=1,3,5,7
/proc/7530/task/7592/stat : 7592 (java) R 7527 7530 32147 0 -1 4202560 6 0 0 0 71038 11 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390070948096 140390083156599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7530/tid=7593] ppid=7527 vsize=9824732 CPUtime=710.63 cores=1,3,5,7
/proc/7530/task/7593/stat : 7593 (java) R 7527 7530 32147 0 -1 4202560 7 0 0 0 71053 10 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390068849152 140390083406605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7530/tid=7594] ppid=7527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/7530/task/7594/stat : 7594 (java) S 7527 7530 32147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105089619 10060525568 967638 33554432000 1073741824 1073778376 140736607348992 140390072010408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 7530 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 7530 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=678319
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=132523
# CPU time returned by wait4() is 1796.81
# while last known CPU time is 1800.03
#
# 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.160011
#  lost CPU user time (s): 0.209999
#  lost CPU system time (s): -0.05

Real time (s): 901.287
CPU time (s): 1800.19
CPU user time (s): 1797.5
CPU system time (s): 2.69
CPU usage (%): 199.735
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 3.13252
maximum resident set size= 3870692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34670
page faults= 1
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22335
involuntary context switches= 18535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74113 second user time and 7.11592 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-06 18:42:45
IDJOB=4081330
IDBENCH=2871
IDSOLVER=2543
FILE ID=node114/4081330-1465231365
RUNJOBID= node114-1465217569-32164
PBS_JOBID= 19843208
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 3183c84355c854880486b3d148840656
RANDOM SEED=190308255

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28254136 kB
Buffers:           28556 kB
Cached:           137044 kB
SwapCached:         1736 kB
Active:          2631220 kB
Inactive:         104088 kB
Active(anon):    2570736 kB
Inactive(anon):     1324 kB
Active(file):      60484 kB
Inactive(file):   102764 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096588 kB
Dirty:               624 kB
Writeback:             0 kB
AnonPages:       3688720 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             567684 kB
SReclaimable:      11300 kB
SUnreclaim:       556384 kB
KernelStack:        1808 kB
PageTables:        12016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4342260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3612672 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 node114 at 2016-06-06 18:57:46