Trace number 4081325

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)75 1800.15 896.774

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
MD5SUMd95d18eb9f9494c32273975c1bc570ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.108983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables756
Total number of constraints1853
Number of constraints which are clauses1853
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 constraint80
Number of terms in the objective function 756
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 756
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 756
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-4081325-1465231482.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.55/0.34	c ... done. Wall clock time 0.228s.
0.55/0.34	c declared #vars     756
0.55/0.34	c #constraints  1853
0.55/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.55/0.34	c constraints type 
0.55/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1510
0.55/0.34	c org.sat4j.specs.Constr$1 => 317
0.55/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11
0.55/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 15
0.55/0.34	c 1853 constraints processed.
0.55/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.55/0.34	c constraints type 
0.55/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11
0.55/0.34	c org.sat4j.specs.Constr$1 => 317
0.55/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1510
0.55/0.34	c org.sat4j.pb.constraints.pb.UnitClausePB => 15
0.55/0.34	c 1853 constraints processed.
0.55/0.34	c objective function length is 756 literals
0.55/0.36	c And the winner is solver0
0.75/0.85	c SATISFIABLE
0.75/0.85	c OPTIMIZING...
0.75/0.85	c Got one! Elapsed wall clock time (in seconds):0.734
0.75/0.85	o 89
0.75/0.86	c And the winner is solver0
0.88/1.35	c Got one! Elapsed wall clock time (in seconds):1.241
0.88/1.35	o 88
1.03/1.42	c And the winner is solver0
1.21/1.86	c Got one! Elapsed wall clock time (in seconds):1.745
1.21/1.86	o 87
1.21/1.87	c And the winner is solver0
1.25/2.36	c Got one! Elapsed wall clock time (in seconds):2.249
1.25/2.36	o 86
1.39/2.47	c And the winner is solver1
1.90/2.86	c Got one! Elapsed wall clock time (in seconds):2.752
1.90/2.86	o 85
2.41/3.04	c And the winner is solver1
2.62/3.37	c Got one! Elapsed wall clock time (in seconds):3.254
2.62/3.37	o 84
3.13/3.65	c cleaning 2805 clauses out of 5609 with flag 14187/5609
4.56/4.27	c cleaning 4402 clauses out of 8804 with flag 37474/11609
5.38/4.65	c And the winner is solver1
5.48/4.87	c Got one! Elapsed wall clock time (in seconds):4.757
5.48/4.87	o 83
5.79/5.05	c cleaning 4923 clauses out of 9845 with flag 6164/17052
7.08/5.62	c cleaning 5462 clauses out of 10923 with flag 22856/23053
8.55/6.35	c cleaning 6230 clauses out of 12460 with flag 41574/30052
10.42/7.21	c cleaning 7114 clauses out of 14230 with flag 64214/38052
12.53/8.24	c cleaning 8057 clauses out of 16118 with flag 87656/47054
14.75/9.38	c cleaning 9028 clauses out of 18059 with flag 114846/57052
17.67/10.75	c cleaning 10016 clauses out of 20032 with flag 144233/68053
20.77/12.29	c cleaning 11007 clauses out of 22017 with flag 179441/80054
24.35/14.03	c cleaning 12001 clauses out of 24008 with flag 214051/93052
28.23/15.93	c cleaning 13000 clauses out of 26007 with flag 251919/107052
32.57/18.08	c cleaning 14003 clauses out of 28008 with flag 296157/122053
36.97/20.23	c cleaning 14999 clauses out of 30005 with flag 339896/138053
41.74/22.54	c cleaning 15993 clauses out of 32005 with flag 389074/155052
42.53/22.93	c And the winner is solver1
42.53/22.94	c Got one! Elapsed wall clock time (in seconds):22.83
42.53/22.94	o 82
42.86/23.14	c cleaning 10671 clauses out of 21353 with flag 6897/160393
43.64/23.55	c And the winner is solver1
43.76/23.94	c Got one! Elapsed wall clock time (in seconds):23.833
43.76/23.94	o 81
43.87/24.04	c cleaning 8267 clauses out of 16535 with flag 3878/166246
44.87/24.59	c cleaning 7134 clauses out of 14268 with flag 23272/172246
46.48/25.35	c cleaning 7066 clauses out of 14134 with flag 43381/179246
48.27/26.26	c cleaning 7534 clauses out of 15068 with flag 63652/187246
50.70/27.39	c cleaning 8267 clauses out of 16534 with flag 88700/196246
53.10/28.57	c cleaning 9132 clauses out of 18268 with flag 116532/206247
55.71/29.82	c cleaning 10068 clauses out of 20135 with flag 149665/217246
58.90/31.44	c cleaning 11033 clauses out of 22068 with flag 182465/229247
62.74/33.22	c cleaning 12004 clauses out of 24038 with flag 219634/242250
66.15/34.93	c cleaning 13012 clauses out of 26030 with flag 259338/256246
69.95/36.89	c cleaning 14009 clauses out of 28019 with flag 303369/271247
74.00/38.86	c cleaning 15000 clauses out of 30009 with flag 350899/287246
78.19/40.97	c cleaning 16008 clauses out of 32015 with flag 400380/304252
83.75/43.65	c cleaning 16995 clauses out of 34002 with flag 451401/322247
89.35/46.40	c cleaning 18001 clauses out of 36006 with flag 503125/341246
92.95/48.24	c And the winner is solver1
92.95/48.47	c Got one! Elapsed wall clock time (in seconds):48.358
92.95/48.47	o 80
94.00/49.01	c cleaning 18495 clauses out of 36989 with flag 17040/360230
95.56/49.71	c cleaning 12246 clauses out of 24492 with flag 36409/366228
96.96/50.47	c cleaning 9620 clauses out of 19246 with flag 57252/373228
98.55/51.28	c cleaning 8811 clauses out of 17626 with flag 79417/381228
100.35/52.18	c cleaning 8905 clauses out of 17818 with flag 101365/390231
102.55/53.28	c cleaning 9455 clauses out of 18911 with flag 128239/400229
105.35/54.64	c cleaning 10228 clauses out of 20456 with flag 156028/411229
107.55/55.71	c And the winner is solver1
107.55/55.97	c Got one! Elapsed wall clock time (in seconds):55.862
107.55/55.97	o 79
108.39/56.44	c cleaning 12315 clauses out of 24630 with flag 15882/425631
109.59/57.01	c cleaning 9156 clauses out of 18315 with flag 32635/431631
110.79/57.69	c cleaning 8077 clauses out of 16159 with flag 53814/438631
112.40/58.50	c cleaning 8040 clauses out of 16082 with flag 75594/446631
114.39/59.46	c cleaning 8517 clauses out of 17042 with flag 100125/455631
116.79/60.63	c cleaning 9261 clauses out of 18525 with flag 126905/465631
119.58/62.07	c cleaning 10125 clauses out of 20264 with flag 155049/476631
123.71/64.49	c cleaning 11067 clauses out of 22139 with flag 191637/488631
126.91/66.04	c cleaning 12035 clauses out of 24073 with flag 228119/501632
130.50/67.80	c cleaning 13013 clauses out of 26037 with flag 268396/515631
133.90/69.56	c cleaning 14006 clauses out of 28024 with flag 310847/530631
137.50/71.36	c cleaning 15005 clauses out of 30018 with flag 357307/546631
141.70/73.41	c cleaning 16005 clauses out of 32013 with flag 409116/563631
145.51/75.40	c cleaning 17002 clauses out of 34011 with flag 462666/581634
150.71/77.90	c cleaning 18001 clauses out of 36007 with flag 517788/600632
156.60/80.84	c cleaning 19003 clauses out of 38006 with flag 576672/620632
163.20/84.19	c cleaning 20001 clauses out of 40004 with flag 634620/641633
170.40/87.77	c cleaning 20997 clauses out of 42002 with flag 696561/663632
176.20/90.68	c And the winner is solver1
176.21/90.84	c Got one! Elapsed wall clock time (in seconds):90.727
176.21/90.84	o 78
177.54/91.46	c cleaning 21878 clauses out of 43756 with flag 18078/686383
178.72/92.06	c cleaning 13937 clauses out of 27878 with flag 34871/692383
180.32/92.80	c cleaning 10465 clauses out of 20941 with flag 54316/699383
181.94/93.64	c cleaning 9236 clauses out of 18476 with flag 77153/707383
183.94/94.61	c cleaning 9122 clauses out of 18244 with flag 101180/716387
185.92/95.69	c cleaning 9556 clauses out of 19120 with flag 128018/726385
188.72/97.02	c cleaning 10275 clauses out of 20562 with flag 156698/737383
191.72/98.51	c cleaning 11144 clauses out of 22288 with flag 191278/749384
192.32/98.84	c And the winner is solver1
192.39/99.35	c Got one! Elapsed wall clock time (in seconds):99.232
192.39/99.35	o 77
192.89/99.60	c cleaning 8519 clauses out of 17058 with flag 12585/755298
193.90/100.17	c cleaning 7266 clauses out of 14538 with flag 28787/761297
195.29/100.85	c cleaning 7136 clauses out of 14274 with flag 48803/768299
196.89/101.60	c cleaning 7567 clauses out of 15136 with flag 74217/776297
198.50/102.43	c cleaning 8283 clauses out of 16570 with flag 98511/785298
200.70/103.54	c cleaning 9138 clauses out of 18289 with flag 126550/795300
203.52/104.85	c cleaning 10071 clauses out of 20150 with flag 156352/806299
206.12/106.18	c cleaning 11037 clauses out of 22077 with flag 186522/818297
209.32/107.78	c cleaning 12005 clauses out of 24040 with flag 220828/831297
213.12/109.61	c cleaning 13018 clauses out of 26035 with flag 264466/845297
217.13/111.69	c cleaning 14006 clauses out of 28017 with flag 309379/860297
221.53/113.89	c cleaning 15005 clauses out of 30011 with flag 354227/876297
226.45/116.27	c cleaning 16000 clauses out of 32007 with flag 399969/893298
231.25/118.66	c cleaning 17001 clauses out of 34006 with flag 446486/911297
236.85/121.41	c cleaning 18003 clauses out of 36008 with flag 500807/930300
243.65/124.84	c cleaning 18999 clauses out of 38002 with flag 554141/950297
250.82/128.35	c cleaning 19993 clauses out of 40004 with flag 611249/971298
257.62/131.75	c cleaning 21001 clauses out of 42010 with flag 674945/993297
264.42/135.19	c cleaning 21999 clauses out of 44009 with flag 738656/1016297
271.22/138.60	c cleaning 23002 clauses out of 46010 with flag 810850/1040297
279.66/142.66	c cleaning 24004 clauses out of 48008 with flag 878900/1065297
287.86/146.79	c cleaning 25000 clauses out of 50004 with flag 950114/1091297
296.26/150.93	c cleaning 26005 clauses out of 52010 with flag 1024448/1118303
305.17/155.38	c cleaning 26990 clauses out of 53999 with flag 1105884/1146297
315.78/160.69	c cleaning 28002 clauses out of 56009 with flag 1186765/1175297
328.83/167.80	c cleaning 29000 clauses out of 58008 with flag 1267395/1205298
333.03/169.87	c cleaning 0 clauses out of 7689 with flag 0/7690
340.75/173.51	c cleaning 29992 clauses out of 60007 with flag 1357580/1236297
353.38/179.89	c cleaning 31004 clauses out of 62016 with flag 1449280/1268298
366.06/186.12	c cleaning 31998 clauses out of 64011 with flag 1546977/1301297
378.87/192.51	c cleaning 33001 clauses out of 66015 with flag 1646934/1335299
391.41/198.80	c cleaning 34001 clauses out of 68012 with flag 1745191/1370297
403.81/204.98	c cleaning 34997 clauses out of 70011 with flag 1847639/1406297
417.98/211.99	c cleaning 36007 clauses out of 72014 with flag 1953264/1443297
434.19/219.92	c cleaning 36995 clauses out of 74008 with flag 2057615/1481298
448.39/227.07	c cleaning 38003 clauses out of 76012 with flag 2173907/1520297
465.18/235.33	c cleaning 39001 clauses out of 78009 with flag 2285231/1560297
482.59/243.91	c cleaning 39997 clauses out of 80009 with flag 2397191/1601298
501.64/253.39	c cleaning 40994 clauses out of 82013 with flag 2519366/1643299
518.34/261.55	c cleaning 42009 clauses out of 84017 with flag 2638552/1686297
535.74/270.27	c cleaning 43002 clauses out of 86009 with flag 2763706/1730298
553.86/279.14	c cleaning 43998 clauses out of 88006 with flag 2891887/1775297
575.36/289.77	c cleaning 45005 clauses out of 90010 with flag 3023666/1821299
596.14/299.98	c cleaning 46002 clauses out of 92003 with flag 3170616/1868297
618.30/310.86	c cleaning 46999 clauses out of 94001 with flag 3303583/1916297
640.98/322.08	c cleaning 48000 clauses out of 96003 with flag 3448792/1965298
661.02/331.90	c cleaning 49000 clauses out of 98003 with flag 3581558/2015298
683.23/342.88	c cleaning 50000 clauses out of 100002 with flag 3726800/2066297
706.24/354.23	c cleaning 51000 clauses out of 102003 with flag 3866488/2118298
731.64/366.86	c cleaning 52000 clauses out of 104004 with flag 4009617/2171299
756.83/379.38	c cleaning 52995 clauses out of 106002 with flag 4152763/2225297
784.02/392.83	c cleaning 53996 clauses out of 108008 with flag 4308405/2280298
812.82/407.18	c cleaning 54989 clauses out of 110011 with flag 4461186/2336297
840.27/420.74	c cleaning 56012 clauses out of 112023 with flag 4625225/2393298
868.07/434.50	c cleaning 57000 clauses out of 114011 with flag 4785518/2451298
893.96/447.28	c cleaning 57995 clauses out of 116012 with flag 4948644/2510299
920.43/460.37	c cleaning 59003 clauses out of 118016 with flag 5111411/2570298
950.36/475.18	c cleaning 60001 clauses out of 120012 with flag 5279303/2631297
977.41/488.32	c cleaning 60995 clauses out of 122011 with flag 5467456/2693297
1010.98/506.09	c cleaning 62001 clauses out of 124016 with flag 5644522/2756297
1048.93/524.62	c cleaning 63001 clauses out of 126016 with flag 5824653/2820298
1082.88/541.48	c cleaning 63999 clauses out of 128016 with flag 6008734/2885299
1117.67/558.75	c cleaning 65007 clauses out of 130016 with flag 6193245/2951298
1148.93/574.17	c cleaning 65991 clauses out of 132008 with flag 6373726/3018297
1157.53/578.41	c And the winner is solver1
1157.53/578.80	c Got one! Elapsed wall clock time (in seconds):578.689
1157.53/578.80	o 76
1159.12/579.63	c cleaning 48246 clauses out of 96513 with flag 16636/3048793
1160.52/580.30	c cleaning 27104 clauses out of 54267 with flag 39721/3054793
1161.92/581.08	c cleaning 17071 clauses out of 34163 with flag 63040/3061793
1163.52/581.87	c cleaning 12531 clauses out of 25092 with flag 89150/3069793
1165.69/582.89	c cleaning 10764 clauses out of 21561 with flag 118193/3078793
1168.14/584.01	c cleaning 10387 clauses out of 20797 with flag 146748/3088793
1170.55/585.24	c cleaning 10693 clauses out of 21410 with flag 178666/3099793
1173.34/586.69	c cleaning 11355 clauses out of 22718 with flag 215000/3111794
1176.54/588.29	c cleaning 12181 clauses out of 24362 with flag 255536/3124793
1180.13/590.04	c cleaning 13084 clauses out of 26181 with flag 297670/3138793
1183.53/591.76	c cleaning 14042 clauses out of 28097 with flag 341528/3153793
1187.96/593.87	c cleaning 15023 clauses out of 30055 with flag 388498/3169793
1191.96/595.85	c cleaning 16013 clauses out of 32033 with flag 435999/3186794
1196.36/598.07	c cleaning 17008 clauses out of 34019 with flag 486561/3204793
1201.77/600.71	c cleaning 17996 clauses out of 36013 with flag 543689/3223795
1207.59/603.54	c cleaning 19006 clauses out of 38016 with flag 608661/3243794
1213.18/606.38	c cleaning 19998 clauses out of 40011 with flag 678831/3264795
1220.39/609.96	c cleaning 20995 clauses out of 42011 with flag 743714/3286793
1228.30/613.72	c cleaning 22006 clauses out of 44016 with flag 805269/3309793
1235.70/617.47	c cleaning 22995 clauses out of 46010 with flag 871830/3333793
1243.09/621.16	c cleaning 24005 clauses out of 48016 with flag 942906/3358794
1251.32/625.16	c cleaning 25004 clauses out of 50010 with flag 1014809/3384793
1259.92/629.49	c cleaning 25997 clauses out of 52006 with flag 1089908/3411793
1267.74/633.29	c cleaning 26995 clauses out of 54009 with flag 1179290/3439793
1276.74/637.79	c cleaning 28007 clauses out of 56014 with flag 1267018/3468793
1285.80/642.19	c cleaning 29005 clauses out of 58009 with flag 1357310/3498795
1295.80/647.12	c cleaning 29994 clauses out of 60002 with flag 1443266/3529793
1306.97/652.66	c cleaning 31005 clauses out of 62009 with flag 1528050/3561794
1317.76/658.03	c cleaning 31997 clauses out of 64003 with flag 1615792/3594793
1330.37/664.29	c cleaning 32999 clauses out of 66006 with flag 1707167/3628793
1344.36/671.25	c cleaning 34004 clauses out of 68007 with flag 1799123/3663793
1358.56/678.26	c cleaning 34997 clauses out of 70003 with flag 1899919/3699793
1373.51/685.62	c cleaning 36002 clauses out of 72006 with flag 1999592/3736793
1378.14/687.97	c And the winner is solver1
1378.14/688.01	c Got one! Elapsed wall clock time (in seconds):687.902
1378.14/688.01	o 75
1379.10/688.57	c cleaning 27906 clauses out of 55873 with flag 19167/3756662
1380.30/689.18	c cleaning 16981 clauses out of 33966 with flag 40583/3762661
1381.90/689.93	c cleaning 11986 clauses out of 23985 with flag 62003/3769661
1383.50/690.75	c cleaning 9996 clauses out of 19999 with flag 85792/3777661
1385.84/691.81	c cleaning 9501 clauses out of 19003 with flag 110769/3786661
1388.03/692.92	c cleaning 9749 clauses out of 19502 with flag 137595/3796661
1390.44/694.11	c cleaning 10378 clauses out of 20756 with flag 168825/3807664
1393.23/695.53	c cleaning 11181 clauses out of 22375 with flag 204467/3819661
1396.63/697.27	c cleaning 12095 clauses out of 24194 with flag 245447/3832661
1400.23/699.03	c cleaning 13047 clauses out of 26100 with flag 286399/3846662
1403.84/700.89	c cleaning 14022 clauses out of 28052 with flag 327018/3861661
1408.18/702.94	c cleaning 15015 clauses out of 30031 with flag 371694/3877662
1412.37/705.05	c cleaning 16003 clauses out of 32016 with flag 426526/3894662
1417.36/707.59	c cleaning 17002 clauses out of 34012 with flag 479845/3912661
1422.96/710.32	c cleaning 18004 clauses out of 36010 with flag 532236/3931661
1429.15/713.33	c cleaning 19003 clauses out of 38006 with flag 591862/3951661
1435.15/716.39	c cleaning 20000 clauses out of 40006 with flag 650614/3972664
1441.36/719.41	c cleaning 20999 clauses out of 42003 with flag 715732/3994661
1447.96/722.72	c cleaning 22002 clauses out of 44007 with flag 781448/4017664
1455.33/726.40	c cleaning 22997 clauses out of 46002 with flag 850781/4041661
1462.73/730.03	c cleaning 24000 clauses out of 48005 with flag 920280/4066661
1470.73/734.04	c cleaning 24994 clauses out of 50005 with flag 994163/4092661
1478.34/737.71	c cleaning 26002 clauses out of 52011 with flag 1072353/4119661
1485.95/741.58	c cleaning 26973 clauses out of 54009 with flag 1165809/4147661
1497.34/747.15	c cleaning 28015 clauses out of 56036 with flag 1253622/4176661
1507.34/752.15	c cleaning 29012 clauses out of 58024 with flag 1347778/4206664
1518.80/757.72	c cleaning 29998 clauses out of 60009 with flag 1437126/4237661
1530.65/763.69	c cleaning 31001 clauses out of 62011 with flag 1527015/4269661
1541.07/768.80	c cleaning 31996 clauses out of 64010 with flag 1632420/4302661
1550.67/773.51	c cleaning 32998 clauses out of 66014 with flag 1749528/4336661
1561.09/778.68	c cleaning 34009 clauses out of 68017 with flag 1862229/4371662
1574.09/785.18	c cleaning 34999 clauses out of 70007 with flag 1967707/4407661
1586.50/791.26	c cleaning 35996 clauses out of 72008 with flag 2075298/4444661
1602.13/798.96	c cleaning 37000 clauses out of 74012 with flag 2186149/4482661
1617.53/806.66	c cleaning 38004 clauses out of 76012 with flag 2302273/4521661
1636.86/816.10	c cleaning 39002 clauses out of 78008 with flag 2420492/4561661
1654.12/824.65	c cleaning 40002 clauses out of 80007 with flag 2526747/4602662
1672.32/833.77	c cleaning 41000 clauses out of 82004 with flag 2641425/4644661
1689.21/842.03	c cleaning 42002 clauses out of 84005 with flag 2761914/4687662
1706.48/850.53	c cleaning 42998 clauses out of 86002 with flag 2880953/4731661
1724.77/859.50	c cleaning 43999 clauses out of 88004 with flag 3008886/4776661
1743.56/868.94	c cleaning 44998 clauses out of 90005 with flag 3134255/4822661
1763.92/878.97	c cleaning 46003 clauses out of 92011 with flag 3268368/4869665
1783.21/888.48	c cleaning 47001 clauses out of 94004 with flag 3403478/4917661
1800.15/896.70	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.15/896.70	c starts		: 96147
1800.15/896.70	c conflicts		: 4962168
1800.15/896.70	c decisions		: 20558295
1800.15/896.70	c propagations		: 829165206
1800.15/896.70	c inspects		: 11789337538
1800.15/896.70	c shortcuts		: 0
1800.15/896.70	c learnt literals	: 0
1800.15/896.70	c learnt binary clauses	: 0
1800.15/896.70	c learnt ternary clauses	: 4
1800.15/896.70	c learnt constraints	: 4962168
1800.15/896.70	c ignored constraints	: 0
1800.15/896.70	c root simplifications	: 0
1800.15/896.70	c removed literals (reason simplification)	: 15274759
1800.15/896.70	c reason swapping (by a shorter reason)	: 0
1800.15/896.70	c Calls to reduceDB	: 204
1800.15/896.70	c Number of update (reduction) of LBD	: 1405530
1800.15/896.70	c Imported unit clauses	: 0
1800.15/896.70	c number of reductions to clauses (during analyze)	: 0
1800.15/896.70	c number of learned constraints concerned by reduction	: 0
1800.15/896.70	c number of learning phase by resolution	: 0
1800.15/896.70	c number of learning phase by cutting planes	: 0
1800.15/896.70	c speed (assignments/second)	: 3973400.3229841045
1800.15/896.70	c non guided choices	0
1800.15/896.73	c learnt constraints type 
1800.15/896.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91510
1800.15/896.73	c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<<
1800.15/896.73	c starts		: 59
1800.15/896.73	c conflicts		: 17048
1800.15/896.73	c decisions		: 198333
1800.15/896.73	c propagations		: 867884
1800.15/896.73	c inspects		: 721743208
1800.15/896.73	c shortcuts		: 0
1800.15/896.73	c learnt literals	: 0
1800.15/896.73	c learnt binary clauses	: 0
1800.15/896.73	c learnt ternary clauses	: 6
1800.15/896.73	c learnt constraints	: 17046
1800.15/896.73	c ignored constraints	: 0
1800.15/896.73	c root simplifications	: 0
1800.15/896.73	c removed literals (reason simplification)	: 0
1800.15/896.73	c reason swapping (by a shorter reason)	: 0
1800.15/896.73	c Calls to reduceDB	: 1
1800.15/896.73	c Number of update (reduction) of LBD	: 0
1800.15/896.73	c Imported unit clauses	: 0
1800.15/896.73	c number of reductions to clauses (during analyze)	: 0
1800.15/896.73	c number of learned constraints concerned by reduction	: 0
1800.15/896.73	c number of learning phase by resolution	: 0
1800.15/896.73	c number of learning phase by cutting planes	: 0
1800.15/896.73	c speed (assignments/second)	: 970.3901981962642
1800.15/896.73	c non guided choices	0
1800.15/896.74	c learnt constraints type 
1800.15/896.74	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 92
1800.15/896.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 53
1800.15/896.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16901
1800.15/896.74	s SATISFIABLE
1800.15/896.74	c Found 15 solution(s)
1800.15/896.74	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 
1800.15/896.74	c objective function=75
1800.15/896.74	c Total wall clock time (in seconds): 896.629

Verifier Data 

OK	75

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-4081325-1465231482/watcher-4081325-1465231482 -o /tmp/evaluation-result-4081325-1465231482/solver-4081325-1465231482 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31431 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081325-1465231482.opb 

pid=3008
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.55 4.41 4.29 4/197 3011
/proc/meminfo: memFree=28207952/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 105081832 98570240 977 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 24065 977 743 9 0 16771 0
[pid=3011/tid=3012] ppid=3008 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) R 3008 3011 31415 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 105081833 98570240 978 33554432000 1073741824 1073778376 140737344144592 140038416326184 266435642752 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100059 s]
/proc/loadavg: 4.55 4.41 4.29 4/197 3011
/proc/meminfo: memFree=28207952/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 4507 0 1 0 10 1 0 0 20 0 18 0 105081832 9787879424 5606 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2389619 5606 2141 9 0 2380296 0
[pid=3011/tid=3012] ppid=3008 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) R 3008 3011 31415 0 -1 4202560 2441 0 1 0 7 0 0 0 20 0 18 0 105081833 9787879424 5606 33554432000 1073741824 1073778376 140737344144592 140038416329632 140038424207724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200262 s]
/proc/loadavg: 4.55 4.41 4.29 4/197 3011
/proc/meminfo: memFree=28207952/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 5054 0 1 0 27 1 0 0 20 0 18 0 105081832 9787879424 6563 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2389619 6563 2216 9 0 2380296 0
[pid=3011/tid=3012] ppid=3008 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) R 3008 3011 31415 0 -1 4202560 2457 0 1 0 17 0 0 0 20 0 18 0 105081833 9787879424 6563 33554432000 1073741824 1073778376 140737344144592 140038416329632 140038356084321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300261 s]
/proc/loadavg: 4.55 4.41 4.29 4/197 3011
/proc/meminfo: memFree=28207952/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 7736 0 1 0 53 2 0 0 20 0 18 0 105081832 9787879424 9564 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2389619 9564 2233 9 0 2380296 0
[pid=3011/tid=3012] ppid=3008 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) R 3008 3011 31415 0 -1 4202560 2463 0 1 0 27 0 0 0 20 0 18 0 105081833 9787879424 9567 33554432000 1073741824 1073778376 140737344144592 140038416330584 140038356123298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700297 s]
/proc/loadavg: 4.55 4.41 4.29 4/197 3011
/proc/meminfo: memFree=28207952/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 8407 0 1 0 71 4 0 0 20 0 19 0 105081832 10060525568 11568 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2456183 11568 2252 9 0 2446860 0
[pid=3011/tid=3012] ppid=3008 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) S 3008 3011 31415 0 -1 4202560 2478 0 1 0 31 1 0 0 20 0 19 0 105081833 10060525568 11568 33554432000 1073741824 1073778376 140737344144592 140038416331640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 4.55 4.41 4.29 3/216 3036
/proc/meminfo: memFree=28163232/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 9372 0 1 0 113 8 0 0 20 0 19 0 105081832 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2456183 14298 2264 9 0 2446860 0
[pid=3011/tid=3012] ppid=3008 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) S 3008 3011 31415 0 -1 4202560 2482 0 1 0 32 1 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038416331640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3014] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3014/stat : 3014 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038355061416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3015] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3015/stat : 3015 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038354008872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3016] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3016/stat : 3016 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038352956328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3017] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3017/stat : 3017 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038351903784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3018] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3018/stat : 3018 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038350850216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3019] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3019/stat : 3019 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038349797672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3020] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3020/stat : 3020 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038253525416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3021] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3021/stat : 3021 (java) S 3008 3011 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038252472872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3022] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3022/stat : 3022 (java) S 3008 3011 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105081834 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038240275048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3023] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3023/stat : 3023 (java) S 3008 3011 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105081835 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038239221368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3024] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3024/stat : 3024 (java) S 3008 3011 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105081835 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038238168712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3025] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3025/stat : 3025 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081837 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038237117456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3026] ppid=3008 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/3011/task/3026/stat : 3026 (java) S 3008 3011 31415 0 -1 4202560 2467 0 0 0 30 0 0 0 20 0 19 0 105081837 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038236063800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3027] ppid=3008 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/3011/task/3027/stat : 3027 (java) S 3008 3011 31415 0 -1 4202560 3072 0 0 0 30 0 0 0 20 0 19 0 105081837 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038235011256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3028] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3028/stat : 3028 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081837 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038233958904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3029] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3029/stat : 3029 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081837 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038232906568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3032] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3032/stat : 3032 (java) S 3008 3011 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105081868 10060525568 14298 33554432000 1073741824 1073778376 140737344144592 140038229747240 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.35 4.37 4.27 3/216 3042
/proc/meminfo: memFree=28154236/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 19597 0 1 0 248 14 0 0 20 0 19 0 105081832 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2456183 25778 2277 9 0 2446860 0
[pid=3011/tid=3012] ppid=3008 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) S 3008 3011 31415 0 -1 4202560 2484 0 1 0 33 1 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038416331640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3014] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3014/stat : 3014 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038355061416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3015] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3015/stat : 3015 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038354008872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3016] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3016/stat : 3016 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038352956328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3017] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3017/stat : 3017 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038351903784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3018] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3018/stat : 3018 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038350850216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3019] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3019/stat : 3019 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038349797672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3020] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3020/stat : 3020 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038253525416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3021] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3021/stat : 3021 (java) S 3008 3011 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105081833 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038252472872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3022] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3022/stat : 3022 (java) S 3008 3011 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105081834 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038240275048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3023] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3023/stat : 3023 (java) S 3008 3011 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105081835 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038239221368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3024] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3024/stat : 3024 (java) S 3008 3011 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105081835 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038238168712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3025] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3025/stat : 3025 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081837 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038237117456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3026] ppid=3008 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/3011/task/3026/stat : 3026 (java) S 3008 3011 31415 0 -1 4202560 5495 0 0 0 63 0 0 0 20 0 19 0 105081837 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038236063800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3027] ppid=3008 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/3011/task/3027/stat : 3027 (java) S 3008 3011 31415 0 -1 4202560 10229 0 0 0 80 2 0 0 20 0 19 0 105081837 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038235011256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3028] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3028/stat : 3028 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081837 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038233958904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3029] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3029/stat : 3029 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105081837 10060525568 25778 33554432000 1073741824 1073778376 140737344144592 140038232906568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 9824732

[startup+6.30086 s]
/proc/loadavg: 4.35 4.37 4.27 5/219 3054
/proc/meminfo: memFree=28027340/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9824732 CPUtime=8.55 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 20806 0 1 0 833 22 0 0 20 0 22 0 105081832 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2456183 53202 2295 9 0 2446860 0
[pid=3011/tid=3012] ppid=3008 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) S 3008 3011 31415 0 -1 4202560 2484 0 1 0 33 2 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038416331640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3014] ppid=3008 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/3011/task/3014/stat : 3014 (java) S 3008 3011 31415 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038355061416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3015] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3015/stat : 3015 (java) S 3008 3011 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038354008872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3016] ppid=3008 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/3011/task/3016/stat : 3016 (java) S 3008 3011 31415 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038352956328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3017] ppid=3008 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/3011/task/3017/stat : 3017 (java) S 3008 3011 31415 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038351903784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3018] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3018/stat : 3018 (java) S 3008 3011 31415 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038350850216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3019] ppid=3008 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/3011/task/3019/stat : 3019 (java) S 3008 3011 31415 0 -1 4202560 53 0 0 0 1 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038349797672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3020] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3020/stat : 3020 (java) S 3008 3011 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038253525416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3021] ppid=3008 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/3011/task/3021/stat : 3021 (java) S 3008 3011 31415 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 105081833 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038252472872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3022] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3022/stat : 3022 (java) S 3008 3011 31415 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 105081834 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038240275048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3023] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3023/stat : 3023 (java) S 3008 3011 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038239221368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3024] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3024/stat : 3024 (java) S 3008 3011 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038238168712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3025] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3025/stat : 3025 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038237117456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3026] ppid=3008 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/3011/task/3026/stat : 3026 (java) S 3008 3011 31415 0 -1 4202560 6339 0 0 0 84 2 0 0 20 0 22 0 105081837 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038236063800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3027] ppid=3008 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/3011/task/3027/stat : 3027 (java) S 3008 3011 31415 0 -1 4202560 10261 0 0 0 105 2 0 0 20 0 22 0 105081837 10060525568 53202 33554432000 1073741824 1073778376 140737344144592 140038235011256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3028] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=3011/tid=3021] ppid=3008 vsize=9824732 CPUtime=4.95 cores=0,2,4,6
/proc/3011/task/3021/stat : 3021 (java) S 3008 3011 31415 0 -1 4202560 618 0 0 0 474 21 0 0 20 0 22 0 105081833 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038252472872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3022] ppid=3008 vsize=9824732 CPUtime=4.44 cores=0,2,4,6
/proc/3011/task/3022/stat : 3022 (java) S 3008 3011 31415 0 -1 4202560 2601 0 0 0 437 7 0 0 20 0 22 0 105081834 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038240275048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3023] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3023/stat : 3023 (java) S 3008 3011 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038239221368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3024] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3024/stat : 3024 (java) S 3008 3011 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038238168712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3025] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3025/stat : 3025 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038237117456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3026] ppid=3008 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/3011/task/3026/stat : 3026 (java) S 3008 3011 31415 0 -1 4202560 10390 0 0 0 155 2 0 0 20 0 22 0 105081837 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038236063800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3027] ppid=3008 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/3011/task/3027/stat : 3027 (java) S 3008 3011 31415 0 -1 4202560 10281 0 0 0 125 2 0 0 20 0 22 0 105081837 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038235011256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3028] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3028/stat : 3028 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038233958904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3029] ppid=3008 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/3011/task/3029/stat : 3029 (java) S 3008 3011 31415 0 -1 4202560 51 0 0 0 17 16 0 0 20 0 22 0 105081837 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038232906568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3045] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3045/stat : 3045 (java) S 3008 3011 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105082069 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038230799528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3187] ppid=3008 vsize=9824732 CPUtime=191.44 cores=0,2,4,6
/proc/3011/task/3187/stat : 3187 (java) R 3008 3011 31415 0 -1 4202560 11 0 0 0 19142 2 0 0 20 0 22 0 105150635 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038228692384 140038356638367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3188] ppid=3008 vsize=9824732 CPUtime=191.47 cores=0,2,4,6
/proc/3011/task/3188/stat : 3188 (java) R 3008 3011 31415 0 -1 4202560 12 0 0 0 19145 2 0 0 20 0 22 0 105150635 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038231849848 140038356851768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3189] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3189/stat : 3189 (java) S 3008 3011 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105150635 10060525568 1000673 33554432000 1073741824 1073778376 140737344144592 140038229746984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1768.4
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.701 s]
/proc/loadavg: 4.91 4.51 4.35 5/219 3206
/proc/meminfo: memFree=22790212/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9824732 CPUtime=1797.52 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 35247 0 1 0 179492 260 0 0 20 0 22 0 105081832 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2456183 1004258 2303 9 0 2446860 0
[pid=3011/tid=3012] ppid=3008 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) S 3008 3011 31415 0 -1 4202560 2501 0 1 0 40 3 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038416331640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3014] ppid=3008 vsize=9824732 CPUtime=4.73 cores=0,2,4,6
/proc/3011/task/3014/stat : 3014 (java) S 3008 3011 31415 0 -1 4202560 730 0 0 0 454 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038355061416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3015] ppid=3008 vsize=9824732 CPUtime=5.07 cores=0,2,4,6
/proc/3011/task/3015/stat : 3015 (java) S 3008 3011 31415 0 -1 4202560 722 0 0 0 484 23 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038354008872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3016] ppid=3008 vsize=9824732 CPUtime=4.66 cores=0,2,4,6
/proc/3011/task/3016/stat : 3016 (java) S 3008 3011 31415 0 -1 4202560 719 0 0 0 446 20 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038352956328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3017] ppid=3008 vsize=9824732 CPUtime=5.47 cores=0,2,4,6
/proc/3011/task/3017/stat : 3017 (java) S 3008 3011 31415 0 -1 4202560 969 0 0 0 528 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038351903784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3018] ppid=3008 vsize=9824732 CPUtime=5.06 cores=0,2,4,6
/proc/3011/task/3018/stat : 3018 (java) S 3008 3011 31415 0 -1 4202560 796 0 0 0 487 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038350850216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3019] ppid=3008 vsize=9824732 CPUtime=5.04 cores=0,2,4,6
/proc/3011/task/3019/stat : 3019 (java) S 3008 3011 31415 0 -1 4202560 814 0 0 0 485 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038349797672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3020] ppid=3008 vsize=9824732 CPUtime=4.58 cores=0,2,4,6
/proc/3011/task/3020/stat : 3020 (java) S 3008 3011 31415 0 -1 4202560 643 0 0 0 439 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038253525416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3021] ppid=3008 vsize=9824732 CPUtime=5.07 cores=0,2,4,6
/proc/3011/task/3021/stat : 3021 (java) S 3008 3011 31415 0 -1 4202560 621 0 0 0 485 22 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038252472872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3022] ppid=3008 vsize=9824732 CPUtime=4.45 cores=0,2,4,6
/proc/3011/task/3022/stat : 3022 (java) S 3008 3011 31415 0 -1 4202560 2602 0 0 0 437 8 0 0 20 0 22 0 105081834 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038240275048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3023] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3023/stat : 3023 (java) S 3008 3011 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038239221368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3024] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3024/stat : 3024 (java) S 3008 3011 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038238168712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3025] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3025/stat : 3025 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038237117456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3026] ppid=3008 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/3011/task/3026/stat : 3026 (java) S 3008 3011 31415 0 -1 4202560 10390 0 0 0 155 2 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038236063800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3027] ppid=3008 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/3011/task/3027/stat : 3027 (java) S 3008 3011 31415 0 -1 4202560 10281 0 0 0 125 2 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038235011256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3028] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3028/stat : 3028 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038233958904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3029] ppid=3008 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/3011/task/3029/stat : 3029 (java) S 3008 3011 31415 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038232906568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3045] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3045/stat : 3045 (java) S 3008 3011 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105082069 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038230799528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3187] ppid=3008 vsize=9824732 CPUtime=205.61 cores=0,2,4,6
/proc/3011/task/3187/stat : 3187 (java) R 3008 3011 31415 0 -1 4202560 12 0 0 0 20558 3 0 0 20 0 22 0 105150635 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038228692384 140038356979429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3188] ppid=3008 vsize=9824732 CPUtime=205.65 cores=0,2,4,6
/proc/3011/task/3188/stat : 3188 (java) R 3008 3011 31415 0 -1 4202560 12 0 0 0 20562 3 0 0 20 0 22 0 105150635 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038231849504 140038356852793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3189] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3189/stat : 3189 (java) S 3008 3011 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105150635 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038229746984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.52
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 3011 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.701 s]
/proc/loadavg: 4.91 4.51 4.35 5/219 3206
/proc/meminfo: memFree=22790212/32872528 swapFree=14448/1543360
[pid=3011] ppid=3008 vsize=9824732 CPUtime=1797.52 cores=0,2,4,6
/proc/3011/stat : 3011 (java) S 3008 3011 31415 0 -1 4202496 35247 0 1 0 179492 260 0 0 20 0 22 0 105081832 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140737344135728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3011/statm: 2456183 1004258 2303 9 0 2446860 0
[pid=3011/tid=3012] ppid=3008 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/3011/task/3012/stat : 3012 (java) S 3008 3011 31415 0 -1 4202560 2501 0 1 0 40 3 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038416331640 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3014] ppid=3008 vsize=9824732 CPUtime=4.73 cores=0,2,4,6
/proc/3011/task/3014/stat : 3014 (java) S 3008 3011 31415 0 -1 4202560 730 0 0 0 454 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038355061416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3015] ppid=3008 vsize=9824732 CPUtime=5.07 cores=0,2,4,6
/proc/3011/task/3015/stat : 3015 (java) S 3008 3011 31415 0 -1 4202560 722 0 0 0 484 23 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038354008872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3016] ppid=3008 vsize=9824732 CPUtime=4.66 cores=0,2,4,6
/proc/3011/task/3016/stat : 3016 (java) S 3008 3011 31415 0 -1 4202560 719 0 0 0 446 20 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038352956328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3017] ppid=3008 vsize=9824732 CPUtime=5.47 cores=0,2,4,6
/proc/3011/task/3017/stat : 3017 (java) S 3008 3011 31415 0 -1 4202560 969 0 0 0 528 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038351903784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3018] ppid=3008 vsize=9824732 CPUtime=5.06 cores=0,2,4,6
/proc/3011/task/3018/stat : 3018 (java) S 3008 3011 31415 0 -1 4202560 796 0 0 0 487 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038350850216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3019] ppid=3008 vsize=9824732 CPUtime=5.04 cores=0,2,4,6
/proc/3011/task/3019/stat : 3019 (java) S 3008 3011 31415 0 -1 4202560 814 0 0 0 485 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038349797672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3020] ppid=3008 vsize=9824732 CPUtime=4.58 cores=0,2,4,6
/proc/3011/task/3020/stat : 3020 (java) S 3008 3011 31415 0 -1 4202560 643 0 0 0 439 19 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038253525416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3021] ppid=3008 vsize=9824732 CPUtime=5.07 cores=0,2,4,6
/proc/3011/task/3021/stat : 3021 (java) S 3008 3011 31415 0 -1 4202560 621 0 0 0 485 22 0 0 20 0 22 0 105081833 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038252472872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3022] ppid=3008 vsize=9824732 CPUtime=4.45 cores=0,2,4,6
/proc/3011/task/3022/stat : 3022 (java) S 3008 3011 31415 0 -1 4202560 2602 0 0 0 437 8 0 0 20 0 22 0 105081834 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038240275048 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3023] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3023/stat : 3023 (java) S 3008 3011 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038239221368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3024] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3024/stat : 3024 (java) S 3008 3011 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 105081835 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038238168712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3025] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3025/stat : 3025 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038237117456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3026] ppid=3008 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/3011/task/3026/stat : 3026 (java) S 3008 3011 31415 0 -1 4202560 10390 0 0 0 155 2 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038236063800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3027] ppid=3008 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/3011/task/3027/stat : 3027 (java) S 3008 3011 31415 0 -1 4202560 10281 0 0 0 125 2 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038235011256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3011/tid=3028] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3028/stat : 3028 (java) S 3008 3011 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038233958904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3029] ppid=3008 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/3011/task/3029/stat : 3029 (java) S 3008 3011 31415 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 105081837 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038232906568 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3045] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3045/stat : 3045 (java) S 3008 3011 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105082069 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038230799528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3011/tid=3187] ppid=3008 vsize=9824732 CPUtime=205.61 cores=0,2,4,6
/proc/3011/task/3187/stat : 3187 (java) R 3008 3011 31415 0 -1 4202560 12 0 0 0 20558 3 0 0 20 0 22 0 105150635 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038228692384 140038356979429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3011/tid=3188] ppid=3008 vsize=9824732 CPUtime=205.65 cores=0,2,4,6
/proc/3011/task/3188/stat : 3188 (java) R 3008 3011 31415 0 -1 4202560 12 0 0 0 20562 3 0 0 20 0 22 0 105150635 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038231849504 140038356852793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3011/tid=3189] ppid=3008 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/3011/task/3189/stat : 3189 (java) S 3008 3011 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105150635 10060525568 1004258 33554432000 1073741824 1073778376 140737344144592 140038229746984 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3011 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=889287
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=900559
# CPU time returned by wait4() is 1796.79
# while last known CPU time is 1797.52
#
# 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): 2.62986
#  lost CPU user time (s): 2.83993
#  lost CPU system time (s): -0.21

Real time (s): 896.774
CPU time (s): 1800.15
CPU user time (s): 1797.76
CPU system time (s): 2.39
CPU usage (%): 200.736
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 2.90056
maximum resident set size= 4017144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35286
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24040
involuntary context switches= 30044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.22121 second user time and 7.66783 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-06 18:44:42
IDJOB=4081325
IDBENCH=2880
IDSOLVER=2543
FILE ID=node116/4081325-1465231482
RUNJOBID= node116-1465218446-31431
PBS_JOBID= 19843214
Free space on /tmp= 71728 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-C880.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081325-1465231482/watcher-4081325-1465231482 -o /tmp/evaluation-result-4081325-1465231482/solver-4081325-1465231482 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31431 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081325-1465231482.opb

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

MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba
RANDOM SEED=1520005375

node116.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		: 2667.134
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	: 5334.26
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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:        28208488 kB
Buffers:           24632 kB
Cached:           112148 kB
SwapCached:         1432 kB
Active:          2343292 kB
Inactive:          70312 kB
Active(anon):    2277800 kB
Inactive(anon):     1380 kB
Active(file):      65492 kB
Inactive(file):    68932 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67098884 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       3844024 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             566480 kB
SReclaimable:      10296 kB
SUnreclaim:       556184 kB
KernelStack:        1784 kB
PageTables:        12032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3979028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3780608 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= 71732 MiB
End job on node116 at 2016-06-06 18:59:39