Trace number 4081776

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)-25 1800.07 898.967

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_1.opb
MD5SUMfac2f381943513d71e556a5764721ca3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark107.847
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1248
Sum of products size (including duplicates)2496
Number of different products624
Sum of products size1248

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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4081776-1465256497.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.20/0.27	c ... done. Wall clock time 0.14s.
0.20/0.27	c declared #vars     100
0.20/0.27	c internal #vars     724
0.20/0.27	c #constraints  1448
0.20/0.27	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.20/0.27	c constraints type 
0.20/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 624
0.20/0.27	c org.sat4j.minisat.constraints.cnf.UnitClauses => 78
0.20/0.27	c org.sat4j.specs.Constr$1 => 114
0.20/0.27	c org.sat4j.minisat.constraints.cnf.UnitClause => 8
0.20/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624
0.20/0.27	c 1448 constraints processed.
0.20/0.27	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.20/0.27	c constraints type 
0.20/0.27	c org.sat4j.specs.Constr$1 => 114
0.20/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624
0.20/0.27	c org.sat4j.pb.constraints.pb.UnitClausesPB => 78
0.20/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 8
0.20/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPb => 624
0.20/0.27	c 1448 constraints processed.
0.20/0.27	c objective function length is 100 literals
0.20/0.28	c And the winner is solver0
0.43/0.77	c SATISFIABLE
0.43/0.77	c OPTIMIZING...
0.43/0.77	c Got one! Elapsed wall clock time (in seconds):0.645
0.43/0.77	o -19
0.43/0.78	c And the winner is solver0
0.44/1.28	c Got one! Elapsed wall clock time (in seconds):1.147
0.44/1.28	o -20
0.91/1.41	c And the winner is solver1
1.30/1.78	c Got one! Elapsed wall clock time (in seconds):1.648
1.30/1.78	o -21
1.75/1.96	c And the winner is solver1
2.17/2.28	c Got one! Elapsed wall clock time (in seconds):2.149
2.17/2.28	o -22
2.25/2.39	c cleaning 2689 clauses out of 5378 with flag 2419/5378
3.46/2.72	c cleaning 4345 clauses out of 8690 with flag 16001/11379
4.41/3.11	c cleaning 5672 clauses out of 11343 with flag 31584/18377
4.88/3.32	c And the winner is solver1
4.91/3.78	c Got one! Elapsed wall clock time (in seconds):3.651
4.91/3.78	o -23
4.96/3.89	c cleaning 5367 clauses out of 10742 with flag 2315/23448
6.10/4.30	c cleaning 5688 clauses out of 11376 with flag 16955/29449
7.14/4.83	c cleaning 6342 clauses out of 12686 with flag 33754/36447
8.24/5.31	c And the winner is solver0
8.30/5.78	c Got one! Elapsed wall clock time (in seconds):5.652
8.30/5.78	o -24
9.35/6.39	c cleaning 9265 clauses out of 18529 with flag 11889/48632
10.75/7.00	c cleaning 7632 clauses out of 15265 with flag 26588/54633
11.87/7.55	c cleaning 7316 clauses out of 14632 with flag 43561/61632
13.27/8.25	c cleaning 7658 clauses out of 15316 with flag 62850/69632
15.14/9.11	c cleaning 8330 clauses out of 16659 with flag 85430/78633
16.75/9.95	c cleaning 9162 clauses out of 18331 with flag 108992/88635
18.95/11.07	c cleaning 10078 clauses out of 20166 with flag 134557/99632
21.21/12.13	c cleaning 11045 clauses out of 22089 with flag 162249/111633
23.61/13.40	c cleaning 12023 clauses out of 24046 with flag 193098/124635
26.45/14.70	c cleaning 13010 clauses out of 26021 with flag 223879/138633
29.05/16.00	c cleaning 14006 clauses out of 28013 with flag 255376/153635
32.46/17.77	c cleaning 15001 clauses out of 30004 with flag 290692/169632
36.05/19.58	c cleaning 16002 clauses out of 32003 with flag 328304/186632
42.49/22.63	c cleaning 16997 clauses out of 34003 with flag 367740/204634
47.69/25.22	c cleaning 17999 clauses out of 36006 with flag 408796/223634
53.76/28.24	c cleaning 18997 clauses out of 38005 with flag 452338/243632
61.37/32.02	c cleaning 20004 clauses out of 40012 with flag 500744/264636
70.83/36.77	c cleaning 21003 clauses out of 42005 with flag 551020/286633
80.22/41.49	c cleaning 22000 clauses out of 44001 with flag 601789/309632
90.88/46.73	c cleaning 23001 clauses out of 46001 with flag 656414/333632
100.48/51.59	c cleaning 23997 clauses out of 48000 with flag 712117/358632
109.48/56.04	c cleaning 25003 clauses out of 50005 with flag 769691/384634
118.77/60.61	c cleaning 25997 clauses out of 52000 with flag 827884/411632
128.35/65.47	c cleaning 27002 clauses out of 54003 with flag 886956/439632
138.03/70.24	c cleaning 27994 clauses out of 56001 with flag 948313/468632
147.82/75.10	c cleaning 29003 clauses out of 58007 with flag 1011592/498632
149.45/75.95	c cleaning 0 clauses out of 6444 with flag 0/6445
160.31/81.20	c cleaning 29997 clauses out of 60004 with flag 1076738/529632
171.92/86.92	c cleaning 31005 clauses out of 62009 with flag 1144303/561634
184.98/93.48	c cleaning 31998 clauses out of 64002 with flag 1214035/594632
197.38/99.65	c cleaning 32994 clauses out of 66004 with flag 1286079/628632
211.44/106.61	c cleaning 33998 clauses out of 68010 with flag 1359852/663632
222.72/112.21	c And the winner is solver0
222.72/112.40	c Got one! Elapsed wall clock time (in seconds):112.276
222.72/112.40	o -25
228.93/115.56	c cleaning 36086 clauses out of 72171 with flag 10843/701791
233.11/117.63	c cleaning 21042 clauses out of 42084 with flag 24422/707790
235.11/118.62	c cleaning 14021 clauses out of 28042 with flag 39557/714790
236.56/119.36	c cleaning 11006 clauses out of 22021 with flag 56480/722790
238.16/120.11	c cleaning 10008 clauses out of 20016 with flag 75506/731791
239.56/120.87	c cleaning 10003 clauses out of 20008 with flag 96479/741791
241.36/121.70	c cleaning 10502 clauses out of 21004 with flag 119796/752790
243.16/122.60	c cleaning 11251 clauses out of 22502 with flag 145018/764790
245.16/123.69	c cleaning 12122 clauses out of 24251 with flag 172314/777790
247.56/124.87	c cleaning 13065 clauses out of 26130 with flag 201678/791791
250.36/126.23	c cleaning 14033 clauses out of 28065 with flag 233285/806791
253.42/127.78	c cleaning 15016 clauses out of 30031 with flag 267015/822790
256.84/129.40	c cleaning 15997 clauses out of 32015 with flag 302754/839790
260.84/131.43	c cleaning 17008 clauses out of 34018 with flag 341767/857790
265.83/133.91	c cleaning 18000 clauses out of 36011 with flag 382592/876791
270.90/136.43	c cleaning 19001 clauses out of 38010 with flag 425071/896790
275.30/138.62	c cleaning 20001 clauses out of 40010 with flag 469501/917791
279.70/140.81	c cleaning 20999 clauses out of 42009 with flag 516019/939791
286.74/144.37	c cleaning 22005 clauses out of 44010 with flag 564905/962791
293.54/147.77	c cleaning 23000 clauses out of 46004 with flag 616922/986790
301.38/151.60	c cleaning 23996 clauses out of 48006 with flag 670649/1011792
310.38/156.14	c cleaning 25005 clauses out of 50009 with flag 724791/1037791
319.24/160.58	c cleaning 26001 clauses out of 52004 with flag 780960/1064791
328.25/165.05	c cleaning 26991 clauses out of 54003 with flag 839315/1092791
337.31/169.57	c cleaning 28002 clauses out of 56013 with flag 899795/1121792
345.94/173.89	c cleaning 29006 clauses out of 58011 with flag 962931/1151792
357.00/179.36	c cleaning 30000 clauses out of 60005 with flag 1028225/1182792
368.20/184.96	c cleaning 30993 clauses out of 62003 with flag 1095515/1214790
379.24/190.50	c cleaning 31999 clauses out of 64011 with flag 1165796/1247791
390.47/196.06	c cleaning 33001 clauses out of 66011 with flag 1238665/1281790
402.30/201.97	c cleaning 34006 clauses out of 68011 with flag 1313698/1316791
416.01/208.74	c cleaning 34996 clauses out of 70005 with flag 1390335/1352791
429.87/215.68	c cleaning 36002 clauses out of 72009 with flag 1468525/1389791
443.36/222.39	c cleaning 37003 clauses out of 74007 with flag 1548619/1427791
458.97/230.17	c cleaning 37996 clauses out of 76003 with flag 1630820/1466790
473.72/237.78	c cleaning 39003 clauses out of 78009 with flag 1715086/1506792
488.16/244.96	c cleaning 40001 clauses out of 80005 with flag 1801051/1547791
504.51/253.08	c cleaning 40999 clauses out of 82004 with flag 1889471/1589791
537.84/269.62	c cleaning 41996 clauses out of 84003 with flag 2001619/1632790
581.26/291.23	c cleaning 42999 clauses out of 86008 with flag 2128663/1676791
589.32/295.24	c cleaning 0 clauses out of 11659 with flag 0/11661
618.89/309.90	c cleaning 43997 clauses out of 88010 with flag 2245210/1721792
667.53/334.11	c cleaning 45004 clauses out of 90014 with flag 2365313/1767793
719.63/360.03	c cleaning 46003 clauses out of 92007 with flag 2490922/1814790
765.47/382.89	c cleaning 47001 clauses out of 94005 with flag 2612247/1862791
812.01/406.39	c cleaning 48001 clauses out of 96005 with flag 2747219/1911792
855.97/428.20	c cleaning 48998 clauses out of 98002 with flag 2880986/1961790
908.02/454.10	c cleaning 49999 clauses out of 100004 with flag 3008610/2012790
967.33/483.60	c cleaning 50998 clauses out of 102007 with flag 3143935/2064792
1030.31/514.95	c cleaning 52004 clauses out of 104007 with flag 3285499/2117790
1096.43/547.86	c cleaning 52992 clauses out of 106003 with flag 3434189/2171790
1163.01/580.91	c cleaning 54003 clauses out of 108011 with flag 3580044/2226790
1232.94/616.11	c cleaning 54997 clauses out of 110008 with flag 3725038/2282790
1300.44/649.71	c cleaning 56008 clauses out of 112015 with flag 3863832/2339794
1358.50/678.64	c cleaning 57002 clauses out of 114003 with flag 3987888/2397790
1422.24/710.36	c cleaning 57995 clauses out of 116002 with flag 4112035/2456791
1479.28/738.77	c cleaning 59004 clauses out of 118007 with flag 4238804/2516791
1508.06/753.02	c cleaning 0 clauses out of 17660 with flag 0/17662
1539.80/768.84	c cleaning 59995 clauses out of 120004 with flag 4368581/2577792
1608.55/803.05	c cleaning 61000 clauses out of 122007 with flag 4497932/2639790
1673.86/835.57	c cleaning 61998 clauses out of 124008 with flag 4630688/2702791
1737.97/868.03	c cleaning 63002 clauses out of 126012 with flag 4765463/2766793
1800.07/898.90	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.07/898.90	c starts		: 13137
1800.07/898.90	c conflicts		: 2828719
1800.07/898.90	c decisions		: 3481161
1800.07/898.90	c propagations		: 16370829
1800.07/898.90	c inspects		: 11484383390
1800.07/898.90	c shortcuts		: 0
1800.07/898.90	c learnt literals	: 1
1800.07/898.90	c learnt binary clauses	: 2
1800.07/898.90	c learnt ternary clauses	: 1
1800.07/898.90	c learnt constraints	: 2828718
1800.07/898.90	c ignored constraints	: 0
1800.07/898.90	c root simplifications	: 0
1800.07/898.90	c removed literals (reason simplification)	: 62825684
1800.07/898.90	c reason swapping (by a shorter reason)	: 0
1800.07/898.90	c Calls to reduceDB	: 97
1800.07/898.90	c Number of update (reduction) of LBD	: 108806
1800.07/898.90	c Imported unit clauses	: 0
1800.07/898.90	c number of reductions to clauses (during analyze)	: 0
1800.07/898.90	c number of learned constraints concerned by reduction	: 0
1800.07/898.90	c number of learning phase by resolution	: 0
1800.07/898.90	c number of learning phase by cutting planes	: 0
1800.07/898.90	c speed (assignments/second)	: 18288.915601543027
1800.07/898.90	c non guided choices	0
1800.07/898.93	c learnt constraints type 
1800.07/898.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.07/898.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124934
1800.07/898.93	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.07/898.93	c starts		: 77
1800.07/898.93	c conflicts		: 19189
1800.07/898.93	c decisions		: 21972
1800.07/898.93	c propagations		: 165056
1800.07/898.93	c inspects		: 871646167
1800.07/898.93	c shortcuts		: 0
1800.07/898.93	c learnt literals	: 0
1800.07/898.93	c learnt binary clauses	: 0
1800.07/898.93	c learnt ternary clauses	: 0
1800.07/898.93	c learnt constraints	: 19186
1800.07/898.93	c ignored constraints	: 0
1800.07/898.93	c root simplifications	: 0
1800.07/898.93	c removed literals (reason simplification)	: 0
1800.07/898.93	c reason swapping (by a shorter reason)	: 0
1800.07/898.93	c Calls to reduceDB	: 3
1800.07/898.93	c Number of update (reduction) of LBD	: 0
1800.07/898.93	c Imported unit clauses	: 0
1800.07/898.93	c number of reductions to clauses (during analyze)	: 0
1800.07/898.93	c number of learned constraints concerned by reduction	: 0
1800.07/898.93	c number of learning phase by resolution	: 0
1800.07/898.93	c number of learning phase by cutting planes	: 0
1800.07/898.93	c speed (assignments/second)	: 209.93615018697056
1800.07/898.93	c non guided choices	0
1800.07/898.94	c learnt constraints type 
1800.07/898.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 226
1800.07/898.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18960
1800.07/898.94	s SATISFIABLE
1800.07/898.94	c Found 7 solution(s)
1800.07/898.94	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 
1800.07/898.94	c objective function=-25
1800.07/898.94	c Total wall clock time (in seconds): 898.814

Verifier Data 

OK	-25

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-4081776-1465256497/watcher-4081776-1465256497 -o /tmp/evaluation-result-4081776-1465256497/solver-4081776-1465256497 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8855 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081776-1465256497.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.01 3.92 3.21 4/197 9166
/proc/meminfo: memFree=27852740/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9166/stat : 9166 (java) R 9163 9166 8839 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 107584370 9515008 170 33554432000 1073741824 1073778376 140736875457072 140736875454200 224922519095 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2323 175 133 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 4.01 3.92 3.21 4/197 9166
/proc/meminfo: memFree=27852740/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 4375 0 1 0 8 1 0 0 20 0 18 0 107584370 9787879424 5498 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2389619 5498 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200328 s]
/proc/loadavg: 4.01 3.92 3.21 4/197 9166
/proc/meminfo: memFree=27852740/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 4540 0 1 0 19 1 0 0 20 0 18 0 107584370 9787879424 7175 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2389619 7175 2178 9 0 2380296 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9558476

[startup+0.300237 s]
/proc/loadavg: 4.01 3.92 3.21 4/197 9166
/proc/meminfo: memFree=27852740/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 6045 0 1 0 40 3 0 0 20 0 19 0 107584370 10060525568 9543 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 9543 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732

[startup+0.700276 s]
/proc/loadavg: 4.01 3.92 3.21 4/197 9166
/proc/meminfo: memFree=27852740/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 6045 0 1 0 40 3 0 0 20 0 19 0 107584370 10060525568 9543 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 9543 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 4.01 3.92 3.21 3/216 9191
/proc/meminfo: memFree=27818480/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 10331 0 1 0 109 6 0 0 20 0 19 0 107584370 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 14622 2252 9 0 2446860 0
[pid=9166/tid=9168] ppid=9163 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/9166/task/9168/stat : 9168 (java) S 9163 9166 8839 0 -1 4202560 2425 0 1 0 23 1 0 0 20 0 19 0 107584370 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183931708280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9169] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9169/stat : 9169 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183909808424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9170] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9170/stat : 9170 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183908755624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9171] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9171/stat : 9171 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183706004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9172] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9172/stat : 9172 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183704951208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9173] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9173/stat : 9173 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183703898920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9174] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9174/stat : 9174 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183702846120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9175] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9175/stat : 9175 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183701793832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9176] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9176/stat : 9176 (java) S 9163 9166 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107584372 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183700741032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9177] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9177/stat : 9177 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107584373 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183688542440 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9178] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9178/stat : 9178 (java) S 9163 9166 8839 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107584373 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183687488504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9179] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9179/stat : 9179 (java) S 9163 9166 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107584373 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183686436104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9180] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9180/stat : 9180 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584376 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183685384592 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9181] ppid=9163 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/9166/task/9181/stat : 9181 (java) R 9163 9166 8839 0 -1 4202560 3322 0 0 0 27 0 0 0 20 0 19 0 107584376 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183684331784 140183935647041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9182] ppid=9163 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9166/task/9182/stat : 9182 (java) R 9163 9166 8839 0 -1 4202560 3234 0 0 0 30 0 0 0 20 0 19 0 107584376 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183683266944 140183938694026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9183] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9183/stat : 9183 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584376 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183682227320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9184] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9184/stat : 9184 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107584376 10060525568 14622 33554432000 1073741824 1073778376 140736875457072 140183681174728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.01 3.92 3.22 3/216 9197
/proc/meminfo: memFree=27754984/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=4.41 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 20664 0 1 0 429 12 0 0 20 0 22 0 107584370 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 52077 2285 9 0 2446860 0
[pid=9166/tid=9168] ppid=9163 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/9166/task/9168/stat : 9168 (java) S 9163 9166 8839 0 -1 4202560 2425 0 1 0 23 1 0 0 20 0 22 0 107584370 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183931708280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9169] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9169/stat : 9169 (java) S 9163 9166 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183909808424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9170] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9170/stat : 9170 (java) S 9163 9166 8839 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183908755624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9171] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9171/stat : 9171 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183706004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9172] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9172/stat : 9172 (java) S 9163 9166 8839 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183704951208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9173] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9173/stat : 9173 (java) S 9163 9166 8839 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183703898920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9174] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9174/stat : 9174 (java) S 9163 9166 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183702846120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9175] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9175/stat : 9175 (java) S 9163 9166 8839 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183701793832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9176] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9176/stat : 9176 (java) S 9163 9166 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107584372 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183700741032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9177] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9177/stat : 9177 (java) S 9163 9166 8839 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183688542440 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9178] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9178/stat : 9178 (java) S 9163 9166 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183687488504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9179] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9179/stat : 9179 (java) S 9163 9166 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183686436104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9180] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9180/stat : 9180 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183685384592 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9181] ppid=9163 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/9166/task/9181/stat : 9181 (java) S 9163 9166 8839 0 -1 4202560 12898 0 0 0 108 2 0 0 20 0 22 0 107584376 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183684332216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9182] ppid=9163 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/9166/task/9182/stat : 9182 (java) S 9163 9166 8839 0 -1 4202560 3795 0 0 0 69 0 0 0 20 0 22 0 107584376 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183683279416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9183] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9183/stat : 9183 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183682227320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9184] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9184/stat : 9184 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183681174728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9194] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9194/stat : 9194 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107584498 10060525568 52077 33554432000 1073741824 1073778376 140736875457072 140183679066920 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9824732

[startup+6.30079 s]
/proc/loadavg: 4.01 3.92 3.22 3/216 9203
/proc/meminfo: memFree=27494724/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=9.35 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 21072 0 1 0 910 25 0 0 20 0 22 0 107584370 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 91297 2286 9 0 2446860 0
[pid=9166/tid=9168] ppid=9163 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/9166/task/9168/stat : 9168 (java) S 9163 9166 8839 0 -1 4202560 2425 0 1 0 23 2 0 0 20 0 22 0 107584370 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183931708280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9169] ppid=9163 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9166/task/9169/stat : 9169 (java) S 9163 9166 8839 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183909808424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9170] ppid=9163 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9166/task/9170/stat : 9170 (java) S 9163 9166 8839 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183908755624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9171] ppid=9163 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9166/task/9171/stat : 9171 (java) S 9163 9166 8839 0 -1 4202560 43 0 0 0 5 0 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183706004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9172] ppid=9163 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/9166/task/9172/stat : 9172 (java) S 9163 9166 8839 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183704951208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9173] ppid=9163 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9166/task/9173/stat : 9173 (java) S 9163 9166 8839 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183703898920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9174] ppid=9163 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9166/task/9174/stat : 9174 (java) S 9163 9166 8839 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183702846120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9175] ppid=9163 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9166/task/9175/stat : 9175 (java) S 9163 9166 8839 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183701793832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9176] ppid=9163 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/9166/task/9176/stat : 9176 (java) S 9163 9166 8839 0 -1 4202560 48 0 0 0 6 2 0 0 20 0 22 0 107584372 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183700741032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9177] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9177/stat : 9177 (java) S 9163 9166 8839 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183688542440 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9178] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9178/stat : 9178 (java) S 9163 9166 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183687488504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9179] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9179/stat : 9179 (java) S 9163 9166 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183686436104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9180] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9180/stat : 9180 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183685384592 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9181] ppid=9163 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/9166/task/9181/stat : 9181 (java) S 9163 9166 8839 0 -1 4202560 12904 0 0 0 119 2 0 0 20 0 22 0 107584376 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183684332216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9182] ppid=9163 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/9166/task/9182/stat : 9182 (java) S 9163 9166 8839 0 -1 4202560 3808 0 0 0 81 0 0 0 20 0 22 0 107584376 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183683279416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9183] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9183/stat : 9183 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183682227320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9184] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9184/stat : 9184 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183681174728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9203] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9203/stat : 9203 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107584748 10060525568 91297 33554432000 1073741824 1073778376 140736875457072 140183678014632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 9824732

[startup+12.701 s]
/proc/loadavg: 4.00 3.93 3.22 5/219 9206

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

[pid=9166/tid=9176] ppid=9163 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/9166/task/9176/stat : 9176 (java) S 9163 9166 8839 0 -1 4202560 424 0 0 0 237 9 0 0 20 0 22 0 107584372 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183700741032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9177] ppid=9163 vsize=9824732 CPUtime=3.51 cores=0,2,4,6
/proc/9166/task/9177/stat : 9177 (java) S 9163 9166 8839 0 -1 4202560 1740 0 0 0 332 19 0 0 20 0 22 0 107584373 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183688542440 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9178] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9178/stat : 9178 (java) S 9163 9166 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183687488504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9179] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9179/stat : 9179 (java) S 9163 9166 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183686436104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9180] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9180/stat : 9180 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183685384592 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9181] ppid=9163 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/9166/task/9181/stat : 9181 (java) S 9163 9166 8839 0 -1 4202560 12913 0 0 0 128 2 0 0 20 0 22 0 107584376 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183684332216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9182] ppid=9163 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/9166/task/9182/stat : 9182 (java) S 9163 9166 8839 0 -1 4202560 11955 0 0 0 157 2 0 0 20 0 22 0 107584376 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183683279416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9183] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9183/stat : 9183 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183682227320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9184] ppid=9163 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/9166/task/9184/stat : 9184 (java) S 9163 9166 8839 0 -1 4202560 50 0 0 0 21 16 0 0 20 0 22 0 107584376 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183681174728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9203] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9203/stat : 9203 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107584748 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183678014632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9331] ppid=9163 vsize=9824732 CPUtime=759.48 cores=0,2,4,6
/proc/9166/task/9331/stat : 9331 (java) R 9163 9166 8839 0 -1 4202560 49 0 0 0 75937 11 0 0 20 0 22 0 107595610 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183676960000 140183790391535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9332] ppid=9163 vsize=9824732 CPUtime=759.41 cores=0,2,4,6
/proc/9166/task/9332/stat : 9332 (java) R 9163 9166 8839 0 -1 4202560 152 0 0 0 75930 11 0 0 20 0 22 0 107595611 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183680118656 140183790425901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9333] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9333/stat : 9333 (java) S 9163 9166 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107595641 10060525568 572676 33554432000 1073741824 1073778376 140736875457072 140183679067048 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1766.37
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.901 s]
/proc/loadavg: 4.00 4.00 3.70 5/219 9352
/proc/meminfo: memFree=25397268/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=1799.73 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 35508 0 1 0 179820 153 0 0 20 0 22 0 107584370 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 569367 2294 9 0 2446860 0
[pid=9166/tid=9168] ppid=9163 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9166/task/9168/stat : 9168 (java) S 9163 9166 8839 0 -1 4202560 2433 0 1 0 27 3 0 0 20 0 22 0 107584370 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183931708280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9169] ppid=9163 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/9166/task/9169/stat : 9169 (java) S 9163 9166 8839 0 -1 4202560 433 0 0 0 238 11 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183909808424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9170] ppid=9163 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/9166/task/9170/stat : 9170 (java) S 9163 9166 8839 0 -1 4202560 392 0 0 0 254 8 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183908755624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9171] ppid=9163 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/9166/task/9171/stat : 9171 (java) S 9163 9166 8839 0 -1 4202560 379 0 0 0 248 7 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183706004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9172] ppid=9163 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/9166/task/9172/stat : 9172 (java) S 9163 9166 8839 0 -1 4202560 380 0 0 0 247 9 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183704951208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9173] ppid=9163 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/9166/task/9173/stat : 9173 (java) S 9163 9166 8839 0 -1 4202560 351 0 0 0 250 7 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183703898920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9174] ppid=9163 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/9166/task/9174/stat : 9174 (java) S 9163 9166 8839 0 -1 4202560 416 0 0 0 249 8 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183702846120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9175] ppid=9163 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/9166/task/9175/stat : 9175 (java) S 9163 9166 8839 0 -1 4202560 377 0 0 0 231 10 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183701793832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9176] ppid=9163 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/9166/task/9176/stat : 9176 (java) S 9163 9166 8839 0 -1 4202560 424 0 0 0 243 9 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183700741032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9177] ppid=9163 vsize=9824732 CPUtime=3.51 cores=0,2,4,6
/proc/9166/task/9177/stat : 9177 (java) S 9163 9166 8839 0 -1 4202560 1740 0 0 0 332 19 0 0 20 0 22 0 107584373 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183688542440 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9178] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9178/stat : 9178 (java) S 9163 9166 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183687488504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9179] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9179/stat : 9179 (java) S 9163 9166 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183686436104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9180] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9180/stat : 9180 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183685384592 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9181] ppid=9163 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/9166/task/9181/stat : 9181 (java) S 9163 9166 8839 0 -1 4202560 12913 0 0 0 128 2 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183684332216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9182] ppid=9163 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/9166/task/9182/stat : 9182 (java) S 9163 9166 8839 0 -1 4202560 11955 0 0 0 157 2 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183683279416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9183] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9183/stat : 9183 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183682227320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9184] ppid=9163 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/9166/task/9184/stat : 9184 (java) S 9163 9166 8839 0 -1 4202560 50 0 0 0 22 16 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183681174728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9203] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9203/stat : 9203 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107584748 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183678014632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9331] ppid=9163 vsize=9824732 CPUtime=775.92 cores=0,2,4,6
/proc/9166/task/9331/stat : 9331 (java) R 9163 9166 8839 0 -1 4202560 49 0 0 0 77581 11 0 0 20 0 22 0 107595610 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183676960784 140183790442735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9332] ppid=9163 vsize=9824732 CPUtime=775.85 cores=0,2,4,6
/proc/9166/task/9332/stat : 9332 (java) R 9163 9166 8839 0 -1 4202560 156 0 0 0 77574 11 0 0 20 0 22 0 107595611 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183680117792 140183790555721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9333] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9333/stat : 9333 (java) S 9163 9166 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107595641 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183679067048 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.73
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 9166 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.901 s]
/proc/loadavg: 4.00 4.00 3.70 5/219 9352
/proc/meminfo: memFree=25397268/32872528 swapFree=11372/178980
[pid=9166] ppid=9163 vsize=9824732 CPUtime=1799.73 cores=0,2,4,6
/proc/9166/stat : 9166 (java) S 9163 9166 8839 0 -1 4202496 35508 0 1 0 179820 153 0 0 20 0 22 0 107584370 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140736875448208 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9166/statm: 2456183 569367 2294 9 0 2446860 0
[pid=9166/tid=9168] ppid=9163 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9166/task/9168/stat : 9168 (java) S 9163 9166 8839 0 -1 4202560 2433 0 1 0 27 3 0 0 20 0 22 0 107584370 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183931708280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9169] ppid=9163 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/9166/task/9169/stat : 9169 (java) S 9163 9166 8839 0 -1 4202560 433 0 0 0 238 11 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183909808424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9170] ppid=9163 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/9166/task/9170/stat : 9170 (java) S 9163 9166 8839 0 -1 4202560 392 0 0 0 254 8 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183908755624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9171] ppid=9163 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/9166/task/9171/stat : 9171 (java) S 9163 9166 8839 0 -1 4202560 379 0 0 0 248 7 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183706004008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9172] ppid=9163 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/9166/task/9172/stat : 9172 (java) S 9163 9166 8839 0 -1 4202560 380 0 0 0 247 9 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183704951208 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9173] ppid=9163 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/9166/task/9173/stat : 9173 (java) S 9163 9166 8839 0 -1 4202560 351 0 0 0 250 7 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183703898920 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9174] ppid=9163 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/9166/task/9174/stat : 9174 (java) S 9163 9166 8839 0 -1 4202560 416 0 0 0 249 8 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183702846120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9175] ppid=9163 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/9166/task/9175/stat : 9175 (java) S 9163 9166 8839 0 -1 4202560 377 0 0 0 231 10 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183701793832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9176] ppid=9163 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/9166/task/9176/stat : 9176 (java) S 9163 9166 8839 0 -1 4202560 424 0 0 0 243 9 0 0 20 0 22 0 107584372 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183700741032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9177] ppid=9163 vsize=9824732 CPUtime=3.51 cores=0,2,4,6
/proc/9166/task/9177/stat : 9177 (java) S 9163 9166 8839 0 -1 4202560 1740 0 0 0 332 19 0 0 20 0 22 0 107584373 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183688542440 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9178] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9178/stat : 9178 (java) S 9163 9166 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183687488504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9179] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9179/stat : 9179 (java) S 9163 9166 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107584373 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183686436104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9180] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9180/stat : 9180 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183685384592 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9181] ppid=9163 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/9166/task/9181/stat : 9181 (java) S 9163 9166 8839 0 -1 4202560 12913 0 0 0 128 2 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183684332216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9182] ppid=9163 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/9166/task/9182/stat : 9182 (java) S 9163 9166 8839 0 -1 4202560 11955 0 0 0 157 2 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183683279416 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9166/tid=9183] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9183/stat : 9183 (java) S 9163 9166 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183682227320 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9166/tid=9184] ppid=9163 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/9166/task/9184/stat : 9184 (java) S 9163 9166 8839 0 -1 4202560 50 0 0 0 22 16 0 0 20 0 22 0 107584376 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183681174728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9203] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9203/stat : 9203 (java) S 9163 9166 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107584748 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183678014632 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9331] ppid=9163 vsize=9824732 CPUtime=775.92 cores=0,2,4,6
/proc/9166/task/9331/stat : 9331 (java) R 9163 9166 8839 0 -1 4202560 49 0 0 0 77581 11 0 0 20 0 22 0 107595610 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183676960784 140183790442735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9166/tid=9332] ppid=9163 vsize=9824732 CPUtime=775.85 cores=0,2,4,6
/proc/9166/task/9332/stat : 9332 (java) R 9163 9166 8839 0 -1 4202560 156 0 0 0 77574 11 0 0 20 0 22 0 107595611 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183680117792 140183790555721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9166/tid=9333] ppid=9163 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9166/task/9333/stat : 9333 (java) S 9163 9166 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107595641 10060525568 569367 33554432000 1073741824 1073778376 140736875457072 140183679067048 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9166 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=358216
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=981698
# CPU time returned by wait4() is 1796.34
# while last known CPU time is 1799.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 898.967
CPU time (s): 1800.07
CPU user time (s): 1798.58
CPU system time (s): 1.49
CPU usage (%): 200.238
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 1.9817
maximum resident set size= 2932272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35551
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27721
involuntary context switches= 39731

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26105 second user time and 6.89495 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-07 01:41:37
IDJOB=4081776
IDBENCH=48218
IDSOLVER=2543
FILE ID=node105/4081776-1465256497
RUNJOBID= node105-1465255598-8855
PBS_JOBID= 19843277
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= fac2f381943513d71e556a5764721ca3
RANDOM SEED=1938508677

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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:        27853632 kB
Buffers:           66500 kB
Cached:           131084 kB
SwapCached:         1752 kB
Active:          4012148 kB
Inactive:         117304 kB
Active(anon):    3932868 kB
Inactive(anon):     1504 kB
Active(file):      79280 kB
Inactive(file):   115800 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098468 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:       4155348 kB
Mapped:            15452 kB
Shmem:                 0 kB
Slab:             569796 kB
SReclaimable:      13500 kB
SUnreclaim:       556296 kB
KernelStack:        1808 kB
PageTables:        12636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4526628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4044800 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= 71748 MiB
End job on node105 at 2016-06-07 01:56:36