Trace number 4101378

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)19 1800.08 899.364

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-mod013.opb
MD5SUM4cf38d6355be5633005fa8af147e26d0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark5.99809
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables1488
Total number of constraints62
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints62
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 1488
Biggest coefficient in the objective function 15208
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525399
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525399
Number of bits of the biggest sum of numbers20
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.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4101378-1466214203.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.24/0.27	c ... done. Wall clock time 0.142s.
0.24/0.27	c declared #vars     1488
0.24/0.27	c #constraints  76
0.24/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
0.24/0.27	c org.sat4j.minisat.constraints.card.MinWatchCard => 6
0.24/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65
0.24/0.27	c 76 constraints processed.
0.24/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5
0.24/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6
0.24/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPb => 65
0.24/0.27	c 76 constraints processed.
0.24/0.27	c objective function length is 1488 literals
0.90/0.45	c And the winner is solver1
1.53/0.78	c SATISFIABLE
1.53/0.78	c OPTIMIZING...
1.53/0.78	c Got one! Elapsed wall clock time (in seconds):0.649
1.53/0.78	o 25
1.58/0.85	c And the winner is solver0
1.87/1.28	c Got one! Elapsed wall clock time (in seconds):1.154
1.87/1.28	o 24
2.29/1.42	c And the winner is solver1
2.63/1.79	c Got one! Elapsed wall clock time (in seconds):1.66
2.63/1.79	o 23
2.66/1.82	c And the winner is solver1
2.76/2.29	c Got one! Elapsed wall clock time (in seconds):2.165
2.76/2.29	o 22
3.32/2.55	c And the winner is solver1
3.43/2.79	c Got one! Elapsed wall clock time (in seconds):2.667
3.43/2.79	o 21
3.44/2.89	c cleaning 3611 clauses out of 7231 with flag 4257/7231
4.57/3.32	c cleaning 4805 clauses out of 9619 with flag 33104/13230
4.96/3.59	c And the winner is solver1
5.15/3.80	c Got one! Elapsed wall clock time (in seconds):3.67
5.15/3.80	o 20
5.47/3.98	c cleaning 5016 clauses out of 10031 with flag 9509/18447
6.50/4.44	c cleaning 5506 clauses out of 11015 with flag 38812/24447
8.15/5.24	c cleaning 6240 clauses out of 12509 with flag 71167/31447
9.61/5.90	c cleaning 7128 clauses out of 14271 with flag 109478/39449
10.63/6.50	c cleaning 8067 clauses out of 16141 with flag 163982/48447
12.27/7.27	c cleaning 9016 clauses out of 18075 with flag 219944/58448
13.87/8.09	c cleaning 10021 clauses out of 20058 with flag 275963/69447
15.56/8.89	c cleaning 11018 clauses out of 22038 with flag 336172/81448
17.35/9.72	c cleaning 11988 clauses out of 24022 with flag 413591/94450
19.57/10.84	c cleaning 13013 clauses out of 26032 with flag 488012/108448
23.16/12.69	c cleaning 14006 clauses out of 28018 with flag 565639/123447
26.16/14.19	c cleaning 14979 clauses out of 30014 with flag 646930/139449
30.20/16.15	c cleaning 16006 clauses out of 32033 with flag 738332/156447
33.96/17.95	c cleaning 17003 clauses out of 34033 with flag 855855/174453
37.21/19.59	c cleaning 17989 clauses out of 36024 with flag 979866/193447
40.41/21.16	c cleaning 18989 clauses out of 38035 with flag 1107904/213447
44.01/22.95	c cleaning 20010 clauses out of 40047 with flag 1233180/234448
47.21/24.58	c cleaning 20988 clauses out of 42036 with flag 1389044/256447
50.66/26.21	c cleaning 21983 clauses out of 44048 with flag 1542388/279447
54.26/28.01	c cleaning 23013 clauses out of 46065 with flag 1685956/303447
58.06/29.94	c cleaning 23994 clauses out of 48052 with flag 1815027/328447
62.92/32.34	c cleaning 25023 clauses out of 50058 with flag 1940165/354447
69.92/35.88	c cleaning 26009 clauses out of 52035 with flag 2094104/381447
77.12/39.43	c cleaning 26985 clauses out of 54026 with flag 2250522/409447
83.99/42.89	c cleaning 28008 clauses out of 56041 with flag 2431825/438447
93.20/47.44	c cleaning 29005 clauses out of 58033 with flag 2646642/468447
107.84/54.77	c cleaning 30007 clauses out of 60028 with flag 2861259/499447
129.71/65.61	c cleaning 30996 clauses out of 62021 with flag 3012657/531447
131.71/66.66	c And the winner is solver1
131.71/66.81	c Got one! Elapsed wall clock time (in seconds):66.681
131.71/66.81	o 19
132.11/67.05	c cleaning 18070 clauses out of 36162 with flag 8629/536584
133.11/67.55	c cleaning 12037 clauses out of 24093 with flag 43188/542585
134.16/68.08	c cleaning 9504 clauses out of 19055 with flag 77961/549584
135.38/68.68	c cleaning 8747 clauses out of 17551 with flag 119575/557584
136.58/69.29	c cleaning 8892 clauses out of 17804 with flag 164370/566584
138.18/70.06	c cleaning 9454 clauses out of 18912 with flag 220598/576584
139.98/70.95	c cleaning 10172 clauses out of 20458 with flag 275513/587584
141.98/71.95	c cleaning 11109 clauses out of 22286 with flag 341470/599584
144.37/73.13	c cleaning 12076 clauses out of 24179 with flag 413135/612586
146.97/74.44	c cleaning 13023 clauses out of 26101 with flag 489743/626584
149.57/75.78	c cleaning 14017 clauses out of 28078 with flag 567697/641584
152.22/77.07	c cleaning 15022 clauses out of 30061 with flag 665633/657584
154.61/78.27	c cleaning 16003 clauses out of 32039 with flag 786860/674584
157.20/79.55	c cleaning 17020 clauses out of 34040 with flag 913623/692588
160.21/81.06	c cleaning 17968 clauses out of 36017 with flag 1040277/711585
163.22/82.53	c cleaning 19018 clauses out of 38050 with flag 1166705/731586
166.41/84.18	c cleaning 19962 clauses out of 40030 with flag 1334366/752584
170.07/85.94	c cleaning 21031 clauses out of 42068 with flag 1522786/774584
173.86/87.85	c cleaning 22000 clauses out of 44037 with flag 1729029/797584
178.26/90.01	c cleaning 22988 clauses out of 46037 with flag 1927141/821584
182.29/92.09	c cleaning 23967 clauses out of 48049 with flag 2095863/846584
187.08/94.46	c cleaning 25011 clauses out of 50083 with flag 2239520/872585
191.90/96.87	c cleaning 26003 clauses out of 52071 with flag 2413297/899584
196.73/99.22	c cleaning 27023 clauses out of 54068 with flag 2574937/927584
201.53/101.63	c cleaning 28016 clauses out of 56047 with flag 2743485/956586
206.53/104.16	c cleaning 29015 clauses out of 58029 with flag 2911440/986584
212.37/107.01	c cleaning 29933 clauses out of 60014 with flag 3077534/1017584
218.39/110.05	c cleaning 31005 clauses out of 62083 with flag 3242612/1049586
225.23/113.45	c cleaning 32036 clauses out of 64079 with flag 3449171/1082587
233.22/117.42	c cleaning 33019 clauses out of 66040 with flag 3657878/1116584
242.05/121.88	c cleaning 33973 clauses out of 68021 with flag 3869646/1151584
250.89/126.25	c cleaning 35019 clauses out of 70048 with flag 4157414/1187584
259.89/130.76	c cleaning 36005 clauses out of 72029 with flag 4395526/1224584
266.94/134.27	c cleaning 36976 clauses out of 74024 with flag 4610617/1262584
274.36/137.95	c cleaning 38009 clauses out of 76048 with flag 4848224/1301584
281.79/141.63	c cleaning 39020 clauses out of 78039 with flag 5075631/1341584
289.59/145.54	c cleaning 39956 clauses out of 80019 with flag 5282580/1382584
298.21/149.82	c cleaning 40985 clauses out of 82063 with flag 5513931/1424584
306.65/154.07	c cleaning 42031 clauses out of 84078 with flag 5771824/1467584
316.48/158.91	c cleaning 43010 clauses out of 86047 with flag 6014615/1511584
325.10/163.29	c cleaning 43999 clauses out of 88037 with flag 6316882/1556584
334.33/167.86	c cleaning 44991 clauses out of 90038 with flag 6594121/1602584
345.15/173.26	c cleaning 46011 clauses out of 92047 with flag 6875495/1649584
355.99/178.69	c cleaning 47019 clauses out of 94038 with flag 7162077/1697586
367.44/184.35	c cleaning 47996 clauses out of 96017 with flag 7434438/1746584
379.72/190.42	c cleaning 48983 clauses out of 98021 with flag 7718749/1796584
393.14/197.19	c cleaning 49994 clauses out of 100038 with flag 8006295/1847584
406.22/203.62	c cleaning 51016 clauses out of 102044 with flag 8378798/1899584
420.64/210.83	c cleaning 51987 clauses out of 104028 with flag 8819967/1952584
432.11/216.72	c cleaning 52996 clauses out of 106041 with flag 9137586/2006584
446.97/224.15	c cleaning 53980 clauses out of 108046 with flag 9511326/2061585
458.00/229.63	c cleaning 55009 clauses out of 110065 with flag 9893687/2117584
472.31/236.70	c cleaning 56028 clauses out of 112058 with flag 10250783/2174586
486.97/244.06	c cleaning 57002 clauses out of 114030 with flag 10612732/2232586
501.63/251.33	c cleaning 58011 clauses out of 116026 with flag 10945013/2291584
513.90/257.45	c cleaning 58991 clauses out of 118015 with flag 11372835/2351584
527.15/264.04	c cleaning 60004 clauses out of 120024 with flag 11794878/2412584
541.02/270.96	c cleaning 60996 clauses out of 122020 with flag 12241823/2474584
555.23/278.26	c cleaning 61996 clauses out of 124024 with flag 12604111/2537584
571.28/286.29	c cleaning 63007 clauses out of 126028 with flag 12996135/2601584
585.14/293.16	c cleaning 64008 clauses out of 128022 with flag 13385574/2666585
600.40/300.74	c cleaning 64991 clauses out of 130014 with flag 13797474/2732585
617.68/309.30	c cleaning 66007 clauses out of 132022 with flag 14210845/2799584
635.31/318.11	c cleaning 66997 clauses out of 134015 with flag 14667194/2867584
655.45/328.11	c cleaning 68003 clauses out of 136018 with flag 15032795/2936584
673.67/337.22	c cleaning 68997 clauses out of 138015 with flag 15503572/3006584
693.72/347.27	c cleaning 69989 clauses out of 140018 with flag 15964655/3077584
713.17/356.92	c cleaning 70992 clauses out of 142029 with flag 16443996/3149584
733.04/366.84	c cleaning 72005 clauses out of 144037 with flag 16931373/3222584
750.51/375.59	c cleaning 73014 clauses out of 146034 with flag 17358980/3296586
771.05/385.93	c cleaning 74000 clauses out of 148018 with flag 17833160/3371584
791.88/396.37	c cleaning 74991 clauses out of 150018 with flag 18281753/3447584
813.94/407.33	c cleaning 75982 clauses out of 152027 with flag 18688549/3524584
833.99/417.33	c cleaning 77015 clauses out of 154045 with flag 19214123/3602584
851.66/426.20	c cleaning 77987 clauses out of 156030 with flag 19790365/3681584
868.94/434.78	c cleaning 78987 clauses out of 158043 with flag 20438977/3761584
888.41/444.44	c cleaning 80018 clauses out of 160056 with flag 21003629/3842584
907.04/453.77	c cleaning 81020 clauses out of 162039 with flag 21508463/3924585
928.90/464.60	c cleaning 82004 clauses out of 164018 with flag 21970361/4007584
947.99/474.14	c cleaning 82972 clauses out of 166014 with flag 22466858/4091584
965.46/482.85	c cleaning 83984 clauses out of 168042 with flag 22991540/4176584
990.18/495.13	c cleaning 85014 clauses out of 170058 with flag 23437023/4262584
1013.48/506.71	c cleaning 86016 clauses out of 172046 with flag 23866966/4349586
1033.36/516.70	c cleaning 87007 clauses out of 174028 with flag 24367035/4437584
1054.83/527.69	c cleaning 88007 clauses out of 176021 with flag 24885178/4526584
1082.70/541.51	c cleaning 88967 clauses out of 178014 with flag 25363253/4616584
1106.62/553.41	c cleaning 89991 clauses out of 180047 with flag 25855924/4707584
1130.28/565.26	c cleaning 91006 clauses out of 182057 with flag 26351239/4799585
1152.38/576.29	c cleaning 91989 clauses out of 184052 with flag 26914912/4892586
1174.69/587.32	c cleaning 93014 clauses out of 186063 with flag 27424485/4986586
1197.38/598.60	c cleaning 94017 clauses out of 188047 with flag 27970630/5081584
1222.29/611.00	c cleaning 95017 clauses out of 190034 with flag 28487106/5177588
1247.56/623.68	c cleaning 95975 clauses out of 192013 with flag 29102555/5274584
1272.06/635.81	c cleaning 96985 clauses out of 194038 with flag 29660356/5372584
1298.15/648.81	c cleaning 98017 clauses out of 196055 with flag 30241876/5471586
1324.30/661.83	c cleaning 98973 clauses out of 198036 with flag 30787033/5571584
1351.42/675.39	c cleaning 99991 clauses out of 200063 with flag 31374807/5672584
1381.60/690.69	c cleaning 101032 clauses out of 202072 with flag 32020261/5774584
1407.46/703.54	c cleaning 102003 clauses out of 204040 with flag 32636162/5877584
1440.14/719.89	c cleaning 103012 clauses out of 206037 with flag 33222718/5981584
1467.23/733.33	c cleaning 103972 clauses out of 208025 with flag 33830143/6086584
1494.58/746.90	c cleaning 104968 clauses out of 210053 with flag 34390164/6192584
1523.09/761.13	c cleaning 106020 clauses out of 212085 with flag 34988568/6299584
1553.59/776.39	c cleaning 107029 clauses out of 214066 with flag 35590250/6407585
1583.32/791.17	c cleaning 108006 clauses out of 216037 with flag 36195963/6516585
1612.62/805.75	c cleaning 109013 clauses out of 218031 with flag 36837428/6626585
1642.39/820.51	c cleaning 109974 clauses out of 220017 with flag 37494674/6737584
1672.15/835.40	c cleaning 111006 clauses out of 222043 with flag 38192920/6849584
1702.72/850.83	c cleaning 111988 clauses out of 224037 with flag 38895419/6962584
1733.42/866.11	c cleaning 113014 clauses out of 226049 with flag 39579917/7076584
1764.94/881.87	c cleaning 114008 clauses out of 228035 with flag 40332238/7191584
1799.88/899.27	c cleaning 114943 clauses out of 230027 with flag 41139911/7307584
1800.08/899.30	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.08/899.30	c starts		: 69921
1800.08/899.30	c conflicts		: 7307883
1800.08/899.30	c decisions		: 92484096
1800.08/899.30	c propagations		: 249836446
1800.08/899.30	c inspects		: 5597348576
1800.08/899.30	c shortcuts		: 0
1800.08/899.30	c learnt literals	: 0
1800.08/899.30	c learnt binary clauses	: 0
1800.08/899.30	c learnt ternary clauses	: 0
1800.08/899.30	c learnt constraints	: 7307883
1800.08/899.30	c ignored constraints	: 0
1800.08/899.30	c root simplifications	: 0
1800.08/899.30	c removed literals (reason simplification)	: 50149534
1800.08/899.30	c reason swapping (by a shorter reason)	: 0
1800.08/899.30	c Calls to reduceDB	: 142
1800.08/899.30	c Number of update (reduction) of LBD	: 5045743
1800.08/899.30	c Imported unit clauses	: 0
1800.08/899.30	c number of reductions to clauses (during analyze)	: 0
1800.08/899.30	c number of learned constraints concerned by reduction	: 0
1800.08/899.30	c number of learning phase by resolution	: 0
1800.08/899.30	c number of learning phase by cutting planes	: 0
1800.08/899.30	c speed (assignments/second)	: 300106.3624559005
1800.08/899.30	c non guided choices	0
1800.08/899.33	c learnt constraints type 
1800.08/899.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 115383
1800.08/899.33	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.08/899.33	c starts		: 8
1800.08/899.33	c conflicts		: 4541
1800.08/899.33	c decisions		: 160762
1800.08/899.33	c propagations		: 1587892
1800.08/899.33	c inspects		: 924903648
1800.08/899.33	c shortcuts		: 0
1800.08/899.33	c learnt literals	: 0
1800.08/899.33	c learnt binary clauses	: 0
1800.08/899.33	c learnt ternary clauses	: 0
1800.08/899.33	c learnt constraints	: 4540
1800.08/899.33	c ignored constraints	: 0
1800.08/899.33	c root simplifications	: 0
1800.08/899.33	c removed literals (reason simplification)	: 0
1800.08/899.33	c reason swapping (by a shorter reason)	: 0
1800.08/899.33	c Calls to reduceDB	: 0
1800.08/899.33	c Number of update (reduction) of LBD	: 0
1800.08/899.33	c Imported unit clauses	: 0
1800.08/899.33	c number of reductions to clauses (during analyze)	: 0
1800.08/899.33	c number of learned constraints concerned by reduction	: 0
1800.08/899.33	c number of learning phase by resolution	: 0
1800.08/899.33	c number of learning phase by cutting planes	: 0
1800.08/899.33	c speed (assignments/second)	: 1768.1762505010913
1800.08/899.33	c non guided choices	0
1800.08/899.33	c learnt constraints type 
1800.08/899.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.08/899.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10
1800.08/899.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4528
1800.08/899.33	s SATISFIABLE
1800.08/899.33	c Found 7 solution(s)
1800.08/899.34	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 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 
1800.08/899.34	c objective function=19
1800.08/899.34	c Total wall clock time (in seconds): 899.212

Verifier Data 

OK	19

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-4101378-1466214203/watcher-4101378-1466214203 -o /tmp/evaluation-result-4101378-1466214203/solver-4101378-1466214203 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101378-1466214203.opb 

pid=19181
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.23 4.37 4.36 4/198 19184
/proc/meminfo: memFree=27259200/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19184/stat : 19184 (java) D 19181 19184 15709 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23468739 9515008 176 33554432000 1073741824 1073778376 140735404512656 140735404495384 217410519952 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/19184/statm: 2323 176 133 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 4.23 4.37 4.36 4/198 19184
/proc/meminfo: memFree=27259200/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 4332 0 1 0 6 1 0 0 20 0 18 0 23468739 9787879424 5446 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2389619 5446 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200207 s]
/proc/loadavg: 4.23 4.37 4.36 4/198 19184
/proc/meminfo: memFree=27259200/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 4733 0 1 0 23 1 0 0 20 0 18 0 23468739 9787879424 6809 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2389619 6809 2205 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300214 s]
/proc/loadavg: 4.23 4.37 4.36 4/198 19184
/proc/meminfo: memFree=27259200/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 11804 0 1 0 50 3 0 0 20 0 22 0 23468739 10060525568 14340 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 14340 2240 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824732

[startup+0.700221 s]
/proc/loadavg: 4.23 4.37 4.36 4/198 19184
/proc/meminfo: memFree=27259200/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 18139 0 1 0 148 5 0 0 20 0 19 0 23468739 10060525568 15176 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 15176 2252 9 0 2446860 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 4.23 4.37 4.36 3/217 19209
/proc/meminfo: memFree=27198272/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 20260 0 1 0 245 10 0 0 20 0 19 0 23468739 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 21428 2266 9 0 2446860 0
[pid=19184/tid=19186] ppid=19181 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19184/task/19186/stat : 19186 (java) S 19181 19184 15709 0 -1 4202560 2484 0 1 0 24 0 0 0 20 0 19 0 23468740 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816552846200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19187] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19187/stat : 19187 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816491576360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19188] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19188/stat : 19188 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816490523560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19189] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19189/stat : 19189 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816489470760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19190] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19190/stat : 19190 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816488417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19191] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19191/stat : 19191 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816487365160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19192] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19192/stat : 19192 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816391621032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19193] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19193/stat : 19193 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816390568232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19194] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19194/stat : 19194 (java) S 19181 19184 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23468742 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816389515432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19195] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19195/stat : 19195 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23468743 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816377105384 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19196] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19196/stat : 19196 (java) S 19181 19184 15709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23468743 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816376051448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19197] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19197/stat : 19197 (java) S 19181 19184 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23468743 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816374998536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19198] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19198/stat : 19198 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468746 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816373947024 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19199] ppid=19181 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/19184/task/19199/stat : 19199 (java) R 19181 19184 15709 0 -1 4202560 7817 0 0 0 72 2 0 0 20 0 19 0 23468746 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816372894136 139816555542640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19200] ppid=19181 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/19184/task/19200/stat : 19200 (java) R 19181 19184 15709 0 -1 4202560 8596 0 0 0 72 2 0 0 20 0 19 0 23468746 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816371828160 139816556963260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19201] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19201/stat : 19201 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468746 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816370788728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19202] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19202/stat : 19202 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23468746 10060525568 21428 33554432000 1073741824 1073778376 140735230820112 139816369736136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.23 4.37 4.36 3/217 19215
/proc/meminfo: memFree=27171036/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=4.09 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 20826 0 1 0 394 15 0 0 20 0 22 0 23468739 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 45949 2283 9 0 2446860 0
[pid=19184/tid=19186] ppid=19181 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/19184/task/19186/stat : 19186 (java) S 19181 19184 15709 0 -1 4202560 2486 0 1 0 25 0 0 0 20 0 22 0 23468740 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816552846200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19187] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19187/stat : 19187 (java) S 19181 19184 15709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816491576360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19188] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19188/stat : 19188 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816490523560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19189] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19189/stat : 19189 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816489470760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19190] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19190/stat : 19190 (java) S 19181 19184 15709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816488417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19191] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19191/stat : 19191 (java) S 19181 19184 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816487365160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19192] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19192/stat : 19192 (java) S 19181 19184 15709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816391621032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19193] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19193/stat : 19193 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816390568232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19194] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19194/stat : 19194 (java) S 19181 19184 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23468742 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816389515432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19195] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19195/stat : 19195 (java) S 19181 19184 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816377105384 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19196] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19196/stat : 19196 (java) S 19181 19184 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816376051448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19197] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19197/stat : 19197 (java) S 19181 19184 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816374998536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19198] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19198/stat : 19198 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816373947024 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19199] ppid=19181 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/19184/task/19199/stat : 19199 (java) S 19181 19184 15709 0 -1 4202560 8271 0 0 0 86 2 0 0 20 0 22 0 23468746 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816372894136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19200] ppid=19181 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/19184/task/19200/stat : 19200 (java) S 19181 19184 15709 0 -1 4202560 8596 0 0 0 91 2 0 0 20 0 22 0 23468746 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816371841336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19201] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19201/stat : 19201 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816370788728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19202] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19202/stat : 19202 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816369736136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19212] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19212/stat : 19212 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23468868 10060525568 45949 33554432000 1073741824 1073778376 140735230820112 139816366528040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 4.45 4.42 4.37 5/220 19224
/proc/meminfo: memFree=27009792/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=10.43 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 22100 0 1 0 1018 25 0 0 20 0 22 0 23468739 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 85267 2285 9 0 2446860 0
[pid=19184/tid=19186] ppid=19181 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/19184/task/19186/stat : 19186 (java) S 19181 19184 15709 0 -1 4202560 2486 0 1 0 25 0 0 0 20 0 22 0 23468740 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816552846200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19187] ppid=19181 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/19184/task/19187/stat : 19187 (java) S 19181 19184 15709 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816491576360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19188] ppid=19181 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19184/task/19188/stat : 19188 (java) S 19181 19184 15709 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816490523560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19189] ppid=19181 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19184/task/19189/stat : 19189 (java) S 19181 19184 15709 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816489470760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19190] ppid=19181 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19184/task/19190/stat : 19190 (java) S 19181 19184 15709 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816488417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19191] ppid=19181 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19184/task/19191/stat : 19191 (java) S 19181 19184 15709 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816487365160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19192] ppid=19181 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/19184/task/19192/stat : 19192 (java) S 19181 19184 15709 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816391621032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19193] ppid=19181 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/19184/task/19193/stat : 19193 (java) S 19181 19184 15709 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816390568232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19194] ppid=19181 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19184/task/19194/stat : 19194 (java) S 19181 19184 15709 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 23468742 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816389515432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19195] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19195/stat : 19195 (java) S 19181 19184 15709 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816377105384 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19196] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19196/stat : 19196 (java) S 19181 19184 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816376051448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19197] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19197/stat : 19197 (java) S 19181 19184 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816374998536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19198] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19198/stat : 19198 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816373947024 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19199] ppid=19181 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/19184/task/19199/stat : 19199 (java) S 19181 19184 15709 0 -1 4202560 8280 0 0 0 98 2 0 0 20 0 22 0 23468746 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816372894136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19200] ppid=19181 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/19184/task/19200/stat : 19200 (java) S 19181 19184 15709 0 -1 4202560 9503 0 0 0 104 2 0 0 20 0 22 0 23468746 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816371841336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19201] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19201/stat : 19201 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816370788728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19202] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19202/stat : 19202 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816369736136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19212] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19212/stat : 19212 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23468868 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816366528040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19222] ppid=19181 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/19184/task/19222/stat : 19222 (java) R 19181 19184 15709 0 -1 4202560 7 0 0 0 237 0 0 0 20 0 22 0 23469119 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816367577944 139816493351078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19223] ppid=19181 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/19184/task/19223/stat : 19223 (java) R 19181 19184 15709 0 -1 4202560 52 0 0 0 235 2 0 0 20 0 22 0 23469119 10060525568 85267 33554432000 1073741824 1073778376 140735230820112 139816368631976 139816493438411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19224] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=19184/tid=19194] ppid=19181 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/19184/task/19194/stat : 19194 (java) S 19181 19184 15709 0 -1 4202560 425 0 0 0 202 13 0 0 20 0 22 0 23468742 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816389515432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19195] ppid=19181 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/19184/task/19195/stat : 19195 (java) S 19181 19184 15709 0 -1 4202560 1913 0 0 0 292 20 0 0 20 0 22 0 23468743 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816377105384 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19196] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19196/stat : 19196 (java) S 19181 19184 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816376051448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19197] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19197/stat : 19197 (java) S 19181 19184 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816374998536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19198] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19198/stat : 19198 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816373947024 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19199] ppid=19181 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/19184/task/19199/stat : 19199 (java) S 19181 19184 15709 0 -1 4202560 8307 0 0 0 115 2 0 0 20 0 22 0 23468746 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816372894136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19200] ppid=19181 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/19184/task/19200/stat : 19200 (java) S 19181 19184 15709 0 -1 4202560 9504 0 0 0 113 2 0 0 20 0 22 0 23468746 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816371841336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19201] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19201/stat : 19201 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816370788728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19202] ppid=19181 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19184/task/19202/stat : 19202 (java) S 19181 19184 15709 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 23468746 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816369736136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19212] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19212/stat : 19212 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23468868 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816366528040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19226] ppid=19181 vsize=9824732 CPUtime=805.66 cores=0,2,4,6
/proc/19184/task/19226/stat : 19226 (java) R 19181 19184 15709 0 -1 4202560 113 0 0 0 80552 14 0 0 20 0 22 0 23475420 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816367570672 139816493350958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19227] ppid=19181 vsize=9824732 CPUtime=805.73 cores=0,2,4,6
/proc/19184/task/19227/stat : 19227 (java) R 19181 19184 15709 0 -1 4202560 1027 0 0 0 80557 16 0 0 20 0 22 0 23475420 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816368630032 139816493465585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19228] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19228/stat : 19228 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23475420 10060525568 511491 33554432000 1073741824 1073778376 140735230820112 139816365475496 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1765.77
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.301 s]
/proc/loadavg: 4.23 4.20 4.26 5/219 19531
/proc/meminfo: memFree=23900500/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=1799.9 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 30457 0 1 0 179798 192 0 0 20 0 22 0 23468739 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 496551 2295 9 0 2446860 0
[pid=19184/tid=19186] ppid=19181 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19184/task/19186/stat : 19186 (java) S 19181 19184 15709 0 -1 4202560 2496 0 1 0 27 3 0 0 20 0 22 0 23468740 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816552846200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19187] ppid=19181 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/19184/task/19187/stat : 19187 (java) S 19181 19184 15709 0 -1 4202560 468 0 0 0 204 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816491576360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19188] ppid=19181 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/19184/task/19188/stat : 19188 (java) S 19181 19184 15709 0 -1 4202560 479 0 0 0 186 11 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816490523560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19189] ppid=19181 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/19184/task/19189/stat : 19189 (java) S 19181 19184 15709 0 -1 4202560 491 0 0 0 217 10 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816489470760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19190] ppid=19181 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/19184/task/19190/stat : 19190 (java) S 19181 19184 15709 0 -1 4202560 497 0 0 0 217 12 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816488417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19191] ppid=19181 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/19184/task/19191/stat : 19191 (java) S 19181 19184 15709 0 -1 4202560 505 0 0 0 212 12 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816487365160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19192] ppid=19181 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/19184/task/19192/stat : 19192 (java) S 19181 19184 15709 0 -1 4202560 358 0 0 0 202 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816391621032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19193] ppid=19181 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/19184/task/19193/stat : 19193 (java) S 19181 19184 15709 0 -1 4202560 732 0 0 0 206 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816390568232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19194] ppid=19181 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/19184/task/19194/stat : 19194 (java) S 19181 19184 15709 0 -1 4202560 427 0 0 0 206 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816389515432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19195] ppid=19181 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/19184/task/19195/stat : 19195 (java) S 19181 19184 15709 0 -1 4202560 1913 0 0 0 292 20 0 0 20 0 22 0 23468743 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816377105384 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19196] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19196/stat : 19196 (java) S 19181 19184 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816376051448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19197] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19197/stat : 19197 (java) S 19181 19184 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816374998536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19198] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19198/stat : 19198 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816373947024 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19199] ppid=19181 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/19184/task/19199/stat : 19199 (java) S 19181 19184 15709 0 -1 4202560 8307 0 0 0 115 2 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816372894136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19200] ppid=19181 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/19184/task/19200/stat : 19200 (java) S 19181 19184 15709 0 -1 4202560 9504 0 0 0 113 2 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816371841336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19201] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19201/stat : 19201 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816370788728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19202] ppid=19181 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19184/task/19202/stat : 19202 (java) S 19181 19184 15709 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816369736136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19212] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19212/stat : 19212 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23468868 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816366528040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19226] ppid=19181 vsize=9824732 CPUtime=822.49 cores=0,2,4,6
/proc/19184/task/19226/stat : 19226 (java) R 19181 19184 15709 0 -1 4202560 114 0 0 0 82235 14 0 0 20 0 22 0 23475420 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816367570672 139816493451292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19227] ppid=19181 vsize=9824732 CPUtime=822.57 cores=0,2,4,6
/proc/19184/task/19227/stat : 19227 (java) R 19181 19184 15709 0 -1 4202560 1028 0 0 0 82241 16 0 0 20 0 22 0 23475420 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816368630704 139816493464462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19228] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19228/stat : 19228 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23475420 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816365475496 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.9
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 19184 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.301 s]
/proc/loadavg: 4.23 4.20 4.26 5/219 19531
/proc/meminfo: memFree=23900500/32872528 swapFree=1534436/1655032
[pid=19184] ppid=19181 vsize=9824732 CPUtime=1799.9 cores=0,2,4,6
/proc/19184/stat : 19184 (java) S 19181 19184 15709 0 -1 4202496 30457 0 1 0 179798 192 0 0 20 0 22 0 23468739 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 140735230811248 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19184/statm: 2456183 496551 2295 9 0 2446860 0
[pid=19184/tid=19186] ppid=19181 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19184/task/19186/stat : 19186 (java) S 19181 19184 15709 0 -1 4202560 2496 0 1 0 27 3 0 0 20 0 22 0 23468740 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816552846200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19187] ppid=19181 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/19184/task/19187/stat : 19187 (java) S 19181 19184 15709 0 -1 4202560 468 0 0 0 204 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816491576360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19188] ppid=19181 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/19184/task/19188/stat : 19188 (java) S 19181 19184 15709 0 -1 4202560 479 0 0 0 186 11 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816490523560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19189] ppid=19181 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/19184/task/19189/stat : 19189 (java) S 19181 19184 15709 0 -1 4202560 491 0 0 0 217 10 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816489470760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19190] ppid=19181 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/19184/task/19190/stat : 19190 (java) S 19181 19184 15709 0 -1 4202560 497 0 0 0 217 12 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816488417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19191] ppid=19181 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/19184/task/19191/stat : 19191 (java) S 19181 19184 15709 0 -1 4202560 505 0 0 0 212 12 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816487365160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19192] ppid=19181 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/19184/task/19192/stat : 19192 (java) S 19181 19184 15709 0 -1 4202560 358 0 0 0 202 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816391621032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19193] ppid=19181 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/19184/task/19193/stat : 19193 (java) S 19181 19184 15709 0 -1 4202560 732 0 0 0 206 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816390568232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19194] ppid=19181 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/19184/task/19194/stat : 19194 (java) S 19181 19184 15709 0 -1 4202560 427 0 0 0 206 13 0 0 20 0 22 0 23468742 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816389515432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19195] ppid=19181 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/19184/task/19195/stat : 19195 (java) S 19181 19184 15709 0 -1 4202560 1913 0 0 0 292 20 0 0 20 0 22 0 23468743 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816377105384 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19196] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19196/stat : 19196 (java) S 19181 19184 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816376051448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19197] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19197/stat : 19197 (java) S 19181 19184 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23468743 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816374998536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19198] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19198/stat : 19198 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816373947024 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19199] ppid=19181 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/19184/task/19199/stat : 19199 (java) S 19181 19184 15709 0 -1 4202560 8307 0 0 0 115 2 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816372894136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19200] ppid=19181 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/19184/task/19200/stat : 19200 (java) S 19181 19184 15709 0 -1 4202560 9504 0 0 0 113 2 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816371841336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19201] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19201/stat : 19201 (java) S 19181 19184 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816370788728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19184/tid=19202] ppid=19181 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19184/task/19202/stat : 19202 (java) S 19181 19184 15709 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 23468746 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816369736136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19184/tid=19212] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19212/stat : 19212 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23468868 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816366528040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19226] ppid=19181 vsize=9824732 CPUtime=822.49 cores=0,2,4,6
/proc/19184/task/19226/stat : 19226 (java) R 19181 19184 15709 0 -1 4202560 114 0 0 0 82235 14 0 0 20 0 22 0 23475420 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816367570672 139816493451292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19184/tid=19227] ppid=19181 vsize=9824732 CPUtime=822.57 cores=0,2,4,6
/proc/19184/task/19227/stat : 19227 (java) R 19181 19184 15709 0 -1 4202560 1028 0 0 0 82241 16 0 0 20 0 22 0 23475420 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816368630704 139816493464462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19184/tid=19228] ppid=19181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19184/task/19228/stat : 19228 (java) S 19181 19184 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23475420 10060525568 496551 33554432000 1073741824 1073778376 140735230820112 139816365475496 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.9
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19184 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=939279
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=340644
# CPU time returned by wait4() is 1796.28
# while last known CPU time is 1799.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.180008
#  lost CPU user time (s): 0.180008
#  lost CPU system time (s): 0

Real time (s): 899.364
CPU time (s): 1800.08
CPU user time (s): 1798.16
CPU system time (s): 1.92
CPU usage (%): 200.15
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 2.34064
maximum resident set size= 2886192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30509
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28056
involuntary context switches= 42988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77212 second user time and 7.33389 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 03:43:23
IDJOB=4101378
IDBENCH=1738
IDSOLVER=2543
FILE ID=node122/4101378-1466214203
RUNJOBID= node122-1466206083-15725
PBS_JOBID= 19918155
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101378-1466214203/watcher-4101378-1466214203 -o /tmp/evaluation-result-4101378-1466214203/solver-4101378-1466214203 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101378-1466214203.opb

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

MD5SUM BENCH= 4cf38d6355be5633005fa8af147e26d0
RANDOM SEED=91322549

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27259844 kB
Buffers:          128908 kB
Cached:          1633752 kB
SwapCached:            0 kB
Active:          1530244 kB
Inactive:        1677340 kB
Active(anon):    1447752 kB
Inactive(anon):        0 kB
Active(file):      82492 kB
Inactive(file):  1677340 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:       3192276 kB
Mapped:            21216 kB
Shmem:               204 kB
Slab:             608312 kB
SReclaimable:      52136 kB
SUnreclaim:       556176 kB
KernelStack:        1816 kB
PageTables:        10364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4470748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1603584 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= 71740 MiB
End job on node122 at 2016-06-18 03:58:23