Trace number 4081770

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)-121 1800.57 896.257

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
MD5SUM0945390fcac05113ffd57d1199a19e21
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-125
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -126
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint25
Maximum length of a constraint51
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31640
Sum of products size (including duplicates)63280
Number of different products15820
Sum of products size31640

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081770-1465255744.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
2.19/0.99	c ... done. Wall clock time 0.87s.
2.19/0.99	c declared #vars     1000
2.19/0.99	c internal #vars     16820
2.19/0.99	c #constraints  33640
2.19/0.99	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.19/0.99	c constraints type 
2.19/0.99	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15820
2.19/0.99	c org.sat4j.minisat.constraints.cnf.UnitClauses => 898
2.19/0.99	c org.sat4j.specs.Constr$1 => 1051
2.19/0.99	c org.sat4j.minisat.constraints.cnf.UnitClause => 51
2.19/0.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15820
2.19/0.99	c 33640 constraints processed.
2.19/0.99	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.19/0.99	c constraints type 
2.19/0.99	c org.sat4j.specs.Constr$1 => 1051
2.19/0.99	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15820
2.19/0.99	c org.sat4j.pb.constraints.pb.UnitClausesPB => 898
2.19/0.99	c org.sat4j.pb.constraints.pb.UnitClausePB => 51
2.19/0.99	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15820
2.19/0.99	c 33640 constraints processed.
2.19/0.99	c objective function length is 1000 literals
2.89/1.19	c And the winner is solver0
3.39/1.51	c SATISFIABLE
3.39/1.51	c OPTIMIZING...
3.39/1.51	c Got one! Elapsed wall clock time (in seconds):1.391
3.39/1.51	o -106
5.27/2.06	c And the winner is solver1
5.45/2.52	c Got one! Elapsed wall clock time (in seconds):2.395
5.45/2.52	o -107
7.24/3.25	c And the winner is solver1
7.37/3.53	c Got one! Elapsed wall clock time (in seconds):3.414
7.37/3.53	o -110
8.36/4.03	c cleaning 3196 clauses out of 6394 with flag 4548/6394
11.19/5.29	c And the winner is solver1
11.39/5.54	c Got one! Elapsed wall clock time (in seconds):5.418
11.39/5.54	o -114
14.04/6.84	c cleaning 6639 clauses out of 13278 with flag 11218/16474
14.47/7.09	c And the winner is solver1
14.67/7.54	c Got one! Elapsed wall clock time (in seconds):7.421
14.67/7.54	o -115
16.77/8.59	c cleaning 5887 clauses out of 11773 with flag 9085/21608
19.81/10.05	c cleaning 5943 clauses out of 11885 with flag 23422/27607
23.40/11.76	c cleaning 6469 clauses out of 12942 with flag 39255/34607
27.20/13.61	c And the winner is solver1
27.20/13.64	c Got one! Elapsed wall clock time (in seconds):13.522
27.20/13.64	o -116
30.29/15.09	c cleaning 9704 clauses out of 19415 with flag 11038/47549
31.50/15.69	c And the winner is solver1
31.69/16.14	c Got one! Elapsed wall clock time (in seconds):16.024
31.69/16.14	o -117
33.19/16.96	c cleaning 7692 clauses out of 15384 with flag 7020/53222
36.01/18.38	c cleaning 6845 clauses out of 13693 with flag 21345/59223
39.96/20.10	c cleaning 6922 clauses out of 13847 with flag 37757/66222
43.77/22.04	c cleaning 7460 clauses out of 14925 with flag 56456/74222
48.17/24.24	c cleaning 8231 clauses out of 16464 with flag 77255/83221
50.16/25.29	c And the winner is solver1
50.34/25.65	c Got one! Elapsed wall clock time (in seconds):25.528
50.34/25.65	o -118
50.84/25.94	c cleaning 6791 clauses out of 13583 with flag 2359/88571
55.32/28.32	c cleaning 6390 clauses out of 12790 with flag 16124/94569
58.72/30.01	c cleaning 6698 clauses out of 13402 with flag 32553/101571
62.53/31.97	c cleaning 7348 clauses out of 14703 with flag 50973/109570
67.14/34.28	c cleaning 8178 clauses out of 16355 with flag 72810/118570
72.91/37.01	c cleaning 9089 clauses out of 18178 with flag 97642/128571
78.33/39.79	c cleaning 10043 clauses out of 20087 with flag 122989/139569
84.72/42.92	c cleaning 11022 clauses out of 22046 with flag 150948/151571
92.29/46.60	c cleaning 12011 clauses out of 24022 with flag 181563/164569
99.89/50.38	c cleaning 13004 clauses out of 26011 with flag 214191/178569
109.55/55.48	c cleaning 14004 clauses out of 28007 with flag 250146/193569
118.95/60.14	c cleaning 15000 clauses out of 30004 with flag 289097/209570
128.88/65.02	c cleaning 15998 clauses out of 32003 with flag 329422/226569
137.86/69.51	c cleaning 16996 clauses out of 34005 with flag 370642/244569
148.08/74.60	c cleaning 18000 clauses out of 36009 with flag 415820/263569
150.14/75.55	c And the winner is solver1
150.26/75.98	c Got one! Elapsed wall clock time (in seconds):75.857
150.26/75.98	o -119
151.50/76.62	c cleaning 11937 clauses out of 23881 with flag 4722/269441
154.91/78.38	c cleaning 8968 clauses out of 17945 with flag 19114/275442
159.35/80.44	c cleaning 7981 clauses out of 15976 with flag 35764/282441
163.13/82.30	c cleaning 7995 clauses out of 15998 with flag 54133/290444
167.53/84.52	c cleaning 8497 clauses out of 17001 with flag 75914/299442
172.36/87.00	c cleaning 9249 clauses out of 18504 with flag 99154/309442
178.55/89.89	c cleaning 10125 clauses out of 20255 with flag 124727/320442
184.55/92.84	c cleaning 11059 clauses out of 22131 with flag 152821/332443
190.94/96.03	c cleaning 12034 clauses out of 24071 with flag 182998/345442
198.11/99.58	c cleaning 13018 clauses out of 26036 with flag 215677/359441
206.13/103.57	c cleaning 14007 clauses out of 28018 with flag 252248/374441
215.18/107.91	c cleaning 15007 clauses out of 30013 with flag 291023/390443
224.37/112.56	c cleaning 16001 clauses out of 32005 with flag 331882/407442
234.51/117.47	c And the winner is solver1
234.69/117.69	c Got one! Elapsed wall clock time (in seconds):117.572
234.69/117.69	o -120
237.71/119.25	c cleaning 18818 clauses out of 37650 with flag 11545/429088
241.32/121.10	c cleaning 12415 clauses out of 24832 with flag 26013/435088
245.31/123.08	c cleaning 9700 clauses out of 19417 with flag 42666/442088
252.24/127.18	c cleaning 8857 clauses out of 17718 with flag 62093/450089
257.24/129.68	c cleaning 8927 clauses out of 17860 with flag 84370/459088
262.64/132.34	c cleaning 9464 clauses out of 18934 with flag 107698/469089
268.24/135.12	c cleaning 10230 clauses out of 20469 with flag 133142/480088
274.50/138.27	c cleaning 11118 clauses out of 22239 with flag 161311/492088
281.50/141.79	c cleaning 12060 clauses out of 24122 with flag 192647/505089
290.24/146.01	c cleaning 13025 clauses out of 26061 with flag 227320/519088
298.63/150.28	c cleaning 14012 clauses out of 28037 with flag 263935/534089
307.18/154.42	c cleaning 15009 clauses out of 30025 with flag 301482/550089
316.18/159.00	c cleaning 16007 clauses out of 32015 with flag 343204/567088
326.78/164.14	c cleaning 17005 clauses out of 34009 with flag 386767/585089
337.78/169.68	c cleaning 18002 clauses out of 36003 with flag 433321/604088
351.05/176.14	c cleaning 19001 clauses out of 38001 with flag 482200/624088
364.76/182.81	c cleaning 20000 clauses out of 40001 with flag 532492/645089
379.92/190.21	c cleaning 20997 clauses out of 42002 with flag 586567/667090
394.33/197.40	c cleaning 21999 clauses out of 44003 with flag 642517/690088
410.05/205.17	c cleaning 22996 clauses out of 46004 with flag 701203/714088
429.02/214.43	c cleaning 24004 clauses out of 48010 with flag 765255/739090
447.54/223.23	c cleaning 25001 clauses out of 50007 with flag 826318/765091
465.32/231.83	c cleaning 25993 clauses out of 52004 with flag 889081/792089
483.25/240.57	c cleaning 27000 clauses out of 54012 with flag 955296/820090
505.86/251.26	c cleaning 28002 clauses out of 56011 with flag 1026377/849089
530.45/264.49	c And the winner is solver1
530.68/264.69	c Got one! Elapsed wall clock time (in seconds):264.574
530.68/264.69	o -121
534.81/266.71	c cleaning 30338 clauses out of 60690 with flag 11643/881770
538.81/268.76	c cleaning 18173 clauses out of 36353 with flag 26417/887771
542.89/270.79	c cleaning 12585 clauses out of 25179 with flag 43518/894770
547.29/272.91	c cleaning 10290 clauses out of 20594 with flag 62996/902770
552.20/275.35	c cleaning 9650 clauses out of 19304 with flag 85084/911770
557.40/277.99	c cleaning 9823 clauses out of 19654 with flag 110052/921770
563.51/280.92	c cleaning 10414 clauses out of 20832 with flag 136647/932771
569.91/284.10	c cleaning 11209 clauses out of 22419 with flag 166098/944772
577.24/287.77	c cleaning 12103 clauses out of 24208 with flag 197323/957770
585.99/292.01	c cleaning 13047 clauses out of 26106 with flag 231951/971771
593.57/295.78	c cleaning 14030 clauses out of 28059 with flag 269192/986771
601.56/299.70	c cleaning 15002 clauses out of 30028 with flag 306452/1002770
609.76/303.82	c cleaning 16008 clauses out of 32026 with flag 346788/1019770
618.38/308.19	c cleaning 17010 clauses out of 34019 with flag 389474/1037771
629.77/313.78	c cleaning 18000 clauses out of 36008 with flag 436421/1056770
640.76/319.23	c cleaning 19004 clauses out of 38008 with flag 484617/1076770
651.37/324.51	c cleaning 19997 clauses out of 40004 with flag 533107/1097770
662.57/330.14	c cleaning 21000 clauses out of 42009 with flag 585294/1119772
674.56/336.17	c cleaning 21999 clauses out of 44008 with flag 638842/1142771
687.36/342.57	c cleaning 23001 clauses out of 46009 with flag 695189/1166771
700.76/349.26	c cleaning 24001 clauses out of 48009 with flag 757078/1191772
719.03/358.26	c cleaning 25000 clauses out of 50006 with flag 820324/1217770
735.02/366.20	c cleaning 26002 clauses out of 52007 with flag 887805/1244771
752.52/374.81	c cleaning 27002 clauses out of 54006 with flag 958208/1272772
769.31/383.27	c cleaning 28001 clauses out of 56004 with flag 1028682/1301772
788.33/392.79	c cleaning 29002 clauses out of 58003 with flag 1103761/1331772
808.51/402.83	c cleaning 29997 clauses out of 60000 with flag 1179984/1362771
827.11/412.14	c cleaning 30997 clauses out of 62002 with flag 1257523/1394770
848.46/422.64	c cleaning 31999 clauses out of 64006 with flag 1339110/1427771
870.66/433.78	c cleaning 32996 clauses out of 66006 with flag 1423080/1461770
894.05/445.43	c cleaning 34003 clauses out of 68011 with flag 1509568/1496771
916.66/456.79	c cleaning 35001 clauses out of 70007 with flag 1595098/1532770
941.25/469.02	c cleaning 35997 clauses out of 72006 with flag 1688053/1569770
967.06/481.96	c cleaning 37006 clauses out of 74011 with flag 1782457/1607772
994.67/495.51	c cleaning 37999 clauses out of 76005 with flag 1880788/1646772
1024.26/510.35	c cleaning 38998 clauses out of 78005 with flag 1983045/1686771
1055.66/526.00	c cleaning 40003 clauses out of 80006 with flag 2086709/1727770
1082.45/539.43	c cleaning 40999 clauses out of 82003 with flag 2186531/1769770
1109.85/553.13	c cleaning 42002 clauses out of 84004 with flag 2287093/1812770
1142.45/569.44	c cleaning 42996 clauses out of 86004 with flag 2392230/1856772
1177.64/587.09	c cleaning 44003 clauses out of 88006 with flag 2504529/1901770
1211.97/603.84	c cleaning 45001 clauses out of 90004 with flag 2612222/1947771
1256.38/626.07	c cleaning 45999 clauses out of 92002 with flag 2731724/1994770
1296.97/646.36	c cleaning 46999 clauses out of 94004 with flag 2849510/2042771
1345.15/670.14	c cleaning 47996 clauses out of 96006 with flag 2967792/2091772
1393.30/693.98	c cleaning 49002 clauses out of 98009 with flag 3091219/2141771
1451.64/723.55	c cleaning 50002 clauses out of 100008 with flag 3222890/2192772
1496.93/746.05	c cleaning 50998 clauses out of 102005 with flag 3349153/2244771
1549.20/771.92	c cleaning 51996 clauses out of 104007 with flag 3475839/2297771
1611.88/802.84	c cleaning 53006 clauses out of 106012 with flag 3610048/2351772
1661.13/828.10	c cleaning 0 clauses out of 8255 with flag 0/8255
1674.00/834.33	c cleaning 54003 clauses out of 108005 with flag 3747438/2406771
1748.98/871.19	c cleaning 55000 clauses out of 110003 with flag 3891328/2462772
1800.00/896.20	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.00/896.20	c starts		: 49413
1800.00/896.20	c conflicts		: 2504720
1800.00/896.20	c decisions		: 45098125
1800.00/896.20	c propagations		: 62413512
1800.00/896.20	c inspects		: 7030436850
1800.00/896.20	c shortcuts		: 0
1800.00/896.20	c learnt literals	: 0
1800.00/896.20	c learnt binary clauses	: 0
1800.00/896.20	c learnt ternary clauses	: 0
1800.00/896.20	c learnt constraints	: 2504720
1800.00/896.20	c ignored constraints	: 0
1800.00/896.20	c root simplifications	: 0
1800.00/896.20	c removed literals (reason simplification)	: 35926452
1800.00/896.20	c reason swapping (by a shorter reason)	: 0
1800.00/896.20	c Calls to reduceDB	: 116
1800.00/896.20	c Number of update (reduction) of LBD	: 74740
1800.00/896.20	c Imported unit clauses	: 0
1800.00/896.20	c number of reductions to clauses (during analyze)	: 0
1800.00/896.20	c number of learned constraints concerned by reduction	: 0
1800.00/896.20	c number of learning phase by resolution	: 0
1800.00/896.20	c number of learning phase by cutting planes	: 0
1800.00/896.20	c speed (assignments/second)	: 98832.82344110745
1800.00/896.20	c non guided choices	0
1800.00/896.23	c learnt constraints type 
1800.00/896.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 96952
1800.00/896.23	c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<<
1800.00/896.23	c starts		: 42
1800.00/896.23	c conflicts		: 8764
1800.00/896.23	c decisions		: 19929
1800.00/896.23	c propagations		: 356202
1800.00/896.23	c inspects		: 337334729
1800.00/896.23	c shortcuts		: 0
1800.00/896.23	c learnt literals	: 0
1800.00/896.23	c learnt binary clauses	: 0
1800.00/896.23	c learnt ternary clauses	: 0
1800.00/896.23	c learnt constraints	: 8764
1800.00/896.23	c ignored constraints	: 0
1800.00/896.23	c root simplifications	: 0
1800.00/896.23	c removed literals (reason simplification)	: 0
1800.00/896.23	c reason swapping (by a shorter reason)	: 0
1800.00/896.23	c Calls to reduceDB	: 1
1800.00/896.23	c Number of update (reduction) of LBD	: 0
1800.00/896.23	c Imported unit clauses	: 0
1800.00/896.23	c number of reductions to clauses (during analyze)	: 0
1800.00/896.23	c number of learned constraints concerned by reduction	: 0
1800.00/896.23	c number of learning phase by resolution	: 0
1800.00/896.23	c number of learning phase by cutting planes	: 0
1800.00/896.23	c speed (assignments/second)	: 398.12006124889626
1800.00/896.23	c non guided choices	0
1800.00/896.23	c learnt constraints type 
1800.00/896.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 486
1800.00/896.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8278
1800.00/896.23	s SATISFIABLE
1800.00/896.23	c Found 11 solution(s)
1800.00/896.23	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 x414 -x415 x416 -x417 -x418 x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 x780 -x781 x782 -x783 -x784 x785 -x786 x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 x914 -x915 -x916 x917 x918 -x919 -x920 x921 -x922 -x923 x924 -x925 -x926 -x927 x928 x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 x976 -x977 x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 
1800.00/896.23	c objective function=-121
1800.00/896.23	c Total wall clock time (in seconds): 896.114

Verifier Data 

OK	-121

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-4081770-1465255744/watcher-4081770-1465255744 -o /tmp/evaluation-result-4081770-1465255744/solver-4081770-1465255744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081770-1465255744.opb 

pid=20458
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: 4.04 4.16 4.16 4/199 20461
/proc/meminfo: memFree=26755352/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (java) R 20458 20461 15677 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 107507212 9445376 93 33554432000 1073741824 1073778376 140736224642448 140736224639576 273896486327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2306 95 75 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.04 4.16 4.16 4/199 20461
/proc/meminfo: memFree=26755352/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 107507212 9787879424 6039 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2389619 6039 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200231 s]
/proc/loadavg: 4.04 4.16 4.16 4/199 20461
/proc/meminfo: memFree=26755352/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 4712 0 1 0 22 1 0 0 20 0 18 0 107507212 9787879424 7305 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2389619 7305 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300247 s]
/proc/loadavg: 4.04 4.16 4.16 4/199 20461
/proc/meminfo: memFree=26755352/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 6150 0 1 0 45 1 0 0 20 0 18 0 107507212 9787879424 9147 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2389619 9147 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700203 s]
/proc/loadavg: 4.04 4.16 4.16 4/199 20461
/proc/meminfo: memFree=26755352/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9558476 CPUtime=1.59 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 22312 0 1 0 154 5 0 0 20 0 18 0 107507212 9787879424 27961 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2389619 27961 2257 9 0 2380296 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9558476

[startup+1.50081 s]
/proc/loadavg: 4.04 4.16 4.16 8/220 20482
/proc/meminfo: memFree=26607824/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 28160 0 1 0 330 9 0 0 20 0 19 0 107507212 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2456183 40012 2268 9 0 2446860 0
[pid=20461/tid=20463] ppid=20458 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/20461/task/20463/stat : 20463 (java) S 20458 20461 15677 0 -1 4202560 2454 0 1 0 93 3 0 0 20 0 19 0 107507213 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617620779896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20464] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20464/stat : 20464 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617582270888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20465] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20465/stat : 20465 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617581218344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20466] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20466/stat : 20466 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617580165288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20467] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20467/stat : 20467 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617579112744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20468] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20468/stat : 20468 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617578060712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20469] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20469/stat : 20469 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617577008168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20470] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20470/stat : 20470 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617575955112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20471] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20471/stat : 20471 (java) S 20458 20461 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107507214 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617574902568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20472] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20472/stat : 20472 (java) S 20458 20461 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107507215 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617444211048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20473] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20473/stat : 20473 (java) S 20458 20461 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107507216 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617443157368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20474] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20474/stat : 20474 (java) S 20458 20461 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107507216 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617442104200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20475] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20475/stat : 20475 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507218 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617441052944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20476] ppid=20458 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/20461/task/20476/stat : 20476 (java) S 20458 20461 15677 0 -1 4202560 12150 0 0 0 96 2 0 0 20 0 19 0 107507218 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617440000824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20477] ppid=20458 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/20461/task/20477/stat : 20477 (java) S 20458 20461 15677 0 -1 4202560 12242 0 0 0 98 3 0 0 20 0 19 0 107507218 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617438948280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20478] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20478/stat : 20478 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507218 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617437895416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20479] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20479/stat : 20479 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107507218 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617436843080 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20482] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20482/stat : 20482 (java) S 20458 20461 15677 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107507317 10060525568 40012 33554432000 1073741824 1073778376 140736224642448 140617433682728 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 4.04 4.16 4.16 4/218 20486
/proc/meminfo: memFree=26521792/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9824732 CPUtime=7.04 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 31012 0 1 0 682 22 0 0 20 0 22 0 107507212 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2456183 71759 2290 9 0 2446860 0
[pid=20461/tid=20463] ppid=20458 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/20461/task/20463/stat : 20463 (java) S 20458 20461 15677 0 -1 4202560 2454 0 1 0 94 3 0 0 20 0 22 0 107507213 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617620779896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20464] ppid=20458 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20461/task/20464/stat : 20464 (java) S 20458 20461 15677 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617582270888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20465] ppid=20458 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20461/task/20465/stat : 20465 (java) S 20458 20461 15677 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617581218344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20466] ppid=20458 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20461/task/20466/stat : 20466 (java) S 20458 20461 15677 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617580165288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20467] ppid=20458 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20461/task/20467/stat : 20467 (java) S 20458 20461 15677 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617579112744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20468] ppid=20458 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20461/task/20468/stat : 20468 (java) S 20458 20461 15677 0 -1 4202560 164 0 0 0 3 3 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617578060712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20469] ppid=20458 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20461/task/20469/stat : 20469 (java) S 20458 20461 15677 0 -1 4202560 118 0 0 0 2 1 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617577008168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20470] ppid=20458 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20461/task/20470/stat : 20470 (java) S 20458 20461 15677 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617575955112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20471] ppid=20458 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20461/task/20471/stat : 20471 (java) S 20458 20461 15677 0 -1 4202560 101 0 0 0 1 1 0 0 20 0 22 0 107507214 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617574902568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20472] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20472/stat : 20472 (java) S 20458 20461 15677 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 107507215 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617444211048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20473] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20473/stat : 20473 (java) S 20458 20461 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617443157368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20474] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20474/stat : 20474 (java) S 20458 20461 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617442104200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20475] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20475/stat : 20475 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617441052944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20476] ppid=20458 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/20461/task/20476/stat : 20476 (java) S 20458 20461 15677 0 -1 4202560 14294 0 0 0 168 2 0 0 20 0 22 0 107507218 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617440000824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20477] ppid=20458 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/20461/task/20477/stat : 20477 (java) S 20458 20461 15677 0 -1 4202560 12294 0 0 0 147 3 0 0 20 0 22 0 107507218 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617438948280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20478] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20478/stat : 20478 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617437895416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20479] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20479/stat : 20479 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617436843080 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20486] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20486/stat : 20486 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107507364 10060525568 71759 33554432000 1073741824 1073778376 140736224642448 140617432630568 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 9824732

[startup+6.30093 s]
/proc/loadavg: 4.04 4.16 4.16 3/218 20492
/proc/meminfo: memFree=26313008/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9824732 CPUtime=13.03 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 31508 0 1 0 1259 44 0 0 20 0 22 0 107507212 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2456183 125702 2296 9 0 2446860 0
[pid=20461/tid=20463] ppid=20458 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/20461/task/20463/stat : 20463 (java) S 20458 20461 15677 0 -1 4202560 2455 0 1 0 95 3 0 0 20 0 22 0 107507213 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617620779896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20464] ppid=20458 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20461/task/20464/stat : 20464 (java) S 20458 20461 15677 0 -1 4202560 105 0 0 0 6 3 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617582270888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20465] ppid=20458 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/20461/task/20465/stat : 20465 (java) S 20458 20461 15677 0 -1 4202560 83 0 0 0 6 4 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617581218344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20466] ppid=20458 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20461/task/20466/stat : 20466 (java) S 20458 20461 15677 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617580165288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20467] ppid=20458 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/20461/task/20467/stat : 20467 (java) S 20458 20461 15677 0 -1 4202560 88 0 0 0 9 4 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617579112744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20468] ppid=20458 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20461/task/20468/stat : 20468 (java) S 20458 20461 15677 0 -1 4202560 186 0 0 0 5 4 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617578060712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20469] ppid=20458 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20461/task/20469/stat : 20469 (java) S 20458 20461 15677 0 -1 4202560 154 0 0 0 5 4 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617577008168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20470] ppid=20458 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20461/task/20470/stat : 20470 (java) S 20458 20461 15677 0 -1 4202560 44 0 0 0 4 3 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617575955112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20471] ppid=20458 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/20461/task/20471/stat : 20471 (java) S 20458 20461 15677 0 -1 4202560 135 0 0 0 6 4 0 0 20 0 22 0 107507214 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617574902568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20472] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20472/stat : 20472 (java) S 20458 20461 15677 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 107507215 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617444211048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20473] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20473/stat : 20473 (java) S 20458 20461 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617443157368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20474] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20474/stat : 20474 (java) S 20458 20461 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617442104200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20475] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20475/stat : 20475 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617441052944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20476] ppid=20458 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/20461/task/20476/stat : 20476 (java) S 20458 20461 15677 0 -1 4202560 14295 0 0 0 187 2 0 0 20 0 22 0 107507218 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617440000824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20477] ppid=20458 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/20461/task/20477/stat : 20477 (java) S 20458 20461 15677 0 -1 4202560 12299 0 0 0 172 3 0 0 20 0 22 0 107507218 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617438948280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20478] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20478/stat : 20478 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617437895416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20479] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20479/stat : 20479 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617436843080 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20486] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20486/stat : 20486 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107507364 10060525568 125702 33554432000 1073741824 1073778376 140736224642448 140617432630568 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 13.03
Current children cumulated vsize (KiB) 9824732


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


[startup+822.301 s]
/proc/loadavg: 4.17 4.25 4.20 6/221 20775
/proc/meminfo: memFree=22004744/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9824732 CPUtime=1649.34 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 44998 0 1 0 164497 437 0 0 20 0 22 0 107507212 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2456183 1242620 2304 9 0 2446860 0
[pid=20461/tid=20463] ppid=20458 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/20461/task/20463/stat : 20463 (java) S 20458 20461 15677 0 -1 4202560 2469 0 1 0 98 4 0 0 20 0 22 0 107507213 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617620779896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20464] ppid=20458 vsize=9824732 CPUtime=4.96 cores=1,3,5,7
/proc/20461/task/20464/stat : 20464 (java) S 20458 20461 15677 0 -1 4202560 1045 0 0 0 453 43 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617582270888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20465] ppid=20458 vsize=9824732 CPUtime=5.3 cores=1,3,5,7
/proc/20461/task/20465/stat : 20465 (java) S 20458 20461 15677 0 -1 4202560 1181 0 0 0 483 47 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617581218344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20466] ppid=20458 vsize=9824732 CPUtime=4.22 cores=1,3,5,7
/proc/20461/task/20466/stat : 20466 (java) S 20458 20461 15677 0 -1 4202560 831 0 0 0 386 36 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617580165288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20467] ppid=20458 vsize=9824732 CPUtime=5.08 cores=1,3,5,7
/proc/20461/task/20467/stat : 20467 (java) S 20458 20461 15677 0 -1 4202560 1029 0 0 0 464 44 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617579112744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20468] ppid=20458 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/20461/task/20468/stat : 20468 (java) S 20458 20461 15677 0 -1 4202560 1199 0 0 0 413 46 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617578060712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20469] ppid=20458 vsize=9824732 CPUtime=4.95 cores=1,3,5,7
/proc/20461/task/20469/stat : 20469 (java) S 20458 20461 15677 0 -1 4202560 1269 0 0 0 449 46 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617577008168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20470] ppid=20458 vsize=9824732 CPUtime=5.29 cores=1,3,5,7
/proc/20461/task/20470/stat : 20470 (java) S 20458 20461 15677 0 -1 4202560 1224 0 0 0 478 51 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617575955112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20471] ppid=20458 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/20461/task/20471/stat : 20471 (java) S 20458 20461 15677 0 -1 4202560 1001 0 0 0 441 41 0 0 20 0 22 0 107507214 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617574902568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20472] ppid=20458 vsize=9824732 CPUtime=10.67 cores=1,3,5,7
/proc/20461/task/20472/stat : 20472 (java) S 20458 20461 15677 0 -1 4202560 3826 0 0 0 1058 9 0 0 20 0 22 0 107507215 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617444211048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20473] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20473/stat : 20473 (java) S 20458 20461 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617443157368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20474] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20474/stat : 20474 (java) S 20458 20461 15677 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617442104200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20475] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20475/stat : 20475 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617441052944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20476] ppid=20458 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/20461/task/20476/stat : 20476 (java) S 20458 20461 15677 0 -1 4202560 14301 0 0 0 220 2 0 0 20 0 22 0 107507218 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617440000824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20477] ppid=20458 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/20461/task/20477/stat : 20477 (java) S 20458 20461 15677 0 -1 4202560 12306 0 0 0 194 3 0 0 20 0 22 0 107507218 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617438948280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20478] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20478/stat : 20478 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617437895416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20479] ppid=20458 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/20461/task/20479/stat : 20479 (java) S 20458 20461 15677 0 -1 4202560 47 0 0 0 13 19 0 0 20 0 22 0 107507218 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617436843080 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20486] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20486/stat : 20486 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107507364 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617432630568 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20759] ppid=20458 vsize=9824732 CPUtime=549.1 cores=1,3,5,7
/proc/20461/task/20759/stat : 20759 (java) R 20458 20461 15677 0 -1 4202560 7 0 0 0 54902 8 0 0 20 0 22 0 107533682 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617434733864 140617448675107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20760] ppid=20458 vsize=9824732 CPUtime=549.05 cores=1,3,5,7
/proc/20461/task/20760/stat : 20760 (java) R 20458 20461 15677 0 -1 4202560 31 0 0 0 54895 10 0 0 20 0 22 0 107533682 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617435787680 140617448643156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20761] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20761/stat : 20761 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107533682 10060525568 1242620 33554432000 1073741824 1073778376 140736224642448 140617433683496 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1649.34
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.24 4.24 4.20 5/221 20776
/proc/meminfo: memFree=22667856/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9824732 CPUtime=1771.58 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 45469 0 1 0 176717 441 0 0 20 0 22 0 107507212 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2456183 1164109 2304 9 0 2446860 0
[pid=20461/tid=20463] ppid=20458 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/20461/task/20463/stat : 20463 (java) S 20458 20461 15677 0 -1 4202560 2469 0 1 0 98 4 0 0 20 0 22 0 107507213 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617620779896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20464] ppid=20458 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/20461/task/20464/stat : 20464 (java) S 20458 20461 15677 0 -1 4202560 1064 0 0 0 496 43 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617582270888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20465] ppid=20458 vsize=9824732 CPUtime=5.67 cores=1,3,5,7
/proc/20461/task/20465/stat : 20465 (java) S 20458 20461 15677 0 -1 4202560 1221 0 0 0 520 47 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617581218344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20466] ppid=20458 vsize=9824732 CPUtime=4.75 cores=1,3,5,7
/proc/20461/task/20466/stat : 20466 (java) S 20458 20461 15677 0 -1 4202560 831 0 0 0 439 36 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617580165288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20467] ppid=20458 vsize=9824732 CPUtime=5.7 cores=1,3,5,7
/proc/20461/task/20467/stat : 20467 (java) S 20458 20461 15677 0 -1 4202560 1029 0 0 0 526 44 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617579112744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20468] ppid=20458 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/20461/task/20468/stat : 20468 (java) S 20458 20461 15677 0 -1 4202560 1199 0 0 0 464 46 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617578060712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20469] ppid=20458 vsize=9824732 CPUtime=5.46 cores=1,3,5,7
/proc/20461/task/20469/stat : 20469 (java) S 20458 20461 15677 0 -1 4202560 1270 0 0 0 500 46 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617577008168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20470] ppid=20458 vsize=9824732 CPUtime=5.82 cores=1,3,5,7
/proc/20461/task/20470/stat : 20470 (java) S 20458 20461 15677 0 -1 4202560 1270 0 0 0 531 51 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617575955112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20471] ppid=20458 vsize=9824732 CPUtime=5.31 cores=1,3,5,7
/proc/20461/task/20471/stat : 20471 (java) S 20458 20461 15677 0 -1 4202560 1062 0 0 0 490 41 0 0 20 0 22 0 107507214 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617574902568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20472] ppid=20458 vsize=9824732 CPUtime=10.7 cores=1,3,5,7
/proc/20461/task/20472/stat : 20472 (java) S 20458 20461 15677 0 -1 4202560 4018 0 0 0 1059 11 0 0 20 0 22 0 107507215 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617444211048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20473] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20473/stat : 20473 (java) S 20458 20461 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617443157368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20474] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20474/stat : 20474 (java) S 20458 20461 15677 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617442104200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20475] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20475/stat : 20475 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617441052944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20476] ppid=20458 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/20461/task/20476/stat : 20476 (java) S 20458 20461 15677 0 -1 4202560 14303 0 0 0 225 2 0 0 20 0 22 0 107507218 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617440000824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20477] ppid=20458 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/20461/task/20477/stat : 20477 (java) S 20458 20461 15677 0 -1 4202560 12393 0 0 0 232 3 0 0 20 0 22 0 107507218 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617438948280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20478] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20478/stat : 20478 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617437895416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20479] ppid=20458 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20461/task/20479/stat : 20479 (java) S 20458 20461 15677 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 107507218 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617436843080 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20486] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20486/stat : 20486 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107507364 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617432630568 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20759] ppid=20458 vsize=9824732 CPUtime=608.01 cores=1,3,5,7
/proc/20461/task/20759/stat : 20759 (java) R 20458 20461 15677 0 -1 4202560 10 0 0 0 60792 9 0 0 20 0 22 0 107533682 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617434732976 140617448583626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20760] ppid=20458 vsize=9824732 CPUtime=607.95 cores=1,3,5,7
/proc/20461/task/20760/stat : 20760 (java) R 20458 20461 15677 0 -1 4202560 47 0 0 0 60784 11 0 0 20 0 22 0 107533682 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617435786464 140617448977338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20761] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20761/stat : 20761 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107533682 10060525568 1164109 33554432000 1073741824 1073778376 140736224642448 140617433683496 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1771.58
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.201 s]
/proc/loadavg: 4.26 4.25 4.20 6/221 20777
/proc/meminfo: memFree=22667236/32872528 swapFree=15540/1663004
[pid=20461] ppid=20458 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/20461/stat : 20461 (java) S 20458 20461 15677 0 -1 4202496 46234 0 1 0 179544 456 0 0 20 0 22 0 107507212 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140736224633584 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20461/statm: 2456183 1207579 2304 9 0 2446860 0
[pid=20461/tid=20463] ppid=20458 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/20461/task/20463/stat : 20463 (java) S 20458 20461 15677 0 -1 4202560 2469 0 1 0 98 5 0 0 20 0 22 0 107507213 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617620779896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20464] ppid=20458 vsize=9824732 CPUtime=5.51 cores=1,3,5,7
/proc/20461/task/20464/stat : 20464 (java) S 20458 20461 15677 0 -1 4202560 1232 0 0 0 506 45 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617582270888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20465] ppid=20458 vsize=9824732 CPUtime=5.87 cores=1,3,5,7
/proc/20461/task/20465/stat : 20465 (java) S 20458 20461 15677 0 -1 4202560 1269 0 0 0 539 48 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617581218344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20466] ppid=20458 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/20461/task/20466/stat : 20466 (java) S 20458 20461 15677 0 -1 4202560 865 0 0 0 450 38 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617580165288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20467] ppid=20458 vsize=9824732 CPUtime=5.88 cores=1,3,5,7
/proc/20461/task/20467/stat : 20467 (java) S 20458 20461 15677 0 -1 4202560 1090 0 0 0 543 45 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617579112744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20468] ppid=20458 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/20461/task/20468/stat : 20468 (java) S 20458 20461 15677 0 -1 4202560 1222 0 0 0 473 47 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617578060712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20469] ppid=20458 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/20461/task/20469/stat : 20469 (java) S 20458 20461 15677 0 -1 4202560 1373 0 0 0 512 47 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617577008168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20470] ppid=20458 vsize=9824732 CPUtime=6 cores=1,3,5,7
/proc/20461/task/20470/stat : 20470 (java) S 20458 20461 15677 0 -1 4202560 1376 0 0 0 548 52 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617575955112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20471] ppid=20458 vsize=9824732 CPUtime=5.55 cores=1,3,5,7
/proc/20461/task/20471/stat : 20471 (java) S 20458 20461 15677 0 -1 4202560 1225 0 0 0 512 43 0 0 20 0 22 0 107507214 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617574902568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20472] ppid=20458 vsize=9824732 CPUtime=10.7 cores=1,3,5,7
/proc/20461/task/20472/stat : 20472 (java) S 20458 20461 15677 0 -1 4202560 4074 0 0 0 1059 11 0 0 20 0 22 0 107507215 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617444211048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20473] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20473/stat : 20473 (java) S 20458 20461 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617443157368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20474] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20474/stat : 20474 (java) S 20458 20461 15677 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107507216 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617442104200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20461/tid=20475] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20475/stat : 20475 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617441052944 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20476] ppid=20458 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/20461/task/20476/stat : 20476 (java) S 20458 20461 15677 0 -1 4202560 14303 0 0 0 225 2 0 0 20 0 22 0 107507218 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617440000824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20477] ppid=20458 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/20461/task/20477/stat : 20477 (java) S 20458 20461 15677 0 -1 4202560 12393 0 0 0 232 3 0 0 20 0 22 0 107507218 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617438948280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20478] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20478/stat : 20478 (java) S 20458 20461 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107507218 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617437895416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20479] ppid=20458 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/20461/task/20479/stat : 20479 (java) S 20458 20461 15677 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 107507218 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617436843080 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20461/tid=20486] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20486/stat : 20486 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107507364 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617432630568 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20759] ppid=20458 vsize=9824732 CPUtime=621.56 cores=1,3,5,7
/proc/20461/task/20759/stat : 20759 (java) R 20458 20461 15677 0 -1 4202560 10 0 0 0 62147 9 0 0 20 0 22 0 107533682 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617434732720 140617448563335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20461/tid=20760] ppid=20458 vsize=9824732 CPUtime=621.51 cores=1,3,5,7
/proc/20461/task/20760/stat : 20760 (java) R 20458 20461 15677 0 -1 4202560 50 0 0 0 62140 11 0 0 20 0 22 0 107533682 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617435786576 140617448892548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20461/tid=20761] ppid=20458 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20461/task/20761/stat : 20761 (java) S 20458 20461 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107533682 10060525568 1207579 33554432000 1073741824 1073778376 140736224642448 140617433683496 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 20461 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 896.257
CPU time (s): 1800.57
CPU user time (s): 1795.6
CPU system time (s): 4.96924
CPU usage (%): 200.899
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.6
system time used= 4.96924
maximum resident set size= 5056664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46270
page faults= 1
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23945
involuntary context switches= 34575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81312 second user time and 7.69483 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-07 01:29:04
IDJOB=4081770
IDBENCH=48193
IDSOLVER=2543
FILE ID=node134/4081770-1465255744
RUNJOBID= node134-1465243580-15694
PBS_JOBID= 19843249
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081770-1465255744/watcher-4081770-1465255744 -o /tmp/evaluation-result-4081770-1465255744/solver-4081770-1465255744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081770-1465255744.opb

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

MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21
RANDOM SEED=10866778

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26755624 kB
Buffers:           53464 kB
Cached:           120996 kB
SwapCached:         1804 kB
Active:          3641468 kB
Inactive:         103224 kB
Active(anon):    3571556 kB
Inactive(anon):     1040 kB
Active(file):      69912 kB
Inactive(file):   102184 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098296 kB
Dirty:              1264 kB
Writeback:             0 kB
AnonPages:       5232656 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             568896 kB
SReclaimable:      12768 kB
SUnreclaim:       556128 kB
KernelStack:        1640 kB
PageTables:        14360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5446084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5132288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node134 at 2016-06-07 01:44:01