Trace number 4105474

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)72 1800.1 898.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
MD5SUMa793af2f16b39bdc1dda733b5326bfb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved NO
Number of variables1266
Total number of constraints2888
Number of constraints which are clauses2888
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 constraint183
Number of terms in the objective function 1266
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 1266
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 1266
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4105474-1466254220.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.70/0.41	c ... done. Wall clock time 0.289s.
0.70/0.41	c declared #vars     1266
0.70/0.41	c #constraints  2888
0.70/0.41	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.70/0.41	c constraints type 
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2690
0.70/0.41	c org.sat4j.specs.Constr$1 => 107
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 78
0.70/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 13
0.70/0.41	c 2888 constraints processed.
0.70/0.41	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.70/0.41	c constraints type 
0.70/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 78
0.70/0.41	c org.sat4j.specs.Constr$1 => 107
0.70/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2690
0.70/0.41	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
0.70/0.41	c 2888 constraints processed.
0.70/0.41	c objective function length is 1266 literals
0.70/0.44	c And the winner is solver0
0.81/0.92	c SATISFIABLE
0.81/0.92	c OPTIMIZING...
0.81/0.92	c Got one! Elapsed wall clock time (in seconds):0.796
0.81/0.92	o 89
1.53/1.16	c And the winner is solver1
1.95/1.42	c Got one! Elapsed wall clock time (in seconds):1.304
1.95/1.42	o 88
1.95/1.49	c And the winner is solver0
2.39/1.93	c Got one! Elapsed wall clock time (in seconds):1.809
2.39/1.93	o 87
3.27/2.40	c And the winner is solver0
3.46/2.44	c Got one! Elapsed wall clock time (in seconds):2.314
3.46/2.44	o 86
4.46/2.93	c cleaning 3216 clauses out of 6432 with flag 7170/6432
4.46/2.95	c And the winner is solver1
4.61/3.44	c Got one! Elapsed wall clock time (in seconds):3.319
4.61/3.44	o 85
6.72/4.48	c cleaning 4142 clauses out of 8284 with flag 23447/11500
9.53/5.72	c cleaning 5071 clauses out of 10142 with flag 57875/17500
12.74/7.22	c cleaning 6036 clauses out of 12071 with flag 90903/24500
12.96/7.36	c And the winner is solver1
13.08/7.46	c Got one! Elapsed wall clock time (in seconds):7.343
13.08/7.46	o 84
14.39/8.19	c And the winner is solver1
14.58/8.47	c Got one! Elapsed wall clock time (in seconds):8.346
14.58/8.47	o 83
14.84/8.69	c cleaning 5954 clauses out of 11942 with flag 3754/30407
17.36/9.90	c cleaning 5992 clauses out of 11990 with flag 25237/36409
20.17/11.22	c cleaning 6501 clauses out of 13002 with flag 50650/43413
23.49/12.85	c cleaning 7248 clauses out of 14495 with flag 78955/51407
27.29/14.72	c cleaning 8112 clauses out of 16247 with flag 109298/60407
31.83/16.90	c cleaning 9044 clauses out of 18135 with flag 145219/70407
35.64/18.84	c And the winner is solver1
35.66/18.97	c Got one! Elapsed wall clock time (in seconds):18.85
35.66/18.97	o 82
38.32/20.38	c cleaning 11994 clauses out of 23988 with flag 19335/85304
41.50/21.81	c cleaning 8997 clauses out of 17994 with flag 46068/91304
44.49/23.38	c cleaning 7999 clauses out of 15997 with flag 73560/98304
48.09/25.13	c cleaning 7999 clauses out of 15998 with flag 99363/106304
51.89/27.01	c cleaning 8500 clauses out of 17001 with flag 130205/115306
56.10/29.14	c cleaning 9247 clauses out of 18505 with flag 163402/125310
60.72/31.49	c cleaning 10135 clauses out of 20270 with flag 202289/136322
66.81/34.34	c cleaning 11056 clauses out of 22118 with flag 239440/148305
72.41/37.20	c cleaning 12031 clauses out of 24062 with flag 278106/161305
76.81/39.36	c And the winner is solver0
76.97/39.48	c Got one! Elapsed wall clock time (in seconds):39.355
76.97/39.48	o 81
79.59/40.84	c cleaning 13686 clauses out of 27372 with flag 21589/176646
82.87/42.31	c cleaning 9843 clauses out of 19685 with flag 44417/182645
85.86/43.88	c cleaning 8410 clauses out of 16842 with flag 67242/189645
89.66/45.73	c cleaning 8215 clauses out of 16432 with flag 97954/197645
93.46/47.69	c cleaning 8585 clauses out of 17217 with flag 129177/206645
98.22/49.99	c cleaning 9304 clauses out of 18632 with flag 164541/216645
103.24/52.45	c cleaning 10133 clauses out of 20328 with flag 201994/227645
108.65/55.20	c cleaning 11076 clauses out of 22195 with flag 239236/239645
114.44/58.09	c cleaning 12047 clauses out of 24119 with flag 280043/252645
120.98/61.29	c cleaning 13032 clauses out of 26072 with flag 330967/266645
128.00/64.70	c cleaning 14020 clauses out of 28040 with flag 379737/281645
132.20/66.82	c And the winner is solver1
132.20/66.98	c Got one! Elapsed wall clock time (in seconds):66.863
132.20/66.98	o 80
134.21/68.09	c cleaning 14830 clauses out of 29687 with flag 19783/297312
136.61/69.25	c cleaning 10429 clauses out of 20857 with flag 42249/303312
139.41/70.69	c cleaning 8714 clauses out of 17428 with flag 66583/310312
142.81/72.38	c cleaning 8358 clauses out of 16715 with flag 95395/318313
146.81/74.38	c cleaning 8677 clauses out of 17356 with flag 127260/327312
151.01/76.49	c cleaning 9330 clauses out of 18679 with flag 166528/337312
156.93/79.72	c cleaning 10160 clauses out of 20349 with flag 205419/348312
161.93/82.29	c cleaning 11092 clauses out of 22190 with flag 244354/360313
167.73/85.14	c cleaning 12049 clauses out of 24100 with flag 287152/373315
173.81/88.16	c cleaning 13023 clauses out of 26049 with flag 330075/387313
180.80/91.64	c cleaning 14011 clauses out of 28026 with flag 377949/402313
188.00/95.24	c cleaning 14983 clauses out of 30014 with flag 432145/418312
195.40/98.99	c cleaning 16007 clauses out of 32031 with flag 486086/435312
203.99/103.21	c cleaning 17005 clauses out of 34024 with flag 549357/453312
213.38/107.84	c cleaning 18007 clauses out of 36019 with flag 614205/472312
219.76/111.09	c And the winner is solver1
219.76/111.23	c Got one! Elapsed wall clock time (in seconds):111.109
219.76/111.23	o 79
221.91/112.38	c cleaning 18649 clauses out of 37352 with flag 23125/491652
224.49/113.63	c cleaning 12351 clauses out of 24702 with flag 44916/497651
227.29/115.02	c cleaning 9676 clauses out of 19351 with flag 74037/504651
230.50/116.63	c cleaning 8838 clauses out of 17676 with flag 101753/512652
234.09/118.42	c cleaning 8903 clauses out of 17836 with flag 133346/521650
238.30/120.46	c cleaning 9449 clauses out of 18933 with flag 172440/531650
243.29/122.90	c cleaning 10240 clauses out of 20484 with flag 207075/542650
248.51/125.58	c cleaning 11106 clauses out of 22244 with flag 249525/554650
254.90/128.71	c cleaning 12065 clauses out of 24138 with flag 295588/567650
261.39/131.89	c cleaning 13010 clauses out of 26073 with flag 345833/581650
267.78/135.02	c cleaning 14022 clauses out of 28064 with flag 399464/596651
274.58/138.42	c cleaning 15013 clauses out of 30041 with flag 462261/612650
282.06/142.17	c cleaning 16016 clauses out of 32031 with flag 526400/629653
290.48/146.32	c cleaning 16990 clauses out of 34012 with flag 588195/647650
299.45/150.77	c cleaning 18011 clauses out of 36023 with flag 651929/666651
308.84/155.46	c cleaning 18989 clauses out of 38011 with flag 721255/686650
312.65/157.40	c And the winner is solver1
312.65/157.74	c Got one! Elapsed wall clock time (in seconds):157.619
312.65/157.74	o 78
314.82/158.82	c cleaning 16605 clauses out of 33243 with flag 22548/700871
317.41/160.01	c cleaning 11316 clauses out of 22632 with flag 45855/706865
319.80/161.23	c cleaning 9157 clauses out of 18316 with flag 71912/713865
322.60/162.62	c cleaning 8585 clauses out of 17169 with flag 102480/721875
326.01/164.30	c cleaning 8774 clauses out of 17574 with flag 133988/730865
329.41/166.09	c cleaning 9380 clauses out of 18800 with flag 170786/740865
333.81/168.30	c cleaning 10213 clauses out of 20425 with flag 206417/751870
338.62/170.65	c cleaning 11098 clauses out of 22209 with flag 248888/763867
343.60/173.11	c cleaning 12055 clauses out of 24109 with flag 296783/776865
350.92/177.34	c cleaning 13028 clauses out of 26055 with flag 346624/790866
356.92/180.34	c cleaning 14015 clauses out of 28030 with flag 399455/805869
363.74/183.70	c cleaning 15006 clauses out of 30011 with flag 455106/821865
370.79/187.20	c cleaning 15996 clauses out of 32006 with flag 510477/838866
378.19/191.00	c cleaning 17002 clauses out of 34009 with flag 578663/856865
386.39/195.07	c cleaning 18005 clauses out of 36012 with flag 640021/875870
388.20/195.98	c And the winner is solver1
388.20/196.15	c Got one! Elapsed wall clock time (in seconds):196.026
388.20/196.15	o 77
388.50/196.33	c cleaning 11720 clauses out of 23486 with flag 4620/881349
390.50/197.33	c cleaning 8884 clauses out of 17767 with flag 31393/887350
392.90/198.52	c cleaning 7941 clauses out of 15883 with flag 58254/894350
395.70/199.95	c cleaning 7969 clauses out of 15942 with flag 87406/902350
399.01/201.55	c cleaning 8480 clauses out of 16977 with flag 121105/911354
402.40/203.26	c cleaning 9237 clauses out of 18492 with flag 156596/921349
406.60/205.35	c cleaning 10128 clauses out of 20255 with flag 198797/932349
411.00/207.58	c cleaning 11046 clauses out of 22128 with flag 243017/944350
416.35/210.10	c cleaning 12039 clauses out of 24081 with flag 289552/957349
421.94/212.92	c cleaning 13014 clauses out of 26042 with flag 338744/971349
427.74/215.87	c cleaning 13989 clauses out of 28028 with flag 390479/986349
434.54/219.27	c cleaning 15019 clauses out of 30039 with flag 442797/1002349
441.54/222.72	c cleaning 15991 clauses out of 32020 with flag 501755/1019349
446.94/225.45	c And the winner is solver0
447.14/225.70	c Got one! Elapsed wall clock time (in seconds):225.576
447.14/225.70	o 76
448.93/226.65	c cleaning 17514 clauses out of 35027 with flag 27236/1038347
451.52/227.87	c cleaning 11756 clauses out of 23513 with flag 55360/1044347
454.11/229.12	c cleaning 9374 clauses out of 18759 with flag 93814/1051349
456.91/230.54	c cleaning 8695 clauses out of 17390 with flag 133520/1059354
460.35/232.27	c cleaning 8837 clauses out of 17688 with flag 180149/1068347
464.14/234.10	c cleaning 9425 clauses out of 18851 with flag 216313/1078347
468.74/236.36	c cleaning 10195 clauses out of 20426 with flag 262636/1089347
473.34/238.63	c cleaning 11116 clauses out of 22231 with flag 305415/1101347
478.16/241.09	c cleaning 12057 clauses out of 24117 with flag 356537/1114349
483.94/243.94	c cleaning 13008 clauses out of 26058 with flag 407518/1128347
490.14/247.07	c cleaning 14012 clauses out of 28050 with flag 460744/1143347
497.24/250.44	c cleaning 15019 clauses out of 30038 with flag 523372/1159347
505.04/254.34	c cleaning 16010 clauses out of 32019 with flag 575043/1176347
513.76/258.54	c cleaning 17004 clauses out of 34009 with flag 630261/1194347
521.54/262.40	c cleaning 17996 clauses out of 36005 with flag 694136/1213347
529.94/266.67	c cleaning 18998 clauses out of 38009 with flag 761833/1233347
531.56/267.43	c And the winner is solver1
531.56/267.73	c Got one! Elapsed wall clock time (in seconds):267.606
531.56/267.73	o 75
532.09/268.06	c cleaning 12406 clauses out of 24815 with flag 10354/1239151
534.82/269.24	c cleaning 9199 clauses out of 18409 with flag 38291/1245151
537.42/270.59	c cleaning 8100 clauses out of 16210 with flag 64129/1252151
540.62/272.16	c cleaning 8054 clauses out of 16111 with flag 93343/1260152
544.43/274.02	c cleaning 8528 clauses out of 17057 with flag 122956/1269152
549.19/276.29	c cleaning 9223 clauses out of 18528 with flag 155962/1279151
553.59/278.42	c cleaning 10152 clauses out of 20305 with flag 194696/1290151
558.58/280.97	c cleaning 11072 clauses out of 22153 with flag 237663/1302151
563.97/283.64	c cleaning 12006 clauses out of 24081 with flag 283841/1315151
570.11/286.54	c cleaning 13038 clauses out of 26081 with flag 333545/1329157
576.31/289.67	c cleaning 14020 clauses out of 28041 with flag 387307/1344155
583.62/293.13	c cleaning 15009 clauses out of 30019 with flag 443121/1360153
591.63/297.12	c cleaning 15988 clauses out of 32008 with flag 506053/1377151
600.49/301.47	c cleaning 17010 clauses out of 34020 with flag 568347/1395151
603.87/303.19	c And the winner is solver1
603.88/303.36	c Got one! Elapsed wall clock time (in seconds):303.24
603.88/303.36	o 74
605.74/304.31	c cleaning 15212 clauses out of 30432 with flag 25586/1408573
607.94/305.42	c cleaning 10580 clauses out of 21220 with flag 53320/1414573
610.54/306.76	c cleaning 8811 clauses out of 17640 with flag 80140/1421573
613.54/308.22	c cleaning 8416 clauses out of 16832 with flag 109709/1429576
617.13/310.03	c cleaning 8683 clauses out of 17413 with flag 140497/1438573
621.52/312.19	c cleaning 9321 clauses out of 18730 with flag 180765/1448573
626.12/314.49	c cleaning 10199 clauses out of 20415 with flag 226220/1459579
631.32/317.05	c cleaning 11087 clauses out of 22210 with flag 272346/1471573
636.88/319.77	c cleaning 12063 clauses out of 24125 with flag 316461/1484575
642.87/322.70	c cleaning 13008 clauses out of 26062 with flag 362033/1498575
648.47/325.52	c cleaning 13987 clauses out of 28052 with flag 425357/1513573
657.61/330.95	c cleaning 15025 clauses out of 30065 with flag 483301/1529573
665.01/334.61	c cleaning 16020 clauses out of 32040 with flag 553824/1546573
672.68/338.45	c cleaning 17009 clauses out of 34020 with flag 616278/1564573
681.37/342.70	c cleaning 17980 clauses out of 36011 with flag 678695/1583573
690.73/347.21	c cleaning 19012 clauses out of 38031 with flag 744738/1603573
699.73/351.79	c cleaning 20011 clauses out of 40021 with flag 816886/1624575
711.12/357.44	c cleaning 21004 clauses out of 42009 with flag 890650/1646574
722.85/363.29	c cleaning 21998 clauses out of 44004 with flag 967987/1669573
734.45/369.09	c cleaning 23002 clauses out of 46006 with flag 1053758/1693573
746.32/374.90	c cleaning 23980 clauses out of 48004 with flag 1144345/1718573
759.34/381.23	c cleaning 25005 clauses out of 50025 with flag 1233092/1744574
772.64/387.76	c cleaning 26005 clauses out of 52019 with flag 1325945/1771573
787.02/394.88	c cleaning 27005 clauses out of 54016 with flag 1425627/1799575
801.02/401.71	c cleaning 28003 clauses out of 56009 with flag 1530377/1828573
815.82/409.19	c cleaning 28962 clauses out of 58009 with flag 1633013/1858576
832.05/417.17	c cleaning 30022 clauses out of 60044 with flag 1744336/1889573
849.33/425.61	c cleaning 31005 clauses out of 62022 with flag 1857455/1921573
866.81/434.29	c cleaning 31989 clauses out of 64017 with flag 1969092/1954573
875.52/438.42	c And the winner is solver1
875.52/438.74	c Got one! Elapsed wall clock time (in seconds):438.623
875.52/438.74	o 73
878.23/440.19	c cleaning 26425 clauses out of 52850 with flag 20458/1975395
880.62/441.38	c cleaning 16211 clauses out of 32424 with flag 41364/1981394
883.41/442.75	c cleaning 11602 clauses out of 23213 with flag 64151/1988394
886.61/444.33	c cleaning 9806 clauses out of 19612 with flag 89076/1996395
890.21/446.12	c cleaning 9390 clauses out of 18805 with flag 120900/2005394
894.01/448.07	c cleaning 9695 clauses out of 19415 with flag 155120/2015394
898.72/450.26	c cleaning 10344 clauses out of 20720 with flag 194858/2026394
903.51/452.60	c cleaning 11188 clauses out of 22376 with flag 238821/2038394
908.71/455.24	c cleaning 12090 clauses out of 24194 with flag 285095/2051400
914.96/458.27	c cleaning 13033 clauses out of 26098 with flag 332066/2065394
920.75/461.14	c cleaning 14016 clauses out of 28068 with flag 386920/2080397
927.99/464.70	c cleaning 15011 clauses out of 30049 with flag 442535/2096394
934.78/468.08	c cleaning 16019 clauses out of 32038 with flag 502456/2113394
943.14/472.10	c cleaning 17009 clauses out of 34019 with flag 565488/2131394
951.33/476.27	c cleaning 17974 clauses out of 36010 with flag 629674/2150394
960.47/480.75	c cleaning 18997 clauses out of 38036 with flag 702239/2170394
970.26/485.67	c cleaning 19971 clauses out of 40039 with flag 775304/2191394
980.20/490.60	c cleaning 21023 clauses out of 42068 with flag 851823/2213394
990.60/495.75	c cleaning 21979 clauses out of 44045 with flag 939938/2236394
1001.77/501.27	c cleaning 23008 clauses out of 46066 with flag 1031341/2260394
1012.36/506.58	c cleaning 24026 clauses out of 48058 with flag 1117759/2285394
1023.75/512.20	c cleaning 25019 clauses out of 50038 with flag 1205106/2311400
1034.75/517.78	c cleaning 25993 clauses out of 52013 with flag 1296735/2338394
1047.52/524.03	c cleaning 27012 clauses out of 54024 with flag 1390684/2366398
1061.33/530.97	c cleaning 28000 clauses out of 56008 with flag 1490950/2395394
1076.13/538.37	c cleaning 28999 clauses out of 58009 with flag 1596486/2425395
1091.32/545.83	c cleaning 29977 clauses out of 60012 with flag 1701447/2456397
1106.55/553.32	c cleaning 31007 clauses out of 62032 with flag 1810838/2488394
1122.78/561.36	c cleaning 32007 clauses out of 64025 with flag 1927044/2521394
1139.64/569.62	c cleaning 33003 clauses out of 66018 with flag 2047884/2555394
1157.49/578.41	c cleaning 34005 clauses out of 68015 with flag 2167959/2590394
1175.78/587.46	c cleaning 34990 clauses out of 70014 with flag 2294897/2626398
1195.21/597.08	c cleaning 36008 clauses out of 72020 with flag 2417523/2663394
1217.61/608.23	c cleaning 36995 clauses out of 74012 with flag 2538687/2701394
1235.26/616.99	c cleaning 0 clauses out of 12105 with flag 0/12107
1244.96/623.50	c cleaning 38001 clauses out of 76017 with flag 2669355/2740394
1268.42/635.29	c cleaning 39000 clauses out of 78016 with flag 2804465/2780394
1291.35/646.68	c cleaning 39953 clauses out of 80016 with flag 2949711/2821394
1316.47/659.10	c cleaning 41019 clauses out of 82063 with flag 3094220/2863394
1343.80/672.65	c cleaning 42014 clauses out of 84044 with flag 3239075/2906394
1371.59/686.47	c cleaning 42992 clauses out of 86030 with flag 3390188/2950394
1398.01/699.41	c cleaning 44017 clauses out of 88039 with flag 3542709/2995395
1424.00/712.32	c cleaning 45007 clauses out of 90021 with flag 3692982/3041394
1449.44/724.93	c cleaning 46006 clauses out of 92014 with flag 3854015/3088394
1474.46/737.39	c cleaning 47002 clauses out of 94008 with flag 4036235/3136394
1506.22/752.92	c cleaning 48001 clauses out of 96012 with flag 4203120/3185400
1539.53/769.41	c cleaning 49001 clauses out of 98006 with flag 4372038/3235395
1569.52/784.25	c cleaning 49983 clauses out of 100006 with flag 4550868/3286396
1574.13/786.51	c And the winner is solver1
1574.13/786.91	c Got one! Elapsed wall clock time (in seconds):786.793
1574.13/786.91	o 72
1576.28/788.01	c cleaning 32444 clauses out of 64902 with flag 24237/3301275
1578.48/789.12	c cleaning 19219 clauses out of 38458 with flag 47623/3307275
1581.85/790.60	c cleaning 13096 clauses out of 26239 with flag 74014/3314275
1584.67/792.05	c cleaning 10572 clauses out of 21143 with flag 113467/3322275
1587.85/793.61	c cleaning 9759 clauses out of 19571 with flag 162127/3331275
1591.46/795.48	c cleaning 9888 clauses out of 19814 with flag 203845/3341277
1595.66/797.58	c cleaning 10462 clauses out of 20924 with flag 240685/3352275
1601.21/800.12	c cleaning 11220 clauses out of 22462 with flag 281205/3364275
1606.41/802.77	c cleaning 12113 clauses out of 24242 with flag 329515/3377275
1612.01/805.57	c cleaning 13054 clauses out of 26129 with flag 375784/3391275
1618.03/808.54	c cleaning 14018 clauses out of 28075 with flag 424675/3406275
1625.28/811.99	c cleaning 15024 clauses out of 30059 with flag 481294/3422277
1632.26/815.41	c cleaning 15984 clauses out of 32033 with flag 544032/3439275
1640.41/819.35	c cleaning 17023 clauses out of 34049 with flag 606988/3457275
1648.41/823.33	c cleaning 18008 clauses out of 36028 with flag 672630/3476277
1657.54/827.73	c cleaning 19003 clauses out of 38018 with flag 743726/3496275
1666.54/832.25	c cleaning 19999 clauses out of 40015 with flag 818082/3517275
1676.50/837.01	c cleaning 20990 clauses out of 42016 with flag 892723/3539275
1686.50/842.05	c cleaning 22006 clauses out of 44026 with flag 974366/3562275
1698.00/847.62	c cleaning 22991 clauses out of 46020 with flag 1063113/3586275
1709.09/853.02	c cleaning 24006 clauses out of 48029 with flag 1149164/3611275
1720.71/858.86	c cleaning 25010 clauses out of 50027 with flag 1234191/3637279
1733.76/865.22	c cleaning 25995 clauses out of 52013 with flag 1321778/3664275
1746.16/871.45	c cleaning 26970 clauses out of 54018 with flag 1424393/3692275
1759.35/877.95	c cleaning 28020 clauses out of 56048 with flag 1529156/3721275
1773.52/884.99	c cleaning 29009 clauses out of 58028 with flag 1638367/3751275
1788.33/892.29	c cleaning 30004 clauses out of 60020 with flag 1745089/3782276
1800.10/898.11	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.11	c starts		: 74728
1800.10/898.11	c conflicts		: 3807659
1800.10/898.11	c decisions		: 40035133
1800.10/898.11	c propagations		: 1309964597
1800.10/898.11	c inspects		: 7341401128
1800.10/898.11	c shortcuts		: 0
1800.10/898.11	c learnt literals	: 0
1800.10/898.11	c learnt binary clauses	: 1
1800.10/898.11	c learnt ternary clauses	: 0
1800.10/898.11	c learnt constraints	: 3807659
1800.10/898.11	c ignored constraints	: 0
1800.10/898.11	c root simplifications	: 0
1800.10/898.11	c removed literals (reason simplification)	: 26460793
1800.10/898.11	c reason swapping (by a shorter reason)	: 0
1800.10/898.11	c Calls to reduceDB	: 222
1800.10/898.11	c Number of update (reduction) of LBD	: 1715095
1800.10/898.11	c Imported unit clauses	: 0
1800.10/898.11	c number of reductions to clauses (during analyze)	: 0
1800.10/898.11	c number of learned constraints concerned by reduction	: 0
1800.10/898.11	c number of learning phase by resolution	: 0
1800.10/898.11	c number of learning phase by cutting planes	: 0
1800.10/898.11	c speed (assignments/second)	: 1.1781740479916535E7
1800.10/898.11	c non guided choices	0
1800.10/898.13	c learnt constraints type 
1800.10/898.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.10/898.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55398
1800.10/898.13	c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.13	c starts		: 82
1800.10/898.13	c conflicts		: 15789
1800.10/898.13	c decisions		: 361322
1800.10/898.13	c propagations		: 1250190
1800.10/898.13	c inspects		: 804968360
1800.10/898.13	c shortcuts		: 0
1800.10/898.13	c learnt literals	: 1
1800.10/898.13	c learnt binary clauses	: 0
1800.10/898.13	c learnt ternary clauses	: 0
1800.10/898.13	c learnt constraints	: 15787
1800.10/898.13	c ignored constraints	: 0
1800.10/898.13	c root simplifications	: 0
1800.10/898.13	c removed literals (reason simplification)	: 0
1800.10/898.13	c reason swapping (by a shorter reason)	: 0
1800.10/898.13	c Calls to reduceDB	: 1
1800.10/898.13	c Number of update (reduction) of LBD	: 0
1800.10/898.13	c Imported unit clauses	: 0
1800.10/898.13	c number of reductions to clauses (during analyze)	: 0
1800.10/898.13	c number of learned constraints concerned by reduction	: 0
1800.10/898.13	c number of learning phase by resolution	: 0
1800.10/898.13	c number of learning phase by cutting planes	: 0
1800.10/898.13	c speed (assignments/second)	: 1859.2204060812549
1800.10/898.13	c non guided choices	31
1800.10/898.14	c learnt constraints type 
1800.10/898.14	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 83
1800.10/898.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 252
1800.10/898.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15452
1800.10/898.14	s SATISFIABLE
1800.10/898.14	c Found 18 solution(s)
1800.10/898.14	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 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 
1800.10/898.15	c objective function=72
1800.10/898.15	c Total wall clock time (in seconds): 898.025

Verifier Data 

OK	72

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-4105474-1466254220/watcher-4105474-1466254220 -o /tmp/evaluation-result-4105474-1466254220/solver-4105474-1466254220 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105474-1466254220.opb 

pid=10780
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.21 4.22 4.18 4/198 10783
/proc/meminfo: memFree=28086144/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/10783/stat : 10783 (java) R 10780 10783 6358 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 27471238 278528 33 33554432000 1073741824 1073778376 140737192036512 140736388626088 213857168679 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 68 33 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 4.21 4.22 4.18 4/198 10783
/proc/meminfo: memFree=28086144/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 4433 0 1 0 8 1 0 0 20 0 18 0 27471238 9787879424 6059 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2389619 6059 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200215 s]
/proc/loadavg: 4.21 4.22 4.18 4/198 10783
/proc/meminfo: memFree=28086144/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 5035 0 1 0 26 1 0 0 20 0 18 0 27471238 9787879424 7075 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2389619 7075 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.21 4.22 4.18 4/198 10783
/proc/meminfo: memFree=28086144/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 7560 0 1 0 55 1 0 0 20 0 18 0 27471238 9787879424 10523 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2389619 10523 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700264 s]
/proc/loadavg: 4.21 4.22 4.18 4/198 10783
/proc/meminfo: memFree=28086144/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 7813 0 1 0 77 4 0 0 20 0 19 0 27471238 10060525568 19782 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2456183 19782 2252 9 0 2446860 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 4.21 4.22 4.18 7/220 10808
/proc/meminfo: memFree=27993268/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 17546 0 1 0 213 9 0 0 20 0 20 0 27471238 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2456183 29791 2270 9 0 2446860 0
[pid=10783/tid=10785] ppid=10780 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/10783/task/10785/stat : 10785 (java) S 10780 10783 6358 0 -1 4202560 2482 0 1 0 37 2 0 0 20 0 20 0 27471239 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331282129784 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10786] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10786/stat : 10786 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331126081704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10787] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10787/stat : 10787 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331125029160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10788] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10788/stat : 10788 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331123976616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10789] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10789/stat : 10789 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331122924072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10790] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10790/stat : 10790 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331121871528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10791] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10791/stat : 10791 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331120818984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10792] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10792/stat : 10792 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331119766440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10793] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10793/stat : 10793 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 27471240 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331118713896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10794] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10794/stat : 10794 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 27471241 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331106302056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10795] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10795/stat : 10795 (java) S 10780 10783 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 27471242 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331105248376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10796] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10796/stat : 10796 (java) S 10780 10783 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 27471242 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331104195720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10797] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10797/stat : 10797 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471244 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331103144464 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10798] ppid=10780 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/10783/task/10798/stat : 10798 (java) R 10780 10783 6358 0 -1 4202560 8997 0 0 0 67 2 0 0 20 0 20 0 27471244 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331102079120 140331286222802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10799] ppid=10780 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/10783/task/10799/stat : 10799 (java) R 10780 10783 6358 0 -1 4202560 4713 0 0 0 42 0 0 0 20 0 20 0 27471244 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331101016536 140331287973222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10800] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10800/stat : 10800 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471244 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331099986936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10801] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10801/stat : 10801 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 27471244 10060525568 29791 33554432000 1073741824 1073778376 140737192036512 140331098934600 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.21 4.22 4.18 6/220 10814
/proc/meminfo: memFree=27959648/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9824732 CPUtime=4.61 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 18636 0 1 0 446 15 0 0 20 0 19 0 27471238 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2456183 44915 2280 9 0 2446860 0
[pid=10783/tid=10785] ppid=10780 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10783/task/10785/stat : 10785 (java) S 10780 10783 6358 0 -1 4202560 2484 0 1 0 38 2 0 0 20 0 19 0 27471239 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331282129784 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10786] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10786/stat : 10786 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331126081704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10787] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10787/stat : 10787 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331125029160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10788] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10788/stat : 10788 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331123976616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10789] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10789/stat : 10789 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331122924072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10790] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10790/stat : 10790 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331121871528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10791] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10791/stat : 10791 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331120818984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10792] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10792/stat : 10792 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331119766440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10793] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10793/stat : 10793 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27471240 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331118713896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10794] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10794/stat : 10794 (java) S 10780 10783 6358 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 27471241 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331106302056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10795] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10795/stat : 10795 (java) S 10780 10783 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27471242 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331105248376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10796] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10796/stat : 10796 (java) S 10780 10783 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27471242 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331104195720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10797] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10797/stat : 10797 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471244 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331103144464 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10798] ppid=10780 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/10783/task/10798/stat : 10798 (java) S 10780 10783 6358 0 -1 4202560 9003 0 0 0 83 2 0 0 20 0 19 0 27471244 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331102091832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10799] ppid=10780 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/10783/task/10799/stat : 10799 (java) S 10780 10783 6358 0 -1 4202560 5747 0 0 0 65 0 0 0 20 0 19 0 27471244 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331101039288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10800] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10800/stat : 10800 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471244 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331099986936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10801] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10801/stat : 10801 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27471244 10060525568 44915 33554432000 1073741824 1073778376 140737192036512 140331098934600 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.27 4.23 4.18 5/220 10820
/proc/meminfo: memFree=27864516/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9824732 CPUtime=10.8 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 19736 0 1 0 1057 23 0 0 20 0 22 0 27471238 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2456183 64007 2292 9 0 2446860 0
[pid=10783/tid=10785] ppid=10780 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10783/task/10785/stat : 10785 (java) S 10780 10783 6358 0 -1 4202560 2484 0 1 0 38 2 0 0 20 0 22 0 27471239 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331282129784 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10786] ppid=10780 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10783/task/10786/stat : 10786 (java) S 10780 10783 6358 0 -1 4202560 171 0 0 0 3 2 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331126081704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10787] ppid=10780 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10783/task/10787/stat : 10787 (java) S 10780 10783 6358 0 -1 4202560 92 0 0 0 3 0 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331125029160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10788] ppid=10780 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10783/task/10788/stat : 10788 (java) S 10780 10783 6358 0 -1 4202560 103 0 0 0 4 1 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331123976616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10789] ppid=10780 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10783/task/10789/stat : 10789 (java) S 10780 10783 6358 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331122924072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10790] ppid=10780 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10783/task/10790/stat : 10790 (java) S 10780 10783 6358 0 -1 4202560 137 0 0 0 4 0 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331121871528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10791] ppid=10780 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/10783/task/10791/stat : 10791 (java) S 10780 10783 6358 0 -1 4202560 267 0 0 0 5 1 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331120818984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10792] ppid=10780 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10783/task/10792/stat : 10792 (java) S 10780 10783 6358 0 -1 4202560 111 0 0 0 2 0 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331119766440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10793] ppid=10780 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10783/task/10793/stat : 10793 (java) S 10780 10783 6358 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 22 0 27471240 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331118713896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10794] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10794/stat : 10794 (java) S 10780 10783 6358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 27471241 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331106302056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10795] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10795/stat : 10795 (java) S 10780 10783 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331105248376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10796] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10796/stat : 10796 (java) S 10780 10783 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331104195720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10797] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10797/stat : 10797 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331103144464 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10798] ppid=10780 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/10783/task/10798/stat : 10798 (java) S 10780 10783 6358 0 -1 4202560 9003 0 0 0 108 2 0 0 20 0 22 0 27471244 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331102091832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10799] ppid=10780 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/10783/task/10799/stat : 10799 (java) S 10780 10783 6358 0 -1 4202560 5747 0 0 0 71 0 0 0 20 0 22 0 27471244 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331101039288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10800] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10800/stat : 10800 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331099986936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10801] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10801/stat : 10801 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331098934600 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10817] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10817/stat : 10817 (java) S 10780 10783 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27471482 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331095774888 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10818] ppid=10780 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/10783/task/10818/stat : 10818 (java) R 10780 10783 6358 0 -1 4202560 4 0 0 0 268 0 0 0 20 0 22 0 27471582 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331096826312 140331155042406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10819] ppid=10780 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/10783/task/10819/stat : 10819 (java) R 10780 10783 6358 0 -1 4202560 15 0 0 0 271 0 0 0 20 0 22 0 27471582 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331097877512 140331155137803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10820] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10820/stat : 10820 (java) S 10780 10783 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27471585 10060525568 64007 33554432000 1073741824 1073778376 140737192036512 140331094721576 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 10.8

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

[pid=10783/tid=10793] ppid=10780 vsize=9824732 CPUtime=4.57 cores=0,2,4,6
/proc/10783/task/10793/stat : 10793 (java) S 10780 10783 6358 0 -1 4202560 858 0 0 0 433 24 0 0 20 0 22 0 27471240 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331118713896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10794] ppid=10780 vsize=9824732 CPUtime=7.99 cores=0,2,4,6
/proc/10783/task/10794/stat : 10794 (java) S 10780 10783 6358 0 -1 4202560 2916 0 0 0 792 7 0 0 20 0 22 0 27471241 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331106302056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10795] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10795/stat : 10795 (java) S 10780 10783 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331105248376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10796] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10796/stat : 10796 (java) S 10780 10783 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331104195720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10797] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10797/stat : 10797 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331103144464 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10798] ppid=10780 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/10783/task/10798/stat : 10798 (java) S 10780 10783 6358 0 -1 4202560 15775 0 0 0 260 3 0 0 20 0 22 0 27471244 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331102091832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10799] ppid=10780 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/10783/task/10799/stat : 10799 (java) S 10780 10783 6358 0 -1 4202560 6619 0 0 0 100 1 0 0 20 0 22 0 27471244 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331101039288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10800] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10800/stat : 10800 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331099986936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10801] ppid=10780 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/10783/task/10801/stat : 10801 (java) S 10780 10783 6358 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 27471244 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331098934600 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10852] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10852/stat : 10852 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27493809 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331094721960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=11226] ppid=10780 vsize=9824732 CPUtime=93.34 cores=0,2,4,6
/proc/10783/task/11226/stat : 11226 (java) R 10780 10783 6358 0 -1 4202560 5 0 0 0 9333 1 0 0 20 0 22 0 27549931 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331097877928 140331155119839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=11227] ppid=10780 vsize=9824732 CPUtime=93.32 cores=0,2,4,6
/proc/10783/task/11227/stat : 11227 (java) R 10780 10783 6358 0 -1 4202560 12 0 0 0 9331 1 0 0 20 0 22 0 27549931 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331096825040 140331155481097 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=11228] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/11228/stat : 11228 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27549931 10060525568 1075842 33554432000 1073741824 1073778376 140737192036512 140331095774120 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1765.82
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.101 s]
/proc/loadavg: 4.23 4.10 4.11 5/219 11236
/proc/meminfo: memFree=25651132/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9824732 CPUtime=1797.58 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 37734 0 1 0 179456 302 0 0 20 0 22 0 27471238 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2456183 1085572 2302 9 0 2446860 0
[pid=10783/tid=10785] ppid=10780 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/10783/task/10785/stat : 10785 (java) S 10780 10783 6358 0 -1 4202560 2494 0 1 0 47 4 0 0 20 0 22 0 27471239 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331282129784 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10786] ppid=10780 vsize=9824732 CPUtime=5.49 cores=0,2,4,6
/proc/10783/task/10786/stat : 10786 (java) S 10780 10783 6358 0 -1 4202560 872 0 0 0 526 23 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331126081704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10787] ppid=10780 vsize=9824732 CPUtime=5.33 cores=0,2,4,6
/proc/10783/task/10787/stat : 10787 (java) S 10780 10783 6358 0 -1 4202560 890 0 0 0 507 26 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331125029160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10788] ppid=10780 vsize=9824732 CPUtime=4.53 cores=0,2,4,6
/proc/10783/task/10788/stat : 10788 (java) S 10780 10783 6358 0 -1 4202560 764 0 0 0 431 22 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331123976616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10789] ppid=10780 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/10783/task/10789/stat : 10789 (java) S 10780 10783 6358 0 -1 4202560 658 0 0 0 474 24 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331122924072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10790] ppid=10780 vsize=9824732 CPUtime=4.75 cores=0,2,4,6
/proc/10783/task/10790/stat : 10790 (java) S 10780 10783 6358 0 -1 4202560 930 0 0 0 451 24 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331121871528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10791] ppid=10780 vsize=9824732 CPUtime=5.31 cores=0,2,4,6
/proc/10783/task/10791/stat : 10791 (java) S 10780 10783 6358 0 -1 4202560 1065 0 0 0 505 26 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331120818984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10792] ppid=10780 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/10783/task/10792/stat : 10792 (java) S 10780 10783 6358 0 -1 4202560 843 0 0 0 412 22 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331119766440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10793] ppid=10780 vsize=9824732 CPUtime=4.67 cores=0,2,4,6
/proc/10783/task/10793/stat : 10793 (java) S 10780 10783 6358 0 -1 4202560 873 0 0 0 443 24 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331118713896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10794] ppid=10780 vsize=9824732 CPUtime=7.99 cores=0,2,4,6
/proc/10783/task/10794/stat : 10794 (java) S 10780 10783 6358 0 -1 4202560 2918 0 0 0 792 7 0 0 20 0 22 0 27471241 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331106302056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10795] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10795/stat : 10795 (java) S 10780 10783 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331105248376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10796] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10796/stat : 10796 (java) S 10780 10783 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331104195720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10797] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10797/stat : 10797 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331103144464 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10798] ppid=10780 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/10783/task/10798/stat : 10798 (java) S 10780 10783 6358 0 -1 4202560 15776 0 0 0 260 3 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331102091832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10799] ppid=10780 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/10783/task/10799/stat : 10799 (java) S 10780 10783 6358 0 -1 4202560 6619 0 0 0 100 1 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331101039288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10800] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10800/stat : 10800 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331099986936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10801] ppid=10780 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/10783/task/10801/stat : 10801 (java) S 10780 10783 6358 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331098934600 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10852] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10852/stat : 10852 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27493809 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331094721960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=11226] ppid=10780 vsize=9824732 CPUtime=108.98 cores=0,2,4,6
/proc/10783/task/11226/stat : 11226 (java) R 10780 10783 6358 0 -1 4202560 5 0 0 0 10897 1 0 0 20 0 22 0 27549931 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331097870864 140331155093692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=11227] ppid=10780 vsize=9824732 CPUtime=108.96 cores=0,2,4,6
/proc/10783/task/11227/stat : 11227 (java) R 10780 10783 6358 0 -1 4202560 13 0 0 0 10895 1 0 0 20 0 22 0 27549931 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331096825040 140331155103033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=11228] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/11228/stat : 11228 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27549931 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331095774120 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.58
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 10783 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.101 s]
/proc/loadavg: 4.23 4.10 4.11 5/219 11236
/proc/meminfo: memFree=25651132/32872528 swapFree=681964/737152
[pid=10783] ppid=10780 vsize=9824732 CPUtime=1797.58 cores=0,2,4,6
/proc/10783/stat : 10783 (java) S 10780 10783 6358 0 -1 4202496 37734 0 1 0 179456 302 0 0 20 0 22 0 27471238 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140737192027648 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10783/statm: 2456183 1085572 2302 9 0 2446860 0
[pid=10783/tid=10785] ppid=10780 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/10783/task/10785/stat : 10785 (java) S 10780 10783 6358 0 -1 4202560 2494 0 1 0 47 4 0 0 20 0 22 0 27471239 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331282129784 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10786] ppid=10780 vsize=9824732 CPUtime=5.49 cores=0,2,4,6
/proc/10783/task/10786/stat : 10786 (java) S 10780 10783 6358 0 -1 4202560 872 0 0 0 526 23 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331126081704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10787] ppid=10780 vsize=9824732 CPUtime=5.33 cores=0,2,4,6
/proc/10783/task/10787/stat : 10787 (java) S 10780 10783 6358 0 -1 4202560 890 0 0 0 507 26 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331125029160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10788] ppid=10780 vsize=9824732 CPUtime=4.53 cores=0,2,4,6
/proc/10783/task/10788/stat : 10788 (java) S 10780 10783 6358 0 -1 4202560 764 0 0 0 431 22 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331123976616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10789] ppid=10780 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/10783/task/10789/stat : 10789 (java) S 10780 10783 6358 0 -1 4202560 658 0 0 0 474 24 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331122924072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10790] ppid=10780 vsize=9824732 CPUtime=4.75 cores=0,2,4,6
/proc/10783/task/10790/stat : 10790 (java) S 10780 10783 6358 0 -1 4202560 930 0 0 0 451 24 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331121871528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10791] ppid=10780 vsize=9824732 CPUtime=5.31 cores=0,2,4,6
/proc/10783/task/10791/stat : 10791 (java) S 10780 10783 6358 0 -1 4202560 1065 0 0 0 505 26 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331120818984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10792] ppid=10780 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/10783/task/10792/stat : 10792 (java) S 10780 10783 6358 0 -1 4202560 843 0 0 0 412 22 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331119766440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10793] ppid=10780 vsize=9824732 CPUtime=4.67 cores=0,2,4,6
/proc/10783/task/10793/stat : 10793 (java) S 10780 10783 6358 0 -1 4202560 873 0 0 0 443 24 0 0 20 0 22 0 27471240 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331118713896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10794] ppid=10780 vsize=9824732 CPUtime=7.99 cores=0,2,4,6
/proc/10783/task/10794/stat : 10794 (java) S 10780 10783 6358 0 -1 4202560 2918 0 0 0 792 7 0 0 20 0 22 0 27471241 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331106302056 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10795] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10795/stat : 10795 (java) S 10780 10783 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331105248376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10796] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10796/stat : 10796 (java) S 10780 10783 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27471242 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331104195720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10797] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10797/stat : 10797 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331103144464 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10798] ppid=10780 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/10783/task/10798/stat : 10798 (java) S 10780 10783 6358 0 -1 4202560 15776 0 0 0 260 3 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331102091832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10783/tid=10799] ppid=10780 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/10783/task/10799/stat : 10799 (java) S 10780 10783 6358 0 -1 4202560 6619 0 0 0 100 1 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331101039288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10783/tid=10800] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10800/stat : 10800 (java) S 10780 10783 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331099986936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=10801] ppid=10780 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/10783/task/10801/stat : 10801 (java) S 10780 10783 6358 0 -1 4202560 51 0 0 0 14 18 0 0 20 0 22 0 27471244 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331098934600 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=10852] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/10852/stat : 10852 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27493809 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331094721960 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=11226] ppid=10780 vsize=9824732 CPUtime=108.98 cores=0,2,4,6
/proc/10783/task/11226/stat : 11226 (java) R 10780 10783 6358 0 -1 4202560 5 0 0 0 10897 1 0 0 20 0 22 0 27549931 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331097870864 140331155093692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10783/tid=11227] ppid=10780 vsize=9824732 CPUtime=108.96 cores=0,2,4,6
/proc/10783/task/11227/stat : 11227 (java) R 10780 10783 6358 0 -1 4202560 13 0 0 0 10895 1 0 0 20 0 22 0 27549931 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331096825040 140331155103033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10783/tid=11228] ppid=10780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10783/task/11228/stat : 11228 (java) S 10780 10783 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27549931 10060525568 1085572 33554432000 1073741824 1073778376 140737192036512 140331095774120 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10783 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=18267
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=211511
# CPU time returned by wait4() is 1797.23
# while last known CPU time is 1797.58
#
# 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.52005
#  lost CPU user time (s): 2.77005
#  lost CPU system time (s): -0.25

Real time (s): 898.18
CPU time (s): 1800.1
CPU user time (s): 1797.33
CPU system time (s): 2.77
CPU usage (%): 200.416
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 3.21151
maximum resident set size= 4342400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37771
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24297
involuntary context switches= 28446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68413 second user time and 7.28389 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 14:50:20
IDJOB=4105474
IDBENCH=2876
IDSOLVER=2543
FILE ID=node112/4105474-1466254220
RUNJOBID= node112-1466241279-6374
PBS_JOBID= 19918204
Free space on /tmp= 71712 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-alu2.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105474-1466254220/watcher-4105474-1466254220 -o /tmp/evaluation-result-4105474-1466254220/solver-4105474-1466254220 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6374 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105474-1466254220.opb

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

MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4
RANDOM SEED=257977012

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28086936 kB
Buffers:           45016 kB
Cached:           113092 kB
SwapCached:         2028 kB
Active:          3210152 kB
Inactive:         100660 kB
Active(anon):    3152836 kB
Inactive(anon):     2096 kB
Active(file):      57316 kB
Inactive(file):    98564 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       3945880 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             600988 kB
SReclaimable:      44892 kB
SUnreclaim:       556096 kB
KernelStack:        1816 kB
PageTables:        11956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4174776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3145728 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= 71712 MiB
End job on node112 at 2016-06-18 15:05:18