Trace number 4119457

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)-136 1800.19 899.357

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament30.opb
MD5SUM2b34d3eb273db72e9d51f8c6f898f4a2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-139
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 1114
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)840
Sum of products size (including duplicates)1680
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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4119457-1467256564.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.21/0.25	c ... done. Wall clock time 0.136s.
0.21/0.25	c declared #vars     435
0.21/0.25	c internal #vars     1275
0.21/0.25	c #constraints  1680
0.21/0.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.21/0.26	c constraints type 
0.21/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
0.21/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 840
0.21/0.26	c 1680 constraints processed.
0.21/0.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.21/0.26	c constraints type 
0.21/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
0.21/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 840
0.21/0.26	c 1680 constraints processed.
0.21/0.26	c objective function length is 1114 literals
0.21/0.28	c And the winner is solver0
0.45/0.76	c SATISFIABLE
0.45/0.76	c OPTIMIZING...
0.45/0.76	c Got one! Elapsed wall clock time (in seconds):0.641
0.45/0.76	o -101
0.57/0.80	c And the winner is solver0
1.12/1.27	c Got one! Elapsed wall clock time (in seconds):1.151
1.12/1.27	o -102
1.22/1.39	c And the winner is solver0
1.81/1.78	c Got one! Elapsed wall clock time (in seconds):1.658
1.81/1.78	o -103
1.87/1.84	c And the winner is solver0
2.03/2.28	c Got one! Elapsed wall clock time (in seconds):2.162
2.03/2.28	o -104
3.60/2.97	c cleaning 2747 clauses out of 5498 with flag 10019/5498
5.72/3.80	c cleaning 4374 clauses out of 8751 with flag 22019/11498
5.72/3.88	c And the winner is solver0
5.92/4.28	c Got one! Elapsed wall clock time (in seconds):4.166
5.92/4.28	o -105
7.45/5.01	c cleaning 4903 clauses out of 9822 with flag 10007/16943
9.05/5.86	c cleaning 5454 clauses out of 10918 with flag 22013/22942
11.12/6.89	c cleaning 6226 clauses out of 12464 with flag 36014/29942
13.54/8.02	c cleaning 7114 clauses out of 14238 with flag 52030/37942
14.98/8.70	c And the winner is solver1
14.98/8.79	c Got one! Elapsed wall clock time (in seconds):8.67
14.98/8.79	o -115
15.20/8.93	c cleaning 6343 clauses out of 12695 with flag 2109/43513
16.59/9.70	c cleaning 6171 clauses out of 12352 with flag 14779/49513
18.63/10.65	c cleaning 6587 clauses out of 13181 with flag 29510/56513
20.83/11.72	c cleaning 7293 clauses out of 14594 with flag 46377/64513
21.08/11.81	c And the winner is solver1
21.11/12.29	c Got one! Elapsed wall clock time (in seconds):12.173
21.11/12.29	o -116
22.32/12.91	c cleaning 6432 clauses out of 12873 with flag 10501/70085
23.73/13.68	c cleaning 6212 clauses out of 12441 with flag 23145/76085
25.59/14.55	c cleaning 6606 clauses out of 13229 with flag 37923/83085
27.66/15.52	c cleaning 7313 clauses out of 14625 with flag 54838/91087
30.07/16.79	c cleaning 8154 clauses out of 16310 with flag 73755/100085
30.35/16.86	c And the winner is solver1
30.52/17.30	c Got one! Elapsed wall clock time (in seconds):17.179
30.52/17.30	o -117
31.71/17.93	c cleaning 6814 clauses out of 13640 with flag 10506/105569
33.11/18.67	c cleaning 6408 clauses out of 12825 with flag 23179/111568
34.91/19.54	c cleaning 6703 clauses out of 13416 with flag 37939/118567
37.19/20.62	c cleaning 7348 clauses out of 14713 with flag 54814/126567
39.60/21.81	c cleaning 8183 clauses out of 16365 with flag 73845/135567
40.01/22.08	c And the winner is solver1
40.14/22.30	c Got one! Elapsed wall clock time (in seconds):22.183
40.14/22.30	o -118
40.72/22.69	c cleaning 6685 clauses out of 13381 with flag 6313/140766
42.32/23.46	c cleaning 6345 clauses out of 12697 with flag 18921/146767
44.14/24.38	c cleaning 6671 clauses out of 13351 with flag 33651/153766
46.34/25.47	c cleaning 7340 clauses out of 14680 with flag 50465/161766
49.07/26.71	c cleaning 8169 clauses out of 16340 with flag 69431/170766
51.67/28.04	c cleaning 9086 clauses out of 18172 with flag 90483/180767
54.87/29.63	c cleaning 10041 clauses out of 20086 with flag 113797/191767
58.68/31.45	c cleaning 11022 clauses out of 22045 with flag 139194/203767
62.28/33.28	c cleaning 12010 clauses out of 24022 with flag 166615/216766
62.48/33.35	c And the winner is solver1
62.54/33.82	c Got one! Elapsed wall clock time (in seconds):33.702
62.54/33.82	o -126
63.71/34.48	c cleaning 8761 clauses out of 17529 with flag 10563/222283
65.32/35.22	c cleaning 7379 clauses out of 14768 with flag 23176/228283
67.11/36.11	c cleaning 7187 clauses out of 14390 with flag 37948/235284
69.11/37.14	c cleaning 7599 clauses out of 15203 with flag 54846/243284
71.52/38.35	c cleaning 8297 clauses out of 16604 with flag 73845/252284
74.51/39.79	c cleaning 9151 clauses out of 18306 with flag 94945/262283
77.51/41.26	c cleaning 10078 clauses out of 20155 with flag 118255/273283
79.70/42.36	c And the winner is solver1
79.80/42.83	c Got one! Elapsed wall clock time (in seconds):42.708
79.80/42.83	o -127
81.15/43.52	c cleaning 11721 clauses out of 23449 with flag 10604/286655
82.75/44.34	c cleaning 8855 clauses out of 17728 with flag 23315/292655
84.57/45.28	c cleaning 7934 clauses out of 15872 with flag 38123/299654
87.11/46.43	c cleaning 7964 clauses out of 15938 with flag 55040/307654
89.51/47.63	c cleaning 8487 clauses out of 16976 with flag 74141/316656
92.31/49.06	c cleaning 9240 clauses out of 18487 with flag 95427/326654
95.52/50.65	c cleaning 10124 clauses out of 20249 with flag 118829/337656
99.11/52.40	c cleaning 11060 clauses out of 22123 with flag 144129/349654
102.71/54.27	c cleaning 12031 clauses out of 24063 with flag 171521/362654
106.91/56.31	c cleaning 13015 clauses out of 26033 with flag 201192/376655
112.36/59.25	c cleaning 14004 clauses out of 28017 with flag 232956/391654
116.96/61.60	c cleaning 15005 clauses out of 30013 with flag 267210/407654
122.16/64.18	c cleaning 16004 clauses out of 32008 with flag 303284/424654
123.78/64.96	c And the winner is solver1
123.79/65.26	c Got one! Elapsed wall clock time (in seconds):65.137
123.79/65.26	o -128
125.07/65.95	c cleaning 13027 clauses out of 26067 with flag 10556/434717
126.67/66.75	c cleaning 9516 clauses out of 19040 with flag 23257/440717
128.47/67.62	c cleaning 8255 clauses out of 16524 with flag 38166/447717
130.76/68.71	c cleaning 8128 clauses out of 16270 with flag 55050/455718
133.16/69.94	c cleaning 8568 clauses out of 17141 with flag 74108/464717
135.96/71.35	c cleaning 9284 clauses out of 18573 with flag 95405/474717
139.16/72.96	c cleaning 10145 clauses out of 20290 with flag 118615/485718
142.76/74.72	c cleaning 11065 clauses out of 22145 with flag 144011/497718
146.75/76.72	c cleaning 12036 clauses out of 24079 with flag 171578/510717
150.95/78.83	c cleaning 13016 clauses out of 26043 with flag 201275/524717
151.15/78.96	c And the winner is solver1
151.22/79.26	c Got one! Elapsed wall clock time (in seconds):79.145
151.22/79.26	o -129
152.48/79.93	c cleaning 9480 clauses out of 18970 with flag 10537/530660
154.09/80.71	c cleaning 7737 clauses out of 15490 with flag 23215/536660
156.29/81.74	c cleaning 7368 clauses out of 14752 with flag 37997/543659
158.29/82.77	c cleaning 7684 clauses out of 15384 with flag 54962/551659
160.69/83.96	c cleaning 8347 clauses out of 16700 with flag 74065/560659
163.29/85.27	c cleaning 9175 clauses out of 18354 with flag 95386/570660
166.29/86.71	c cleaning 10087 clauses out of 20179 with flag 118639/581660
169.49/88.39	c cleaning 11038 clauses out of 22091 with flag 144025/593659
173.09/90.20	c cleaning 12025 clauses out of 24053 with flag 171608/606659
177.49/92.32	c cleaning 13013 clauses out of 26028 with flag 201216/620659
181.89/94.55	c cleaning 14005 clauses out of 28016 with flag 232995/635660
186.89/97.10	c cleaning 15002 clauses out of 30012 with flag 266896/651661
193.60/100.25	c cleaning 15999 clauses out of 32010 with flag 302788/668661
200.20/103.58	c cleaning 17001 clauses out of 34010 with flag 340764/686660
207.18/107.04	c cleaning 18000 clauses out of 36010 with flag 381015/705661
214.78/110.85	c cleaning 19005 clauses out of 38009 with flag 423344/725660
222.79/114.89	c cleaning 20000 clauses out of 40004 with flag 467719/746660
232.37/119.99	c cleaning 21002 clauses out of 42004 with flag 514249/768660
241.39/124.43	c cleaning 21999 clauses out of 44002 with flag 562962/791660
250.38/128.99	c cleaning 23000 clauses out of 46003 with flag 613804/815660
257.59/132.46	c And the winner is solver1
257.59/132.57	c Got one! Elapsed wall clock time (in seconds):132.455
257.59/132.57	o -130
259.11/133.38	c cleaning 22340 clauses out of 44692 with flag 10582/837349
260.92/134.22	c cleaning 14171 clauses out of 28353 with flag 23310/843350
262.71/135.19	c cleaning 10586 clauses out of 21181 with flag 38098/850349
265.11/136.31	c cleaning 9294 clauses out of 18596 with flag 55100/858350
267.52/137.59	c cleaning 9143 clauses out of 18302 with flag 74129/867350
270.50/139.03	c cleaning 9577 clauses out of 19159 with flag 95355/877350
273.50/140.58	c cleaning 10285 clauses out of 20581 with flag 118672/888349
276.90/142.23	c cleaning 11148 clauses out of 22296 with flag 143940/900349
280.72/144.14	c cleaning 12071 clauses out of 24148 with flag 171307/913349
285.67/146.42	c cleaning 13036 clauses out of 26077 with flag 200867/927349
288.66/147.96	c And the winner is solver1
288.70/148.26	c Got one! Elapsed wall clock time (in seconds):148.139
288.70/148.26	o -131
290.17/149.01	c cleaning 14248 clauses out of 28505 with flag 10520/942813
291.77/149.83	c cleaning 10126 clauses out of 20257 with flag 23170/948813
293.58/150.75	c cleaning 8563 clauses out of 17132 with flag 37964/955814
295.57/151.79	c cleaning 8279 clauses out of 16569 with flag 54865/963814
297.98/152.96	c cleaning 8645 clauses out of 17289 with flag 73902/972813
300.57/154.26	c cleaning 9319 clauses out of 18645 with flag 95154/982814
303.57/155.72	c cleaning 10158 clauses out of 20326 with flag 118613/993814
306.78/157.40	c cleaning 11078 clauses out of 22168 with flag 144150/1005814
310.37/159.16	c cleaning 12045 clauses out of 24090 with flag 171944/1018814
314.37/161.10	c cleaning 13017 clauses out of 26045 with flag 201903/1032814
319.36/163.45	c cleaning 14013 clauses out of 28029 with flag 234120/1047815
323.96/165.73	c cleaning 15007 clauses out of 30014 with flag 268184/1063813
329.17/168.37	c cleaning 16000 clauses out of 32009 with flag 304244/1080815
334.55/171.00	c cleaning 17000 clauses out of 34007 with flag 342425/1098813
340.17/173.86	c cleaning 17998 clauses out of 36007 with flag 382616/1117813
346.35/176.90	c cleaning 19002 clauses out of 38009 with flag 424873/1137813
353.13/180.26	c cleaning 20003 clauses out of 40009 with flag 469251/1158815
359.74/183.56	c cleaning 21002 clauses out of 42004 with flag 515761/1180813
367.34/187.33	c cleaning 21995 clauses out of 44002 with flag 564632/1203813
375.14/191.25	c cleaning 23004 clauses out of 46007 with flag 615609/1227813
383.54/196.06	c And the winner is solver1
383.54/196.23	c Got one! Elapsed wall clock time (in seconds):196.111
383.54/196.23	o -132
384.87/196.98	c cleaning 23691 clauses out of 47383 with flag 10592/1252193
386.46/197.79	c cleaning 14840 clauses out of 29691 with flag 23313/1258192
388.46/198.72	c cleaning 10921 clauses out of 21851 with flag 38139/1265192
390.46/199.76	c cleaning 9460 clauses out of 18931 with flag 55056/1273193
392.86/200.91	c cleaning 9228 clauses out of 18470 with flag 74285/1282192
395.46/202.23	c cleaning 9618 clauses out of 19242 with flag 95688/1292192
398.27/203.67	c cleaning 10306 clauses out of 20624 with flag 119013/1303192
401.45/205.27	c cleaning 11157 clauses out of 22318 with flag 144509/1315192
405.06/207.08	c cleaning 12081 clauses out of 24162 with flag 172135/1328193
409.39/209.16	c cleaning 13041 clauses out of 26081 with flag 201745/1342193
413.78/211.34	c cleaning 14020 clauses out of 28041 with flag 233595/1357194
418.37/213.64	c cleaning 15010 clauses out of 30021 with flag 267341/1373194
423.57/216.23	c cleaning 16004 clauses out of 32009 with flag 303280/1390192
429.57/219.28	c cleaning 16999 clauses out of 34005 with flag 341197/1408192
436.14/222.49	c cleaning 18003 clauses out of 36007 with flag 381257/1427193
442.74/225.73	c cleaning 19002 clauses out of 38003 with flag 423584/1447192
449.94/229.36	c cleaning 19997 clauses out of 40002 with flag 467844/1468193
457.34/233.07	c cleaning 20999 clauses out of 42005 with flag 514239/1490193
467.32/237.99	c cleaning 22003 clauses out of 44005 with flag 562666/1513192
476.32/242.46	c cleaning 22998 clauses out of 46002 with flag 613189/1537192
487.98/248.11	c cleaning 24000 clauses out of 48006 with flag 665727/1562194
499.39/253.85	c cleaning 24998 clauses out of 50005 with flag 720849/1588193
512.32/260.19	c cleaning 26004 clauses out of 52007 with flag 777764/1615193
524.32/266.20	c cleaning 26995 clauses out of 54003 with flag 836806/1643193
537.52/272.71	c cleaning 28004 clauses out of 56007 with flag 897882/1672192
551.16/279.34	c cleaning 29002 clauses out of 58003 with flag 961678/1702192
564.36/285.91	c cleaning 30001 clauses out of 60002 with flag 1027332/1733193
578.21/292.66	c cleaning 31001 clauses out of 62001 with flag 1094893/1765193
592.59/299.89	c cleaning 31996 clauses out of 64000 with flag 1164691/1798193
610.16/308.40	c cleaning 32998 clauses out of 66003 with flag 1236552/1832192
627.13/316.77	c cleaning 34001 clauses out of 68005 with flag 1310371/1867192
643.94/325.15	c cleaning 35001 clauses out of 70005 with flag 1386413/1903193
661.56/333.74	c cleaning 36000 clauses out of 72003 with flag 1464748/1940192
681.69/343.55	c cleaning 36996 clauses out of 74004 with flag 1545139/1978193
707.44/357.58	c cleaning 37999 clauses out of 76008 with flag 1627289/2017193
727.29/367.43	c cleaning 39001 clauses out of 78009 with flag 1711894/2057193
746.02/376.71	c cleaning 40002 clauses out of 80008 with flag 1798820/2098193
764.17/385.75	c cleaning 41001 clauses out of 82006 with flag 1887688/2140193
785.37/396.23	c cleaning 42000 clauses out of 84005 with flag 1978614/2183193
808.24/407.52	c cleaning 42996 clauses out of 86004 with flag 2071791/2227192
829.10/417.89	c cleaning 44003 clauses out of 88009 with flag 2166532/2272193
844.63/425.48	c And the winner is solver1
844.63/425.73	c Got one! Elapsed wall clock time (in seconds):425.608
844.63/425.73	o -133
846.36/426.69	c cleaning 41438 clauses out of 82889 with flag 10725/2311076
848.16/427.57	c cleaning 23726 clauses out of 47451 with flag 23428/2317076
850.16/428.55	c cleaning 15357 clauses out of 30725 with flag 38198/2324076
852.36/429.67	c cleaning 11678 clauses out of 23368 with flag 55192/2332076
855.66/431.10	c cleaning 10344 clauses out of 20691 with flag 74154/2341077
858.27/432.47	c cleaning 10166 clauses out of 20347 with flag 95269/2351077
861.46/434.07	c cleaning 10589 clauses out of 21181 with flag 118608/2362077
865.06/435.89	c cleaning 11291 clauses out of 22593 with flag 143867/2374078
869.07/437.89	c cleaning 12146 clauses out of 24301 with flag 171218/2387077
874.19/440.26	c cleaning 13076 clauses out of 26155 with flag 200723/2401077
878.59/442.49	c cleaning 14040 clauses out of 28079 with flag 232287/2416077
883.59/444.92	c cleaning 15014 clauses out of 30039 with flag 266148/2432077
888.99/447.68	c cleaning 16013 clauses out of 32025 with flag 302542/2449077
895.38/450.65	c cleaning 17004 clauses out of 34011 with flag 340755/2467076
901.18/453.52	c cleaning 18001 clauses out of 36008 with flag 380863/2486077
907.58/456.73	c cleaning 19002 clauses out of 38007 with flag 423292/2506077
914.58/460.20	c cleaning 20001 clauses out of 40005 with flag 467928/2527077
923.23/464.32	c cleaning 20998 clauses out of 42003 with flag 514354/2549076
931.62/468.60	c cleaning 21999 clauses out of 44005 with flag 562872/2572076
941.41/473.48	c cleaning 23003 clauses out of 46006 with flag 613779/2596076
950.81/478.16	c cleaning 23999 clauses out of 48004 with flag 666724/2621077
961.81/483.63	c cleaning 25001 clauses out of 50004 with flag 721817/2647076
972.41/488.99	c cleaning 25998 clauses out of 52003 with flag 779002/2674076
984.48/494.72	c cleaning 27000 clauses out of 54005 with flag 838106/2702076
996.88/500.96	c cleaning 28000 clauses out of 56006 with flag 899243/2731077
1010.28/507.63	c cleaning 29003 clauses out of 58006 with flag 962506/2761077
1024.70/514.81	c cleaning 30000 clauses out of 60003 with flag 1027741/2792077
1039.29/522.15	c cleaning 30996 clauses out of 62003 with flag 1095289/2824077
1056.13/530.34	c cleaning 32004 clauses out of 64007 with flag 1165147/2857077
1070.31/537.44	c cleaning 33001 clauses out of 66002 with flag 1237099/2891076
1085.10/544.87	c cleaning 33995 clauses out of 68001 with flag 1310870/2926076
1101.70/553.12	c cleaning 34997 clauses out of 70006 with flag 1386876/2962076
1117.31/560.94	c cleaning 35999 clauses out of 72009 with flag 1464899/2999076
1136.98/570.55	c cleaning 37004 clauses out of 74011 with flag 1545205/3037077
1155.77/579.92	c cleaning 38002 clauses out of 76007 with flag 1627327/3076077
1175.57/589.84	c cleaning 38999 clauses out of 78004 with flag 1711470/3116076
1196.56/600.35	c cleaning 40001 clauses out of 80006 with flag 1797928/3157077
1220.00/611.87	c cleaning 41000 clauses out of 82004 with flag 1886623/3199076
1242.40/623.05	c cleaning 42003 clauses out of 84005 with flag 1977410/3242077
1269.02/636.17	c cleaning 42995 clauses out of 86001 with flag 2070186/3286076
1293.41/648.30	c cleaning 44004 clauses out of 88007 with flag 2164935/3331077
1322.32/662.52	c cleaning 44997 clauses out of 90002 with flag 2261985/3377076
1350.12/676.49	c cleaning 45999 clauses out of 92005 with flag 2361450/3424076
1377.78/690.05	c cleaning 47002 clauses out of 94007 with flag 2463224/3472077
1411.75/707.77	c cleaning 47996 clauses out of 96004 with flag 2566672/3521076
1441.37/722.37	c cleaning 48998 clauses out of 98008 with flag 2672286/3571076
1474.47/738.63	c cleaning 50000 clauses out of 100010 with flag 2780257/3622076
1501.10/751.89	c cleaning 50999 clauses out of 102010 with flag 2890384/3674076
1519.58/760.94	c cleaning 0 clauses out of 8958 with flag 0/8961
1530.06/765.86	c cleaning 52002 clauses out of 104013 with flag 3002595/3727078
1562.59/781.84	c cleaning 53000 clauses out of 106009 with flag 3116550/3781076
1589.67/795.26	c cleaning 53999 clauses out of 108009 with flag 3232589/3836076
1621.33/810.98	c cleaning 54999 clauses out of 110011 with flag 3350743/3892077
1656.04/828.19	c cleaning 56004 clauses out of 112011 with flag 3471124/3949076
1693.50/846.68	c cleaning 57000 clauses out of 114007 with flag 3594589/4007076
1731.68/865.40	c cleaning 58001 clauses out of 116008 with flag 3719782/4066077
1772.67/885.63	c cleaning 59003 clauses out of 118006 with flag 3846554/4126076
1798.92/898.65	c And the winner is solver1
1798.92/898.84	c Got one! Elapsed wall clock time (in seconds):898.72
1798.92/898.84	o -136
1800.07/899.30	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.07/899.30	c starts		: 81753
1800.07/899.30	c conflicts		: 4174327
1800.07/899.30	c decisions		: 30991051
1800.07/899.30	c propagations		: 195385411
1800.07/899.30	c inspects		: 7161690779
1800.07/899.30	c shortcuts		: 0
1800.07/899.30	c learnt literals	: 0
1800.07/899.30	c learnt binary clauses	: 0
1800.07/899.30	c learnt ternary clauses	: 0
1800.07/899.30	c learnt constraints	: 4174327
1800.07/899.30	c ignored constraints	: 0
1800.07/899.30	c root simplifications	: 0
1800.07/899.30	c removed literals (reason simplification)	: 18073374
1800.07/899.30	c reason swapping (by a shorter reason)	: 0
1800.07/899.30	c Calls to reduceDB	: 206
1800.07/899.30	c Number of update (reduction) of LBD	: 169841
1800.07/899.30	c Imported unit clauses	: 0
1800.07/899.30	c number of reductions to clauses (during analyze)	: 0
1800.07/899.30	c number of learned constraints concerned by reduction	: 0
1800.07/899.30	c number of learning phase by resolution	: 0
1800.07/899.30	c number of learning phase by cutting planes	: 0
1800.07/899.30	c speed (assignments/second)	: 4.294184857142857E8
1800.07/899.30	c non guided choices	21
1800.07/899.33	c learnt constraints type 
1800.07/899.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 107254
1800.07/899.33	c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<<
1800.07/899.33	c starts		: 53
1800.07/899.33	c conflicts		: 10431
1800.07/899.33	c decisions		: 60447
1800.07/899.33	c propagations		: 378275
1800.07/899.33	c inspects		: 308563701
1800.07/899.33	c shortcuts		: 0
1800.07/899.33	c learnt literals	: 0
1800.07/899.33	c learnt binary clauses	: 0
1800.07/899.33	c learnt ternary clauses	: 0
1800.07/899.33	c learnt constraints	: 10428
1800.07/899.33	c ignored constraints	: 0
1800.07/899.33	c root simplifications	: 0
1800.07/899.33	c removed literals (reason simplification)	: 0
1800.07/899.33	c reason swapping (by a shorter reason)	: 0
1800.07/899.33	c Calls to reduceDB	: 1
1800.07/899.33	c Number of update (reduction) of LBD	: 0
1800.07/899.33	c Imported unit clauses	: 0
1800.07/899.33	c number of reductions to clauses (during analyze)	: 0
1800.07/899.33	c number of learned constraints concerned by reduction	: 0
1800.07/899.33	c number of learning phase by resolution	: 0
1800.07/899.33	c number of learning phase by cutting planes	: 0
1800.07/899.33	c speed (assignments/second)	: 422.63427038537895
1800.07/899.33	c non guided choices	33
1800.07/899.33	c learnt constraints type 
1800.07/899.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10428
1800.07/899.33	s SATISFIABLE
1800.07/899.33	c Found 18 solution(s)
1800.07/899.33	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 
1800.07/899.33	c objective function=-136
1800.07/899.33	c Total wall clock time (in seconds): 899.216

Verifier Data 

OK	-136

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-4119457-1467256564/watcher-4119457-1467256564 -o /tmp/evaluation-result-4119457-1467256564/solver-4119457-1467256564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5593 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119457-1467256564.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.96 3.98 3.98 4/197 9218
/proc/meminfo: memFree=26458188/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9218/stat : 9218 (java) D 9215 9218 5416 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 4687505 2560000 47 33554432000 1073741824 1073778376 140736685826416 140736685823544 251134045479 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 625 47 37 9 0 29 0

[startup+0.100111 s]
/proc/loadavg: 3.96 3.98 3.98 4/197 9218
/proc/meminfo: memFree=26458188/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 4405 0 1 0 8 0 0 0 20 0 18 0 4687505 9787879424 6043 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2389619 6043 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 3.96 3.98 3.98 4/197 9218
/proc/meminfo: memFree=26458188/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 4595 0 1 0 21 0 0 0 20 0 18 0 4687505 9787879424 7235 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2389619 7235 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.30032 s]
/proc/loadavg: 3.96 3.98 3.98 4/197 9218
/proc/meminfo: memFree=26458188/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 5554 0 1 0 42 3 0 0 20 0 19 0 4687505 10060525568 9359 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 9359 2240 9 0 2446860 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9824732

[startup+0.700269 s]
/proc/loadavg: 3.96 3.98 3.98 4/197 9218
/proc/meminfo: memFree=26458188/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 5554 0 1 0 42 3 0 0 20 0 19 0 4687505 10060525568 9359 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 9359 2240 9 0 2446860 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 3.96 3.98 3.98 4/216 9243
/proc/meminfo: memFree=26328332/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 19067 0 1 0 172 9 0 0 20 0 19 0 4687505 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 19537 2255 9 0 2446860 0
[pid=9218/tid=9220] ppid=9215 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/9218/task/9220/stat : 9220 (java) S 9215 9218 5416 0 -1 4202560 2439 0 1 0 24 0 0 0 20 0 19 0 4687506 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735205081976 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9221] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9221/stat : 9221 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735166573352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9222] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9222/stat : 9222 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735165520552 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9223] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9223/stat : 9223 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735164468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9224] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9224/stat : 9224 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735163415464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9225] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9225/stat : 9225 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735162362152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9226] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9226/stat : 9226 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735161309352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9227] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9227/stat : 9227 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735160257064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9228] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9228/stat : 9228 (java) S 9215 9218 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4687507 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735159204264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9229] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9229/stat : 9229 (java) S 9215 9218 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4687508 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735028706024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9230] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9230/stat : 9230 (java) S 9215 9218 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4687509 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735027652088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9231] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9231/stat : 9231 (java) S 9215 9218 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4687509 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735026599688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9232] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9232/stat : 9232 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687511 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735025548176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9233] ppid=9215 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/9218/task/9233/stat : 9233 (java) S 9215 9218 5416 0 -1 4202560 6819 0 0 0 45 2 0 0 20 0 19 0 4687511 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735024494776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9234] ppid=9215 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/9218/task/9234/stat : 9234 (java) S 9215 9218 5416 0 -1 4202560 8438 0 0 0 61 2 0 0 20 0 19 0 4687511 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735023441976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9235] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9235/stat : 9235 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687511 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735022389880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9236] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9236/stat : 9236 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687511 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139735021337288 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9240] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9240/stat : 9240 (java) S 9215 9218 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4687532 10060525568 19537 33554432000 1073741824 1073778376 140736685826416 139733875287592 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 3.96 3.98 3.98 3/216 9249
/proc/meminfo: memFree=26312360/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=4.21 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 25616 0 1 0 408 13 0 0 20 0 22 0 4687505 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 38284 2269 9 0 2446860 0
[pid=9218/tid=9220] ppid=9215 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/9218/task/9220/stat : 9220 (java) S 9215 9218 5416 0 -1 4202560 2440 0 1 0 25 0 0 0 20 0 22 0 4687506 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735205081976 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9221] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9221/stat : 9221 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735166573352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9222] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9222/stat : 9222 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735165520552 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9223] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9223/stat : 9223 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735164468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9224] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9224/stat : 9224 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735163415464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9225] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9225/stat : 9225 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735162362152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9226] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9226/stat : 9226 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735161309352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9227] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9227/stat : 9227 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735160257064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9228] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9228/stat : 9228 (java) S 9215 9218 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735159204264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9229] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9229/stat : 9229 (java) S 9215 9218 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4687508 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735028706024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9230] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9230/stat : 9230 (java) S 9215 9218 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735027652088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9231] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9231/stat : 9231 (java) S 9215 9218 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735026599688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9232] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9232/stat : 9232 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735025548176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9233] ppid=9215 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/9218/task/9233/stat : 9233 (java) R 9215 9218 5416 0 -1 4202560 13321 0 0 0 75 3 0 0 20 0 22 0 4687511 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735024483960 139735209199158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9234] ppid=9215 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/9218/task/9234/stat : 9234 (java) S 9215 9218 5416 0 -1 4202560 8439 0 0 0 93 2 0 0 20 0 22 0 4687511 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735023441976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9235] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9235/stat : 9235 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735022389880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9236] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9236/stat : 9236 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139735021337288 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9240] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9240/stat : 9240 (java) S 9215 9218 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4687532 10060525568 38284 33554432000 1073741824 1073778376 140736685826416 139733875287592 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 3.96 3.98 3.98 5/219 9255
/proc/meminfo: memFree=26192924/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=10.07 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 26128 0 1 0 990 17 0 0 20 0 22 0 4687505 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 51322 2284 9 0 2446860 0
[pid=9218/tid=9220] ppid=9215 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/9218/task/9220/stat : 9220 (java) S 9215 9218 5416 0 -1 4202560 2441 0 1 0 25 0 0 0 20 0 22 0 4687506 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735205081976 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9221] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9221/stat : 9221 (java) S 9215 9218 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735166573352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9222] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9222/stat : 9222 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735165520552 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9223] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9223/stat : 9223 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735164468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9224] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9224/stat : 9224 (java) S 9215 9218 5416 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735163415464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9225] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9225/stat : 9225 (java) S 9215 9218 5416 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735162362152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9226] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9226/stat : 9226 (java) S 9215 9218 5416 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735161309352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9227] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9227/stat : 9227 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735160257064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9228] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9228/stat : 9228 (java) S 9215 9218 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4687507 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735159204264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9229] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9229/stat : 9229 (java) S 9215 9218 5416 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4687508 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735028706024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9230] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9230/stat : 9230 (java) S 9215 9218 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735027652088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9231] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9231/stat : 9231 (java) S 9215 9218 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735026599688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9232] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9232/stat : 9232 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735025548176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9233] ppid=9215 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/9218/task/9233/stat : 9233 (java) S 9215 9218 5416 0 -1 4202560 13743 0 0 0 91 3 0 0 20 0 22 0 4687511 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735024494776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9234] ppid=9215 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/9218/task/9234/stat : 9234 (java) S 9215 9218 5416 0 -1 4202560 8440 0 0 0 105 2 0 0 20 0 22 0 4687511 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735023441976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9235] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9235/stat : 9235 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735022389880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9236] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9236/stat : 9236 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735021337288 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9240] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9240/stat : 9240 (java) S 9215 9218 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4687532 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139733875287592 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9253] ppid=9215 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/9218/task/9253/stat : 9253 (java) R 9215 9218 5416 0 -1 4202560 2 0 0 0 198 0 0 0 20 0 22 0 4687934 10060525568 51322 33554432000 1073741824 1073778376 140736685826416 139735019230056 139735033721124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9254] ppid=9215 vsize=9824732 CPUtime=1.98 cores=1,3,5,7

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

[pid=9218/tid=9684] ppid=9215 vsize=9824732 CPUtime=463.7 cores=1,3,5,7
/proc/9218/task/9684/stat : 9684 (java) R 9215 9218 5416 0 -1 4202560 30 0 0 0 46363 7 0 0 20 0 22 0 4730079 10060525568 1220432 33554432000 1073741824 1073778376 140736685826416 139733875284912 139735033508012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9685] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9685/stat : 9685 (java) S 9215 9218 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4730079 10060525568 1220432 33554432000 1073741824 1073778376 140736685826416 139735018177704 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 9824732

[startup+898.701 s]
/proc/loadavg: 4.06 4.04 4.00 3/216 9707
/proc/meminfo: memFree=22076312/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=1795.69 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 42845 0 1 0 179120 449 0 0 20 0 19 0 4687505 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 1220423 2294 9 0 2446860 0
[pid=9218/tid=9220] ppid=9215 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/9218/task/9220/stat : 9220 (java) S 9215 9218 5416 0 -1 4202560 2460 0 1 0 32 3 0 0 20 0 19 0 4687506 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735205081976 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9221] ppid=9215 vsize=9824732 CPUtime=5.3 cores=1,3,5,7
/proc/9218/task/9221/stat : 9221 (java) S 9215 9218 5416 0 -1 4202560 1397 0 0 0 487 43 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735166573352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9222] ppid=9215 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/9218/task/9222/stat : 9222 (java) S 9215 9218 5416 0 -1 4202560 1322 0 0 0 476 50 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735165520552 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9223] ppid=9215 vsize=9824732 CPUtime=5.36 cores=1,3,5,7
/proc/9218/task/9223/stat : 9223 (java) S 9215 9218 5416 0 -1 4202560 1354 0 0 0 488 48 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735164468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9224] ppid=9215 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/9218/task/9224/stat : 9224 (java) S 9215 9218 5416 0 -1 4202560 1076 0 0 0 491 36 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735163415464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9225] ppid=9215 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/9218/task/9225/stat : 9225 (java) S 9215 9218 5416 0 -1 4202560 1224 0 0 0 433 37 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735162362152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9226] ppid=9215 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/9218/task/9226/stat : 9226 (java) S 9215 9218 5416 0 -1 4202560 1160 0 0 0 460 41 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735161309352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9227] ppid=9215 vsize=9824732 CPUtime=4.95 cores=1,3,5,7
/proc/9218/task/9227/stat : 9227 (java) S 9215 9218 5416 0 -1 4202560 1143 0 0 0 454 41 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735160257064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9228] ppid=9215 vsize=9824732 CPUtime=4.56 cores=1,3,5,7
/proc/9218/task/9228/stat : 9228 (java) S 9215 9218 5416 0 -1 4202560 1158 0 0 0 417 39 0 0 20 0 19 0 4687507 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735159204264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9229] ppid=9215 vsize=9824732 CPUtime=8.32 cores=1,3,5,7
/proc/9218/task/9229/stat : 9229 (java) S 9215 9218 5416 0 -1 4202560 3715 0 0 0 823 9 0 0 20 0 19 0 4687508 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735028706024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9230] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9230/stat : 9230 (java) S 9215 9218 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4687509 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735027652088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9231] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9231/stat : 9231 (java) S 9215 9218 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4687509 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735026599688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9232] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9232/stat : 9232 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687511 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735025548176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9233] ppid=9215 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/9218/task/9233/stat : 9233 (java) S 9215 9218 5416 0 -1 4202560 13744 0 0 0 107 3 0 0 20 0 19 0 4687511 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735024494776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9234] ppid=9215 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/9218/task/9234/stat : 9234 (java) S 9215 9218 5416 0 -1 4202560 9867 0 0 0 209 2 0 0 20 0 19 0 4687511 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735023441976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9235] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9235/stat : 9235 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4687511 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735022389880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9236] ppid=9215 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9218/task/9236/stat : 9236 (java) S 9215 9218 5416 0 -1 4202560 52 0 0 0 11 18 0 0 20 0 19 0 4687511 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735021337288 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9255] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9255/stat : 9255 (java) S 9215 9218 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4687934 10060525568 1220423 33554432000 1073741824 1073778376 140736685826416 139735020283560 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (KiB) 9824732
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.301 s]
/proc/loadavg: 4.06 4.04 4.00 3/216 9707
/proc/meminfo: memFree=22076312/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=1796.84 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 42895 0 1 0 179234 450 0 0 20 0 22 0 4687505 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 1227606 2294 9 0 2446860 0
[pid=9218/tid=9220] ppid=9215 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/9218/task/9220/stat : 9220 (java) S 9215 9218 5416 0 -1 4202560 2460 0 1 0 33 3 0 0 20 0 22 0 4687506 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735205081976 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9221] ppid=9215 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/9218/task/9221/stat : 9221 (java) S 9215 9218 5416 0 -1 4202560 1400 0 0 0 490 43 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735166573352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9222] ppid=9215 vsize=9824732 CPUtime=5.29 cores=1,3,5,7
/proc/9218/task/9222/stat : 9222 (java) S 9215 9218 5416 0 -1 4202560 1322 0 0 0 479 50 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735165520552 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9223] ppid=9215 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/9218/task/9223/stat : 9223 (java) S 9215 9218 5416 0 -1 4202560 1357 0 0 0 491 48 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735164468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9224] ppid=9215 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/9218/task/9224/stat : 9224 (java) S 9215 9218 5416 0 -1 4202560 1083 0 0 0 504 36 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735163415464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9225] ppid=9215 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/9218/task/9225/stat : 9225 (java) S 9215 9218 5416 0 -1 4202560 1226 0 0 0 440 37 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735162362152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9226] ppid=9215 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/9218/task/9226/stat : 9226 (java) S 9215 9218 5416 0 -1 4202560 1168 0 0 0 473 42 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735161309352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9227] ppid=9215 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/9218/task/9227/stat : 9227 (java) S 9215 9218 5416 0 -1 4202560 1150 0 0 0 461 41 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735160257064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9228] ppid=9215 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/9218/task/9228/stat : 9228 (java) S 9215 9218 5416 0 -1 4202560 1160 0 0 0 420 39 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735159204264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9229] ppid=9215 vsize=9824732 CPUtime=8.32 cores=1,3,5,7
/proc/9218/task/9229/stat : 9229 (java) S 9215 9218 5416 0 -1 4202560 3725 0 0 0 823 9 0 0 20 0 22 0 4687508 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735028706024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9230] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9230/stat : 9230 (java) S 9215 9218 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735027652088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9231] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9231/stat : 9231 (java) S 9215 9218 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735026599688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9232] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9232/stat : 9232 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735025548176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9233] ppid=9215 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/9218/task/9233/stat : 9233 (java) S 9215 9218 5416 0 -1 4202560 13744 0 0 0 107 3 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735024494776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9234] ppid=9215 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/9218/task/9234/stat : 9234 (java) S 9215 9218 5416 0 -1 4202560 9867 0 0 0 209 2 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735023441976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9235] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9235/stat : 9235 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735022389880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9236] ppid=9215 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9218/task/9236/stat : 9236 (java) S 9215 9218 5416 0 -1 4202560 52 0 0 0 11 18 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735021337288 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9255] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9255/stat : 9255 (java) S 9215 9218 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4687934 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735020283560 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.84
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 9218 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.301 s]
/proc/loadavg: 4.06 4.04 4.00 3/216 9707
/proc/meminfo: memFree=22076312/32872528 swapFree=239532/272236
[pid=9218] ppid=9215 vsize=9824732 CPUtime=1796.84 cores=1,3,5,7
/proc/9218/stat : 9218 (java) S 9215 9218 5416 0 -1 4202496 42895 0 1 0 179234 450 0 0 20 0 22 0 4687505 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 140736685817552 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9218/statm: 2456183 1227606 2294 9 0 2446860 0
[pid=9218/tid=9220] ppid=9215 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/9218/task/9220/stat : 9220 (java) S 9215 9218 5416 0 -1 4202560 2460 0 1 0 33 3 0 0 20 0 22 0 4687506 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735205081976 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9221] ppid=9215 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/9218/task/9221/stat : 9221 (java) S 9215 9218 5416 0 -1 4202560 1400 0 0 0 490 43 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735166573352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9222] ppid=9215 vsize=9824732 CPUtime=5.29 cores=1,3,5,7
/proc/9218/task/9222/stat : 9222 (java) S 9215 9218 5416 0 -1 4202560 1322 0 0 0 479 50 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735165520552 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9223] ppid=9215 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/9218/task/9223/stat : 9223 (java) S 9215 9218 5416 0 -1 4202560 1357 0 0 0 491 48 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735164468264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9224] ppid=9215 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/9218/task/9224/stat : 9224 (java) S 9215 9218 5416 0 -1 4202560 1083 0 0 0 504 36 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735163415464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9225] ppid=9215 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/9218/task/9225/stat : 9225 (java) S 9215 9218 5416 0 -1 4202560 1226 0 0 0 440 37 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735162362152 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9226] ppid=9215 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/9218/task/9226/stat : 9226 (java) S 9215 9218 5416 0 -1 4202560 1168 0 0 0 473 42 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735161309352 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9218/tid=9227] ppid=9215 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/9218/task/9227/stat : 9227 (java) S 9215 9218 5416 0 -1 4202560 1150 0 0 0 461 41 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735160257064 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9228] ppid=9215 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/9218/task/9228/stat : 9228 (java) S 9215 9218 5416 0 -1 4202560 1160 0 0 0 420 39 0 0 20 0 22 0 4687507 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735159204264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9229] ppid=9215 vsize=9824732 CPUtime=8.32 cores=1,3,5,7
/proc/9218/task/9229/stat : 9229 (java) S 9215 9218 5416 0 -1 4202560 3725 0 0 0 823 9 0 0 20 0 22 0 4687508 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735028706024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9230] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9230/stat : 9230 (java) S 9215 9218 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735027652088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9231] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9231/stat : 9231 (java) S 9215 9218 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4687509 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735026599688 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9218/tid=9232] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9232/stat : 9232 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735025548176 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9233] ppid=9215 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/9218/task/9233/stat : 9233 (java) S 9215 9218 5416 0 -1 4202560 13744 0 0 0 107 3 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735024494776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9234] ppid=9215 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/9218/task/9234/stat : 9234 (java) S 9215 9218 5416 0 -1 4202560 9867 0 0 0 209 2 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735023441976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9235] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9235/stat : 9235 (java) S 9215 9218 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735022389880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9218/tid=9236] ppid=9215 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/9218/task/9236/stat : 9236 (java) S 9215 9218 5416 0 -1 4202560 52 0 0 0 11 18 0 0 20 0 22 0 4687511 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735021337288 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9218/tid=9255] ppid=9215 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9218/task/9255/stat : 9255 (java) S 9215 9218 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4687934 10060525568 1227606 33554432000 1073741824 1073778376 140736685826416 139735020283560 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 3.22998
#  lost CPU user time (s): 3.48004
#  lost CPU system time (s): -0.25

Real time (s): 899.357
CPU time (s): 1800.19
CPU user time (s): 1795.77
CPU system time (s): 4.41929
CPU usage (%): 200.164
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.29
system time used= 4.66929
maximum resident set size= 4910564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42941
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24058
involuntary context switches= 29540

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07008 second user time and 6.91795 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-30 05:16:04
IDJOB=4119457
IDBENCH=111735
IDSOLVER=2543
FILE ID=node107/4119457-1467256564
RUNJOBID= node107-1467248484-5593
PBS_JOBID= 20004476
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament30.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119457-1467256564/watcher-4119457-1467256564 -o /tmp/evaluation-result-4119457-1467256564/solver-4119457-1467256564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5593 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119457-1467256564.opb

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

MD5SUM BENCH= 2b34d3eb273db72e9d51f8c6f898f4a2
RANDOM SEED=1407801000

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26458980 kB
Buffers:          102268 kB
Cached:           425372 kB
SwapCached:            0 kB
Active:          4937360 kB
Inactive:         435896 kB
Active(anon):    4848052 kB
Inactive(anon):        4 kB
Active(file):      89308 kB
Inactive(file):   435892 kB
Unevictable:      272236 kB
Mlocked:          239532 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               904 kB
Writeback:             0 kB
AnonPages:       5267008 kB
Mapped:            22212 kB
Shmem:               204 kB
Slab:             604856 kB
SReclaimable:      48824 kB
SUnreclaim:       556032 kB
KernelStack:        1808 kB
PageTables:        14296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6001376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4925440 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= 71720 MiB
End job on node107 at 2016-06-30 05:31:04